Browse papers
A

Section A: Long Answer Questions

Attempt all questions.

5 questions
1long8 marks

Evaluate the line integral C(3x28y2)dx+(4y6xy)dy\oint_C (3x^2 - 8y^2)\,dx + (4y - 6xy)\,dy where CC is the boundary of the region enclosed by the parabola y=x2y = x^2 and the line y=xy = x, traversed counter-clockwise. First evaluate it directly, then verify your result using Green's theorem.

Setting up the region. The curves y=x2y=x^2 and y=xy=x intersect where x2=xx(x1)=0x^2=x \Rightarrow x(x-1)=0, so x=0x=0 and x=1x=1. For 0x10\le x\le 1, the line y=xy=x lies above the parabola y=x2y=x^2. The region is

R={(x,y):0x1,  x2yx}.R=\{(x,y): 0\le x\le 1,\; x^2\le y\le x\}.

Green's theorem. For P=3x28y2P=3x^2-8y^2 and Q=4y6xyQ=4y-6xy,

CPdx+Qdy=R(QxPy)dA.\oint_C P\,dx + Q\,dy = \iint_R\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)dA.

Compute the partials:

Qx=6y,Py=16y,QxPy=6y+16y=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}=-6y+16y=10y.

Evaluating the double integral.

R10ydA=01 ⁣ ⁣x2x10ydydx=0110y22x2xdx=015(x2x4)dx.\iint_R 10y\,dA=\int_0^1\!\!\int_{x^2}^{x} 10y\,dy\,dx=\int_0^1 10\cdot\frac{y^2}{2}\Big|_{x^2}^{x}dx=\int_0^1 5\left(x^2-x^4\right)dx. =5[x33x55]01=5(1315)=5215=1015=23.=5\left[\frac{x^3}{3}-\frac{x^5}{5}\right]_0^1=5\left(\frac13-\frac15\right)=5\cdot\frac{2}{15}=\frac{10}{15}=\frac23.

Direct verification (along the boundary). The boundary consists of C1C_1: y=x2y=x^2 from (0,0)(0,0) to (1,1)(1,1), then C2C_2: y=xy=x from (1,1)(1,1) back to (0,0)(0,0).

Along C1C_1 (y=x2, dy=2xdx, x:01y=x^2,\ dy=2x\,dx,\ x:0\to1):

Pdx+Qdy=(3x28x4)dx+(4x26xx2)(2x)dx=(3x28x4)dx+(8x312x4)dx.P\,dx+Q\,dy=(3x^2-8x^4)\,dx+(4x^2-6x\cdot x^2)(2x)\,dx=(3x^2-8x^4)\,dx+(8x^3-12x^4)\,dx. 01(3x28x4+8x312x4)dx=01(3x2+8x320x4)dx=[x3+2x44x5]01=1+24=1.\int_0^1(3x^2-8x^4+8x^3-12x^4)\,dx=\int_0^1(3x^2+8x^3-20x^4)\,dx=\Big[x^3+2x^4-4x^5\Big]_0^1=1+2-4=-1.

Along C2C_2 (y=x, dy=dx, x:10y=x,\ dy=dx,\ x:1\to0):

Pdx+Qdy=(3x28x2)dx+(4x6x2)dx=(5x2+4x6x2)dx=(4x11x2)dx.P\,dx+Q\,dy=(3x^2-8x^2)\,dx+(4x-6x^2)\,dx=(-5x^2+4x-6x^2)\,dx=(4x-11x^2)\,dx. 10(4x11x2)dx=[2x2113x3]10=0(2113)=(6113)=53.\int_1^0(4x-11x^2)\,dx=\Big[2x^2-\tfrac{11}{3}x^3\Big]_1^0=0-\left(2-\tfrac{11}{3}\right)=-\left(\tfrac{6-11}{3}\right)=\tfrac53.

Total (direct). 1+53=3+53=23.-1+\dfrac53=\dfrac{-3+5}{3}=\dfrac23.

Both methods agree.

C(3x28y2)dx+(4y6xy)dy=23\boxed{\oint_C (3x^2-8y^2)\,dx+(4y-6xy)\,dy=\frac23}
line-integralgreens-theoremvector-calculus
2long8 marks

