Navigation

Partial Derivatives

2.8 A First Look at Partial Diferential Equations

14 problems · hints, answers and solutions shown beside each one

1Stage 1Conceptual

Do you understand the idea? Usually little or no calculation.

Q1Stage 1

Let u(x,t)=etx2u(x,t)= e^{-t-x^2}. Find a function g(x)g(x) so that u(x,t)u(x,t) obeys the partial differential equation

uxx(x,t)+u(x,t)=g(x)ut(x,t)\begin{equation*} u_{xx}(x,t)+u(x,t) = g(x)\, u_t(x,t) \end{equation*}
Hint

Just evaluate ut(x,t)u_t(x,t) and uxx(x,t)+u(x,t)u_{xx}(x,t)+u(x,t) and stare at them for a while.

Answer

g(x)=14x2g(x) = 1-4x^2

Full solution

We start by evaluating ut(x,t)u_t(x,t) and uxx(x,t)+u(x,t)u_{xx}(x,t)+u(x,t) when u(x,t)=etx2u(x,t)= e^{-t-x^2}.

u(x,t)=etx2ut(x,t)=etx2ux(x,t)=2xetx2uxx(x,t)=2etx2+4x2etx2\begin{align*} u(x,t)&= e^{-t-x^2} \\ u_t(x,t)&= -e^{-t-x^2} \\ u_x(x,t)&= -2x e^{-t-x^2} \\ u_{xx}(x,t)&= -2 e^{-t-x^2} +4x^2 e^{-t-x^2} \end{align*}

So

uxx(x,t)+u(x,t)=[2etx2+4x2etx2]+etx2=[4x21]etx2\begin{align*} u_{xx}(x,t)+u(x,t) &= \big[-2 e^{-t-x^2} +4x^2 e^{-t-x^2}\big] +e^{-t-x^2} \\ &= \big[4x^2-1]e^{-t-x^2} \end{align*}

For this to equal g(x)ut(x,t)=g(x)etx2g(x)\, u_t(x,t) = -g(x)\, e^{-t-x^2}, we need g(x)=14x2g(x) = 1-4x^2.

Q2Stage 1
  1. Find all functions u(x,y)u(x,y) that obey the partial differential equation

    ux=0\begin{equation*} u_x=0 \end{equation*}
  2. Let f(x)f(x) be a given function. Find all functions u(x,y)u(x,y) that obey the partial differential equation

    ux(x,y)=f(x)\begin{equation*} u_x(x,y)= f(x) \end{equation*}
Hint

(a), (b) Fix any y0y_0 and set v(x)=u(x,y0)v(x)=u(x,y_0). What is dvdx(x)\diff{v}{x}(x)?

Answer

(a) u(x,y)=C(y)u(x,y)=C(y) with C(y)C(y) being any function of the single variable yy.

(b) u(x,y)=F(x)+C(y)u(x,y)=F(x)+C(y) where F(x)F(x) is any function obeying F(x)=f(x)F'(x)=f(x) (i.e. any antiderivative of f(x)f(x)) and C(y)C(y) is any function of the single variable yy.

Full solution

(a) Fix any y0y_0 and set v(x)=u(x,y0)v(x)=u(x,y_0). Then

dvdx(x)=ux(x,y0)=0\begin{align*} \diff{v}{x}(x) =\pdiff{u}{x}(x,y_0) = 0 \end{align*}

So, for each fixed y0y_0, v(x)=u(x,y0)v(x)=u(x,y_0), which is a function of xx, has to be a constant. The constant may be different for each different choice of y0y_0. So u(x,y0)=C(y0)u(x,y_0) = C(y_0) with C(y0)C(y_0) depending only on y0y_0, not on xx. Or, renaming y0y_0 back to yy, u(x,y)=C(y)u(x,y)=C(y) with C(y)C(y) being any function of the single variable yy.

(b) Fix any y0y_0 and set v(x)=u(x,y0)v(x)=u(x,y_0). Then

dvdx(x)=ux(x,y0)=f(x)\begin{align*} \diff{v}{x}(x) =\pdiff{u}{x}(x,y_0) = f(x) \end{align*}

In words, v(x)v(x) has to have derivative f(x)f(x), i.e. be an antiderivative of f(x)f(x). So if F(x)F(x) is any function whose derivative is f(x)f(x), i.e. if F(x)F(x) is any antiderivative of f(x)f(x), then, for each fixed y0y_0, v(x)=u(x,y0)=F(x)+Cv(x)=u(x,y_0) = F(x) +C, with CC being a constant. The constant may be different for each different choice of y0y_0. So u(x,y0)=F(x)+C(y0)u(x,y_0) = F(x)+ C(y_0) with C(y0)C(y_0) depending only on y0y_0, not on xx. Or, renaming y0y_0 back to yy, u(x,y)=F(x)+C(y)u(x,y)=F(x) + C(y) with F(x)F(x) being any antiderivative of f(x)f(x) and C(y)C(y) being any function of the single variable yy.

2Stage 2Procedural

Practising the skill itself, until applying it is automatic.

Q3Stage 2

