• Aucun résultat trouvé

Examen LM383

N/A
N/A
Protected

Academic year: 2022

Partager "Examen LM383"

Copied!
2
0
0

Texte intégral

(1)

Universit´e Pierre et Marie Curie

Examen LM383

2 Juin 2008 Corrig´e

Exercice 1 : 1. Si (x, y) ∈ E on a 0 6 xy 6 4 et −4 6 x2 − y2 6 4. Par cons´equent f(x, y)∈[1,3/2]×[1/2,3/2] ⊂E.

2. D’apr`es le th´eor`eme du point fixe de picard, il suffit de d´emontrer que f est contractante surE, c’est `a dire que pour tout (x, y) et (x0, y0) dans E on a

|f(x, y)−f(x0, y0)|6k|(x, y)−(x0, y0)|,

pour une certaine norme, avec k <1. En utilisant la norme |(x, y)|= max{|x|,|y|} on trouve

|1 + xy8 −(1 + x08y0)| = 18|xy−x0y0|6 18(|xy−x0y|+|x0y−x0y0|) 6 18(2|x−x0|+ 2|y−y0|)6 14|(x, y)−(x0, y0)|, et

|1 + x2−y8 2 −(1 + x02−y8 02)| = 18|x2−x02−y2+y02|6 18(|x2−x02|+|y2−y02|)

= 18(|x+x0||x−x0|+|y+y0||y−y0|)6 12|(x, y)−(x0, y0)|.

Ceci montre que l’on a la propri´et´e voulue avec k = 12. Une autre mani`ere de proceder est de calculer la matrice des d´eriv´ees

M =df(x,y) = (a bc d),

avec a = y/8, b = x/8, c = x/4, d = −y/4 et de montrer que cette matrice est de norme kMk<1 quand (x, y)∈E. Ceci est imm´ediat car pour tout vecteur (uv) on a

kM(uv)k2 = (au+bv)2+ (cu+dv)2 62(a2+c2)u2+ 2(b2+d2)v2 6 5

8(u2+v2) = 5

8k(uv)k2.

Exercice 2 : 1.On a, en utilisant α+β = 1 yn+1 =αyn+1a +βyn+1b

=α(yn+hf(tn, yn)) +β(yn+ (1−γ)hf(tn+γh, yn))

=α(yn+hf(tn, yn)) +β(yn+γhf(tn, yn) + (1−γ)hf(tn+γh, yn+γhf(tn, yn)))

=yn+h(αf(tn, yn)) +β(γf(tn, yn) + (1−γ)f(tn+γh, yn+γhf(tn, yn)))

=yn+hF(tn, yn, h), avec

F(t, x, h) :=αf(t, x) +βγf(t, x) +β(1−γ)f(t+γh, x+γhf(t, x)).

2.Comme f v´erifie la condition de Lipschitz |f(t, x)−f(t, y)|6L|x−y|, on peut ´ecrire

|F(t, x, h)−F(t, x, h)| 6|α|L|x−y|+|β|γL|x−y|+|β|(1−γ)L|x+γhf(t, x)−(y+γhf(t, y))|

6L(|α|+|β|)|x−y|+|β|(1−γ)L|γhf(t, x)−γhf(t, y)|

6L(|α|+|β|+|β|(1−γ)Lγh)|x−y|

6L1|x−y|,

avecL1 :=L(|α|+|β|+|β|(1−γ)LγT). Le sch´ema est donc stable.

3.On aF(t, x,0) =αf(t, x) +βγf(t, x) +β(1−γ)f(t, x) =f(t, x), ce qui montre que le sch´ema est consistant et d’ordre 1 puisqueF est de classe C1.

4.La condition pour que le sch´ema soit d’ordre 2, s’´ecrit

∂F

∂h(t, x,0) = 1 2(∂f

∂t(t, x) +f(t, x)∂f

∂x(t, x)) Un calcul ´el´ementaire

∂F

∂h(t, x,0) =β(1−γ)γ(∂f

∂t(t, x) +f(t, x)∂f

∂x(t, x)).

1

(2)

La condition s’´ecrit donc β(1−γ)γ = 12.

5. Dans le cas γ = 1/2, on a doncβ = 2 et α=−1. On trouve alors F(t, x, h) = f(t+h/2, x+h/2f(t, x)), qui n’est rien d’autre que le sch´ema du point milieu.

Exercice 3 : 1. Comme f est de classe C1 elle est localement Lipschitzielle, par cons´equent, il existe une unique solution locale.

2. On a

∇U(x)·f(t, x) = 2x1sin(t)x22−x41+ 2x2cos(t)x21 −x42

6(x21sin(t)2+x42)−x41+ (x22cos(t)2+x42)−x41 6x21+x22 =U(x).

Ceci montre que U est une fonction de Lyapunov pour l’´equation, et par cons´equent l’unique solution locale est d´efinie sur [0, T] tout entier quelquesoit T >0 et donc sur [0,+∞[.

3. En notantE(t) =U(y(t)), on obtient par l’in´egalit´e de la question pr´ecedenteE0(t)6E(t), ce qui montre que E(t)6E(0)et. On obtient donc

|x1(10)|+|x2(10)|6√

2(|x1(10)|2+|x2(10)|2)1/2 =p

2E(10) 6p

2E(0)e5 = 2e5.

2

Références

Documents relatifs

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/.. 1 Rémy Nicolai

Montrer que l’´ equation admet une unique solution

D’apr` es la question pr´ ec´ edente, on en d´ eduite que la sous- suite p 3n converge vers A si p 0 est suffisament proche

Choisissons le plus grand des a v´erifiant

Déduire des questions précédentes les valeurs de a et

Supposons que C ne soit pas tran- chante.. On vient de se donner un

[r]

Le folklore touche à toutes les autres scièn- ces : linguistique, psychologique, sociologie, histoire, géographie, tout en s'en différen- ciant grâce au