Problem 29
Easy Constant Coefficients

Find the general solution of y'' = e^y

Find the general solution of $y'' = e^y$.

Explanation of Method

Reduce via $p = y'$ and $y'' = p\,dp/dy$; solved in closed form for $C=0$.

Step 1: Substitution

Let $p = y'$. Express $y''$ using the chain rule: $y'' = p\,\frac{dp}{dy}.$

The equation becomes: \[p\,\frac{dp}{dy} = e^y. \tag{1}\]

Step 2: First integration

Separate variables and integrate: \[p\,dp = e^y\,dy,\qquad \frac{p^2}{2} = e^y + C_1,\qquad p^2 = 2e^y + C,\] where $C = 2C_1$ is an arbitrary constant. Thus: \[y' = \pm\sqrt{2e^y + C}. \tag{2}\]

Step 3: Second integration — the case $C=0$

Separate variables in (2) with $C=0$: $e^{-y/2}\,dy = \pm\sqrt{2}\,dx.$

Integrate: \[-2e^{-y/2} = \pm\sqrt{2}\,x + \mathrm{const} \implies e^{-y/2} = -\frac{x+C_2}{\sqrt{2}}.\]

Square both sides: \[e^{-y} = \frac{(x+C_2)^2}{2} \implies y = \ln\frac{2}{(x+C_2)^2}.\]

Step 4: General solution

For $C = 0$:

For $C \neq 0$, the solution is given implicitly by quadrature of (2): $\pm(x + C_2) = \int \frac{dy}{\sqrt{2e^y + C}}$, where $C$ and $C_2$ are arbitrary constants (the case $C=0$ above is the elementary closed form of this family).

Step 5: Verification for $C=0$

With $y = \ln 2 - 2\ln|x+C_2|$: $y' = -\frac{2}{x+C_2},\qquad y'' = \frac{2}{(x+C_2)^2}.$

Check $y'' - e^y$: $\frac{2}{(x+C_2)^2} - \frac{2}{(x+C_2)^2} = 0.$ $\checkmark$


Result

Final answer:

\[\boxed{\,y = \ln\!\left(\frac{2}{(x+C_2)^2}\right)\,}\]