Solutions of Laplace's equation uxx(x,y)+uyy(x,y)=0u_{xx}(x,y)+u_{yy}(x,y)=0 are called harmonic functions. Which of the following functions are harmonic?

  1. x33xy2x^3-3xy^2

  2. x3y3x^3-y^3

  3. sin(x)cos(y)\sin(x)\,\cos(y)

  4. e7xcos(7y)e^{7x}\,\cos(7y)

  5. ln(x2+y2)\ln(x^2+y^2)

Answer

(a), (d) and (e) are harmonic. (b) and (c) are not harmonic.

Full solution

(a) If u(x,y)=x33xy2u(x,y) = x^3-3xy^2, then

ux=3x23y2uxx=6xuy=6xyuyy=6x\begin{alignat*}{3} u_x&= 3x^2-3y^2 \qquad& u_{xx}&= 6x \\ u_y&= -6xy \qquad& u_{yy}&= -6x \end{alignat*}

So uxx(x,y)+uyy(x,y)=6x6x=0u_{xx}(x,y)+u_{yy}(x,y)=6x-6x=0 and x33xy2x^3-3xy^2 is harmonic.

(b) If u(x,y)=x3y3u(x,y) = x^3-y^3, then

ux=3x2uxx=6xuy=3y2uyy=6y\begin{alignat*}{3} u_x&= 3x^2 \qquad& u_{xx}&= 6x \\ u_y&= -3y^2 \qquad& u_{yy}&= -6y \end{alignat*}

So uxx(x,y)+uyy(x,y)=6x6yu_{xx}(x,y)+u_{yy}(x,y)=6x-6y is not identically zero and x3y3x^3-y^3 is not harmonic.

(c) If u(x,y)=sin(x)cos(y)u(x,y) = \sin(x)\,\cos(y), then

ux=cos(x)cos(y)uxx=sin(x)cos(y)uy=sin(x)sin(y)uyy=sin(x)cos(y)\begin{alignat*}{3} u_x&= \cos(x)\,\cos(y) \qquad& u_{xx}&= -\sin(x)\,\cos(y) \\ u_y&= -\sin(x)\,\sin(y) \qquad& u_{yy}&= -\sin(x)\,\cos(y) \end{alignat*}

So uxx(x,y)+uyy(x,y)=2sin(x)cos(y)u_{xx}(x,y)+u_{yy}(x,y)=-2\sin(x)\,\cos(y) is not identically zero and sin(x)cos(y)\sin(x)\,\cos(y) is not harmonic.

(d) If u(x,y)=e7xcos(7y)u(x,y) = e^{7x}\,\cos(7y), then

ux=7e7xcos(7y)uxx=49e7xcos(7y)uy=7e7x sin(7y)uyy=49e7xcos(7y)\begin{alignat*}{3} u_x&= 7\,e^{7x}\,\cos(7y) \qquad& u_{xx}&= 49\,e^{7x}\,\cos(7y) \\ u_y&= -7\,e^{7x}\ \sin(7y) \qquad& u_{yy}&= -49\,e^{7x}\,\cos(7y) \end{alignat*}

So uxx(x,y)+uyy(x,y)=49e7xcos(7y)49e7xcos(7y)=0u_{xx}(x,y)+u_{yy}(x,y)=49\,e^{7x}\,\cos(7y)-49\,e^{7x}\,\cos(7y)=0 and e7xcos(7y)e^{7x}\,\cos(7y) is harmonic.

(e) If u(x,y)=ln(x2+y2)u(x,y) = \ln(x^2+y^2), then

ux=2xx2+y2uxx=2x2+y24x2(x2+y2)2uy=2yx2+y2uyy=2x2+y24y2(x2+y2)2\begin{alignat*}{3} u_x&= \frac{2x}{x^2+y^2} \qquad& u_{xx}&= \frac{2}{x^2+y^2}- \frac{4x^2}{{(x^2+y^2)}^2}\\ u_y&= \frac{2y}{x^2+y^2} \qquad& u_{yy}&= \frac{2}{x^2+y^2}- \frac{4y^2}{{(x^2+y^2)}^2} \end{alignat*}

So

uxx(x,y)+uyy(x,y)=2x2+y24x2(x2+y2)2+2x2+y24y2(x2+y2)2=4x2+y24x2+y2(x2+y2)2=4x2+y24x2+y2=0\begin{align*} u_{xx}(x,y)+u_{yy}(x,y)&=\frac{2}{x^2+y^2}- \frac{4x^2}{{(x^2+y^2)}^2} +\frac{2}{x^2+y^2}- \frac{4y^2}{{(x^2+y^2)}^2} \\ &=\frac{4}{x^2+y^2} - 4\frac{x^2+y^2}{{(x^2+y^2)}^2} \\ &=\frac{4}{x^2+y^2}-\frac{4}{x^2+y^2} \\ &=0 \end{align*}

and ln(x2+y2)\ln(x^2+y^2) is harmonic.

Q4Stage 2Past exam · M253 2013A

Let u(x,t)=et+ax+etaxu(x,t) = e^{t+ax} + e^{t-ax} where aa is a constant. Find aa such that 5ut=uxx+u5u_t = u_{xx} + u.

Hint

Just substitute the given u(x,t)u(x,t) into the given PDE.

Answer

a=±2a=\pm 2

Full solution

We evaluate both sides of the given PDE with u=u(x,t)=et+ax+etaxu=u(x,t) = e^{t+ax} + e^{t-ax}. Since

