📚 الرئيسية

مسابقة دكتوراه 2017Université Abderrahmane Mira - Béjaïa — الموضوع 03

مسابقة تخصص · Analyse Fonctionnelle · المدة: 2سا

Concours National d'entrée en Doctorat LMD Mathématiques, Option Analyse, Épreuve Analyse Mathématique, Université A. Mira - Béjaïa, Faculté des Sciences Exactes, Département de Mathématiques/M.I, 28 octobre 2017, durée 2h.

التمرين 1

Injection continue de H¹(I) dans C(I)

#sobolev-spaces#continuous-injection#sobolev-embedding#bounded-interval

Soit II un intervalle ouvert borné de R\mathbb R. 1) Pour vD(I)v\in\mathcal D(I), montrer que supxIv(x)max(I1/2,I1/2)vH1(I)\sup_{x\in I}|v(x)|\le\max(|I|^{-1/2},|I|^{1/2})\,\|v\|_{H^1(I)}, où I|I| désigne la longueur de II. 2) En déduire que H1(I)H^1(I) s'injecte continûment dans C(I)C(I).

الحل

1) Pour vD(I)v\in\mathcal D(I) et x,yIx,y\in I, v(x)2v(y)2=yx2vvdtv(x)^2-v(y)^2=\int_y^x2v v'\,dt, donc v(x)2vˉ22v2v2|v(x)^2-\bar v^2|\le2\|v\|_2\|v'\|_2vˉ2\bar v^2 est une valeur moyenne. En choisissant yy tel que v(y)2=1IIv2v(y)^2=\frac1{|I|}\int_Iv^2, on obtient v(x)21Iv22+2v2v2v(x)^2\le\frac1{|I|}\|v\|_2^2+2\|v\|_2\|v'\|_2. Par l'inégalité 2aba2+b22ab\le a^2+b^2 et la définition vH12=v22+v22\|v\|_{H^1}^2=\|v\|_2^2+\|v'\|_2^2, on majore supxv(x)2max(I1,I)vH12\sup_x|v(x)|^2\le\max(|I|^{-1},|I|)\|v\|_{H^1}^2, d'où le résultat en prenant la racine.