State the Divergence (Gauss) theorem. Using it, evaluate the flux SFn^dS\iint_S \vec{F}\cdot\hat{n}\,dS of the vector field F=4xzi^y2j^+yzk^\vec{F}=4xz\,\hat{i}-y^2\,\hat{j}+yz\,\hat{k} outward across the surface SS 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.

Divergence theorem. If VV is a closed region in space bounded by a piecewise-smooth closed surface SS with outward unit normal n^\hat n, and F\vec F has continuous first partial derivatives on VV, then

SFn^dS=V(F)dV.\iint_S \vec F\cdot\hat n\,dS=\iiint_V (\nabla\cdot\vec F)\,dV.

Compute the divergence. With F=(4xz,y2,yz)\vec F=(4xz,\,-y^2,\,yz),

F=x(4xz)+y(y2)+z(yz)=4z2y+y=4zy.\nabla\cdot\vec F=\frac{\partial}{\partial x}(4xz)+\frac{\partial}{\partial y}(-y^2)+\frac{\partial}{\partial z}(yz)=4z-2y+y=4z-y.

Integrate over the unit cube 0x,y,z10\le x,y,z\le 1:

V(4zy)dV=01 ⁣ ⁣01 ⁣ ⁣01(4zy)dxdydz.\iiint_V(4z-y)\,dV=\int_0^1\!\!\int_0^1\!\!\int_0^1(4z-y)\,dx\,dy\,dz.

The integrand is independent of xx, so the xx-integral contributes a factor 11:

=01 ⁣ ⁣01(4zy)dydz.=\int_0^1\!\!\int_0^1(4z-y)\,dy\,dz.

Integrate over yy:

01(4zy)dy=[4zyy22]01=4z12.\int_0^1(4z-y)\,dy=\left[4zy-\frac{y^2}{2}\right]_0^1=4z-\frac12.

Integrate over zz:

01(4z12)dz=[2z2z2]01=212=32.\int_0^1\left(4z-\frac12\right)dz=\left[2z^2-\frac{z}{2}\right]_0^1=2-\frac12=\frac32.

Result.

SFn^dS=32=1.5\boxed{\iint_S\vec F\cdot\hat n\,dS=\frac32=1.5}

The positive value indicates a net outward flux of 1.51.5 units across the cube's surface.

divergence-theoremsurface-integralvector-calculus
3long8 marks

Using Laplace transforms, solve the initial value problem

y3y+2y=4e3t,y(0)=2,y(0)=3.y'' - 3y' + 2y = 4e^{3t},\qquad y(0)=2,\quad y'(0)=3.

Take the Laplace transform. Let Y(s)=L{y(t)}Y(s)=\mathcal{L}\{y(t)\}. Using

L{y}=s2Ysy(0)y(0),L{y}=sYy(0),L{e3t}=1s3,\mathcal{L}\{y''\}=s^2Y-sy(0)-y'(0),\qquad \mathcal{L}\{y'\}=sY-y(0),\qquad \mathcal{L}\{e^{3t}\}=\frac{1}{s-3},

the equation becomes

(s2Y2s3)3(sY2)+2Y=4s3.\big(s^2Y-2s-3\big)-3\big(sY-2\big)+2Y=\frac{4}{s-3}.

Group the YY terms:

(s23s+2)Y2s3+6=4s3    (s23s+2)Y=4s3+2s3.(s^2-3s+2)Y-2s-3+6=\frac{4}{s-3}\;\Rightarrow\;(s^2-3s+2)Y=\frac{4}{s-3}+2s-3.

Since s23s+2=(s1)(s2)s^2-3s+2=(s-1)(s-2),

Y=4(s3)(s1)(s2)+2s3(s1)(s2).Y=\frac{4}{(s-3)(s-1)(s-2)}+\frac{2s-3}{(s-1)(s-2)}.

Partial fractions, term 1:

4(s3)(s1)(s2)=As3+Bs1+Cs2.\frac{4}{(s-3)(s-1)(s-2)}=\frac{A}{s-3}+\frac{B}{s-1}+\frac{C}{s-2}.
  • s=3s=3: A=4(2)(1)=2.A=\dfrac{4}{(2)(1)}=2.
  • s=1s=1: B=4(2)(1)=2.B=\dfrac{4}{(-2)(-1)}=2.
  • s=2s=2: C=4(1)(1)=4.C=\dfrac{4}{(-1)(1)}=-4.