u(x,t)=et+ax+etaxut(x,t)=et+ax+etaxux(x,t)=aet+axaetaxuxx(x,t)=a2et+ax+a2etax\begin{alignat*}{3} u(x,t) &= e^{t+ax} + e^{t-ax} \\ u_t(x,t) &= e^{t+ax} + e^{t-ax} \\ u_x(x,t) &= ae^{t+ax} - ae^{t-ax}\qquad & u_{xx}(x,t) &= a^2e^{t+ax} + a^2e^{t-ax} \end{alignat*}

the left hand side of the PDE is

5ut=5et+ax+5etax\begin{equation*} 5u_t = 5e^{t+ax} + 5e^{t-ax} \end{equation*}

and the right hand side of the PDE is

uxx+u=(a2et+ax+a2etax)+(et+ax+etax)=(a2+1)et+ax+(a2+1)etax\begin{align*} u_{xx} + u &=\big(a^2e^{t+ax} + a^2e^{t-ax}\big)+\big(e^{t+ax} + e^{t-ax}\big) \\ &= (a^2+1)e^{t+ax} + (a^2+1)e^{t-ax} \end{align*}

The left and right hand sides are equal if and only if

5=(a2+1)    a2=4    a=±2\begin{align*} 5=(a^2+1) \iff a^2=4 \iff a=\pm 2 \end{align*}
Q5Stage 2

Let u(x,y,z)=e3x+4ysin(az)u(x,y,z) = e^{3x+4y}\sin(az) where aa is a constant. Find all aa's such that

uxx+uyy+uzz=0\begin{equation*} u_{xx}+u_{yy}+u_{zz}=0 \end{equation*}
Hint

Just substitute the given u(x,y,z)u(x,y,z) into the given PDE.

Answer

a=±5a=\pm 5

Full solution

We evaluate uxx+uyy+uzzu_{xx}+u_{yy}+u_{zz} with u=u(x,t)=e3x+4ysin(az)u=u(x,t) = e^{3x+4y}\sin(az). Since

u(x,y,z)=e3x+4ysin(az)ux(x,y,z)=3e3x+4ysin(az)uxx(x,y,z)=9e3x+4ysin(az)uy(x,y,z)=4e3x+4ysin(az)uyy(x,y,z)=16e3x+4ysin(az)uz(x,y,z)=ae3x+4ycos(az)uzz(x,y,z)=a2e3x+4ysin(az)\begin{alignat*}{3} u(x,y,z) &= e^{3x+4y}\sin(az)\\ u_x(x,y,z) &= 3\,e^{3x+4y}\sin(az)\qquad & u_{xx}(x,y,z) &= 9\,e^{3x+4y}\sin(az) \\ u_y(x,y,z) &= 4\,e^{3x+4y}\sin(az)\qquad & u_{yy}(x,y,z) &= 16\,e^{3x+4y}\sin(az) \\ u_z(x,y,z) &= a\,e^{3x+4y}\cos(az)\qquad & u_{zz}(x,y,z) &= -a^2\,e^{3x+4y}\sin(az) \end{alignat*}

We have

uxx+uyy+uzz=(9+16a2)e3x+4ysin(az)\begin{equation*} u_{xx}+u_{yy}+u_{zz} = \big(9+16-a^2) e^{3x+4y}\sin(az) \end{equation*}

This is zero (for all xx, yy, zz) if and only if

a2=9+16=25    a=±5\begin{align*} a^2=9+16=25 \iff a=\pm 5 \end{align*}
Q6Stage 2

Let u(x,t)=sin(at)cos(bx)u(x,t) = \sin(at)\,\cos(bx) where aa and bb are constants. Find all aa's and bb's such that utt=uxxu_{tt} = u_{xx}.

Hint

Just substitute the given u(x,t)u(x,t) into the given PDE.

Answer

a=±ba=\pm b, for any real number bb.

Full solution

We evaluate both sides of the given PDE with u=u(x,t)=sin(at)cos(bx)u=u(x,t)=\sin(at)\,\cos(bx). Since

u(x,t)=sin(at)cos(bx)ut(x,t)=acos(at)cos(bx)utt(x,t)=a2sin(at)cos(bx)ux(x,t)=bsin(at)sin(bx)uxx(x,t)=b2sin(at)cos(bx)\begin{alignat*}{3} u(x,t) &= \sin(at)\,\cos(bx) \\ u_t(x,t) &= a\,\cos(at)\,\cos(bx) \qquad & u_{tt}(x,t) &= -a^2\,\sin(at)\,\cos(bx) \\ u_x(x,t) &= -b\,\sin(at)\,\sin(bx) \qquad & u_{xx}(x,t) &= -b^2\sin(at)\,\cos(bx) \end{alignat*}

the left hand side of the PDE is

utt=a2sin(at)cos(bx)\begin{equation*} u_{tt} = -a^2\,\sin(at)\,\cos(bx) \end{equation*}

and the right hand side of the PDE is

uxx=b2sin(at)cos(bx)\begin{align*} u_{xx} &=-b^2\,\sin(at)\,\cos(bx) \end{align*}

The left and right hand sides are equal if and only if

a2=b2    a=±b\begin{align*} a^2=b^2 \iff a=\pm b \end{align*}
Q7Stage 2