2) D(I)\mathcal D(I) est dense dans H1(I)H^1(I) ; l'inégalité ci-dessus, uniforme, se prolonge à tout uH1(I)u\in H^1(I), montrant que uCuH1\|u\|_{\infty}\le C\|u\|_{H^1} avec C=max(I1/2,I1/2)C=\max(|I|^{-1/2},|I|^{1/2}). Tout uH1(I)u\in H^1(I) admet donc un représentant continu et l'injection H1(I)C(I)H^1(I)\hookrightarrow C(I) est continue (en dimension un, H1H^1 s'injecte dans C0C^0).

التمرين 1

Espace de Sobolev à poids et problème variationnel

#Sobolev à poids#Poincaré#Lax-Milgram

Soit Ω\Omega un ouvert borné et ρ:ΩR\rho:\Omega\to\mathbb{R} mesurable avec inf{ρ(x):xΩ}=ρ0>0\inf\{\rho(x):x\in\Omega\}=\rho_0>0. On pose

Hρ1={vL2(Ω):vLloc1(Ω), ρvL2(Ω)},vHρ1=(vL22+ρvL22)1/2.H^1_\rho=\{v\in L^2(\Omega):\nabla v\in L^1_{loc}(\Omega),\ \rho\nabla v\in L^2(\Omega)\}, \qquad \|v\|_{H^1_\rho}=\bigl(\|v\|_{L^2}^2+\|\rho\nabla v\|_{L^2}^2\bigr)^{1/2}.
  1. Montrer que Hρ1H1(Ω)H^1_\rho\subset H^1(\Omega) et que Hρ1\|\cdot\|_{H^1_\rho} est une norme.
  2. On pose H0,ρ1=Hρ1H01(Ω)H^1_{0,\rho}=H^1_\rho\cap H^1_0(\Omega). Montrer que vL2CPρ0ρvL2\|v\|_{L^2}\le\frac{C_P}{\rho_0}\|\rho\nabla v\|_{L^2} pour vH0,ρ1v\in H^1_{0,\rho}, et en déduire que vH0,ρ1=ρvL2|v|_{H^1_{0,\rho}}=\|\rho\nabla v\|_{L^2} est une norme équivalente à Hρ1\|\cdot\|_{H^1_\rho}.
  3. Pour fL2(Ω)f\in L^2(\Omega), montrer que le problème : trouver uH0,ρ1u\in H^1_{0,\rho} tel que Ωρ2uvdx=Ωfvdx\int_\Omega\rho^2\nabla u\cdot\nabla v\,dx=\int_\Omega fv\,dx pour tout vH0,ρ1v\in H^1_{0,\rho}, admet une solution unique vérifiant uH0,ρ1CPρ0fL2|u|_{H^1_{0,\rho}}\le\frac{C_P}{\rho_0}\|f\|_{L^2}.
الحل
  1. Comme ρρ0>0\rho\ge\rho_0>0, v1ρ0ρvL2|\nabla v|\le\frac1{\rho_0}|\rho\nabla v|\in L^2, donc vL2\nabla v\in L^2 et vH1(Ω)v\in H^1(\Omega). Les axiomes de norme sont immédiats. 2. Poincaré sur H01H^1_0 : vL2CPvL2CPρ0ρvL2\|v\|_{L^2}\le C_P\|\nabla v\|_{L^2}\le\frac{C_P}{\rho_0}\|\rho\nabla v\|_{L^2}, d'où l'équivalence des normes. 3. a(u,v)=ρ2uva(u,v)=\int\rho^2\nabla u\cdot\nabla v est bilinéaire continue et coercive sur H0,ρ1H^1_{0,\rho} (coercivité via 2). Lax-Milgram donne l'existence, l'unicité et l'estimation.

التمرين 2

Sous-espace de H¹ défini par une contrainte ponctuelle

#sobolev-spaces#closed-subspace#equivalent-norms#lax-milgram

On désigne par I=]0,1[I=]0,1[ et on pose V={uH1(I):u(12)=0}V=\{u\in H^1(I):u(\tfrac12)=0\}. 1) Montrer que VV est un sous-espace vectoriel fermé de H1(I)H^1(I) et que uuL2(I)u\mapsto\|u'\|_{L^2(I)} est une norme sur VV équivalente à la norme usuelle de H1(I)H^1(I). 2) Montrer qu'il existe un unique uVu\in V tel que Iuvdx=v(0)\int_Iu'v'\,dx=v(0) pour tout vVv\in V. 3) Interpréter le problème résolu, déterminer explicitement uu, et dire si uH2(I)u\in H^2(I).

الحل

1) L'évaluation uu(12)u\mapsto u(\tfrac12) est continue sur H1(I)H^1(I) (injection dans C(I)C(I)), donc V=kerV=\ker de cette forme est fermé. Si uVu\in V, la formule u(x)=1/2xuu(x)=\int_{1/2}^xu' et Cauchy-Schwarz donnent uu2\|u\|_\infty\le\|u'\|_2, puis u2u2\|u\|_2\le\|u'\|_2 ; ainsi u2uH1Cu2\|u'\|_2\le\|u\|_{H^1}\le C\|u'\|_2 : normes équivalentes.

2) La forme a(u,v)=Iuva(u,v)=\int_Iu'v' est continue et coercive sur VV (par 1), et vv(0)v\mapsto v(0) est continue. Lax-Milgram donne l'existence et l'unicité.

3) Formellement u=0-u''=0 sur chaque sous-intervalle avec un saut de uu' codant l'évaluation en 00. La solution est affine par morceaux : uu est linéaire sur [0,12][0,\tfrac12] et constante nulle au-delà (contrainte u(12)=0u(\tfrac12)=0), du type u(x)=(12x)+cu(x)=(\tfrac12-x)^+\cdot c. Comme uu' présente un saut en 12\tfrac12, uH2(I)u\notin H^2(I).

التمرين 2

Problème elliptique avec condition de Robin

#Robin#formulation variationnelle#Poincaré-Friedrichs

Soit ΩRN\Omega\subset\mathbb{R}^N ouvert borné de frontière Γ\Gamma régulière. On considère, avec α>0\alpha>0, fL2(Ω)f\in L^2(\Omega), gL2(Γ)g\in L^2(\Gamma),

