Part 21 - Summary

Limits

Let’s compare limits in one variable to several.

limxaf(x)=L\lim_{x \to a} f(x) = L lim(x,y)(a,b)f(x)=L\lim_{(x, y) \to (a, b)} f(x) = L

They work quite similiar, let’s see the limit laws:

lim(x,y)(a,b)f(x,y)±h(x,y)=L+M\lim_{(x, y) \to (a, b)} f(x, y) \pm h(x, y) = L + M
lim(x,y)(a,b)f(x,y)h(x,y)=LM\lim_{(x, y) \to (a, b)} f(x, y) \cdot h(x, y) = L \cdot M
lim(x,y)(a,b)f(x,y)h(x,y=LM,M0\lim_{(x, y) \to (a, b)} \dfrac{f(x, y)}{h(x, y} = \dfrac{L}{M} , M \neq 0

Partial derivate

Recall (Partial derivative)

The partial derivate of a function of two variables with respect to x, denoted by fxf_x, is the function of two variables given by:

fx(x,y)=limh0f(x+h,y)f(x,y)hf_x(x, y) = \lim_{h \to 0} \dfrac{f(x + h, y) - f(x, y)}{h}

Similarly for yy:

fy(x,y)=limh0f(x,y+h)f(x,y)hf_y(x, y) = \lim_{h \to 0} \dfrac{f(x, y + h) - f(x, y)}{h}

Chain rule

Recall (Chain rule)

Suppose z=f(x,y)z = f(x, y) is differentiable function of x,yx, y. Where x=g(t)x = g(t) and y=h(t)y = h(t). Which both are differentiable functions of tt. Then:

dzdt=zxdxdt+zydydt\boxed{\dfrac{dz}{dt} = \dfrac{\partial z}{\partial x} \dfrac{dx}{dt} + \dfrac{\partial z}{\partial y} \dfrac{dy}{dt}}

General chain rule

Recall (General chain rule)

Let zz be a differentiable function of nn variables, x1,,xnx_1, \ldots, x_n, where each xix_i is differentiable function of mm variables, t1,,tmt_1, \ldots, t_m.

Then:

zti=zx1x1ti+zx2x2ti++zxnxnti\dfrac{\partial z}{\partial t_i} = \dfrac{\partial z}{\partial x_1} \dfrac{\partial x_1}{\partial t_i} + \dfrac{\partial z}{\partial x_2} \dfrac{\partial x_2}{\partial t_i} + \ldots + \dfrac{\partial z}{\partial x_n} \dfrac{\partial x_n}{\partial t_i}

Implicit differentiation

Recall (Implicit differentiation)

Suppose a function y=y(x)y = y(x) is given implicitly by equation of the form F(x,y)=0F(x, y) = 0 where FF is a differentiable function of two variables and Fy0F_y \neq 0. Then:

dydx=FxFy\boxed{\dfrac{dy}{dx} = -\dfrac{F_x}{F_y}}

Implicit differentiation of several variables

Recall (Implicit differentiation of several variables)

Let z(x,y)z(x, y) be given implicitly, by equation of form F(x,y,z)=0F(x, y, z) = 0 where FF is differentiable and Fz0F_z \neq 0, then:

zx=FxFzzy=FyFz\dfrac{\partial z}{\partial x} = -\dfrac{F_x}{F_z} \newline \dfrac{\partial z}{\partial y} = -\dfrac{F_y}{F_z} \newline

Definition of directional derivatives

The directional derivative of a function, ff, of two variables, at point (x0,y0)(x_0, y_0) in the direction of a unit vector, u\vec{u}.

ua,b\vec{u} \langle a, b \rangle

We denoted the directional derivative with a DufD_{\vec{u}} f.

Duf(x0,y0)=limh0f(x0+ha,y0+hb)f(x0,y0)hD_{\vec{u}} f(x_0, y_0) = \lim_{h \to 0} \dfrac{f(x_0 + ha, y_0 + hb) - f(x_0, y_0)}{h}

Definition of gradient

The gradient of, ff, is the vector-function:

f=fx,fy\nabla f = \langle f_x, f_y \rangle

Therefore, we usually write:

Duf=fu\boxed{D_{\vec{u}} f = \nabla f \cdot \vec{u}}

Maximum rate of change

If we ask ourselves the question, in what direction is Duf(x0,y0)D_{\vec{u}} f(x_0, y_0) the largest?

If we look at the definition:

Duf(x0,y0)=f(x0,y0)uD_{\vec{u}} f(x_0, y_0) = \nabla f(x_0, y_0) \cdot \vec{u}

If we use the geometrical definition:

Duf(x0,y0)=f(x0,y0)ucos(α)D_{\vec{u}} f(x_0, y_0) = |\nabla f(x_0, y_0)| |\vec{u}| cos(\alpha)

Gradient and level curves

Recall that level curves are curves with the equation:

f(x,y)=kf(x, y) = k

Where kk is just any constant. For each point (x0,y0)(x_0, y_0), f(x0,y0)\nabla f(x_0, y_0) is orthogonal to the level curve that contains (x0,y0)(x_0, y_0)

Critical points

(a,b)(a, b) is a critical point if f(a,b)=0 or f(a,b) \nabla f(a, b) = 0 \textbf{ or } \nabla f(a, b) \ \nexists

In other words, if (a,b)(a, b) is a critical point of local minimum/maximum then it is a critical point.

However, the other way around this implication is not true. A critical point might not be a local minimum/maxium.

2nd derivate test for functions of two variables

Suppose (a,b)(a, b) is a critical point of a function, ff, of two variables. Suppose 2nd order partial derivatives exists and are continous.

Let D=D(a,b)=fxx(a,b)fyy(a,b)(fxy(a,b))2D = D(a, b) = f_{xx}(a, b) f_{yy}(a,b) - \left(f_{xy} (a,b)\right)^2

Then:

D>0 and fxx(a,b)>0  local minimumD>0 and fxx(a,b)<0  local maximumD<0  neither, this is a saddle pointD > 0 \text{ and } f_{xx}(a, b) > 0 \ | \ \text{local minimum} \newline D > 0 \text{ and } f_{xx}(a, b) < 0 \ | \ \text{local maximum} \newline D < 0 \ | \ \text{neither, this is a saddle point} \newline

Lagrange multiplier method

Recall (Lagrange multiplier method)

To find minimum/maximum values of function, ff, subject to constraint, g(x,y)=kg(x, y) = k, assuming minimum/maximum points exists and g0\nabla g \neq 0

  1. Find all numbers x,yx, y and λ\lambda, such that:
f(x,y)=λg(x,y)=k\nabla f(x, y) = \lambda \nabla g(x, y) = k
  1. Compute values from step 1, choose the minimum/maximum value(s).

Type I region definition

If DD is of type I, then:

Df(x,y) dA=abg1(x)g2(x)f(x,y) dy dx\iint_D f(x, y)\ dA = \int_a^b \int_{g_1(x)}^{g_2(x)} f(x, y)\ dy\ dx

Type II region definition

If DD is of type II, then:

Df(x,y) dA=cdh1(y)h2(y)f(x,y) dx dy\iint_D f(x, y)\ dA = \int_c^d \int_{h_1(y)}^{h_2(y)} f(x, y)\ dx\ dy

General case of variable change

Df(x,y) dA\iint_D f(x, y)\ dA

We want to rewrite this in terms of uu and vv. Let’s say that:

x=g(u,v)y=h(u,v)x = g(u, v) \newline y = h(u, v)

We can say that we have a transformation, TT, from the uvuv-plane to the xyxy-plane, given by our functions gg and hh.

We need to make some assumptions of TT to make our lives easier.

  1. TT is a C1C^1-transformation, meaning that gg and hh have continuous partial derivatives.

  2. TT is an injective transformation (meaning it is 1-to-1). This means that we can express uu and vv in terms of xx and yy.

The jacobian matrix of a transformation, TT, is:

(x,y)(u,v)=det[xuxvyuyv]\dfrac{\partial(x, y)}{\partial(u, v)} = det \begin{bmatrix} \dfrac{\partial x}{\partial u} & \dfrac{\partial x}{\partial v} \newline \dfrac{\partial y}{\partial u} & \dfrac{\partial y}{\partial v} \end{bmatrix}

Suppose TT is a transformation, from the uvuv-plane to the xyxy-plane. Assuming that the jacobian for TT, is non-zero, then:

Df(x,y) dA=Sf(x(u,v),y(u,v))(x,y)(u,v) dA\iint_D f(x, y)\ dA = \iint_S f(x(u, v), y(u, v)) \vert \tfrac{\partial(x, y)}{\partial(u, v)} \vert \ dA

In three variables

Let x=x(u,v,w),y=y(u,v,w),z=z(u,v,w)x = x(u, v, w), y = y(u, v, w), z = z(u, v, w)

The jacobian is:

(x,y,z)(u,v,w)=det[xuxvxwyuyvywzuzvzw]\dfrac{\partial(x, y, z)}{\partial(u, v, w)} = det \begin{bmatrix} \dfrac{\partial x}{\partial u} & \dfrac{\partial x}{\partial v} & \dfrac{\partial x}{\partial w} \newline \dfrac{\partial y}{\partial u} & \dfrac{\partial y}{\partial v} & \dfrac{\partial y}{\partial w} \newline \dfrac{\partial z}{\partial u} & \dfrac{\partial z}{\partial v} & \dfrac{\partial z}{\partial w} \end{bmatrix}

Just as we did before:

Ef(x,y,z) dV=Sf(x(u,v,w),y(u,v,w),z(u,v,w))(x,y,z)(u,v,w) dV\iiint_E f(x, y, z)\ dV = \iiint_S f(x(u, v, w), y(u, v, w), z(u, v, w)) \vert \tfrac{\partial(x, y, z)}{\partial(u, v, w)} \vert \ dV

Polar coordinates

Sg(r,θ) dA=Sf(rcos(θ),rsin(θ))r dA\iint_S g(r, \theta)\ dA = \iint_S f(r cos(\theta), r sin(\theta)) \cdot r\ dA

It makes sense to change to polar coordinates if we have a circle/circle like shape.

Cylindrical coordinates

Ef(x,y,z) dV=Sf(rcos(θ),rsin(θ),z)r dV\iiint_E f(x, y, z)\ dV = \iiint_S f(r cos(\theta), r sin(\theta), z) \cdot r \ dV

It makes sense to change to cylindrical coordinates when we have symmetry around one axis.

Spherical coordinates

Ef(x,y,z) dV=Sf(ρsin(φ)cos(θ),ρsin(φ)sin(θ),ρcos(φ))ρ2sin(φ) dV\iiint_E f(x, y, z)\ dV = \iiint_S f(\rho sin(\varphi) cos(\theta), \rho sin(\varphi) sin(\theta), \rho cos(\varphi)) \cdot \rho^2 sin(\varphi) \ dV

It makes sense to change to spherical coordinates when our solid is bounded by spheres and/or cones.

Computing mass of solid

Let EE be an arbitrary solid, with a density function, ρ(x,y,z)\rho(x, y, z)

We say that the mass of the solid is:

Eρ(x,y,z) dV\iiint_E \rho(x, y, z)\ dV

Center of Mass

One very important application is finding the center of mass of a solid.

Given a physical system with mim_i points, the center of mass has the coordinates, (x0,y0,z0)(x_0, y_0, z_0).

Therefore:

x0=miximix_0 = \dfrac{\sum m_i x_i}{\sum m_i} y0=miyimiy_0 = \dfrac{\sum m_i y_i}{\sum m_i} z0=mizimiz_0 = \dfrac{\sum m_i z_i}{\sum m_i}

For an arbitrary solid, it’s almost sum same:

x0=Eρ(x,y,z)x dVEρ(x,y,z) dVx_0 = \dfrac{\iiint_E \rho(x, y, z) \cdot x\ dV}{\iiint_E \rho(x, y, z)\ dV} y0=Eρ(x,y,z)y dVEρ(x,y,z) dVy_0 = \dfrac{\iiint_E \rho(x, y, z) \cdot y\ dV}{\iiint_E \rho(x, y, z)\ dV} z0=Eρ(x,y,z)z dVEρ(x,y,z) dVz_0 = \dfrac{\iiint_E \rho(x, y, z) \cdot z\ dV}{\iiint_E \rho(x, y, z)\ dV}

Parameterization over line

Given a line that passes through the point (x0,y0,z0)(x_0, y_0, z_0), with a direction of the vector, v=a,b,c\vec{v} = \langle a, b, c \rangle.

If we want to parameterize this line, we can choose another point that this vector passes through as:

r(t)=r(t0)+tv\vec{r}(t) = \vec{r}(t_0) + t\vec{v} (x(t),y(t),z(t))=(x0,y0,z0)+t(a,b,c)(x(t), y(t), z(t)) = (x_0, y_0, z_0) + t(a, b, c)

This means that:

x(t)=x0+tax(t) = x_0 + ta y(t)=y0+tby(t) = y_0 + tb z(t)=z0+tcz(t) = z_0 + tc

Line integral

A curve, CC, parameterized as r(t)=x(t),y(t)\vec{r}(t) = \langle x(t), y(t) \rangle, for an interval t[a,b]t \in [a, b] and a continuous function, f:CRf: C \rarr \mathbb{R}.

Assuming x(t)x(t) and y(t)y(t) are differentiable.

Cf(x,y)ds=abf(x(t),y(t))x(t)2+y(t)2 dt\int_C f(x, y) ds = \int_a^b f(x(t), y(t)) \sqrt{x^\prime(t)^2 + y^\prime(t)^2}\ dt

Non-differentiable lines

There may be some cases where the parameterization isn’t differentiable.

Imagine we have a simple rectangular form. The four corners of the rectnagle will not be differentiable.

What we can do is divide CC into nn subcurves.

C=C1C2CnC = C_1 \cup C_2 \cup \ldots \cup C_n Cf(x,y)ds=j=1nCjf(x,y)ds\int_C f(x, y) ds = \sum_{j = 1}^{n} \int_{C_j} f(x, y) ds

Line integrals with respect to x or y

So far we have integrated with respect to the arc length. But we can integrate with respect to x or y.

Cf(x,y) dx or Cf(x,y) dy\int_C f(x, y)\ dx \text{ or } \int_C f(x, y)\ dy Cf(x,y) dx=abf(x(t),y(t))x(t) dt\int_C f(x, y)\ dx = \int_a^b f(x(t), y(t)) x^\prime(t)\ dt Cf(x,y) dy=abf(x(t),y(t))y(t) dt\int_C f(x, y)\ dy = \int_a^b f(x(t), y(t)) y^\prime(t)\ dt

Line integrals with three variables

There is no difference in two or three variables:

CR3f:CR3r(t)=x(t),y(t),z(t)  atbC \in \mathbb{R}^3 \newline f: C \rarr \mathbb{R}^3 \newline \vec{r}(t) = \langle x(t), y(t), z(t) \rangle \ | \ a \leq t \leq b Cf(x,y,z) ds=abf(x(t),y(t),z(t))x(t)2+y(t)2+z(t)2 dt\int_C f(x, y, z)\ ds = \int_a^b f(x(t), y(t), z(t)) \sqrt{x^\prime(t)^2 + y^\prime(t)^2 + z^\prime(t)^2}\ dt

Vector field

A vector field is a function, FF:

F:DR2R2  2DF:DR3R3  3DF: D \subset \mathbb{R}^2 \rarr \mathbb{R}^2 \ | \ \text{2D} \newline F: D \subset \mathbb{R}^3 \rarr \mathbb{R}^3 \ | \ \text{3D}

Gradient field

By this definiton, we can say that.

Let f:DR2Rf: D \subset \mathbb{R}^2 \rarr \mathbb{R} be a differentiable function. The gradient is f(x,y)=fx(x,y),fy(x,y)\nabla f(x, y) = \langle f_x(x, y), f_y(x, y) \rangle.

The gradient is therefore a vector field!

f:DR2\nabla f: D \rarr \mathbb{R}^2

Conservative vector field

A vector field, FF, is called conservative, if there is a function, ff, for which f=F\nabla f = F.

In this case, ff, is called a potential for FF.

Line integrals with vector fields

If CC is parameterized as r(t)=x(t),y(t),z(t)\vec{r}(t) = \langle x(t), y(t), z(t) \rangle in the interval, atba \leq t \leq b. Then:

CFdr=abF(x(t),y(t),z(t))r(t) dt\int_C F \cdot dr = \int_a^b F(x(t), y(t), z(t)) \cdot \vec{r^\prime}(t)\ dt

Conservative vector field

Let DR2D \subset \mathbb{R}^2 be open (every point in DD has a small disc around it, which contains DD), connected (consists of one single “piece”).

Let F:DR2F: D \rarr \mathbb{R}^2 be a vector field. Then FF is conservative (there exists a ff such that f=F\nabla f = F), if and only if:

CFdr=0  for every closed curve CD\int_C F \cdot dr = 0 \ | \ \text{for every closed curve } C \subset D

NB: This only applies for R2\mathbb{R}^2.

Suppose F(x,y)=P(x,y)i+Q(x,y)jF(x, y) = P(x, y) \vec{i} + Q(x, y) \vec{j} is a conservative field. Then:

Py=Qx\dfrac{\partial P}{\partial y} = \dfrac{\partial Q}{\partial x}

Green’s Theorem

Let CC be a simple, closed curve oriented positively. Let DD be the region it surrounds and let P,Q:DRP, Q: D \rarr \mathbb{R}.

CP dx+Q dy=DQxPy dx dy\int_C P\ dx + Q\ dy = \iint_D \dfrac{\partial Q}{\partial x} - \dfrac{\partial P}{\partial y}\ dx\ dy

Equivalently:

DP dx+Q dy=DQxPy dx dy\int_{\partial D} P\ dx + Q\ dy = \iint_D \dfrac{\partial Q}{\partial x} - \dfrac{\partial P}{\partial y}\ dx\ dy

Parameteric surface

A parametric surface is a region, SR3S \subset \mathbb{R}^3, which is the image of a function, r:DR3r: D \rarr \mathbb{R}^3, defined on a region DR2D \subset \mathbb{R}^2 of the plane.

Which means we can parameterize:

r(u,v)=x(u,v),y(u,v),z(u,v)\vec{r}(u, v) = \langle x(u, v), y(u, v), z(u, v) \rangle

Tangent planes to surfaces.

Suppose SS is a parametric surface with parameterization r:DR2R3r: D \subset \mathbb{R}^2 \rarr \mathbb{R}^3.

r(u,v)=x(u,v)i+y(u,v)j+z(u,v)k\vec{r}(u, v) = x(u, v) \vec{i} + y(u, v) \vec{j} + z(u, v) \vec{k}

We define ru(u,v)\vec{r_u}(u, v) as:

ru=xu(u,v)i+yu(u,v)j+zu(u,v)k\vec{r_u} = x_u(u, v) \vec{i} + y_u(u, v) \vec{j} + z_u(u, v) \vec{k}

And for the partial derivate of vv:

rv=xv(u,v)i+yv(u,v)j+zv(u,v)k\vec{r_v} = x_v(u, v) \vec{i} + y_v(u, v) \vec{j} + z_v(u, v) \vec{k}

The tangent plane, π\pi, to SS, at the point r(u0,v0)r(u_0, v_0) is the plane that contains ru(u0,v0)r_u(u_0, v_0) and rv(u0,v0)r_v(u_0, v_0).

Equivalently, it is the plane perpendicular to the cross product of ru(u0,v0)r_u(u_0, v_0) and rv(u0,v0r_v(u_0, v_0, which goes through r(u0,v0)r(u_0, v_0).

Surface area

Let r:DR3r: D \rarr \mathbb{R}^3 be a parameterization for a surface, SS.

Area(s)=Dru×rv dx dy\text{Area}(s) = \iint_D | \vec{r_u} \times \vec{r_v} |\ dx\ dy

Surface integrals

Let r:DR3r: D \rarr \mathbb{R}^3 be a parameterization of a surface, SS.

Let f:SRf: S \rarr \mathbb{R} be a function, then:

Sf(x,y,z) dS=Df(r(u,v)) ru×rv du dv\iint_S f(x, y, z)\ dS = \iint_D f(\vec{r}(u, v))\ | \vec{r_u} \times \vec{r_v} |\ du\ dv

Surface integrals over vector fields

Let SS be a parametric surface, parameterized by, r:DR2\vec{r}: D \rarr \mathbb{R}^2 and F:R3R3F: \mathbb{R}^3 \rarr \mathbb{R}^3, be a vector field. Then:

SFdS=DF(r(u,v))ru×rv du dv\iint_S \vec{F} \cdot dS = \iint_D \vec{F}(\vec{r}(u, v)) \cdot \vec{r_u} \times \vec{r_v}\ du\ dv

We call this the flux of F\vec{F} through SS.

The Divergence Theorem

For a vector field, F:R3R3\vec{F}: \mathbb{R}^3 \rarr \mathbb{R}^3, the divergence is:

div F=Px+Qy+Rzdiv\ \vec{F} = \dfrac{\partial P}{\partial x} + \dfrac{\partial Q}{\partial y} + \dfrac{\partial R}{\partial z}

Let SS be a hollow surface and let EE be the 3-dimensional region it surrounds (E=S\partial E = S).

Then:

SFdS=Ediv F dV\iint_S \vec{F} \cdot dS = \iiint_E div\ \vec{F}\ dV

Equivalently:

EFdS=Ediv F dV\iint_{\partial E} \vec{F} \cdot dS = \iiint_E div\ \vec{F}\ dV

Stokes Theorem

So far we have seen Green’s Theorem as well as The Divergence theorem. But what is the reason that Green’s Theorem only works in R3\mathbb{R}^3?

Well, Stokes Theorem is essentially Green’s Theorem but in R3\mathbb{R}^3.

For F:R3R3\vec{F}: \mathbb{R}^3 \rarr \mathbb{R}^3, we define its curl as:

NB: it is also called rot and sometimes denoted as ×F\nabla \times \vec{F}.

curl F=RyQz,PzRx,QxPycurl\ \vec{F} = \langle \dfrac{\partial R}{\partial y} - \dfrac{\partial Q}{\partial z}, \dfrac{\partial P}{\partial z} - \dfrac{\partial R}{\partial x}, \dfrac{\partial Q}{\partial x} - \dfrac{\partial P}{\partial y} \rangle

If SR3S \subset \mathbb{R}^3 is a surface, surrounded by a simple, closed curve in R3\mathbb{R}^3. Then:

CFdr=Scurl F dS\int_C \vec{F} \cdot dr = \iint_S curl\ F\ dS