Let F(u)F(u) be any differentiable function of one variable. Define z(x,y)=F(x2+y2)z(x,y)=F\big(x^2+y^2\big). Is the partial differential equation

yzxxzy=0\begin{equation*} y\pdiff{z}{x} - x\pdiff{z}{y}=0 \end{equation*}

necessarily satisfied? You must justify your answer.

Hint

Just substitute the given z(x,y)z(x,y) into the given PDE.

Answer

Yes it is. For the justification, see the solution.

Full solution

We simply evaluate the two terms on the left hand side when z=z(x,y)=F(x2+y2)z=z(x,y)=F\big(x^2+y^2\big). By the chain rule,

yzx=yxF(x2+y2)=yF(x2+y2)x(x2+y2)=yF(x2+y2)(2x)=2xyF(x2+y2)xzy=xyF(x2+y2)=xF(x2+y2)y(x2+y2)=xF(x2+y2)(2y)=2xyF(x2+y2)\begin{align*} y\pdiff{z}{x}&= y\pdiff{}{x}F\big(x^2+y^2\big) =yF'\big(x^2+y^2\big) \pdiff{}{x}\,\big(x^2+y^2\big) =yF'\big(x^2+y^2\big)\left(2x\right) \\ &=2xy\,F'\big(x^2+y^2\big) \\ x\pdiff{z}{y}&= x\pdiff{}{y}F\big(x^2+y^2\big) =xF'\big(x^2+y^2\big) \pdiff{}{y}\,\big(x^2+y^2\big) =xF'\big(x^2+y^2\big)\left(2y\right) \\ &=2xyF'\big(x^2+y^2\big) \end{align*}

So

yzxxzy=2xyF(x2+y2)2xyF(x2+y2)=0\begin{equation*} y\pdiff{z}{x} - x\pdiff{z}{y} =2xy\,F'\big(x^2+y^2\big) - 2xy\,F'\big(x^2+y^2\big) =0 \end{equation*}

and z(x,y)=F(x2+y2)z(x,y)=F\big(x^2+y^2\big) really does solve the PDE yzxxzy=0y\pdiff{z}{x} - x\pdiff{z}{y}=0 for any differentiable function FF.

Q8Stage 2

Let u(x,t)=f(t)cos(2x)u(x,t) = f(t)\,\cos(2x). Find all functions f(t)f(t) such that ut=uxxu_{t} = u_{xx}.

Hint

Substitute the given u(x,t)u(x,t) into the given PDE. Review Theorem 3.3.2 in the CLP-1 text.

Answer

f(t)=Ce4tf(t) = Ce^{-4t} with CC being an arbitrary constant.

Full solution

We evaluate both sides of the given PDE with u=u(x,t)=f(t)cos(2x)u=u(x,t)=f(t)\,\cos(2x). Since

u(x,t)=f(t)cos(2x)ut(x,t)=f(t)cos(2x)ux(x,t)=2f(t)sin(2x)uxx(x,t)=4f(t)cos(2x)\begin{alignat*}{3} u(x,t) &= f(t)\,\cos(2x) \\ u_t(x,t) &= f'(t)\,\cos(2x) \\ u_x(x,t) &= -2\,f(t)\,\sin(2x) \qquad & u_{xx}(x,t) &= -4\,f(t)\,\cos(2x) \end{alignat*}

the left hand side of the PDE is

ut(x,t)=f(t)cos(2x)\begin{equation*} u_t(x,t) = f'(t)\,\cos(2x) \end{equation*}

and the right hand side of the PDE is

uxx(x,t)=4f(t)cos(2x)\begin{equation*} u_{xx}(x,t) = -4\,f(t)\,\cos(2x) \end{equation*}

The left and right hand sides are equal if and only if

f(t)=4f(t)\begin{align*} f'(t)=-4 f(t) \end{align*}

This is the type of ordinary differential equation that we studied in Section 3.3, on exponential growth and decay, in the CLP-1 text. We found in Theorem 3.3.2 there that the general solution to this ODE is f(t)=Ce4tf(t) = Ce^{-4t} with CC being an arbitrary constant.

Q9Stage 2

Let u1(x,t)u_1(x,t) and u2(x,t)u_2(x,t) both be solutions of the wave equation utt=uxxu_{tt}=u_{xx} and let a1a_1 and a2a_2 be constants. Show that u(x,t)=a1u1(x,t)+a2u2(t,x)u(x,t)=a_1u_1(x,t)+a_2u_2(t,x) is also a solution of utt=uxxu_{tt}=u_{xx}. Because of this property, the wave equation is said to be a linear PDE.

Answer

See the solution.

Full solution

Let u1(x,t)u_1(x,t) and u2(x,t)u_2(x,t) obey 2t2u1(x,t)=2x2u1(x,t)\frac{\partial^2}{\partial t^2}u_1(x,t) =\frac{\partial^2}{\partial x^2}u_1(x,t) and 2t2u2(x,t)=2x2u2(x,t)\frac{\partial^2}{\partial t^2}u_2(x,t) =\frac{\partial^2}{\partial x^2}u_2(x,t). Then u(x,t)=a1u1(x,t)+a2u2(t,x)u(x,t)=a_1u_1(x,t)+a_2u_2(t,x) obeys

