Mat-17595 : Equations direntielles, Corrig- srie 1, H-10 e e e no 1

(a) Soit {xk } Rn une suite de vecteurs. Montrer que, si cette suite est 1 convergente, elle est une suite de Cauchy. Notons x la limite de la suite. Puisque xk x N 0, pour chaque > 0 il existe un rang N ` partir duquel a xk x Si l, k > N , xk xl
N N

< . 2 + = . 2 2

xk x

+ x xl

<

La suite est donc de Cauchy.

1 e e (b) La suite cos 2k , k 1 est une suite de Cauchy. En eet, en vertu du thor`me des accroissement nis,

| cos

2 1 1 1 1 2 cos | | sin(t )|2 2 , k l k l k l

1 o` t() ( 2k , 2l ). Il en dcoule que, pour xk = cos 2k , k , u e

xk xl

(2 )2 + 1

1 1 . k l

1 Puisque la suite ( k ) est convergente, elle est de Cauchy. Donc, pour chaque > 0, il existe un rang N ` partir duquel, a

l, k > N

1 1 < k l

xk xl (2 )2 + 1

< .

no 2 La matrice jacobienne de F est donne par e [dF (x, y)] = 1 2y y x1 .

Si (x, y) est un point x et (h, k) un accroissement vectoriel, la dirence e e R(h, k) = est donne par e R(h, k) = h + 2 y k + k2 xk + yh + hk k h +2yk yh + xk k = k2 hk . (x + h) + (y + k)2 (x + h) (y + k) (y + k) x + y2 xy y 1 2y y x1 h k ,

Nous aurons montr que F (x, y) est direntiable en chaque point si nous pouvons e e montrer que

(h,k)(0,0)

lim

R(h, k) k 4 + h2 k 2 = lim = 0. (h,k)(0,0) (h, k) h2 + k 2

Or 5 1 1 1 k 4 + h2 k 2 k 4 + (h2 + k 2 )2 = k 4 + h4 + h2 k 2 2(h2 + k 2 )2 . 4 4 4 2 Il en dcoule que e k 4 + h2 k 2 2 2 h + k2, h2 + k 2 ce qui sut pour conclure.

no 3 Ici, on doit calculer les itrs suivants, ee y0 = 0 t yn = 0 2 s (1 + yn1 (s)) ds,

n = 1, . . .

En utilisant la feuille Picard.mw fournie sur le site du cours, on obtient y1 y2 y3 y4 = x2 = x2 + = x2 + = x2 +

x4 2 x4 2 x4 2

+ +

x6 6 x6 6

x8 24

Si on spare les variables, on obtient e dy 2 = 2 t dt ln(y + 1) = t2 + C y = 1 + et . y+1 On constate alors que y1 , y2 , y3 , y4 sont les 4 premi`res sommes partielles de la srie de e e 2 Taylor de 1 + et en t = 0. On pourrait montrer, par rcurrence quil en va de mme e e pour yn , et donc que la suite des itrs converge vers y(t) pour tout t. ee

no 4 Sur le domaine t [0, a], y [, +] le maximum de f (y, t) est au plus 2 + 1. Lintervalle dexistence est donc de la forme (0, ), On vrie que e
2 +1

= min(a,

). +1

est au plus gal ` 2 , ce qui donne le rsultat. e a 1 e

no 5 Pour t [0, a], y [0, ], on veut calculer lexpression min(a, ), M

o` M = max(f, t [0, a], y [0, ]). Or la fonction y + ey est croissante sur [0, ] u donc M = + e + 1 et scrit e = min(a, Soit g() =
. +e +1

). + e + 1

En caculant la drive, on vrie que g est croissante et que e e e

lim g() = 1.

On en dduit que e 1.

no 6 Les commandes

>dsolve({diff(y(t),t)=t^2+y(t)^2,y(0)=0},y(t)); >assign(%); >plot(y(t),t=0..a); permettent de tracer la solution sur lintervalle (0, a). En prenant a = 1, ... on trouvera que la solution a une asymptote verticale pr`s du point t = 2.003. Le plus grand e intervalle dexistence est donc (0, 2.003).