Browse papers
A

Section A: Long Answer Questions

Attempt all / any as specified.

4 questions
1long12 marks

(a) Define the Laplace transform of a function f(t)f(t) and state the conditions of existence. Find the Laplace transform of f(t)=e2ttcos3tf(t) = e^{-2t}\,t\cos 3t using the appropriate shifting and differentiation theorems. [6]

(b) Using the Laplace transform method, solve the initial value problem

y+4y+4y=e2t,y(0)=0,  y(0)=1.y'' + 4y' + 4y = e^{-2t}, \qquad y(0)=0,\; y'(0)=1.

[6]

(a) Definition, existence and the transform of e2ttcos3te^{-2t}t\cos 3t

Definition. The Laplace transform of f(t)f(t) (defined for t0t\ge 0) is

L{f(t)}=F(s)=0estf(t)dt,\mathcal{L}\{f(t)\}=F(s)=\int_0^\infty e^{-st}f(t)\,dt,

provided the integral converges.

Conditions of existence (sufficient). If f(t)f(t) is

  1. piecewise continuous on every finite interval 0tN0\le t\le N, and
  2. of exponential order α\alpha, i.e. there exist M>0,  αM>0,\;\alpha such that f(t)Meαt|f(t)|\le M e^{\alpha t} for tNt\ge N,

then F(s)F(s) exists for all s>αs>\alpha.

Transform of f(t)=e2ttcos3tf(t)=e^{-2t}\,t\cos 3t.

Start from L{cos3t}=ss2+9.\mathcal{L}\{\cos 3t\}=\dfrac{s}{s^2+9}.

