Coordinates Transformation of a Double Integral

Coordinates Transformation

If a double integral is still tricky even after considering Fubini’s theorem, the next step to consider is the transformation of the coordinate system. More specifically, a region AA of xyxy-plane can be transformed to a region BB of uvuv-plane by x=f(u,v)x = f(u, v) and y=g(u,v)y = g(u, v). A function ϕ(x,y)\phi(x, y) defined in AA can be viewed as a function ϕ(f(u,v),g(u,v))\phi(f(u, v), g(u, v)) defined in BB. Aϕ(x,y)dxdy=Bϕ(f(u,v),g(u,v))(x,y)(u,v)dudv\begin{aligned} \iint_A \phi(x, y)dxdy = \iint_B \phi(f(u, v), g(u, v)) \left \vert \cfrac{\partial (x, y)}{\partial (u, v)} \right \vert dudv \end{aligned}

where (x,y)/(u,v)\left \vert \partial (x, y) / \partial (u, v) \right \vert is the Jacobian determinant mentioned in this note. That is, this Jacobian determinant compensates for the difference caused by the transformation. So, the relationship between AA and BB is that A=JB    B=AJ1A = \vert J \vert B \iff B = A \vert J^{-1} \vert. The inverse of the Jacobian is effective when the arrangement such as x=f(u,v)x = f(u, v) and y=g(u,v)y = g(u, v) seems hard.

Polar Coordinate System

orthof(x,y)dxdy=polarf(r,θ)rdrdθ\begin{aligned} \iint_\text{ortho} f(x, y)dxdy = \iint_\text{polar} f(r, \theta) r drd\theta \end{aligned}

The first to consider is the transformation of the orthogonal coordinate system to the polar coordinate system. The relationship between the two coordinate systems is as follows.

PolarSystem

Note that dsds can be obtained from the Jacobian determinant to compensate for the difference caused by the transformation. ds=dxdy=(x,y)(r,θ)drdθ=(rcosθ)r(rcosθ)θ(rsinθ)r(rsinθ)θdrdθ=cosθrsinθsinθrcosθdrdθ=rdrdθ\begin{aligned} ds = dx dy = \left \vert \cfrac{\partial (x, y)}{\partial (r, \theta)} \right \vert dr d\theta = \left \vert \begin{array}{cc} \frac{\partial (r \cos \theta)}{\partial r} & \frac{\partial (r \cos \theta)}{\partial \theta} \\ \frac{\partial (r \sin \theta)}{\partial r} & \frac{\partial (r \sin \theta)}{\partial \theta} \end{array} \right \vert dr d\theta = \left \vert \begin{array}{cc} \cos \theta & -r \sin \theta \\ \sin \theta & r \cos \theta \end{array} \right \vert dr d\theta = r dr d\theta \end{aligned}

For example, the following double integral can be transformed into the polar coordinate system.

PolarEX

The following two formulae are worth remembering since they are often used in the polar coordinate system.

  • 0ekx2dx=π2k  \displaystyle \int_0^{\infty} e^{-kx^2} dx = \cfrac{\sqrt{\pi}}{2\sqrt{k}} \;,
  • 0ekxxdx=πk  \displaystyle \int_0^{\infty} \cfrac{e^{-kx}}{\sqrt{x}} dx = \cfrac{\sqrt{\pi}}{\sqrt{k}} \;.

Ellipse to Rectangle

This transformation may also make it easy to calculate a double integral.

  • Ellipse to Circle     x=au\implies x = au and y=bvy = bv
  • Circle to Rectangle     u=rcosθ\implies u = r \cos \theta and v=rsinθv = r \sin \theta

Lozenge to Square

When transforming a coordinate system, it is sometimes hard to determine the interval of integration. In this case, the lozenge transformation by the substitution method may be quite useful.

Case 1. x+y=ux + y = u and xy=vx - y = v

This substitution can be arranged as follows. x=u+v2,y=uv2    J=12121212=12\begin{aligned} x = \cfrac{u + v}{2}, \quad y = \cfrac{u - v}{2} \implies \vert J \vert = \left \vert \begin{array}{cc} \frac{1}{2} & \frac{1}{2} \\ \frac{1}{2} & -\frac{1}{2} \end{array} \right \vert = -\cfrac{1}{2} \end{aligned}

The following list shows that a function f(x,y)f(x, y) defined in a region DD transforms into a function f(u,v)f(u, v). When graphing the range of variables, it is better that a few points can be directly put into to figure out where they are transformed. In this case, for example, (0,0)(0,0)(0, 0) \to (0, 0), (1,0)(1,1)(1, 0) \to (1, 1), and (0,1)(1,1)(0, 1) \to (1, -1).

Lozenge1 Df(x,y)dxdy=1111f(u,v)12dvdu\begin{aligned} \iint_D f(x, y)dxdy = \int_{-1}^{1} \int_{-1}^{1} f(u, v) \cfrac{1}{2} dvdu \end{aligned}


Lozenge2 Df(x,y)dxdy=01uuf(u,v)12dvdu\begin{aligned} \iint_D f(x, y)dxdy = \int_{0}^{1} \int_{-u}^{u} f(u, v) \cfrac{1}{2} dvdu \end{aligned}


Lozenge3 Df(x,y)dxdy=12uuf(u,v)12dvdu\begin{aligned} \iint_D f(x, y)dxdy = \int_{1}^{2} \int_{-u}^{u} f(u, v) \cfrac{1}{2} dvdu \end{aligned}


Case 2. 2xy=u2x - y = u and y=vy = v

This substitution can be arranged as follows. x=u+v2,y=v    J=121201=12\begin{aligned} x = \cfrac{u + v}{2}, \quad y = v \implies \vert J \vert = \left \vert \begin{array}{cc} \frac{1}{2} & \frac{1}{2} \\ 0 & 1 \end{array} \right \vert = \cfrac{1}{2} \end{aligned}

Similarly with case 1, a function f(x,y)f(x, y) defined in a region DD transforms into a function f(u,v)f(u, v) as follows.

Lozenge4 Df(x,y)dxdy=0404f(u,v)12dvdu\begin{aligned} \iint_D f(x, y)dxdy = \int_{0}^{4} \int_{0}^{4} f(u, v) \cfrac{1}{2} dvdu \end{aligned}

Application

Calculate 0101xeyx+ydydx\begin{aligned} \int_{0}^{1} \int_{0}^{1-x} e^{\frac{y}{x+y}} dydx \end{aligned}


EX

Let x+y=ux + y = u and xy=vx - y = v. Then, the upper and lower bounds can be obtained to set the interval of integration.

  • When y=1xy=1-x, u=x+y=1u=x+y=1. As such, 0u10 \leq u \leq 1.
  • When x=0x = 0, v=uv = -u.
  • When y=0y = 0, v=uv = u.
0101xeyx+ydydx=1201uueuv2udvdu=01[ueuv2u]uudu=01u(e1)du=e12\begin{aligned} \int_{0}^{1} \int_{0}^{1-x} e^{\frac{y}{x+y}} dydx = \cfrac{1}{2} \int_{0}^{1} \int_{-u}^{u} e^{\frac{u-v}{2u}} dvdu = \int_{0}^{1} \left[ -u e^{\frac{u-v}{2u}} \right]_{-u}^u du = \int_{0}^{1} u(e-1) du = \cfrac{e-1}{2} \end{aligned}

© 2024. All rights reserved.