Académique Documents
Professionnel Documents
Culture Documents
Définition 3. Pour ξ ∈ R, on appelle courbe caractéristique partant de ξ la Proposition 10. La solution du problème de Cauchy est
Z x+ct donnée par
courbe paramétrique (t, x(t)) où x est solution du problème de Cauchy x0 (t) = u(t, x) = 1 u (x + ct) + u (x − ct) + 1 v0 (τ )dτ .
0 0
c(t, x(t)), x(0) = ξ. 2 c x−ct
Proposition 4. Si une telle courbe existe, et si u solution C 1 de l’équation de Remarque 11. On voit apparaı̂tre deux phénomènes de propagation d’onde, l’une
transport, alors t 7→ u(t, x(t)) est constante. à la vitesse +c, l’autre à la vitesse −c.
Définition 12. On appelle domaine de dépendance de (t, x) l’intervalle [x−ct, x+ct]. Définition 22. On dit que u ∈ H 2 (Ω) est solution faible du problème si
En effet, u(t, x) ne dépend que des valeurs de u0 , v0 dans le domaine de dépendance. ∀v ∈ H01 (Ω), a(u, v) = `(v).
Définition 13. On appelle domaine d’influence de x0 ∈ R le cône Cx0 = {(t, x) ∈ Proposition 23 (Lax-Milgram). Le problème possède une unique solution faible.
R+ × R, |x − x0 | ≤ ct}. En effet, le calcul de la solution en tout point de ce cône
utilise les valeurs de u0 , v0 en x0 . Proposition 24. Celle-ci est aussi solution du problème de départ.
3.2 Exemples de problèmes elliptiques 3.3 Une EDP parabolique : l’équation de la chaleur
3.2.1 Fonctions harmoniques
∂t u − ν∆u = 0 (t, x) ∈ R+ × Rn
On considère maintenant le problème où
N 2
Définition 14. Soit Ω ouvert de R . f ∈ C (Ω, R) est dite harmonique si ∆f = 0 u(0, x) = u0 (x) x ∈ Rn
2 n
sur Ω. u0 ∈ C (R ).
p
Exemple 15. (x, y) 7→ log( x2 + y 2 ) est harmonique sur (R∗ )2 .
Solution sur Rn
Remarque 16. Pour N = 2, on peut identifier f : C → C à fe : R → C en posant On suppose que toutes les dérivées admettent des transformées de Fourier partielles
2
u
fe(x, y) = f (x + iy). en x pour tout t. On a alors pour tous (t, ξ), ddtb (t, ξ) = −αkξk2 ub(t, ξ).
Proposition 17. Avec cette identification, la partie réelle d’une fonction holo-
Z
1 kyk2
morphe est harmonique. Proposition 25. La fonction définie par u(t, x) = n/2
e− 4αt u0 (x − s)ds
(4παt) Rn
est solution.
Définition 18. Soient Ω ouvert de C, f ∈ C(Ω). On dit qu’elle vérifie la propriété
Z 2π
1
de la moyenne si pour tous a ∈ U, r > 0 tel que D(a, r) ⊆ U , f (a) = f (a + Solution sur T
2π 0 On suppose x ∈ [0, 2π] et on impose des conditions aux limites périodiques : ∀t ≥
reit )dt. 0, u(t, 0) = u(t, 2π).
Théorème 19. f est harmonique, si et seulement si, elle vérifie la propriété de la Proposition 26. Si u est continue, C 1 par morceaux, alors il existe une unique solu-
0
moyenne. +∞
X 2
tion continue, C ∞ sur R∗+ ×]0, 2π[, donnée par u(t, x) = u(t, x) = dn e−n t einx
3.2.2 Solutions faibles du problème de Dirichlet Z 2π n=−∞
1
Définition 20. Un ouvert Ω de Rn est dit régulier s’il existe f ∈ C ∞ (Rn , R) tel que où dn = u0 (x)e−inx dx.
2π 0
∇f (x)
∀x ∈ Rn , (f (x), ∇f (x)) 6= (0, 0), et Ω = f −1 (R∗− ). On pose alors n(x) = .
k∇f (x)k Corollaire 27. Si u0 non constante, il n’y a pas de solution bornée.
Théorème 21 Z(Green). Si u, vZ∈ H 2 (Ω) avec Ω régulier, on a
Z Approximation numérique
∆uvdx = − ∇u · ∇vdx + (∇u · n)vdx. On peut approcher les solutions sur un domaine spatial borné en approximant les
Ω Ω ∂Ω dérivées par des différences finies. On se fixe un pas de temps ∆t et un pas spatial
Z 0 sur ∂Ω, où Ω ouvert ∆x.
On considère le problème de Dirichlet −∆u+u = f sur Ω, u =
de Rn et f ∈ L2 (Ω). On pose, pour u, v ∈ H01 (Ω), a(u, v) = (∇u · ∇v + uv)dx et Exemple 28. On définit le schéma d’Euler explicite pour cette équation :
Ω
un+1 − unj unj+1 − 2unj + unj−1
Z
j
`(v) = f vdx. −ν = 0.
Ω ∆t (∆x)2
Développements
— Équation de transport avec terme source + équation des ondes.
— Équation de la chaleur avec conditions aux limites périodiques.
Références
[1] E. Amar, E. Matheron, Analyse complexe, Cassini.
[2] C. David, P. Gosselet, Équations aux dérivées partielles, Dunod.
[3] L. Di Menza, Analyse numérique des équations aux dérivées par-
tielles, Cassini.
[4] S. Francinou et al., Oraux X-ENS Analyse 4, Cassini.
[5] B. Lucquin, Équations aux dérivées partielles et leurs approxima-
tions, Ellipses.