الرئيسية

مسابقة دكتوراه 2015Université Badji Mokhtar - Annaba — الموضوع 01

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

Concours d'accès en doctorat 3ème cycle (2014/2015) — Formation doctorale Equations Différentielles et Applications, Option EDP — Épreuve : EDP et Distributions, Université Badji Mokhtar - Annaba, Département de Mathématiques — 18 octobre 2014 — Durée 02h.

التمرين 1

Exercice 1 — Problème de Neumann : formulation faible et condition de compatibilité

#pde#neumann-problem#weak-solution#lax-milgram#compatibility-condition

Soit ΩRn\Omega \subset \mathbb{R}^n un ouvert borné avec frontière Ω\partial\Omega assez régulière et fL2(Ω)f \in L^2(\Omega). On dit que uH1(Ω)u \in H^1(\Omega) est solution faible du problème de Neumann

{Δu=fsur Ωuν=0sur Ω\begin{cases} -\Delta u = f & \text{sur } \Omega \\\\ \frac{\partial u}{\partial \nu} = 0 & \text{sur } \partial\Omega \end{cases}

si

Ωuvdx=Ωf(x)v(x)dx,vH1(Ω).\int_\Omega \nabla u \cdot \nabla v \, dx = \int_\Omega f(x)v(x)dx, \quad \forall v \in H^1(\Omega).
  1. Montrer que si uH2(Ω)u \in H^2(\Omega) est solution forte alors la formulation faible est vérifiée.
  2. Si uu est solution faible et uH2(Ω)u \in H^2(\Omega), montrer que : (a) Δu=f-\Delta u = f dans L2(Ω)L^2(\Omega) ; (b) u/ν=0\partial u/\partial \nu = 0 dans L2(Ω)L^2(\partial\Omega) au sens des traces.
  3. Montrer que la condition Ωf(x)dx=0\int_\Omega f(x)dx = 0 est nécessaire pour l'existence d'une solution faible.
  4. Soit H={vH1(Ω):Ωv(x)dx=0}H = \{v \in H^1(\Omega) : \int_\Omega v(x)dx = 0\}. En supposant la condition précédente satisfaite, montrer que si uHu \in H vérifie la formulation faible pour tout vHv \in H, alors elle est vérifiée pour tout vH1(Ω)v \in H^1(\Omega).
  5. Utiliser Lax-Milgram dans l'espace de Hilbert HH et déduire que la condition de compatibilité est suffisante pour l'existence d'une solution faible.
الحل

1.

Multiplier Δu=f-\Delta u = f par vv et intégrer sur Ω\Omega. En intégrant par parties et en utilisant la condition de Neumann homogène, on obtient la formulation faible.

2.

(a) Prendre vCc(Ω)v \in C_c^\infty(\Omega) dans la formulation faible : uv=fv\int \nabla u \cdot \nabla v = \int fv, donc Δu=f-\Delta u = f au sens des distributions, puis dans L2L^2.

(b) Reprendre l'intégration par parties pour un vH1v \in H^1 général et comparer aux identités. Le terme de bord est nul, donc la trace normale est nulle.

3.

Prendre v=1v=1. Alors 0=Ωu1=Ωf(x)dx0 = \int_\Omega \nabla u \cdot \nabla 1 = \int_\Omega f(x)dx.

4.

Tout vH1(Ω)v \in H^1(\Omega) se décompose en v=(vvˉ)+vˉv = (v-\bar{v}) + \bar{v} avec vvˉHv-\bar{v} \in H. Comme f=0\int f = 0, le terme constant disparaît. Donc la formulation sur HH suffit.

5.

Sur HH, la forme a(u,v)=uva(u,v)=\int \nabla u \cdot \nabla v est continue et coercive (Poincaré-Wirtinger). Le second membre L(v)=fvL(v)=\int fv est continu. Par Lax-Milgram, il existe une unique solution dans HH.

Ωf=0 est neˊcessaire et suffisante sur H\boxed{\int_\Omega f = 0 \text{ est nécessaire et suffisante sur } H}

التمرين 2

Exercice 2 — Équation hyperbolique du second ordre et problème de Cauchy

#pde#classification#characteristics#cauchy-problem

Étant donnée l'équation aux dérivées partielles du second ordre

uxx+2uxy3uyy=2.u_{xx} + 2u_{xy} - 3u_{yy} = 2.
  1. Déterminer son type.
  2. Déterminer les lignes caractéristiques.
  3. Transformer l'équation à l'aide du changement de variables θ=x+y\theta = x+y, ξ=3x+y\xi = -3x+y.
  4. En déduire la solution générale puis résoudre le problème de Cauchy :
{uxx+2uxy3uyy=2,u(x,0)=0,uy(x,0)=x+cosx.\begin{cases} u_{xx} + 2u_{xy} - 3u_{yy} = 2, \\\\ u(x,0) = 0, \\\\ u_y(x,0) = x + \cos x. \end{cases}
الحل

1.

Ici A=1A=1, B=1B=1, C=3C=-3. Le discriminant vaut Δ=B2AC=1(1)(3)=4>0\Delta = B^2 - AC = 1 - (1)(-3) = 4 \gt 0, donc l'équation est hyperbolique.

2.

Les caractéristiques vérifient A(dy)22Bdxdy+C(dx)2=0A(dy)^2 - 2Bdxdy + C(dx)^2 = 0, soit (dy)22dxdy3(dx)2=0(dy)^2 - 2dxdy - 3(dx)^2 = 0. Cela donne dy/dx=3dy/dx = 3 ou dy/dx=1dy/dx = -1.

3.

Avec θ=x+y\theta = x+y et ξ=3x+y\xi = -3x+y, l'opérateur se diagonalise et l'équation devient une forme canonique du type uθξ=constanteu_{\theta \xi} = \text{constante}.

4.

On intègre deux fois dans les variables canoniques puis on utilise les conditions de Cauchy pour identifier les fonctions arbitraires.

u(x,y)=solution explicite obtenue apreˋs identification des donneˊes initiales\boxed{u(x,y) = \text{solution explicite obtenue après identification des données initiales}}