• Aucun résultat trouvé

1. Existence and uniqueness

N/A
N/A
Protected

Academic year: 2022

Partager "1. Existence and uniqueness"

Copied!
2
0
0

Texte intégral

(1)

UNS Nonlinear differential equations 2017-2018

1. Existence and uniqueness

Exercise 1.1. Proof of the local existence and uniqueness theorem Suppose f : U → R d is continuous and suppose that there exists K > 0 such that, for any (t, x) ∈ U and (t, y) ∈ U

kf (t, x) − f (t, y)k ≤ K kx − yk .

1. Let ϕ : (t 0 − α, t 0 + α) → R d be a continuous function. Prove that ϕ is a solution of (P C) if and only if, for any t ∈ (t 0 − α, t 0 + α) , we have (t, ϕ(t)) ∈ U and

ϕ(t) = x 0 + Z t

t

0

f(s, ϕ(s))ds.

2. For r > 0 , we denote by B(x 0 , R) the closed ball of center x 0 and of radius R > 0 . We denote by C 0 ([t 0 −α, t 0 +α], B(x 0 , R)) the space of continuous function [t 0 −α, t 0 +α] → B(x 0 , R) which is endowed with the norm dened by kϕk = sup t∈[t

0

−α,t

0

+α] kϕ(t)k . Recall that the space (C 0 ([t 0 − α, t 0 + α], B(x 0 , R)), k.k ) is complete. Find α > 0 and R > 0 such that the following map is well dened and contracting for k.k .

T : C 0 ([t 0 − α, t 0 + α], B(x 0 , R)) → C 0 ([t 0 − α, t 0 + α], B(x 0 , R)) ϕ 7→ (t 7→ x 0 + R t

t

0

f (s, ϕ(s))ds)

3. Prove the local existence and uniqueness theorem using the Banach xed point theo- rem. We denote by ϕ this solution which is dened on [t 0 − α, t 0 + α] .

4. Prove that, for any solution ψ of (P C ) such that t 0 ∈ J ⊂ [t 0 − α, t 0 + α] , we have ψ = ϕ |J .

Exercise 1.2. Example of computation of maximal solutions In this exercise, we want to compute the maximal solutions of the following dierential equation.

(E) y 0 = y 2 x.

1. Find the constant solutions of (E) .

2. Prove that, if ϕ is a nonconstant solution of (E) , then the function ϕ has either positive or negative values.

3. Find the maximal solutions of (E) .

Exercise 1.3. Another example of computation of maximal solutions In this exercise, we want to nd the maximal solutions of the following dierential equation.

(E) y 0 + xy = x 3 y 3 e x

2

.

1. Prove that, if ϕ : I → R is a solution of (E) which is not the zero function, then

∀x ∈ I, ϕ(x) 6= 0.

2. Find the maximal solutions of (E) .

Exercise 1.4. Necessity of the locally Lipschitz hypothesis We are interested in the following dierential equation

(E) y 0 = p

|y|.

1. Can we apply the existence and uniqueness theorem to this equation ? Why ?

(2)

2. Prove that there are multiple solutions to the following Cauchy problem.

y 0 = p

|y|

y(0) = 0 .

Hint : use the function ϕ dened on R by

∀t > 0, ϕ(t) = 1 4 t 2

∀t ≤ 0, ϕ(t) = 0 .

Exercise 1.5. Proof of the global existence and uniqueness theorem Denote by F = (ϕ k ) k∈K a family of maps ϕ k which are each dened on an open interval I k of R with values in R d . We say that the family F is compatible if

T

k∈K I k 6= ∅

∀k, k 0 ∈ K, ϕ k|I

k

∩I

k0

= ϕ k

0

|I

k

∩I

k0

.

1. Prove that any compatible family F has a unique upper bound ϕ : I → R d , where I is an open interval, for the order relation , i.e.

For any member ψ of the family F , ψ ϕ .

For any map ϕ 0 : I 0 → R d , where I 0 is an open interval, such that

∀ψ ∈ F, ψ ϕ 0 , we have ϕ ϕ 0 .

Prove that this upper bound is locally the restriction of a member of F

2. Prove that the family F of solutions of (P C ) dened on an open interval is a compatible family.

3. Prove the global existence and uniqueness theorem.

Références

Documents relatifs

Using non-existence results for Cartan subalgebras in certain group vN-algebras [64, 24, 40, 41, 42, 46, 47, 3], we show that certain reduced group C*-algebras have no diagonals,

The present paper has been devoted to develop criteria based on stochastic Lyapunov technique in order to establish sufficient conditions for the existence of invariant

They prove existence and strong uniqueness of tangents to solutions of uniformly elliptic equations.. That is, under their assumptions that F is conical and uniformly elliptic,

[27] C. A concise course on stochastic partial differential equations, volume 1905. Rey and M.M. Dynamical phenomena in liquid-crystalline materials. Global solutions

We prove short-time existence of ϕ-regular solutions to the planar anisotropic curvature flow, including the crystalline case, with an additional forcing term possibly unbounded

More specically, we prove, under suitable assumptions on the prescribed geometrical data, that the reconstruction of an isometric immersion and of the corresponding normal basis

A result such as Theorem 1 is possible because on one hand the space of convex polytopes with n vertices (up to congruences) has dimension 3n − 6 (the polytope is determined by

The proof of this theorem is partly “pathwise”, based on comparisons between one dimen- sional diffusion processes and the behavior of squared Bessel processes, partly based