Méthode de Wiener-Hopf

From Wikipedia, the free encyclopedia

La méthode de Wiener-Hopf est une technique mathématique permettant de résoudre analytiquement certaines équations intégrales et équations aux dérivées partielles avec conditions sur une limite du domaine. Elle a été mise au point par Norbert Wiener et Eberhard Hopf^[1] en 1931. Typiquement la méthode utilise une transformation de Fourier, de Mellin ou de de Laplace. La solution est recherchée sous forme de somme de deux fonctions analytiques définies dans une partition du plan complexe contenant l'axe réel. Les deux fonctions coïncident dans une région contenant l'axe des valeurs réelles. Un prolongement analytique garantit que ces deux fonctions constituent une fonction analytique dans le plan complexe. Le théorème de Liouville indique que la continuation s'effectue par un polynôme imposé par la condition aux limites.

Soient $x$ une variable réelle et $s=\alpha +i\sigma$ une variable complexe. $\sigma _{+}$ et $\sigma _{-}$ sont deux constantes réelles finies. On suppose que pour toute valeur $\sigma$ telle que $\sigma _{-}<\sigma <\sigma _{+}$ la fonction $\phi (x)$ possède une intégrale de Fourier analytique dans le plan complexe^[2]^,^[3]. Celle-ci est scindée en deux parties

