Let \(y(x)\) be a solution of the differential equation
\( \dfrac {\d^2 y}{\d x^2}+y^3=0\) with \(y = 1\) and \(\dfrac{\d y}{\d x} =0\) at \(x=0\), and let
\[
{\rm E} (x)=
\left ( \frac {\d y}{\d x}\right)^{\!\!2} + \tfrac 12 y^4\,.
\]
Show by differentiation that \({\rm E}\) is constant and deduce that \( \vert y(x) \vert \le 1\) for all \(x\).
Let \(v(x)\) be a solution of the differential equation
\( \dfrac{\d^2 v}{\d x^2} + x \dfrac {\d v}{\d x} +\sinh v =0\) with \(v = \ln 3\) and \(\dfrac{\d v}{\d x} =0\) at \(x=0\), and let
\[
{\rm E} (x)=
\left ( \frac {\d v}{\d x}\right)^{\!\!2} + 2 \cosh v\,.
\]
Show that \(\dfrac{\d{\rm E}}{\d x}\le 0\) for \(x\ge0\) and deduce that \(\cosh v(x) \le \frac53\) for \(x\ge0\).
Let \(w(x)\) be a solution of the differential equation
\[
\frac{\d^2 w}{\d x^2} + (5\cosh x - 4 \sinh x -3) \frac{\d w}{\d x} +
(w\cosh w + 2 \sinh w) =0
\]
with \(\dfrac{\d w }{\d x}=\dfrac 1 { \sqrt 2 }\) and \(w=0\) at \(x=0\).
Show that \(\cosh w(x) \le \frac54\) for \(x\ge0\).