Section 19.4 Separation of Variables
Separation of variables is a procedure which can turn a partial differential equation into a set of ordinary differential equations. The procedure only works in very special cases involving a high degree of symmetry. Remarkably, the procedure works for many important physics examples. Here, we will use the procedure on the wave equation.
Method.
-
Step 1: Write the partial differential equation in appropriate coordinate system. For the wave equation we have:
\begin{equation} \frac{\partial^2 f}{\partial x^2}-\frac{1}{v^2}\frac{\partial^2 f}{\partial t^2} =0\tag{19.4.1} \end{equation}
Step 2: Ansatz: ASSUME that the solution \(f(x,t)\) can be written as the product of functions, each of which depends on only one variable, in this case \(x\) or \(t\text{,}\) i.e. assume
This is a very strong assumption. Not all solutions will be of this form. However, it turns out that all of the solutions can be written as linear combinations of solutions of this form. The study of when and why this works is called Sturm-Liouville theory.
Plug this assumed solution (19.4.2) into the partial differential equation (19.4.1). Because of the special form for \(f\text{,}\) the partial derivatives each act on only one of the factors in \(f\text{.}\)
Any partial derivatives that act only on a function of a single variable may be rewritten as total derivatives.
Step 3: Divide by \(f\) in the form of (19.4.2). Many, many students forget this step. Don't be one of them! The rest of the procedure doesn't work if you do.
Step 4: Isolate //all// of the dependence on one coordinate on one side of the equation. Do as much algebra as you need to do to achieve this. In our example, notice that in (19.4.4), all of the \(t\) dependence is already in one term while all of the dependence on the \(x\) variable is in the other term. In this case, the \(t\) dependence is trivially isolated by putting the \(t\) term on the other side of the equation, without any other algebra on our part.
Step 5: Now imagine changing the isolated variable \(t\) by a small amount. In principle, the right-hand side of (19.4.5) could change, but nothing on the left-hand side would. (This argument is the magic of the separation of variables procedure–compare it to arguments about constants of the motion from classical mechanics.) Therefore, if the equation is to be true for all values of \(t\text{,}\) the particular combination of \(t\) dependence on the right-hand side must be constant. We will call this constant \(A\text{.}\) Note that we don't know (yet) whether the constant is positive or negative.
In this way we have broken our original partial differential equation up into a pair of equations, one of which is an ordinary differential equation involving only \(t\text{,}\) the other is an ordinary differential equation involving only \(x\text{.}\)
The separation constant \(A\) appears in both equations.
Step 6: Write each equation in standard form by multiplying each equation by its unknown function to clear it from the denominator.
Notice that (19.4.9) is an eigenvalue equation for the operator \(\frac{d^2}{dx^2}\text{.}\) At the moment, the eigenvalue \(A\) could be anything. We will use the spatial boundary conditions for a problem that we want to solve to find the possible values of \(A\text{.}\) Once we have found the possible eigenvalues \(A\text{,}\) (19.4.10) becomes a second order ordinary differential equation with constant coefficients which you should know how to solve. It is NOT an eigenvalue equation because the value of \(A\) is now known. In general, if you are doing the separation of varibles process for \(n\) variables, you will get \(n-1\) separation constants and therefore \(n-1\) eigenvalue equations and an \(n\)th ODE which is NOT an eigenvalue equation.