Separation of Variables (Worksheet)
- Page ID
- 38620
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Name: ______________________________
Section: _____________________________
Student ID#:__________________________
Work in groups on these problems. You should try to answer the questions without referring to your textbook. If you get stuck, try asking another group for help.
Learning Objectives
- Identify separable simple differential equations.
- Solve separable differential equations and initial value problems.
- Determine the interval(s) (with respect to the independent variable) on which a solution to a separable differential equation is defined.
The "separation of variables" is any of several methods for solving ordinary and partial differential equations, in which algebra allows one to rewrite an equation so that each of two variables occurs on a different side of an equation. The method of separation of variables is also used to solve a wide range of linear partial differential equations with boundary and initial conditions.
Separable Differential Equations
A separable differential equation is a differential equation whose algebraic structure permits the variables present to be separated in a particular way. For instance, consider the equation
\[\dfrac{dy}{dt} = t y.\]
We would like to separate the variables \(t\) and \(y\) so that all occurrences of \(t\) appear on the right-hand side, and all occurrences of \(y\) appears on the left and multiply \(dy/dt\). We may do this in the preceding differential equation by dividing both sides by \(y\):
\[\dfrac{1}{y} \dfrac{dy}{dt} = t. \]
Note particularly that when we attempt to separate the variables in a differential equation, we require that the left-hand side be a product in which the derivative \(dy/dt\) is one term. Not every differential equation is separable. For example, if we consider the equation
\[\dfrac{dy}{ dt} = t − y,\]
it may seem natural to separate it by writing
\[y + \dfrac{dy}{dt} = t.\]
As we will see, this will not be helpful since the left-hand side is not a product of a function of \(y\) with \(\frac{dy}{dt}\).
Q1
Which of the following differential equations are separable? If the equation is separable, write the equation in the revised form \(g(y) \dfrac{dy}{dt} = h(t).\)
- \( \dfrac{dy}{dt} = −3y\)
- \( \dfrac{dy}{dt}t = t y − y. \)
- \( \dfrac{dy}{dt} = t + 1. \)
- \( \dfrac{dy}{dt} = t^2 − y^2 .\)
Why do we include the term “\(+C\)” in the expression \[\int x\, dx = \dfrac{x^2}{2} + C?\]
Suppose we know that a certain function \(f\) satisfies the equation \[\int f'(x) \,dx = \int x\, dx.\] What can you conclude about \(f\)?
Q2
Answer the following question for this function of \(t\) and \(x\):
\[f(x, t) = e^{−3t} \cos(2x)\]
Which part(s) of \(f (x,t)\) vary with \(x\)?
Which part(s) of \(f(x,t)\) are constant when \(x\) is varied?
What is \( \dfrac{\partial f}{\partial x}\)?
If \(f (x,t) = a(x)b(t)\), using the definition of \(f(x,t)\) above, what is \(a(x)\)?
What is \(b(t)\)?
Q2
For any function defined as \(u(x, t) = X(x)T (t )\), write the general expression for \(\dfrac{\partial u}{ \partial x}\) in terms of \(u(x, t ) = X(x)T (t )\).
Similarly, how would you write \( \dfrac{\partial u}{\partial t}\) in terms of \(u(x, t ) = X(x)T(t)\)?
Q3
The equation for the vibration of a string is (\(x\) is the distance along the string and \(t\) is time)
\[\dfrac{\partial ^2u(x,t)}{\partial t^2}=\dfrac{1}{v^2}\dfrac{\partial ^2u(x,t)}{\partial x^2}\]
Given that \(u(x, t ) = X(x)T(t)\), the following questions will guide you through how to rewrite this equation in terms of only \(X(x)\) and \(T(t )\).
Rewrite the equation for the vibration of a string so that one side depends only on \(x\) and the other depends only on \(t\):
Since \(x\) and \(t\) vary independently, each side of the equation given above must be equal to a constant, the same constant. Set both sides equal to \(K\) (we call this the separation constant) and rewrite it as two equations, one with only \(x\) and one with only \(t\):
By separating variables, we’ve managed to turn a partial differential equation in two variables into two differential equations, each with in one variable. This should be much easier to solve. What about \(u(x,t)\) makes separation of variables possible?
Using the answer to the above question, is \(u(x,t) = x e^{-3t} \cos (2x)\) separable? What about \(u(x,t) = e^{-ix} \cos \left(\dfrac{2x}{\pi t}\right)\)? Why or why not?