Permita que$m,n,k$ sean enteros no negativos. ¿Cómo puedo evaluar la siguiente integral?
ps
Respuestas
¿Demasiados anuncios?
SUGERENCIA, aún no es una respuesta completa.
Los polinomios de Hermite: $$H_n(x)=(-1)^n e^{x^2}\frac{d^n}{dx^n}e^{-x^2}$$
de manera integral se convierte en:
$$ I_{m,n,k}=(-1)^{m+n}\int_{-\infty}^\infty H_m(x) H_n(x) x^k e^{-x^2} \mathrm{d}x $$
Caso Particular $k=0$:
$$ I_{m,n,0}=(-1)^{m+n}\int_{-\infty}^\infty H_m(x) H_n(x) e^{-x^2} \mathrm{d}x = (-1)^{m+n}\sqrt\pi 2^nn!\delta_{mn}$$
EDIT: El caso general
Recordando que:
$$x^k = \frac{k!}{2^k} \sum_{j=0}^{\lfloor \tfrac{k}{2} \rfloor} \frac{1}{j!(k-2j)! } ~H_{k-2j}(x)~$$
y reemplazando en la general integral, podemos encontrar:
$$I_{m,n,k}=(-1)^{m+n}\int_{-\infty}^\infty H_m(x) H_n(x) e^{-x^2} \frac{k!}{2^k} \sum_{j=0}^{\lfloor \tfrac{k}{2} \rfloor} \frac{1}{j!(k-2j)! } ~H_{k-2j}(x)~ \mathrm{d}x =$$ $$=\sum_{j=0}^{\lfloor \tfrac{k}{2} \rfloor} \frac{1}{j!(k-2j)! } \frac{k!}{2^k} (-1)^{m+n}\int_{-\infty}^\infty H_m(x) H_n(x) H_{k-2j} e^{-x^2} (x)~ \mathrm{d}x =$$
Ahora podemos hacer uso de la siguiente integral:
$$\int_{-\infty}^\infty H_m(x) H_n(x) H_l(x) e^{-x^2} dx = \frac{2^{\frac{m+n+l}{2}}l!m!n!\sqrt\pi}{\left(\frac{m+l-n}{2}\right)!\left(\frac{n+l-m}{2}\right)!\left(\frac{m+n-l}{2}\right)!}$$ when $\frac{m+n+l}{2}$ is integer and $m+n\ge l$ and $m+l \ge n$ and $l+n\ge m$ ; Cero en caso contrario.
Por lo tanto:
$$I_{m,n,k}=\sum_{j=0}^{\lfloor \tfrac{k}{2} \rfloor} \frac{1}{j!(k-2j)! } \frac{k!}{2^k} (-1)^{m+n} \frac{2^{\frac{m+n+k-2j}{2}}(k-2j)!m!n!\sqrt\pi}{\left(\frac{m+k-2j-n}{2}\right)!\left(\frac{n+k-2j-m}{2}\right)!\left(\frac{m+n-k+2j}{2}\right)!}=$$
Simplificando ( hemos empleado el hecho de que si $m+n-k$ es un entero par también se $\pm m \pm n \pm k$ $\pm m \pm n \pm k \pm 2j$ son números enteros) se puede reescribir:
$$I_{m,n,k} = \begin{cases}2^{\frac{m+n-k}{2}}(-1)^{m+n}m!n!k! \sqrt\pi \sum_{j=0}^{\lfloor \tfrac{k}{2} \rfloor} \frac{2^{-j}[m+n+\ge k-2j][m+k-2j \ge n][k-2j+n\ge m] }{j!\left(\frac{m+k-2j-n}{2}\right)!\left(\frac{n+k-2j-m}{2}\right)!\left(\frac{m+n-k+2j}{2}\right)!} & \text{when $\frac{m+n+k}{2}$ is integer} \\ 0 & \text{ otherwise} \end{cases}$$
donde la Iverson convención (véase "Concreto de las Matemáticas", Graham,Knuth,Patshnik, y http://en.wikipedia.org/wiki/Iverson_bracket ) ha sido empleado:
$$[statement]=\begin{cases}1 & \text{when statement is true} \\ 0 & \text{otherwise}\end{cases}$$
ADDENDUM (Alternativas de solución) En Wolfram:
http://mathworld.wolfram.com/HermitePolynomial.html
La ecuación (52) da otra solución de aboveseen integral. Creo que esta solución alternativa tiene una complejidad comparable a la que he propuesto.
http://mathworld.wolfram.com/images/equations/HermitePolynomial/NumberedEquation14.gif
Claude Leibovici
Puntos
54392
No veo cómo se puede encontrar una forma cerrada para la integral.
Lo que puedes notar es que cada término derivado escribe como un polinomio$$\frac{{d}^m}{{d}x^m} \Big(e^{-x^2}\Big)=P_m(x)~~ e^{-x^2} $$ which makes $$\frac{{d}^m}{{d}x^m} \Big(e^{-x^2}\Big)~~\frac{{d}^n}{{d}x^n} \Big(e^{-x^2}\Big)~~x^k~~e^{x^2}=P_{m+n+k}(x) ~~e^{-x^2}$$ and, so, you are let with a sum of integrals $$I_p=\int_{-\infty}^\infty x^p ~e^{-x^2} \,dx=\frac{1}{2}~ \Big(1+(-1)^p\Big)~~ \Gamma \Big(\frac{p+1}{2}\Big)$$ You can notice that $$I_{2p-1}=0$$ $$I_{2p}=\Gamma\Big(p+\frac{1}{2}\Big)$$ which, more than likely, will make the entire integral as the product of a polynomial in $ k$ by $ \ Gamma \ Big (k + \ frac {1} {2} \ Big) $.
