17.08.2013 Views

Solutions auto-similaires du probl`eme de Riemann pour une loi de ...

Solutions auto-similaires du probl`eme de Riemann pour une loi de ...

Solutions auto-similaires du probl`eme de Riemann pour une loi de ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

voisinage <strong>de</strong> u 0 , et donc (6) est vérifiée en ξ 0 = Ξ(u 0 ). Si u 0 ∈ Ω, alors <strong>pour</strong> chaque<br />

α > 0 il existe un voisinage <strong>de</strong> u 0 tel que f(u) − Φ(u) < εα et donc ¨ Φ > 1/α sur le<br />

voisinage. Par conséquent, |Ξ(u 0 + δ) −Ξ(u 0 )| ≥ |δ|/α <strong>pour</strong> tout δ assez petit; il existe<br />

donc U ′ (ξ 0 ) = 0 et (6) est vérifiée dans tous les cas. Alors U ∈ C 1 et (6) implique (3)<br />

d’après la définition <strong>de</strong> U(ξ) . Evi<strong>de</strong>mment, U(±∞) = u± . △<br />

R e m a r q u e. Ilestintéressantqued’aprèslelemme2lafonction w(t,x) = ˙ Φ(U(t,x))<br />

vérifie l’équation <strong>de</strong> Hopf ([5]) wt + wwx = 0 si U est <strong>une</strong> solution <strong>de</strong> (1ε),(2) au sens<br />

(3).<br />

L e m m e 3. Pour tous ε > 0 , u− < u+ et f ∈ C[u−,u+] il existe <strong>une</strong> unique<br />

solution <strong>du</strong> problème (5) .<br />

Démonstration. Afin <strong>de</strong> prouver l’unicité on raisonne par l’absur<strong>de</strong>; il suffit <strong>de</strong> traiter<br />

un point d’extremum <strong>de</strong> la différence <strong>de</strong> <strong>de</strong>ux solutions à (5) ([1]).<br />

Pour démontrer l’existence on intro<strong>du</strong>it le problème pénalisé:<br />

(7)<br />

⎧<br />

⎨<br />

⎩<br />

¨Φn(u) ε<br />

= Gn(u,Φn(u)) = ∧n, n = 1,2,...<br />

f(u)−Φn(u)<br />

Φn(u±) = f(u±), Φn ∈ C2 [u−,u+].<br />

Puisque Gn(u,Φ) est continue en u et Φ et bornée, il existe <strong>une</strong> solution <strong>de</strong> (7).<br />

Comme Gn(u,Φ) est croissante en Φ , le principe <strong>de</strong> maximum est alors vérifié <strong>pour</strong> les<br />

<br />

équations <strong>du</strong> type (7). On pose G = ε(u−u−)(u+ −u) et dénote par F l’enveloppe<br />

convexe <strong>de</strong> f sur [u−,u+] . Alors (F −G)¨≥ −¨ G ≥ ε<br />

G ≥ ε , et (F −G) est donc<br />

f−(F−G)<br />

ε<br />

<strong>une</strong> sous-solution <strong>du</strong> problème (7) avec G∞ = f(u)−Φ . On a <strong>pour</strong> n ≥ m G∞(u,Φ) ≥<br />

≥ Gn(u,Φ) ≥ Gm(u,Φ) et donc d’après le principe <strong>de</strong> maximum Φm(u) ≥ Φn(u) ≥<br />

≥ F(u)−G(u) sur [u−,u+] .<br />

Ainsi Φn(u) ↓ Φ(u) ∈ IR , u ∈ [u−,u+] , Φ(u± ∓0) = Φ(u±) = f(u±) , Φ ∈ C[u−,u+]<br />

et convexe. Aussi Gn(u,Φn(u)) tend vers<br />

ε<br />

f(u)−Φ(u) ∈ IR+ sur [u−,u+] . On prend <strong>une</strong><br />

fonction test ϕ ∈ C ∞ 0 ]u−,u+[ et ϕ ≥ 0; d’après (7) et le lemme <strong>de</strong> Fatou, on a<br />

(8)<br />

u+ <br />

u−<br />

¨ϕΦ(u)<strong>du</strong> = lim<br />

u+ <br />

n→∞<br />

u−<br />

¨ϕΦn(u)<strong>du</strong> = lim<br />

u+ <br />

n→∞<br />

u−<br />

Alors ¨ Φ ≥ ε<br />

f−Φ au sens <strong>de</strong> mesures sur ]u−,u+[ et ε<br />

f−Φ<br />

ϕGn(u,Φn(u))<strong>du</strong> ≥<br />

u+ <br />

u−<br />

∈ Lloc<br />

1 ]u−,u+[ .<br />

ε<br />

ϕ<br />

f(u)−Φ(u) <strong>du</strong>.<br />

Si on prend maintenant <strong>une</strong> fonction test ϕ ∈ C ∞ 0 [u−,u+] à suppϕ ⊂ {u|Φ < f},<br />

alors le (8) se transforme en égalité, car il existe N = N(ϕ) tel que <strong>pour</strong> tout n ≥ N<br />

Gn(u,Φn(u)) ≤ GN(u,ΦN(u)) sur suppϕ. Puisque f −Φ = 0 sur [u−,u+]\{u|Φ < f},<br />

on a (f −Φ) <br />

Φ− ¨ ε = 0 , toujours au sens <strong>de</strong> mesures sur ]u−,u+[ . △<br />

f−Φ<br />

On montre facilement que <strong>pour</strong> <strong>une</strong> f Lipshitzienne la solution <strong>de</strong> (5) est <strong>une</strong> solution<br />

classique <strong>de</strong> l’équation ¨ Φ = ε<br />

f−Φ sur ]u−,u+[ . Cependant on peut montrer à l’ai<strong>de</strong> <strong>du</strong><br />

3

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!