Let $f = 1_{[a,+\infty)}$ be the indicator function of a half-line. Does there exist a sequence $(P_n)$ of polynomials such that $f(x) \leq P_n(x)$ for every real $x$ and $$ \lim_{n\to \infty} \int_{\mathbf{R}} P_n d\gamma = \int_{\mathbf{R}} f d\gamma, $$ where $\gamma$ denotes the usual Gaussian measure ?
$\begingroup$
$\endgroup$
3
-
$\begingroup$ have you tried Bernstein's polynomials of this function on [a-M,a+M] for large $M$ (maybe, somehow shifted)? $\endgroup$– Fedor PetrovCommented Nov 30, 2010 at 22:50
-
$\begingroup$ Yes, my impression was that this doesn't immediately work ... $\endgroup$– Guillaume AubrunCommented Dec 1, 2010 at 9:14
-
2$\begingroup$ I've been told offline that the relevant theorem to use is a weighted Weierstrass approximation theorem. Let $W(x)=\exp(x^2/2)$ ; given a continuous function $f$ so that $f(x)=o(W(x))$ at infinity, and $\epsilon >0$, there exists a polynomial $P$ so that $|P(x)-f(x)| \leq \epsilon W(x)$. This apparently is not so easy to prove (!?), but it is a standard problem to decide which functions $W$ satisfy this; a reference is: "Koosis, The logarithmic integral". Once you know this, few tricks suffice to prove what I asked (for example, positivity can be enforced by squaring the polynomial). $\endgroup$– Guillaume AubrunCommented Dec 1, 2010 at 9:30
Add a comment
|