stringtranslate.com

Transformación de Mellin

En matemáticas , la transformada de Mellin es una transformada integral que puede considerarse como la versión multiplicativa de la transformada bilateral de Laplace . Esta transformada integral está estrechamente relacionada con la teoría de las series de Dirichlet y se utiliza a menudo en la teoría de números , la estadística matemática y la teoría de expansiones asintóticas ; está estrechamente relacionada con la transformada de Laplace y la transformada de Fourier , y con la teoría de la función gamma y funciones especiales afines .

La transformada de Mellin de una función de valor complejo f definida en es la función de variable compleja dada (donde exista, vea la tira fundamental a continuación) por Nótese que es una medida de Haar en el grupo multiplicativo y es un carácter multiplicativo (en general no unitario) . La transformada inversa es La notación implica que esta es una integral de línea tomada sobre una línea vertical en el plano complejo, cuya parte real c solo necesita satisfacer un límite inferior leve. Las condiciones bajo las cuales esta inversión es válida se dan en el teorema de inversión de Mellin .

La transformada lleva el nombre del matemático finlandés Hjalmar Mellin , quien la introdujo en un artículo publicado en 1897 en Acta Societatis Scientiarum Fennicæ. [1]

Relación con otras transformaciones

La transformada de Laplace de dos caras se puede definir en términos de la transformada de Mellin por y, a la inversa, podemos obtener la transformada de Mellin a partir de la transformada de Laplace de dos caras por

Se puede pensar que la transformada de Mellin se integra utilizando un núcleo x s con respecto a la medida de Haar multiplicativa , , que es invariante bajo dilatación , de modo que la transformada de Laplace de dos lados se integra con respecto a la medida de Haar aditiva , que es invariante a la traslación, de modo que .

También podemos definir la transformada de Fourier en términos de la transformada de Mellin y viceversa; en términos de la transformada de Mellin y de la transformada de Laplace bilateral definida anteriormente. También podemos invertir el proceso y obtener

La transformada de Mellin también conecta la serie de Newton o transformada binomial junto con la función generadora de Poisson , mediante el ciclo de Poisson-Mellin-Newton .

La transformada de Mellin también puede verse como la transformada de Gelfand para el álgebra de convolución del grupo abeliano localmente compacto de números reales positivos con multiplicación.

Ejemplos

Integral de Cahen-Mellin

La transformada de Mellin de la función es donde es la función gamma . es una función meromórfica con polos simples en . [2] Por lo tanto, es analítica para . Por lo tanto, dejando y en la rama principal , la transformada inversa da

Esta integral se conoce como integral de Cahen-Mellin. [3]

Funciones polinómicas

Como no es convergente para ningún valor de , la transformada de Mellin no está definida para funciones polinómicas definidas en todo el eje real positivo. Sin embargo, al definirla como cero en diferentes secciones del eje real, es posible tomar la transformada de Mellin. Por ejemplo, si entonces

Por lo tanto , tiene un polo simple en y, por lo tanto, está definido para . De manera similar, si entonces Por lo tanto, tiene un polo simple en y, por lo tanto, está definido para .

Funciones exponenciales

Para , sea . Entonces

Función zeta

Es posible utilizar la transformada de Mellin para producir una de las fórmulas fundamentales para la función zeta de Riemann , . Sea . Entonces ,

Gaussiano generalizado

Para , sea (es decir, es una distribución gaussiana generalizada sin el factor de escala). Entonces En particular, el ajuste recupera la siguiente forma de la función gamma

Serie de potencias y serie de Dirichlet

En general, asumiendo la convergencia necesaria, podemos conectar la serie de Dirichlet y las series de potencias relacionadas mediante la identidad formal que involucra la transformada de Mellin: [4]

Franja fundamental

Para , definamos la franja abierta como todas aquellas que con La franja fundamental de se define como la franja abierta más grande en la que está definida. Por ejemplo, para la franja fundamental de es Como se ve en este ejemplo, las asintóticas de la función como definen el extremo izquierdo de su franja fundamental, y las asintóticas de la función como definen su extremo derecho. Para resumir usando la notación Big O , si es como y como entonces se define en la franja [5]