utt(x,t)=2t2[a1u1(x,t)+a2u2(t,x)]=a12t2u1(x,t)+a22t2u2(x,t)=a12x2u1(x,t)+a22x2u2(x,t)=2x2[a1u1(x,t)+a2u2(t,x)]=uxx(x,t)\begin{align*} u_{tt}(x,t) &= \frac{\partial^2}{\partial t^2} \big[a_1u_1(x,t)+a_2u_2(t,x)\big] \\ &=a_1\frac{\partial^2}{\partial t^2}u_1(x,t) + a_2\frac{\partial^2}{\partial t^2}u_2(x,t) \\ &=a_1\frac{\partial^2}{\partial x^2}u_1(x,t) + a_2\frac{\partial^2}{\partial x^2}u_2(x,t) \\ &= \frac{\partial^2}{\partial x^2}\big[a_1u_1(x,t)+a_2u_2(t,x)\big] \\ &=u_{xx}(x,t) \end{align*}

as desired.

Q10Stage 2

Let v(x,y)v(x,y) be a harmonic function. That is, v(x,y)v(x,y) obeys vxx+vyy=0v_{xx}+v_{yy}=0. Let aa, bb, cc, dd be constants. Show that if the vectors <a,b>\llt a,b\rgt and <c,d>\llt c,d\rgt have the same length and are mutually             \underline{\ \ \ \ \ \ \ \ \ \ \ \ } (fill in the missing word), then u(x,y)=v(ax+by,cx+dy)u(x,y)=v(ax+by\,,\,cx+dy) is also a harmonic function.

Hint

Evaluate uxx+uyyu_{xx}+u_{yy} for the given u(x,y)u(x,y).

Answer

perpendicular

Full solution

We evaluate uxx+uyyu_{xx}+u_{yy} with u(x,y)=v(ax+by,cx+dy)u(x,y)=v(ax+by\,,\,cx+dy). Since, by the chain rule,

u(x,y)=v(ax+by,cx+dy)ux(x,y)=avx(ax+by,cx+dy)+cvy(ax+by,cx+dy)uy(x,y)=bvx(ax+by,cx+dy)+dvy(ax+by,cx+dy)uxx(x,y)=a2vxx(ax+by,cx+dy)+acvxy(ax+by,cx+dy)+cavyx(ax+by,cx+dy)+c2vyy(ax+by,cx+dy)uyy(x,y)=b2vxx(ax+by,cx+dy)+bdvxy(ax+by,cx+dy)+dbvyx(ax+by,cx+dy)+d2vyy(ax+by,cx+dy)\begin{align*} u(x,y) &= v(ax+by\,,\,cx+dy)\\ u_x(x,y) &= a\,v_x(ax+by\,,\,cx+dy)+c\,v_y(ax+by\,,\,cx+dy) \\ u_y(x,y) &= b\,v_x(ax+by\,,\,cx+dy)+d\,v_y(ax+by\,,\,cx+dy) \\ u_{xx}(x,y) &= a^2\,v_{xx}(ax+by\,,\,cx+dy)+ ac\,v_{xy}(ax+by\,,\,cx+dy) \\ &\hskip0.5in + ca\,v_{yx}(ax+by\,,\,cx+dy) +c^2\,v_{yy}(ax+by\,,\,cx+dy) \\ u_{yy}(x,y) &= b^2\,v_{xx}(ax+by\,,\,cx+dy)+ bd\,v_{xy}(ax+by\,,\,cx+dy) \\ &\hskip0.5in + db\,v_{yx}(ax+by\,,\,cx+dy) +d^2\,v_{yy}(ax+by\,,\,cx+dy) \end{align*}

we have

uxx+uyy=(a2+b2)vxx(ax+by,cx+dy)+(c2+d2)vyy(ax+by,cx+dy)+2(ac+bd)vxy(ax+by,cx+dy)\begin{align*} u_{xx}+u_{yy} &=(a^2+b^2) v_{xx}(ax+by\,,\,cx+dy) +(c^2+d^2) v_{yy}(ax+by\,,\,cx+dy) \\&\hskip0.5in +2(ac+bd) v_{xy}(ax+by\,,\,cx+dy) \end{align*}
  • If a2+b2=c2+d2a^2+b^2=c^2+d^2, i.e. if <a,b>\llt a,b\rgt and <c,d>\llt c,d\rgt have the same length, then the first line of the right hand side is zero, since vxx+vyy=0v_{xx}+v_{yy}=0.

  • If <a,b><c,d>=ac+bd=0\llt a,b\rgt\cdot\llt c,d\rgt=ac+bd=0, i.e. if <a,b>\llt a,b\rgt and <c,d>\llt c,d\rgt are mutally perpendicular, then the second line of the right hand side is zero.

So if <a,b>\llt a,b\rgt and <c,d>\llt c,d\rgt have the same length and are mutally perpendicular, then uxx+uyy=0u_{xx}+u_{yy}=0. The missing word is “perpendicular”.

3Stage 3Application

Further than practice: several ideas at once, or an unfamiliar situation.

Q11Stage 3

The distance from the point (x,y,z)(x,y,z) to the origin (0,0,0)(0,0,0) is

r(x,y,z)=x2+y2+z2\begin{equation*} r(x,y,z) = \sqrt{x^2+y^2+z^2} \end{equation*}

Find all functions u(x,y,z)=r(x,y,z)nu(x,y,z) = r(x,y,z)^n, with nn being a real constant, that obey Laplace's equation