So term 1 =2s3+2s14s2.=\dfrac{2}{s-3}+\dfrac{2}{s-1}-\dfrac{4}{s-2}.

Partial fractions, term 2:

2s3(s1)(s2)=Ds1+Es2.\frac{2s-3}{(s-1)(s-2)}=\frac{D}{s-1}+\frac{E}{s-2}.
  • s=1s=1: D=2312=11=1.D=\dfrac{2-3}{1-2}=\dfrac{-1}{-1}=1.
  • s=2s=2: E=4321=1.E=\dfrac{4-3}{2-1}=1.

So term 2 =1s1+1s2.=\dfrac{1}{s-1}+\dfrac{1}{s-2}.

Combine:

Y=2s3+(2+1)1s1+(4+1)1s2=2s3+3s13s2.Y=\frac{2}{s-3}+\left(2+1\right)\frac{1}{s-1}+\left(-4+1\right)\frac{1}{s-2}=\frac{2}{s-3}+\frac{3}{s-1}-\frac{3}{s-2}.

Inverse transform (using L1{1/(sa)}=eat\mathcal{L}^{-1}\{1/(s-a)\}=e^{at}):

y(t)=2e3t+3et3e2t\boxed{y(t)=2e^{3t}+3e^{t}-3e^{2t}}

Check at t=0t=0: y(0)=2+33=2y(0)=2+3-3=2 ✓. And y(t)=6e3t+3et6e2ty'(t)=6e^{3t}+3e^{t}-6e^{2t}, so y(0)=6+36=3y'(0)=6+3-6=3 ✓.

laplace-transforminitial-value-problemode
4long8 marks

State the Cauchy residue theorem. Hence evaluate

Cz2+1z22zdz,\oint_C \frac{z^2 + 1}{z^2 - 2z}\,dz,

where CC is the circle z=3|z| = 3 described once counter-clockwise.

Cauchy residue theorem. If f(z)f(z) is analytic inside and on a simple closed contour CC except for a finite number of isolated singularities z1,,znz_1,\dots,z_n interior to CC, then

Cf(z)dz=2πik=1nResz=zkf(z).\oint_C f(z)\,dz=2\pi i\sum_{k=1}^{n}\operatorname{Res}_{z=z_k}f(z).

Locate singularities. The denominator z22z=z(z2)z^2-2z=z(z-2) vanishes at z=0z=0 and z=2z=2. Both are simple poles, and both lie inside z=3|z|=3 (since 0=0<3|0|=0<3 and 2=2<3|2|=2<3).

Residue at z=0z=0 (simple pole):

Resz=0=limz0zz2+1z(z2)=limz0z2+1z2=0+102=12.\operatorname{Res}_{z=0}=\lim_{z\to0}z\cdot\frac{z^2+1}{z(z-2)}=\lim_{z\to0}\frac{z^2+1}{z-2}=\frac{0+1}{0-2}=-\frac12.

Residue at z=2z=2 (simple pole):

Resz=2=limz2(z2)z2+1z(z2)=limz2z2+1z=4+12=52.\operatorname{Res}_{z=2}=\lim_{z\to2}(z-2)\cdot\frac{z^2+1}{z(z-2)}=\lim_{z\to2}\frac{z^2+1}{z}=\frac{4+1}{2}=\frac52.

Apply the theorem.

Cf(z)dz=2πi(12+52)=2πi2=4πi.\oint_C f(z)\,dz=2\pi i\left(-\frac12+\frac52\right)=2\pi i\cdot 2=4\pi i. Cz2+1z22zdz=4πi\boxed{\oint_C \frac{z^2+1}{z^2-2z}\,dz=4\pi i}
complex-analysiscauchy-residue-theoremcontour-integration
5long8 marks

Using the method of separation of variables, solve the one-dimensional heat equation

ut=c22ux2,0<x<L, t>0,\frac{\partial u}{\partial t}=c^2\frac{\partial^2 u}{\partial x^2},\qquad 0<x<L,\ t>0,

subject to the boundary conditions u(0,t)=0u(0,t)=0, u(L,t)=0u(L,t)=0 and the initial condition u(x,0)=f(x)u(x,0)=f(x). Derive the full series solution and the formula for the coefficients.

