Resumen Técnico: Un Teorema de Multiplicación General para Polinomios de Hermite Multivariantes

Planteamiento del Problema

El teorema de multiplicación para los polinomios de Hermite univariantes, que describe la expansión de $H_k(\lambda x)$ en términos de $H_{k-2i}(x)$, es un resultado bien establecido en la literatura matemática. Sin embargo, una versión generalizada de este teorema para polinomios de Hermite multivariantes $H_k(\Lambda x; \Sigma)$, donde el argumento es transformado por una matriz $\Lambda$ y los polinomios están definidos con respecto a una matriz de covarianza general definida positiva $\Sigma$, no fue formulada explícitamente en el texto proporcionado.

El artículo aborda la necesidad de derivar un teorema de multiplicación que relacione los polinomios de Hermite multivariantes de un vector linealmente transformado con una serie de polinomios de Hermite multivariantes del vector original, potencialmente bajo una estructura de covarianza diferente.

Metodología

La derivación se basa en el enfoque de la función generatriz para los polinomios de Hermite multivariantes. El autor utiliza la identidad de la función generatriz conocida:
$$\sum_{k \in \mathbb{N}^n} \frac{t^k}{k!} H_k(x; \Sigma) = \exp\left(t^T \Sigma^{-1} x - \frac{1}{2} t^T \Sigma^{-1} t\right)$$

El núcleo de la metodología involucra los siguientes pasos:

1. Sustitución: El argumento $x$ en la función generatriz se reemplaza por $\Lambda^T x$, donde $\Lambda \in \mathbb{R}^{n \times m}$.
2. Descomposición: El término exponencial resultante se factoriza en dos partes: una que se asemeja a la función generatriz de los polinomios de Hermite con una nueva matriz de covarianza $\Upsilon$, y un término exponencial residual que representa la diferencia entre las estructuras de covarianza transformadas y originales.
3. Re-expansión: La primera parte se expande utilizando la función generatriz para $H_q(x; \Upsilon)$. La segunda parte (el residual) se expande como una serie de potencias que involucra potencias de Kronecker y vectorización ($\text{vec}$).
4. Igualación de Coeficientes: Al igualar los coeficientes de los términos de la serie de potencias $t^{\otimes k}$ en ambos lados de la ecuación, el autor aísla la relación entre los coeficientes de los polinomios originales $H_k(\Lambda^T x; \Sigma)$ y los polinomios objetivo $H_q(x; \Upsilon)$.
5. Manipulación de Álgebra Lineal: La demostración emplea propiedades de los productos de Kronecker, específicamente la identidad $(A^T b)^k = A^{\otimes k T} b^{\otimes |k|}$, para resolver las estructuras tensoriales y extraer los coeficientes explícitos.

Contribuciones Clave y Resultados

1. Teorema de Multiplicación General

El resultado principal es la derivación del teorema de multiplicación general para los polinomios de Hermite multivariantes. Para matrices de covarianza simétricas y definidas positivas $\Sigma \in \mathbb{R}^{n \times n}$ y $\Upsilon \in \mathbb{R}^{m \times m}$, y cualquier matriz $\Lambda \in \mathbb{R}^{n \times m}$, el teorema establece:

$$H_k(\Lambda^T x; \Sigma) = \sum_{q \in \mathbb{N}^m: |q| \in \{|k|, |k|-2, \dots\}} T_{k,q}(\Sigma \Lambda^T \Upsilon^{-1}; \Sigma, \Upsilon) H_q(x; \Upsilon)$$

Los coeficientes $T_{k,q}$ se definen explícitamente utilizando potencias de Kronecker y vectorización:
$$T_{k,q}(\tilde{\Lambda}; \Sigma, \Upsilon) = \frac{k!}{2^i q! i!} I_n^{\otimes k T} \left( \tilde{\Lambda}^{\otimes q} \otimes \left( \text{vec}(\tilde{\Lambda} \Upsilon^{-1} \tilde{\Lambda}^T - \Sigma^{-1}) \right)^{\otimes i} \right) \Bigg|_{i = \frac{|k|-|q|}{2}}$$

2. Casos Especiales y Generalidad Intermedia

El artículo deriva varias instancias específicas del teorema general para mejorar la aplicabilidad práctica:

• Covarianza Escalar: Cuando $\Sigma = \sigma^2 I_n$ y $\Upsilon = \sigma^2 I_m$, los coeficientes se simplifican significativamente, eliminando la necesidad de cálculos generales de inversión de covarianza en los términos de Kronecker.
• Proyecciones Univariantes: Para el caso donde la transformación es un producto interno vectorial ($\Lambda^T x = \lambda^T x$ con $\lambda \in \mathbb{R}^m$), el teorema proporciona una expansión en serie para $H_k(\lambda^T x)$ en términos de productos de polinomios de Hermite univariantes $\prod_j H_{q_j}(x_j)$.
  • Para los polinomios de Hermite de los probabilistas ($\Upsilon = I$):
    $$H_{\mathbf{k}}(\lambda^T x) = \sum_{q} \frac{k!}{2^i q! i!} \lambda^q (\|\lambda\|_2^2 - 1)^i \prod_j H_{q_j}(x_j)$$
  • Para los polinomios de Hermite de los físicos ($\Upsilon = \frac{1}{2}I$):
    $$H_{\mathbf{k}}(\lambda^T x) = \sum_{q} \frac{k!}{q! i!} \lambda^q (\|\lambda\|_2^2 - 1)^i \prod_j H_{q_j}(x_j)$$
    (Nota: Los índices de la sumatoria $i$ están restringidos por $i = (k - |q|)/2$.)

3. Consistencia con Resultados Conocidos

El artículo demuestra que los teoremas de multiplicación univariantes estándar (Ecuación 1 en el texto) se recuperan como casos especiales cuando $n=m=1$ y se seleccionan las matrices de covarianza apropiadas.

Significado y Pretensiones

El autor afirma que estos resultados fueron derivados durante el curso de otras investigaciones, pero se consideraron superfluos para el propósito original. Por consiguiente, el artículo se presenta principalmente como una referencia para otros investigadores que puedan requerir estas expansiones específicas.

El artículo sostiene que los resultados son novedosos según su conocimiento. No propone nuevas aplicaciones, validaciones experimentales o direcciones de investigación futura. En cambio, su valor reside en proporcionar una herramienta matemática rigurosa y generalizada para manipular polinomios de Hermite multivariantes bajo transformaciones lineales, particularmente útil para aplicaciones que involucran proyecciones vectoriales y transformadas de Hermite. El trabajo sirve para llenar un vacío en la literatura al extender una conocida propiedad univariante al dominio multivariante con estructuras de covarianza generales.