Problème de Riemann

Georg Friedrich Bernhard Riemann.

En mathématiques, un problème de Riemann, du nom de Bernhard Riemann, désigne un problème à donnée initiale composé d'un système d'équations d'évolution hyperboliques et d'une donnée initiale constante par morceaux n'ayant qu'une seule discontinuité. Les problèmes de Riemann fournissent des solutions explicites à des équations non linéaires complexes, comme les équations d'Euler, et sont ainsi très utiles pour comprendre le comportement général des solutions de telles équations.

En analyse numérique, les problèmes de Riemann apparaissent de façon naturelle dans l'application de la méthode des volumes finis et pour les lois de conservation, et en particulier dans le schéma de Godounov, en raison du caractère discret du maillage d'approximation. Elle est donc largement utilisée dans les calculs numériques pour la dynamique des fluides et la magnétohydrodynamique.

Définition

On considère un système de lois de conservation (ici pour simplifier en dimension un) :

$\frac{\partial }{\partial t}𝐮(t,x)+\frac{\partial }{\partial x}𝐟(𝐮(t,x))=0,(t,x)\in {ℝ}_{+}\times ℝ,$

où $𝐮:{ℝ}_{+}\times ℝ\to {ℝ}^m$ est l'inconnue et $𝐟:{ℝ}^m\to {ℝ}^m$ est donnée. On ajoute à ce système une condition initiale :

$𝐮(t=0,x)=𝐠(x),x\in ℝ,$

où $𝐠:ℝ\to {ℝ}^m$ est donnée.

Si la fonction Modèle:Math est constante par morceaux, c'est-à-dire qu'il existe $x_0\in ℝ$, ainsi que $({𝐠}_G,{𝐠}_D)\in {ℝ}^m\times {ℝ}^m$ tels que