Assume a separated solution. Let u(x,t)=X(x)T(t)u(x,t)=X(x)\,T(t). Substituting into ut=c2uxxu_t=c^2u_{xx}:

XT=c2XT    Tc2T=XX=λ,X\,T'=c^2X''\,T\;\Rightarrow\;\frac{T'}{c^2T}=\frac{X''}{X}=-\lambda,

where λ-\lambda is the separation constant (chosen negative so the time part decays). This gives two ODEs:

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

Solve the spatial problem with the boundary conditions. The conditions u(0,t)=0u(0,t)=0 and u(L,t)=0u(L,t)=0 force X(0)=0X(0)=0 and X(L)=0X(L)=0.

  • If λ0\lambda\le 0, only the trivial solution satisfies both BCs. So take λ>0\lambda>0, write λ=k2\lambda=k^2.
  • General solution: X(x)=Acoskx+BsinkxX(x)=A\cos kx+B\sin kx.
  • X(0)=0A=0X(0)=0\Rightarrow A=0, leaving X=BsinkxX=B\sin kx.
  • X(L)=0BsinkL=0X(L)=0\Rightarrow B\sin kL=0. Nontrivially, sinkL=0kL=nπ\sin kL=0\Rightarrow kL=n\pi, so
kn=nπL,λn=(nπL)2,n=1,2,3,k_n=\frac{n\pi}{L},\qquad \lambda_n=\left(\frac{n\pi}{L}\right)^2,\qquad n=1,2,3,\dots

Eigenfunctions: Xn(x)=sinnπxLX_n(x)=\sin\dfrac{n\pi x}{L}.

Solve the time equation for each λn\lambda_n:

Tn+c2λnTn=0    Tn(t)=Bnec2(nπ/L)2t.T_n'+c^2\lambda_n T_n=0\;\Rightarrow\;T_n(t)=B_n\,e^{-c^2(n\pi/L)^2 t}.

Superpose. By linearity the general solution is

u(x,t)=n=1Bnsin ⁣nπxL  ec2(nπ/L)2t\boxed{u(x,t)=\sum_{n=1}^{\infty}B_n\,\sin\!\frac{n\pi x}{L}\;e^{-c^2(n\pi/L)^2 t}}

Apply the initial condition. Setting t=0t=0:

u(x,0)=n=1BnsinnπxL=f(x).u(x,0)=\sum_{n=1}^{\infty}B_n\sin\frac{n\pi x}{L}=f(x).

This is the Fourier sine series of ff on (0,L)(0,L), so the coefficients are

Bn=2L0Lf(x)sinnπxLdx,n=1,2,3,\boxed{B_n=\frac{2}{L}\int_0^L f(x)\,\sin\frac{n\pi x}{L}\,dx,\qquad n=1,2,3,\dots}

Each mode decays in time at rate c2(nπ/L)2c^2(n\pi/L)^2; higher harmonics (nn large) decay fastest, so the temperature profile smooths and tends to 00 as tt\to\infty.

partial-differential-equationsheat-equationseparation-of-variables
B

Section B: Short Answer Questions

Attempt all questions.

6 questions
6short6 marks

Evaluate the double integral Re(x2+y2)dA\displaystyle\iint_R e^{-(x^2+y^2)}\,dA where RR is the region in the first quadrant lying inside the circle x2+y2=4x^2+y^2=4, by converting to polar coordinates.

Convert to polar coordinates. Let x=rcosθx=r\cos\theta, y=rsinθy=r\sin\theta, so x2+y2=r2x^2+y^2=r^2 and dA=rdrdθdA=r\,dr\,d\theta. The first-quadrant quarter-disk of radius 22 is described by

0r2,0θπ2.0\le r\le 2,\qquad 0\le\theta\le\frac{\pi}{2}.

The integral becomes

Re(x2+y2)dA=0π/2 ⁣ ⁣02er2rdrdθ.\iint_R e^{-(x^2+y^2)}\,dA=\int_0^{\pi/2}\!\!\int_0^{2} e^{-r^2}\,r\,dr\,d\theta.

Radial integral. Substitute u=r2u=r^2, du=2rdrdu=2r\,dr, so rdr=12dur\,dr=\tfrac12\,du; limits r:02r:0\to2 give u:04u:0\to4:

