• Aucun résultat trouvé

Calculer Φ−1 et montrer que Φ−1 est continue

N/A
N/A
Protected

Academic year: 2022

Partager "Calculer Φ−1 et montrer que Φ−1 est continue"

Copied!
1
0
0

Texte intégral

(1)

Université des Sciences et Technologies de Lille 1 2015/2016 – Master 2 Mathématiques appliquées

Introduction aux EDP non linéaires

Exercice 1

On considère l’espace de BanachF :=C0([0,1],R)muni de la normekuk:= supt∈[0,1]|u(t)|

et l’espace de Banach

E :=

u∈ C2([0,1],R) : u(0) =u(1) = 0

muni de la norme kukC2 :=kuk+ku0k+ku00k. On fixe pun élément non nul de F. (1) Soit Φ : E → F définie par Φ(u) := u00. Montrer que Φ est linéaire, continue et

bijective. Calculer Φ−1 et montrer que Φ−1 est continue.

(2) Montrer que l’application f :R×E →F définie par f(λ, u) :=u00+λpeu

est de classe C1. Calculer sa différentielle au point (λ0, u0)∈R×E.

(3) En utilisant le théorème des fonctions implicites, démontrer qu’il existe λ0 > 0 tel que, pour tout λ dans l’intervalle ]0, λ0[, il existe une solution non constante u ∈ C2([0,1],R) du problème suivant :

∀t∈[0,1], u00(t) +λp(t)eu(t)= 0, u(0) =u(1) = 0.

1

Références

Documents relatifs

Pour chaque épreuve la probabilité du succès est P (ou bien : est la somme de variables de Bernoulli de même paramètre , et indépendantes). Donc suit la loi binomiale

Montrer que φ est nilpotent si et seule mt si 0 est l’unique valeur

Enn, nous verrons comment approcher le nombre d'or. Ce dernier a des vertus mystiques et biologiques. Il est relié par exemple à l'angle séparant deux graines contiguës dans une eur

the totality of 0-bounded harmonic functions on a Riemann surface R and by On* the class of all Riemann surfaces on which every ^-bounded harmonic function reduces to a constant..

La qualit´ e de r´ edaction et de la pr´ esentation entrera pour une part importante dans l’appr´ eciation des copies.. Le barˆ eme tiendra compte de la longueur

[r]

On constate qu’on peut obtenir le résultat à partir de produits de nombres premiers de la forme 2 p +1 avec p=2 k (nombres premiers

[r]