5
UVSQ MSMA850 2014-2015 Partiel du 2 avril 2015 Aucun document n’est autorisé. Partie I - Étude théorique Soit f L 2 (]0, 1[). On s’intéresse au problème suivant : ( -u 00 (x) - (1 + x)u 0 (x)= f (x), 0 <x< 1, u(0) = 0,u(1) = 0, (1) dont la formulation faible consiste à chercher u H 1 0 (]0, 1[) telle que v H 1 0 , Z 1 0 u 0 (x)v 0 (x) dx - Z 1 0 (1 + x)u 0 (x)v(x) dx = Z 1 0 f (x)v(x) dx. (2) 1. La forme bilinéaire de la formulation variationnelle (2) est-elle symétrique ? (Justifier votre réponse.) 2. En utilisant l’identité (u 2 ) 0 (x)=2 u(x)u 0 (x) et à l’aide d’une intégration par partie, vérifier que cette forme bilinéaire est coercive dans H 1 0 . On précisera bien la norme utilisée. 3. En déduire l’existence et l’unicité d’une fonction u H 1 0 vérifiant (2). Partie II - Discrétisation par éléments finis P 1 Soient N N , h =1/(N + 1), x i = ih pour i =0, ..., N +1 et K i =[x i ,x i+1 ] pour i =0, ..., N . Soit H N = {v C ([0, 1], R),v |K i P 1 ,i =0, ..., N et v(0) = v(1) = 0}, où P 1 désigne l’ensemble des polynômes de degré inférieur ou égal à 1. 1. Expliquez en quelques mots pourquoi H N H 1 0 . 2. Pour i =1, ..., N on pose φ i (x)= x-x i-1 h , si x K i-1 , x i+1 -x h , si x K i , 0 sinon. Montrer que les φ i H N pour i =1, ..., N et qu’ils forment une base de H N . 3. Rappeler la définition de la matrice A et du second membre B du système linéaire obtenu en remplaçant H 1 0 par H N dans la formulation faible (2). 4. Pourquoi ce système linéaire admet-il une unique solution ? 5. En utilisant la base définie dans la question 2, calculer explicitement les termes diagonaux de la matrice A ainsi que les coefficients du vecteur colonne B dans le cas f (x)= x. 1

UVSQ MSMA850 2014-2015 · UVSQ MSMA850 2014-2015 Partiel du 2 avril 2015 Aucun document n’est autorisé. PartieI-Étudethéorique Soitf2L2(]0;1[).Ons’intéresseauproblèmesuivant:

  • Upload
    others

  • View
    21

  • Download
    0

Embed Size (px)

Citation preview

Page 1: UVSQ MSMA850 2014-2015 · UVSQ MSMA850 2014-2015 Partiel du 2 avril 2015 Aucun document n’est autorisé. PartieI-Étudethéorique Soitf2L2(]0;1[).Ons’intéresseauproblèmesuivant:

UVSQMSMA850 2014-2015

Partiel du 2 avril 2015Aucun document n’est autorisé.

Partie I - Étude théorique

Soit f ∈ L2(]0, 1[). On s’intéresse au problème suivant :{−u′′(x)− (1 + x)u′(x) = f(x), 0 < x < 1,

u(0) = 0, u(1) = 0,(1)

dont la formulation faible consiste à chercher u ∈ H10 (]0, 1[) telle que

∀v ∈ H10 ,

∫ 1

0

u′(x)v′(x) dx−∫ 1

0

(1 + x)u′(x)v(x) dx =

∫ 1

0

f(x)v(x) dx. (2)

1. La forme bilinéaire de la formulation variationnelle (2) est-elle symétrique ? (Justifiervotre réponse.)

2. En utilisant l’identité (u2)′(x) = 2u(x)u′(x) et à l’aide d’une intégration par partie,vérifier que cette forme bilinéaire est coercive dans H1

0 . On précisera bien la normeutilisée.

3. En déduire l’existence et l’unicité d’une fonction u ∈ H10 vérifiant (2).

Partie II - Discrétisation par éléments finis P1

Soient N ∈ N , h = 1/(N + 1), xi = ih pour i = 0, ..., N + 1 et Ki = [xi, xi+1] pouri = 0, ..., N . Soit HN = {v ∈ C([0, 1],R), v|Ki

∈ P1, i = 0, ..., N et v(0) = v(1) = 0}, oùP1 désigne l’ensemble des polynômes de degré inférieur ou égal à 1.

1. Expliquez en quelques mots pourquoi HN ⊂ H10 .

2. Pour i = 1, ..., N on pose

φi(x) =

x−xi−1

h, si x ∈ Ki−1,

xi+1−xh

, si x ∈ Ki,

0 sinon.

Montrer que les φi ∈ HN pour i = 1, ..., N et qu’ils forment une base de HN .3. Rappeler la définition de la matrice A et du second membre B du système linéaire

obtenu en remplaçant H10 par HN dans la formulation faible (2).

4. Pourquoi ce système linéaire admet-il une unique solution ?5. En utilisant la base définie dans la question 2, calculer explicitement les termes

diagonaux de la matrice A ainsi que les coefficients du vecteur colonne B dans lecas f(x) = x.

1

Page 2: UVSQ MSMA850 2014-2015 · UVSQ MSMA850 2014-2015 Partiel du 2 avril 2015 Aucun document n’est autorisé. PartieI-Étudethéorique Soitf2L2(]0;1[).Ons’intéresseauproblèmesuivant:
Page 3: UVSQ MSMA850 2014-2015 · UVSQ MSMA850 2014-2015 Partiel du 2 avril 2015 Aucun document n’est autorisé. PartieI-Étudethéorique Soitf2L2(]0;1[).Ons’intéresseauproblèmesuivant:
Page 4: UVSQ MSMA850 2014-2015 · UVSQ MSMA850 2014-2015 Partiel du 2 avril 2015 Aucun document n’est autorisé. PartieI-Étudethéorique Soitf2L2(]0;1[).Ons’intéresseauproblèmesuivant:
Page 5: UVSQ MSMA850 2014-2015 · UVSQ MSMA850 2014-2015 Partiel du 2 avril 2015 Aucun document n’est autorisé. PartieI-Étudethéorique Soitf2L2(]0;1[).Ons’intéresseauproblèmesuivant: