📚 الرئيسية

مسابقة دكتوراه 2023École Normale Supérieure Cheikh Mohamed El Bachir El Ibrahimi - Kouba (ENS Kouba) — الموضوع 02

مسابقة تخصص · EDP

Concours d'accès à la formation doctorale 2022/2023 — Filière Mathématiques — Épreuve de spécialité (Coef 03) — Sujet 03 — 09 février 2023

التمرين 1

Dérivées au sens des distributions de |x|^α et de ln|x|

#distributions#L1 local#partie finie#valeur principale

Soit 1<α<0-1<\alpha<0.

1. Montrer que xxαx\mapsto|x|^{\alpha} appartient à Lloc1(R)L^1_{\mathrm{loc}}(\mathbb{R}).

2. Calculer, au sens des distributions, la dérivée de xα|x|^{\alpha}.

3. Calculer, au sens des distributions, la dérivée de lnx\ln|x|.

الحل

1. Intégrabilité locale

Sur tout segment [R,R][-R,R], RRxαdx=20Rxαdx=2Rα+1α+1<\displaystyle\int_{-R}^{R}|x|^{\alpha}dx=2\int_0^R x^{\alpha}dx=\dfrac{2R^{\alpha+1}}{\alpha+1}<\infty car α+1>0\alpha+1>0. Donc xαLloc1(R)|x|^{\alpha}\in L^1_{\mathrm{loc}}(\mathbb{R}) (et de même lnxLloc1\ln|x|\in L^1_{\mathrm{loc}}).

2. Dérivée de xα|x|^{\alpha}

