Related papers: Analytic Versus Algebraic Density of Polynomials

We show that under very mild conditions on a measure $\mu$ on the real line, the span of $\{x^n\}_{n=j}^{\infty}$ is dense in $L^2(\mu)$ for any $j\in\mathbb{N}$. We also present a slightly weaker result with an interesting proof that uses…

We prove that the ring $\Aff{\R}{M}$ of all polynomials defined on a real algebraic variety $M\subset\R^n$ is dense in the Hilbert space $L^2(M,e^{-|x|^2}\de\mu)$, where $\de\mu$ denotes the volume form of $M$ and $\de\nu=e^{-|x|^2}\de\mu$…

This paper presents an erroneous proof that if the polynomials are dense in $L_2(\mathbb{R}, \rho)$, then they are dense in $L_2(\mathbb{R}, \rho+\mu)$ where $\mu$ is a measure supported on a finite set of points.

In this paper we study the density of polynomials in some $L^2(M)$ spaces. Two choices of the measure $M$ and polynomials are considered: 1) a $(N\times N)$ matrix non-negative Borel measure on $\mathbb{R}$ and vector-valued polynomials…

A classical theorem of Szeg\H{o} states that for any probability measure $\mu=w\frac{\mathrm{d}\theta}{2\pi}+\mu_s$ on the unit circle the polynomials are dense in $L^2(\mathbb{T},\mu)$ if and only if $\log(w)\notin L^1(\mathbb{T})$. A…

In this work, our aim is to obtain conditions to assure polynomial approximation in Hilbert spaces $L^{2}(\mu)$, with $\mu$ a compactly supported measure in the complex plane, in terms of properties of the associated moment matrix to the…

Let $G$ be an LCA group, $H$ a closed subgroup, $\varGamma$ the dual group of $G$ and $\mu$ be a regular finite non-negative Borel measure on $\varGamma$. We give some necessary and sufficient conditions for the density of the set of…

Let $K$ be a non-polar compact subset of $\mathbb{R}$ and $\mu_K$ denote the equilibrium measure of $K$. Furthermore, let $P_n\left(\cdot, \mu_K\right)$ be the $n$-th monic orthogonal polynomial for $\mu_K$. It is shown that…

We formulate and discuss a necessary and sufficient condition for polynomials to be dense in a space of continuous functions on the real line, with respect to Bernstein's weighted uniform norm. Equivalently, for a positive finite measure…

We prove that if a Borel probability measure (\mu) on (\T) is invariant under the action of a "large" multiplicative semigroup (lower logarithmic density is positive) and the action of the whole semigroup is ergodic then (\mu) is either…

This short note gives a sufficient condition for having the class of polynomials dense in the space of square integrable functions with respect to a finite measure dominated by the Lebesgue measure in the real line, here denoted by $L^2$.…

Consider a totally irregular measure $\mu$ in $\mathbb{R}^{n+1}$, that is, the upper density $\limsup_{r\to0}\frac{\mu(B(x,r))}{(2r)^n}$ is positive $\mu$-a.e.\ in $\mathbb{R}^{n+1}$, and the lower density…

For any infinite field k and any positive integer r, we show constructively that the map sending each polynomial P $\in$ k[x] to its r-th iterate is dominant in various inductive limit topologies on the space of all polynomials.

Let $K\subset R^n$ be a compact basic semi-algebraic set. We provide a necessary and sufficient condition (with no a priori bounding parameter) for a real sequence $y=(y_\alpha)$, $\alpha\in N^n$, to have a finite representing Borel measure…

Let $X$ be a separable Banach function space on the unit circle $\mathbb{T}$ and $H[X]$ be the abstract Hardy space built upon $X$. We show that the set of analytic polynomials is dense in $H[X]$ if the Hardy-Littlewood maximal operator is…

We give a short proof of the $L^{1}$ criterion for Beurling generalized integers to have a positive asymptotic density. We actually prove the existence of density under a weaker hypothesis. We also discuss related sufficient conditions for…

We prove the density of the sets of the form ${{\lambda}_1^m {\mu}_1^n {\xi}_1 +...+{\lambda}_k^m {\mu}_k^n {\xi}_k : m,n \in \mathbb N}$ modulo one, where $\lambda_i$ and $\mu_i$ are multiplicatively independent algebraic numbers…

It is shown that for polynomials $p_1, p_2 \in {\mathbb Z}[t]$ with ${\rm deg}\ p_1, {\rm deg}\ p_2\ge 5$ there exist a probability space $(X,{\mathcal X},\mu)$, two ergodic measure preserving transformations $T,S$ acting on $(X,{\mathcal…

We prove the universality of the large deviations principle for the empirical measures of zeros of random polynomials whose coefficients are i.i.d. random variables possessing a density with respect to the Lebesgue measure on C, R or R + ,…

We introduce and carefully study a natural probability measure over the numerical range of a complex matrix $A \in M_n(\C)$. This numerical measure $\mu_A$ can be defined as the law of the random variable $<AX,X> \in \C$ when the vector $X…