卡在這題?用 AI 解開它
Calculus · real student question

解微分方程式 d/dx(dy/dx) = e^y,也就是 y 的二階導數等於 e^y。

Question

解

ddx ⁣(dydx)=ey,也就是y′′=ey.\frac{d}{dx}\!\left(\frac{dy}{dx}\right)=e^{y},\qquad\text{也就是}\qquad y''=e^{y}.

Step-by-step solution

  1. 認出這是自治方程式。 自變數 xx 沒有顯式出現——出現的只有 yy 與它的導數。對這類方程式,標準的做法是把 yy(而不是 xx)當成自變數,這會把階數從二降到一。

  2. 代入 v=y′v=y',並對 yy 使用連鎖律。 把 vv 寫成 yy 的函數,

    y′′=dvdx=dvdy⋅dydx=vdvdy.y''=\frac{dv}{dx}=\frac{dv}{dy}\cdot\frac{dy}{dx}=v\frac{dv}{dy}.

    方程式就變成一階可分離變數的方程式

    vdvdy=ey.v\frac{dv}{dy}=e^{y}.

    這個 v dvdyv\,\frac{dv}{dy} 的恆等式就是整個技術的核心;少了它,代換 v=y′v=y' 只會留下一個含三個變數的方程式。

  3. 分離變數並積分,得到首次積分。 由 v dv=ey dyv\,dv=e^{y}\,dy:

    v22=ey+C  ⟹  (dydx)2=2ey+C1.\frac{v^{2}}{2}=e^{y}+C\;\Longrightarrow\;\left(\frac{dy}{dx}\right)^{2}=2e^{y}+C_{1}.

    這是一個守恆量——力學上的類比,就是質點在位能 −ey-e^{y} 中的能量守恆。取平方根,

    dydx=±2ey+C1.\frac{dy}{dx}=\pm\sqrt{2e^{y}+C_{1}}.

  4. 再分離一次變數。 剩下的方程式對 yy 與 xx 是可分離的:

    ∫dy2ey+C1=±x+C2.\int\frac{dy}{\sqrt{2e^{y}+C_{1}}}=\pm x+C_{2}.

    當 C1=k>0C_{1}=k>0 時,代換 u=eyu=e^{y} 把左邊變成 ∫duu2u+k\int\frac{du}{u\sqrt{2u+k}},這是一個標準形,積出來是

    1kln⁡∣2ey+k−k2ey+k+k∣=±x+C2.\frac{1}{\sqrt{k}}\ln\left|\frac{\sqrt{2e^{y}+k}-\sqrt{k}}{\sqrt{2e^{y}+k}+\sqrt{k}}\right|=\pm x+C_{2}.

  5. 反解出明確的解。 把那個含對數的關係式對 yy 解開,代數就塌縮成一個雙曲正弦:

    y=ln⁡ ⁣C12−2ln⁡∣sinh⁡ ⁣(C1 (x−x0)2)∣,C1>0,y=\ln\!\frac{C_{1}}{2}-2\ln\left|\sinh\!\left(\frac{\sqrt{C_{1}}\,(x-x_{0})}{2}\right)\right|,\qquad C_{1}>0,

    其中 x0x_{0} 吸收了 C2C_{2}。退化的情形 C1=0C_{1}=0 比較簡單,值得單獨列出:

    y=−2ln⁡∣c−x2∣.y=-2\ln\left|c-\frac{x}{\sqrt2}\right|.

  6. 把兩種形式都做數值驗證。 取 C1=1.5C_{1}=1.5、x0=0.3x_{0}=0.3:在 x=1.4x=1.4 處用二階差分估計 y′′y'' 得到 1.424041.42404,對照 ey=1.42404e^{y}=1.42404 ✓;在 x=2.2x=2.2 處得到 0.359500.35950,對照 0.359500.35950 ✓。至於 C1=0C_{1}=0 這一支,取 c=3c=3:在 x=1x=1 處 y′′=0.190210y''=0.190210 而 ey=0.190210e^{y}=0.190210 ✓。兩個解都會在對數的引數消失之處爆掉,這是真實的現象——解會在有限的 xx 之內衝到無窮大。

Answer

(dydx)2=2ey+C1;y=ln⁡C12−2ln⁡∣sinh⁡C1(x−x0)2∣ (C1>0),y=−2ln⁡∣c−x2∣ (C1=0)\left(\frac{dy}{dx}\right)^{2}=2e^{y}+C_{1};\qquad y=\ln\frac{C_{1}}{2}-2\ln\left|\sinh\frac{\sqrt{C_{1}}(x-x_{0})}{2}\right|\ (C_{1}>0),\qquad y=-2\ln\left|c-\frac{x}{\sqrt2}\right|\ (C_{1}=0)

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