uxx+uyy+uzz=0\begin{equation*} u_{xx}+u_{yy}+u_{zz}=0 \end{equation*}

for all (x,y,z)(0,0,0)(x,y,z)\ne (0,0,0).

Answer

n=0,1n=0, -1

Full solution

In preparation for substituting into the PDE, we compute uxxu_{xx}, uyyu_{yy} and uzzu_{zz}.

u(x,y,z)=r(x,y,z)n=(x2+y2+z2)n/2ux(x,y,z)=n2(x2+y2+z2)n/21 x(x2+y2+z2)=nx (x2+y2+z2)n/21uxx(x,y,z)=n (x2+y2+z2)n/21+nx (n/21)(x2+y2+z2)n/22(2x)=n (x2+y2+z2)n/21+n(n2)x2(x2+y2+z2)n/22uy(x,y,z)=n2(x2+y2+z2)n/21 y(x2+y2+z2)=ny (x2+y2+z2)n/21uyy(x,y,z)=n (x2+y2+z2)n/21+ny (n/21)(x2+y2+z2)n/22(2y)=n (x2+y2+z2)n/21+n(n2)y2(x2+y2+z2)n/22uz(x,y,z)=n2(x2+y2+z2)n/21 z(x2+y2+z2)=nz (x2+y2+z2)n/21uzz(x,y,z)=n (x2+y2+z2)n/21+nz (n/21)(x2+y2+z2)n/22(2z)=n (x2+y2+z2)n/21+n(n2)z2(x2+y2+z2)n/22\begin{align*} u(x,y,z) &= r(x,y,z)^n = \big(x^2+y^2+z^2\big)^{n/2} \\ u_x(x,y,z)&= \frac{n}{2}\,\big(x^2+y^2+z^2\big)^{n/2-1}\ \pdiff{}{x}\big(x^2+y^2+z^2\big) \\ &= nx\ \big(x^2+y^2+z^2\big)^{n/2-1} \\ u_{xx}(x,y,z)&= n\ \big(x^2+y^2+z^2\big)^{n/2-1} + nx\ (n/2-1) \big(x^2+y^2+z^2\big)^{n/2-2} (2x) \\ &=n\ \big(x^2+y^2+z^2\big)^{n/2-1} +n(n-2)x^2 \big(x^2+y^2+z^2\big)^{n/2-2} \\ u_y(x,y,z)&= \frac{n}{2}\,\big(x^2+y^2+z^2\big)^{n/2-1}\ \pdiff{}{y}\big(x^2+y^2+z^2\big) \\ &= ny\ \big(x^2+y^2+z^2\big)^{n/2-1} \\ u_{yy}(x,y,z)&= n\ \big(x^2+y^2+z^2\big)^{n/2-1} + ny\ (n/2-1) \big(x^2+y^2+z^2\big)^{n/2-2} (2y) \\ &=n\ \big(x^2+y^2+z^2\big)^{n/2-1} +n(n-2)y^2 \big(x^2+y^2+z^2\big)^{n/2-2} \\ u_z(x,y,z)&= \frac{n}{2}\,\big(x^2+y^2+z^2\big)^{n/2-1}\ \pdiff{}{z}\big(x^2+y^2+z^2\big) \\ &= nz\ \big(x^2+y^2+z^2\big)^{n/2-1} \\ u_{zz}(x,y,z)&= n\ \big(x^2+y^2+z^2\big)^{n/2-1} + nz\ (n/2-1) \big(x^2+y^2+z^2\big)^{n/2-2} (2z) \\ &=n\ \big(x^2+y^2+z^2\big)^{n/2-1} +n(n-2)z^2 \big(x^2+y^2+z^2\big)^{n/2-2} \end{align*}

So

uxx+uyy+uzz=3n(x2+y2+z2)n/21+n(n2) (x2+y2+z2)(x2+y2+z2)n/22=3n(x2+y2+z2)n/21+n(n2) (x2+y2+z2)n/21=[3n+n22n] (x2+y2+z2)n/21\begin{align*} u_{xx}+u_{yy}+u_{zz} &=3n\big(x^2+y^2+z^2\big)^{n/2-1} +n(n-2)\ (x^2+y^2+z^2) \big(x^2+y^2+z^2\big)^{n/2-2} \\ &=3n\big(x^2+y^2+z^2\big)^{n/2-1} +n(n-2)\ \big(x^2+y^2+z^2\big)^{n/2-1} \\ &=[3n+n^2-2n]\ \big(x^2+y^2+z^2\big)^{n/2-1} \end{align*}

This is zero if and only if

n+n2=n(1+n)=0    n=0,1\begin{equation*} n+n^2=n(1+n)=0 \iff n=0,-1 \end{equation*}
Q12Stage 3

In this question we are going to find all solutions u(t,x)u(t,x) to the PDE

ut=xuxfor x>0\begin{equation*} u_t=xu_x\qquad\text{for }x>0 \end{equation*}

