• Aucun résultat trouvé

Coll` ege Sciences et Technologie UF math´ ematiques et interactions

N/A
N/A
Protected

Academic year: 2022

Partager "Coll` ege Sciences et Technologie UF math´ ematiques et interactions"

Copied!
3
0
0

Texte intégral

(1)

Coll` ege Sciences et Technologie UF math´ ematiques et interactions

Session de printemps 2017

MASTER Analyse EDP Probabilit´ es

UE 4TMS801 : Equations aux d´eriv´ees partielles 2 cours d’Alain BACHELOT

mercredi 3 mai 2017 - Amphi B18, bˆatiment B18 - 9H-12H.

-´epreuve de 3 heures - tous les documents sont autoris´es -

La qualit´e de l’argumentation et la clart´e de la r´edaction seront prises en compte.

Les exercices sont ind´ependants.

I

En m´ecanique quantique relativiste, le boson de Higgs est d´ecrit par une fonction d’onde u(t, x) solution de l’´equation de Klein-Gordon

(I.1) ∂t2u−∆xu+m2u= 0, t∈R, x∈R3,

o`u ∆x d´esigne le Laplacien sur R3x etm >0 est la masse du boson. Pour ξ∈R3 on note [ξ] := (m2+|ξ |2)12.

(1) Montrer que si f ∈Hs(R3),s ∈R, la quantit´e kfks :=

Z

R3

[ξ]2s|fˆ(ξ)|212

d´efinit une norme ´equivalente `a la norme usuelle de l’espace de Sobolev Hs(R3).

(2) Montrer que si u∈ C0(Rt;Hs+1(R3x))∩C1(Rt;Hs(R3x)) est solution de (I.1) alors la quantit´e

Es−1(u, t) :=k∂tu(t, .)k2s−1+ku(t, .)k2s ne d´epend pas de t ∈R.

Dans la suite on se donne f ∈Hs+1(R3) et g ∈Hs(R3).

(3) Montrer qu’il existe un unique u ∈ C0(Rt;Hs+1(R3x))∩C1(Rt;Hs(R3x)) solution de (I.1) et satisfaisant u(0, x) =f(x), ∂tu(0, x) = g(x), x∈R3.

1

(2)

2

(4) Montrer que Es(u, t) ne d´epend pas de t.

(5) Montrer qu’il existe F, G∈L1([0,∞[) tels que k∂tu(t, .)k2s − ku(t, .)k2s+1 =

Z

0

sin(tρ)F(ρ) + cos(tρ)G(ρ)dρ.

(6) En d´eduire que k∂tu(t, .)ks et ku(t, .)ks+1 admettent une limite commune que l’on d´eterminera quand | t|→ ∞ (on pourra utiliser le lemme de Riemann-Lebesgue sur la transform´ee de Fourier des fonctions L1).

(7) Dans cette question on suppose que f, g ∈ S(R3). Montrer que pour tout R > 0, T ∈R, on a :

Z

|x|≤R

|∂tu(T, x)|2 +| ∇xu(T, x)|2 +m2 |u(T, x)|2 dx

≤ Z

|x|≤R+|T|

|g(x)|2 +| ∇xf(x)|2 +m2 |f(x)|2 dx.

(8) En d´eduire que pour tout f, g ∈ E0(R3) v´erifiant f =g = 0 pour | x |> R, il existe s ∈ R tel que l’´equation (I.1) admet une unique solution u ∈ C0(Rt;Hs+1(R3x))∩ C1(Rt;Hs(R3x)) satisfaisant u(0, x) = f(x), ∂tu(0, x) = g(x), et u(t, x) = 0 pour

|x|>|t|+R.

II

Dans cet exercice, toutes les fonctions sont `a valeur r´eelle et les espaces vectoriels sont r´eels.

Soient

ω ={(x, y)∈R2; 1<p

x2+y2 <2}, Ω = ω×Rz, γj ={(x, y)∈R2; p

x2+y2 =j}, Γjj×Rz, V ={u∈H1(ω); (x, y)∈γ1 ⇒u(x, y) = 0}, W ={u∈H1(Ω); (x, y, z)∈Γ1 ⇒u(x, y, z) = 0}, etq∈L(Ω), 0≤q.

On consid`ere le mod`ele de propagation d’ondes dans un guide coaxial h´et´erog`ene : (II.1) ∂t2u−∆u+qu= 0 dans Rt×Ω,

(II.2) u= 0 sur Rt×Γ1,

(II.3) ∂νu= 0 sur Rt×Γ2,

(II.4) u(0, x, y, z) = f(x, y, z), ∂tu(0, x, y, z) =g(x, y, z) dans Ω.

(1) Montrer que W est un sous-espace ferm´e de H1(Ω).

(3)

3

(2) Montrer par un raisonnement par l’absurde qu’il existe C > 0 tel que pour tout u∈V, kukL2 ≤Ck∇ukL2. En d´eduire le mˆeme r´esultat pour W.

(3) On introduit l’espace X =W ×L2(Ω) muni de la norme k(u, v)k2X =

Z

| ∇u|2 +q |u|2 +|v |2 dxdydz.

D´eduire des r´esultats pr´ec´edents que X est un espace de Hilbert.

(4) On d´efinit l’op´erateur A=

0 1

∆−q 0

, D(A) =

(u, v)∈X; ∆u∈L2, ∂νu= 0 surΓ2, v ∈W . Montrer que pour tout (u, v)∈D(A), on a

A

u v

; u

v

X

= 0.

(5) Montrer (A, D(A) et (−A, D(A)) sont des op´erateurs maximaux dissipatifs de do- maine dense sur X.

(6) Montrer que pour tout (f, g) ∈ D(A) il existe un unique u ∈ C2(Rt;L2(Ω)) ∩ C1(Rt;W) tel que ∆u ∈ C0(Rt;L2(Ω)), et u est solution du probl`eme (II.1), (II.2), (II.3), (II.4).

(7) D´etailler une strat´egie de r´esolution du probl`eme (II.1), (II.2), (II.3), (II.4) dans le cas o`u q est de signe quelconque.

Références

Documents relatifs

On suppose que la vitesse ` a laquelle un objet se refroidit est proportionnelle ` a la diff´ erence entre sa propre temp´ erature et la temp´ erature de l’espace autour de lui,

Le but de cette partie est de formuler et ´ etudier des ´ equations qui essayent de mod´ eliser l’´ evolution d’une ou deux populations qui int´ eragissent (exemples : bact´

D´ eterminer les fonctions constantes qui sont des barri` eres inf´ erieures (resp.. Construire des barri` eres inf´

Soit G = (V, E) un graphe simple sans orientation (g´ eometriquement, penser ` a un nombre fini de points dans un plan avec des segments reliant certains de ces points).. Prouver que

Documents, mobiles and calculators are not allowed The number of points is just indicative.

a la rentr´ ee 2004 en CM2, vont ˆ etre prolong´ es au coll` ege ` a la rentr´ ee 2005 par de nouveaux programmes, encore en projet, qui insistent beaucoup plus que par le pass´ e

Le rep` ere pour les points demande d vecteurs de base et une origine O : les coordonn´ ees d’un point A sont alors celles du vecteur

[r]