10.07.2015 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!