that are of the special form u(x,t)=X(x)T(t)u(x,t)= X(x)\,T(t), with, for simplicity, X>0X>0 and T>0T>0. We will use a technique called “separation of variables”.

  1. Show that u(x,t)=X(x)T(t)u(x,t)= X(x)\,T(t), with XX and TT nonzero, obeys the PDE ut=xuxu_t=xu_x if and only if

    T(t)T(t)=xX(x)X(x)\begin{equation*} \frac{T'(t)}{T(t)} = x\frac{X'(x)}{X(x)} \end{equation*}
  2. Show that T(t)T(t)=xX(x)X(x)\frac{T'(t)}{T(t)} = x\frac{X'(x)}{X(x)} if and only if there is a constant λ\la such that

    T(t)=λT(t)X(x)=λxX(x)\begin{align*} T'(t)&=\la T(t) \\ X'(x)&=\frac{\la}{x} X(x) \end{align*}
  3. Find the general solutions to T(t)=λT(t)T'(t)=\la T(t) and X(x)=λxX(x)X'(x)=\frac{\la}{x} X(x) with T,X>0T,X>0.

Hint

(b) The left hand side is independent of xx and the right hand side is independent of tt.

(c) Review Section 3.3 in the CLP-1 text and Section 2.4 in the CLP-2 text.

Answer

(a), (b) See the solutions.

(c) T(t)=CeλtT(t) = Ce^{\la t}, X(x)=KxλX(x) = K x^\la, u(x,t)=Deλtxλu(x,t)= D\,e^{\la t}\,x^\la with CC, DD and KK being arbitrary positive constants.

Full solution

(a) Substituting u(x,t)=X(x)T(t)u(x,t)= X(x)\,T(t) into the given PDE yields

X(x)T(t)=ut=xux=xX(x)T(t)\begin{equation*} X(x)\,T'(t) = u_t=x\,u_x=x\, X'(x)\,T(t) \end{equation*}

Then dividing both sides by X(x)T(t)X(x)\,T(t) gives

T(t)T(t)=xX(x)X(x)\begin{equation*} \frac{T'(t)}{T(t)} = x\,\frac{X'(x)}{X(x)} \end{equation*}

as desired.

(b) The left hand side T(t)T(t)\frac{T'(t)}{T(t)} is independent of xx, and the right hand side xX(x)X(x)x\,\frac{X'(x)}{X(x)} is independent of tt. The left and right hand sides are equal to each other, so both are independent of both tt and xx, i.e. are constant. If we call the constant λ\la, then

T(t)T(t)=xX(x)X(x)=λ    T(t)=λT(t),X(x)=λxX(x)\begin{align*} \frac{T'(t)}{T(t)} &= x\,\frac{X'(x)}{X(x)}=\la \\ \implies T'(t)&=\la\,T(t),\qquad X'(x)=\frac{\la}{x} X(x) \end{align*}

(c) The equation T(t)=λT(t)T'(t)=\la\,T(t) is the type of ordinary differential equation that we studied in Section 3.3,
on exponential growth and decay, in the CLP-1 text. We found in Theorem 3.3.2 there that the general solution to this ODE is T(t)=CeλtT(t) = Ce^{\la t} with CC being an arbitrary constant, which we require to be positive to make T>0T>0.

The equation X(x)=λxX(x)X'(x)=\frac{\la}{x} X(x) is a separable ODE. We studied such ODE's in Section 2.4 in the CLP-2 text. To solve it, we divide across by X(x)X(x), giving

X(x)X(x)=λx    ddxlnX(x)=λxassuming X,x>0    lnX(x)=λlnx+Kwith K constant    X(x)=Kxλwith K=eK>0 constant\begin{alignat*}{3} \frac{X'(x)}{X(x)} = \frac{\la}{x} &\implies \diff{}{x} \ln X(x) = \frac{\la}{x} \qquad&&\text{assuming }X,x>0 \\ &\implies \ln X(x) = \la\ln x+K'\qquad&&\text{with }K'\text{ constant} \\ &\implies X(x) = K x^\la \qquad&&\text{with }K=e^{K'}>0\text{ constant} \end{alignat*}

So

u(x,t)=X(x)T(t)=Deλtxλwith D=CK>0 a constant\begin{equation*} u(x,t)= X(x)\,T(t) = D\,e^{\la t}\,x^\la\qquad \text{with }D=CK>0\text{ a constant} \end{equation*}

solves the PDE ut=xuxu_t=xu_x for x>0x>0.

Q13Stage 3

Suppose that u(x,y)u(x,y) obeys the PDE

α(x,y)ux(x,y)+β(x,y)uy(x,y)=0\begin{equation*} \al(x,y)\,u_x(x,y) +\be(x,y)\,u_y(x,y)=0 \end{equation*}

where α(x,y)\al(x,y) and β(x,y)\be(x,y) are given functions. Let (X(t),Y(t))\big(X(t),Y(t)\big) be a curve (Such curves are called characteristics of the PDE.) in the xyxy-plane that obeys

dXdt(t)=α(X(t),Y(t))dYdt(t)=β(X(t),Y(t))\begin{align*} \diff{X}{t}(t)&=\al\big(X(t),Y(t)\big) \\ \diff{Y}{t}(t)&=\be\big(X(t),Y(t)\big) \end{align*}

Show that uu is constant along that curve. That is, show that u(X(t),Y(t))u\big(X(t),Y(t)\big) is independent of tt.

Hint

Evaluate ddtu(X(t),Y(t))\diff{}{t}u\big(X(t),Y(t)\big).

Answer

