Séance n 4 Eléments finis en dimension 1 et 2 Corrigé - Inria
Séance n 4 Eléments finis en dimension 1 et 2 Corrigé - Inria
Séance n 4 Eléments finis en dimension 1 et 2 Corrigé - Inria
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
TD MA201Calcul Sci<strong>en</strong>tifiqueEn utilisant les conditions aux limites <strong>en</strong> a <strong>et</strong> b, on obti<strong>en</strong>t la formulation variationnelleassociée au problème (1) :⎧⎨1Trouver u ∈ H (Ī) tel que :(2)⎩a(u, v) = l(v), ∀ v ∈ H 1 (Ī),avec∫a(u, v) = p du dvI dx dx∫Idx + q u v dx + β u(b) v(b) + β u(a) v(a),∫l(v) = fv dx.IL’exist<strong>en</strong>ce <strong>et</strong> l’unicité se démontr<strong>en</strong>t <strong>en</strong> utilisant le théorème de Lax-Milgram. On vérifiela continuité de l(.) <strong>et</strong> a(., .) :∫|l(v)| = | fv dx| ≤ ‖f‖ L 2‖v‖ L 2,I≤ ‖f‖ L 2‖v‖ H 1.∫|a(u, v)| ≤ p ∗ | duI dx | |dv dx∫I| dx + q∗ |u| |v| dx + β|u(b)| |v(b)| + β|u(a)| |v(a)|En utilisant l’inégalité de Cauchy-Schwartz :∫p ∗ | dudx | |dv dx∫I| + q∗ |u| |v| dx ≤ p ∗ ‖ dudx ‖ L 2‖dv dx ‖ L 2 + q∗ ‖u‖ L 2‖v‖ L 2,I1<strong>et</strong> la continuité de l’application trace de H (Ī) dans IR :on obti<strong>en</strong>t :β|u(b)| |v(b)| + β|u(a)| |v(a)| ≤ 2β C 2 I ‖u‖ H 1‖v‖ H 1,|a(u, v)| ≤ C‖u‖ H 1‖v‖ H 1, C = √ 2 max(p ∗ , q ∗ ) + 2β C 2 I .La coercivité de a est immédiate :∫a(u, u) ≥ p | du ∫dx |2 dx +IIq u 2 dx ≥ min(p ∗ , q ∗ )‖u‖ 2 H 1.Le théorème de Lax-Milgram peut donc s’appliquer, on a exist<strong>en</strong>ce <strong>et</strong> unicité de la solution.1.2 - En choisissant v ∈ D(I) dans la formulation (2), les termes de bord sont nuls, onobti<strong>en</strong>t alors− ddx (pdu dx ) + qu = f au s<strong>en</strong>s des distributions1En choisissant une fonction test dans H (Ī), qui vaut 1 <strong>en</strong> b <strong>et</strong> 0 <strong>en</strong> a, on obti<strong>en</strong>t :p(b) du (b) + β u(b) = 0.dxDe la même manière, on r<strong>et</strong>rouve la condition au limite <strong>en</strong> a.2