• Aucun résultat trouvé

On suppose que l’´equation : (P) −u00(x)−b(x)u0(x) +g0(u(x)) =f(x) dans ]0,1[, u(0) =u(1

N/A
N/A
Protected

Academic year: 2022

Partager "On suppose que l’´equation : (P) −u00(x)−b(x)u0(x) +g0(u(x)) =f(x) dans ]0,1[, u(0) =u(1"

Copied!
2
0
0

Texte intégral

(1)

Facult´e des Sciences et Techniques - TOURS Ann´ee 2015-2016 Module Analyse Num´erique & Optimisation

EXAMEN (Dur´ee 2h)

Soit g :IR→IRune fonction de classe C. On suppose qu’il existe α, β >0 tels que : α≤g00(t)≤β pour tous t∈IR .

0. Montrer que, pour toust, s∈IR :

g(t)≥g(s) +g0(s)(t−s) + 1

2α(t−s)2 .

Cette ´egalit´e pourra ´evidemment ˆetre utilis´ee mˆeme si cette question n’est pas r´esolue.

Soient b etf des fonctions continues de [0,1] dansIR. On suppose que l’´equation : (P) −u00(x)−b(x)u0(x) +g0(u(x)) =f(x) dans ]0,1[, u(0) =u(1) = 0.

a au moins une solution dans C2([0,1]).

1. Soient v1, v2 : [0,1] → IR deux fonctions continues qui sont de classe C2 dans ]0,1[ et qui satisfont :

−v100(x)−b(x)v01(x) +g0(v1(x))≤f1(x) dans ]0,1[,

−v200(x)−b(x)v02(x) +g0(v2(x))≥f2(x) dans ]0,1[, v1(0)≤v2(0) , v1(1)≤v2(1) ,

o`uf1, f2 ∈C([0,1]). Prouver que :

x∈[0,1]max(v1(x)−v2(x))≤ 1

αmax(f1−f2)+(x), o`u l’on rappelle que t+ = max(t,0).

2. En d´eduire que le probl`eme (P) n’admet qu’une seule solution de classe C2 qui satisfait de plus :

||u|| ≤ 1

α||f|| , si g0(0) = 0. Montrer queu∈C4([0,1]) si b, f ∈C2([0,1]).

(2)

3. On consid`ere, surC01([0,1]), la fonctionnelle : J(v) =

Z 1 0

1

2a(t)|v0(t)|2+a(t)g(v(t))

dt−

Z 1 0

a(t)f(t)v(t)dt ,

o`ua est une fonction strictement positive qui est au moins de classeC1 sur [0,1]. Prouver que, pour un bon choix de a, la solution u de (P) est l’unique point de minimum de J (on pourra montrer que, pour un bon choix de a, J(u+h) ≥ J(u) pour toute fonction h ∈ C01([0,1]) et que cette in´egalit´e est stricte si h n’est pas la fonction nulle).

4.Pour calculer la solution de (P) de mani`ere approch´ee, on consid`ere les sch´emas num´eriques : (S1) −uj+1+uj−1−2uj

(∆x)2 −b(xj)(uj+1−uj

∆x ) +g0(uj) =f(xj) (S2) −uj+1+uj−1−2uj

(∆x)2 −b(xj)(uj+1−uj−1

2∆x ) +g0(uj) =f(xj)

pour 1 ≤ j ≤ N, o`u xj = j∆x, ∆x = N1+1 o`u uj est une approximation de u(xj), avec la convention habituelle u0 =uN+1 = 0. Montrer que ces sch´emas sont consistants et d´eterminer leurs ordres.

5.Montrer que ces sch´emas sont monotones1 pour ∆xassez petit et en d´eduire qu’ils satisfont le principe du maximum discret2 (faire la preuve pour l’un d’entre eux).

On suppose d´esormais que chacun des sch´emas a une solution et on la notera U = (uj)j, sans distinguer s’il s’agit d’une solution de (S1) ou de (S2).

6. En d´eduire de la question 5. que, si ∆xassez petit et si g0(0) = 0 :

||U|| ≤ 1

α||f||.

7. On suppose que b, f ∈C2([0,1]). Donner une estimation de max

1≤j≤N |u(xj)−uj| pour chacun des sch´emas. (On demande une esquisse de la preuve de l’estimation ci-dessus en indiquant les principales ´etapes mais pas une preuve compl`ete, en remarquant que l’hypoth`eseg00(t)≥α pour tous t ∈ IR permet de g´en´eraliser les arguments donn´es dans le cours). Quel sch´ema choisiriez-vous pour calculer une approximation de u?

8. Voyez-vous une autre m´ethode pour calculeru num´eriquement ?

1. On rappelle qu’un sch´ema qui s’´ecrit Gj(uj+1, uj, uj−1) = 0 pour j = 1,2,· · ·, N, est monotone si les fonctionsGj sont d´ecroissantes par rapport `a uj+1 et `a uj−1 et croissantes enuj pour tousj.

2. l’analogue en discret de l’´enonc´e de la question 1.

Références

Documents relatifs

[r]

Cours de Frédéric Mandon sous licence Creative Commons BY NC SA, http://creativecommons.org/licenses/by-nc-sa/3.0/fr/1. • La symétrie par rapport à la première bissectrice

[r]

La fonction f est continue sur la partie D quarrable et compacte, elle est donc int´ egrable sur D... UNIVERSITE CADI AYYAD Facult´ e PolyDisciplinaire

La fonction f est continue sur la partie D quarrable et compacte, elle est donc int´ egrable sur D... UNIVERSITE CADI AYYAD Facult´ e PolyDisciplinaire

The main results given in the third section of this paper concern the exponential stability of the solution satisfying R.H.-J.E... The conclusions of Lemma

[r]

Le résultat est faux avec des