Soit φD(R)\varphi\in\mathcal{D}(\mathbb{R}). Comme xα|x|^{\alpha} est paire, en posant u=xu=-x sur ],0]]-\infty,0] : (xα),φ=Rxαφ(x)dx=0xα(φ(x)+φ(x))dx.\langle (|x|^{\alpha})',\varphi\rangle=-\int_{\mathbb{R}}|x|^{\alpha}\varphi'(x)\,dx=-\int_0^{\infty}x^{\alpha}\big(\varphi'(x)+\varphi'(-x)\big)\,dx. Or φ(x)+φ(x)=ddx(φ(x)φ(x))\varphi'(x)+\varphi'(-x)=\dfrac{d}{dx}\big(\varphi(x)-\varphi(-x)\big). Une intégration par parties (les termes de bord sont nuls : en ++\infty par support compact, en 00 car φ(x)φ(x)2φ(0)x\varphi(x)-\varphi(-x)\sim2\varphi'(0)x et xαx0x^{\alpha}\cdot x\to0) donne (xα),φ=α0xα1(φ(x)φ(x))dx.\langle (|x|^{\alpha})',\varphi\rangle=\alpha\int_0^{\infty}x^{\alpha-1}\big(\varphi(x)-\varphi(-x)\big)\,dx. Cette intégrale converge (au voisinage de 00, xα1(φ(x)φ(x))2φ(0)xαx^{\alpha-1}\big(\varphi(x)-\varphi(-x)\big)\sim2\varphi'(0)x^{\alpha}, intégrable). Autrement dit (xα)=αPf ⁣(sgn(x)xα1)dans D(R),\big(|x|^{\alpha}\big)'=\alpha\,\mathrm{Pf}\!\big(\mathrm{sgn}(x)\,|x|^{\alpha-1}\big)\quad\text{dans }\mathcal{D}'(\mathbb{R}),Pf\mathrm{Pf} désigne la partie finie de Hadamard (nécessaire car xα1Lloc1|x|^{\alpha-1}\notin L^1_{\mathrm{loc}}).

3. Dérivée de lnx\ln|x|

De la même manière, pour φD(R)\varphi\in\mathcal{D}(\mathbb{R}) : (lnx),φ=Rlnxφ(x)dx=0φ(x)φ(x)xdx=vp ⁣Rφ(x)xdx.\langle(\ln|x|)',\varphi\rangle=-\int_{\mathbb{R}}\ln|x|\,\varphi'(x)\,dx=\int_0^{\infty}\frac{\varphi(x)-\varphi(-x)}{x}\,dx=\operatorname{vp}\!\int_{\mathbb{R}}\frac{\varphi(x)}{x}\,dx. Donc (lnx)=vp1xdans D(R).\big(\ln|x|\big)'=\operatorname{vp}\frac1x\quad\text{dans }\mathcal{D}'(\mathbb{R}).

التمرين 2

Forme bilinéaire elliptique, Lax–Milgram et problème de Neumann

#Lax-Milgram#espaces de Sobolev#coercivité#problème de Neumann#inégalité de Poincaré-Wirtinger

Soit ΩRN\Omega\subset\mathbb{R}^N un ouvert borné régulier. Pour u,vH1(Ω)u,v\in H^1(\Omega) on pose a(u,v)=Ωi=1Nuxivxidx+(Ωudx)(Ωvdx).a(u,v)=\int_\Omega\sum_{i=1}^N\frac{\partial u}{\partial x_i}\frac{\partial v}{\partial x_i}\,dx+\Big(\int_\Omega u\,dx\Big)\Big(\int_\Omega v\,dx\Big).

1. Montrer que aa est une forme bilinéaire continue et coercive sur H1(Ω)H^1(\Omega).

2. Pour fL2(Ω)f\in L^2(\Omega), montrer qu'il existe un unique uH1(Ω)u\in H^1(\Omega) tel que a(u,v)=Ωfvdxa(u,v)=\displaystyle\int_\Omega f v\,dx pour tout vH1(Ω)v\in H^1(\Omega).

3. Montrer que Ωudx=1ΩΩfdx\displaystyle\int_\Omega u\,dx=\frac1{|\Omega|}\int_\Omega f\,dx. En déduire, lorsque Ωf=0\int_\Omega f=0, le problème aux limites vérifié par uu.

الحل

1. Continuité et coercivité

Bilinéarité évidente. Continuité : par Cauchy–Schwarz, a(u,v)uL2vL2+ΩuL2vL2CuH1vH1|a(u,v)|\le\|\nabla u\|_{L^2}\|\nabla v\|_{L^2}+|\Omega|\,\|u\|_{L^2}\|v\|_{L^2}\le C\,\|u\|_{H^1}\|v\|_{H^1}.

Coercivité : a(u,u)=Ωu2+(Ωu)2a(u,u)=\displaystyle\int_\Omega|\nabla u|^2+\Big(\int_\Omega u\Big)^2. L'inégalité de Poincaré–Wirtinger généralisée affirme l'existence de CΩ>0C_\Omega>0 tel que uH12CΩ(Ωu2+(Ωu)2)=CΩa(u,u).\|u\|_{H^1}^2\le C_\Omega\Big(\int_\Omega|\nabla u|^2+\Big(\int_\Omega u\Big)^2\Big)=C_\Omega\,a(u,u). (La quantité (Ωu2+(Ωu)2)1/2\big(\int_\Omega|\nabla u|^2+(\int_\Omega u)^2\big)^{1/2} est une norme équivalente sur H1(Ω)H^1(\Omega).) Donc aa est coercive.

2. Lax–Milgram

L'application vΩfvv\mapsto\int_\Omega fv est une forme linéaire continue sur H1(Ω)H^1(\Omega) (car fvfL2vL2|\int fv|\le\|f\|_{L^2}\|v\|_{L^2}). Comme aa est bilinéaire, continue et coercive, le théorème de Lax–Milgram donne l'existence et l'unicité de uH1(Ω)u\in H^1(\Omega) tel que a(u,v)=Ωfva(u,v)=\int_\Omega fv pour tout vH1(Ω)v\in H^1(\Omega).

3. Moyenne et problème aux limites

En prenant v=1v=1 (constante) : v=0\nabla v=0, donc a(u,1)=(Ωu)Ω=Ωfa(u,1)=\big(\int_\Omega u\big)\,|\Omega|=\int_\Omega f, d'où Ωudx=1ΩΩfdx.\int_\Omega u\,dx=\frac1{|\Omega|}\int_\Omega f\,dx. Si Ωf=0\int_\Omega f=0, alors Ωu=0\int_\Omega u=0 et la formulation devient Ωuv=Ωfv\int_\Omega\nabla u\cdot\nabla v=\int_\Omega fv pour tout vH1(Ω)v\in H^1(\Omega) : uu est la solution faible (de moyenne nulle) du problème de Neumann Δu=f dans Ω,un=0 sur Ω.-\Delta u=f\ \text{dans }\Omega,\qquad \frac{\partial u}{\partial n}=0\ \text{sur }\partial\Omega.

التمرين 3

Deux normes intégrales sur ℝ[X] et question d'équivalence

#normes#espaces de polynômes#équivalence de normes

Pour PR[X]P\in\mathbb{R}[X], on pose N1(P)=01P(t)dt,N2(P)=23P(t)dt.N_1(P)=\int_0^1|P(t)|\,dt,\qquad N_2(P)=\int_2^3|P(t)|\,dt.

1. Montrer que N1N_1 et N2N_2 sont des normes sur R[X]\mathbb{R}[X].

2. Ces deux normes sont-elles équivalentes ? Justifier.

الحل

1. Ce sont des normes

L'homogénéité et l'inégalité triangulaire découlent de celles de la valeur absolue et de la linéarité de l'intégrale. Pour la séparation : si N1(P)=0N_1(P)=0, alors 01P=0\int_0^1|P|=0 avec P|P| continue 0\ge0, donc P0P\equiv0 sur [0,1][0,1] ; un polynôme ayant une infinité de racines est nul, d'où P=0P=0. Même raisonnement pour N2N_2 sur [2,3][2,3].

2. Non-équivalence

Considérons Pn=XnP_n=X^n. Alors N1(Xn)=01tndt=1n+1n0,N2(Xn)=23tndt=3n+12n+1n+1n+.N_1(X^n)=\int_0^1 t^n\,dt=\frac1{n+1}\xrightarrow[n\to\infty]{}0,\qquad N_2(X^n)=\int_2^3 t^n\,dt=\frac{3^{n+1}-2^{n+1}}{n+1}\xrightarrow[n\to\infty]{}+\infty. Le rapport N2(Xn)N1(Xn)=3n+12n+1+\dfrac{N_2(X^n)}{N_1(X^n)}=3^{n+1}-2^{n+1}\to+\infty n'est pas borné : il n'existe aucune constante CC telle que N2CN1N_2\le C\,N_1. Les deux normes ne sont pas équivalentes.

التمرين 4

Équation des ondes par changement de variables (d'Alembert)

#équation des ondes#changement de variables#EDP#d'Alembert

Soit c>0c>0. Résoudre l'équation des ondes c22fx2=2ft2c^2\frac{\partial^2 f}{\partial x^2}=\frac{\partial^2 f}{\partial t^2} à l'aide d'un changement de variables de la forme u=x+atu=x+at, v=x+btv=x+bt (où l'on déterminera aa et bb).

الحل

Changement de variables

Avec u=x+atu=x+at, v=x+btv=x+bt : fx=fu+fv,ft=afu+bfv,f_x=f_u+f_v,\quad f_t=a f_u+b f_v, fxx=fuu+2fuv+fvv,ftt=a2fuu+2abfuv+b2fvv.f_{xx}=f_{uu}+2f_{uv}+f_{vv},\quad f_{tt}=a^2 f_{uu}+2ab\,f_{uv}+b^2 f_{vv}. Alors c2fxxftt=(c2a2)fuu+2(c2ab)fuv+(c2b2)fvv.c^2 f_{xx}-f_{tt}=(c^2-a^2)f_{uu}+2(c^2-ab)f_{uv}+(c^2-b^2)f_{vv}.

Choix de a,ba,b

Pour annuler les termes fuuf_{uu} et fvvf_{vv}, on prend a=ca=c et b=cb=-c. Le coefficient de fuvf_{uv} devient 2(c2ab)=2(c2+c2)=4c202(c^2-ab)=2(c^2+c^2)=4c^2\neq0, donc l'équation se réduit à 2fuv=0.\frac{\partial^2 f}{\partial u\,\partial v}=0.

Solution générale

D'où f(u,v)=F(u)+G(v)f(u,v)=F(u)+G(v) avec F,GF,G de classe C2\mathcal{C}^2, soit f(x,t)=F(x+ct)+G(xct)\boxed{\,f(x,t)=F(x+ct)+G(x-ct)\,} (formule de d'Alembert : superposition d'ondes se propageant à vitesse cc vers la gauche et vers la droite).