Fonctions caractéristiques égales
Bonjour, j'ai la proposition dans mon cours qui dit que la transformée de Fourier $\hat \mu(\xi)=\int e^{i\xi x} \mu (x)$ d'une mesure de proba $\mu$ sur $\mathbb R^d$ est caractérisée par $\mu$ i.e. $\mu\mapsto \hat \mu$ est injective.
La preuve consiste d'abord en commençant par $d=1$ (i.e. $\xi\in \mathbb R$).
On pose $g_\sigma (x):=\frac{1}{\sigma \sqrt{2\pi}}e^{-\frac{x^2}{2\sigma^2}}$ la fonction densité de la v.a. suivant la loi $\mathcal N(0,\sigma^2)$.
On pose ensuite $f_\sigma(x):=g_\sigma\ast \mu(x):=\int g_\sigma(x-y)d\mu(y)$ et $d\mu_\sigma(x)=f_\sigma(x)dx$.
Ensuite, d'après mon cours, il suffit simplement de montrer que
Je ne comprends pas du tout pourquoi ces deux points permettent de conclure la proposition, merci pour votre aide.
La preuve consiste d'abord en commençant par $d=1$ (i.e. $\xi\in \mathbb R$).
On pose $g_\sigma (x):=\frac{1}{\sigma \sqrt{2\pi}}e^{-\frac{x^2}{2\sigma^2}}$ la fonction densité de la v.a. suivant la loi $\mathcal N(0,\sigma^2)$.
On pose ensuite $f_\sigma(x):=g_\sigma\ast \mu(x):=\int g_\sigma(x-y)d\mu(y)$ et $d\mu_\sigma(x)=f_\sigma(x)dx$.
Ensuite, d'après mon cours, il suffit simplement de montrer que
- $\mu_\sigma$ est déterminée par $\hat \mu$
- $\mu_\sigma$ converge étroitement vers $\mu$ lorsque $\sigma\to 0$
Je ne comprends pas du tout pourquoi ces deux points permettent de conclure la proposition, merci pour votre aide.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
1: Par rapport à l'unicité de la limite, je ne suis pas sûr de pouvoir la justifier. Le plus facile aurait été de dire que pour $\mu_n\overset e\to \mu,\mu_n\overset e\to \tilde\mu$, pour $A\in \mathscr A, \mu(a)=\int \mathbf 1_A \mathrm d\mu=\lim \int \mathbf 1_A\mathrm d\mu_n=\lim \mu_n(A)$, mais le problème est que $\mathbf 1_A$ n'est pas continue...
2: Dans le calcul pour montrer la convergence étroite, on montre que pour $\varphi$ continue bornée, $\int\varphi(x)\mathrm d\mu_\sigma(x)=\int(g_\sigma\ast\varphi)(y)\mathrm d\mu(y)$ et ensuite que par convergence dominée, $(g_\sigma\ast\varphi)(y)\underset{\sigma\to 0}\to \varphi(y)\: \forall y$. Comment conclure ensuite que $\lim_{\sigma\to 0}\int(g_\sigma\ast\varphi)(y)\mathrm d\mu(y)=\int\varphi(y)\mathrm d\mu(y)$? Par convergence dominée encore? Je ne vois pas... (Note: $(g_\sigma\ast\varphi)(y)=\int\frac{1}{\sqrt{2\pi}\sigma}e^{-\frac{x^2}{2\sigma^2}}\varphi(y-x)\mathrm dx$)
Pour la question 2. c'est comme tu l'as dit, la convergence dominée permet de conclure. En effet, $|(g_\sigma\ast\varphi)(y)|\leq\int\frac{1}{\sqrt{2\pi}\sigma}e^{-\frac{x^2}{2\sigma^2}}|\varphi(y-x)|\mathrm dx\leq \|\varphi\|_{\infty}\int\frac{1}{\sqrt{2\pi}\sigma}e^{-\frac{x^2}{2\sigma^2}}\mathrm dx=\|\varphi\|_{\infty}$. La fonction $|g_\sigma\ast\varphi|$ est donc majorée par une constante. Or les fonctions constantes sont intégrables car la mesure est bornée. On peut donc appliquer le théorème de convergence dominée.
Pour la 1. je ne connaissais pas ce résultat mais je veux bien l'admettre ici. On a alors $$\begin{align*} \mu(A) &=\int \mathbf 1_A\mathrm d\mu \\ &=\lim_n \int \varphi_n\mathrm d\mu \\ &=\lim_n\lim_m\int\varphi_n\mathrm d\mu_m \\ &=\lim_m\lim_n\int\varphi_n\mathrm d\mu_m \\ &=\lim_m\int \mathbf 1_A\mathrm d\mu_m \\ &= \lim_m\mu_m(A) \end{align*}$$Qu'est-ce qui justifie en fait l'interversion des limites à la 4ème ligne ?
Pour l'unicité de la limite c'est plus compliqué que ce que je pensais, on peut le montrer comme j'ai dit mais ce n'est pas la façon standard de procéder. Tu peux la montrer comme ça :
Supposons que $(\mu_n)$ est une suite de proba qui converge étroitement vers $\mu$ et $\nu$ (donc deux limites à priori). Alors pour tout $\varphi$ continue bornée, $\int \varphi d\mu=\lim_n \varphi d\mu_n=\int \varphi d\nu$. Donc pour toute $\varphi$ continue bornée, $\int \varphi d\mu=\int \varphi d\nu$. Il s'agit donc de montrer que deux mesures de probabilité vérifiant la condition précédente sont égales.
À partir de là si on utilise la densité des fonctions continues à support compact ça donne : soit un borélien $A$, et une suite $(\varphi_n)$ de fonctions continues à support compact convergeant en norme $L^1(\mu+\nu)$ vers $\mathbf 1_A$ (donc cette suite converge en norme $L^1(\mu)$ et en norme $L^1(\nu)$). On a: $\mu(A)=\int \mathbf 1_A d\mu= \lim_n \int \varphi_n d\mu=\lim_n \int \varphi_n d\nu=\int \mathbf 1_A d\nu=\nu(A)$, ce qui prouve que $\mu=\nu$.
La façon standard utilise le théorème de la classe monotone, tu trouveras ça dans tous les bouquins qui traitent le sujet.
Autre chose, en regardant ton développement ICI j'ai l'impression que tu penses que si $(\mu_n)$ tend étroitement vers $\mu$ alors pour tout borélien $A$, $\lim_n \mu_n(A)=\mu(A)$. Ceci est faux. Par exemple si tu considères la suite $(\delta_{1/n})$ de mesures de Dirac centrées en $1/n$ alors pour toute fonction $\varphi$ continue et bornée, $\lim_n\int \varphi\delta_{1/n}=\lim_n \varphi(1/n)=\varphi(0)=\int \varphi \delta_0$. Donc la suite $(\delta_{1/n})$ converge étroitement vers $\delta_0$ mais $\lim_n \delta_{1/n}(\{0\})=0\neq \delta(\{0\})=1$.