02er2rdr=1204eudu=12[eu]04=12(1e4).\int_0^{2}e^{-r^2}r\,dr=\frac12\int_0^{4}e^{-u}\,du=\frac12\Big[-e^{-u}\Big]_0^{4}=\frac12\left(1-e^{-4}\right).

Angular integral.

0π/2dθ=π2.\int_0^{\pi/2}d\theta=\frac{\pi}{2}.

Combine.

Re(x2+y2)dA=π212(1e4)=π4(1e4).\iint_R e^{-(x^2+y^2)}\,dA=\frac{\pi}{2}\cdot\frac12\left(1-e^{-4}\right)=\frac{\pi}{4}\left(1-e^{-4}\right).

Numerically, e40.018316e^{-4}\approx 0.018316, so the value π4(0.981684)0.7711.\approx \dfrac{\pi}{4}(0.981684)\approx 0.7711.

Re(x2+y2)dA=π4(1e4)0.771\boxed{\iint_R e^{-(x^2+y^2)}\,dA=\frac{\pi}{4}\left(1-e^{-4}\right)\approx 0.771}
double-integralpolar-coordinatesarea
7short6 marks

Given the scalar field ϕ=x2y+y2z+z2x\phi=x^2 y + y^2 z + z^2 x and the vector field F=xyi^+yzj^+zxk^\vec{F}=xy\,\hat{i}+yz\,\hat{j}+zx\,\hat{k}: (a) Find ϕ\nabla\phi at the point (1,2,1)(1,2,-1). (b) Compute F\nabla\cdot\vec{F} and ×F\nabla\times\vec{F}. (c) State whether F\vec{F} is conservative, with justification.

(a) Gradient of ϕ\phi. With ϕ=x2y+y2z+z2x\phi=x^2y+y^2z+z^2x,

ϕ=(ϕx,ϕy,ϕz)=(2xy+z2,  x2+2yz,  y2+2zx).\nabla\phi=\left(\frac{\partial\phi}{\partial x},\frac{\partial\phi}{\partial y},\frac{\partial\phi}{\partial z}\right)=\big(2xy+z^2,\;x^2+2yz,\;y^2+2zx\big).

At (1,2,1)(1,2,-1):

ϕx=2(1)(2)+(1)2=4+1=5,\frac{\partial\phi}{\partial x}=2(1)(2)+(-1)^2=4+1=5, ϕy=12+2(2)(1)=14=3,\frac{\partial\phi}{\partial y}=1^2+2(2)(-1)=1-4=-3, ϕz=22+2(1)(1)=42=2.\frac{\partial\phi}{\partial z}=2^2+2(-1)(1)=4-2=2. ϕ(1,2,1)=5i^3j^+2k^\boxed{\nabla\phi\big|_{(1,2,-1)}=5\,\hat i-3\,\hat j+2\,\hat k}

(b) Divergence of F=(xy,yz,zx)\vec F=(xy,\,yz,\,zx).

F=x(xy)+y(yz)+z(zx)=y+z+x.\nabla\cdot\vec F=\frac{\partial}{\partial x}(xy)+\frac{\partial}{\partial y}(yz)+\frac{\partial}{\partial z}(zx)=y+z+x. F=x+y+z\boxed{\nabla\cdot\vec F=x+y+z}

Curl of F\vec F.

×F=i^j^k^xyzxyyzzx.\nabla\times\vec F=\begin{vmatrix}\hat i&\hat j&\hat k\\[2pt]\dfrac{\partial}{\partial x}&\dfrac{\partial}{\partial y}&\dfrac{\partial}{\partial z}\\[4pt]xy&yz&zx\end{vmatrix}.
  • i^\hat i: (zx)y(yz)z=0y=y.\dfrac{\partial(zx)}{\partial y}-\dfrac{\partial(yz)}{\partial z}=0-y=-y.
  • j^\hat j: ((zx)x(xy)z)=(z0)=z.-\Big(\dfrac{\partial(zx)}{\partial x}-\dfrac{\partial(xy)}{\partial z}\Big)=-(z-0)=-z.
  • k^\hat k: (yz)x(xy)y=0x=x.\dfrac{\partial(yz)}{\partial x}-\dfrac{\partial(xy)}{\partial y}=0-x=-x.
×F=yi^zj^xk^\boxed{\nabla\times\vec F=-y\,\hat i-z\,\hat j-x\,\hat k}

