Resumo Técnico: Um Teorema de Multiplicação Geral para Polinômios de Hermite Multivariados

Enunciado do Problema

O teorema de multiplicação para polinômios de Hermite univariados, que descreve a expansão de $H_k(\lambda x)$ em termos de $H_{k-2i}(x)$, é um resultado bem estabelecido na literatura matemática. No entanto, uma versão generalizada deste teorema para polinômios de Hermite multivariados $H_k(\Lambda x; \Sigma)$, onde o argumento é transformado por uma matriz $\Lambda$ e os polinômios são definidos em relação a uma matriz de covariância positiva definida geral $\Sigma$, não foi explicitamente formulada no texto fornecido.

O artigo aborda a necessidade de derivar um teorema de multiplicação que relacione polinômios de Hermite multivariados de um vetor linearmente transformado a uma série de polinômios de Hermite multivariados do vetor original, potencialmente sob uma estrutura de covariância diferente.

Metodologia

A derivação baseia-se na abordagem da função geradora para polinômios de Hermite multivariados. O autor utiliza a identidade da função geradora conhecida:
$$\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)$$

O núcleo da metodologia envolve as seguintes etapas:

1. Substituição: O argumento $x$ na função geradora é substituído por $\Lambda^T x$, onde $\Lambda \in \mathbb{R}^{n \times m}$.
2. Decomposição: O termo exponencial resultante é fatorado em duas partes: uma que se assemelha à função geradora de polinômios de Hermite com uma nova matriz de covariância $\Upsilon$, e um termo exponencial residual que representa a diferença entre as estruturas de covariância transformada e original.
3. Re-expansão: A primeira parte é expandida usando a função geradora para $H_q(x; \Upsilon)$. A segunda parte (o residual) é expandida como uma série de potências envolvendo potências de Kronecker e vetorização ($\text{vec}$).
4. Correspondência de Coeficientes: Ao igualar os coeficientes dos termos da série de potências $t^{\otimes k}$ em ambos os lados da equação, o autor isola a relação entre os coeficientes dos polinômios originais $H_k(\Lambda^T x; \Sigma)$ e os polinômios alvo $H_q(x; \Upsilon)$.
5. Manipulação de Álgebra Linear: A prova emprega propriedades de produtos de Kronecker, especificamente a identidade $(A^T b)^k = A^{\otimes k T} b^{\otimes |k|}$, para resolver as estruturas tensoriais e extrair os coeficientes explícitos.

Contribuições Principais e Resultados

1. Teorema de Multiplicação Geral

O principal resultado é a derivação do teorema de multiplicação geral para polinômios de Hermite multivariados. Para matrizes de covariância simétricas e positivas definidas $\Sigma \in \mathbb{R}^{n \times n}$ e $\Upsilon \in \mathbb{R}^{m \times m}$, e qualquer matriz $\Lambda \in \mathbb{R}^{n \times m}$, o teorema afirma:

$$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)$$

Os coeficientes $T_{k,q}$ são explicitamente definidos usando potências de Kronecker e vetorização:
$$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 Especiais e Generalidade Intermediária

O artigo deriva várias instâncias específicas do teorema geral para aumentar a aplicabilidade prática:

• Covariância Escalar: Quando $\Sigma = \sigma^2 I_n$ e $\Upsilon = \sigma^2 I_m$, os coeficientes simplificam-se significativamente, eliminando a necessidade de cálculos de inversa de covariância geral nos termos de Kronecker.
• Projeções Univariadas: Para o caso em que a transformação é um produto interno vetorial ($\Lambda^T x = \lambda^T x$ com $\lambda \in \mathbb{R}^m$), o teorema fornece uma expansão em série para $H_k(\lambda^T x)$ em termos de produtos de polinômios de Hermite univariados $\prod_j H_{q_j}(x_j)$.
  • Para polinômios de Hermite de 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 polinômios de Hermite de 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: os índices de soma $i$ são restritos por $i = (k - |q|)/2$.)

3. Consistência com Resultados Conhecidos

O artigo demonstra que os teoremas de multiplicação univariados padrão (Equação 1 no texto) são recuperados como casos especiais quando $n=m=1$ e matrizes de covariância apropriadas são selecionadas.

Significância e Alegações

O autor afirma que estes resultados foram derivados durante o curso de outras pesquisas, mas foram considerados supérfluos para o propósito original. Consequentemente, o artigo é apresentado primariamente como uma referência para outros pesquisadores que possam necessitar destas expansões específicas.

O artigo alega que os resultados são novos, tanto quanto o conhecimento do autor. Não propõe novas aplicações, validações experimentais ou direções de pesquisa futura. Em vez disso, seu valor reside em fornecer uma ferramenta matemática rigorosa e generalizada para manipular polinômios de Hermite multivariados sob transformações lineares, particularmente útil para aplicações envolvendo projeções vetoriais e transformadas de Hermite. O trabalho serve para preencher uma lacuna na literatura ao estender uma propriedade univariada bem conhecida para o domínio multivariado com estruturas de covariância gerais.