Articulo de referencia

Teorema de inversión de Mellin

En matemáticas , la fórmula de inversión de Mellin (llamada así por Hjalmar Mellin [ 1 ] [ 2 ] ) nos indica las condiciones bajo las cuales la transformada inversa de Mellin , o...

En matemáticas , la fórmula de inversión de Mellin (llamada así por Hjalmar Mellin [ 1 ] [ 2 ] ) nos indica las condiciones bajo las cuales la transformada inversa de Mellin , o equivalentemente la transformada inversa de Laplace de dos lados , se definen y recuperan la función transformada.

Método

Siφ(s){\displaystyle \varphi (s)}es analítico en la tiraa<(s)<b{\displaystyle a<\Re (s)<b} , y si tiende a cero uniformemente como(s)±{\displaystyle \Soy (s)\to \pm \infty }para cualquier valor realdo{\displaystyle c}entrea{\displaystyle a}yb{\displaystyle b} , con su integral a lo largo de dicha línea convergiendo absolutamente, entonces si

F(incógnita)={METRO1φ}=12πidoido+iincógnitasφ(s)ds{\displaystyle f(x)=\{{\mathcal {M}}^{-1}\varphi \}={\frac {1}{2\pi i}}\int _{ci\infty }^{c+i\infty }x^{-s}\varphi (s)\,ds}

tenemos eso

φ(s)={METROF}=0incógnitas1F(incógnita)dincógnita.{\displaystyle \varphi (s)=\{{\mathcal {M}}f\}=\int _{0}^{\infty }x^{s-1}f(x)\,dx.}

Por el contrario, supongamos queF(incógnita){\displaystyle f(x)}es continua a trozos en los números reales positivos , tomando un valor a medio camino entre los valores límite en cualquier discontinuidad de salto, y supongamos que la integral

φ(s)=0incógnitas1F(incógnita)dincógnita{\displaystyle \varphi (s)=\int _{0}^{\infty }x^{s-1}f(x)\,dx}

es absolutamente convergente cuandoa<(s)<b{\displaystyle a<\Re (s)<b}EntoncesF{\displaystyle f}es recuperable mediante la transformada inversa de Mellin a partir de su transformada de Mellin .φ{\displaystyle \varphi }Estos resultados se pueden obtener relacionando la transformada de Mellin con la transformada de Fourier mediante un cambio de variables y luego aplicando una versión apropiada del teorema de inversión de Fourier . [ 3 ]

Condición de acotación

La condición de acotación enφ(s){\displaystyle \varphi (s)}puede reforzarse siF(incógnita){\displaystyle f(x)}es continuo. Siφ(s){\displaystyle \varphi (s)}es analítico en la tiraa<(s)<b{\displaystyle a<\Re (s)<b}, y si|φ(s)|<K|s|2{\displaystyle \vert \varphi (s)\vert <K\vert s\vert ^{-2}}, dondeK{\displaystyle K}Si es una constante positiva, entoncesF(incógnita){\displaystyle f(x)}tal como se define por la integral de inversión existe y es continua; además, la transformada de Mellin deF{\displaystyle f}esφ{\displaystyle \varphi }durante al menosa<(s)<b{\displaystyle a<\Re (s)<b} .

Por otro lado, si estamos dispuestos a aceptar un originalF{\displaystyle f}que es una función generalizada , podemos relajar la condición de acotación en φ{\displaystyle \varphi }para simplemente convertirlo en un crecimiento polinomial en cualquier franja cerrada contenida en la franja abierta .a<(s)<b{\displaystyle a<\Re (s)<b} .

También podemos definir una versión de este teorema en un espacio de Banach . Si llamamos porLν,pag(R+){\displaystyle L_{\nu,p}(R^{+})}el espacio L p ponderado de funciones de valor complejoF{\displaystyle f}en los reales positivos tales que

F=(0|incógnitaνF(incógnita)|pagdincógnitaincógnita)1/pag<{\displaystyle \|f\|=\left(\int _{0}^{\infty }|x^{\nu }f(x)|^{p}\,{\frac {dx}{x}}\right)^{1/p}<\infty }

dondeν{\displaystyle \nu }ypag{\displaystyle p}son números reales fijos conpag>1{\displaystyle p>1} , entonces siF(incógnita){\displaystyle f(x)}está enLν,pag(R+){\displaystyle L_{\nu,p}(R^{+})}con1<pag2{\displaystyle 1<p\leq 2}, entonces φ(s){\displaystyle \varphi (s)}pertenece aLν,q(R+){\displaystyle L_{\nu,q}(R^{+})}conq=pag/(pag1){\displaystyle q=p/(p-1)}y

F(incógnita)=12πiνiν+iincógnitasφ(s)ds.{\displaystyle f(x)={\frac {1}{2\pi i}}\int _{\nu -i\infty }^{\nu +i\infty }x^{-s}\varphi (s)\,ds.}

Aquí se identifican funciones idénticas en todas partes excepto en un conjunto de medida cero.

Dado que la transformada de Laplace bilateral se puede definir como

{BF}(s)={METROF(lnincógnita)}(s),{\displaystyle \left\{{\mathcal {B}}f\right\}(s)=\left\{{\mathcal {M}}f(-\ln x)\right\}(s),}

Estos teoremas también pueden aplicarse inmediatamente a este caso.

Véase también

Referencias

  1. ^ Mellin, Hjalmar (1895). "Om Definita Integraler, hvilka för obegränsadt växande värden af ​​vissa heltaliga parametrar hafva to gränser Hypergeometriska funktioner af särskilda ordningar". Acta Societatis Scientiarum Fennicae . 20 (7).
  2. ^ Mellin, Hjalmar (1896). "Über die fundamentale Wichtigkeit des Satzes von Cauchy für die Theorien der Gamma- und der hypergeometrischen Funktionen". Acta Societatis Scientiarum Fennicae . 21 (1).
  3. Debnath, Lokenath (2015). Transformadas integrales y sus aplicaciones . CRC Press. ISBN 978-1-4822-2357-6OCLC 919711727 

Referencias generales

  • Flajolet, P. ; Gourdon, X.; Dumas, P. (1995). "Mellin transforms and asymptotics: Harmonic sums" (PDF) . Theoretical Computer Science . 144 ( 1– 2): 3– 58. doi : 10.1016/0304-3975(95)00002-E .
  • McLachlan, NW (1953). Teoría de variables complejas y cálculo de transformadas . Cambridge University Press.
  • Polyanin, AD; Manzhirov, AV (1998). Manual de ecuaciones integrales . Boca Raton: CRC Press. ISBN 0-8493-2876-4.
  • Titchmarsh, EC (1948). Introducción a la teoría de las integrales de Fourier (Segunda  edición). Oxford University Press.
  • Yakubovich, SB (1996). Transformaciones de índice . World Scientific. ISBN 981-02-2216-5.
  • Zemanian, AH (1968). Transformadas integrales generalizadas . John Wiley & Sons.
  • Tablas de transformadas integrales en EqWorld: El mundo de las ecuaciones matemáticas.