Devoir de maison sur les Equations aux

Dérivées Partielles

SEKONGO Gnamadio Deo Gracias Laurent

Institut National Polytechnique Felix Houphouët Boigny (INP-HB)
ESI, STIC

27 Novembre 2020
Enoncé
Soit u une fonction continue sur le pavé Q = [0, L] ⇥ [0, T ], de classe C 2 sur
l’ouvert Q =]0, L[⇥]0, T [.
On suppose que u vérifie l’EDP :

@u @ 2u
(P ) : (x, t) (x, t) = 0 sur Q, et que :
@t @x2
u(0, t) = u(L, t) = 0, t 2 [0, T ] et u(x, 0) = h(x), x 2 [0, L]

1. On suppose que h est somme sur [0, L], d’une série trigonométrique
X1 ⇣ n⇡ ⌘ P
an sin x , la série an étant absolument convergente. Justifier
n=0
L
X ⇣ n⇡ ⌘ n2 ⇡2
que la série an sin x e L2 t est solution du problème (P ) et
n>0
L
@u c
qu’en outre (x, t) 6 p .
@x t
2. Soit v une Zautre
Z solution
✓ de (P ). On pose ◆ w = u v. En considérant
2
@w @ w
l’intégrale w (x, t) (x, t) dx dt où Q" = [", L "] ⇥
Q" @x @x2
[", T ], montrer que w est nulle sur Q (moyennant une hypothèse).

Solution
Question 1
1
X ⇣ n⇡ ⌘ n2 ⇡2
Posons u(x, t) = an sin x e L2 t sur Q.
n=0
L
Calculons les dérivées partielles d’ordre 1 et 2 de u sur Q :

@u
1
⇡2 X 2 ⇣ n⇡ ⌘ n2 ⇡2
(x, t) = 2
n an sin x e L2 t (1)
@t L n=0 L
@u ⇡X
1 ⇣ n⇡ ⌘ n2 ⇡2
(x, t) = nan cos x e L2 t (2)
@x L n=0 L
@ 2u
1
⇡2 X 2 ⇣ n⇡ ⌘ n2 ⇡2
2
(x, t) = 2
n an sin x e L2 t (3)
@x L n=0 L

1
D’après les équations (1) et (2) :

@u @ 2u
(x, t) (x, t) = 0 (4)
@t @x2

u est donc solution de (P ) sur Q.

@u c
Montrons maintennant que (x, t) 6 p sur Q :
@x t
• Comparons d’abord f (t) = e at
et g(t) = 1
p
b t
avec a, b > 0:

Comme f et g sont des fonctions positives sur [0, T ], les comparer

revient à comparer leurs carrés.
Ainsi, on a :

f 2 (t) = e 2at
=e ↵t
et g 2 (t) = 1
b2 t
= 1
t
, où ↵ = 2a, = b2

1 1 e↵t t
g 2 (t) f 2 (t) = ↵t
= ↵t
t e te
L’inégalité de convexité pour la fonction exponentielle nous donne : e↵t 1 > ↵t
Donc :
(↵ )t + 1
g 2 (t) f 2 (t) >
te↵t
1
On déduit donc que pour g 2 f 2 soit positif sur [0, T ], il faut que : ↵ >
T
b2
En particulier : ↵ > i.e a> (5)
2

2
 @u
• À présent majorons (x, t) sur [0, T ]
@x

@u ⇡X
1 ⇣ n⇡ ⌘ n2 ⇡2
(x, t) = nan cos x e L2 t
@x L n=0 L
⇡X
1 ⇣ n⇡ ⌘ n2 ⇡ 2
6 n|an | cos x e L2 t
L n=0 L
1
⇡X n2 ⇡ 2
6 n|an |e L2
t
L n=0

b2 n2 ⇡ 2 n⇡ p
D’après (5) : pour a = avec a = 2 ainsi b = 2
2 L L
On a donc :
1
@u ⇡X 1
(x, t) 6 n|an | n⇡ p
@x L n=0 L
t
1
⇡X L
6 n|an | p
L n=0 n⇡ t
1
X 1
6 |an | p
n=0
t
1
!
X 1
6 |an | p
n=0
t
P
Sachant que an est absolument convergente on a le résultat !!!

1
X
@u c
(x, t) 6 p où c = |an | (6)
@x t n=0

Question 2