See the solution.

Full solution

By the chain rule,

ddtu(X(t),Y(t))=ux(X(t),Y(t))dXdt(t)+uy(X(t),Y(t))dYdt(t)=α(X(t),Y(t))ux(X(t),Y(t))+β(X(t),Y(t))uy(X(t),Y(t))\begin{align*} \diff{}{t}u\big(X(t),Y(t)\big) &=u_x\big(X(t),Y(t)\big)\,\diff{X}{t}(t) +u_y\big(X(t),Y(t)\big)\,\diff{Y}{t}(t) \\ &=\al\big(X(t),Y(t)\big)\, u_x\big(X(t),Y(t)\big) +\be\big(X(t),Y(t)\big)\, u_y\big(X(t),Y(t)\big) \end{align*}

But evaluating α(x,y)ux(x,y)+β(x,y)uy(x,y)=0\al(x,y)\,u_x(x,y) +\be(x,y)\,u_y(x,y)=0 at x=X(t)x=X(t), y=Y(t)y=Y(t) gives

α(X(t),Y(t))ux(X(t),Y(t))+β(X(t),Y(t))uy(X(t),Y(t))=0\begin{equation*} \al\big(X(t),Y(t)\big)\, u_x\big(X(t),Y(t)\big) +\be\big(X(t),Y(t)\big)\, u_y\big(X(t),Y(t)\big) =0 \end{equation*}

so

ddtu(X(t),Y(t))=0\begin{equation*} \diff{}{t}u\big(X(t),Y(t)\big)=0 \end{equation*}
Q14Stage 3
  1. Suppose that u(x,y)u(x,y) obeys the PDE 3ux(x,y)+6uy(x,y)=u(x,y)3u_x(x,y) + 6u_y(x,y)=u(x,y). Define v(X,Y)=u(X,Y+2X)v(X,Y) = u(X, Y+2X). Find a PDE that vv obeys.

  2. Suppose that u(x,y)u(x,y) obeys the PDE xux(x,y)+yuy(x,y)=u(x,y)xu_x(x,y) + yu_y(x,y)=u(x,y). Define v(X,Y)=u(X,XeY)v(X,Y) = u(X, Xe^Y). Find a PDE that vv obeys.

Hint

Evaluate vXv_X.

Answer

(a) vX(X,Y)=13v(X,Y)v_X(X,Y)=\frac{1}{3} v(X,Y) (b) vX(X,Y)=1Xv(X,Y)v_X(X,Y)=\frac{1}{X} v(X,Y)

Full solution

(a) Suppose that u(x,y)u(x,y) obeys the PDE

3ux(x,y)+6uy(x,y)=u(x,y)\begin{equation*} 3u_x(x,y) + 6u_y(x,y)=u(x,y) \end{equation*}

Define v(X,Y)=u(X,Y+2X)v(X,Y) = u(X, Y+2X). Then, by the chain rule,

vX(X,Y)=X[u(X,Y+2X)]=ux(X,Y+2X)+2uy(X,Y+2X)=13{3ux(X,Y+2X)+6uy(X,Y+2X)}=13u(X,Y+2X)=13v(X,Y)\begin{align*} v_X(X,Y)&=\pdiff{}{X}\big[ u(X, Y+2X)\big] \\ &=u_x(X, Y+2X) +2u_y(X, Y+2X) \\ &=\frac{1}{3}\big\{3u_x(X, Y+2X) + 6u_y(X, Y+2X)\big\} \\ &=\frac{1}{3} u(X, Y+2X) \\ &=\frac{1}{3} v(X,Y) \end{align*}

(b) Define v(X,Y)=u(X,XeY)v(X,Y) = u(X, Xe^Y). Then, by the chain rule,

vX(X,Y)=X[u(X,XeY)]=ux(X,XeY)+eYuy(X,XeY)\begin{align*} v_X(X,Y)&=\pdiff{}{X}\big[ u(X, Xe^Y)\big] \\ &=u_x(X, Xe^Y) +e^Yu_y(X, Xe^Y) \end{align*}

Now notice that if xux(x,y)+yuy(x,y)=u(x,y)xu_x(x,y) + yu_y(x,y)=u(x,y), then, evaluating at x=Xx=X and y=XeYy=Xe^Y gives

Xux(X,XeY)+XeYuy(X,XeY)=u(X,XeY)\begin{equation*} Xu_x(X, Xe^Y) + Xe^Yu_y(X, Xe^Y)=u(X, Xe^Y) \end{equation*}

So

vX(X,Y)=1X{Xux(X,XeY)+XeYuy(X,XeY)}=1Xu(X,XeY)=1Xv(X,Y)\begin{align*} v_X(X,Y) &=\frac{1}{X}\big\{X u_x(X, Xe^Y) +X e^Y u_y(X, Xe^Y) \big\} \\ &=\frac{1}{X} u(X, Xe^Y) \\ &=\frac{1}{X} v(X,Y) \end{align*}

My list

nothing marked yet

Loading…

Open the whole list →

Your tutor can open this list with you. It follows your account, so it is there on whichever device you study on.

From the UBC Math 200 open textbook project, © Joel Feldman, Andrew Rechnitzer, Elyse Yeager and others. Licensed CC BY-NC-SA 4.0; this HTML adaptation is released under the same licence. Full attribution.