Separation of Variables

Definition

A separable ODE is an equation of the form

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x'(t) = g(t) f(x(t))}

for some functions $g:\mathbb {R} \to \mathbb {R}$, $f:\mathbb {R} ^{n}\to \mathbb {R} ^{n}$. In this chapter, we shall only be concerned with the case $n=1$.

We often write for this ODE

$x'=g(t)f(x)$

for short, omitting the argument of $x$.

[Note that the term "separable" comes from the fact that an important class of differential equations has the form

$x'=h(t,x)$

for some $h:\mathbb {R} \times \mathbb {R} ^{n}\to \mathbb {R}$; hence, a separable ODE is one of these equations, where we can "split" the $h$ as $h(t,x)=g(t)f(x)$.]

Informal derivation of the solution

Using Leibniz' notation for the derivative, we obtain an informal derivation of the solution of separable ODEs, which serves as a good mnemonic.

Let a separable ODE

$x'=g(t)f(x)$

be given. Using Leibniz notation, it becomes

${\frac {dx}{dt}}=g(t)f(x)$.

We now formally multiply both sides by $dt$ and divide both sides by $f(x)$ to obtain

${\frac {dx}{f(x)}}=g(t)dt$.

Integrating this equation yields

$\int {\frac {dx}{f(x)}}=\int g(t)dt$.

Define

$F(x):=\int {\frac {dx}{f(x)}}$;

this shall mean that $F$ is a primitive of ${\frac {1}{f(x)}}$. If then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} is invertible, we get

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = F^{-1}\left( \int g(t) dt \right) = F^{-1} \circ G} ,

where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} is a primitive of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g} ; that is, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x(s) = F^{-1}(G(s))} , now inserting the variable of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} back into the notation.

Now the formulae in this derivation don't actually mean anything; it's only a formal derivation. But below, we will prove that it actually yields the right result.

General solution

Theorem 2.1:

Let a separable, one-dimensional ODE

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x'(t) = g(t) f(x(t))}

be given, where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} is never zero. Let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} be an antiderivative of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} an antiderivative of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g} . If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} is invertible, the function

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x(t) := F^{-1}(G(t))}

solves the ODE under consideration.

Proof:

By the inverse and chain rules,

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dt} F^{-1}(G(t)) = \frac{1}{\frac{1}{f(F^{-1}(G(t)))}} G'(t) = f(F^{-1}(G(t))) g(t)} ;

since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} is never zero, the fraction occuring above involving Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} is well-defined.

Resources

• Differential Equations: Separation of Variables by James Sousa

• Ex.1 Differential Equations: Separation of Variables by James Sousa

• Ex.2 Differential Equations: Separation of Variables by James Sousa

• Ex.3 Differential Equations: Separation of Variables by James Sousa

• Ex 1: Initial Value Problem - Separation of Variables by James Sousa

• Ex 2: Initial Value Problem - Separation of Variables by James Sousa

• Solving Separable First Order Differential Equations - Ex 1 by patrickJMT

• Solving Separable First Order Differential Equations - Ex 2 by patrickJMT

• Solving a Separable Differential Equation, Another Example #1 by patrickJMT

• Solving a Separable Differential Equation, Another Example #2 by patrickJMT

Licensing

Content obtained and/or adapted from:

• Separation of Variables, Wikibooks: Ordinary Differential Equations/Separable equations under a CC BY-SA license