3 Method of separation of variables - specific solutions
We shall now study some specific problems which can be fully solved by the separation of variables method.
Example
3 Solve the heat conduction equation
over for the boundary conditions
and the initial condition
Solution
Assuming gives rise to the differential equations (4) and (5) with the parameter :
The equation has general solution
which will increase exponentially with increasing if is positive and decrease with if is negative. In any physical problem the latter is the meaningful situation. To emphasise that is being taken as negative we put
so
The equation then becomes
which has solution
Hence
(11)
where and .
(You should always try to keep the number of arbitrary constants down to an absolute minimum by multiplying them together in this way.)
We now insert the initial and boundary conditions to obtain the constant and and also the separation constant .
The initial condition gives
for all .
Since and this must imply that .
The other initial condition then gives
We cannot deduce that the constant has to be zero because then the solution (11) would be the trivial solution . The only sensible deduction is that
i.e. (where is some integer).
Hence solutions of the form (11) satisfying the 2 boundary conditions have the form
where we have written for to allow for the possibility of a different value for the constant for each different value of .
We obtain the value of by using the initial condition and forcing this solution to agree with it. That is,
so we must choose with .
Hence, finally,
Task!
Solve the -dimensional wave equation for
The boundary conditions are
The initial conditions are
(i) (ii)
Firstly, either using (7) and (8) or by working from first principles assuming the product solution
write down the ODEs satisfied by and :
Now decide on the appropriate sign for and then write down the solution to these equations:
Choosing as negative (say ) will produce Sinusoidal solutions for and which are appropriate in the context of the wave equation where oscillatory solutions can be expected.
Then gives
Similarly gives
Now obtain the general solution by multiplying by and insert the two boundary conditions to obtain information about two of the constants:
for all gives
which implies that .
for all gives
so, for a non-trivial solution,
At this stage we write the solution as
where we have multiplied constants and put and . Now insert the initial condition
and deduce the value of :
Differentiating partially with respect to
so at
from which we must have that . Finally using the other the initial condition deduce the form of :
At this stage the solution reads
(12)
We now have to insert the last condition i.e. the initial condition
(13)
This seems strange because, putting in our solution (12) suggests
At this point we seem to have incompatability because no single value of will enable us to satisfy (13). However, in the solution (12), any positive integer value of is acceptable and we can in fact, superpose solutions of the form (12) and still have a valid solution to the PDE Hence we first write, instead of (12)
(14)
from which
(15)
(which looks very much like, and indeed is, a Fourier series.)
To make the solution (15) fit the initial condition (13) we do not require all the terms in the infinite Fourier series. We need only the terms with with coefficient and the term for which with . All the other coefficients have to be chosen as zero.
Using these results in (14) we obtain the solution
The above solution perhaps seems rather involved but there is a definite sequence of logical steps which can be readily applied to other similar problems.