Transformation de Mellin

En mathématiques, la transformation de Mellin est une transformation intégrale qui peut être considérée comme la version multiplicative (en) de la transformation de Laplace bilatérale. Cette transformation intégrale est fortement reliée à la théorie des séries de Dirichlet, et est souvent utilisée en théorie des nombres et dans la théorie des développements asymptotiques ; elle est également fortement reliée à la transformation de Laplace, à la transformation de Fourier, à la théorie de la fonction gamma et aux fonctions spéciales.

La transformation de Mellin a été nommée ainsi en l'honneur du mathématicien finlandais Hjalmar Mellin.

Définition[modifier | modifier le code]

La transformée de Mellin d'une fonction $f$ définie et continue par morceaux sur $\left]0,+\infty \right[$ est la fonction notée ${\mathcal {M}}_{f}$ ou ${\mathcal {M}}\left\{f(x)\right\}$ et définie par l'intégrale généralisée :

{\mathcal {M}}_{f}(s)=\int _{0}^{\infty }x^{s-1}f(x)\,\mathrm {d} x

.

Une condition suffisante d'existence de la transformée est donnée par le résultat suivant^[1] :

Théorème — On suppose que :

$f$ est continue sur $\left]0,+\infty \right[$ ;
pour un nombre réel $\alpha ,\qquad f(x)=O(x^{-\alpha })$ quand $x\to 0$ ;
$\forall \beta \in \mathbb {R} _{+}\,f(x)=O(x^{-\beta })$ quand $x\to +\infty$ ( $f$ tend vers 0 plus vite que toute puissance (négative) de $x$ quand $x\to +\infty$ ).

Alors l'intégrale généralisée $\int _{0}^{\infty }x^{s-1}f(x)\,\mathrm {d} x$ converge absolument pour $Re (s) > α$ et définit une fonction holomorphe sur le demi-plan $Re (s) > α$ .

Plus généralement, si

$f$ est continue sur $\left]0,+\infty \right[$ ;
pour des nombres réels α < β,
- $f(x)=O(x^{-\alpha })$ quand $x\to 0$ et
- $f(x)=O(x^{-\beta })$ quand $x\to +\infty$ ,

alors l'intégrale généralisée $\int _{0}^{\infty }x^{s-1}f(x)\,\mathrm {d} x$ converge absolument pour $α < Re (s) < β$ et définit une fonction holomorphe sur la bande $α < Re (s) < β$ .

Exemples[modifier | modifier le code]

La transformée de Mellin d'une distribution de Dirac $\delta (x-a)$ , avec a > 0, est une fonction exponentielle $s\mapsto a^{s-1}$ .
La transformée de Mellin de la fonction $f\,:\,x\mapsto \mathrm {H} (a-x)$ , avec $a > 0$ , est la fonction $s\mapsto {\frac {a^{s}}{s}}$ sur le demi-plan $Re (s) > 0$
(où $H$ est la fonction de Heaviside, $H(u) = 1$ si $u > 0$ et $H(u) = 0$ si $u < 0$ ).
La transformée de Mellin de la fonction $x\mapsto \mathrm {e} ^{-ax}$ , avec $a > 0$ , est la fonction $s\mapsto {\frac {\Gamma (s)}{a^{s}}}$ sur le demi-plan $Re (s) > 0$
( $\Gamma$ est la fonction gamma d'Euler).
La transformée de Mellin de la fonction $x\mapsto \mathrm {e} ^{-x^{2}}$ est la fonction $s\mapsto {\frac {\Gamma (s/2)}{2}}$ sur le demi-plan $Re (s) > 0$ .
La transformée de Mellin de la fonction $\sin$ est la fonction $s\mapsto {\Gamma (s)}\sin \left({\frac {\pi s}{2}}\right)$ sur la bande $-1 < Re (s) < 1$
(l'intégrale généralisée est semi-convergente si $Re (s) \geq 0$ ).
La transformée de Mellin de la fonction $\cos$ est la fonction $s\mapsto {\Gamma (s)}\cos \left({\frac {\pi s}{2}}\right)$ sur la bande $0 < Re (s) < 1$
(l'intégrale généralisée est semi-convergente).
La transformée de Mellin de la fonction $x\mapsto {\frac {1}{1+x}}$ est la fonction $s\mapsto {\frac {\pi }{\sin(\pi s)}}$ sur la bande $0 < Re (s) < 1$ ^[2].
Plus généralement, la transformée de Mellin de la fonction $x\mapsto {\frac {1}{(1+x)^{a}}}$ est la fonction $s\mapsto \mathrm {B} (s,a-s)$ sur la bande $0 < Re (s) < Re (a)$
( $\mathrm {B} (x,y)={\frac {\Gamma (x)\,\Gamma (y)}{\Gamma (x+y)}}$ est la fonction bêta).
La transformée de Mellin de la fonction $x\mapsto {\frac {1}{1+x^{2}}}$ est la fonction $s\mapsto {\frac {\pi /2}{\sin(\pi s/2)}}$ sur la bande $0 < Re (s) < 2$ ^[3].
La transformée de Mellin de la fonction $x\mapsto \ln(1+x)$ est la fonction $s\mapsto {\frac {\pi }{s\sin(\pi s)}}$ sur la bande $-1 < Re (s) < 0$ ^[2].
La transformée de Mellin de la fonction $x\mapsto {\frac {1}{\mathrm {e} ^{x}-1}}$ est la fonction $s\mapsto \Gamma (s)\zeta (s)$ sur le demi-plan $Re (s) > 1$
( $\zeta$ est la fonction zêta de Riemann).

Transformation de Mellin inverse[modifier | modifier le code]

La transformation inverse est

{\mathcal {M}}^{-1}\left\{\varphi \right\}(x)={\frac {1}{2\pi \mathrm {i} }}\int _{c-\mathrm {i} \infty }^{c+\mathrm {i} \infty }x^{-s}\varphi (s)\,\mathrm {d} s

.

La notation suppose que c'est une intégrale curviligne s'appliquant sur une droite verticale dans le plan complexe.

Théorème — On suppose que^[1] :

$f$ est continue sur $\left]0,+\infty \right[$ ;
pour un nombre réel $\alpha ,\qquad f(x)=O(x^{-\alpha })$ quand $x\to 0$ ;
$\forall \beta \in \mathbb {R} _{+}\,f(x)=O(x^{-\beta })$ quand $x\to +\infty$ ( $f$ tend vers 0 plus vite que toute puissance (négative) de $x$ quand $x\to +\infty$ ).

On a la formule d'inversion de Mellin valide pour tout $c>\alpha$ et tout $x > 0$ :

f(x)={\mathcal {M}}^{-1}\left\{{\mathcal {M}}_{f}\right\}(x)={\frac {1}{2\pi \mathrm {i} }}\int _{c-\mathrm {i} \infty }^{c+\mathrm {i} \infty }x^{-s}{\mathcal {M}}_{f}(s)\,\mathrm {d} s

.

Relations avec les autres transformations[modifier | modifier le code]

Avec la transformation de Laplace bilatérale[modifier | modifier le code]

La transformation bilatérale de Laplace ( ${\mathcal {B}}\{f\}(s)=\int _{-\infty }^{+\infty }\mathrm {e} ^{-st}f(t)\,\mathrm {d} t$ ) peut être définie en termes de transformation de Mellin par

{\mathcal {B}}\left\{f\right\}(s)={\mathcal {M}}\left\{f(-\ln x)\right\}(s)

.

Inversement, on peut obtenir la transformation de Mellin à partir de la transformation de Laplace bilatérale par

{\mathcal {M}}_{f}(s)={\mathcal {B}}\left\{f(\mathrm {e} ^{-x})\right\}(s)

.

La transformation de Mellin peut être vue comme une intégration utilisant un noyau $x s$ qui respecte la mesure de Haar multiplicative, ${\frac {\mathrm {d} x}{x}}$ , qui est invariante sous la dilatation $x\mapsto ax$ , c'est-à-dire ${\frac {\mathrm {d} (ax)}{ax}}={\frac {\mathrm {d} x}{x}}$ .

La transformation de Laplace bilatérale intègre en respectant la mesure de Haar additive $\mathrm {d} x$ , qui est invariante par translation, c'est-à-dire $\mathrm {d} (x+a)=\mathrm {d} x$ .

Avec la transformation de Fourier[modifier | modifier le code]

On peut aussi définir la transformation de Fourier en termes de transformation de Mellin et vice-versa ; si nous définissons la transformation de Fourier comme ci-dessus, alors

{\mathcal {F}}f(s)={\mathcal {B}}f(\mathrm {i} s)={\mathcal {M}}\left\{f(-\ln x)\right\}(\mathrm {i} s)

.

On peut aussi inverser le processus et obtenir

{\mathcal {M}}_{f}(s)={\mathcal {B}}\left\{f(\mathrm {e} ^{-x})\right\}(s)={\mathcal {F}}\left\{f(\mathrm {e} ^{-x})\right\}(-\mathrm {i} s)

.

La transformation de Mellin est aussi reliée aux séries de Newton ou aux transformations binomiales avec la fonction génératrice de la loi de Poisson, au moyen du cycle de Poisson-Mellin-Newton.

Intégrale de Cahen-Mellin[modifier | modifier le code]

Pour $c>0$ , $\Re (y)>0$ et $y^{-s}$ sur la branche principale, on a

\mathrm {e} ^{-y}={\frac {1}{2\pi \mathrm {i} }}\int _{c-\mathrm {i} \infty }^{c+\mathrm {i} \infty }\Gamma (s)y^{-s}\;\mathrm {d} s

.

Cette intégrale est connue sous le nom d'intégrale de Cahen-Mellin^[4].

Applications[modifier | modifier le code]

La formule de Perron décrit la transformation de Mellin inverse appliquée aux séries de Dirichlet.
La transformation de Mellin est utilisée dans certaines preuves de la fonction de compte des nombres premiers et apparaît dans les discussions de la fonction zêta de Riemann.
La transformation de Mellin inverse apparaît communément dans la moyenne de Riesz.
On utilise souvent les transformées de Mellin pour le calcul analytique de toute une variété de sommes de réseaux, qui s'expriment sous forme de diverses fonctions spéciales comme les fonctions thêta de Jacobi ou la fonction zêta de Riemann^[5].

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Mellin transform » (voir la liste des auteurs).

↑ ^{a et b} (en) Henri Cohen, Number Theory, vol. II : Analytic and Modern Tools, Springer, coll. « GTM » (n^o 240), 2007 (lire en ligne), p. 107.
↑ ^{a et b} Cohen 2007, p. 150.
↑ Cohen 2007, p. 145.
↑ (en) G. H. Hardy et J. E. Littlewood, « Contributions to the Theory of the Riemann Zeta-Function and the Theory of the Distribution of Primes », Acta Mathematica, vol. 41, 1916, p. 119-196 (voir les notes dans cet article pour plus de références sur le travail de Cahen et Mellin, dont la thèse de Cahen).
↑ (en) M. L. Glasser, « The evaluation of lattice sums. I. Analytic procedures », J. Math. Phys., vol. 14, n^o 3,‎ 1973, p. 409-413.

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

(en) R. B. Paris et D. Kaminsky, Asymptotics and Mellin-Barnes Integrals, Cambridge University Press, 2001 (lire en ligne)
(en) A. D. Polyanin (en) et A. V. Manzhirov, Handbook of Integral Equations, CRC Press, 2008, 2^e éd. (1^re éd. 1998) (ISBN 978-0-2038-8105-7, lire en ligne)

Liens externes[modifier | modifier le code]

(en) « Tables of Integral Transforms », sur EqWorld: The World of Mathematical Equations
(en) Eric W. Weisstein, « Mellin Transform », sur MathWorld

Portail de l'analyse

[Cohen107-1] {a et b} (en) Henri Cohen, Number Theory, vol. II : Analytic and Modern Tools, Springer, coll. « GTM » (n^o 240), 2007 (lire en ligne), p. 107.

[Cohen150-2] {a et b} Cohen 2007, p. 150.

[Cohen145-3] Cohen 2007, p. 145.

[Hard16-4] (en) G. H. Hardy et J. E. Littlewood, « Contributions to the Theory of the Riemann Zeta-Function and the Theory of the Distribution of Primes », Acta Mathematica, vol. 41, 1916, p. 119-196 (voir les notes dans cet article pour plus de références sur le travail de Cahen et Mellin, dont la thèse de Cahen).

[5] (en) M. L. Glasser, « The evaluation of lattice sums. I. Analytic procedures », J. Math. Phys., vol. 14, n^o 3,‎ 1973, p. 409-413.

[1]

[2]

[3]

[4]

[5]