(c) Conservative? A field is conservative on a simply connected domain iff ×F=0\nabla\times\vec F=\vec 0 everywhere. Here ×F=(y,z,x)\nabla\times\vec F=(-y,-z,-x), which is not identically zero (e.g. at (1,2,1)(1,2,-1) it equals (2,1,1)0(-2,1,-1)\ne\vec0). Therefore F\vec F is NOT conservative.

vector-calculusgradient-divergence-curlconservative-field
8short6 marks

(a) Find the Laplace transform of f(t)=te2tsin3tf(t)=t\,e^{-2t}\sin 3t. (b) Find the inverse Laplace transform L1{s+5s2+4s+13}\displaystyle\mathcal{L}^{-1}\left\{\frac{s+5}{s^2+4s+13}\right\}.

(a) Transform of te2tsin3tt e^{-2t}\sin 3t. Start from L{sin3t}=3s2+9.\mathcal{L}\{\sin 3t\}=\dfrac{3}{s^2+9}.

Apply the first shifting theorem L{e2tg(t)}=G(s+2)\mathcal{L}\{e^{-2t}g(t)\}=G(s+2):

L{e2tsin3t}=3(s+2)2+9.\mathcal{L}\{e^{-2t}\sin 3t\}=\frac{3}{(s+2)^2+9}.

Apply the multiplication-by-tt rule L{th(t)}=ddsH(s)\mathcal{L}\{t\,h(t)\}=-\dfrac{d}{ds}H(s) with H(s)=3(s+2)2+9H(s)=\dfrac{3}{(s+2)^2+9}:

L{te2tsin3t}=dds[3(s+2)2+9]=32(s+2)[(s+2)2+9]2=6(s+2)[(s+2)2+9]2.\mathcal{L}\{t e^{-2t}\sin 3t\}=-\frac{d}{ds}\left[\frac{3}{(s+2)^2+9}\right]=-3\cdot\frac{-2(s+2)}{\big[(s+2)^2+9\big]^2}=\frac{6(s+2)}{\big[(s+2)^2+9\big]^2}. L{te2tsin3t}=6(s+2)[(s+2)2+9]2\boxed{\mathcal{L}\{t e^{-2t}\sin 3t\}=\frac{6(s+2)}{\big[(s+2)^2+9\big]^2}}

(b) Inverse transform. Complete the square in the denominator:

s2+4s+13=(s+2)2+9.s^2+4s+13=(s+2)^2+9.

Rewrite the numerator about (s+2)(s+2):

s+5=(s+2)+3.s+5=(s+2)+3.

So

s+5(s+2)2+9=s+2(s+2)2+32+3(s+2)2+32.\frac{s+5}{(s+2)^2+9}=\frac{s+2}{(s+2)^2+3^2}+\frac{3}{(s+2)^2+3^2}.

Using L1 ⁣{s+a(s+a)2+b2}=eatcosbt\mathcal{L}^{-1}\!\left\{\dfrac{s+a}{(s+a)^2+b^2}\right\}=e^{-at}\cos bt and L1 ⁣{b(s+a)2+b2}=eatsinbt\mathcal{L}^{-1}\!\left\{\dfrac{b}{(s+a)^2+b^2}\right\}=e^{-at}\sin bt with a=2, b=3a=2,\ b=3:

L1{s+5s2+4s+13}=e2tcos3t+e2tsin3t=e2t(cos3t+sin3t)\boxed{\mathcal{L}^{-1}\left\{\frac{s+5}{s^2+4s+13}\right\}=e^{-2t}\cos 3t+e^{-2t}\sin 3t=e^{-2t}\big(\cos 3t+\sin 3t\big)}
laplace-transforminverse-laplaceconvolution
9short6 marks

Find the Fourier cosine transform of the function

