2.1.8.4 Solved using first_order_ode_dAlembert

Entering first order ode dAlembert solver

\[\begin {aligned} x^{\prime }&=b \,{\mathrm e}^{x}\\ x \left (0\right ) &= 1\\ \end {aligned}\]

Let \(p=x^{\prime }\) the ode becomes

\begin{align*} p = b \,{\mathrm e}^{x} \end{align*}

Solving for \(x\) from the above results in

\begin{align*} x &= \ln \left (\frac {p}{b}\right )\tag {1A} \end{align*}

This has the form

\begin{align*} x&=t f(p)+g(p)\tag {*} \end{align*}

Where \(f,g\) are functions of \(p=x'(t)\). The above ode is dAlembert ode which is now solved.

Taking derivative of (*) w.r.t. \(t\) gives

\begin{align*} p &= f+(t f'+g') \frac {dp}{dt}\\ p-f &= (t f'+g') \frac {dp}{dt}\tag {2} \end{align*}

Comparing the form \(x=t f + g\) to (1A) shows that

\begin{align*} f &= 0\\ g &= \ln \left (\frac {p}{b}\right ) \end{align*}

Hence (2) becomes

\begin{align*} p = \frac {p^{\prime }\left (t \right )}{p}\tag {3} \end{align*}

The singular solution is found by setting \(\frac {dp}{dt}=0\) in the above which gives

\begin{align*} p = 0 \end{align*}

No valid singular solutions found.

The general solution is found when \( \frac { \mathop {\mathrm {d}p}}{\mathop {\mathrm {d}t}}\neq 0\) from eq. (3). This results in

\begin{align*} p^{\prime }\left (t \right ) = p \left (t \right )^{2}\tag {4} \end{align*}

This ODE is now solved for \(p \left (t \right )\). No inversion is needed.

Integrating gives

\begin{align*} \int \frac {1}{p^{2}}d p &= dt\\ -\frac {1}{p}&= t +c_1 \end{align*}

Singular solutions are found by solving

\begin{align*} p^{2}&= 0 \end{align*}

for \(p \left (t \right )\). This is because of dividing by the above earlier. This gives the following singular solution(s), which also has to satisfy the given ODE.

\begin{align*} p \left (t \right )&=0 \end{align*}

Solving for \(p\) from above gives

\[ p = \ln \left (-\frac {1}{\left (t +c_1 \right ) b}\right ) \]

Substituing the above solution for \(p\) in \(x = \ln \left (\frac {p}{b}\right )\) gives

\[ x = \ln \left (-\frac {1}{\left (t +c_1 \right ) b}\right ) \]

Initial condition \(x \left (0\right ) = 1\) is now applied. Applying the initial condition \(x \left (0\right ) = 1\), the solution becomes

\begin{align*} x &= \ln \left (-\frac {1}{\left (t -\frac {{\mathrm e}^{-1}}{b}\right ) b}\right ) \\ \end{align*}

Simplifying the above gives

\[ x = \ln \left (\frac {1}{-t b +{\mathrm e}^{-1}}\right ) \]

Summary of solutions found

\[ x = \ln \left (\frac {1}{-t b +{\mathrm e}^{-1}}\right ) \]