ENGI 5432/5435 Advanced Calculus
Final Examination, 2008 — Solutions


  1. Find the Fourier series expansion on the interval (–1, 1) of the function

    f(x) = x^3 - x


    The function   f (x)   is odd
    a_n = 0  for all n
    b_n = 2*Integral_0^1 { (x^3 - x) sin(n pi x)} dx
    (using the symmetry property for integrals of odd functions)
    [table for integration by parts]
    b_n = ...
    b_n = 12(-1)^n / (n pi)^3
    Therefore the Fourier series for   f (x)   on (–1, 1) is

    f(x) = 12/pi^3 Sum{(-1)^n sin(n pi x) / n^3}

    The plot below illustrates how good an approximation the Fourier series is, even after the partial sum of only the first two terms:

    [graph]


  1. The vector field   vector F   is defined by   F = < x, 2y, 3z >.

    1. Show that   div F = 6   everywhere in   real space3.


      div F = d(x)/dx + d(2y)/dy + d(3z)/dz


    2. Hence evaluate   Phi = closed double integral of F dot dS, where   S   is the surface of the sphere of radius 1 and centre at (0,0,0).   State the name of the theorem that you are using.
      [You may express your answer in terms of p.]


      By Gauss’ divergence theorem,
      Phi = 6V
      where   V   is the volume enclosed by   S .
      But the volume of a sphere of radius 1 is
      V = 4pi/3  ==>  6V = 8pi.
      Therefore the flux through the sphere is

      Phi = 8pi


  1. In spherical polar coordinates (r, q, f), a scalar function   V   is defined on the domain
    W = { all of real space3 except the z-axis } by

    V(r, q, f)   =   ln (r sin q )

    1. Find   F = gradient of V   in spherical polar coordinates.


      grad V = rHat dV/dr + tHat dV/dt / r 
         + fHat dV/df / (r sin t)
      grad V = 1/r rHat + cot theta / r thetaHat
      Therefore, in spherical polar coordinates,

      grad V = 1/r (rHat + cot theta thetaHat)


    2. Express   V   as a function of the Cartesian coordinates (x, y, z) only.


      x^2 + y^2 = (r sin theta)^2
      V = ln sqrt{x^2 + y^2}

      V = (1/2) ln (x^2 + y^2)


    3. Use your answer to part (b) to find   F = gradient of V   in Cartesian coordinates.


      grad V = dV/dx i^ + dV/dy j^ + dV/dz k^

      grad V = < x, y, 0 > / sqrt{x^2 + y^2}


    4. Show that your answers to parts (a) and (c) are equivalent by using the appropriate coordinate conversion matrix.


      Either

      First note that
      x/(x^2 + y^2) = cos phi / (r sin theta) 
    and  y/(x^2 + y^2) = sin phi / (r sin theta)
      Converting the answer to part (c) into spherical polar coordinates,
      [conversion from Cartesian to polar]
      which matches the answer to part (a)

      or

      Converting the answer to part (a) into Cartesian coordinates,
      [conversion from polar to Cartesian]
      which matches the answer to part (c)


    5. Find the Laplacian   Laplacian of V   in one of the two coordinate systems.


      Either in spherical polar coordinates

      div grad V = 0
      (except possibly on the z-axis, where   r sin q = 0).   Therefore on W

      Laplacian of V = 0

      or in Cartesian coordinates

      div grad V = 0
      (except possibly on the z-axis, where   x2 + y2 = 0).   Therefore on W

      Laplacian of V = 0


    6. Is   V   harmonic on any domain that excludes the z axis?


        YES  


  1. For the partial differential equation

    u_xx + 5u_xy + 6u_yy = 12

    1. Classify this partial differential equation (as one of hyperbolic, parabolic or elliptic).


      D = 1 > 0
      Therefore the PDE is

        hyperbolic  


    2. Find the general solution   u(x, y).


      lambda = -2 or -3
      The complementary function is
      uC = f(y-3x) + g(y-2x)
      (where   f   and   g   are arbitrary functions).
      The right side is a zero order polynomial (a constant)
      For the particular solution, try second order polynomials, without the lower order terms:
      uP = ax^2 + bxy + cy^2
      Substitute this trial particular solution into the PDE:
      2a + 5b + 12c = 12
      There is only one constraint on three unknowns, leaving two free choices.
      Choose   a = b = 0, then c = 1.
      [Other choices are valid, but this is the easiest.]
      The particular solution is   uP = y2   and the general solution is

      u = f(y-3x) + g(y-2x) + y^2

      The choice   b = 0 ,   a = c   leads to the alternative form
      u = f(y-3x) + g(y-2x) + 6(x^2 + y^2)/7


    3. Using the additional information

      u(x,0) = 2x - 1 ;   u_y(x,0) = 0

      Find the complete solution   u(x, y).


      Following the choice made in part (b),
      u = f(y-3x) + g(y-2x) + y^2
      du/dy = f'(y-3x) + g'(y-2x) + 2y
      u(x,0) = f(-3x) + g(-2x) = 2x-1
      u_y(x,0) = f'(-3x) + g'(-2x) = 0
      d[A]/dx = -3f'(-3x) - 2g'(-2x) = 2
      3[B] + [C]  ==>  g'(x) = 2
      [The choice   2(B) + (C)   to find   f(x)   first is also valid.]
      g(x) = 2x  ==>  g(-2x) = -4x
      Substituting   g(–2x)   back into equation (A):
      f(x) = -2x -1
      [Note that the arbitrary constants of integration for the two functions   f(x)   and   g(x)   cancel each other out.]
      The general solution becomes the complete solution
      u = -2(y-3x)-1 + 2(y-2x) + y^2
      The complete solution is therefore

      u = y^2 + 2x - 1

      [It is easy to verify that this solution does satisfy the PDE and both conditions.]


  1. Find the equations of the line of force for the vector field   F = < x, y, y^2 >   that passes through the point (1, 1, 1).


    dr/ds = k F
    dx/x = dy/y = dz/y^2
    ln x + C = ln y
    y = Ax
    y = 0 or y dy = dz
    z = y^2 /2 + B
    Therefore the family of lines of force is
                      x, Ax, (Ax)^2 / 2 + B
    [The solution   y identically = 0   is part of this general solution.]
    The required line of force passes through (1, 1, 1).
    A = 1  and  B = 1/2
    Therefore the required line of force is

    < x, x, (x^2 + 1)/2 >


  1. A vector   vector F   is defined in the cylindrical polar coordinate system by   F = 2 rhoHat - rho phiHat + 4 k.

    1. Find the derivative   vector dF/dt   in terms of   rho, d rho / dt  and  d phi / dt.


      dF/dt = ...
      Therefore

      dF/dt = rho df/dt rhoHat 
         + (2 df/dt - drho/dt) phiHat


    2. Show whether or not a potential function exists for   vector F   and, if it does exist, on what domain.


      curl F = determinant
      [only k component non-zero]
      curl F = -2k everywhere
      Therefore

        a potential function does not exist anywhere in real space3.  


  1. Find the value of the line integral

    W  =  integ_C { 2(x+y) dx  +  (2x+2y-1) dy }

    where   C   is the arc of the parabola   y = x2   between (–1, 1) and (1, 1).


    Check for any potential function:
    F = 2(x+y) i  +  (2x+2y-1) j
    curl F = 0
    A potential function therefore exists and the value of the line integral is simply the potential difference between the two endpoints.
    df/dx = 2x + 2y  and  df/dy = 2x + 2y - 1
    potential function phi = x^2 + 2xy + y^2 - y + C
    W = phi(1,1) - phi(-1,1) = 4
    Therefore

    W = 4

    OR

    The line integral can be evaluated directly.   Along the parabolic path the natural parameters are
    x = t,  y = t^2   ==>  dx = dt,  dy = 2t dt
    W = Integral { 6t^2 + 4t^3} dt
    W = 4

    Note that the inverse of   y = x2   is   x = +sqrt(y)   along the right half of the path (x=0 to x=1), but is   x = -sqrt(y)   along the left half of the path (x=–1 to x=0).
    Another direct evaluation of the line integral is therefore
    [line integral for W in three pieces]
    [evaluation of three integrals]
    W = 4


  1. A shell is in the shape of that part of the ellipsoid   x^2 / 9 + y^2 / 4 + z^2 / 1 = 1 that is above the x-y plane (z > 0).
    Its surface density is   rho = 36z / sqrt{16x^2 + 81y^2 + 1296z^2}
    Find the mass   m   of this shell.
    Note:   For the upper half of the general ellipsoid   x^2 / a^2 + y^2 / b^2 + z^2 / c^2 = 1, a parametric net is (qf), such that   r  =  < a sin t cos f,  b sin t sin f,  c cos t >.
    For the projection method, start with   z = sqrt{ 1 - x^2 / 9 - y^2 / 4 }.
    If necessary, you may quote   Integral of sqrt{a^2 - x^2} = 
    x sqrt{a^2 - x^2} / 2  +  a^2 Arcsin(x/a) / 2  +  C.
    Either method (parametric net or projection) may be used in this question.


    Parametric Net Method:

    For this ellipsoid,   a = 3, b = 2, c = 1
    r  =  < 3 sin t cos f,  2 sin t sin f,  cos t >
    normal vector = dr/d_theta cross dr/d_phi
    N = < 2 sin^2 t cos f,  3 sin^2 t sin f, 6 sin t cos t >
    The outward normal vector at every point on the ellipsoid is
    N = sin t < 2 sin t cos f,  3 sin t sin f, 6 cos t >
    N = sin t sqrt(4 sin^2 t cos^2 f + 
     9 sin^2 t sin^2 f + 36 cos^2 t)
    Converting the density function to the new coordinate system:
    rho = 36 cos t sin t / (6 N)
    rho N = 3 sin 2t

    The mass of the shell is
    m = Integral rho N dt df  =  6 pi
    Therefore the mass of the shell is

    m = 6 pi kg

    OR

    Projection Method:

    dz/dx = -x/(9z)  and  dz/dy = -y/(4z)
    A normal vector to the surface is
    vector N = < 4x, 9y, 36z > / (36z)
    scalar N = sqrt{16x^2 + 81y^2 + 1296z^2} / (36z)
    rho N = 1
    The mass of the shell is then
    m = Integral rho dS = Integral 1 dA
    where   A   is the area of the shadow of the ellipsoid on the x-y plane, that is,
    the area of an ellipse of semi-major axis   a = 3   and semi-minor axis   b = 2.
    A = pi ab = 6 pi
    Therefore the mass of the shell is

    m = 6 pi kg

    In the event that the formula for the area of an ellipse is not immediately available, the area can be calculated in Cartesian coordinates as follows.
    graph of ellipse
    The area of the entire ellipse is four times the area of that part of the ellipse in the first quadrant.
    Area of ellipse = 4 Integral { sqrt(1 - x^2 / 9) }
    Using the integration identity in the question,
    Integral of sqrt{9 - x^2} = 
    [x sqrt{9 - x^2} / 2  +  9 Arcsin(x/3) / 2]  =  6 pi.


      Back to Index of Solutions   [Back to the Index of Solutions]
      Return to your previous page   [Return to your previous page]

Created 2008 04 27 and most recently modified 2008 04 29 by Dr. G.H. George