Calculus · real student question

Solve the differential equation d/dx(dy/dx) = e^y, that is y double prime = e^y.

Question

Solve

ddx ⁣(dydx)=ey,that isy=ey.\frac{d}{dx}\!\left(\frac{dy}{dx}\right)=e^{y},\qquad\text{that is}\qquad y''=e^{y}.

Step-by-step solution

  1. Recognise the equation as autonomous. The independent variable xx does not appear explicitly — only yy and its derivatives do. For such equations the standard move is to make yy, not xx, the independent variable, which drops the order from two to one.

  2. Substitute v=yv=y' and use the chain rule in yy. Writing vv as a function of yy,

    y=dvdx=dvdydydx=vdvdy.y''=\frac{dv}{dx}=\frac{dv}{dy}\cdot\frac{dy}{dx}=v\frac{dv}{dy}.

    The equation becomes the first-order separable equation

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

    This vdvdyv\,\frac{dv}{dy} identity is the entire technique; without it the substitution v=yv=y' leaves an equation in three variables.

  3. Separate and integrate to get the first integral. From vdv=eydyv\,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}.

    This is a conserved quantity — the mechanical analogue is energy conservation for a particle in the potential ey-e^{y}. Taking the square root,

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

  4. Separate a second time. The remaining equation is separable in yy and xx:

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

    For C1=k>0C_{1}=k>0 the substitution u=eyu=e^{y} turns the left side into duu2u+k\int\frac{du}{u\sqrt{2u+k}}, a standard form evaluating to

    1kln2ey+kk2ey+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. Invert to an explicit solution. Solving that logarithmic relation for yy collapses the algebra into a hyperbolic sine:

    y=ln ⁣C122lnsinh ⁣(C1(xx0)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,

    where x0x_{0} absorbs C2C_{2}. The degenerate case C1=0C_{1}=0 is simpler and worth quoting separately:

    y=2lncx2.y=-2\ln\left|c-\frac{x}{\sqrt2}\right|.

  6. Verify both forms numerically. For C1=1.5C_{1}=1.5, x0=0.3x_{0}=0.3: a second-difference estimate of yy'' at x=1.4x=1.4 gives 1.424051.42405 against ey=1.42404e^{y}=1.42404 ✓, and at x=2.2x=2.2 gives 0.359500.35950 against 0.359500.35950 ✓. For the C1=0C_{1}=0 branch with c=3c=3: at x=1x=1, y=0.190212y''=0.190212 and ey=0.190210e^{y}=0.190210 ✓. Both solutions blow up where the logarithm argument vanishes, which is genuine — the solution reaches infinity in finite xx.

Answer

(dydx)2=2ey+C1;y=lnC122lnsinhC1(xx0)2 (C1>0),y=2lncx2 (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 →