Exercices corrigés - Exemples de distribution, calcul de leur ordre
Exemples de distributions
Enoncé
Démontrer que la fonction $\ln|x|$ est dans $L^1_{loc}(\mathbb R)$.
Enoncé
Pour $\varphi\in\mathcal D(\mathbb R)$, on définit
$$\langle T,\varphi\rangle=\sum_{k\geq 1}\frac 1k\left(\phi\left(\frac 1k\right)-\phi(0)\right).$$
- Justifier que cette formule définit bien une distribution d'ordre inférieur ou égal à $1$.
- Prouver que $T$ n'est pas d'ordre 0. Pour cela, on rappelle que si $a<b<c<d$ sont des réels, il existe $\varphi\in\mathcal D(\mathbb R)$ telle que $0\leq\varphi\leq 1$, $\varphi=1$ sur $[b,c]$ et le support de $\varphi$ est contenu dans $[a,d]$.
Enoncé
Soit $T$ la forme linéaire définie sur $\mathcal D(\mathbb R)$ par $\langle T,\varphi\rangle=\varphi'(0)$.
- Démontrer que $T$ est une distribution d'ordre inférieur ou égal à 1.
- On souhaite démontrer que $T$ n'est pas une distribution d'ordre $0$.
- Pour tout $n\geq 1$, donner un exemple de fonction $f_n$ de classe $\mathcal C^\infty$ telle que $f_n'(0)=n$ et telle que $\|f_n\|_\infty=1$.
- En déduire, pour tout $n\geq 1$, l'existence d'une fonction $\varphi_n\in\mathcal D(\mathbb R)$, à support dans $[-1,1]$ et telle que $\varphi_n'(0)=n$ et $\|\varphi_n\|_\infty\leq 1$.
- Conclure.
Enoncé
Démontrer que l'on définit une distribution $T\in\mcd'(\mtr)$ en posant
$$\forall \phi\in\mcd(\mtr),\ \langle T,\phi\rangle=\lim_{\veps\to 0}\int_{|x|\geq \veps}\frac{\phi(x)}{x}dx.$$
Cette distribution est notée $vp(1/x)$. Montrer que son ordre est inférieur ou égal à 1.
Enoncé
Pour $-2<\alpha<-1$, montrer que quel que soit $\phi\in\mcd(\mtr)$, on a
$$\int_{\veps}^{\infty}x^\alpha \phi(x)dx=A\veps^{\alpha+1}+R_\veps,$$
où $A$ dépend de $\phi$, mais pas de $\veps$, et où $R_\veps$ tend vers une limite si $\veps\to 0$.
On pose
$$\langle pf(x_+^\alpha),\phi\rangle =\lim_{\veps\to 0}R_\veps.$$
Montrer que $pf(x_+^\alpha)$ est une distribution d'ordre inférieur ou égal à 1.
Enoncé
- Montrer que la formule suivante $$\langle S,\phi\rangle= \sum_{n=1}^{+\infty} \phi^{(n)}(1/n)$$ définit un élément de $\mcd'(\mtr^*)$.
- On veut montrer qu'il n'existe pas de distribution $T\in\mcd'(\mtr)$ telle que,
pour tout $\phi\in\mcd(\mtr^*)$, $\langle T,\phi\rangle=\langle S,\phi\rangle$.
On raisonne par l'absurde et on suppose qu'une telle distribution $T$ existe.
- Montrer que pour tout suite $(a_k)_{k\in\mtn}$ de complexes donnée, il existe une fonction $f\in \mcd(\mtr)$ de support inclus dans $]3/4,5/4[$ et telle que $f^{(j)}(1)=a_j$ quel que soit $j$.
- On pose $f_k(x)=f(k^2x-k+1)$. Montrer que les supports des $f_k$ sont deux à deux disjoints.
- Calculer $f_p^{(n)}(1/n)$.
- En prenant $K=[0,5/4]$, $\phi_m=\sum_{p=1}^m f_p$ et $a_k=1$ montrer que $T$ ne peut pas être continue sur $\mcd(\mtr)$.
Enoncé
Démontrer que la formule
$$\langle T,\phi\rangle= \sum_{n=0}^{+\infty} \phi^{(n)}(n)$$
définit un élément de $\mathcal{D}'(\mtr)$. Cette distribution
est-elle d'ordre fini? (on pourra procéder par l'absurde, et poser
$\phi(x)=\psi(\lambda(x-(m+1)))$, où
$\psi(x)=\frac{x^{m+1}}{(m+1)!}\psi_0(x)$, $\psi_0$ étant une fonction
de $\mcd(]-1/2,1/2[)$, égale à 1 sur $[-1/4,1/4]$, et $\lambda>1$).
Enoncé
- Soit $\phi\in\mcd(\mtr)$, à support dans $\mtr_+^*$, positive et non identiquement nulle. Démontrer qu'il existe deux constantes $C$ et $\beta$ strictement positives telles que : $$\int_0^{+\infty}\exp(n/u)\phi(u)du\geq C_1\exp(\beta n).$$
- Montrer qu'il n'existe pas de distribution $T\in\mcd'(\mtr)$ telle que, pour tout $\phi\in\mcd(]0,+\infty[)$, on ait $$\langle T,\phi\rangle=\int_0^{+\infty}\exp(1/t)\phi(t)dt.$$ On pourra raisonner par l'absurde, considérer une fonction $\phi$ positive à support dans $[1/2,1]$ et poser $\phi_n(x)=\phi(nx)$.
Enoncé
Soit $T\in\mcd'(\mtr^n)$ telle que pour tout $\phi\in\mcd(\mtr^n)$ avec $\phi\geq 0$, on ait $\langle T,\phi\rangle \geq 0$.
- Soit $K$ un compact de $\mtr^n$. Montrer que $T$ est continue pour la topologie de $C(K)$.
- En déduire qu'il existe une mesure borélienne positive $\mu_K$ sur $K$ telle que, pour tout $\phi\in\mcd(\mtr^n)$ à support dans $K$, on ait $$\langle T,\phi\rangle =\int_K \phi d\mu_K.$$
- Montrer qu'il existe une mesure borélienne positive $\mu$ sur $\mtr^n$, localement finie, telle que, pour tout $\phi\in\mcd(\mtr^n)$, on ait $$\langle T,\phi\rangle=\int_{\mtr^n}\phi d\mu.$$
Suites de distributions
Exercice 10 - Limites de combinaisons linéaires de masses de Dirac [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Déterminer les limites dans $\mathcal D'(\mathbb R)$ des suites $(T_n)$ de distributions suivantes :
- $T_n=n\left(\delta_{1/n}-\delta_{-1/n}\right)$;
- $T_n=n^2\left(\delta_{1/n}+\delta_{-1/n}-2\delta_0\right)$.
Enoncé
Soit $f_n$ la fonction définie sur $\mathbb R$ par $f_n=n$ sur $[0,1/n]$ et $f_n=0$ sinon. On note $T_n$ la distribution associée à $f_n$. Étudier la convergence de la suite $(T_n)$.
Enoncé
Soit $(f_j)_{j\geq 1}$ une suite de fonctions de $L^1_{\textrm{loc}}(\mathbb R^d)$ telle que $\textrm{supp}(f_j)\subset B(0,\veps_j)$ avec $\veps_j\to 0$, $f_j\geq 0$ et $\int_{\mathbb R^d} f_j(x)=1$. Démontrer que $f_j\to \delta_0$ dans $\mathcal D'(\mathbb R^d)$.
Exercice 13 - Limite de $\sin^2(nx)$ au sens des distributions [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
- Soit $g$ une fonction de classe $\mathcal C^1$ sur l'intervalle $[a,b]$. Démontrer que $\lim_{\lambda\to+\infty}\int_a^b\cos(\lambda x)g(x)dx=0$.
- Soit $T_n$ la distribution associée à $\sin^2(nx)$. Étudier la convergence dans $\mathcal D'(\mathbb R)$ de la suite $(T_n)$.
- Soit $S_n$ la distribution associée à $n\sin(nx)H$, où $H$ est la fonction de Heavise. Étudier la convergence dans $\mathcal D'(\mathbb R)$ de la suite $(S_n)$.
Enoncé
On note $T_N$ la distribution associée à la fonction localement intégrable $t\mapsto \frac{\sin(Nt)}{\pi t}$.
Montrer que $T_N$ converge vers $\delta_0$. On rappelle que $\int_{0}^{+\infty}\frac{\sin t}{t}dt=\frac{\pi}{2}$.
Enoncé
Soit $F_N(t)=\frac{1}{2\pi}\sum_{k=-N}^N e^{ikt}$, qui est une fonction localement intégrable. On pose $T_N$
la distribution associée à $F_N$. Le but de l'exercice est de déterminer la limite (au sens des distributions)
de $(T_N)$.
- Soit $\varphi\in\mcd(\mtr)$ une fonction à support dans $[-(2M+1)\pi,(2M+1)\pi]$. Montrer que $$\langle T_N,\varphi\rangle =\frac{1}{2\pi}\int_{-\pi}^{\pi}\frac{\sin((2N+1)t/2)}{\sin(t/2)}\phi(t)dt,$$ où $\phi(t)=\sum_{n=-M}^M \varphi(t+2n\pi)$.
- En écrivant $\phi(t)=\phi(0)+t\psi(t)$, où $\psi$ est $C^\infty$, démontrer que $T_N$ converge vers $\sum_{p\in\mtz}\delta_{2\pi p}$.