Calculus · real student question

Evaluate the triple integral over all of R³ of exp(−alpha times (x² + y² + z²)) multiplied by the sum: a cos(xξ + yη + zζ) plus b sin(xξ + yη + zζ) plus c times (x² + y² + z²).

Question

For α>0\alpha > 0 and (ξ,η,ζ)R3(\xi, \eta, \zeta) \in \mathbb{R}^3, evaluate

I=R3eα(x2+y2+z2)(acos(xξ+yη+zζ)+bsin(xξ+yη+zζ)+c(x2+y2+z2))dxdydzI = \iiint_{\mathbb{R}^3} e^{-\alpha(x^2+y^2+z^2)}\Bigl(a\cos(x\xi + y\eta + z\zeta) + b\sin(x\xi + y\eta + z\zeta) + c\,(x^2+y^2+z^2)\Bigr) dx\,dy\,dz

Step-by-step solution

  1. Move to vector notation and split into three integrals. Write x=(x,y,z)\mathbf{x} = (x,y,z), k=(ξ,η,ζ)\mathbf{k} = (\xi,\eta,\zeta), r=xr = \|\mathbf{x}\| and k=kk = \|\mathbf{k}\|. Then xξ+yη+zζ=xkx\xi + y\eta + z\zeta = \mathbf{x}\cdot\mathbf{k} and

    I=aI1+bI2+cI3I = aI_1 + bI_2 + cI_3

    with I1=eαr2cos(xk)d3xI_1 = \iiint e^{-\alpha r^2}\cos(\mathbf{x}\cdot\mathbf{k})\,d^3x, I2I_2 the same with sine, and I3=eαr2r2d3xI_3 = \iiint e^{-\alpha r^2} r^2\,d^3x. The condition α>0\alpha > 0 is what makes all three converge.

  2. Kill the sine term by parity. Under xx\mathbf{x} \mapsto -\mathbf{x} the Gaussian eαr2e^{-\alpha r^2} is unchanged while sin(xk)\sin(\mathbf{x}\cdot\mathbf{k}) flips sign, so the integrand is odd over a domain symmetric about the origin:

    I2=0I_2 = 0

    The coefficient bb therefore never appears in the answer.

  3. Evaluate the cosine term as a Fourier transform. The standard 3-D Gaussian transform is

    R3eαr2eixkd3x=(πα)3/2ek2/(4α)\iiint_{\mathbb{R}^3} e^{-\alpha r^2} e^{i\mathbf{x}\cdot\mathbf{k}}\,d^3x = \left(\frac{\pi}{\alpha}\right)^{3/2} e^{-k^2/(4\alpha)}

    (each Cartesian direction contributes π/αeki2/4α\sqrt{\pi/\alpha}\,e^{-k_i^2/4\alpha} after completing the square). Taking real parts — the imaginary part is exactly I2=0I_2 = 0 — gives

    I1=(πα)3/2ek2/(4α)I_1 = \left(\frac{\pi}{\alpha}\right)^{3/2} e^{-k^2/(4\alpha)}

  4. Evaluate the r² term in spherical coordinates. The integrand depends only on rr, so d3x=4πr2drd^3x = 4\pi r^2\,dr:

    I3=4π0r4eαr2drI_3 = 4\pi\int_0^{\infty} r^4 e^{-\alpha r^2}\,dr

    The substitution u=αr2u = \alpha r^2 turns this into a gamma integral:

    0r4eαr2dr=Γ(5/2)2α5/2=3π8α5/2\int_0^\infty r^4 e^{-\alpha r^2}dr = \frac{\Gamma(5/2)}{2\alpha^{5/2}} = \frac{3\sqrt{\pi}}{8\alpha^{5/2}}

    using Γ(5/2)=34π\Gamma(5/2) = \tfrac{3}{4}\sqrt{\pi}. Hence I3=3π3/22α5/2I_3 = \dfrac{3\pi^{3/2}}{2\alpha^{5/2}}.

  5. Assemble the result.

    I=a(πα)3/2e(ξ2+η2+ζ2)/(4α)+3cπ3/22α5/2I = a\left(\frac{\pi}{\alpha}\right)^{3/2} e^{-(\xi^2+\eta^2+\zeta^2)/(4\alpha)} + \frac{3c\,\pi^{3/2}}{2\alpha^{5/2}}

    Note the structure: the aa-part decays in kk (a Gaussian in frequency space), while the cc-part is a pure constant independent of k\mathbf{k}.

  6. Verify numerically. With α=0.7\alpha = 0.7, k=(0.3,0.5,1.1)\mathbf{k} = (0.3, -0.5, 1.1), a=1.3a = 1.3, b=2.1b = 2.1, c=0.9c = 0.9, the closed form gives 25.442094725.4420947. A 9090-point Gauss-Legendre grid on [6,6]3[-6,6]^3 (the Gaussian is negligible beyond that) gives 25.442094725.4420947 — agreement to eight digits, including the fact that the b=2.1b = 2.1 term contributes nothing.

Answer

a(πα)3/2e(ξ2+η2+ζ2)/(4α)+3cπ3/22α5/2a\left(\frac{\pi}{\alpha}\right)^{3/2} e^{-(\xi^2+\eta^2+\zeta^2)/(4\alpha)} + \frac{3c\,\pi^{3/2}}{2\alpha^{5/2}}

Need to solve a different problem like this? Open the solver →