{\begin{array}{ll}\Phi _{+}(s)={\frac {1}{\sqrt {2\pi }}}\int _{0}^{\infty }\phi (x)e^{isx}\mathrm {d} x\,,&\quad \sigma >\sigma _{-}\\[0.6em]\Phi _{-}(s)={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{0}\phi (x)e^{isx}\mathrm {d} x\,,&\quad \sigma <\sigma _{+}\end{array}}

Ces fonctions vérifient

si $\lim \limits _{x\to 0^{+}}\phi (x)=x^{\beta }$ alors $\lim \limits _{s\to \infty }\Phi (s)=s^{-\beta -1}$ lorsque $\sigma >\sigma _{-}$
si $\lim \limits _{x\to 0^{-}}\phi (x)=x^{\beta }$ alors $\lim \limits _{s\to \infty }\Phi (s)=s^{-\beta -1}$ lorsque $\sigma <\sigma _{+}$

Pour $a>\sigma _{-}$ et $b<\sigma _{+}$ on définit la transformée de Fourier généralisée inverse

\phi (x)=\underbrace {{\frac {1}{\sqrt {2\pi }}}\int _{-\infty +ia}^{\infty +ia}\Phi _{+}(s)e^{-isx}\mathrm {d} \alpha } _{=~\phi (x)~pour~x>0,~=~0~sinon}+\underbrace {{\frac {1}{\sqrt {2\pi }}}\int _{-\infty +ib}^{\infty +ib}\Phi _{-}(s)e^{-isx}\mathrm {d} s} _{=~\phi (x)~pour~x<0,~=~0~sinon}=\phi _{+}(x)+\phi _{-}(x)

Ces fonctions possèdent les propriétés de régularité suivantes

si $|\phi (x)|\leq Ae^{\tau _{-}x}$ lorsque $x\to \infty$ alors $\phi _{+}(x)$ est régulière lorsque $\sigma >\sigma _{-}$
si $|\phi (x)|\leq Be^{\tau _{+}x}$ lorsque $x\to -\infty$ alors $\phi _{-}(x)$ est régulière lorsque $\sigma <\sigma _{+}$

Exemple : le problème de Milne

Équation intégrale de Milne

Le problème de Milne concerne la résolution de l'équation de Boltzmann pour le transfert radiatif dans un milieu unidimensionnel semi-infini homogène à diffusion isotrope, décrit par l'équation donnant la luminance $\phi (\tau ,\mu )$

\mu {\frac {\mathrm {d} \phi (\tau ,\mu )}{\mathrm {d} \tau }}+\phi (\tau ,\mu )={\frac {1}{2}}\underbrace {\int _{-1}^{1}\phi (\tau ,\mu )\mathrm {d} \mu } _{S(\tau )}\,,\qquad 0\leq \tau <\infty \,,\qquad -1<\mu \leq 1

avec la condition en τ = 0 (valeur entrante nulle)

\phi (0,\mu )=0\,,\quad \mu >0

La solution formelle de cette équation est^[4]

\phi (\tau ,\mu )=\left\{{\begin{array}{lll}~~{\frac {1}{2}}\int _{0}^{\tau }S(t)e^{-{\frac {\tau -t}{\mu }}}{\frac {{\text{d}}t}{\mu }}&~~0<\mu \leq 1&\\[0.6em]-{\frac {1}{2}}\int _{\tau }^{\infty }S(t)e^{\frac {t-\tau }{\mu }}{\frac {{\text{d}}t}{\mu }}&-1<\mu <0&\qquad [1]\\[0.6em]~~S(\tau )&\quad \mu =0&\end{array}}\right.

En intégrant sur μ on obtient l'équation intégrale de Milne

S(\tau )=\int _{0}^{\infty }S(t)E(|\tau -t|)\mathrm {d} t

E (.) est l'exponentielle intégrale. Il n'existe pas de solution à cette équation.

En multipliant l'équation de Boltzmann par 1 et μ et en intégrant sur μ on obtient les moments de la luminance : l'exitance (flux) M et la pression de rayonnement P

M(\tau )=\int _{-1}^{1}\mu \phi (\tau ,\mu )\mathrm {d} \mu =C^{ste}=-1

P(\tau )=\int _{-1}^{1}\mu ^{2}\phi (\tau ,\mu )\mathrm {d} \mu =\tau +P(0)\,,\qquad P(0)=\int _{-1}^{0}\mu ^{2}\phi (0,\mu )\mathrm {d} \mu

Équation intégrale par la transformée de Laplace

On introduit les transformées de Laplace^[5]^,^[6]

{\begin{array}{lclll}\Phi (s,\mu )&=&\int _{0}^{\infty }\phi (\tau ,\mu )e^{-s\tau }\mathrm {d} \tau \quad &\Re (s)>0&\\[0.6em]{\mathcal {S}}(s)&=&\int _{0}^{\infty }S(\tau )e^{-s\tau }\mathrm {d} \tau &&[2]\end{array}}

On obtient par cette voie une nouvelle équation intégrale

{\mathcal {S}}(s)\left(1-s^{-1}{\rm {artanh~}}s\right)=\int _{-1}^{0}{\frac {S\left(-\mu ^{-1}\right)}{1+s\mu }}\mathrm {d} \mu \equiv g(s)

Démonstration

En multipliant l'équation de Boltzmann par $e^{-s\tau }$ et en intégrant sur τ il vient

(1+s\mu )\Phi (s,\mu )={\frac {1}{2}}{\mathcal {S}}(s)+\mu \phi (0,\mu )

Pour cela on a effectué l'intégration par partie

\int _{0}^{\infty }{\frac {\partial \phi }{\partial \tau }}\mathrm {d} \tau =\left[\phi (\tau ,\mu )e^{-s\tau }\right]_{0}^{\infty }+s\int _{0}^{\infty }\phi (\tau ,\mu )\mathrm {d} \tau =-\phi (0,\mu )+s\Phi (s,\mu )

Par intégration sur μ

{\mathcal {S}}(s)\left[1-{\frac {1}{2}}\int _{-1}^{1}{\frac {\mathrm {d} \mu }{1+s\mu }}\mathrm {d} \mu \right]=\int _{-1}^{0}{\frac {\mu \phi (0,\mu )}{1+s\mu }}\mathrm {d} \mu

{\frac {1}{2}}\int _{-1}^{1}{\frac {\mathrm {d} \mu }{1+s\mu }}\mathrm {d} \mu ={\frac {1}{2s}}\log \left[{\frac {1+s}{1-s}}\right]={\frac {{\rm {artanh~}}s}{s}}

d'où

{\mathcal {S}}(s)={\frac {\int _{-1}^{0}(1+s\mu )^{-1}\mu \phi (0,\mu )\mathrm {d} \mu }{1-s^{-1}{\rm {artanh~}}s}}

En comparant les équations [1] et [2] on a

\phi (0,\mu )=-{\frac {1}{2}}\int _{0}^{\infty }e^{\frac {t}{\mu }}{\frac {\mathrm {d} t}{\mu }}=-{\frac {1}{2}}S\left(-{\frac {1}{\mu }}\right)

En développant cette expression en série de Laurent au voisinage de s = 0 et en utilisant les expressions des moments de la luminance donnés plus haut on obtient

{\mathcal {S}}(s)=3s^{-2}+3P(0)s^{-1}+...

d'où

S(\tau )\approx 3(\tau +P(0))\,,\quad \tau \to \infty

Résolution de l'équation intégrale

On cherche à réécrire l'équation ci-dessus de telle manière que les termes à droite et à gauche soient analytiques et aient un recouvrement sur l'axe réel. Or $1-s^{-1}{\rm {artanh~}}s$ est analytique dans la bande $-1<\Re (s)<1$ .

On souhaite trouver une fonction f (s) qui n'ait pas de zéro dans le domaine précédent et qui vérifie $\lim \limits _{|s|\to \infty }f(s)=1$ , par exemple

f(s)=s^{-2}(s^{2}-1)(1-s^{-1}{\rm {artanh~}}s)

L'équation intégrale est réécrite

{\frac {s^{2}}{s^{2}-1}}f(s){\mathcal {S}}(s)=g(s)

$\log f(s)$ peut être représenté par la formule intégrale de Cauchy

\log f(s)=\underbrace {{\frac {1}{2\pi i}}\int _{-i\infty +a}^{i\infty +a}{\frac {\log f(t)}{t-s}}\mathrm {d} t} _{\log f_{+}(s)}-\underbrace {{\frac {1}{2\pi i}}\int _{-i\infty -a}^{i\infty -a}{\frac {\log f(t)}{t-s}}\mathrm {d} t} _{\log f_{-}(s)}

f₊ est une fonction régulière non nulle dans le demi-plan $\Re (s)<a$ ,
f_- est une fonction régulière non nulle dans le demi-plan $\Re (s)>-a$ .

On peut alors écrire l'équation intégrale sous la forme

{\frac {s^{2}{\mathcal {S}}(s)}{(s+1)f_{-}(s)}}={\frac {(s-1)g(s)}{f_{+}(s)}}

Le premier membre est régulier pour $\Re (s)>0$ et le second pour $\Re (s)<a$ . Chacune des expressions constitue la continuation de l'autre.

De plus chaque membre est borné puisque ${\mathcal {S}}(s)$ et $g(s)$ le sont. En suivant le théorème de Liouville chacun d'eux est égal à une constante C, en particulier

{\mathcal {S}}(s)=C\,{\frac {s+1}{s^{2}}}f_{-}(s)=Cf_{-}(0)s^{-2}+C[f_{-}(0)+f_{-}'(0)]s^{-1}+...

En comparant à l'expression donnée plus haut on extrait la constante

C={\frac {3}{f_{-}(0)}}

Cette quantité est une intégrale dans le plan complexe que l'on peut calculer^[5] et dont on peut donner la valeur avec les développements déjà utilisés