(1){Δu=fdans Ω,uν+αu=gsur Γ.(1)\quad\begin{cases}-\Delta u=f&\text{dans }\Omega,\\[2pt]\dfrac{\partial u}{\partial\nu}+\alpha u=g&\text{sur }\Gamma.\end{cases}
  1. Si uH2(Ω)u\in H^2(\Omega) résout (1), montrer que uu vérifie a(u,v)=L(v)a(u,v)=L(v) pour tout vH1(Ω)v\in H^1(\Omega), avec
a(u,v)=Ωuvdx+αΓuvdσ,L(v)=Ωfvdx+Γgvdσ.a(u,v)=\int_\Omega\nabla u\cdot\nabla v\,dx+\alpha\int_\Gamma uv\,d\sigma,\qquad L(v)=\int_\Omega fv\,dx+\int_\Gamma gv\,d\sigma.
  1. Montrer la continuité de aa et de LL.
  2. Établir l'inégalité de Poincaré-Friedrichs : il existe β>0\beta>0 tel que Ωv2+αΓv2βΩv2\int_\Omega|\nabla v|^2+\alpha\int_\Gamma v^2\ge\beta\int_\Omega v^2 pour tout vH1(Ω)v\in H^1(\Omega) (raisonnement par l'absurde).
  3. En déduire l'existence et l'unicité d'une solution uH1(Ω)u\in H^1(\Omega) de la formulation variationnelle, et que uu résout (1).
الحل
  1. Multiplier par vv, formule de Green : uvΓuνv=fv\int\nabla u\cdot\nabla v-\int_\Gamma\frac{\partial u}{\partial\nu}v=\int fv ; substituer uν=gαu\frac{\partial u}{\partial\nu}=g-\alpha u donne a=La=L. 2. Cauchy-Schwarz plus le théorème de trace donnent la continuité. 3. Par l'absurde : vnv_n avec vnH1=1\|v_n\|_{H^1}=1 et membre de gauche <1/n<1/n ; bornée dans H1H^1, on extrait vnkvv_{n_k}\to v dans L2L^2 (Rellich) ; alors vn0\nabla v_n\to0 et la trace 0\to0, la limite est une constante de trace nulle donc 00, contredisant vn=1\|v_n\|=1. 4. (3) donne la coercivité, Lax-Milgram conclut ; la régularité montre que uu résout (1).

التمرين 3

Primitive de 1/(1-x) et interpolation de Lagrange

#numerical-analysis#lagrange-interpolation#quadrature#logarithm-approximation

Soit f(x)=11xf(x)=\frac1{1-x}, xR{1}x\in\mathbb R\setminus\{1\}. 1) Calculer F(x)=0xf(t)dtF(x)=\int_0^xf(t)dt pour x<1x<1 ; en déduire F(23)F(\tfrac23). 2) Déterminer le polynôme de Lagrange qui interpole ff aux points 0,13,230,\tfrac13,\tfrac23. (a) Trouver a,b,ca,b,c tels que 02P(x)dx=aP(0)+bP(1)+cP(2)\int_0^2P(x)dx=aP(0)+bP(1)+cP(2) pour tout PP de degré 2\le2. (b) En déduire α,β,γ\alpha,\beta,\gamma tels que 02/3Q(x)dx=αQ(0)+βQ(13)+γQ(23)\int_0^{2/3}Q(x)dx=\alpha Q(0)+\beta Q(\tfrac13)+\gamma Q(\tfrac23). (c) En déduire une approximation de ln3\ln3.

الحل

1) F(x)=[ln1t]0x=ln(1x)F(x)=[-\ln|1-t|]_0^x=-\ln(1-x) pour x<1x<1. Donc F(23)=ln(13)=ln3F(\tfrac23)=-\ln(\tfrac13)=\ln3.

