Застряли на этом? Решите с помощью ИИ
Calculus · real student question

Вычислить тройной интеграл по всей R³ от exp(−alpha·(x² + y² + z²)), умноженного на сумму: a·cos(xξ + yη + zζ) + b·sin(xξ + yη + zζ) + c·(x² + y² + z²).

Question

Для α>0\alpha > 0 и (ξ,η,ζ)∈R3(\xi, \eta, \zeta) \in \mathbb{R}^3 требуется вычислить

I=∭R3e−α(x2+y2+z2)(acos⁡(xξ+yη+zζ)+bsin⁡(xξ+yη+zζ)+c (x2+y2+z2))dx dy dzI = \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. Переход к векторным обозначениям и разбиение на три интеграла. Обозначим x=(x,y,z)\mathbf{x} = (x, y, z), k=(ξ,η,ζ)\mathbf{k} = (\xi, \eta, \zeta), r=∥x∥r = \|\mathbf{x}\|, k=∥k∥k = \|\mathbf{k}\|. Тогда xξ+yη+zζ=x⋅kx\xi + y\eta + z\zeta = \mathbf{x}\cdot\mathbf{k}, и

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

    где I1=∭e−αr2cos⁡(x⋅k) d3xI_1 = \iiint e^{-\alpha r^2}\cos(\mathbf{x}\cdot\mathbf{k})\,d^3x, I2I_2 — то же с синусом, I3=∭e−αr2r2 d3xI_3 = \iiint e^{-\alpha r^2} r^2\,d^3x. Условие α>0\alpha > 0 обеспечивает сходимость всех трёх интегралов.

  2. Уничтожение синус-терма по нечётности. При замене x↦−x\mathbf{x} \mapsto -\mathbf{x} гауссиан e−αr2e^{-\alpha r^2} не меняется, а sin⁡(x⋅k)\sin(\mathbf{x}\cdot\mathbf{k}) меняет знак, так что подынтегральная функция нечётна относительно симметричной области:

    I2=0I_2 = 0

    Следовательно, коэффициент bb в ответ не входит.

  3. Вычисление косинус-терма как преобразования Фурье. Стандартное преобразование Фурье для трёхмерного гауссиана:

    ∭R3e−αr2eix⋅k d3x=(πα)3/2e−k2/(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)}

    (каждое направление даёт π/α e−ki2/4α\sqrt{\pi/\alpha}\,e^{-k_i^2/4\alpha} после выделения полного квадрата). Берём действительную часть — мнимая как раз равна I2=0I_2 = 0 — получаем

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

  4. Вычисление слагаемого с r² в сферических координатах. Подынтегральная функция зависит только от rr, поэтому d3x=4πr2 drd^3x = 4\pi r^2\,dr:

    I3=4π∫0∞r4e−αr2 drI_3 = 4\pi\int_0^{\infty} r^4 e^{-\alpha r^2}\,dr

    Подстановка u=αr2u = \alpha r^2 сводит интеграл к гамма-функции:

    ∫0∞r4e−α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}}

    где Γ(5/2)=34π\Gamma(5/2) = \tfrac{3}{4}\sqrt{\pi}. Следовательно, I3=3π3/22α5/2I_3 = \dfrac{3\pi^{3/2}}{2\alpha^{5/2}}.

  5. Собираем итоговую формулу.

    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}}

    Структура ответа: часть с aa убывает по kk (это гауссиан в частотной области), а часть с cc — чистая константа, не зависящая от k\mathbf{k}.

  6. Числовая проверка. При α=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 подстановка в явную формулу даёт 25.442094725.4420947. Численный расчёт на 90-узловой сетке Гаусса-Лежандра по [−6,6]3[-6,6]^3 (вне этого диапазона гауссиан практически обнуляется) также даёт 25.442094725.4420947 — совпадение до восьмого знака, включая тот факт, что слагаемое с b=2.1b = 2.1 не даёт вклада.

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 →