• 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

Il est compos´ e d’un exercice et d’un probl` eme ind´ ependants.. Il sera tenu compte de la r´ edaction et de la clart´ e des

Dessiner des figures distinctes pour cha- cun des cas suivants, en choisissant l’´echelle telle que la ”toile d’araign´ee” soit visible et donner des explications.. (a) Soit u 0

A) ˆ Etre capable de comprendre et restituer les grandes lignes des enjeux scientifiques de la r´ evolution num´ erique L’image de la discipline informatique est fr´ equemment

Les enseignements sont pluridisciplinaires : mathématiques pour l’informatique et l’organisation ; environnements de développement et programmation, base de données, réseaux

Les enseignements sont pluridisciplinaires : mathématiques pour l’informatique et l’organisation ; environnements de développement et programmation, base de données, réseaux

Les sujets de TP seront inspir´ es des textes usuels de l’´ epreuve de mod´ elisation al´ eatoire de l’agr´ egation, tou- jours issus d’une mod´ elisation math´ ematique

La pr´ eparation suit le programme officiel de l’agr´ egation, actualis´ e chaque ann´ ee... UE ANGLAIS 3 ECTS 1 er semestre EIMAE3VM TD

Que ce soit pour les m´ etiers de l’ing´ enierie, de l’enseignement ou de la recherche le nombre d’´ etudiants form´ es aux math´ ematiques en France est tr` es inf´ erieur