2) Avec f(0)=1f(0)=1, f(13)=32f(\tfrac13)=\tfrac32, f(23)=3f(\tfrac23)=3, le polynôme de Lagrange est P(x)=f(xi)Li(x)P(x)=\sum f(x_i)L_i(x) sur les nœuds 0,13,230,\tfrac13,\tfrac23. (a) Formule de Simpson sur [0,2][0,2] : a=c=13a=c=\tfrac13, b=43b=\tfrac43 (exacte pour les polynômes de degré 3\le3). (b) Par le changement d'échelle x3xx\mapsto3x envoyant [0,2][0,2] sur [0,23][0,\tfrac23], α=19\alpha=\tfrac19, β=49\beta=\tfrac49, γ=19\gamma=\tfrac19 (Simpson sur [0,23][0,\tfrac23] de pas 13\tfrac13). (c) ln3=02/3f19f(0)+49f(13)+19f(23)=19(1)+49(32)+19(3)=19+69+39=1091.111\ln3=\int_0^{2/3}f\approx\tfrac19f(0)+\tfrac49f(\tfrac13)+\tfrac19f(\tfrac23)=\tfrac19(1)+\tfrac49(\tfrac32)+\tfrac19(3)=\tfrac19+\tfrac69+\tfrac39=\tfrac{10}9\approx1.111 (valeur exacte ln31.0986\ln3\approx1.0986).

التمرين 4

Système différentiel linéaire à coefficients variables et matrice fondamentale

#linear-system#fundamental-matrix#ode#wronskian

On considère le système différentiel dXdt=A(t)X\frac{dX}{dt}=A(t)X, où A(t)=(013t23t)A(t)=\begin{pmatrix}0&1\\-\frac3{t^2}&\frac3t\end{pmatrix}. 1) Vérifier que (tt313t2)\begin{pmatrix}t&t^3\\1&3t^2\end{pmatrix} est une matrice solution. 2) Calculer la matrice fondamentale principale en t=1t=1. 3) Résoudre le problème dx1dt=x2+t\frac{dx_1}{dt}=x_2+t, dx2dt=3t2x1+3tx2\frac{dx_2}{dt}=-\frac3{t^2}x_1+\frac3t x_2, x1(1)=2x_1(1)=2, x2(1)=1x_2(1)=1.

الحل

1) Les colonnes (t,1)T(t,1)^T et (t3,3t2)T(t^3,3t^2)^T vérifient X=A(t)XX'=A(t)X : pour la première, X=(1,0)TX'=(1,0)^T et A(t)(t,1)T=(1,3t+3t)T=(1,0)TA(t)(t,1)^T=(1,-\tfrac3t+\tfrac3t)^T=(1,0)^T ; pour la seconde, X=(3t2,6t)TX'=(3t^2,6t)^T et A(t)(t3,3t2)T=(3t2,3t+9t)T=(3t2,6t)TA(t)(t^3,3t^2)^T=(3t^2,-3t+9t)^T=(3t^2,6t)^T. Donc Φ(t)=(tt313t2)\Phi(t)=\begin{pmatrix}t&t^3\\1&3t^2\end{pmatrix} est une matrice solution (Wronskien 3t3t3=2t303t^3-t^3=2t^3\ne0).

2) La matrice fondamentale principale en t=1t=1 est Ψ(t)=Φ(t)Φ(1)1\Psi(t)=\Phi(t)\Phi(1)^{-1}. Avec Φ(1)=(1113)\Phi(1)=\begin{pmatrix}1&1\\1&3\end{pmatrix}, Φ(1)1=12(3111)\Phi(1)^{-1}=\tfrac12\begin{pmatrix}3&-1\\-1&1\end{pmatrix}, donc Ψ(t)=12(tt313t2)(3111)=12(3tt3t+t333t21+3t2)\Psi(t)=\tfrac12\begin{pmatrix}t&t^3\\1&3t^2\end{pmatrix}\begin{pmatrix}3&-1\\-1&1\end{pmatrix}=\tfrac12\begin{pmatrix}3t-t^3&-t+t^3\\3-3t^2&-1+3t^2\end{pmatrix}.

3) Le système est X=A(t)X+(t,0)TX'=A(t)X+(t,0)^T. Par la méthode de variation de la constante, X(t)=Ψ(t)X(1)+Ψ(t)1tΨ(s)1(s,0)TdsX(t)=\Psi(t)X(1)+\Psi(t)\int_1^t\Psi(s)^{-1}(s,0)^T ds avec X(1)=(2,1)TX(1)=(2,1)^T. Le calcul de l'intégrale particulière avec Φ(s)1(s,0)T\Phi(s)^{-1}(s,0)^T donne la solution explicite, combinaison des modes tt et t3t^3 plus un terme particulier issu du forcing tt.