y=xexy = x e^{-x}

関数 y=xexy = x e^{-x} のグラフ

y=xexy = x e^{-x} は一次式 xx と減衰指数 exe^{-x} の積です。定義域はすべての実数で、原点 (0,0)(0, 0) を通ります。x>0x > 0 では正、x<0x < 0 では負の値をとります。

xxxx とともに大きくなろうとし、exe^{-x} は値を 00 へ抑えつけようとします。この綱引きの結果、グラフはいったん山を作ってから 00 に近づく、特徴的な形になります。導関数は積の微分法から次のようになります。

y=(1x)exy' = (1 - x)e^{-x}

ex>0e^{-x} > 0 なので符号は 1x1 - x で決まり、x<1x < 1 で増加、x>1x > 1 で減少します。したがって x=1x = 1最大値 1e1=1e0.3681 \cdot e^{-1} = \dfrac{1}{e} \approx 0.368 をとります。

x+x \to +\infty では、指数の減衰が一次の増加に勝つため 00 に近づき、xx 軸が水平漸近線になります。一方 xx \to -\infty では x<0x < 0 かつ ex+e^{-x} \to +\infty なので -\infty に発散します。二次導関数は y=(x2)exy'' = (x - 2)e^{-x} で、x=2x = 2 の前後で符号が変わるため、x=2x = 2変曲点(値は 2e20.2712e^{-2} \approx 0.271)です。

代表的な値を挙げると次のとおりで、山を越えた後は 00 へ向けてなだらかに減っていきます。

  • x=0x = 0y=0y = 0
  • x=1x = 1y=1e0.368y = \dfrac{1}{e} \approx 0.368(最大)
  • x=2x = 2y=2e20.271y = \dfrac{2}{e^2} \approx 0.271(変曲点)
  • x=3x = 3y=3e30.149y = \dfrac{3}{e^3} \approx 0.149

曲線は左右非対称で、山の左側は原点から急に立ち上がり、右側は長く裾を引きます。x0x \geq 0 の部分の面積は 0xexdx=1\displaystyle\int_0^{\infty} x e^{-x}\,dx = 1 となり、これはガンマ関数の値 Γ(2)=1!=1\Gamma(2) = 1! = 1 に対応します。この結果は、xkexx^k e^{-x} が確率密度としてきれいに正規化できることを示しています。

これは xkexx^k e^{-x} という形の最も簡単な例(k=1k = 1)で、統計学のガンマ分布やアーラン分布の確率密度と同じ骨格をもちます。待ち行列理論や信号処理、放射性崩壊の連鎖など、「増加要因と減衰要因がせめぎ合う」現象のモデルとして広く使われます。