4.8 HW 8

  4.8.1 Chapter 13, problem 2.1 Mary Boas book. Second edition
  4.8.2 Chapter 13, problem 2.2 Mary Boas book. second edition
  4.8.3 Chapter 13, problem 2.3 Mary Boas book. second edition
  4.8.4 Chapter 13, problem 2.7 Mary Boas book. second edition.
  4.8.5 Chapter 13, problem 3.2 Mary Boas book. second edition
  4.8.6 Chapter 13, problem 3.3 Mary Boas book. second edition
  4.8.7 Chapter 13, problem 3.7. Mary Boas book. second edition
  4.8.8 Chapter 13, problem 3.9. Mary Boas book. second edition
  4.8.9 Problem chapter 13, 3.10. Mary Boas book. Second edition
PDF (letter size)
PDF (legal size)

4.8.1 Chapter 13, problem 2.1 Mary Boas book. Second edition

Find the steady-state temperature distribution for the semi-infinite plate problem if the temp at the bottom edge is \(T=f(x)=x\) (in degrees; that is the temp at \(x\) cm is x degrees). The temperature of the others sides is zero degrees and the width of the plate is \(10\) cm.

pict

Solution

Since we are looking for a steady state heat distribution, which means there is no heat source, then we use Laplace PDE to represent the problem. We need to solve the following PDE

\[ \nabla ^{2} T = \frac {\partial ^{2} T}{\partial x^{2}} + \frac {\partial ^{2} T}{\partial y^{2}} = 0 \]

For a 2D problem as the above, we start by assuming that the solution \(T(x,y)\) is of the form \(T(x,y)=X(x)Y(y)\). We now substitute this assumed solution into the Laplace PDE and obtain

\[ X^{\prime \prime }Y+Y^{\prime \prime }X=0 \]

dividing by \(XY\) gives

\begin {align*} \frac {1}{X}X^{\prime \prime }+Y^{\prime \prime }\frac {1}{Y} & =0\\ \frac {1}{X}X^{\prime \prime } & =-\frac {1}{Y}Y^{\prime \prime }=-k^{2} \end {align*}

Since the left hand side in the above equation depends only on the independent variable \(x\) while the right hand side depends only on the independent variable \(y\), and both sides are equal to each others, then each side must be equal to the same constant. This is called the separation of variables approach. Assuming this constant is \(-k^{2}\) for \(k\geq 0\) we obtain two ODE’s to solve for \(X\) and \(Y\)

\[ X^{\prime \prime }+k^{2}X=0 \] and\[ Y^{\prime \prime }-k^{2}Y=0 \] To solve the \(X\) ODE, we assume the solution is \(X=Ae^{mx}\), for some constants \(A,m\) and substitute this in the ODE to obtain \(m^{2}Ae^{mx}+k^{2}Ae^{mx}=0\), or \(m^{2}+k^{2}=0\). This is the characteristic equation whose solution is \(m=\pm ik\), hence \(X=Ae^{\pm ikx}\).

A general solution is found by adding all the individual solutions, hence \(X=\ Ae^{ikx}+\ Ae^{-ikx}=A\left (e^{ikx}+\ e^{-ikx}\right ) \). But \(\cos (kx)=\frac {e^{ikx}+e^{-ikx}}{2}\), hence \(X=2A\cos (kx)=\cos (kx)\) by taking constant \(2A=1.\)

Another general solution can be obtained by taking the difference of the individual solutions, hence, \(X=\ Ae^{ikx}-\ Ae^{-ikx}=A\left (e^{ikx}-\ e^{-ikx}\right ) \). But \(\sin kx=\frac {e^{ikx}-\ e^{-ikx}}{2i}\), hence \(X=2iA\sin kx=sin(kx)\) by taking \(2iA=1\). Therefore solutions to \(\frac {1}{X}\frac {d^{2}X}{dx^{2}}=-k^{2}\) are \begin {align*} X_{1}\relax (x) & =\cos (kx)\\ X_{2}\relax (x) & =\sin (kx) \end {align*}

Now we solve \(Y^{\prime \prime }-k^{2}Y=0\).  Assuming solution is \(Y=Ae^{my}\) hence the characteristic equation is \(m^{2}Ae^{my}-k^{2}Ae^{my}=0\), or \(m^{2}-k^{2}=0\), hence \(m=\pm k\,\), then \(Y=Ae^{\pm ky}\) , and let \(A=1,\) then \(\ Y=e^{-ky}\) or\(\ Y=e^{ky}\)

Since \(T\left (x,y\right ) =X\relax (x) Y\relax (y) \), then the \(T\) solution is a combination of all the above solutions.

