ここで行き詰まった? AI で解決しよう
Calculus · real student question

x² × e^(−x²) の x についての不定積分を求めよ。

Question

次の積分を求めよ。

∫x2e−x2 dx.\int x^{2}e^{-x^{2}}\,dx.

Step-by-step solution

  1. x2x^{2}を分けて、xxを1つ指数関数の側に回す。 xe−x2xe^{-x^{2}}には初等的な原始関数がある(内側の導関数が−2x-2xだから)が、e−x2e^{-x^{2}}単独にはない。そこで

    u=x,dv=xe−x2 dx.u=x,\qquad dv=xe^{-x^{2}}\,dx.

    と取る。逆にdv=e−x2dxdv=e^{-x^{2}}dxと分けると即座に行き詰まる——この組ませ方こそがこの問題の技巧のすべてである。

  2. 置換でvvを求める。 t=−x2t=-x^{2}、dt=−2x dxdt=-2x\,dxとして:

    v=∫xe−x2dx=−12∫et dt=−12e−x2.v=\int xe^{-x^{2}}dx=-\frac12\int e^{t}\,dt=-\frac12 e^{-x^{2}}.

    またdu=dxdu=dxである。−12-\tfrac12は置換の1−2\frac{1}{-2}から来ており、最後まで持ち歩かなければならない。

  3. 部分積分を適用する。 ∫u dv=uv−∫v du\int u\,dv=uv-\int v\,duを使うと:

    ∫x2e−x2dx=x(−12e−x2)−∫(−12e−x2)dx=−x2e−x2+12∫e−x2dx.\int x^{2}e^{-x^{2}}dx=x\left(-\frac12 e^{-x^{2}}\right)-\int\left(-\frac12 e^{-x^{2}}\right)dx=-\frac{x}{2}e^{-x^{2}}+\frac12\int e^{-x^{2}}dx.

    残った積分はガウス型であり、出発点より簡単になっている。これが組ませ方の選択が正しかったことの証拠である。

  4. ガウス型を誤差関数で表す。 ∫e−x2dx\int e^{-x^{2}}dxには初等的な原始関数が存在しない。誤差関数はまさにそれに名前を与えるために定義されている:

    erf⁡(x)=2π∫0xe−t2dt  ⟹  ∫e−x2dx=π2erf⁡(x)+C.\operatorname{erf}(x)=\frac{2}{\sqrt{\pi}}\int_{0}^{x}e^{-t^{2}}dt\;\Longrightarrow\;\int e^{-x^{2}}dx=\frac{\sqrt{\pi}}{2}\operatorname{erf}(x)+C.

  5. 組み立てて検証する。 代入して戻すと、

    ∫x2e−x2dx=−x2e−x2+π4erf⁡(x)+C.\int x^{2}e^{-x^{2}}dx=-\frac{x}{2}e^{-x^{2}}+\frac{\sqrt{\pi}}{4}\operatorname{erf}(x)+C.

    微分すると−12e−x2+x2e−x2+π4⋅2πe−x2=x2e−x2-\tfrac12 e^{-x^{2}}+x^{2}e^{-x^{2}}+\tfrac{\sqrt{\pi}}{4}\cdot\tfrac{2}{\sqrt{\pi}}e^{-x^{2}}=x^{2}e^{-x^{2}} ✓——2つの半端な項がちょうど打ち消し合う。x=0.9x=0.9での数値確認ではどちらも0.36033500.3603350になる ✓。おまけとして、erf⁡(∞)=1\operatorname{erf}(\infty)=1かつ第1項が消えることから∫0∞x2e−x2dx=π4\int_{0}^{\infty}x^{2}e^{-x^{2}}dx=\tfrac{\sqrt{\pi}}{4}が従う。

Answer

∫x2e−x2 dx=−x2e−x2+π4erf⁡(x)+C\int x^{2}e^{-x^{2}}\,dx=-\frac{x}{2}e^{-x^{2}}+\frac{\sqrt{\pi}}{4}\operatorname{erf}(x)+C

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