الرئيسية

مسابقة دكتوراه 2016Université des Sciences et de la Technologie Houari Boumediène (USTHB) — الموضوع 15

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

Concours d'accès au Doctorat LMD, Spécialité EDP, Épreuve 2, Faculté de Mathématiques, Laboratoire AMNEDP, USTHB, Novembre 2016, durée 2h.

التمرين 1

Problème 1 — Méthode variationnelle et théorème de Riesz

#variational-methods#sobolev-spaces#lax-milgram#riesz-theorem

On s'intéresse à la recherche, par une méthode variationnelle, de la fonction uu vérifiant le problème aux limites (P)(P) suivant :

(P){d2udx2(x)=f(x),x]0,1[u(0)=u(1)=0(P) \begin{cases} -\dfrac{d^2u}{dx^2}(x) = f(x), \quad x \in ]0,1[ \\ u(0) = u(1) = 0 \end{cases}

ff est donnée dans L2(]0,1[)L^2(]0,1[).

Question 1 : On cherche uH01(]0,1[)u \in H_0^1(]0,1[) solution de (P)(P). Montrer que uu est solution du problème variationnel (PV)(PV) suivant :

(PV)Trouver uH01(]0,1[) tel que : a(u,v)=L(v),vH01(]0,1[)(PV) \quad \text{Trouver } u \in H_0^1(]0,1[) \text{ tel que : } a(u,v) = L(v), \quad \forall v \in H_0^1(]0,1[)

On explicitera pour tout (u,v)H01×H01(u,v) \in H_0^1 \times H_0^1, la forme bilinéaire a(.,.)a(.,.) et la forme linéaire L(.)L(.).

Question 2 : Montrer que la forme bilinéaire a(.,.)a(.,.) est continue, symétrique sur H01×H01H_0^1 \times H_0^1, coercive sur H01H_0^1, et que la forme linéaire L(.)L(.) est continue sur H01(]0,1[)H_0^1(]0,1[).

Question 3 : Montrer que l'application va(v,v)v \mapsto \sqrt{a(v,v)} est une norme équivalente à la norme usuelle de H1(]0,1[)H^1(]0,1[); on notera v=a(v,v)|||v||| = \sqrt{a(v,v)}.

Question 4 : Soit le produit scalaire défini par (u,v)1=a(u,v)(u,v)_1 = a(u,v). Montrer que (H01(]0,1[),.)(H_0^1(]0,1[), |||.|||) est un espace de Hilbert.

Question 5 : Rappeler le théorème de représentation de Riesz. En déduire l'existence et l'unicité (sans faire appel au théorème de Lax-Milgram) de la solution du problème variationnel.

الحل

Question 1.

On multiplie u=f-u'' = f par vH01v \in H_0^1 et on intègre par parties :

a(u,v)=01u(x)v(x)dx=01f(x)v(x)dx=L(v).a(u,v) = \int_0^1 u'(x)v'(x)dx = \int_0^1 f(x)v(x)dx = L(v).

Question 2.

Continuité : a(u,v)uL2vL2uH1vH1|a(u,v)| \leq \|u'\|_{L^2}\|v'\|_{L^2} \leq \|u\|_{H^1}\|v\|_{H^1}. Symétrie : évidente. Coercivité : par l'inégalité de Poincaré, vL22CvH12\|v'\|^2_{L^2} \geq C\|v\|^2_{H^1}. Continuité de LL : L(v)fL2vL2fL2vH1|L(v)| \leq \|f\|_{L^2}\|v\|_{L^2} \leq \|f\|_{L^2}\|v\|_{H^1}.

Question 3.

Par Poincaré : vL22vH12CvL22\|v'\|_{L^2}^2 \leq \|v\|_{H^1}^2 \leq C\|v'\|_{L^2}^2, donc v|||v||| est équivalente à la norme H1H^1.

Question 4.

(H01,.)(H_0^1, |||.|||) est Hilbert car H01H_0^1 avec la norme usuelle est complet et les normes sont équivalentes.

Question 5.

Théorème de Riesz : dans un espace de Hilbert HH, toute forme linéaire continue LL s'écrit L(v)=(u,v)1L(v) = (u,v)_1 pour un unique uHu \in H. Ici LL est continue sur (H01,.)(H_0^1, |||.|||), donc il existe un unique uu tel que a(u,v)=L(v)a(u,v) = L(v) pour tout vv.

Existence et uniciteˊ de la solution par le theˊoreˋme de Riesz.\boxed{\text{Existence et unicité de la solution par le théorème de Riesz.}}

التمرين 2

Problème 2 — EDP non linéaire et suites dans les espaces de Sobolev

#nonlinear-pde#sobolev-spaces#lax-milgram#weak-solutions#sobolev-injection

Soient Ω\Omega un ouvert borné régulier de R2\mathbb{R}^2 de bord Γ\Gamma et fL(R)f \in L^{\infty}(\mathbb{R}), f0f \geq 0 p.p. On suppose que ff est lipschitzienne. On considère le problème non-linéaire suivant :

\begin{cases} -\Delta u + u^2 = f(u) & \text{dans } \Omega \\ u = 0 & \text{sur } \Gamma \end{cases} \tag{1}

La solution faible de (1)(1) est uH01(Ω)u \in H_0^1(\Omega) telle que u0u \geq 0 p.p. et vérifiant :

\int_{\Omega} \nabla u \cdot \nabla v + u^2 v\, dx = \int_{\Omega} f(u)v\, dx, \quad \forall v \in H_0^1(\Omega). \tag{2}

Question 1 : Montrer qu'on peut définir par récurrence une suite de fonctions (un)(u_n) telle que u0=0u_0 = 0 et pour n1n \geq 1, unu_n est la solution du problème linéaire :

\begin{cases} -\Delta u_n + u_{n-1} u_n = f(u_{n-1}) & \text{dans } \Omega \\ u_n = 0 & \text{sur } \Gamma \end{cases} \tag{3}

de sorte que la suite (un)(u_n) vérifie : unH01(Ω)u_n \in H_0^1(\Omega), un0u_n \geq 0 p.p. et il existe une constante C>0C > 0 indépendante de nn telle que unH1(Ω)C\|u_n\|_{H^1(\Omega)} \leq C.

Question 2 : En déduire que la suite (un)(u_n) admet une sous-suite qui converge fortement dans L2(Ω)L^2(\Omega) vers une limite uH1(Ω)u \in H^1(\Omega).

الحل

Question 1.

Pour n=1n=1 : le problème linéaire Δu1=f(0)-\Delta u_1 = f(0) avec u1=0u_1=0 sur Γ\Gamma admet une unique solution par Lax-Milgram (car f(0)LL2f(0) \in L^\infty \subset L^2). Par récurrence, si un1H01u_{n-1}\in H_0^1, un10u_{n-1}\geq 0 p.p. et borné, alors le problème (3) est linéaire en unu_n avec forme bilinéaire a(u,v)=(uv+un1uv)a(u,v) = \int(\nabla u\cdot\nabla v + u_{n-1}uv), qui est continue et coercive (car un10u_{n-1}\geq 0). Par Lax-Milgram, unu_n existe et est unique. La borne unH1C\|u_n\|_{H^1}\leq C s'obtient en prenant v=unv = u_n dans la formulation faible et en utilisant la lipschitziennité de ff.

Question 2.

La suite (un)(u_n) est bornée dans H01(Ω)H_0^1(\Omega). Par l'injection de Sobolev compacte H01(Ω)L2(Ω)H_0^1(\Omega) \hookrightarrow L^2(\Omega) (Rellich-Kondrachov), on extrait une sous-suite (unk)(u_{n_k}) convergente fortement dans L2(Ω)L^2(\Omega) vers uu. Par reflexivité, unkuu_{n_k} \rightharpoonup u dans H1(Ω)H^1(\Omega), donc uH1(Ω)u \in H^1(\Omega).

uH1(Ω):unku fortement dans L2(Ω).\boxed{\exists\, u \in H^1(\Omega) : u_{n_k} \to u \text{ fortement dans } L^2(\Omega).}