\[ T\left (x,y\right ) =\left \{ \begin {array} [c]{c}\sin kx\ \\ \cos kx\ \end {array} \right . \left \{ \begin {array} [c]{c}e^{ky}\\ \ e^{-ky}\end {array} \right . \]

Now we use the boundary conditions on the plate to find which of the above 4 solutions is the correct solution.

Since this is a semi-infinite plate, then as \(y\rightarrow \infty \), \(T\left ( x,y\right ) \rightarrow 0\), this means \(e^{ky}\) solution must be rejected since they have the positive power of \(y\) on the exponential function. (since \(k>0\)). Therefore we now have

\[ T\left (x,y\right ) =\left \{ \begin {array} [c]{c}\sin kx\ e^{-ky}\\ \cos kx\ e^{-ky}\end {array} \right . \]

Looking now at the left boundary condition where we want \(T=0\) for \(x=0\), this means that solution \(\cos kx\ e^{-ky}\) must be rejected since it is not zero at \(x=0.\)

So, only solution left is \[ T\left (x,y\right ) =\sin kx\ e^{-ky}\] And we have two boundary conditions to satisfy yet, the right hand side, and the bottom side.

At the right side, where \(x=w=10\ cm\), we need \(T=0\), hence this can be achieved by having \(\sin 10k=0\) or \(10k=n\pi \), or \(k=\frac {n\pi }{10}\) for \(n=1,2,3,\cdots \) So the solution now looks like \[ T(x,y)=\sin \left (\frac {n\pi }{10}x\right ) e^{-\frac {n\pi }{10}y}\quad n=1,2,3,\cdots \]

We have the last boundary condition to satisfy, which is the bottom side. On that side we have \(T=f\relax (x) =x\) at \(y=0\) hence if we let \(y=0\) in the above the solution becomes \[ T(x,0)=x=\sin \left (\frac {n\pi }{10}x\right ) \] This solution is not satisfied for any \(n\). for example, for \(x=5\), \(n=1,\) we have \(\sin \left (\frac {\pi }{10}5\right ) =\sin \frac {\pi }{2}=1\neq 5\)

Hence we need to find another method to find this boundary condition. Since a sum of scaled solutions is also a solution (this is a linear system), then we write

\[ T\left (x,y\right ) =\sum _{n=1}^{\infty }b_{n}\ e^{-\frac {n\pi }{10}y}\sin \left (\frac {n\pi }{10}x\right ) \]

Now we try to find \(b_{n}\) when \(y=0\). This is the Fourier series expansion for \(f\relax (x) \).

Since \(\sin \) functions are orthogonal to each others, i.e. \(\int _{0}^{w}\sin ax\ \sin bx\ \ dx=0\) \(a\neq b\,,\)the above can be written as \begin {align*} \int _{0}^{w}\sin \left (\frac {n\pi }{10}x\right ) \ f\relax (x) \ dx & =\int _{0}^{10}\sin \left (\frac {n\pi }{10}x\right ) \left (\sum _{m=1}^{\infty }b_{m}\sin \left (\frac {m\pi }{10}x\right ) \right ) dx\\ & =\sum _{m=1}^{\infty }b_{m}\int _{0}^{10}\sin \left (\frac {n\pi }{10}x\right ) \sin \left (\frac {m\pi }{10}x\right ) dx\\ & =b_{n}\int _{0}^{10}\sin \left (\frac {n\pi }{10}x\right ) \sin \left ( \frac {n\pi }{10}x\right ) \ dx \end {align*}

Since all terms vanish expect when \(m=n\) then \begin {align*} b_{n} & =\frac {\int _{0}^{10}\sin \left (\frac {n\pi }{10}x\right ) \ f\left ( x\right ) \ dx}{\int _{0}^{10}\sin ^{2}\left (\frac {n\pi }{10}x\right ) \ \ dx}\\ & =\frac {\int _{0}^{10}\sin \left (\frac {n\pi }{10}x\right ) \ x\ dx}{\int _{0}^{10}\sin ^{2}\left (\frac {n\pi }{10}x\right ) \ \ dx} \end {align*}

But \(\int _{0}^{10}\sin ^{2}\left (\frac {n\pi }{10}x\right ) dx=5\) for \(n\neq 0\). Hence \(b_{n}=\frac {2}{10}\int _{0}^{10}x\sin \left (\frac {n\pi }{10}x\right ) dx\). integration by parts. \({\int }udvdx=uv-{\int }v\frac {du}{dx}dx\). Let \(u=x,\ dv=\sin \left (\frac {n\pi }{10}x\right ) \) then \(\frac {du}{dx}=1,\ v=\frac {-w}{n\pi }\cos \left (\frac {n\pi }{10}x\right ) \). Hence (using \(w=10\)) \begin {align*} \frac {b_{n}}{\frac {2}{w}} & =\left [ -x\frac {w}{n\pi }\cos \left (\frac {n\pi }{w}x\right ) \right ] _{0}^{w}-{\int _{0}^{w}}\frac {-w}{n\pi }\cos \left ( \frac {n\pi }{w}x\right ) \ dx\\ & =\left [ \frac {-w^{2}}{n\pi }\cos \left (n\pi \right ) -0\right ] +\frac {w}{n\pi }\left [ \frac {1}{\frac {n\pi }{w}}\sin \frac {n\pi }{w}x\right ] _{0}^{w}\\ & =\left [ \frac {-w^{2}}{n\pi }\cos \left (n\pi \right ) \right ] +\frac {w}{n\pi }\left [ \frac {w}{n\pi }\sin n\pi -0\right ] \\ & =\left [ \frac {-w^{2}}{n\pi }\cos \left (n\pi \right ) \right ] +\left [ \frac {w^{2}}{n^{2}\pi ^{2}}\sin n\pi \right ] \\ & =\frac {w^{2}}{\pi }\left (\frac {-1}{n}\cos \left (n\pi \right ) +\frac {1}{n^{2}\pi }\sin n\pi \right ) \end {align*}

Hence \[ b_{n}=2\frac {w}{\pi }\left (\frac {-1}{n}\cos \left (n\pi \right ) +\frac {1}{n^{2}\pi }\sin n\pi \right ) \]

Since \(n\) is an integer, all the \(\sin n\pi \) terms vanish

\[ b_{n}=2\frac {w}{\pi }\left (\frac {-1}{n}\cos \left (n\pi \right ) \right ) \]

Since \(w=10\) then

\[ b_{n}=\frac {20}{\pi }\left (\frac {-1}{n}\cos \left (n\pi \right ) \right ) \]

Then

\begin {align*} b_{n} & =\frac {20}{\pi }\left (\frac {-1}{1}\left (-1\right ) \right ) ,\frac {20}{\pi }\left (\frac {-1}{2}\relax (1) \right ) ,\frac {20}{\pi }\left (\frac {-1}{3}\ \left (-1\right ) \right ) ,\cdots \\ b_{n} & =\frac {20}{\pi },\ \frac {20}{\pi }\left (\frac {-1}{2}\right ) ,\frac {20}{\pi }\left (\frac {+1}{3}\right ) ,\cdots \\ & =\frac {20}{\pi }\left (\frac {-1^{n+1}}{n}\right ) \end {align*}

Hence

\begin {align*} T\left (x,y\right ) & =\sum _{n=1}^{\infty }b_{n}\ e^{-\frac {n\pi }{10}y}\sin \left (\frac {n\pi }{10}x\right ) \\ T\left (x,y\right ) & =\frac {20}{\pi }\sum _{n=1}^{\infty }\left ( \frac {-1^{n+1}}{n}\right ) \ e^{-\frac {n\pi }{10}y}\sin \left (\frac {n\pi }{10}x\right ) \end {align*}

Here is a plot of the solution for \(n\) up to \(70\).


pict

4.8.2 Chapter 13, problem 2.2 Mary Boas book. second edition

Find the steady-state temperature distribution for the semi-infinite plate with bottom edge of 20 cm if the temp at the bottom edge temp. is  held at

\[ T=\left \{ \begin {array} [c]{c}0^{0}\ \ \ 0<x<10\\ 100\ \ \ 10<x<20 \end {array} \right . \]

The others sides at zero degrees.

pict

solution To solve this, I will follow the same steps as in 2.1, until I get to the step of trying to fit to the bottom edge conditions into the solution, and then I will use \(f\relax (x) \) as a step function:

\[ f\relax (x) =\left \{ \begin {array} [c]{c}0\ \ \ \ \ \ 0<x<10\\ 100\ \ \ 10<x<20 \end {array} \right . \]

Hence, as shown in problem 2.1, the candidate solutions for \(T\left ( x,y\right ) \) are

\[ T\left (x,y\right ) =\left \{ \begin {array} [c]{c}\sin kx\ e^{ky}\\ \sin kx\ e^{-ky}\\ \cos kx\ e^{ky}\\ \cos kx\ e^{-ky}\end {array} \right . \]

Now we use the boundary conditions on the plate to find which of the above 4 solutions is the correct solution. We know by the uniqueness theorem of ODE solution that there will be one solution only out of the above 4, and by the existence theorem, that a solution will exist.

Since this is a semi-infinite plate, then as \(y\rightarrow \infty \), \(T\left ( x,y\right ) \rightarrow 0\), this means \(\sin (kx) e^{ky}\) and \(\cos (kx) e^{ky}\) solution must be rejected since they have the positive power of y on the exponential function. (since \(k>0\))

Looking now at the left boundary condition where we want \(T=0\) for \(x=0\), this means that solution \(\cos (kx) e^{-ky}\) must be rejected since it is not zero at \(x=0.\)

So, only solution left is \(\sin (kx) e^{-ky}\) and we have 2 boundary conditions to satisfy yet, the right hand side, and the bottom side.

At the right side, where \(x=w=20\ cm\), we need \(T=0\), hence this can be achieved by having \(kw=n\pi \), or \(k=\frac {n\pi }{w}\) for \(n=1,2,3,\cdots \)

so the solution now looks like \[ T\left (x,y\right ) =\sin \left (\frac {n\pi }{w}x\right ) \ e^{-\frac {n\pi }{w}y} \quad n=1,2,3,\cdots \]

Now we have the last boundary condition to satisfy, Since a sum of scaled solutions is also a solution (this is a linear system), then we write

\[ T\left (x,y\right ) =\sum _{n=1}^{\infty }b_{n}\ e^{-\frac {n\pi }{w}y}\sin \left (\frac {n\pi }{w}x\right ) \]

And now we try to find \(b_{n}\) when \(y=0\)

This is the Fourier series expansion for \(f\relax (x) \).

Since \(\sin \) functions are orthogonal to each others, i.e. \(\int _{0}^{w}\sin ax\ \sin (bx) \ dx=0\) for \(a\neq b\) then the above can be written as \begin {align*} \int _{0}^{w}\sin \left (\frac {n\pi }{w}x\right ) \ f\relax (x) \ dx & =\int _{0}^{w}\sin \left (\frac {n\pi }{w}x\right ) \left (\sum _{m=1}^{\infty }b_{m}\sin \left (\frac {m\pi }{w}x\right ) \right ) dx\\ & =\sum _{m=1}^{\infty }b_{m}\int _{0}^{w}\sin \left (\frac {n\pi }{w}x\right ) \sin \left (\frac {m\pi }{w}x\right ) dx\\ & =b_{n}\int _{0}^{w}\sin \left (\frac {n\pi }{w}x\right ) \sin \left ( \frac {n\pi }{w}x\right ) \ dx \end {align*}

Since all terms vanish expect when \(m=n\), hence \begin {align*} b_{n} & =\frac {\int _{0}^{w}\sin \left (\frac {n\pi }{w}x\right ) \ f\left ( x\right ) \ dx}{\int _{0}^{w}\sin ^{2}\left (\frac {n\pi }{w}x\right ) \ \ dx}\\ & =\frac {\int _{0}^{w}\sin \left (\frac {n\pi }{w}x\right ) \ x\ dx}{\int _{0}^{w}\sin ^{2}\left (\frac {n\pi }{w}x\right ) \ \ dx} \end {align*}

But \(\int _{0}^{w}\sin ^{2}\left (\frac {n\pi }{w}x\right ) \ \ dx=\frac {w}{2}\ \) for \(n\neq 0\) Hence \begin {align*} b_{n} & =\frac {2}{w}\int _{0}^{w}f\relax (x) \sin \left (\frac {n\pi }{w}x\right ) \ \ dx\\ & =\frac {2}{20}\left \{ \int _{0}^{10}f\relax (x) \sin \left ( \frac {n\pi }{w}x\right ) \ \ dx+\int _{10}^{20}f\relax (x) \sin \left ( \frac {n\pi }{w}x\right ) \ \ dx\right \} \end {align*}

But \(f\relax (x) =0\) for \(0<x<10\) , and \(f\relax (x) =100\) for 1\(0<x<20\) therefore

\begin {align*} b_{n} & =\frac {2}{20}\left \{ \int _{0}^{10}0\ \sin \left (\frac {n\pi }{20}x\right ) \ \ dx+\int _{10}^{20}100\sin \left (\frac {n\pi }{20}x\right ) \ \ dx\right \} \\ & =\frac {200}{20}\int _{10}^{20}\sin \left (\frac {n\pi }{20}x\right ) \ \ dx\\ & =10\int _{10}^{20}\sin \left (\frac {n\pi }{20}x\right ) \ \ dx\\ & =10\ \frac {1}{\frac {n\pi }{20}}\left [ -\cos \frac {n\pi }{20}x\right ] _{10}^{20}\\ & =\frac {-200}{n\pi }\left [ \cos \frac {n\pi }{20}x\right ] _{10}^{20}\\ & =\frac {-200}{n\pi }\left [ \cos \frac {n\pi }{20}20-\cos \frac {n\pi }{20}10\right ] \\ & =\frac {-200}{n\pi }\left [ \cos n\pi -\cos \frac {n\pi }{2}\right ] \end {align*}

Looking at few \(n\) values starting from \(n=1\)

\begin {align*} b_{n} & =\frac {-200}{\pi }\left [ \cos \pi -\cos \frac {\pi }{2}\right ] ,\frac {-200}{2\pi }\left [ \cos 2\pi -\cos \pi \right ] ,\frac {-200}{3\pi }\left [ \cos 3\pi -\cos \frac {3\pi }{2}\right ] ,\ \frac {-200}{4\pi }\left [ \cos 4\pi -\cos 2\pi \right ] ,\\ & \frac {-200}{5\pi }\left [ \cos 5\pi -\cos \frac {5\pi }{2}\right ] ,\frac {-200}{6\pi }\left [ \cos 6\pi -\cos 3\pi \right ] ,\frac {-200}{7\pi }\left [ \cos 7\pi -\cos \frac {7\pi }{2}\right ] ,\frac {-200}{8\pi }\left [ \cos 8\pi -\cos 4\pi \right ] \\ & \\ b_{n} & =\frac {-200}{\pi }\left [ -1-0\right ] ,\frac {-200}{2\pi }\left [ 1-\left (-1\right ) \right ] ,\frac {-200}{3\pi }\left [ -1-0\right ] ,\frac {-200}{4\pi }\left [ 1-1\right ] ,\frac {-200}{5\pi }\left [ -1-0\right ] ,\frac {-200}{6\pi }\left [ 1-\left (-1\right ) \right ] ,\\ & \frac {-200}{7\pi }\left [ -1-0\right ] ,\frac {-200}{8\pi }\left [ 1-1\right ] \\ & \\ b_{n} & =\frac {-200}{\pi }\left [ -1\right ] ,\frac {-200}{2\pi }\left [ 2\right ] ,\frac {-200}{3\pi }\left [ -1\right ] ,\frac {-200}{4\pi }\left [ 0\right ] ,\frac {-200}{5\pi }\left [ -1\right ] ,\frac {-200}{6\pi }\left [ 2\right ] ,\frac {-200}{7\pi }\left [ -1\right ] ,\frac {-200}{8\pi }\left [ 0\right ] ,\cdots \end {align*}

We see a term multiplier is \(-1,2,-1,0,-1,2,-1,0,\dots \)

When \(n\) is multiple of 4, this multiplier is zero. when n is odd, the multiplier is -1, and when n is even (not multiple of 4), this multiplier is 2.

Solution is

\begin {align*} T\left (x,y\right ) & =\sum _{n=1}^{\infty }b_{n}\ e^{-\frac {n\pi }{20}y}\sin \left (\frac {n\pi }{20}x\right ) \\ T\left (x,y\right ) & =\left \{ \begin {array} [c]{ll}\frac {200}{\pi }{\sum }\frac {1}{n}e^{-\frac {n\pi }{20}y}\sin \left (\frac {n\pi }{20}x\right ) & \ \text {n odd, }1,3,5,7,...\\ -\frac {400}{\pi }{\sum }\frac {1}{n}e^{-\frac {n\pi }{20}y}\sin \left (\frac {n\pi }{20}x\right ) & \text {n even }2,6,10,14,18,...\\ 0 & \text {Otherwise}\end {array} \right . \end {align*}


pict

4.8.3 Chapter 13, problem 2.3 Mary Boas book. second edition

Find the steady-state temperature distribution for the semi-infinite plate problem if the temp at the bottom edge is \(T=f\relax (x) =\cos \left ( x\right ) \) ( The temp. of the others sides is zero degrees, and the width of the plate is \(\pi \) cm.

pict

Solution

This problem is similar to problem 2.1, but for a different boundary function at the bottom edge.

As shown in problem 2.1, \(T\left (x,y\right ) \) is given by one of these solutions:

\[ T\left (x,y\right ) =\left \{ \begin {array} [c]{c}\sin kx\ e^{ky}\\ \sin kx\ e^{-ky}\\ \cos kx\ e^{ky}\\ \cos kx\ e^{-ky}\end {array} \right . \]

Now we use the boundary conditions on the plate to find which of the above 4 solutions is the correct solution. We know by the uniqueness theorem of ODE solution that there will be one solution only out of the above 4, and by the existence theorem, that a solution will exist.

Since this is a semi-infinite plate, then as \(y\rightarrow \infty \), \(T\left ( x,y\right ) \rightarrow 0\), this means \(\sin kx\ e^{ky}\) and \(\cos kx\ e^{ky}\) solution must be rejected since they have the positive power of y on the exponential function. (since \(k>0\))

Looking now at the left boundary condition where we want \(T=0\) for \(x=0\), this means that solution \(\cos kx\ e^{-ky}\) must be rejected since it is not zero at \(x=0.\)

Only solution left is \(\sin kx\ e^{-ky}\) and we have 2 boundary conditions to satisfy yet, the right hand side, and the bottom side.

At the right side, where \(x=w=\pi \ cm\), we need \(T=0\), hence this can be achieved by having \(k\pi =n\pi \), or \(k=n\) for \(n=1,2,3,\cdots \)

so the solution now looks like \[ T\left (x,y\right ) =\sin \left (nx\right ) \ e^{-ny} \quad n=1,2,3,\cdots \]

Now we have the last boundary condition to satisfy, which is the bottom side. On that side we have \(T=f\relax (x) =\cos \relax (x) \) at \(y=0\) hence if we let \(y=0\) in the above the solution becomes \[ T\left (x,y\right ) =\cos \relax (x) =\sin \left (nx\right ) \]

This solution is not satisfied for any \(n\).

Hence we need to find another method to find this boundary condition. Since a sum of scaled solutions is also a solution (this is a linear system), then we write

\[ T\left (x,y\right ) =\sum _{n=1}^{\infty }b_{n}\ e^{-ny}\sin \left (nx\right ) \]

Now we try to find \(b_{n}\) when \(y=0\), i.e. at \(y=0\)

\[ T\left (x,y\right ) =f\relax (x) =\cos \relax (x) =\sum _{n=1}^{\infty }b_{n}\ \sin \left (nx\right ) \]

This is the Fourier series expansion for \(f\relax (x) \). Since \(\sin \) functions are orthogonal to each others, i.e. \(\int _{0}^{\pi }\sin ax\ \sin bx\ \ dx=0\) \(a\neq b\,,\)the above can be written as (taking inner product of RHS and LHS w.r.t. \(\sin \left (nx\right ) \)) : \begin {align*} \cos \relax (x) & =\sum _{n=1}^{\infty }b_{n}\ \sin \left (nx\right ) \\ \int _{0}^{\pi }\sin \left (nx\right ) \ f\relax (x) \ dx & =\int _{0}^{\pi }\sin \left (nx\right ) \left (\sum _{m=1}^{\infty }b_{m}\sin \left ( mx\right ) \right ) dx\\ \int _{0}^{\pi }\sin \left (nx\right ) \ \cos \relax (x) \ dx & =\sum _{m=1}^{\infty }b_{m}\int _{0}^{\pi }\sin \left (nx\right ) \sin \left ( mx\right ) dx\\ \int _{0}^{\pi }\sin \left (nx\right ) \ \cos \relax (x) \ dx & =b_{n}\int _{0}^{\pi }\sin \left (nx\right ) \sin \left (nx\right ) \ dx \end {align*}

Where on the RHS we simplified it since all terms vanish expect when \(m=n\). The above now becomes

\begin {align*} \int _{0}^{\pi }\sin \left (nx\right ) \ \cos \relax (x) \ dx & =b_{n}\int _{0}^{\pi }\sin ^{2}\left (nx\right ) \ \ dx\\ \int _{0}^{\pi }\sin \left (nx\right ) \ \cos \relax (x) \ dx & =b_{n}\frac {\pi }{2} \end {align*}

\begin {align*} b_{n} & =\frac {2}{\pi }\int _{0}^{\pi }\sin \left (nx\right ) \ \cos \left ( x\right ) \ dx\\ & =\frac {2}{\pi }\ \frac {n\left (1+\cos \left (n\pi \right ) \right ) }{n^{2}-1} \end {align*}

Looking at few values of \(n=2,3,4,...\) (not defined for n=1).

\begin {align*} b_{n} & =\frac {2}{\pi }\ \frac {2\left (1+\cos \left (2\pi \right ) \right ) }{3},\frac {2}{\pi }\ \frac {3\left (1+\cos \left (3\pi \right ) \right ) }{8}\ ,\frac {2}{\pi }\ \frac {4\left (1+\cos \left (4\pi \right ) \right ) }{15}...\\ b_{n} & =\ \frac {2}{\pi }\ \frac {2\relax (2) }{3},0\ ,\frac {2}{\pi }\ \frac {4\relax (2) }{8},0,...\\ & =\ \frac {4}{\pi }\ \frac {n}{n^{2}-1}\ \text {\ for even n} \end {align*}

Since

\[ T\left (x,y\right ) =\sum _{n=1}^{\infty }b_{n}\ e^{-ny}\sin \left (nx\right ) \]

Then the final solution is

\[ T\left (x,y\right ) =\frac {4}{\pi }\sum _{n=even}^{\infty }\ \frac {n}{n^{2}-1}\ e^{-ny}\sin \left (nx\right ) \]


pict

4.8.4 Chapter 13, problem 2.7 Mary Boas book. second edition.

Find the steady-state temperature distribution of the following plate, height=\(1\). Temp at the bottom edge is \(T=\cos \relax (x) \) ( The temp. of the others sides is zero degree and width of the plate is \(\pi \) cm.

pict

Solution As shown in problem 2.1, \(T\left (x,y\right ) \) is given by one of these solutions:

\[ T\left (x,y\right ) =\left \{ \begin {array} [c]{c}\sin kx\ e^{ky}\\ \sin kx\ e^{-ky}\\ \cos kx\ e^{ky}\\ \cos kx\ e^{-ky}\end {array} \right . \]

Now we use the boundary conditions on the plate to find which of the above 4 solutions is the correct solution. We know by the uniqueness theorem of ODE solution that there will be one solution only out of the above 4, and by the existence theorem, that a solution will exist.

Here we can not reject the 2 candidate solutions \(\sin kx\ e^{ky}\) and \(\cos kx\ e^{ky}\) as we did for the semi-infinite plate cases because as \(y\rightarrow 1\), these solutions do not blow up.

But to use one of them , looking at \(T\left (x,y\right ) =\) \(\sin kx\ e^{ky},\) then at \(y=1\), where we require \(T=0\), we get \(0=\) \(\sin kx\ \), and this means we must have \(k=n\pi \) for integer \(n.\) but this means that \(T=0\) everywhere in the plate and on the other boundaries, which is not correct.

Similarly if we try to fit \(\cos (kx) e^{ky}\).

One way to avoid this problem is to use a linear combination of the exponential \(a e^{-ky} + b e^{ky}\) and now we try to find \(a,b\). If we choose \(a=\frac {1}{2}e^{hk},b=-\frac {1}{2}e^{-hk}\), where \(h\) is the height of the plate, we get \[ \frac {1}{2}e^{hk}e^{-ky}-\frac {1}{2}e^{-hk}e^{ky}=\ \frac {1}{2}e^{k\left ( h-y\right ) }-\frac {1}{2}e^{-k\left (h-y\right ) }\]

To verify, We want \(\frac {1}{2}e^{k\left (h-y\right ) }-\frac {1}{2}e^{-k\left (h-y\right ) }=0\) when \(y=h\), Hence

\[ \frac {1}{2}e^{k\left (h-y\right ) }-\frac {1}{2}e^{-k\left (h-y\right ) }=\frac {1}{2}-\frac {1}{2}\ =0 \]

The solutions to consider are now

\[ T\left (x,y\right ) =\left \{ \begin {array} [c]{c}\sin kx\ \left (\frac {1}{2}e^{k\left (h-y\right ) }-\frac {1}{2}e^{-k\left ( h-y\right ) }\right ) \\ \cos kx\ \left (\frac {1}{2}e^{k\left (h-y\right ) }-\frac {1}{2}e^{-k\left ( h-y\right ) }\right ) \end {array} \right . \]

The initial 4 candidate solutions are now 2 candidate solutions since we have combined a combination of two solutions together.

Looking now at the left boundary condition where we want \(T=0\) for \(x=0\), this means the second candidate solution above which is \(\cos kx\ \left (\frac {1}{2}e^{k\left (h-y\right ) }-\frac {1}{2}e^{-k\left (h-y\right ) }\right ) \) must be rejected since it is not zero at \(x=0\) for any \(y.\)

Only solution left is \(\sin kx\ \left (\frac {1}{2}e^{k\left (h-y\right ) }-\frac {1}{2}e^{-k\left (h-y\right ) }\right ) \). Write \(\frac {1}{2}e^{k\left (h-y\right ) }-\frac {1}{2}e^{-k\left (h-y\right ) }=\sinh k\left (h-y\right ) \) then the final candidate solution which we want to fit on the remaining boundary conditions can be written as

\[ T (x,y) = \sinh k(h-y) \sin (kx) \]

We have 2 boundary conditions to satisfy yet, the right hand side, and the bottom side. At the right side, where \(x=w=\pi cm\), we need

\[ T=0=\sinh k\left (h-y\right ) \ \sin k\pi \]

hence this can be achieved by having \(k\pi =n\pi \), or \(k=n\) for \(n=1,2,3,\cdots \) So the solution now looks like \[ T(x,y)=\sinh n(h-y)\sin (nx)\quad n=1,2,3,\cdots \]

Now we have the last boundary condition to satisfy, which is the bottom side. On that side we have \(T=f\relax (x) =\cos \relax (x) \) at \(y=0\) hence if we let \(y=0\) in the above the solution becomes \[ T (x,y) = \cos (x) = \sinh (n(h)) \sin ( n x) \]

This solution is not satisfied for any \(n\). We need to find another method to find this boundary condition. Since a sum of scaled solutions is also a solution (this is a linear system), then we write

\[ T(x,y) = \sum _{n=1}^{\infty }b_{n} \sinh ( n(h-y)) \sin (n x) \]

And now we try to find \(b_{n}\) when \(y=0\), i.e. at \(y=0\)

\[ T\left (x,y\right ) =f\relax (x) =\cos \relax (x) =\sum _{n=1}^{\infty }b_{n}\ \sinh \left (nh\right ) \ \sin \left (nx\right ) \]

This is the Fourier series expansion for \(f\relax (x) \). Since \(\sin \) functions are orthogonal to each others, i.e.

\[ \int _{0}^{\pi } \sin (ax)\ \sin (bx) \, dx=0 \quad a \neq b \]

The above can be written as (taking inner product of RHS and LHS w.r.t. \(\sin nx\)) :

\begin {align*} \cos \relax (x) & =\sum _{m=1}^{\infty }b_{m}\ \sinh \left (mh\right ) \ \sin \left (mx\right ) \\ \int _{0}^{\pi }\sin \left (nx\right ) \ f\relax (x) \ dx & =\int _{0}^{\pi }\sin \left (nx\right ) \left (\sum _{m=1}^{\infty }b_{m}\ \sinh \left (mh\right ) \ \sin \left (mx\right ) \right ) dx\\ \int _{0}^{\pi }\sin \left (nx\right ) \ \cos \relax (x) \ dx & =\sum _{m=1}^{\infty }b_{m}\int _{0}^{\pi }\sin \left (nx\right ) \sinh \left ( mh\right ) \ \sin \left (mx\right ) dx\\ \int _{0}^{\pi }\sin \left (nx\right ) \ \cos \relax (x) \ dx & =b_{n}\int _{0}^{\pi }\sin \left (nx\right ) \sinh \left (nh\right ) \sin \left ( nx\right ) \ dx \end {align*}

Where on the RHS we simplified it since all terms vanish expect when \(m=n\). Above now becomes

\begin {align*} \int _{0}^{\pi }\sin \left (nx\right ) \ \cos \relax (x) \ dx & =b_{n}\int _{0}^{\pi }\sinh \left (nh\right ) \ \sin ^{2}\left (nx\right ) \ \ dx\\ \int _{0}^{\pi }\sin \left (nx\right ) \ \cos \relax (x) \ dx & =\sinh \left (ny\right ) \ \ b_{n}\int _{0}^{\pi }\sin ^{2}\left (nx\right ) \ \ dx\\ & =\frac {\pi }{2}b_{n}\ \sinh \left (nh\right ) \end {align*}

\begin {align*} b_{n} & =\frac {2}{\pi }\frac {1}{\sinh \left (nh\right ) }\int _{0}^{\pi }\sin \left (nx\right ) \ \cos \relax (x) \ dx\\ & =\frac {2}{\pi }\frac {1}{\sinh \left (nh\right ) }\ \frac {n\left ( 1+\cos \left (n\pi \right ) \right ) }{n^{2}-1} \end {align*}

Looking at few values of \(n=2,3,4,...\) (not defined for n=1).

\begin {align*} b_{n} & =\frac {2}{\pi }\ \frac {1}{\sinh \relax (h) }\ \frac {2\left ( 1+\cos \left (2\pi \right ) \right ) }{3},\frac {2}{\pi }\ \frac {1}{\sinh \left ( 2h\right ) }\frac {3\left (1+\cos \left (3\pi \right ) \right ) }{8}\ ,\frac {1}{\sinh \left (2h\right ) }\frac {2}{\pi }\ \frac {4\left (1+\cos \left ( 4\pi \right ) \right ) }{15}...\\ b_{n} & =\ \frac {2}{\pi }\ \frac {1}{\sinh \relax (h) }\frac {2\left ( 2\right ) }{3},0\ ,\frac {1}{\sinh \left (3h\right ) }\frac {2}{\pi }\ \frac {4\relax (2) }{8},0,...\\ & =\ \frac {4}{\pi }\ \frac {1}{\sinh \left (nh\right ) }\frac {n}{n^{2}-1}\ \text {\ for even n} \end {align*}

Since

\[ T\left (x,y\right ) =\sum _{n=1}^{\infty }b_{n}\ \sinh \left (n\left ( h-y\right ) \right ) \sin \left (nx\right ) \]

The final solution becomes

\[ T\left (x,y\right ) =\frac {4}{\pi }\sum _{n=\text {even}}^{\infty }\frac {1}{\sinh \left (nh\right ) }\ \frac {n}{n^{2}-1}\ \sinh \left (n\left ( h-y\right ) \right ) \sin \left (nx\right ) \]


pict

4.8.5 Chapter 13, problem 3.2 Mary Boas book. second edition

A bar length L=10 cm with insulated sides is initially at 100 degrees. starting at t=0, the ends are held at zero degree. Find the temperature distribution in the bar at time \(t\).

pict

Solution

This is a heat distribution problem governed by the diffusion or heat equation \[ \nabla ^{2}u\left (x,t\right ) =\frac {1}{\alpha ^{2}}\frac {\partial u\left ( x,t\right ) }{\partial t}\]

This is for a one spatial dimension.

To solve this PDE, assume the solution is \[ u\left (x,t\right ) =F\relax (x) T\relax (t) \]

Where \(F\relax (x) \) is a function of the spatial x independent variable, and \(T\relax (t) \) is a function of the time \(t.\)

Solving using separation of variable as with the Laplace equation. By substituting in the original PDE, we get

\[ \frac {1}{F}\frac {d^{2}F}{dx^{2}}=\frac {1}{\alpha ^{2}}\frac {1}{T}\frac {dT}{dt}\]

Since RHS and LHS are both equal, and each is a function of a different independent variable, then both must be equal to a constant. Let this constant be \(-k^{2}\). hence we get 2 ODE equations to solve

\begin {align*} \frac {1}{F}\frac {d^{2}F}{dx^{2}} & =-k^{2}\\ \frac {1}{T}\frac {1}{\alpha ^{2}}\frac {dT}{dt} & =-k^{2} \end {align*}

To solve \(\frac {1}{T}\frac {1}{\alpha ^{2}}\frac {dT\relax (t) }{dt}=-k^{2},\)

\begin {align*} \frac {1}{T}\frac {dT}{dt} & =-\alpha ^{2}k^{2}\\ \frac {1}{T}dT & =-\alpha ^{2}k^{2}\ dt\\ \int \frac {1}{T}dT & =\int -\alpha ^{2}k^{2}\ dt\\ \ln T & =-\alpha ^{2}k^{2}t\\ T & =e^{-\alpha ^{2}k^{2}t} \end {align*}

To solve \(\frac {1}{F}\frac {d^{2}F}{dx^{2}}=-k^{2}.\) Assume solution is \(F\relax (x) =e^{-mx}\) then\(\frac {dF}{dx}=-me^{-mx}\), \(\frac {d^{2}F}{dx^{2}}=m^{2}e^{-mx}.\ \)Substituting in the ODE gives \(m^{2}e^{-mx}=-e^{-mx}\ k^{2}\) or \(m^{2}=-k^{2}\), \(m=\pm ik\), so \(F\relax (x) =e^{-ikx}\) or \(F\relax (x) =e^{ikx}\). By adding or subtracting these solutions we get a general solution that is either \(\cos kx\) or \(\sin kx.\)

hence

\[ F\relax (x) =\left \{ \begin {array} [c]{c}\sin kx\\ \cos kx \end {array} \right . \]

So

\begin {align*} u\left (x,t\right ) & =F\relax (x) T\relax (t) \\ u\left (x,t\right ) & =\left \{ \begin {array} [c]{c}e^{-\alpha ^{2}k^{2}t}\sin kx\\ e^{-\alpha ^{2}k^{2}t}\cos kx \end {array} \right . \end {align*}

Now we have 2 candidate solutions. Since these are solutions for \(t>0\), we need to find the conditions that \(u=0\) at \(x=0\) and \(x=L.\)

Since at \(x=0\), \(u=0\,\), then we can not use the \(\cos kx\), solution because that will not go to zero at \(x=0.\)

So we are left with the solution

\[ u\left (x,t\right ) =e^{-\alpha ^{2}k^{2}t}\sin kx \]

Now apply the second boundary condition, which is \(x=L,u=0.\)

This means \(0=e^{-\alpha ^{2}k^{2}t}\sin kL\), then \(kL=n\pi \) or \(K=\frac {n\pi }{L}\ \)for \(n=1,2,3,...\)So our solution now looks like

\[ u\left (x,t\right ) =e^{-\alpha ^{2}\left (\frac {n\pi }{L}\right ) ^{2}t}\sin \frac {n\pi }{L}x\ \ \ \ \ \ \ \ n=1,2,3,\ldots \]

Since a scaled sum of these solutions is a solution, then the general solution is

\[ u\left (x,t\right ) ={\displaystyle \sum \limits _{n=1}^{\infty }} b_{n}\ e^{-\alpha ^{2}\left (\frac {n\pi }{L}\right ) ^{2}t}\sin \frac {n\pi }{L}x\ \ \ \ \ (1) \]

Now we need to find the \(b_{n}\)

For this we use the initial conditions, i.e. for \(t=0\). Then we had the sides at \(u=100\), and since no time was involved then (this is the initial steady state), the governing PDE is the Laplace equation with only the x spatial coordinate.

\(\nabla ^{2}u_{0}\relax (x) =0\), a solution to this is \(u_{0}\left ( x\right ) =ax+b\). when \(x=0,\) \(u_{0}=100\), hence \(100=b.\)

When \(x=L,u=100\), hence \(100=La+b\), or \(La=100-100=0.\) hence\(\ a=0.\)

Hence at \(t=0\,,u_{0}=100\). So now from equation (1) above, we write

\[ u\left (x,0\right ) =u_{0}\relax (x) =100={\sum \limits _{n=1}^{\infty }}b_{n}\ \sin \frac {n\pi }{L}x\ \ \]

Taking the inner product of the LHS and RHS w.r.t. \(\sin \frac {n\pi x}{L}\) over \([0,L]\) gives

\begin {align*} \int _{0}^{L}100\text { }\sin \frac {n\pi }{L}x\ dx & =\int _{0}^{L}\left ( {\sum \limits _{m=1}^{\infty }}b_{m}\ \sin \frac {m\pi }{L}x\right ) \sin \frac {n\pi }{L}x\ \ dx\\ \ 100\int _{0}^{L}\text { }\sin \frac {n\pi }{L}x\ dx & ={\sum \limits _{m=1}^{\infty }}b_{m}\ \int _{0}^{L}\sin \frac {m\pi }{L}x\sin \frac {n\pi }{L}xdx\\ 100\int _{0}^{L}\text { }\sin \frac {n\pi }{L}x\ dx & =b_{n}\ \ \int _{0}^{L}\sin ^{2}\frac {n\pi }{L}x\ dx\\ -100\ \left [ \frac {L}{n\pi }\cos \frac {n\pi x}{L}\right ] _{0}^{L} & =b_{n}\ \ \ \frac {L}{2}\\ -100\ \left [ \frac {L}{n\pi }\cos n\pi -\frac {L}{n\pi }\right ] & =b_{n}\ \ \ \frac {L}{2}\\ -\frac {100L}{n\pi }\ \left [ \cos n\pi -1\right ] & =b_{n}\ \ \ \frac {L}{2}\\ b_{n} & =-\frac {200}{n\pi }\ \left [ \cos n\pi -1\right ] \end {align*}

Looking at few values of \(n=1,2,3,4,...\), \(b_{n}=-\frac {200}{n\pi }\ \left [ \cos n\pi -1\right ] \)

\begin {align*} b_{n} & =-\frac {200}{\pi }\ \left [ \cos \pi -1\right ] ,-\frac {200}{2\pi }\ \left [ \cos 2\pi -1\right ] ,-\frac {200}{3\pi }\ \left [ \cos 3\pi -1\right ] ,-\frac {200}{4\pi }\ \left [ \cos 4\pi -1\right ] ,...\\ b_{n} & =-\ \frac {200}{\pi }\ \left [ -1-1\right ] ,-\frac {200}{2\pi }\ \left [ 1-1\right ] ,-\frac {200}{3\pi }\ \left [ -1-1\right ] ,-\frac {200}{4\pi }\ \left [ 1-1\right ] ,.\\ b_{n} & =\ \ \frac {400}{\pi }\ ,0,\frac {400}{3\pi }\ ,0, \end {align*}

Hence \[ b_{n}=\frac {1}{n}\frac {400}{\pi } \quad \text {for odd }n \]

From equation (1) above we had

\[ u\left (x,t\right ) ={\sum \limits _{n=1}^{\infty }}b_{n}\ e^{-\alpha ^{2}\left ( \frac {n\pi }{L}\right ) ^{2}t}\sin \frac {n\pi }{L}x\ \]

Hence

\[ u\left (x,t\right ) =\frac {400}{\pi }{\sum \limits _{\text {odd}\ n}^{\infty }}\frac {1}{n}\ e^{-\alpha ^{2}\left (\frac {n\pi }{L}\right ) ^{2}t}\sin \left ( \frac {n\pi }{L}x\right ) \]


pict

Animation

4.8.6 Chapter 13, problem 3.3 Mary Boas book. second edition

In the initial state of an infinite slab of thickness L, the face x=0 is at zero degrees, and the face at \(x=l\) is at \(100\) degrees. from \(t=0\) on, the face at \(x=0\) is held at \(100\) degrees, and the face at \(x=L\) at zero degrees. find the temp. distribution at time \(t\).

pict

Solution

This is a heat distribution problem governed by the diffusion or heat equation \[ \nabla ^{2}u\left (x,t\right ) =\frac {1}{\alpha ^{2}}\frac {\partial u\left ( x,t\right ) }{\partial t} \]

This problem is similar to problem 2.2, where an infinite slab is considered the same as a slab with 2 insulated sides. Similar to problem 3.2, we get the following 2 candidate solutions to the above PDE

\[ u\left (x,t\right ) =\left \{ \begin {array} [c]{c}e^{-\alpha ^{2}k^{2}t}\sin kx\\ e^{-\alpha ^{2}k^{2}t}\cos kx \end {array} \right . \]

Since these are solutions for \(t>0\), we need to find the conditions that \(u=100\) at \(x=0\) and \(u=0\) at \(x=L.\)

discard the \(\cos kx\) solution because at \(x=0\) we want \(u=100\), which means \(e^{-\alpha ^{2}k^{2}t}\cos kx=e^{-\alpha ^{2}k^{2}t}=100\) which is not generally true for all \(t.\)

So the second solution is \(e^{-\alpha ^{2}k^{2}t}\sin kx\), which is \(0\) at \(x=L\), hence \(e^{-\alpha ^{2}k^{2}t}\sin kL=0\), i.e. \(kL=n\pi \) or \(k=\frac {n\pi }{L}\). So we start with the solution

\[ u\left (x,t\right ) =\ e^{-\alpha ^{2}\left (\frac {n\pi }{L}\right ) ^{2}t}\sin \frac {n\pi }{L}x \]

To make this solution fit at \(x=0\), we need to have \(100=e^{-\alpha ^{2}k^{2}t}\sin \frac {n\pi }{L}x\). but \(\sin \relax (x) \) is zero at \(x=0\), hence to compensate, we start with the solution

\[ u\left (x,t\right ) =\ 100-e^{-\left (\alpha \frac {n\pi }{L}\right ) ^{2}t}\sin \frac {n\pi }{L}x \]

This solution gives \(100\) when \(x=0.\)

But now we need to check it again for \(x=L\), we see it gives \(u=100\) which is not correct. So need to subtract the term \(\frac {100}{L}x\ \)(which is found below for the initial steady state). Now we have the candidate solution

\begin {equation} u\left (x,t\right ) =\ 100-\frac {100}{L}x+e^{-\left (\alpha \frac {n\pi }{L}\right ) ^{2}t}\sin \frac {n\pi }{L}x \tag {1} \end {equation}

To verify: at \(x=0\), this given \(u=100\), and at \(x=L\), this gives \(u\left ( x,t\right ) =\ 100-\frac {100}{L}L=0\), which is what we want.

Since a scaled sum of these solutions is a solution, then the general solution is

\begin {equation} u\left (x,t\right ) =100-\frac {100}{L}x+{\sum \limits _{n=1}^{\infty }}b_{n}\ e^{-\left (\alpha \frac {n\pi }{L}\right ) ^{2}t}\sin \frac {n\pi }{L}x \tag {2} \end {equation}

Now we need to find the \(b_{n}\). For this we use the initial conditions, i.e. for \(t=0\).

The sides \(x=0\) is at \(u=0\), and since no time was involved then (this is the initial steady state), the governing PDE is the Laplace equation with only the x spatial coordinate. \(\nabla ^{2}u_{0}\relax (x) =0\), a solution to this is \(u_{0}\relax (x) =ax+b\). when \(x=0,\) \(u_{0}=0\), hence \(0=b.\)

When \(x=L,u=100\), hence \(100=La+0\), or \(a=\frac {100}{L}.\)Hence at \(t=0\,\)

\[ u_{0}=\frac {100}{L}x \]

So now from equation (2) above, we write

\begin {align*} u\left (x,0\right ) & =u_{0}\relax (x) =\frac {100}{L}x=100-\frac {100}{L}x+{\sum \limits _{n=1}^{\infty }}b_{n}\ \sin \frac {n\pi }{L}x\ \ \ \ \\ \ \ \frac {100}{L}x & =100-\frac {100}{L}x+{\sum \limits _{n=1}^{\infty }}b_{n}\ \sin \frac {n\pi }{L}x\\ \frac {200}{L}x-100 & ={\sum \limits _{n=1}^{\infty }}b_{n}\ \sin \frac {n\pi }{L}x \end {align*}

Take the inner product of the LHS and RHS w.r.t. \(\sin \frac {n\pi }{L}x\) over \([0,L]\), we get

\begin {align*} \int _{0}^{L}\left (\frac {200}{L}x-100\right ) \text { }\sin \frac {n\pi }{L}x\ dx & =\int _{0}^{L}\left ({\sum \limits _{m=1}^{\infty }}b_{m}\ \sin \frac {m\pi }{L}x\right ) \ \sin \frac {n\pi }{L}x\ \ dx\\ 100\ \int _{0}^{L}\left (\frac {2x}{L}-1\right ) \sin \frac {n\pi }{L}x\ dx & ={\sum \limits _{m=1}^{\infty }}b_{m}\ \int _{0}^{L}\sin \frac {m\pi }{L}x\ \sin \frac {n\pi }{L}x\ dx\\ 100\ \ \frac {-Ln\pi \left (1+\cos \left (n\pi \right ) \right ) +2L\sin \left ( n\pi \right ) }{n^{2}\pi ^{2}} & =b_{n}\ \ \int _{0}^{L}\sin ^{2}\frac {m\pi }{L}x\ dx\\ 100L\frac {-n\pi \left (1+\cos \left (n\pi \right ) \right ) +2\sin \left ( n\pi \right ) }{n^{2}\pi ^{2}}\ \ \ \ & =b_{n}\ \ \ \frac {L}{2}\\ b_{n} & =200\ \left (\frac {-n\pi \left (1+\cos \left (n\pi \right ) \right ) +2\sin \left (n\pi \right ) }{n^{2}\pi ^{2}}\right ) \end {align*}

so looking at few values of \(n=1,2,3,4,\dots \). Hence \(b_{n}=200\ \left ( \frac {-n\pi \left (1+\cos \left (n\pi \right ) \right ) +2\sin \left ( n\pi \right ) }{n^{2}\pi ^{2}}\right ) \)

\begin {align*} b_{n} & =\ 200\ \left (\frac {-\pi \left (1-1\right ) +0}{\pi ^{2}}\right ) ,\ 200\ \left (\frac {-2\pi \left (1+1\right ) +0}{2^{2}\pi ^{2}}\right ) ,200\ \left (\frac {-3\pi \left (1-1\right ) +0}{3^{2}\pi ^{2}}\right ) ,\\ & 200\ \left (\frac {-4\pi \left (1+1\right ) +0}{4^{2}\pi ^{2}}\right ) ,200\ \left (\frac {-5\pi \left (1-1\right ) +0}{5^{2}\pi ^{2}}\right ) \\ b_{n} & =\ 200\ \relax (0) ,\ 200\ \left (\frac {-4\pi \ }{4\pi ^{2}}\right ) ,200\ \relax (0) ,200\ \left (\frac {-8\pi \ }{16\pi ^{2}}\right ) ,200\ \relax (0) ...,\\ b_{n} & =0,-400\ \frac {1}{2\pi },0,-400\frac {1}{4\pi },0,\\ b_{n} & =-400\ \frac {1}{n\pi } \end {align*}

Hence

\[ b_{n} = -400 \frac {1}{n\pi } \quad n=2,4,6,\dots \]

From equation (2) above we had

\[ u\left (x,t\right ) =100-\frac {100}{L}x+{\sum \limits _{n=1}^{\infty }}b_{n}\ e^{-\left (\alpha \frac {n\pi }{L}\right ) ^{2}t}\sin \frac {n\pi }{L}x\ \ \ \ \ \]

Hence

\begin {align*} u\left (x,t\right ) & =100-\frac {100}{L}x+{\sum \limits _{n\ \text {even}}^{\infty }}-400\ \frac {1}{n\pi }\ \ e^{-\left (\alpha \frac {n\pi }{L}\right ) ^{2}t}\sin \frac {n\pi }{L}x\ \\ u\left (x,t\right ) & =100-\frac {100}{L}x-\frac {400}{\pi }{\sum \limits _{n\ \text {even}}^{\infty }}\ \frac {1}{n}\ e^{-\left (\alpha \frac {n\pi }{L}\right ) ^{2}t}\sin \frac {n\pi }{L}x \end {align*}


pict

Animation

4.8.7 Chapter 13, problem 3.7. Mary Boas book. second edition

A bar of length \(L\) with insulated sides has its ends also insulated from time \(t=0\). Initially the temp. is \(u=x\), where is \(x\) is the distance from one end. Determine the temp. distribution inside the bar at time \(t\).

pict

Solution

In this problem, since all 4 sides are insulated, there will be no heat loss. Hence given the initial amount of heat inside the bar, we should obtain a solution that keeps this amount of heat the same. The solution should give a heat distribution at \(t\) large, such that it will be equally distributed over the length of the bar.

Since the two end sides are insulated, this is a Neumann type problem, so at \(t>0\) we will use \(\frac {\partial u}{\partial x}=0\) at both ends \(\left ( x=0,x=L\right ) \)

This is a heat distribution problem governed by the diffusion or heat equation \[ \nabla ^{2}u\left (x,t\right ) =\frac {1}{\alpha ^{2}}\frac {\partial u\left ( x,t\right ) }{\partial t} \]

Similar to problem 3.2, we get the following two candidate solutions to the above PDE

\[ u\left (x,t\right ) =\left \{ \begin {array} [c]{c}e^{-\alpha ^{2}k^{2}t}\sin kx\\ e^{-\alpha ^{2}k^{2}t}\cos kx \end {array} \right . \]

Since these are solutions for \(t>0\) we need to find the conditions that \(\frac {\partial u}{\partial x}=0\) at \(x=0\) and \(\frac {\partial u}{\partial x}=0\) at \(x=L.\) The above conditions tells us to discard the \(\sin kx\) solution because at \(x=0\) \(\frac {\partial u}{\partial x}=e^{-\alpha ^{2}k^{2}t}\cos kx=e^{-\alpha ^{2}k^{2}t}\neq 0\). So the second solution we are left with is

\[ e^{-\alpha ^{2}k^{2}t}\cos (kx) \]

Which satisfies \(\frac {\partial u}{\partial x}=0\) at \(x=0\). Now at \(x=L,\) we also want \(\frac {\partial u}{\partial x}=0\), hence \(\frac {\partial }{\partial x}e^{-\alpha ^{2}k^{2}t}\cos kx=-k\ e^{-\alpha ^{2}k^{2}t}\sin kL=0\). For this to be true we need \(k=0\) or \(\sin kL=0,\) i.e. \(kL=n\pi \) or \(k=\frac {n\pi }{L}\)

So there are two solutions to look at, one for \(k=0\) and one for \(k=\frac {n\pi }{L}.\) Looking at the \(k=\frac {n\pi }{L}\) solution first, we start with the solution

\[ \ u\left (x,t\right ) =\ e^{-\left (\frac {\alpha n\pi }{L}\right ) ^{2}t}\cos \frac {n\pi }{L}x\ \]

Now consider the initial conditions at \(t=0.\) At \(t=0\), when \(x=L/2\), \(u=L/2. \) Since we are told that \(u_{0}=x\). So from the above, we get \[ u\left (\frac {L}{2},0\right ) =\cos \frac {n\pi }{L}\frac {L}{2}=\cos \frac {n\pi }{2} \] Which is zero for integer \(n\). Hence to force the outcome to be \(\frac {L}{2}\), we need to add this term to the solution above. The solution now looks like

\begin {equation} \ u\left (x,t\right ) =\ \frac {L}{2}+e^{-\left (\frac {\alpha n\pi }{L}\right ) ^{2}t}\cos \frac {n\pi }{L}x \tag {1} \end {equation}

Now Since a scaled sum of these solutions is a solution, then the general solution is

\begin {equation} u\left (x,t\right ) ={\sum \limits _{n=1}^{\infty }}b_{n}\ \left (e^{-\left ( \frac {\alpha n\pi }{L}\right ) ^{2}t}\cos \frac {n\pi }{L}x\right ) \tag {2} \end {equation}

Now we need to find the \(b_{n}\). For this we use the initial conditions, i.e. for \(t=0\). We are told that at \(t=0\),\(\ u_{0}=x\). From equation (1) above, we write, at time \(t=0\)

\begin {align*} u\left (x,0\right ) & =x\\ & ={\sum \limits _{n=1}^{\infty }}b_{n}\ \cos \frac {n\pi }{L}x\ \ \end {align*}

Taking the inner product of the LHS and RHS w.r.t.\(\ \cos \frac {n\pi }{L}x\ \) over \([0,L]\) gives

\begin {align*} \ \int _{0}^{L}x\ \cos \frac {n\pi }{L}x\ & =\int _{0}^{L}\left ({\sum \limits _{m=1}^{\infty }}b_{m}\ \cos \frac {m\pi }{L}x\right ) \cos \frac {n\pi }{L}x\ dx\\ \ \ \int _{0}^{L}x\ \cos \frac {n\pi }{L}x\ & ={\sum \limits _{m=1}^{\infty }}b_{m}\ \int _{0}^{L}\cos \frac {m\pi }{L}x\ \cos \frac {n\pi }{L}x\ dx\\ \ \ \ \frac {L^{2}\left (-1+\cos \left (n\pi \right ) +n\pi \sin \left ( n\pi \right ) \right ) }{n^{2}\pi ^{2}} & =b_{n}\ \ \int _{0}^{L}\cos ^{2}\frac {m\pi }{L}x\ dx\\ \frac {L^{2}\left (-1+\cos \left (n\pi \right ) +n\pi \sin \left (n\pi \right ) \right ) }{n^{2}\pi ^{2}}\ \ \ \ & =b_{n}\ \ \ \frac {L}{2}\\ b_{n} & =\frac {2L\left (-1+\cos \left (n\pi \right ) +n\pi \sin \left ( n\pi \right ) \right ) }{n^{2}\pi ^{2}} \end {align*}

Looking at few values of \(n=1,2,3,4\dots \)

\[ b_{n}=\frac {2L\left (-1+\cos \left (n\pi \right ) +n\pi \sin \left ( n\pi \right ) \right ) }{n^{2}\pi ^{2}} \]

Hence

\begin {align*} b_{n} & =\ \frac {2L\left (-1+\cos \left (\pi \right ) +\pi \sin \left ( \pi \right ) \right ) }{\pi ^{2}},\ \frac {2L\left (-1+\cos \left (2\pi \right ) +2\pi \sin \left (2\pi \right ) \right ) }{2^{2}\pi ^{2}},\\ & \frac {2L\left (-1+\cos \left (3\pi \right ) +3\pi \sin \left (3\pi \right ) \right ) }{3^{2}\pi ^{2}},\frac {2L\left (-1+\cos \left (4\pi \right ) +4\pi \sin \left (4\pi \right ) \right ) }{4^{2}\pi ^{2}},...\\ b_{n} & =\ \frac {2L\left (-1-1\right ) }{\pi ^{2}},\ \frac {2L\left ( -1+1\right ) }{2^{2}\pi ^{2}},\frac {2L\left (-1-1\right ) }{3^{2}\pi ^{2}},\frac {2L\left (-1+1\right ) }{4^{2}\pi ^{2}},...\\ b_{n} & =\frac {2L\left (-2\right ) }{\pi ^{2}},\ \frac {2L\relax (0) }{2^{2}\pi ^{2}},\frac {2L\left (-2\right ) }{3^{2}\pi ^{2}},\frac {2L\left ( 0\right ) }{4^{2}\pi ^{2}},...\\ b_{n} & =\frac {-4L}{\pi ^{2}},\ 0,\frac {-4L}{3^{2}\pi ^{2}},0,...\\ b_{n} & =\frac {-4L}{n^{2}\pi ^{2}} \end {align*}

Hence

\[ b_{n}=\frac {-4L}{n^{2}\pi ^{2}}\ \ \ \ n=1,3,5,... \]

From equation (1) above we had

\begin {align*} \ u\left (x,t\right ) & =\ \frac {L}{2}+e^{-\left (\frac {\alpha n\pi }{L}\right ) ^{2}t}\cos \frac {n\pi }{L}x\ \ \ \ \\ & =\frac {L}{2}+{\sum \limits _{\text {odd}}^{\infty }}b_{n}\ \left (e^{-\left ( \frac {\alpha n\pi }{L}\right ) ^{2}t}\cos \frac {n\pi }{L}x\right ) \ \\ u\left (x,t\right ) & =\frac {L}{2}+{\sum \limits _{\text {odd}}^{\infty }}\frac {-4L}{n^{2}\pi ^{2}}\ e^{-\left (\frac {\alpha n\pi }{L}\right ) ^{2}t}\cos \frac {n\pi }{L}x\ \end {align*}

Hence

\[ u\left (x,t\right ) =\frac {L}{2}-\frac {4L}{\pi ^{2}}{\sum \limits _{\text {odd}}^{\infty }}\frac {1}{n^{2}}\ e^{-\left (\frac {\alpha n\pi }{L}\right ) ^{2}t}\cos \frac {n\pi }{L}x \]


pict

Animation

Now we need to consider the \(k=0\) solution we had at the beginning. Starting with \(u\left (x,t\right ) =e^{-\alpha ^{2}k^{2}t}\cos kx\), for \(k=0\), we have \(u\left (x,t\right ) =1\), and as before we want to look for a general solution as \(\ u_{g}\left (x,t\right ) \ ={\sum \limits _{n=1}^{\infty }}b_{n}\ u\left (x,t\right ) \), which is now will be \[ u_{g}\left (x,t\right ) \ ={\sum \limits _{n=1}^{\infty }}b_{n} \]

To find \(b_{n}\), as before we use the conditions at \(t=0\), which is \(u\left ( x,0\right ) =\) \(x\). Therefore \[ u\left (x,0\right ) =x\ ={\sum \limits _{n=1}^{\infty }}b_{n} \]

Therefore \({\sum \limits _{n=1}^{\infty }}b_{n}=x\). The general solution in this case is given by

\begin {align*} u_{g}\left (x,t\right ) & ={\sum \limits _{n=1}^{\infty }}b_{n}\\ u_{g}\left (x,t\right ) & =x \end {align*}

which is what we are required to show. What this means is that for \(k=0\), the heat distribution does not change. So this is the same as the time-independent initial conditions.

4.8.8 Chapter 13, problem 3.9. Mary Boas book. second edition

A bar of length \(L=2\) with insulated side at \(x=0\) only, at \(t=0\) held at zero temperature. at \(t>0\) the right side is held at \(T=100\) degrees. Determine the time dependent temperature distribution inside the bar

pict

Solution

In this problem, since left side is insulated, this is a Neumann condition at the \(x=0\) side. So at \(t>0\) we will use \(\frac {\partial u}{\partial x}=0\) at \(x=0\). This is a heat distribution problem governed by the diffusion or heat equation \[ \nabla ^{2}u\left (x,t\right ) =\frac {1}{\alpha ^{2}}\frac {\partial u\left ( x,t\right ) }{\partial t}\]

Similar to problem 3.2, we get the following 2 candidate solutions to the above PDE

\[ u\left (x,t\right ) =\left \{ \begin {array} [c]{c}e^{-\alpha ^{2}k^{2}t}\sin kx\\ e^{-\alpha ^{2}k^{2}t}\cos kx \end {array} \right . \]

Since these are solutions for \(t>0\). We need to find the conditions that \(\frac {\partial u}{\partial x}=0\) at \(x=0\) and \(u=100\) at \(x=L.\) Since we want \(\frac {\partial u}{\partial x}=0\) at \(x=0,\) then we can not use the \(\sin kx\) solution. We are left with the solution \(e^{-\alpha ^{2}k^{2}t}\cos (kx)\) which satisfies \(\frac {\partial u}{\partial x}=0\) at \(x=0\). Now at \(x=L,\) we want \(u=100\), hence \(e^{-\alpha ^{2}k^{2}t}\cos (kL)=100\). The way this is presented will not allow exact expression for \(k\) so we have to write \(u(L,t)=100+e^{-\alpha ^{2}k^{2}t}\cos (kL)\), and now we are able to set only the \(e^{-\alpha ^{2}k^{2}t}\cos (kL)\) term to zero, which means we need to have \(\cos (kL)=0\) or \(kL=\frac {2n-1}{2}\pi \) or \(k=\frac {2n-1}{2}\frac {\pi }{L}\). Hence we start with the solution

\begin {align} \ u\left (x,t\right ) & =\ 100+e^{-\alpha ^{2}\left (\frac {2n-1}{2}\frac {\pi }{L}\right ) ^{2}t}\cos \left (\frac {2n-1}{2}\frac {\pi }{L}x\right ) \nonumber \\ & =\ 100+e^{-\left (\alpha \frac {2n-1}{2}\frac {\pi }{L}\right ) ^{2}t}\cos \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \tag {1} \end {align}

Since a scaled sum of these solutions is a solution, then the general solution is

\begin {equation} u\left (x,t\right ) =100+{\sum \limits _{n=1}^{\infty }}b_{n}\ e^{-\left ( \alpha \frac {2n-1}{2}\frac {\pi }{L}\right ) ^{2}t}\cos \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \tag {2} \end {equation}

Now we need to find the \(b_{n}\). For this we use the initial conditions. We are told that at \(t=0\), \(u_{0}=0\). So now from equation (1) above

\begin {align*} u\left (x,0\right ) & =0\\ & =100+{\sum \limits _{n=1}^{\infty }}b_{n}\cos \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \\ -100 & ={\sum \limits _{n=1}^{\infty }}b_{n}\ \cos \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \end {align*}

Taking the inner product of the LHS and RHS w.r.t.\(\ \cos \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \ \)over \([0,L]\) gives

\begin {align*} -100\ \int _{0}^{L}\cos \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \ dx\ & =\int _{0}^{L}\left ({\sum \limits _{m=1}^{\infty }}b_{m}\ \cos \left ( \frac {2m-1}{2}\frac {\pi x}{L}\right ) \right ) \cos \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \\ \ \ -100\ \left [ \frac {1}{\frac {2n-1}{2}\frac {\pi }{L}}\sin \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \right ] _{0}^{L}\ & ={\sum \limits _{m=1}^{\infty }}b_{m}\ \int _{0}^{L}\cos \left (\frac {2m-1}{2}\frac {\pi x}{L}\right ) \ \cos \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \ dx\\ \ \ \ -100\ \frac {2L}{\left (2n-1\right ) \pi }\left [ \sin \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \right ] _{0}^{L} & =b_{n}\ \ \int _{0}^{L}\cos ^{2}\left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) dx\\ \ \ \frac {-200L}{\left (2n-1\right ) \pi }\ \left [ \sin \left (\frac {2n-1}{2}\frac {\pi L}{L}\right ) -\sin \relax (0) \right ] \ & =b_{n}\ \ \ \frac {L}{2}\\ \frac {-200L}{\left (2n-1\right ) \pi }\ \left [ \sin \left (\frac {2n-1}{2}\pi \right ) \right ] \ & =b_{n}\ \ \ \frac {L}{2}\\ b_{n} & =\ \frac {-400}{\left (2n-1\right ) \pi }\ \left [ \sin \left ( \frac {2n-1}{2}\pi \right ) \right ] \end {align*}

Looking at few values of \(n\), \(b_{n}=\ \frac {-400}{\left (2n-1\right ) \pi }\left [ \sin \left (\frac {2n-1}{2}\pi \right ) \right ] \), hence

\begin {align*} b_{n} & =\frac {-400}{\left (2-1\right ) \pi }\left [ \sin \left (\frac {2-1}{2}\pi \right ) \right ] ,\frac {-400}{\left (4-1\right ) \pi }\left [ \sin \left (\frac {4-1}{2}\pi \right ) \right ] ,\\ & \frac {-400}{\left (6-1\right ) \pi }\left [ \sin \left (\frac {6-1}{2}\pi \right ) \right ] ,\frac {-400}{\left (8-1\right ) \pi }\ \left [ \sin \left (\frac {8-1}{2}\pi \right ) \right ] ...\\ b_{n} & =\ \frac {-400}{\pi }\left [ \sin \left (\frac {1}{2}\pi \right ) \right ] ,\ \frac {-400}{3\pi }\left [ \sin \left (\frac {3}{2}\pi \right ) \right ] ,\frac {-400}{5\pi }\ \left [ \sin \left (\frac {5}{2}\pi \right ) \right ] ,...\\ b_{n} & =\frac {-400}{\pi },\ \frac {+400}{3\pi },\frac {-400}{5\pi },\dots \\ b_{n} & =-\frac {\left (-1\right ) ^{n}}{2n+1}\frac {400}{\pi }\quad n=0,1,2,3,\dots \end {align*}

Therefore\[ \ b_{n}=-\frac {\left (-1\right ) ^{n}}{2n+1}\frac {400}{\pi }\quad n=0,1,2,3,\dots \]

From equation (2) above we had

\[ \ u\left (x,t\right ) =100+{\sum \limits _{n=1}^{\infty }}b_{n}\ e^{-\left ( \alpha \frac {2n-1}{2}\frac {\pi }{L}\right ) ^{2}t}\cos \left (\frac {2n-1}{2}\frac {\pi x}{L}\right ) \ \ \ \]

Substituting the value for \(b_{n}\) and adjusting the summation index to start from \(n=0\) since this is where \(b_{n}\) is defined to start from, and so we need to replace \(\frac {2n-1}{2}\) by \(\frac {2n+1}{2}\) in the rest of the above terms. Hence

\begin {align*} u\left (x,t\right ) & =100+{\sum \limits _{n=0}^{\infty }}-\frac {\left ( -1\right ) ^{n}}{2n+1}\frac {400}{\pi }\ e^{-\left (\alpha \frac {2n+1}{2}\frac {\pi }{L}\right ) ^{2}t}\cos \left (\frac {2n+1}{2}\frac {\pi x}{L}\right ) \\ & =100-\frac {400}{\pi }{\sum \limits _{n=0}^{\infty }}\frac {\left (-1\right ) ^{n}}{2n+1}\ \ e^{-\left (\alpha \frac {2n+1}{2}\frac {\pi }{L}\right ) ^{2}t}\cos \left (\frac {2n+1}{2}\frac {\pi x}{L}\right ) \end {align*}


pict

Animation

4.8.9 Problem chapter 13, 3.10. Mary Boas book. Second edition

Separate the wave equation \(\nabla ^{2}u=\frac {1}{v}\frac {\partial ^{2}u}{\partial t^{2}}\) into space and time equation and show that the space equation is the Helmholtz equation.

Solution

Assume that the solution is of this form \(u\left (x,y,z,t\right ) =F\left ( x,y,z\right ) T\relax (t) \)

That is, the solution of the PDE is the product of 2 functions, one that depends only on the spatial displacements and a function that depends only on time.

Substituting back in the PDE which when written in the long form is:

\[ \frac {\partial ^{2}u}{\partial x^{2}}+\frac {\partial ^{2}u}{\partial y^{2}}+\frac {\partial ^{2}u}{\partial z^{2}}=\frac {1}{v}\frac {\partial ^{2}u}{\partial t^{2}}\]

Hence,

\begin {align*} \frac {\partial u}{\partial x} & =T\relax (t) \frac {\partial F}{\partial x}\\ \frac {\partial ^{2}u}{\partial x^{2}} & =T\relax (t) \frac {\partial ^{2}F}{\partial x^{2}} \end {align*}

similarly we get \begin {align*} \frac {\partial ^{2}u}{\partial y^{2}} & =T\relax (t) \frac {\partial ^{2}F}{\partial y^{2}}\\ \frac {\partial ^{2}u}{\partial z^{2}} & =T\relax (t) \frac {\partial ^{2}F}{\partial z^{2}}\\ \frac {\partial ^{2}u}{\partial t^{2}} & =F\left (x,y,z\right ) \ \frac {d^{2}T}{dt^{2}} \end {align*}

Now \(\nabla ^{2}u=\frac {1}{v}\frac {\partial ^{2}u}{\partial t^{2}}\) can be written as

\begin {align*} T\relax (t) \frac {\partial ^{2}F}{\partial x^{2}}+T\relax (t) \frac {\partial ^{2}F}{\partial y^{2}}+T\relax (t) \frac {\partial ^{2}F}{\partial z^{2}} & =\frac {1}{v}F\left (x,y,z\right ) \ \frac {d^{2}T}{dt^{2}}\\ T\ \nabla ^{2}F\ & =\frac {1}{v}F\ \frac {d^{2}T}{dt^{2}} \end {align*}

dividing the equation by \(T\ F\), we get

\[ \frac {1}{F}\ \nabla ^{2}F\ =\frac {1}{v}\frac {1}{T}\ \frac {d^{2}T}{dt^{2}}\]

Since the LHS is a function of space only, and RHS is a function of time only, and they equal to each others, then they must be equal to a constant, say \(-k^{2}\)

Hence we get

\begin {align*} \frac {1}{F}\ \nabla ^{2}F\ & =-k^{2}\\ \frac {1}{v}\frac {1}{T}\ \frac {d^{2}T}{dt^{2}} & =-k^{2} \end {align*}

Looking at the space equation only:

\begin {align*} \frac {1}{F\left (x,y,z\right ) }\ \nabla ^{2}F\left (x,y,z\right ) \ & =-k^{2}\\ \nabla ^{2}F\left (x,y,z\right ) & =-F\left (x,y,z\right ) \ k^{2}\\ \nabla ^{2}F\left (x,y,z\right ) +F\left (x,y,z\right ) \ k^{2} & =0 \end {align*}

So the space equation is the Helmholtz equation.