الرئيسية

مسابقة دكتوراه 2013جامعة باتنة 2 — الموضوع 02

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

JSON import — Université Batna 2 2013 — Université Hadj Lakhdar de Batna — Concours d'accès à la formation de 3ème cycle — Option : EDP et Applications — Épreuve : Homogénéisation et méthodes variationnelles — 07/11/2013 — Durée : 2h

التمرين 1

تمرين 1

Soit Ω=]c,d[\Omega = ]c, d[, pour ε>0\varepsilon > 0 soit le problème (Pε)(P_\varepsilon) suivant

{ddx(aεduεdx)+bεuε=fεdans Ω,uε=0sur Ω,(Pε)\begin{cases} -\dfrac{d}{dx}\left( a_\varepsilon \dfrac{du_\varepsilon}{dx} \right) + b_\varepsilon u_\varepsilon = f_\varepsilon & \text{dans } \Omega, \\ u_\varepsilon = 0 & \text{sur } \partial \Omega, \end{cases} \qquad (P_\varepsilon)

avec

0<αaε(x)βpp sur Ω,(d)0 < \alpha \leq a_\varepsilon(x) \leq \beta \quad \text{pp sur } \Omega, \qquad (d) 1aε(x)cfaible- dans L(Ω) quand ε0,(e)\frac{1}{a_\varepsilon(x)} \rightharpoonup c \quad \text{faible-}* \text{ dans } L^\infty(\Omega) \text{ quand } \varepsilon \to 0, \qquad (e)

avec

0<γc(x)ηpp sur Ω,(f)0 < \gamma \leq c(x) \leq \eta \quad \text{pp sur } \Omega, \qquad (f) bε0 pp sur Ω,fεf faible dans L2(Ω),(g)b_\varepsilon \geq 0 \ \text{pp sur } \Omega, \qquad f_\varepsilon \rightharpoonup f \ \text{faible dans } L^2(\Omega), \qquad (g)

et

bεbfaible- dans L(Ω) quand ε0.(h)b_\varepsilon \rightharpoonup b \quad \text{faible-}* \text{ dans } L^\infty(\Omega) \text{ quand } \varepsilon \to 0. \qquad (h)
  1. (3 pts) Montrer que le problème (Pε)(P_\varepsilon) admet une unique solution faible uεu_\varepsilon dans H01(Ω)H_0^1(\Omega).
  2. (11 pts) Montrer que
uεu0faible dans H01(Ω)u_\varepsilon \rightharpoonup u_0 \quad \text{faible dans } H_0^1(\Omega)

avec u0u_0 solution faible unique d'un certain problème (P0)(P_0) à déterminer. 3. (2 pts) Que devient le problème si les hypothèses (d)(d), (e)(e) et (f)(f) sont remplacées par

aε(x)=a(xε)a_\varepsilon(x) = a\left( \frac{x}{\varepsilon} \right)

avec aa une fonction YY-périodique, avec Y=]0,l[Y = ]0, l[, vérifiant

0<αa(y)βpp sur Y.0 < \alpha \leq a(y) \leq \beta \quad \text{pp sur } Y.
  1. (2 pts) Que devient le problème si les hypothèses (d)(d), (e)(e) et (f)(f) sont remplacées par
aεa fort dans L(Ω)et0<αaε(x) pp sur Ω.a_\varepsilon \to a \ \text{fort dans } L^\infty(\Omega) \quad \text{et} \quad 0 < \alpha \leq a_\varepsilon(x) \ \text{pp sur } \Omega.
  1. (2 pts) Que devient le problème si les hypothèses (e)(e) et (f)(f) sont vraies seulement pour une sous-suite.