f(x)={1,0<x<a0,x>a.f(x)=\begin{cases}1, & 0<x<a\\ 0, & x>a.\end{cases}

Hence, using the inverse, deduce the value of 0sinaωωdω\displaystyle\int_0^{\infty}\frac{\sin a\omega}{\omega}\,d\omega.

Fourier cosine transform. With the convention

Fc(ω)=2π0f(x)cos(ωx)dx,F_c(\omega)=\sqrt{\frac{2}{\pi}}\int_0^{\infty}f(x)\cos(\omega x)\,dx,

and f(x)=1f(x)=1 on (0,a)(0,a), 00 otherwise,

Fc(ω)=2π0acos(ωx)dx=2π[sinωxω]0a=2πsinaωω.F_c(\omega)=\sqrt{\frac{2}{\pi}}\int_0^{a}\cos(\omega x)\,dx=\sqrt{\frac{2}{\pi}}\left[\frac{\sin\omega x}{\omega}\right]_0^{a}=\sqrt{\frac{2}{\pi}}\,\frac{\sin a\omega}{\omega}. Fc(ω)=2πsinaωω\boxed{F_c(\omega)=\sqrt{\frac{2}{\pi}}\,\frac{\sin a\omega}{\omega}}

Inversion to deduce the integral. The inverse cosine transform recovers ff:

f(x)=2π0Fc(ω)cos(ωx)dω=2π0sinaωωcos(ωx)dω.f(x)=\sqrt{\frac{2}{\pi}}\int_0^{\infty}F_c(\omega)\cos(\omega x)\,d\omega=\frac{2}{\pi}\int_0^{\infty}\frac{\sin a\omega}{\omega}\cos(\omega x)\,d\omega.

Evaluate at x=0x=0, where f(0+)=1f(0^+)=1 (interior point of the unit step):

1=2π0sinaωωdω.1=\frac{2}{\pi}\int_0^{\infty}\frac{\sin a\omega}{\omega}\,d\omega.

Hence

0sinaωωdω=π2(a>0).\int_0^{\infty}\frac{\sin a\omega}{\omega}\,d\omega=\frac{\pi}{2}\qquad(a>0). 0sinaωωdω=π2\boxed{\int_0^{\infty}\frac{\sin a\omega}{\omega}\,d\omega=\frac{\pi}{2}}

This is the classical Dirichlet integral; its value is independent of aa as long as a>0a>0 (for a<0a<0 it equals π/2-\pi/2, by oddness in aa).

fourier-transformfourier-integraleven-function
10short6 marks

Show that the function u(x,y)=x33xy2+2yu(x,y)=x^3-3xy^2+2y is harmonic. Find the harmonic conjugate v(x,y)v(x,y) and express the analytic function f(z)=u+ivf(z)=u+iv in terms of zz.

Harmonic check. Compute second partials of u=x33xy2+2yu=x^3-3xy^2+2y:

ux=3x23y2,uxx=6x;uy=6xy+2,uyy=6x.u_x=3x^2-3y^2,\quad u_{xx}=6x;\qquad u_y=-6xy+2,\quad u_{yy}=-6x.

Then uxx+uyy=6x6x=0u_{xx}+u_{yy}=6x-6x=0, so uu satisfies Laplace's equation and is harmonic.

Find the conjugate via Cauchy–Riemann. The CR equations are ux=vyu_x=v_y and uy=vxu_y=-v_x.

From vy=ux=3x23y2v_y=u_x=3x^2-3y^2, integrate with respect to yy (treat xx constant):

v=(3x23y2)dy=3x2yy3+g(x),v=\int(3x^2-3y^2)\,dy=3x^2y-y^3+g(x),

where g(x)g(x) is an unknown function of xx.

Differentiate with respect to xx: vx=6xy+g(x)v_x=6xy+g'(x). The second CR equation requires vx=uy=6xy2v_x=-u_y=6xy-2. Equate:

6xy+g(x)=6xy2    g(x)=2    g(x)=2x+C.6xy+g'(x)=6xy-2\;\Rightarrow\;g'(x)=-2\;\Rightarrow\;g(x)=-2x+C.

Thus

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

Express f(z)f(z) in terms of zz.

f=u+iv=(x33xy2)+i(3x2yy3)+(2y2ix)+iC.f=u+iv=(x^3-3xy^2)+i(3x^2y-y^3)+\big(2y-2ix\big)+iC.

Note (x33xy2)+i(3x2yy3)=(x+iy)3=z3(x^3-3xy^2)+i(3x^2y-y^3)=(x+iy)^3=z^3. Also 2y2ix=2i(x+iy)=2iz2y-2ix=-2i(x+iy)=-2iz. Hence

f(z)=z32iz+iC.\boxed{f(z)=z^3-2iz+iC.}

Check: f(z)=3z22if'(z)=3z^2-2i exists everywhere, confirming ff is entire (analytic on all of C\mathbb{C}).

complex-analysiscauchy-riemannanalytic-function
11short10 marks

(a) Classify the second-order PDE   uxx+4uxy+3uyy=0  \;u_{xx}+4u_{xy}+3u_{yy}=0\; as elliptic, parabolic, or hyperbolic. (b) Using d'Alembert's solution, solve the one-dimensional wave equation

utt=4uxx,<x<, t>0,u_{tt}=4\,u_{xx},\qquad -\infty<x<\infty,\ t>0,

with initial conditions u(x,0)=sinxu(x,0)=\sin x and ut(x,0)=0u_t(x,0)=0. Evaluate u ⁣(π2,π4)u\!\left(\tfrac{\pi}{2},\,\tfrac{\pi}{4}\right).

(a) Classification. For Auxx+Buxy+Cuyy=0Au_{xx}+Bu_{xy}+Cu_{yy}=0, examine the discriminant B24ACB^2-4AC. Here A=1, B=4, C=3A=1,\ B=4,\ C=3:

B24AC=164(1)(3)=1612=4>0.B^2-4AC=16-4(1)(3)=16-12=4>0.

Since the discriminant is positive, the PDE is hyperbolic.

(b) d'Alembert's solution. The equation utt=c2uxxu_{tt}=c^2u_{xx} has c2=4c=2c^2=4\Rightarrow c=2. d'Alembert's formula for an infinite string is

u(x,t)=12[f(x+ct)+f(xct)]+12cxctx+ctg(ξ)dξ,u(x,t)=\frac{1}{2}\big[f(x+ct)+f(x-ct)\big]+\frac{1}{2c}\int_{x-ct}^{x+ct}g(\xi)\,d\xi,

where f(x)=u(x,0)f(x)=u(x,0) and g(x)=ut(x,0)g(x)=u_t(x,0).

Here f(x)=sinxf(x)=\sin x and g(x)=0g(x)=0, so the integral term vanishes:

u(x,t)=12[sin(x+2t)+sin(x2t)].u(x,t)=\frac12\big[\sin(x+2t)+\sin(x-2t)\big].

Using the sum-to-product identity sinP+sinQ=2sinP+Q2cosPQ2\sin P+\sin Q=2\sin\frac{P+Q}{2}\cos\frac{P-Q}{2} with P=x+2t, Q=x2tP=x+2t,\ Q=x-2t:

u(x,t)=122sinxcos2t=sinxcos2t.u(x,t)=\frac12\cdot 2\sin x\cos 2t=\sin x\,\cos 2t. u(x,t)=sinxcos2t\boxed{u(x,t)=\sin x\,\cos 2t}

Evaluate at (π2,π4)\left(\tfrac{\pi}{2},\tfrac{\pi}{4}\right).

u ⁣(π2,π4)=sinπ2cos ⁣(2π4)=sinπ2cosπ2=(1)(0)=0.u\!\left(\frac{\pi}{2},\frac{\pi}{4}\right)=\sin\frac{\pi}{2}\,\cos\!\left(2\cdot\frac{\pi}{4}\right)=\sin\frac{\pi}{2}\,\cos\frac{\pi}{2}=(1)(0)=0. u ⁣(π2,π4)=0\boxed{u\!\left(\tfrac{\pi}{2},\tfrac{\pi}{4}\right)=0}

Check IC: at t=0t=0, u(x,0)=sinxcos0=sinxu(x,0)=\sin x\cos 0=\sin x ✓; and ut=2sinxsin2tu_t=-2\sin x\sin 2t, so ut(x,0)=0u_t(x,0)=0 ✓.

partial-differential-equationswave-equationdalembert-solution

Frequently asked questions

Where can I find the BE Civil Engineering (IOE, TU) Engineering Mathematics III (IOE, SH 501) question paper 2076?
The full BE Civil Engineering (IOE, TU) Engineering Mathematics III (IOE, SH 501) 2076 (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) 2076 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 Civil Engineering (IOE, TU) Engineering Mathematics III (IOE, SH 501) 2076 paper?
The BE Civil Engineering (IOE, TU) Engineering Mathematics III (IOE, SH 501) 2076 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.