A parametric curve in R3 is a C1 function r:[a,b]→R3 Written r(t)=(x(t),y(t),z(t)).
Definition. The arc length of r over [a,b] is
L=∫ab∥r"(t)∥dt=∫ab(dtdx)2+(dtdy)2+(dtdz)2dt
Proposition 5.1. The arc length function s(t)=∫at∥r′(τ)∥dτ Satisfies dtds=∥r′(t)∥And reparametrising by arc length gives a Unit-speed curve: ∥dsdr∥=1.
Proof. By the Fundamental Theorem of Calculus, dtds=∥r′(t)∥. If we reparametrise by sI.e., write r(s)=r(t(s))Then by the chain rule dsdr=r′(t)⋅dsdtSo ∥dsdr∥=∥r′(t)∥⋅dsdt=1. ■
Problem. Find the arc length of the curve r(t)=(etcost,etsint,et) for 0≤t≤ln2.
Problem. Find the arc length of the helix r(t)=(cost,sint,t) for 0≤t≤4π.
Solution
r′(t)=(−sint,cost,1)So ∥r′(t)∥=sin2t+cos2t+1=2.
L=∫04π2dt=42π
■
5.2 Curvature and Torsion
Definition. Let r(s) be a unit-speed curve (∥r′(s)∥=1). Define:
Unit tangent vector:T(s)=r′(s)
Curvature:κ(s)=∥T′(s)∥=∥r′′(s)∥
Principal normal:N(s)=∥T′(s)∥T′(s) (when κ=0)
Binormal:B(s)=T(s)×N(s)
Torsion:τ(s)=−B′(s)⋅N(s)
The vectors T, N, B form the Frenet—Serret frame, an orthonormal Basis that moves with the curve.
Theorem 5.2 (Frenet—Serret Formulas).
T′=κN,N′=−κT+τB,B′=−τN
Proof. Since T is a unit vector, T⋅T=1So T′⋅T=0. Therefore T′ is orthogonal to TSo T′ is parallel to N (when κ=0). This gives T′=κN.
Similarly, B=T×N is a unit vector, so B′⋅B=0. Also B⋅T=0So B′⋅T+B⋅T′=0 Giving B′⋅T=−B⋅κN=0. So B′ is Parallel to NGiving B′=−τN.
For N′: since {T,N,B} is an orthonormal basis, N′=(N′⋅T)T+(N′⋅N)N+(N′⋅B)B. From N⋅T=0: N′⋅T=−N⋅T′=−κ. From N⋅N=1: N′⋅N=0. From N⋅B=0: N′⋅B=−N⋅B′=τ. This gives N′=−κT+τB. ■
Intuition. The curvature κ measures how sharply the curve bends (deviation from a straight line). The torsion τ measures how sharply the curve twists out of the osculating plane (deviation from a Plane curve). A curve lies in a plane if and only if τ=0 everywhere.
For a curve parameterised by an arbitrary parameter t (not necessarily unit-speed):
κ=∥r′(t)∥3∥r′(t)×r′′(t)∥
τ=∥r′(t)×r′′(t)∥2[r′(t)×r′′(t)]⋅r′′′(t)
Problem. Find the curvature and torsion of the helix r(t)=(acost,asint,bt) where a,b>0.
For the graph z=f(x,y)The normal is n=1+fx2+fy2(−fx,−fy,1).
5.4 Surface Area
Definition. The area of a parametric surface r:D→R3 is
A(S)=∬D∥ru×rv∥dudv
Derivation. Partition D into small rectangles Dij of area ΔuΔv. The image r(Dij) is approximately a parallelogram spanned by ruΔu and rvΔvWith area ∥ru×rv∥ΔuΔv. Summing and taking the limit gives the formula. ■
Problem. Find the surface area of the part of the paraboloid z=x2+y2 that lies below The plane z=4.
Solution
Parametrise by r(x,y)=(x,y,x2+y2) where x2+y2≤4.
rx=(1,0,2x), ry=(0,1,2y).
rx×ry=i10j01k2x2y=(−2x,−2y,1)
∥rx×ry∥=4x2+4y2+1
A=∬x2+y2≤44x2+4y2+1dxdy
Use polar coordinates: x=rcosθ, y=rsinθ, 0≤r≤2, 0≤θ≤2π.
A=∫02π∫024r2+1rdrdθ
Let u=4r2+1, du=8rdr:
=2π⋅81∫117udu=4π[32u3/2]117=6π(173/2−1)
■
5.5 Surface Integrals
Definition (Scalar surface integral). The integral of a scalar function f over a parametric Surface S is
∬SfdS=∬Df(r(u,v))∥ru×rv∥dudv
Definition (Vector surface integral / flux). The flux of a vector field F through an Oriented surface S is
∬SF⋅dS=∬DF(r(u,v))⋅(ru×rv)dudv
Where the orientation is determined by the choice of normal ru×rv vs. rv×ru.
Problem. Evaluate ∬SF⋅dS where F=(x,y,z2) and S is the hemisphere x2+y2+z2=4, z≥0With Upward orientation.
Solution
Use the divergence theorem on the closed hemisphere plus the disk at z=0. Let E be the solid hemisphere. Then:
∬closedSF⋅dS=∭E∇⋅FdV=∭E(1+1+2z)dV
=2V+2∭EzdV
Where V=21⋅34π(23)=316π.
By symmetry, the centroid of a hemisphere of radius R=2 is at z=3R/8=3/4So
∭EzdV=zˉ⋅V=43⋅316π=4π
=2⋅316π+2⋅4π=332π+8π=356π
The flux through the disk z=0, x2+y2≤4 (with downward normal −k): ∬diskF⋅(−k)dS=∬disk0dS=0.
So the flux through the hemisphere alone is 356π. ■
Problem. Evaluate ∬SzdS where S is the part of the plane 2x+2y+z=4 in the First octant.
Solution
Parametrise the surface. Solve for z=4−2x−2y where x≥0, y≥0, z≥0 I.e., 2x+2y≤4 or x+y≤2.
Parameterisation domain. Always verify that the parameterisation covers the entire surface and that the map is one-to-one (except possibly on the boundary).
Normal orientation. The cross product ru×rv determines the orientation. Swapping the order changes the sign of the flux integral.
Surface area vs. Flux. Surface area uses ∥ru×rv∥ (scalar), while flux uses ru×rv (vector, oriented).