Multiplication by tt (differentiation theorem L{tg(t)}=G(s)\mathcal{L}\{t\,g(t)\}=-G'(s)):

L{tcos3t}=dds ⁣(ss2+9)=(s2+9)s(2s)(s2+9)2=s29(s2+9)2.\mathcal{L}\{t\cos 3t\}=-\frac{d}{ds}\!\left(\frac{s}{s^2+9}\right)=-\frac{(s^2+9)-s(2s)}{(s^2+9)^2}=\frac{s^2-9}{(s^2+9)^2}.

First shifting theorem (L{e2tg(t)}=G(s+2)\mathcal{L}\{e^{-2t}g(t)\}=G(s+2)): replace ss+2s\to s+2:

  L{e2ttcos3t}=(s+2)29((s+2)2+9)2=s2+4s5(s2+4s+13)2.  \boxed{\;\mathcal{L}\{e^{-2t}t\cos 3t\}=\frac{(s+2)^2-9}{\big((s+2)^2+9\big)^2}=\frac{s^2+4s-5}{(s^2+4s+13)^2}.\;}

(b) IVP y+4y+4y=e2t,  y(0)=0,  y(0)=1y''+4y'+4y=e^{-2t},\;y(0)=0,\;y'(0)=1

Taking Laplace transforms with Y=L{y}Y=\mathcal{L}\{y\}:

(s2Ysy(0)y(0))+4(sYy(0))+4Y=1s+2.\big(s^2Y - s\,y(0)-y'(0)\big)+4\big(sY-y(0)\big)+4Y=\frac{1}{s+2}.

Using y(0)=0,  y(0)=1y(0)=0,\;y'(0)=1:

(s2+4s+4)Y1=1s+2(s+2)2Y=1+1s+2.(s^2+4s+4)Y-1=\frac{1}{s+2}\quad\Rightarrow\quad (s+2)^2 Y = 1+\frac{1}{s+2}.

Hence

Y=1(s+2)2+1(s+2)3.Y=\frac{1}{(s+2)^2}+\frac{1}{(s+2)^3}.

Inverting term by term using L1{(s+a)n}=tn1(n1)!eat\mathcal{L}^{-1}\{(s+a)^{-n}\}=\dfrac{t^{n-1}}{(n-1)!}e^{-at}:

  y(t)=te2t+12t2e2t=e2t(t+t22).  \boxed{\;y(t)=t\,e^{-2t}+\tfrac12 t^2 e^{-2t}=e^{-2t}\left(t+\tfrac{t^2}{2}\right).\;}

Check: y(0)=0y(0)=0 and y(t)=e2t(1+tt2)y(0)=1.y'(t)=e^{-2t}(1+t-t^2)\Rightarrow y'(0)=1.

laplace-transformsinverse-laplaceode-ivp
2long12 marks

(a) Obtain the Fourier series expansion of the periodic function defined by

f(x)={x,π<x<0    x,    0<x<πf(x) = \begin{cases} -x, & -\pi < x < 0 \\ \;\;x, & \;\;0 < x < \pi \end{cases}

with period 2π2\pi, and hence deduce that n=11(2n1)2=π28\displaystyle \sum_{n=1}^{\infty} \frac{1}{(2n-1)^2} = \frac{\pi^2}{8}. [8]

(b) Find the half-range cosine series for f(x)=xf(x) = x in the interval 0<x<20 < x < 2. [4]

(a) Fourier series of f(x)=xf(x)=|x| on (π,π)(-\pi,\pi)

Here f(x)=xf(x)=-x for π<x<0-\pi<x<0 and f(x)=xf(x)=x for 0<x<π0<x<\pi, i.e. f(x)=xf(x)=|x|, which is an even function. Hence all bn=0b_n=0 and only cosine terms appear.

Constant term.

a0=1πππxdx=2π0πxdx=2ππ22=π.a_0=\frac{1}{\pi}\int_{-\pi}^{\pi}|x|\,dx=\frac{2}{\pi}\int_0^\pi x\,dx=\frac{2}{\pi}\cdot\frac{\pi^2}{2}=\pi.

Cosine coefficients.

an=2π0πxcosnxdx=2π[xsinnxn+cosnxn2]0π=2πcosnπ1n2=2πn2((1)n1).a_n=\frac{2}{\pi}\int_0^\pi x\cos nx\,dx=\frac{2}{\pi}\left[\frac{x\sin nx}{n}+\frac{\cos nx}{n^2}\right]_0^\pi=\frac{2}{\pi}\cdot\frac{\cos n\pi-1}{n^2}=\frac{2}{\pi n^2}\big((-1)^n-1\big).

Thus an=0a_n=0 for even nn and an=4πn2a_n=-\dfrac{4}{\pi n^2} for odd nn. Writing n=2k1n=2k-1:

  f(x)=π24πk=1cos(2k1)x(2k1)2.  \boxed{\;f(x)=\frac{\pi}{2}-\frac{4}{\pi}\sum_{k=1}^{\infty}\frac{\cos(2k-1)x}{(2k-1)^2}.\;}

Deduction. Put x=0x=0; f(0)=0f(0)=0 and cos0=1\cos 0=1:

0=π24πk=11(2k1)2    k=11(2k1)2=π2π4=π28.0=\frac{\pi}{2}-\frac{4}{\pi}\sum_{k=1}^{\infty}\frac{1}{(2k-1)^2}\;\Rightarrow\;\sum_{k=1}^{\infty}\frac{1}{(2k-1)^2}=\frac{\pi}{2}\cdot\frac{\pi}{4}=\boxed{\frac{\pi^2}{8}.}

(b) Half-range cosine series of f(x)=xf(x)=x on (0,2)(0,2)

Here L=2L=2. For a half-range cosine series bn=0b_n=0 and

a0=2L0Lxdx=2202xdx=2,a_0=\frac{2}{L}\int_0^L x\,dx=\frac{2}{2}\int_0^2 x\,dx=2, an=2L0LxcosnπxLdx=02xcosnπx2dx.a_n=\frac{2}{L}\int_0^L x\cos\frac{n\pi x}{L}\,dx=\int_0^2 x\cos\frac{n\pi x}{2}\,dx.

Integrating by parts:

an=[2xnπsinnπx2+4n2π2cosnπx2]02=4n2π2(cosnπ1)=4n2π2((1)n1).a_n=\left[\frac{2x}{n\pi}\sin\frac{n\pi x}{2}+\frac{4}{n^2\pi^2}\cos\frac{n\pi x}{2}\right]_0^2=\frac{4}{n^2\pi^2}\big(\cos n\pi-1\big)=\frac{4}{n^2\pi^2}\big((-1)^n-1\big).

So an=0a_n=0 (even nn), an=8n2π2a_n=-\dfrac{8}{n^2\pi^2} (odd nn). With a0/2=1a_0/2=1:

  x=18π2k=11(2k1)2cos(2k1)πx2,0<x<2.  \boxed{\;x=1-\frac{8}{\pi^2}\sum_{k=1}^{\infty}\frac{1}{(2k-1)^2}\cos\frac{(2k-1)\pi x}{2},\qquad 0<x<2.\;}
fourier-serieshalf-range-expansion
3long12 marks

A laterally insulated thin rod of length LL has its ends at x=0x=0 and x=Lx=L maintained at zero temperature. The initial temperature distribution is u(x,0)=f(x)u(x,0)=f(x).

(a) Using the method of separation of variables, derive the solution of the one-dimensional heat equation ut=c22ux2\dfrac{\partial u}{\partial t} = c^2 \dfrac{\partial^2 u}{\partial x^2} subject to the given boundary and initial conditions. [8]

(b) Hence write down the temperature distribution when f(x)=3sinπxL5sin4πxLf(x) = 3\sin\dfrac{\pi x}{L} - 5\sin\dfrac{4\pi x}{L}. [4]

(a) Separation of variables for the heat equation

Solve ut=c2uxxu_t=c^2u_{xx}, 0<x<L0<x<L, with u(0,t)=u(L,t)=0u(0,t)=u(L,t)=0 and u(x,0)=f(x)u(x,0)=f(x).

Separation. Assume u(x,t)=X(x)T(t)u(x,t)=X(x)T(t). Substituting,

XT=c2XT    Tc2T=XX=λ (constant).X T' = c^2 X'' T\;\Rightarrow\;\frac{T'}{c^2T}=\frac{X''}{X}=-\lambda\ (\text{constant}).

This gives two ODEs:

X+λX=0,T+c2λT=0.X''+\lambda X=0,\qquad T'+c^2\lambda T=0.

Spatial problem (eigenvalues). Boundary conditions force X(0)=X(L)=0X(0)=X(L)=0. Only λ>0\lambda>0 gives non-trivial solutions. Writing λ=k2\lambda=k^2, X=Acoskx+BsinkxX=A\cos kx+B\sin kx; X(0)=0A=0X(0)=0\Rightarrow A=0; X(L)=0sinkL=0k=nπLX(L)=0\Rightarrow \sin kL=0\Rightarrow k=\dfrac{n\pi}{L}. Hence

λn=(nπL)2,Xn(x)=sinnπxL,n=1,2,3,\lambda_n=\left(\frac{n\pi}{L}\right)^2,\qquad X_n(x)=\sin\frac{n\pi x}{L},\quad n=1,2,3,\dots

Time part. T+c2λnT=0Tn(t)=ec2(nπ/L)2t.T'+c^2\lambda_n T=0\Rightarrow T_n(t)=e^{-c^2(n\pi/L)^2 t}.

Superposition.

u(x,t)=n=1bnsinnπxLec2(nπ/L)2t.u(x,t)=\sum_{n=1}^{\infty} b_n\sin\frac{n\pi x}{L}\,e^{-c^2(n\pi/L)^2 t}.

Initial condition. At t=0t=0, f(x)=bnsinnπxLf(x)=\sum b_n\sin\dfrac{n\pi x}{L}, so the bnb_n are Fourier sine coefficients:

  bn=2L0Lf(x)sinnπxLdx.  \boxed{\;b_n=\frac{2}{L}\int_0^L f(x)\sin\frac{n\pi x}{L}\,dx.\;}

(b) Particular case f(x)=3sinπxL5sin4πxLf(x)=3\sin\frac{\pi x}{L}-5\sin\frac{4\pi x}{L}

The initial profile is already a sine sum, so by inspection b1=3,  b4=5b_1=3,\;b_4=-5 and all other bn=0b_n=0. Therefore

  u(x,t)=3sinπxLec2(π/L)2t5sin4πxLe16c2(π/L)2t.  \boxed{\;u(x,t)=3\sin\frac{\pi x}{L}\,e^{-c^2(\pi/L)^2 t}-5\sin\frac{4\pi x}{L}\,e^{-16c^2(\pi/L)^2 t}.\;}
partial-differential-equationsheat-equationboundary-value-problems
4long12 marks

(a) Using the Frobenius (power series) method, find the series solution of the differential equation

2xy+(1x)yy=02x\,y'' + (1-x)\,y' - y = 0

about the regular singular point x=0x=0, obtaining the indicial equation and the recurrence relation. [8]

(b) Show that the Bessel equation of order nn, x2y+xy+(x2n2)y=0x^2 y'' + x y' + (x^2 - n^2)y = 0, reduces to the elementary form whose solution for n=12n=\tfrac12 can be expressed in terms of sinxx\dfrac{\sin x}{\sqrt{x}}. [4]

(a) Frobenius solution of 2xy+(1x)yy=02x y''+(1-x)y'-y=0

Write in standard form y+1x2xy12xy=0y''+\dfrac{1-x}{2x}y'-\dfrac{1}{2x}y=0. At x=0x=0, xp(x)=12(1x)xp(x)=\tfrac12(1-x) and x2q(x)=12xx^2q(x)=-\tfrac12 x are analytic, so x=0x=0 is a regular singular point.

Assume y=k=0akxk+ry=\sum_{k=0}^{\infty} a_k x^{k+r}, a00a_0\ne 0. Then

y=(k+r)akxk+r1,y=(k+r)(k+r1)akxk+r2.y'=\sum (k+r)a_k x^{k+r-1},\qquad y''=\sum (k+r)(k+r-1)a_k x^{k+r-2}.

Substitute:

2(k+r)(k+r1)akxk+r1+(k+r)akxk+r1(k+r)akxk+rakxk+r=0.\sum 2(k+r)(k+r-1)a_k x^{k+r-1}+\sum (k+r)a_k x^{k+r-1}-\sum (k+r)a_k x^{k+r}-\sum a_k x^{k+r}=0.

Indicial equation (lowest power xr1x^{r-1}, k=0k=0):

2r(r1)a0+ra0=0    r(2r1)=0    r=0 or r=12.2r(r-1)a_0+r a_0=0\;\Rightarrow\; r(2r-1)=0\;\Rightarrow\; \boxed{r=0\ \text{or}\ r=\tfrac12.}

Recurrence relation. Collecting the coefficient of xk+rx^{k+r}:

[2(k+1+r)(k+r)+(k+1+r)]ak+1[(k+r)+1]ak=0,\big[2(k+1+r)(k+r)+(k+1+r)\big]a_{k+1}-\big[(k+r)+1\big]a_k=0,   ak+1=(k+r+1)(k+r+1)(2(k+r)+1)ak=ak2(k+r)+1.  \boxed{\;a_{k+1}=\frac{(k+r+1)}{(k+r+1)\big(2(k+r)+1\big)}a_k=\frac{a_k}{2(k+r)+1}.\;}

For r=0r=0: ak+1=ak2k+1a_{k+1}=\dfrac{a_k}{2k+1}, giving a1=a0,  a2=a03,  a3=a015,a_1=a_0,\;a_2=\tfrac{a_0}{3},\;a_3=\tfrac{a_0}{15},\dots so

y1=a0(1+x+x23+x315+).y_1=a_0\left(1+x+\frac{x^2}{3}+\frac{x^3}{15}+\cdots\right).

For r=12r=\tfrac12: ak+1=ak2k+2=ak2(k+1)a_{k+1}=\dfrac{a_k}{2k+2}=\dfrac{a_k}{2(k+1)}, giving ak=a02kk!a_k=\dfrac{a_0}{2^k k!}, so

y2=a0x1/2k=0xk2kk!=a0x1/2ex/2.y_2=a_0\,x^{1/2}\sum_{k=0}^{\infty}\frac{x^k}{2^k k!}=a_0\,x^{1/2}e^{x/2}.

The general solution is y=c1y1+c2y2y=c_1 y_1+c_2 y_2.

(b) Bessel equation for n=12n=\tfrac12

For x2y+xy+(x2n2)y=0x^2y''+xy'+(x^2-n^2)y=0 with n=12n=\tfrac12, substitute y=u(x)xy=\dfrac{u(x)}{\sqrt{x}}. Then

y=uxu2x3/2,y=uxux3/2+3u4x5/2.y'=\frac{u'}{\sqrt{x}}-\frac{u}{2x^{3/2}},\qquad y''=\frac{u''}{\sqrt{x}}-\frac{u'}{x^{3/2}}+\frac{3u}{4x^{5/2}}.

Substituting and simplifying, the equation reduces to the elementary harmonic form

u+u=0,u''+u=0,

whose general solution is u=Acosx+Bsinxu=A\cos x+B\sin x. Hence

y=Acosx+Bsinxx.y=\frac{A\cos x+B\sin x}{\sqrt{x}}.

The solution bounded/standard at the origin (Bessel function J1/2J_{1/2}) is

  J1/2(x)=2πxsinx  sinxx.  \boxed{\;J_{1/2}(x)=\sqrt{\frac{2}{\pi x}}\,\sin x\ \propto\ \frac{\sin x}{\sqrt{x}}.\;}
series-solution-odefrobenius-methodbessel-functions
B

Section B: Short Answer Questions

Attempt all / any as specified.

7 questions
5short8 marks

(a) State and prove the convolution theorem for Laplace transforms, and use it to evaluate L1{1(s2+a2)2}\mathcal{L}^{-1}\left\{\dfrac{1}{(s^2+a^2)^2}\right\}. [5]

(b) Find the Laplace transform of the full-wave rectified sine wave f(t)=sintf(t)=|\sin t|, which is periodic with period π\pi. [3]

(a) Convolution theorem

Statement. If L{f}=F(s)\mathcal{L}\{f\}=F(s) and L{g}=G(s)\mathcal{L}\{g\}=G(s), then with the convolution (fg)(t)=0tf(τ)g(tτ)dτ(f*g)(t)=\displaystyle\int_0^t f(\tau)g(t-\tau)\,d\tau,

L{(fg)(t)}=F(s)G(s).\mathcal{L}\{(f*g)(t)\}=F(s)\,G(s).

Proof.

F(s)G(s)=0esτf(τ)dτ0esσg(σ)dσ=0 ⁣ ⁣0es(τ+σ)f(τ)g(σ)dσdτ.F(s)G(s)=\int_0^\infty e^{-s\tau}f(\tau)\,d\tau\int_0^\infty e^{-s\sigma}g(\sigma)\,d\sigma=\int_0^\infty\!\!\int_0^\infty e^{-s(\tau+\sigma)}f(\tau)g(\sigma)\,d\sigma\,d\tau.

Substitute t=τ+σt=\tau+\sigma (so σ=tτ\sigma=t-\tau, tt from τ\tau to \infty) and interchange the order of integration:

F(s)G(s)=0est(0tf(τ)g(tτ)dτ)dt=L{(fg)(t)}.F(s)G(s)=\int_0^\infty e^{-st}\left(\int_0^t f(\tau)g(t-\tau)\,d\tau\right)dt=\mathcal{L}\{(f*g)(t)\}.\qquad\blacksquare

Application. Write 1(s2+a2)2=1s2+a21s2+a2\dfrac{1}{(s^2+a^2)^2}=\dfrac{1}{s^2+a^2}\cdot\dfrac{1}{s^2+a^2}. Since L1{1s2+a2}=1asinat\mathcal{L}^{-1}\{\tfrac{1}{s^2+a^2}\}=\tfrac{1}{a}\sin at, by convolution

L1 ⁣{1(s2+a2)2}=1a20tsinaτsina(tτ)dτ.\mathcal{L}^{-1}\!\left\{\frac{1}{(s^2+a^2)^2}\right\}=\frac{1}{a^2}\int_0^t \sin a\tau\,\sin a(t-\tau)\,d\tau.

Using sinAsinB=12[cos(AB)cos(A+B)]\sin A\sin B=\tfrac12[\cos(A-B)-\cos(A+B)]:

=12a20t[cosa(2τt)cosat]dτ=12a2[sinatatcosat].=\frac{1}{2a^2}\int_0^t\big[\cos a(2\tau-t)-\cos at\big]d\tau=\frac{1}{2a^2}\left[\frac{\sin at}{a}-t\cos at\right].   L1 ⁣{1(s2+a2)2}=12a3(sinatatcosat).  \boxed{\;\mathcal{L}^{-1}\!\left\{\frac{1}{(s^2+a^2)^2}\right\}=\frac{1}{2a^3}\big(\sin at-at\cos at\big).\;}

(b) Laplace transform of f(t)=sintf(t)=|\sin t| (period π\pi)

For a periodic function of period TT, L{f}=11esT0Testf(t)dt\mathcal{L}\{f\}=\dfrac{1}{1-e^{-sT}}\displaystyle\int_0^T e^{-st}f(t)\,dt. Here T=πT=\pi and f(t)=sintf(t)=\sin t on (0,π)(0,\pi):

0πestsintdt=[est(ssintcost)s2+1]0π=1+eπss2+1.\int_0^\pi e^{-st}\sin t\,dt=\left[\frac{e^{-st}(-s\sin t-\cos t)}{s^2+1}\right]_0^\pi=\frac{1+e^{-\pi s}}{s^2+1}.

Hence

L{sint}=11eπs1+eπss2+1=1s2+1coth ⁣πs2.\mathcal{L}\{|\sin t|\}=\frac{1}{1-e^{-\pi s}}\cdot\frac{1+e^{-\pi s}}{s^2+1}=\boxed{\frac{1}{s^2+1}\coth\!\frac{\pi s}{2}.}
laplace-transformsconvolutionperiodic-functions
6short8 marks

(a) Evaluate the line integral C[(3x28y2)dx+(4y6xy)dy]\displaystyle \oint_C \left[(3x^2 - 8y^2)\,dx + (4y - 6xy)\,dy\right] where CC is the boundary of the region bounded by y=xy=\sqrt{x} and y=x2y=x^2, using Green's theorem. [5]

(b) Determine whether the vector field F=(2xy+z3)i^+x2j^+3xz2k^\vec{F} = (2xy + z^3)\hat{i} + x^2\hat{j} + 3xz^2\hat{k} is conservative, and if so find its scalar potential. [3]

(a) Line integral by Green's theorem

Green's theorem: C(Pdx+Qdy)=R(QxPy)dA.\displaystyle\oint_C(P\,dx+Q\,dy)=\iint_R\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)dA.

Here P=3x28y2,  Q=4y6xyP=3x^2-8y^2,\;Q=4y-6xy, so

Qx=6y,Py=16y,QxPy=10y.\frac{\partial Q}{\partial x}=-6y,\qquad \frac{\partial P}{\partial y}=-16y,\qquad \frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}=10y.

Region. y=xy=\sqrt{x} and y=x2y=x^2 meet at (0,0)(0,0) and (1,1)(1,1); for 0x10\le x\le 1, x2yxx^2\le y\le\sqrt{x}. Thus

C=01 ⁣ ⁣x2x10ydydx=015[y2]x2xdx=015(xx4)dx.\oint_C=\int_0^1\!\!\int_{x^2}^{\sqrt{x}} 10y\,dy\,dx=\int_0^1 5\big[y^2\big]_{x^2}^{\sqrt{x}}dx=\int_0^1 5\big(x-x^4\big)dx. =5[x22x55]01=5(1215)=5310=32.=5\left[\frac{x^2}{2}-\frac{x^5}{5}\right]_0^1=5\left(\frac12-\frac15\right)=5\cdot\frac{3}{10}=\boxed{\frac{3}{2}.}

(b) Conservative field and potential

F=(2xy+z3)i^+x2j^+3xz2k^\vec F=(2xy+z^3)\hat i+x^2\hat j+3xz^2\hat k. Compute the curl:

×F=(F3yF2z)i^+(F1zF3x)j^+(F2xF1y)k^.\nabla\times\vec F=\left(\frac{\partial F_3}{\partial y}-\frac{\partial F_2}{\partial z}\right)\hat i+\left(\frac{\partial F_1}{\partial z}-\frac{\partial F_3}{\partial x}\right)\hat j+\left(\frac{\partial F_2}{\partial x}-\frac{\partial F_1}{\partial y}\right)\hat k.
  • yF3zF2=00=0\partial_y F_3-\partial_z F_2=0-0=0
  • zF1xF3=3z23z2=0\partial_z F_1-\partial_x F_3=3z^2-3z^2=0
  • xF2yF1=2x2x=0\partial_x F_2-\partial_y F_1=2x-2x=0

Since ×F=0\nabla\times\vec F=\vec 0, the field is conservative. Find ϕ\phi with ϕ=F\nabla\phi=\vec F:

ϕ=(2xy+z3)dx=x2y+xz3+g(y,z).\phi=\int(2xy+z^3)\,dx=x^2y+xz^3+g(y,z).

yϕ=x2+gy=x2gy=0\partial_y\phi=x^2+g_y=x^2\Rightarrow g_y=0; zϕ=3xz2+gz=3xz2gz=0\partial_z\phi=3xz^2+g_z=3xz^2\Rightarrow g_z=0. So g=g= const.

  ϕ(x,y,z)=x2y+xz3+C.  \boxed{\;\phi(x,y,z)=x^2y+xz^3+C.\;}
line-integralsgreens-theorem
7short8 marks

(a) Verify the Divergence (Gauss) theorem for F=x2i^+y2j^+z2k^\vec{F} = x^2\hat{i} + y^2\hat{j} + z^2\hat{k} taken over the surface of the cube bounded by x=0,x=1,y=0,y=1,z=0,z=1x=0,\,x=1,\,y=0,\,y=1,\,z=0,\,z=1. [5]

(b) State Stokes' theorem and explain its physical significance. [3]

(a) Verify the Divergence theorem for F=x2i^+y2j^+z2k^\vec F=x^2\hat i+y^2\hat j+z^2\hat k over the unit cube

Gauss theorem: SFn^dS=VFdV.\displaystyle\iint_S \vec F\cdot\hat n\,dS=\iiint_V\nabla\cdot\vec F\,dV.

Volume integral. F=2x+2y+2z\nabla\cdot\vec F=2x+2y+2z.

V(2x+2y+2z)dV=201 ⁣ ⁣01 ⁣ ⁣01(x+y+z)dxdydz.\iiint_V(2x+2y+2z)\,dV=2\int_0^1\!\!\int_0^1\!\!\int_0^1(x+y+z)\,dx\,dy\,dz.

By symmetry each of  ⁣ ⁣ ⁣ ⁣xdV=12\int\!\!\int\!\!\int x\,dV=\tfrac12, so the sum =312=32=3\cdot\tfrac12=\tfrac32 and the integral =232=3.=2\cdot\tfrac32=\boxed{3}.

Surface integral. Evaluate Fn^dS\iint \vec F\cdot\hat n\,dS over the six faces.

  • Face x=1x=1 (n^=i^\hat n=\hat i): x2dS=1dydz=1\iint x^2\,dS=\iint 1\,dy\,dz=1. Face x=0x=0: n^=i^\hat n=-\hat i, x2=00x^2=0\Rightarrow 0.
  • Face y=1y=1: 11; face y=0y=0: 00.
  • Face z=1z=1: 11; face z=0z=0: 00.

Total =1+1+1=3=1+1+1=3. Since both sides equal 33, the theorem is verified. ✓

(b) Stokes' theorem and physical significance

Statement. For a smooth oriented surface SS bounded by a closed curve CC (oriented consistently with n^\hat n by the right-hand rule),

CFdr=S(×F)n^dS.\oint_C \vec F\cdot d\vec r=\iint_S(\nabla\times\vec F)\cdot\hat n\,dS.

Physical significance. The line integral CFdr\oint_C\vec F\cdot d\vec r is the circulation of the field around the boundary CC. Stokes' theorem says this circulation equals the total flux of the curl (local rotation / vortex density) of the field through any surface spanning CC. Thus the curl measures the microscopic rotation of the field, and summing it over the surface reproduces the net macroscopic circulation around the edge — the basis, for example, of Ampere's and Faraday's laws in electromagnetism.

surface-integralsdivergence-theoremstokes-theorem
8short8 marks

(a) State Rodrigues' formula for the Legendre polynomials Pn(x)P_n(x) and use it to obtain P2(x)P_2(x) and P3(x)P_3(x). [4]

(b) Prove the orthogonality property 11Pm(x)Pn(x)dx=0\displaystyle \int_{-1}^{1} P_m(x)\,P_n(x)\,dx = 0 for mnm \neq n. [4]

(a) Rodrigues' formula and P2,P3P_2,P_3

Rodrigues' formula.

Pn(x)=12nn!dndxn[(x21)n].P_n(x)=\frac{1}{2^n\,n!}\frac{d^n}{dx^n}\big[(x^2-1)^n\big].

P2(x)P_2(x) (n=2n=2): (x21)2=x42x2+1(x^2-1)^2=x^4-2x^2+1, second derivative =12x24=12x^2-4.

P2(x)=1222!(12x24)=12x248=12(3x21).P_2(x)=\frac{1}{2^2\cdot 2!}(12x^2-4)=\frac{12x^2-4}{8}=\boxed{\tfrac12(3x^2-1).}

P3(x)P_3(x) (n=3n=3): (x21)3=x63x4+3x21(x^2-1)^3=x^6-3x^4+3x^2-1; third derivative =120x372x=120x^3-72x.

P3(x)=1233!(120x372x)=120x372x48=12(5x33x).P_3(x)=\frac{1}{2^3\cdot 3!}(120x^3-72x)=\frac{120x^3-72x}{48}=\boxed{\tfrac12(5x^3-3x).}

(b) Orthogonality of Legendre polynomials

Each PnP_n satisfies Legendre's equation, written in Sturm–Liouville form:

ddx ⁣[(1x2)Pn]+n(n+1)Pn=0.\frac{d}{dx}\!\left[(1-x^2)P_n'\right]+n(n+1)P_n=0.

Similarly ddx ⁣[(1x2)Pm]+m(m+1)Pm=0.\dfrac{d}{dx}\!\left[(1-x^2)P_m'\right]+m(m+1)P_m=0.

Multiply the first by PmP_m and the second by PnP_n, subtract, and integrate over [1,1][-1,1]:

11 ⁣(Pm[(1x2)Pn]Pn[(1x2)Pm])dx+[n(n+1)m(m+1)] ⁣11PmPndx=0.\int_{-1}^{1}\!\Big(P_m\big[(1-x^2)P_n'\big]'-P_n\big[(1-x^2)P_m'\big]'\Big)dx+\big[n(n+1)-m(m+1)\big]\!\int_{-1}^{1}P_mP_n\,dx=0.

The first integral, integrated by parts, equals

[(1x2)(PmPnPnPm)]11=0,\Big[(1-x^2)\big(P_m P_n'-P_n P_m'\big)\Big]_{-1}^{1}=0,

because the factor (1x2)(1-x^2) vanishes at x=±1x=\pm1. Therefore

[n(n+1)m(m+1)]11Pm(x)Pn(x)dx=0.\big[n(n+1)-m(m+1)\big]\int_{-1}^{1}P_m(x)P_n(x)\,dx=0.

For mnm\neq n the bracket n(n+1)m(m+1)0n(n+1)-m(m+1)\neq 0, hence

  11Pm(x)Pn(x)dx=0,mn.  \boxed{\;\int_{-1}^{1}P_m(x)P_n(x)\,dx=0,\qquad m\neq n.\;}\qquad\blacksquare
legendre-functionsrodrigues-formulaorthogonality
9short8 marks

(a) Derive the Cauchy-Riemann equations and use them to show that f(z)=z2f(z)=z^2 is analytic everywhere, finding f(z)f'(z). [4]

(b) Given the harmonic function u(x,y)=x33xy2u(x,y) = x^3 - 3xy^2, find the conjugate harmonic function v(x,y)v(x,y) and express the corresponding analytic function f(z)=u+ivf(z)=u+iv in terms of zz. [4]

(a) Cauchy–Riemann equations and analyticity of f(z)=z2f(z)=z^2

Let f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+iv(x,y), z=x+iyz=x+iy. If ff is differentiable at zz, the derivative must be the same along the real and imaginary directions:

f(z)=limΔx0ΔfΔx=ux+ivx,f(z)=limΔy0ΔfiΔy=1i(uy+ivy)=vyiuy.f'(z)=\lim_{\Delta x\to0}\frac{\Delta f}{\Delta x}=u_x+iv_x,\qquad f'(z)=\lim_{\Delta y\to0}\frac{\Delta f}{i\Delta y}=\frac{1}{i}(u_y+iv_y)=v_y-iu_y.

Equating real and imaginary parts gives the Cauchy–Riemann (CR) equations:

  ux=vy,uy=vx.  \boxed{\;u_x=v_y,\qquad u_y=-v_x.\;}

Apply to f(z)=z2f(z)=z^2. z2=(x+iy)2=(x2y2)+i(2xy)z^2=(x+iy)^2=(x^2-y^2)+i(2xy), so u=x2y2,  v=2xyu=x^2-y^2,\;v=2xy.

ux=2x=vy,uy=2y=vx.u_x=2x=v_y,\qquad u_y=-2y=-v_x.

The CR equations hold for all x,yx,y and the partials are continuous, so f(z)=z2f(z)=z^2 is analytic everywhere (entire). Its derivative:

f(z)=ux+ivx=2x+i(2y)=2(x+iy)=2z.f'(z)=u_x+iv_x=2x+i(2y)=2(x+iy)=\boxed{2z.}

(b) Conjugate of u=x33xy2u=x^3-3xy^2

First check uu is harmonic: uxx=6x,  uyy=6xuxx+uyy=0u_{xx}=6x,\;u_{yy}=-6x\Rightarrow u_{xx}+u_{yy}=0. ✓

Using CR: vy=ux=3x23y2v_y=u_x=3x^2-3y^2. Integrate w.r.t. yy:

v=3x2yy3+h(x).v=3x^2y-y^3+h(x).

Also vx=uyv_x=-u_y. Now uy=6xyu_y=-6xy, so vx=6xyv_x=6xy. From the expression, vx=6xy+h(x)h(x)=0h=v_x=6xy+h'(x)\Rightarrow h'(x)=0\Rightarrow h= const =C=C. Thus

  v(x,y)=3x2yy3+C.  \boxed{\;v(x,y)=3x^2y-y^3+C.\;}

Analytic function.

f(z)=u+iv=(x33xy2)+i(3x2yy3)+iC=(x+iy)3+iC=z3+iC.f(z)=u+iv=(x^3-3xy^2)+i(3x^2y-y^3)+iC=(x+iy)^3+iC=\boxed{z^3+iC.}
complex-analysiscauchy-riemannanalytic-functions
10short8 marks

(a) Form the partial differential equation by eliminating the arbitrary functions from z=f(x+ct)+g(xct)z = f(x+ct) + g(x-ct). [3]

(b) Using d'Alembert's method, obtain the solution of the one-dimensional wave equation 2yt2=c22yx2\dfrac{\partial^2 y}{\partial t^2} = c^2 \dfrac{\partial^2 y}{\partial x^2} for an infinite string with initial displacement y(x,0)=ϕ(x)y(x,0)=\phi(x) and initial velocity yt(x,0)=0\dfrac{\partial y}{\partial t}(x,0)=0. [5]

(a) Form the PDE by eliminating arbitrary functions from z=f(x+ct)+g(xct)z=f(x+ct)+g(x-ct)

Let ξ=x+ct,  η=xct\xi=x+ct,\;\eta=x-ct. Differentiate:

zx=f+g,zxx=f+g,z_x=f'+g',\qquad z_{xx}=f''+g'', zt=cfcg,ztt=c2f+c2g=c2(f+g).z_t=c f'-c g',\qquad z_{tt}=c^2 f''+c^2 g''=c^2(f''+g'').

Comparing, ztt=c2zxxz_{tt}=c^2 z_{xx}, i.e.

  2zt2=c22zx2  \boxed{\;\frac{\partial^2 z}{\partial t^2}=c^2\frac{\partial^2 z}{\partial x^2}\;}

which is the one-dimensional wave equation (the arbitrary functions f,gf,g are eliminated).

(b) d'Alembert's solution

The wave equation ytt=c2yxxy_{tt}=c^2 y_{xx} has general solution (from part a) y(x,t)=ϕ1(x+ct)+ϕ2(xct)y(x,t)=\phi_1(x+ct)+\phi_2(x-ct) for arbitrary twice-differentiable ϕ1,ϕ2\phi_1,\phi_2.

Apply initial conditions y(x,0)=ϕ(x)y(x,0)=\phi(x), yt(x,0)=0y_t(x,0)=0.

y(x,0)=ϕ1(x)+ϕ2(x)=ϕ(x),y(x,0)=\phi_1(x)+\phi_2(x)=\phi(x), yt(x,0)=cϕ1(x)cϕ2(x)=0    ϕ1(x)=ϕ2(x)    ϕ1(x)ϕ2(x)=const.y_t(x,0)=c\phi_1'(x)-c\phi_2'(x)=0\;\Rightarrow\;\phi_1'(x)=\phi_2'(x)\;\Rightarrow\;\phi_1(x)-\phi_2(x)=\text{const}.

Hence ϕ1(x)=ϕ2(x)=12ϕ(x)\phi_1(x)=\phi_2(x)=\tfrac12\phi(x) (the constant is absorbed). Therefore

  y(x,t)=12[ϕ(x+ct)+ϕ(xct)].  \boxed{\;y(x,t)=\tfrac12\big[\phi(x+ct)+\phi(x-ct)\big].\;}

The initial displacement splits into two equal waves travelling with speed cc in the +x+x and x-x directions.

partial-differential-equationswave-equationdalembert-solution
11short8 marks

(a) Find the complex (exponential) form of the Fourier series of f(x)=exf(x)=e^{x} on the interval π<x<π-\pi < x < \pi. [5]

(b) State Parseval's identity for Fourier series and explain its significance in terms of average power. [3]

(a) Complex Fourier series of f(x)=exf(x)=e^{x} on (π,π)(-\pi,\pi)

The complex form is f(x)=n=cneinxf(x)=\displaystyle\sum_{n=-\infty}^{\infty} c_n e^{inx} with (here L=πL=\pi, period 2π2\pi):

cn=12πππexeinxdx=12πππe(1in)xdx.c_n=\frac{1}{2\pi}\int_{-\pi}^{\pi} e^{x}e^{-inx}\,dx=\frac{1}{2\pi}\int_{-\pi}^{\pi} e^{(1-in)x}\,dx.

Integrate:

cn=12πe(1in)x1inππ=12π(1in)(e(1in)πe(1in)π).c_n=\frac{1}{2\pi}\cdot\frac{e^{(1-in)x}}{1-in}\Big|_{-\pi}^{\pi}=\frac{1}{2\pi(1-in)}\Big(e^{(1-in)\pi}-e^{-(1-in)\pi}\Big).

Now einπ=(1)ne^{\mp in\pi}=(-1)^n, so e(1in)π=(1)neπe^{(1-in)\pi}=(-1)^n e^{\pi} and e(1in)π=(1)neπe^{-(1-in)\pi}=(-1)^n e^{-\pi}. Thus

cn=(1)n2π(1in)(eπeπ)=(1)nsinhππ(1in)=(1)n(1+in)sinhππ(1+n2).c_n=\frac{(-1)^n}{2\pi(1-in)}\big(e^{\pi}-e^{-\pi}\big)=\frac{(-1)^n\sinh\pi}{\pi(1-in)}=\frac{(-1)^n(1+in)\sinh\pi}{\pi(1+n^2)}.

Hence

  ex=sinhππn=(1)n1ineinx,π<x<π.  \boxed{\;e^{x}=\frac{\sinh\pi}{\pi}\sum_{n=-\infty}^{\infty}\frac{(-1)^n}{1-in}\,e^{inx},\qquad -\pi<x<\pi.\;}

(b) Parseval's identity

For a function ff with Fourier coefficients a0,an,bna_0,a_n,b_n on (L,L)(-L,L) (period 2L2L), Parseval's identity states

12LLLf(x)2dx=a024+12n=1(an2+bn2),\frac{1}{2L}\int_{-L}^{L}|f(x)|^2\,dx=\frac{a_0^2}{4}+\frac12\sum_{n=1}^{\infty}\big(a_n^2+b_n^2\big),

or in complex form 12LLLf2dx=n=cn2.\dfrac{1}{2L}\displaystyle\int_{-L}^{L}|f|^2dx=\sum_{n=-\infty}^{\infty}|c_n|^2.

Significance (average power). The left side is the mean-square value (average power) of the signal ff over one period. The right side is the sum of the powers contributed by each harmonic. Parseval's identity therefore expresses conservation of energy/power: the total average power of a periodic signal equals the sum of the average powers of its individual frequency components (DC term plus harmonics). This underlies spectral/power analysis of signals.

fourier-seriescomplex-fourierparseval-theorem

Frequently asked questions

Where can I find the BE Computer Engineering (IOE, TU) Engineering Mathematics III (IOE, SH 501) question paper 2078?
The full BE Computer Engineering (IOE, TU) Engineering Mathematics III (IOE, SH 501) 2078 (regular) question paper is available free on Kekkei. You can read every question online and attempt the paper under timed exam conditions.
Does the Engineering Mathematics III (IOE, SH 501) 2078 paper come with solutions?
Yes. Every question on this Engineering Mathematics III (IOE, SH 501) past paper includes a step-by-step solution, plus instant AI feedback when you attempt it on Kekkei.
How many marks is the BE Computer Engineering (IOE, TU) Engineering Mathematics III (IOE, SH 501) 2078 paper?
The BE Computer Engineering (IOE, TU) Engineering Mathematics III (IOE, SH 501) 2078 paper carries 80 full marks and is meant to be completed in 180 minutes, across 11 questions.
Is practising this Engineering Mathematics III (IOE, SH 501) past paper free?
Yes — reading and attempting this Engineering Mathematics III (IOE, SH 501) past paper on Kekkei is completely free.