Una aplicación de esto se puede ver en la función gamma, ya que es como y para todos , entonces debe definirse en la tira, lo que confirma que es analítica para

Propiedades

Las propiedades de esta tabla se pueden encontrar en Bracewell (2000) y Erdélyi (1954).

Teorema de Parseval y teorema de Plancherel

Sean y funciones con transformadas de Mellin bien definidas en las franjas fundamentales . Sea con . Si las funciones y también son integrables al cuadrado en el intervalo , entonces se cumple la fórmula de Parseval : [6] La integración en el lado derecho se realiza a lo largo de la línea vertical que se encuentra completamente dentro de la superposición de las franjas fundamentales (transformadas adecuadas).

Podemos reemplazar por . Esto da la siguiente forma alternativa del teorema: Sea y funciones con transformadas de Mellin bien definidas en las franjas fundamentales . Sea con y elija con . Si las funciones y también son integrables al cuadrado en el intervalo , entonces tenemos [6] Podemos reemplazar por . Esto da el siguiente teorema: Sea una función con transformada de Mellin bien definida en la franja fundamental . Sea con . Si la función también es integrable al cuadrado en el intervalo , entonces se cumple el teorema de Plancherel : [7]

Como una isometría enyo2espacios

En el estudio de los espacios de Hilbert , la transformada de Mellin se plantea a menudo de una manera ligeramente diferente. Para funciones en (véase el espacio Lp ) la franja fundamental siempre incluye , por lo que podemos definir un operador lineal como En otras palabras, hemos establecido Este operador suele denotarse simplemente por y se denomina "transformada de Mellin", pero se utiliza aquí para distinguirlo de la definición utilizada en otras partes de este artículo. El teorema de inversión de Mellin muestra entonces que es invertible con inversa Además, este operador es una isometría , es decir para todos (esto explica por qué se utilizó el factor de ).

En la teoría de la probabilidad

En teoría de probabilidad, la transformada de Mellin es una herramienta esencial para estudiar las distribuciones de productos de variables aleatorias. [8] Si X es una variable aleatoria, y X + = max{ X ,0 } denota su parte positiva, mientras que X  − = max{− X ,0 } es su parte negativa, entonces la transformada de Mellin de X se define como [9] donde γ es una indeterminación formal con γ 2 = 1 . Esta transformada existe para todos los s en alguna franja compleja D = { s  : a ≤ Re( s ) ≤ b } , donde a ≤ 0 ≤ b . [9]

La transformada de Mellin de una variable aleatoria X determina de forma única su función de distribución F X . [9] La importancia de la transformada de Mellin en la teoría de la probabilidad radica en el hecho de que si X e Y son dos variables aleatorias independientes, entonces la transformada de Mellin de su producto es igual al producto de las transformadas de Mellin de X e Y : [10]

Problemas con el laplaciano en un sistema de coordenadas cilíndricas

En el Laplaciano en coordenadas cilíndricas en una dimensión genérica (coordenadas ortogonales con un ángulo y un radio, y las longitudes restantes) siempre hay un término:

Por ejemplo, en coordenadas polares 2-D el Laplaciano es: y en coordenadas cilíndricas 3-D el Laplaciano es,

Este término se puede tratar con la transformada de Mellin, [11] ya que:

Por ejemplo, la ecuación de Laplace 2-D en coordenadas polares es la EDP en dos variables: y por multiplicación: con una transformada de Mellin en el radio se convierte en el oscilador armónico simple : con solución general:

Ahora, por ejemplo, impongamos algunas condiciones de borde de cuña simples a la ecuación original de Laplace: estas son particularmente simples para la transformada de Mellin y se convierten en:

Estas condiciones impuestas a la solución la particularizan en:

Ahora bien, mediante el teorema de convolución para la transformada de Mellin, la solución en el dominio de Mellin se puede invertir: donde se empleó la siguiente relación de transformada inversa: donde .

Aplicaciones