$𝐠(x)=\{\begin{array}{cc}{𝐠}_G,& x<x_0,\\ {𝐠}_D,& x>x_0,\end{array}x\in ℝ,$

alors on dit que le système d'équations ci-dessus avec Modèle:Math pour condition initiale est un problème de Riemann.

Cas de la dynamique linéaire

Le cas de la dynamique linéaire est particulier au sens où le problème est résoluble directement à l'aide de la méthode des caractéristiques.

Par exemple, pour une loi de conservation linéaire

$\frac{\partial }{\partial t}u(t,x)+c\frac{\partial }{\partial x}u(t,x)=0,(t,x)\in {ℝ}_{+}\times ℝ,$

où $u:{ℝ}_{+}\times ℝ\to ℝ$ est l'inconnue scalaire et $c\in ℝ$ un paramètre, alors la solution est une propagation de la condition initiale $g(x)=u(t=0,x)$ à la vitesse Modèle:Math, sans déformation :

$u(t,x)=g(x-ct).$

La situation est similaire pour un système de lois de conservation linéaires hyperboliques

$\frac{\partial }{\partial t}𝐮(t,x)+A\frac{\partial }{\partial x}𝐮(t,x)=0,(t,x)\in {ℝ}_{+}\times ℝ,$

où $𝐮:{ℝ}_{+}\times ℝ\to {ℝ}^m$ est l'inconnue et A une matrice diagonalisable à valeurs propres réelles. Nous donnons un exemple simple inspiré de la Modèle:Lien :

$\frac{\partial \rho }{\partial t}+{\rho }_0\frac{\partial u}{\partial x}=0,\frac{\partial u}{\partial t}+\frac{a^2}{{\rho }_0}\frac{\partial \rho }{\partial x}=0,$

avec une condition initiale constituée de deux états :

$\left[\begin{array}{c}\rho \\ u\end{array}\right]=\left[\begin{array}{c}{\rho }_G\\ u_G\end{array}\right]\text{ si }x\le 0,\text{et}\left[\begin{array}{c}\rho \\ u\end{array}\right]=\left[\begin{array}{c}{\rho }_D\\ -u_D\end{array}\right]\text{ si }x>0.$  ;

Le système précédent peut se réécrire sous forme conservative ${\partial }_t𝐮+A{\partial }_x𝐮=0$ avec:

$𝐮=\left[\begin{array}{c}\rho \\ u\end{array}\right],A=\left[\begin{array}{cc}0& {\rho }_0\\ \frac{a^2}{{\rho }_0}& 0\end{array}\right].$

Les valeurs propres du système sont ses caractéristiques : ${\lambda }_1=-a,{\lambda }_2=a$. Les vecteurs propres sont

${𝐞}^{(1)}=\left[\begin{array}{c}{\rho }_0\\ -a\end{array}\right],{𝐞}^{(2)}=\left[\begin{array}{c}{\rho }_0\\ a\end{array}\right].$

L'état gauche ${𝐮}_G$ se décompose sur la base des vecteurs propres par

${𝐮}_G=\left[\begin{array}{c}{\rho }_G\\ u_G\end{array}\right]={\alpha }_1\left[\begin{array}{c}{\rho }_0\\ -a\end{array}\right]+{\alpha }_2\left[\begin{array}{c}{\rho }_0\\ a\end{array}\right],$

où les coefficients ${\alpha }_1$ et ${\alpha }_2$ se calculent par identification :

${\alpha }_1=\frac{a{\rho }_G-{\rho }_0{u}_G}{2a{\rho }_0},{\alpha }_2=\frac{a{\rho }_G+{\rho }_0{u}_G}{2a{\rho }_0}$

L'état droite ${𝐮}_D$ se décompose de façon similaire

${𝐮}_D=\left[\begin{array}{c}{\rho }_D\\ u_D\end{array}\right]={\beta }_1\left[\begin{array}{c}{\rho }_0\\ -a\end{array}\right]+{\beta }_2\left[\begin{array}{c}{\rho }_0\\ a\end{array}\right],$

avec les coefficients

${\beta }_1=\frac{a{\rho }_D-{\rho }_0{u}_D}{2a{\rho }_0},{\beta }_2=\frac{a{\rho }_D+{\rho }_0{u}_D}{2a{\rho }_0}$

Le système peut ainsi se réécrire comme deux équations découplées scalaires telles que traitées précédemment, la première avec vitesse de propagation Modèle:Math et condition initiale ${\alpha }_1\text{ si }x\le 0,{\beta }_1\text{ si }x>0$, et la seconde avec vitesse de propagation Modèle:Math et condition initiale ${\alpha }_2\text{ si }x\le 0,{\beta }_2\text{ si }x>0$.

Ainsi, nous obtenons la solution finale

$𝐮(t,x)=\left[\begin{array}{c}\rho (t,x)\\ u(t,x)\end{array}\right]=\{\begin{array}{cc}{𝐮}_G,& 0<t\le -ax\\ {𝐮}^{*},& 0\le a|x|<t\\ {𝐮}_D,& 0<t\le ax\end{array}$

où la solution dans le domaine compris entre les caractéristiques est définie par

${𝐮}^{*}=\left[\begin{array}{c}{\rho }^{*}\\ u^{*}\end{array}\right]={\beta }_1\left[\begin{array}{c}{\rho }_0\\ -a\end{array}\right]+{\alpha }_2\left[\begin{array}{c}{\rho }_0\\ a\end{array}\right].$

Cet exemple permet de comprendre les propriétés basiques du problème de Riemann, et en particulier la décomposition de la solution en différents domaines de l'espace-temps déterminés par les caractéristiques.

Exemple de dynamique non linéaire

On considère ici qu'on a affaire avec une équation scalaire et non un système (ici Modèle:Math), ce qui permet d'assurer une théorie d'existence et d'unicité de solutions faibles non régulières (en particulier acceptant des discontinuités) : les solutions entropiques. On considère donc

$\frac{\partial }{\partial t}u(t,x)+\frac{\partial }{\partial x}f(u)(t,x)=0,(t,x)\in {ℝ}_{+}\times ℝ,$

où $u:{ℝ}_{+}\times ℝ\to ℝ$ est l'inconnue et $f:ℝ\to ℝ$ est donnée. On suppose pour simplifier que Modèle:Mvar est de classe ${𝒞}^2$ et uniformément convexe, ce qui garantit la monotonie de la dérivée de Modèle:Mvar. Par exemple, $f(u)=u^2/2$ correspond à l'équation de Burgers sans viscosité.

Afin d'avoir un problème de Riemann, on considère la condition initiale (ici $x_0=0$)

$u(t=0,x)=\{\begin{array}{cc}{u}_G,& x<0,\\ u_D,& x>0,\end{array}x\in ℝ,$

avec $(u_G,u_D)\in ℝ\times ℝ$ donnés.

Contrairement au cas linéaire, la méthode des caractéristiques ne permet de définir de manière unique la solution que sur une partie de l'espace-temps ${ℝ}_{+}\times ℝ$, et il reste à déterminer la solution dans les cas où les caractéristiques liées aux deux valeurs de la condition initiale se croisent, ou au contraire ne remplissent pas tout l'espace-temps.

• Si $u_D<u_G$, cela correspond au cas où les caractéristiques se croisent. L'unique solution entropique est alors de type choc, donnée par

$u(t,x)=\{\begin{array}{cc}{u}_G,& x/t<\sigma ,\\ u_D,& x/t>\sigma ,\end{array}(x,t)\in {ℝ}_{+}^{*}\times ℝ,$

où Modèle:Math est la vitesse de propagation du choc donnée par les relations de Rankine-Hugoniot :

$\sigma =\frac{f(u_G)-f(u_D)}{u_G-u_D}.$

• Si $u_D>u_G$, cela correspond au cas où les caractéristiques ne remplissent pas tout l'espace-temps. L'unique solution entropique est de type onde de détente, donnée par

$u(t,x)=\{\begin{array}{cc}{u}_G,& x/t<f^{\prime }(u_G),\\ g(x/t),& f^{\prime }(u_G)<x/t<f^{\prime }(u_D),\\ u_D,& x/t>f^{\prime }(u_D),\end{array}(x,t)\in {ℝ}_{+}^{*}\times ℝ,$

où $g=(f^{\prime }{)}^{-1}$, la réciproque de la dérivée de Modèle:Mvar.

Dans les deux cas, la solution est autosimilaire, c'est-à-dire qu'elle est déterminée uniquement par le rapport $x/t\in ℝ$.

Références

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Lien web

Voir aussi

• Mécanique des fluides numérique
• Magnétohydrodynamique
• Modèle:Lien
• Équation de Burgers
• Invariant de Riemann