La transformada de Mellin se utiliza ampliamente en informática para el análisis de algoritmos [12] debido a su propiedad de invariancia de escala . La magnitud de la transformada de Mellin de una función escalada es idéntica a la magnitud de la función original para entradas puramente imaginarias. Esta propiedad de invariancia de escala es análoga a la propiedad de invariancia de desplazamiento de la transformada de Fourier. La magnitud de una transformada de Fourier de una función desplazada en el tiempo es idéntica a la magnitud de la transformada de Fourier de la función original.

Esta propiedad es útil en el reconocimiento de imágenes . La imagen de un objeto se puede escalar fácilmente cuando el objeto se acerca o se aleja de la cámara.

En mecánica cuántica y especialmente en teoría cuántica de campos , el espacio de Fourier es enormemente útil y se utiliza ampliamente porque el momento y la posición son transformadas de Fourier entre sí (por ejemplo, los diagramas de Feynman se calculan mucho más fácilmente en el espacio de momento). En 2011, A. Liam Fitzpatrick, Jared Kaplan, João Penedones , Suvrat Raju y Balt C. van Rees demostraron que el espacio de Mellin cumple una función análoga en el contexto de la correspondencia AdS/CFT . [13] [14] [15]

Ejemplos

Tabla de transformadas de Mellin seleccionadas

La siguiente lista de ejemplos interesantes de la transformada de Mellin se puede encontrar en Bracewell (2000) y Erdélyi (1954):

Véase también

Notas

  1. ^ Mellin, Hj. "Zur Theorie zweier allgemeinen Klassen bestimmter Integrale". Acta Societatis Scientiarum Fennicæ . XXII, N:o 2: 1–75.
  2. ^ Whittaker, ET ; Watson, GN (1996). Un curso de análisis moderno . Cambridge University Press.
  3. ^ Hardy, GH ; Littlewood, JE (1916). "Contribuciones a la teoría de la función zeta de Riemann y a la teoría de la distribución de números primos". Acta Mathematica . 41 (1): 119–196. doi : 10.1007/BF02422942 . (Véanse las notas allí para obtener más referencias al trabajo de Cahen y Mellin, incluida la tesis de Cahen).
  4. ^ Wintner, Aurel (1947). "Sobre la reducción de Riemann de las series de Dirichlet a series de potencias". American Journal of Mathematics . 69 (4): 769–789. doi : 10.2307/2371798 .
  5. ^ Flajolet, P.; Gourdon, X.; Dumas, P. (1995). "Transformadas de Mellin y asintóticas: sumas armónicas" (PDF) . Ciencias de la Computación Teórica . 144 (1–2): 3–58. doi :10.1016/0304-3975(95)00002-e.
  6. ^ por Titchmarsh (1948, pág. 95).
  7. ^ Titchmarsh (1948, pág. 94).
  8. ^ Galambos y Simonelli (2004, pág.15)
  9. ^ abc Galambos y Simonelli (2004, p.16)
  10. ^ Galambos y Simonelli (2004, pág.23)
  11. ^ Bhimsen, Shivamoggi, Capítulo 6: La transformada de Mellin, párrafo 4.3: Distribución de un potencial en una cuña, págs. 267-8
  12. ^ Philippe Flajolet y Robert Sedgewick. El análisis de casos promedio de algoritmos: asintóticas de transformada de Mellin. Informe de investigación 2956. 93 páginas. Institut National de Recherche en Informatique et en Automatique (INRIA), 1996.
  13. ^ A. Liam Fitzpatrick, Jared Kaplan, Joao Penedones, Suvrat Raju, Balt C. van Rees. "Un lenguaje natural para correlacionadores de AdS/CFT".
  14. ^ A. Liam Fitzpatrick, Jared Kaplan. "Unitaridad y la matriz S holográfica"
  15. ^ A. Liam Fitzpatrick. "AdS/CFT y la matriz S holográfica", videoconferencia.
  16. ^ Jacqueline Bertrand, Pierre Bertrand, Jean-Philippe Ovarlez. La transformada de Mellin. Manual de transformadas y aplicaciones, 1995, 978-1420066524. ffhal-03152634f

Referencias

Enlaces externos