calculus 3: summary and formulas
TRANSCRIPT
Calculus 3 Summary and Formulas
One of the fundamental areas covered in Calculus 3 is performing calculus based operations on objects called vectors. Vectors are used to represent quantities that have both a direction and magnitude. They play a very important role in virtually all aspects of science and engineering. Therefore, our first series of lessons were used to develop the basic properties of vectors.
Basic Vector Definitions
A vector is used to express a quantity with both a magnitude and direction. A vector, ๐, is determined by a basepoint ๐ and a terminal point ๐ as follows
๐ = ๐๐โโโโ โ = โจ (๐๐ฅ โ ๐๐ฅ), ( ๐๐ฆ โ ๐๐ฆ), ( ๐๐ง โ ๐๐ง) โฉ = โจ ๐ฃ๐ฅ, ๐ฃ๐ฆ , ๐ฃ๐งโฉ
Where, ๐ฃ๐ฅ, ๐ฃ๐ฆ are called the components of the vector.
The magnitude, i.e. length, of a vector, ๐, is referred to as the norm and is given by
โ๐โ = โ๐ฃ๐ฅ2 + ๐ฃ๐ฆ
2
A unit-vector is a vector that has a magnitude of one and can be expressed as follows:
๏ฟฝฬ๏ฟฝ = โจcos ๐ , sin(๐)โฉ Furthermore, any vector, ๐, can be scaled to be a unit vector as follows:
๏ฟฝฬ๏ฟฝ =1
โ๐โ๐
Vector Operations Using Components
If ๐ = โจ๐๐ฅ, ๐๐ฆโฉ and b= โจ๐๐ฅ , ๐๐ฆโฉ then:
i. Addition ๐ + ๐ = โจ๐๐ฅ + ๐๐ฅ, ๐๐ฆ + ๐๐ฆโฉ
ii. Subtraction ๐ โ ๐ = โจ๐๐ฅ โ ๐๐ฅ, ๐๐ฆ โ ๐๐ฆโฉ
iii. Scalar Multiplication ๐๐ = โจ๐๐๐ฅ, ๐๐๐ฆ โฉ
iv. Addition Identity ๐ + ๐ = ๐ + ๐ = ๐
**Note: The operations are shown in 2 dimensions but apply equally in 3 dimensions. Basic Properties of Vector Algebra
For all vectors ๐, ๐, ๐ and for all scalars, ๐
i. Commutative Law ๐ + ๐ = ๐ + ๐
ii. Associative Law ๐ + (๐ + ๐) = (๐ + ๐) + ๐
iii. Distributive law for Scalars ๐(๐ + ๐) = ๐๐ + ๐๐
Standard Basis Vectors for Rectangular Coordinate System in 3-Dimensions
๐ = โจ1, 0, 0โฉ
๐ = โจ0, 1, 0โฉ
๐ = โจ0, 0, 1โฉ y
x
z
i
jk
All vectors in can be written as a linear combination of the basic vectors.
๐ = โจ๐, ๐, ๐โฉ = ๐๐ + ๐๐ + ๐๐
Triangle Inequality
For any two vectors ๐ and ๐.
โ๐ + ๐โ โค โ๐โ + โ๐โ The equality holds when ๐ = ๐ or ๐ = ๐, or if ๐ = ๐๐, where ๐ > 0.
The Dot Product
Given two vectors, ๐ and ๐, as well as the angle, ๐, between the two vectors. The dot product can be equivalently be defined in the following two ways:
๐ โ ๐ = โ๐โโ๐โ ๐๐๐ (๐)
๐ โ ๐ = (๐๐ฅ๐๐ฅ + ๐๐ฆ๐๐ฆ + ๐๐ง๐๐ง)
Furthermore, if the angle is unknown it may be found as follows:
๐ = cosโ1 (๐ โ ๐
โ๐โโ๐โ) = cosโ1 (
๐๐ฅ๐๐ฅ + ๐๐ฆ๐๐ฆ + ๐๐ง๐๐ง
โ๐โโ๐โ)
The angle between two vectors is chosen to satisfy 0 โค ๐ โค ๐
Properties of the Dot Product
1. Commutative Property: ๐ โ ๐ = ๐ โ ๐
2. Zero Property: ๐ โ 0 = ๐
3. Scalar Multiplication Property: ๐(๐ โ ๐) = (๐๐) โ ๐ = ๐ โ (๐๐)
4. Distributive Property: ๐ โ (๐ + ๐) = ๐ โ ๐ + ๐ โ ๐
5. Relation to Length: ๐ โ ๐ = โ๐โ๐
Geometric Properties of The Dot Product
๐ โ ๐ > ๐
a
bฮธ
The angle between the two
vectors is acute, i.e. 0ยฐ โค ๐ <
90ยฐ
๐ โ ๐ < ๐
a
b
ฮธ
The angle between the two
vectors is obtuse, i.e. 90ยฐ <
๐ โค 180ยฐ
๐ โ ๐ = ๐
a
b
The angle between the two
vectors is 90ยฐ. Note: We use the word orthogonal to refer to vectors
that form a ๐๐ยฐ angle.
Projection Vector
The projection of a vector ๐ onto the vector ๐ is the vector, ๐||๐ given by
๐||๐ = (๐ โ ๐
๐ โ ๐)๐ = (
๐ โ ๐
โ๐โ2)๐ = (
๐ โ ๐
โ๐โ) ๏ฟฝฬ๏ฟฝ
The scalar, (๐โ๐
โ๐โ) = โ๐โ ๐๐๐ (๐), is called the component of ๐ along ๐.
ba
a||b
Vector Decomposition
Any vector, ๐ can be decomposed into two orthogonal component vectors with respect to another vector, ๐ as:
๐ = ๐โฅ๐ + ๐โฅ๐ Where the parallel projection is given above, and the perpendicular projection is found as:
๐โฅ๐ = ๐ โ ๐โฅ๐
The Cross Product
The cross product of two vectors, ๐ = โจ๐๐ฅ, ๐๐ฆ, ๐๐งโฉ and ๐ = โจ๐๐ฅ, ๐๐ฆ, ๐๐งโฉ is a new vector ๐,
given as
๐ = ๐ ร ๐ = |
๏ฟฝฬ๏ฟฝ ๐ฬ ๏ฟฝฬ๏ฟฝ๐๐ฅ ๐๐ฆ ๐๐ง
๐๐ฅ ๐๐ฆ ๐๐ง
| = ๏ฟฝฬ๏ฟฝ |๐๐ฆ ๐๐ง
๐๐ฆ ๐๐ง| โ ๐ฬ |
๐๐ฅ ๐๐ง
๐๐ฅ ๐๐ง| + ๏ฟฝฬ๏ฟฝ |
๐๐ฅ ๐๐ฆ
๐๐ฅ ๐๐ฆ|
= (๐๐ฆ๐๐ง โ ๐๐ฆ๐๐ง)๏ฟฝฬ๏ฟฝ โ (๐๐ฅ๐๐ง โ ๐๐ฅ๐๐ง)๏ฟฝฬ๏ฟฝ + (๐๐ฅ๐๐ฆ โ ๐๐ฅ๐๐ฆ)๏ฟฝฬ๏ฟฝ
Geometric Interpretation of the Cross Product
Given two vectors, ๐ and ๐, the cross product, ๐ ร ๐ is a unique vector with the following properties.
i. ๐ ร ๐ is orthogonal to ๐ and ๐.
ii. The length of ๐ ร ๐ is โ๐โโ๐โ sin(๐), where ๐ is the angle between ๐ and ๐ and is chosen to satisfy 0 โค ๐ โค ๐.
The Right-Hand Rule
The right-hand rule can be stated as: The vector, ๐ ร ๐, is orthogonal to a plane that is parallel to ๐ and ๐. Furthermore, when the fingers of your right hand curl from ๐ to ๐, your thumb points to the side of the plane for which the resulting vector points.
Properties of the Cross Product
i. ๐ ร ๐ = โ๐ ร ๐
ii. ๐ ร ๐ = ๐
iii. ๐ ร ๐ = ๐ is and only if ๐ = ๐๐ for some scalar ๐ or ๐ = ๐
iv. ๐(๐ ร ๐) = (๐๐) ร ๐ = ๐ ร (๐๐)
v. ๐ ร (๐ + ๐) = (๐ ร ๐) + (๐ ร ๐), (๐ + ๐) ร ๐ = (๐ ร ๐) + (๐ ร ๐)
Properties of the Cross Product
vi. ๐ ร ๐ = โ๐ ร ๐
vii. ๐ ร ๐ = ๐
viii. ๐ ร ๐ = ๐ is and only if ๐ = ๐๐ for some scalar ๐ or ๐ = ๐
ix. ๐(๐ ร ๐) = (๐๐) ร ๐ = ๐ ร (๐๐)
x. ๐ ร (๐ + ๐) = (๐ ร ๐) + (๐ ร ๐), (๐ + ๐) ร ๐ = (๐ ร ๐) + (๐ ร ๐)
Cross Product of The Standard Basis Vectors
๏ฟฝฬ๏ฟฝ ร ๐ฬ = ๏ฟฝฬ๏ฟฝ ๐ฬ ร ๏ฟฝฬ๏ฟฝ = ๏ฟฝฬ๏ฟฝ ๏ฟฝฬ๏ฟฝ ร ๏ฟฝฬ๏ฟฝ = ๐ฬ
๐ฬ ร ๏ฟฝฬ๏ฟฝ = โ๏ฟฝฬ๏ฟฝ ๏ฟฝฬ๏ฟฝ ร ๐ฬ = โ๏ฟฝฬ๏ฟฝ ๏ฟฝฬ๏ฟฝ ร ๏ฟฝฬ๏ฟฝ = โ๐ฬ
๏ฟฝฬ๏ฟฝ ร ๏ฟฝฬ๏ฟฝ = ๐ ๐ฬ ร ๐ฬ = ๐ ๏ฟฝฬ๏ฟฝ ร ๏ฟฝฬ๏ฟฝ = ๐
Area and Cross Product
If ๐ซ is the parallelogram formed by the vectors ๐ and ๐, then the area, ๐ด๐ซ, can be found as ๐ด๐ซ = โ๐ ร ๐โ
Volume and Cross Product
If ๐ซ is the parallelepiped formed by the vectors ๐, ๐ and ๐, then the volume, ๐๐ซ, can be found as
๐๐ซ = |(๐) โ (๐ ร ๐)| Where, (๐) โ (๐ ร ๐) is referred to as the vector triple product and can be represented as
(๐) โ (๐ ร ๐) = |
๐๐ฅ ๐๐ฆ ๐๐ง
๐๐ฅ ๐๐ฆ ๐๐ง
๐๐ฅ ๐๐ฆ ๐๐ง
| = ๐ ๐๐ (๐๐๐)
Equation of a Line in ๐น๐ (Point-Direction Form)
The line โ through the point (๐ฅ0, ๐ฆ0, ๐ง0) in the directions of ๐ = โจ๐, ๐, ๐โฉ can be described in the following ways: Vector Parameterization:
๐(๐ก) = ๐๐ + ๐ก๐ = โจ๐ฅ0, ๐ฆ0, ๐ง0โฉ + ๐กโจ๐, ๐, ๐โฉ Parametric Equations:
๐ฅ(๐ก) = ๐ฅ0 + ๐๐ก ๐ฆ(๐ก) = ๐ฆ0 + ๐๐ก ๐ง(๐ก) = ๐ง + ๐๐ก
Where (โโ < ๐ก < โ)
Parallel, Perpendicular, and Intersecting Lines
Two lines are parallel when the cross product of their direction vectors is zero. ๐๐ ร ๐๐ = ๐
Two lines are perpendicular when the dot product of their direction vectors is zero.
๐๐ โ ๐๐ = 0 The point of intersection between two lines can be found by setting the equations of the lines equal to one another for different values of the parameter ๐ก.
๐๐(๐ก1) = ๐๐(๐ก2) If an intersection point does not exist and the lines are not parallel, we refer to them as skewed.
Equation of a Plane in ๐น๐ (Point-Normal Form)
The plane ๐ซ through the point (๐ฅ0, ๐ฆ0, ๐ง0) with a normal vector ๐ = โจ๐, ๐, ๐โฉ can be described in the following ways: Vector Form:
๐ โ โจ๐ฅ, ๐ฆ, ๐งโฉ = ๐ Scalar Form:
๐(๐ฅ โ ๐ฅ0) + ๐(๐ฆ โ ๐ฆ0) + ๐( ๐ง โ ๐ง0) = 0
๐๐ฅ + ๐๐ฆ + ๐๐ง = ๐
Where, ๐ = ๐๐ฅ0 + ๐๐ฆ0 + ๐๐ง0
Parallel and Intersecting Planes
Two planes are parallel when the cross product of their normal vectors is zero. ๐๐ ร ๐๐ = ๐
Two planes are perpendicular when the dot product of their normal vectors is zero.
๐๐ โ ๐๐ = 0 When two planes are not parallel, they intersect along a line, Line of Intersection (LOS). The direction vector of the LOS is given as
๐ = ๐๐ ร ๐๐
Parallel and Perpendicular Lines and Planes
A plane and a line are parallel when the dot product of the normal and direction vector is zero.
๐ โ ๐ = 0 A plane and a line are perpendicular when the cross product of the normal and direction vector is zero.
๐ ร ๐ = ๐
Calculus 1 and 2 focused on single variable calculus. As you can see from the vector summary above, Calculus 3 studies multivariable functions also. Quadric surfaces are quadratic equations in three variables and are common in Calculus 3. In addition, other coordinates system are utilized in Calculus 3, usually to render a particular problem much easier
Quadric Surface
A quadric surface is defined by a quadratic equation in three variables. The general form is ๐ด๐ฅ2 + ๐ต๐ฆ2 + ๐ถ๐ง2 + ๐ท๐ฅ๐ฆ + ๐ธ๐ฆ๐ง + ๐น๐ง๐ฅ + ๐๐ฅ + ๐๐ฆ + ๐๐ง + ๐ = 0
When ๐ท = ๐ธ = ๐น = ๐ = ๐ = ๐ = 0, the quadric axes are parallel to the coordinate axes and the surface is centered at (0, 0). When this is the case the equations are said to be in standard form.
Quadric Surfaces in Standard Form
1. Sphere: Centered at (0, 0, 0) with a radius ๐.
๐ฅ2 + ๐ฆ2 + ๐ง2 = ๐2
2. Ellipsoid: Centered at (0, 0, 0) with ๐ฅ, ๐ฆ, and ๐ง โradiusโ equal to ๐, ๐, and ๐ respectively.
(๐ฅ
๐)2
+ (๐ฆ
๐)2
+ (๐ง
๐)2
= 1
3. Hyperboloid:
One Sheet (๐ฅ
๐)2
+ (๐ฆ
๐)2
= (๐ง
๐)2
+ 1
Two Sheets (๐ฅ
๐)2
+ (๐ฆ
๐)2
= (๐ง
๐)2
โ 1
Elliptical Cone (limiting case of one sheet) (๐ฅ
๐)2
+ (๐ฆ
๐)2
= (๐ง
๐)2
+ 0
4. Paraboloid:
Elliptical (bowl) ๐ง = (๐ฅ
๐)2
+ (๐ฆ
๐)2
Hyperbolic (Saddle) ๐ง = (๐ฅ
๐)2
โ (๐ฆ
๐)2
Trace
A trace is the intersection of a surface with a given plane. A trace can be obtained by โfreezingโ one of the three variables and sketching the resulting 2D equation. Traces can be used to help us to draw the graph of a surface. Horizontal Trace:
Setting ๐ง = ๐ง0 results in a curve in an ๐ฅ๐ฆ oriented plane. Vertical Trace:
Setting ๐ฅ = ๐ฅ0 results in a curve in a ๐ฆ๐ง oriented plane. Setting ๐ฆ = ๐ฆ
0 results in a curve in an ๐ฅ๐ง oriented plane.
Cylindrical Coordinate System
y
x
z
ฮธ r
z
P=(x,y,z)
Q=(x,y,0)
A point in cylindrical coordinates is described by: ๐ = (๐, ๐, ๐ง)
โข ๐: The horizontal distance from the origin.
โข ๐: The polar angle measured from the positive ๐ฅ-axis.
โข ๐ง: The vertical distance from the origin.
Rectangular and Cylindrical Coordinate Conversion Formulas
Cylindrical to Rectangular Rectangular to Cylindrical
๐ฅ = ๐ ๐๐๐ (๐)
๐ฆ = ๐ ๐ ๐๐(๐)
๐ง = ๐ง
๐ = โ๐ฅ2 + ๐ฆ2
๐ = ๐ก๐๐โ1 (๐ฆ
๐ฅ)
๐ง = ๐ง
Spherical Coordinate System
x
P
ฮธ
ฯ
ฯ
y
z
y
x
z
ฮธ
O
A point in spherical coordinates is described by: ๐ = (๐, ๐, ๐)
โข ๐: The distance from the origin to the point, ๐, where ๐ โฅ 0
โข ๐: The angle of the projection for 0Pโโ โโ onto
the ๐ฅ-๐ฆ plane, where โ180ยฐ โค ๐ โค 180ยฐ
โข ๐: The angle of declination, which
measures how much the vector, 0Pโโ โโ ,
declines form the vertical, where 0ยฐ โค
๐ โค 180ยฐ
Rectangular and Spherical Coordinate Conversion Formulas
Spherical to Rectangular Rectangular to Spherical
๐ฅ = ๐ ๐ ๐๐(๐) ๐๐๐ (๐)
๐ฆ = ๐ ๐ ๐๐(๐) ๐ ๐๐(๐)
๐ง = ๐ ๐๐๐ (๐)
๐ = โ๐ฅ2 + ๐ฆ2 + ๐ง2
๐ = ๐ก๐๐โ1 (๐ฆ
๐ฅ)
๐ = ๐๐๐ โ1 (๐ง
๐)
Level Surfaces
Level Surfaces are surfaces obtained by setting one of the coordinates to a constant. Rectangular Coordinate System:
โข ๐ฅ = ๐ถ: Vertically aligned plane parallel to the ๐ฆ-๐ง plane.
โข ๐ฆ = ๐ถ: Vertically aligned plane parallel to the ๐ฅ-๐ง plane.
โข ๐ง = ๐ถ: Horizontally aligned plane parallel to the ๐ฅ-๐ฆ plane Cylindrical Coordinate System:
โข ๐ = ๐ถ: Cylinder with radius, ๐ถ.
โข ๐ = ๐ถ: Vertical half plane oriented at an angle, ๐ถ.
โข ๐ง = ๐ถ: Horizontally aligned plane parallel to the ๐ฅ-๐ฆ plane Spherical Coordinate System:
โข ๐ = ๐ถ: Sphere with radius, ๐ถ
โข ๐ = ๐ถ: Vertical half plane oriented at an angle, ๐ถ.
โข ๐ = ๐ถ: Right circular cone with an opening at an angle, ๐ถ.
Once we understood the basics of vectors our next series of lessons focused on performing calculus on vectors. One of the main applications of vector calculus is the ability to study motion in 3 dimensions.
Vector-Valued Function
A vector-valued function is any function whose domain is a set of real number and whose range is a set of vectors. The variable ๐ก is called a parameter, which doesnโt necessarily have to represent time, and the functions ๐ฅ(๐ก), ๐ฆ(๐ก) and ๐ง(๐ก) are called the components or coordinate functions.
๐(๐ก) = โจ๐ฅ(๐ก), ๐ฆ(๐ก), ๐ง(๐ก)โฉ We can also represent the vector parameterization of a path as a curve with a set of parametric equations as
๐(๐ก) = (๐ฅ(๐ก), ๐ฆ(๐ก), ๐ง(๐ก))
Note: The curve is the set of all points, ๐ฅ(๐ก), ๐ฆ(๐ก), ๐ง(๐ก), as ๐ก varies over its domain. However, the path referred to by ๐(๐ก) represents the particular way the curve is traversed, e.g. it may traverse the curve several times, reverse direction, move back and forth, etc.
y
x
z
r(t1)
r(t2) r(t3)
r(t) = <x(t), y(t), z(t)>
Projections
Projections of ๐(๐ก) onto a plane can help us sketch the underlying curve. We project onto each plane by setting the third coordinate to zero. Projection onto ๐ฅ-๐ฆ plane: Let ๐ง(๐ก) = 0, ๐(๐ก) = โจ๐ฅ(๐ก), ๐ฆ(๐ก), 0โฉ
Projection onto ๐ฅ-๐ง plane: Let ๐ฆ(๐ก) = 0, ๐(๐ก) = โจ๐ฅ(๐ก), 0, ๐ง(๐ก)โฉ
Projection onto ๐ฆ-๐ง plane: Let ๐ฅ(๐ก) = 0, ๐(๐ก) = โจ0, ๐ฆ(๐ก), ๐ง(๐ก)โฉ
Derivative of Vector-Valued Function
The derivative of the vector-valued function ๐(๐ก) = โจ๐ฅ(๐ก), ๐ฆ(๐ก), ๐ง(๐ก)โฉ, is computed component-wise as
๐
๐๐ก(๐(๐ก)) = ๐โฒ(๐ก) = โจ๐ฅโฒ(๐ก), ๐ฆโฒ(๐ก), ๐งโฒ(๐ก)โฉ
Provided each component is differentiable.
Differentiation Rules for Vector-Valued Functions
Sum Rule: ๐
๐๐ก(๐๐(๐ก) + ๐๐(๐ก)) =
๐
๐๐ก(๐๐(๐ก)) +
๐
๐๐ก(๐๐(๐ก))
Constant Multiple Rule: ๐
๐๐ก(๐๐(๐ก)) = ๐
๐
๐๐ก(๐(๐ก))
Scaler Product Rule: ๐
๐๐ก(๐(๐ก)๐(๐ก)) = ๐โฒ(๐ก)๐(๐ก) + ๐(๐ก)๐โฒ(๐ก)
Dot Product Rule: ๐
๐๐ก(๐๐(๐ก) โ ๐๐(๐ก)) = ๐๐
โฒ(๐ก) โ ๐๐(๐ก) + ๐๐(๐ก) โ ๐๐โฒ(๐ก)
Cross Product Rule: ๐
๐๐ก(๐๐(๐ก) ร ๐๐(๐ก)) = ๐๐
โฒ(๐ก) ร ๐๐(๐ก) + ๐๐(๐ก) ร ๐๐โฒ(๐ก)
Chain Rule: ๐
๐๐ก(๐(๐(๐ก))) = ๐โฒ(๐(๐ก))๐โฒ(๐ก)
Derivative of Vector-Valued Function as a Tangent Vector
The derivative at ๐ก0, ๐โฒ(๐ก0), is a vector that is tangent to the path, ๐(๐ก), at ๐ก0.
The tangent line to the path, ๐(๐ก), at ๐ก0 can be written as
๐ณ(๐ก) = ๐(๐ก0) + ๐ก๐โฒ(๐ก0)
Orthogonality of ๐ and ๐โฒ when ๐ has a Constant Length
If ๐(๐ก) is a differentiable vector-valued function in ๐ 2 or ๐ 3, and if โ๐(๐ก)โ is constant for all ๐ก, then ๐(๐ก) โ ๐โฒ(๐ก) = 0. That is, ๐(๐ก) and ๐โฒ(๐ก) are orthogonal vectors for all ๐ก.
Indefinite and Definite Integral of a Vector-Valued Function
The Indefinite Integral of a vector-valued function is defined as
โซ๐(๐ก)๐๐ก = โจโซ๐ฅ(๐ก)๐๐ก ,โซ ๐ฆ(๐ก)๐๐ก ,โซ ๐ง(๐ก)๐๐กโฉ + ๐
The Definite Integral of a vector-valued function is defined as
โซ ๐(๐ก)๐๐ก = โจโซ ๐ฅ(๐ก)๐๐ก๐
๐
, โซ ๐ฆ(๐ก)๐๐ก๐
๐
, โซ ๐ง(๐ก)๐๐ก๐
๐
โฉ๐
๐
Arc Length - The length of a Path (Distance Traveled)
Assume ๐(๐ก) is differentiable and ๐โฒ(๐ก) is continuous on [๐, ๐]. Then the distance, ๐ , a particle travels along the path, ๐(๐ก), for ๐ โค ๐ก โค ๐ is equal to
๐ = โซ โ๐โฒ(๐ก)โ๐
๐
๐๐ก = โซ โ๐ฅโฒ(๐ก)2 + ๐ฆโฒ(๐ก)2 + ๐งโฒ(๐ก)2๐
๐
๐๐ก
The distance traveled as a function of ๐ก can also be written as
๐ (๐ก) = โซ โ๐โฒ(๐ข)โ๐ก
๐
๐๐ข
Which, we sometimes refer to as the arc length function.
Position, Velocity, Distance, and Speed Relationships
Given the following: ๐(๐ก): The velocity of a particle at time ๐ก. ๐ฃ(๐ก): The speed of a particle at time ๐ก. ๐(๐ก): The position of a particle at time ๐ก. ๐ (๐ก): The distance a particle has traveled at time ๐ก.
We can write the following relationships:
The velocity is the time derivative of position: ๐(๐ก) = ๐โฒ(๐ก)
The speed is the magnitude of velocity: ๐ฃ(๐ก) = โ๐(๐ก)โ = โ๐โฒ(๐ก)โ
The position is the time integral of velocity: ๐(๐ก) = โซ๐(๐ก) ๐๐ก + ๐(๐)
The distance traveled, arc length, is the time integral of speed:
๐ (๐ก) = โซ โ๐โฒ(๐ข)โ๐ก
๐
๐๐ข
Arc Length (Unit Speed) Parameterization
The arc length parameterization of a curve is one in which the speed is unity, i.e. โ๐(๐ )โ = 1. This restriction, โ๐(๐ )โ = 1, allows for the creation of a unique parameterization that focusing on the shape of the curve only and not on the particular way in which it is traversed. Starting with any parameterization, ๐(๐ก), we proceed as follows: Step 1: Find the arc length function.
๐ = ๐(๐ก) = โซ โ๐โฒ(๐ข)โ๐ก
๐
๐๐ข
Step 2: Compute the following inverse function.
๐ก = ๐โ1(๐ ) Step 3: Create the new unit speed parameterization as follows:
๐(๐ ) = ๐(๐โ1(๐ ))
Curvature
Curvature is a positive numerically positive value that measures how a curve bends. It is defined based using the arc length parametrization of a curve as specified below. Let ๐(๐ ) be an arc length parameterization and ๐ป = ๐ป(๐ ) be the unit tangent vector. The curvature at ๐(๐ ) is defined as follows:
๐ (๐ ) = โ๐๐ป
๐๐ โ
Where, ๐ป = ๐ป(๐ ) = ๐โฒ(๐ )
Note: This assumes ๐โฒ(๐ก) โ 0 for all ๐ก.
Curvature Defined for Arbitrary Parameterizations
Alternate forms for computing the curvature can be derived without using the arc length parametrization as shown below. If ๐(๐ก) is an arbitrary parameterization, the curvature can be computed with either of the two formulas:
๐ (๐ก) =1
๐ฃ(๐ก)โ๐๐ป
๐๐กโ ๐ (๐ก) =
โ๐โฒ(๐ก) ร ๐โฒโฒ(๐ก)โ
โ๐โฒ(๐ก)โ3
Curvature of a Graph in a Plane
The curvature of the graph of ๐ฆ = ๐(๐ฅ) is equal to
๐ (๐ฅ) =|๐โฒโฒ(๐ฅ)|
(1 + (๐โฒ(๐ฅ))2)3 2โ
Frenet Frame
A unit vector that is tangent to a space curve, ๐(๐ก), for all ๐ก is called the unit tangent vector and is given as
๐ป(๐ก) = ๐โฒ(๐ก)
โ๐โฒ(๐ก)โ
A unit normal vector that is orthogonal to ๐ป(๐ก) for all ๐ก and points in the direction that the curve is turning is called the unit normal vector and is given as
๐ต(๐ก) = ๐ปโฒ(๐ก)
โ๐ปโฒ(๐ก)โ
A unit vector that is orthogonal to both ๐ป(๐ก) and ๐ต(๐ก) is called a unit binormal vector and is give as
๐ฉ(๐ก) = ๐ป(๐ก) ร ๐ต(๐ก) The three vectors, (๐ป,๐ต,๐ฉ), are mutually orthogonal and of unit length. Together they form an orthonormal set of vectors, which we refer to as the Frenet Frame. The Frenet frame is a function of the underlying curve and changes from point to point along the curve. As such, it is very useful in analyzing motion of objects in space
x
y
z T
N
B
Osculating Circle
The osculating circle to a plane curve, ๐(๐ก), at the point ๐ is the circle that โbest fitsโ the curve at ๐. The center of the circle lies in the direction of the normal vector, ๐ต, to the curve, and the radius of the circle is called the radius of curvature, ๐ = 1 ๐ ๐โ . The equation of the osculating circle to the plane curve, ๐(๐ก), at ๐ = ๐(๐ก0) is given as follows:
๐๐(๐ก) = ๐(๐ก0) + 1 ๐ ๐โ (โจ๐๐๐ (๐ก) , ๐ ๐๐(๐ก) โฉ + ๐ต๐)
P
Tr(t0)
Q
RN
x
y
Motion Describing Quantities
๐(๐ก) : Position Vector โ Represents the Position of an Object : ๐(๐ก) = โจ๐ฅ(๐ก), ๐ฆ(๐ก), ๐ง(๐ก)โฉ
๐(๐ก) : Velocity Vector โ Rate of change of Position : ๐(๐ก) = ๐โฒ(๐ก).
๐ฃ(๐ก) : Speed โ Magnitude of Velocity : ๐ฃ(๐ก) = โ๐(๐ก)โ
๐(๐ก) : Acceleration Vector - Rate of change of Velocity : ๐(๐ก) = ๐โฒ(๐ก) = ๐โฒโฒ(๐ก)
Acceleration Vector Decomposition
The acceleration vector for an object traveling along a path is given as
๐(๐ก) = ๐๐๐ป(๐ก) + ๐๐๐ต(๐ก) Where, ๐๐ = ๐ฃโฒ(๐ก), and ๐๐ = ๐ ๐ฃ2(๐ก)
โข The Tangential Component โencodesโ the change in the speed o Since ๐๐ = ๐ฃโฒ(๐ก) the tangential component is zero if the speed is constant.
โข The Normal Component โencodesโ the change in direction o Since ๐๐ = ๐ ๐ฃ2(๐ก) the normal component is zero if ๐ = 0, which is the case when
the path does not change direction. The decomposition vectors can also be evaluated using the following formulas.
๐๐๐ป(๐ก) = (๐(๐ก) โ ๐(๐ก)
โ๐(๐ก)โ๐)๐(๐ก)
๐๐๐ต(๐ก) = ๐(๐ก) โ ๐๐๐ป(๐ก)
= ๐(๐ก) โ (๐(๐ก) โ ๐(๐ก)
โ๐(๐ก)โ๐)๐(๐ก)
Non-Uniform Circular Motion
๐ฃโฒ(๐ก) = ๐๐ = ๐(๐ก) โ ๐ป(๐ก) = โ๐(๐ก)โโ๐ป(๐ก)โ ๐๐๐ (๐) (๐จ) (๐ฉ) (๐ช)
ฮธ
ฮธ
ฮธ
A. ๐ = 90ยฐ: Therefore, ๐๐๐ (๐) = 0 and ๐ฃโฒ(๐ก) = 0. The particles speed is constant, which results on uniform circular motion as shown in example 4.
B. ๐ < 90ยฐ: Therefore, ๐๐๐ (๐) > 0 and ๐ฃโฒ(๐ก) > 0. The particles speed is increasing.
C. 90ยฐ < ๐ < 180ยฐ: Therefore, ๐๐๐ (๐) < 0 and ๐ฃโฒ(๐ก) < 0. The particles speed is decreasing
Next series of lessons focused on differentiation of multivariable scalar functions. One way vectors play a role for multivariable differentiation is the derivative of multivariable functions are directional in the sense that the object has both a magnitude and direction.
Multivariable Functions
A multivariable function is one that takes ๐ real variables as inputs, (๐ฅ1, ๐ฅ2, . . . , ๐ฅ๐), and assigns a single value, ๐ฆ, to each ๐-tuple (๐ฅ1, ๐ฅ2, . . . , ๐ฅ๐) in a domain in ๐ ๐. The range is the set of all ๐ฆ values for the (๐ฅ1, ๐ฅ2, . . . , ๐ฅ๐) in the domain.
โข (๐ฅ1, ๐ฅ2, . . . , ๐ฅ๐) are called the independent variables.
โข ๐ฆ is the dependent variable.
The function is represented as
๐ฆ = ๐(๐ฅ1, ๐ฅ2, . . . , ๐ฅ๐)
Traces, Level Curves, and Contour Maps
โข Vertical Trace o The intersection of the graph with a vertical plane obtained by setting ๐ฅ or ๐ฆ to ๐.
โช Vertical trace parallel with the ๐ฆ-๐ง plane: Consists of all points (๐, ๐ฆ, ๐(๐, ๐ฆ) ). โช Vertical trace parallel with the ๐ฅ-๐ง plane: Consists of all points (๐ฅ, ๐, ๐(๐ฅ, ๐) ).
โข Horizontal Trace o The intersection of the graph with a horizontal plane obtained by setting ๐(๐ฅ, ๐ฆ) to ๐.
โช Horizontal traces are parallel to the ๐ฅ-๐ฆ plane and consist of all points (๐ฅ, ๐ฆ, ๐ ).
โข Level Curve o The projection of a horizontal trace in the ๐ฅ-๐ฆ plane.
โช The curve ๐(๐ฅ, ๐ฆ) = ๐ in the ๐ฅ-๐ฆ plane.
โข Contour Map o A plot in the ๐ฅ-๐ฆ plane showing level curves ๐(๐ฅ, ๐ฆ) = ๐ for equally spaced values of ๐.
โข Contour Interval o The interval, ๐, between the level curves in a contour map. o When moving from one level curve to the next, the value of ๐(๐ฅ, ๐ฆ) changes by ยฑ๐.
Contour Maps and Rate of Change
โข The level curves on a contour map are drawn at equally spaced changes in ๐(๐ฅ, ๐ฆ).
โข The spacing between level curves on a contour map indicates the โsteepnessโ of the change in ๐(๐ฅ, ๐ฆ).
โข The average rate of change from a point ๐ to a point ๐ on a contour map, ๐ดโ๐โ๐,is
๐ดโ๐โ๐=โ ๐น๐ข๐๐๐ก๐ข๐๐๐ ๐ฃ๐๐๐ข๐
โ ๐ป๐๐๐๐ง๐๐๐๐ก๐ ๐ท๐๐ ๐ก๐๐๐๐
When the function represents the physical height of an area, we usually say
๐ดโ๐โ๐=โ ๐ด๐๐ก๐๐ก๐ข๐๐
โ ๐ป๐๐๐๐ง๐๐๐๐ก๐ ๐ท๐๐ ๐ก๐๐๐๐
Partial Derivatives
Partial derivatives are defined for multivariable functions. They are derivatives with respect to one of the variables. Specifically, when computing a partial derivative for a generic multivariable function, e.g. ๐(๐ฅ1, ๐ฅ2, . . . , ๐ฅ๐), with respect to a specific variable, e.g. ๐ฅ1, we treat all other variables, e.g. ๐ฅ2, . . . ๐ฅ๐, as if they are constant values.
Partial Derivatives for Two Variable Functions
The partial derivative of ๐(๐ฅ, ๐ฆ) with respect to ๐ฅ is defined
๐๐ฅ(๐ฅ, ๐ฆ) = ๐๐๐โโ0
{๐(๐ฅ + โ, ๐ฆ) โ ๐(๐ฅ, ๐ฆ)
โ}
Equivalent Notations
๐๐ฅ(๐ฅ, ๐ฆ) = ๐๐ฅ =๐
๐๐ฅ๐(๐ฅ, ๐ฆ) =
๐๐
๐๐ฅ
The partial derivative of ๐(๐ฅ, ๐ฆ) with respect to ๐ฆ is defined
๐๐ฆ(๐ฅ, ๐ฆ) = ๐๐๐โโ0
{๐(๐ฅ, ๐ฆ + โ) โ ๐(๐ฅ, ๐ฆ)
โ}
Equivalent Notations
๐๐ฆ(๐ฅ, ๐ฆ) = ๐๐ฆ =๐
๐๐ฆ๐(๐ฅ, ๐ฆ) =
๐๐
๐๐ฆ
Partial Differentiation Algebraic Rules
Sum Rule: ๐
๐๐ฅ(๐ ยฑ ๐) =
๐๐
๐๐ฅยฑ
๐๐
๐๐ฅ
Product Rule: ๐
๐๐ฅ(๐๐) =
๐๐
๐๐ฅ๐ + ๐
๐๐
๐๐ฅ
Quotient Rule: ๐
๐๐ฅ(๐
๐) =
๐๐๐๐ฅ
๐ โ ๐๐๐๐๐ฅ
๐2
Higher Order Partial Derivatives and Clairautโs Theorem
Similar to single variable derivatives, higher order partial derivatives are derivatives of derivatives. For example, the second order partial derivative with respect to ๐ฅ is
๐๐ฅ๐ฅ = ๐
๐๐ฅ(๐๐
๐๐ฅ)
For multivariable functions we also have what are called mixed partials, e.g. ๐๐ฅ๐ฆ and ๐๐ฆ๐ฅ.
Clairautโs Theorem states that the order in which we choose to perform the derivatives does not matter, provided the mixed partials are continuous functions. In other words, for two variable functions the theorem guarantees the following:
๐๐ฅ๐ฆ = ๐๐ฆ๐ฅ
Equation of the Tangent Plane and Normal Line
The tangent plane to the surface, ๐(๐ฅ, ๐ฆ), at the point (๐ฅ0, ๐ฆ0, ๐ง0) is given by
๐ง = ๐๐ฅ(๐ฅ0, ๐ฆ0)(๐ฅ โ ๐ฅ0) + ๐๐ฆ(๐ฅ0, ๐ฆ0)( ๐ฆ โ ๐ฆ0) + ๐ง0
The normal line to the surface is given as
๐(๐ก) = โจ(๐ฅ0 + ๐๐ฅ(๐ฅ0, ๐ฆ0)๐ก), (๐ฆ0 + ๐๐ฆ(๐ฅ0, ๐ฆ0)๐ก), (๐ง0 โ ๐ก)โฉ
Linear Approximation and Differentials
The linear approximation of ๐(๐ฅ, ๐ฆ) around the point (๐, ๐, ๐(๐, ๐)) is given by the equation
of the tangent plane at that point.
๐ฟ(๐ฅ, ๐ฆ) = ๐๐ฅ(๐, ๐)(๐ฅ โ ๐) + ๐๐ฆ(๐, ๐)( ๐ฆ โ ๐) + ๐(๐, ๐)
The value of a function, ๐(๐ฅ, ๐ฆ), at (๐ + โ๐ฅ, ๐ + โ๐ฆ) can be approximated by this linearization, ๐ฟ(๐ฅ, ๐ฆ), as
๐(๐ + โ๐ฅ, ๐ + โ๐ฆ) โ ๐๐ฅ(๐, ๐)โ๐ฅ + ๐๐ฆ(๐, ๐)โ๐ฆ + ๐(๐, ๐)
Note: This can be extended to any number variables. In three variables we have:
๐(๐ + โ๐ฅ, ๐ + โ๐ฆ, ๐ + โ๐ง) โ ๐๐ฅ(๐, ๐, ๐)โ๐ฅ + ๐๐ฆ(๐, ๐, ๐)โ๐ฆ + ๐๐ง(๐, ๐, ๐)โ๐ง + ๐(๐, ๐)
If โ๐ฅ and โ๐ฆ are sufficiently small, then we can approximate โ๐ as
โ๐ โ ๐๐ฅ(๐, ๐)โ๐ฅ + ๐๐ฆ(๐, ๐)โ๐ฆ
The differential of ๐(๐ฅ, ๐ฆ) is defined as
๐๐ = ๐๐ฅ(๐ฅ, ๐ฆ)๐๐ฅ + ๐
๐ฆ(๐ฅ, ๐ฆ)๐๐ฆ
= ๐๐
๐๐ฅ๐๐ฅ +
๐๐
๐๐ฆ๐๐ฆ
Multivariable Chain Rule
Let ๐(๐ฅ1, . . . , ๐ฅ๐) be a differentiable function of ๐ variables. Suppose that each of the variables, ๐ฅ1, . . . , ๐ฅ๐, is a differentiable function of ๐ independent variables, ๐ก1, . . . , ๐ก๐. Then for ๐ = 1, โฆ ,๐
๐๐
๐๐ก๐=
๐๐
๐๐ฅ1
๐๐ฅ1
๐๐ก๐+
๐๐
๐๐ฅ2
๐๐ฅ2
๐๐ก๐+. . . +
๐๐
๐๐ฅ๐
๐๐ฅ๐
๐๐ก๐
Note: Since ๐ฅ๐ is assumed to be a function of more than one variable, the partial derivative notation is
required, ๐๐ฅ๐
๐๐ก๐. If ๐ = 1 then
๐๐ฅ๐
๐๐ก could be used.
Multivariable Implicit Differentiation
Suppose we have the equation ๐น(๐ฅ, ๐ฆ) = 0, and that ๐น(๐ฅ, ๐ฆ) is differentiable. Then ๐๐ฆ
๐๐ฅ= โ
๐น๐ฅ๐น๐ฆ
Provided ๐น๐ฆ โ 0
Suppose we have the equation ๐น(๐ฅ, ๐ฆ, ๐ง) = 0, and that ๐น(๐ฅ, ๐ฆ, ๐ง) is differentiable. Then
๐๐ง
๐๐ฅ= โ
๐น๐ฅ๐น๐ง
and ๐๐ง
๐๐ฅ= โ
๐น๐ฅ๐น๐ง
Provided ๐น๐ง โ 0
The Directional Derivative
Let ๐(๐ฅ, ๐ฆ) be a function of two variables and let ๐ denote a unit vector. Then the derivative of ๐(๐ฅ, ๐ฆ) in the direction of ๐ is called the directional derivative, ๐ท๐๐.
๐ท๐๐ = ๐ป๐ โ ๐ Where,
๐ป๐ = โจ๐๐
๐๐ฅ,๐๐
๐๐ฆโฉ and ๐ = โจ๐ข๐ฅ, ๐ข๐ฆโฉ
The definition can be extended to three or more dimensions as follows where
๐ป๐ = โจ๐๐
๐๐ฅ1, . . . ,
๐๐
๐๐ฅ๐
โฉ and ๐ = โจ๐ข๐ฅ1, . . . , ๐ข๐ฅ๐
โฉ
Algebraic Properties of the Gradient Vector
If ๐(๐ฅ, ๐ฆ, ๐ง) and ๐(๐ฅ, ๐ฆ, ๐ง) are differentiable functions and ๐ is a constant, then i. ๐ป(๐ + ๐) = ๐ป๐ + ๐ป๐
ii. ๐ป(๐๐) = ๐๐ป๐
iii. Product Rule for Gradients: ๐ป(๐๐) = ๐ป๐๐ + ๐๐ป๐
iv. Chain Rule for Gradients: If ๐น(๐ก) is a differentiable function of one variable, then
๐ป (๐น(๐(๐ฅ, ๐ฆ, ๐ง))) = ๐นโฒ(๐(๐ฅ, ๐ฆ, ๐ง))๐ป๐
Gradient Vector as the Direction of Maximum Increase
Let ๐ be a differentiable function at a fixed point, ๐, with ๐ป๐|๐ โ 0.
โข ๐ป๐ points in the direction of the maximum rate of increase of ๐ at ๐, and the maximum rate of increase is โ๐ป๐โ.
โข โ๐ป๐ points in the direction of the maximum rate of decrease of ๐ at ๐, and the maximum rate of decrease is โ๐ป๐โ.
Gradient Vector as a Normal Vector
Let ๐ be a point on a level curve, ๐(๐ฅ, ๐ฆ) = ๐, or on a level surface, ๐(๐ฅ, ๐ฆ, ๐ง) = ๐, and assume that ๐ป๐|๐ โ 0. Then ๐ป๐|๐ is a vector that is normal to the tangent line/plane to the curve/surface at the point ๐. Moreover, the tangent line/plane to the curve/surface at the point ๐ has the equation
Tangent Line
: ๐๐ฅ(๐ฅ0, ๐ฆ0)(๐ฅ โ ๐ฅ0) + ๐๐ฆ(๐ฅ0, ๐ฆ0)(๐ฆ โ ๐ฆ0) = 0
Tangent Plane
: ๐๐ฅ(๐ฅ0, ๐ฆ0, ๐ง0)(๐ฅ โ ๐ฅ0) + ๐๐ฆ(๐ฅ0, ๐ฆ0, ๐ง0)(๐ฆ โ ๐ฆ0) + ๐๐ง(๐ฅ0, ๐ฆ0, ๐ง0)(๐ง โ ๐ง0) = 0
Critical Points Definition for Two Variable Functions
A point ๐ = (๐, ๐) in the domain of ๐(๐ฅ, ๐ฆ) is called a critical point if:
โข ๐๐ฅ(๐, ๐) = 0 or ๐๐ฅ(๐, ๐) does not exists, AND
โข ๐๐ฆ(๐, ๐) = 0 or ๐๐ฆ(๐, ๐) does not exists.
Fermatโs Theorem of Local Extrema for Two Variable Functions
If ๐(๐, ๐) is a local minimum or maximum, then ๐ = (๐, ๐) is a critical point of ๐(๐ฅ, ๐ฆ). Note: This theorem does not claim that all critical points are local extreme values, but rather that all local extreme values are critical points.
Second Derivative Test for Two Variable Functions
Let ๐ = (๐, ๐) be a critical point of the function, ๐(๐ฅ, ๐ฆ) and assume ๐๐ฅ๐ฅ, ๐๐ฆ๐ฆ and ๐๐ฅ๐ฆ are
continuous near ๐. Then: 1. If ๐ท > 0 and ๐๐ฅ๐ฅ(๐, ๐) > 0, then ๐(๐, ๐) is a local minimum. 2. If ๐ท > 0 and ๐๐ฅ๐ฅ(๐, ๐) < 0, then ๐(๐, ๐) is a local maximum. 3. If ๐ท < 0 then ๐(๐, ๐) is a saddle point. 4. If ๐ท = 0 then the test is inconclusive. Where ๐ท is called the discriminate
๐ท = ๐๐ฅ๐ฅ(๐, ๐)๐๐ฆ๐ฆ(๐, ๐) โ ๐๐ฅ๐ฆ2(๐, ๐)
Existence and Location of Absolute Extrema
Let ๐(๐ฅ, ๐ฆ) be a continuous function on a closed domain ๐ท in ๐ 2. Then: 1. ๐(๐ฅ, ๐ฆ) takes on both a minimum and maximum value on ๐ท. 2. The extreme values occur either at critical points in the interior of ๐ท or at points on the
boundary of ๐ท.
Optimizing with Constraints
Optimizing with constraints involves finding the minimum or maximum value of a function, e.g. ๐(๐ฅ1, . . . , ๐ฅ๐) subject to the fact that the independent variables are related in some fashion, e.g. ๐(๐ฅ1, . . . , ๐ฅ๐) = 0. The terminology used is as follows:
Objective Function ๐(๐ฅ1, . . . , ๐ฅ๐)
Expresses the quantity we would like to optimize in terms of ๐ independent variables.
Constraint Function ๐(๐ฅ1, . . . , ๐ฅ๐) = 0
Expresses a relationship between the independent that must be satisfied within the context of optimizing the objective function.
Lagrange Multiplier Theorem
Assume ๐(๐ฅ, ๐ฆ) and ๐(๐ฅ, ๐ฆ) are differentiable functions. If ๐(๐ฅ, ๐ฆ) has a local extremum on the constraint curve, ๐(๐ฅ, ๐ฆ) = 0, at ๐ = (๐, ๐) and if ๐ป๐๐ โ 0, then there is a scalar, ๐, such that
๐ป๐๐ = ๐๐ป๐๐
Lagrange Multipliers Technique Applied to Optimization with Constraints
The above Lagrange Multiplier Theorem can be applied to optimization problems with constraints. The theorem can be generalized to any number of variables and any number of constraints functions as follows: Given an ๐ variable differentiable objective function, ๐(๐ฅ1, . . . , ๐ฅ๐), and ๐ differentiable constraint functions, {๐1(๐ฅ1, . . . , ๐ฅ๐) = 0, . . . , ๐๐(๐ฅ1, . . . , ๐ฅ๐) = 0}. The Lagrange condition is written as follows:
๐ป๐๐ = โ๐๐๐ป๐๐,๐
๐
๐=1
Expanding this expression creates ๐ equations that can then be used to find the extreme values of ๐(๐ฅ1, . . . , ๐ฅ๐) subject to {๐1(๐ฅ1, . . . , ๐ฅ๐) = 0, . . . , ๐๐(๐ฅ1, . . . , ๐ฅ๐) = 0}.
Next series of lessons focused on integration of multivariable scalar functions. Although vectors are not prominent in these lessons, multivariable integration is used to compute many different quantities on science and engineering. Multivariable integration is a natural extension of single variable integration. Alternate coordinate systems also become important is some multivariable integration problems.
Double Integral over a Rectangular Region
The definite double integral of ๐(๐ฅ, ๐ฆ) over a rectangular region, ๐ , is the limit of the Riemann Sum.
โฌ๐(๐ฅ, ๐ฆ)๐๐ด
๐
= ๐๐๐โ๐โโ0
{โ๐(๐ฅ๐, ๐ฆ๐)โ๐ด๐
๐
๐=1
} = ๐๐๐โ๐โโ0
{โ๐(๐ฅ๐, ๐ฆ๐)โ๐ฅ๐โ๐ฆ๐
๐
๐=1
}
When this limit exists, we say ๐(๐ฅ, ๐ฆ) is integrable over ๐ .
* * *
* *
* * *
*
x
y ๐(๐ฅ๐ , ๐ฆ๐)
โ๐ฅ๐
โ๐ฆ๐ *
โ๐ด๐
Fubiniโs Theorem
The double integral of a continuous function ๐(๐ฅ, ๐ฆ) over the rectangular region, ๐ = {(๐ฅ, ๐ฆ)|๐ โค ๐ฅ โค ๐, ๐ โค ๐ฆ โค ๐}, is equal to the iterated single integral (in either order).
โฌ๐(๐ฅ, ๐ฆ)๐๐ด
๐
= โซ โซ ๐(๐ฅ, ๐ฆ)๐๐ฅ๐
๐
๐๐ฆ๐
๐
= โซ โซ ๐(๐ฅ, ๐ฆ)๐๐ฆ๐
๐
๐๐ฅ๐
๐
When ๐(๐ฅ, ๐ฆ) = ๐(๐ฅ)โ(๐ฆ), the double integral can be expressed as the product of two integrals as shown below.
โซ โซ ๐(๐ฅ, ๐ฆ)๐๐ฅ๐
๐
๐๐ฆ๐
๐
= (โซ ๐(๐ฅ)๐๐ฅ๐
๐
)(โซ โ(๐ฆ)๐๐ฆ๐
๐
)
Double Integral over Vertically Simple Regions
A vertically simple region is defined as:
๐ท = (๐ฅ, ๐ฆ)| ๐ โค ๐ฅ โค ๐, ๐1(๐ฅ) โค ๐ฆ โค ๐2(๐ฅ)
And the double integral of ๐(๐ฅ, ๐ฆ) over ๐ท is
โฌ๐(๐ฅ, ๐ฆ)๐๐ด
๐ท
= โซ โซ ๐(๐ฅ, ๐ฆ)๐๐ฆ๐๐ฅ๐2(๐ฅ)
๐1(๐ฅ)
๐
๐
y
x
a b
c
d
D
g1(x)
g2(x)
Double Integral over Horizontally Simple Regions
A horizontally simple region is defined as:
๐ท = {(๐ฅ, ๐ฆ)| ๐1(๐ฆ) โค ๐ฅ โค ๐2(๐ฆ), ๐ โค ๐ฆ โค ๐} And the double integral of ๐(๐ฅ, ๐ฆ) over ๐ท is
โฌ๐(๐ฅ, ๐ฆ)๐๐ด
๐ท
= โซ โซ ๐(๐ฅ, ๐ฆ)๐๐ฅ๐2(๐ฆ)
๐1(๐ฆ)
๐๐ฆ๐
๐
y
x
c
d
D
g1(y)g2(y)
Volume Between Two Surfaces
Assuming the integrable functions, ๐1(๐ฅ, ๐ฆ) โฅ ๐2(๐ฅ, ๐ฆ), for all points in ๐ท, then the volume between the surfaces is given as
๐ = โฌ( ๐1(๐ฅ, ๐ฆ) โ ๐2(๐ฅ, ๐ฆ))๐๐ด
๐ท
Triple Integral Over a Boxed Region
The triple integral of a continuous function ๐(๐ฅ, ๐ฆ, ๐ง) over a box, ๐ is:
โญ๐(๐ฅ, ๐ฆ, ๐ง)๐๐
๐
= โซ โซ โซ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ง๐๐ฆ๐๐ฅ๐
๐ง=๐
๐
๐ฆ=๐
๐
๐ฅ=๐
Where,
๐ = (๐ฅ, ๐ฆ, ๐ง)| ๐ โค ๐ฅ โค ๐, ๐ โค ๐ฆ โค ๐, ๐ โค ๐ง โค ๐
Furthermore, the integral can be evaluated in any order.
Triple Integral Over a General Region
For a general region, the triple integral is best written as follows:
โญ๐ง๐๐
๐ท
= โฌ(โซ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐๐2
๐1
)
๐
๐๐ด
Where, the inner integral is with respect to any one of the three variables, i.e. we choose ๐ to be one of the elements of the set {๐ฅ, ๐ฆ, ๐ง}. The region, ๐ , is the projection of the solid object in the plane defined by the two remaining variables. We can then express the ๐๐ด in two different orders for each of the 3 possible projections as shown below.
Area and Volume
The area of a general region can be found using the double integral of ๐(๐ฅ, ๐ฆ) = 1 over a region, ๐ . For example
๐ = {(๐ฅ, ๐ฆ)| ๐ โค ๐ฅ โค ๐, ๐ โค ๐ฆ โค ๐}
โฌ1๐๐ด
๐
= โซ โซ 1๐๐ฅ๐๐ฆ๐
๐
๐
๐
= (๐ โ ๐) โ (๐ โ ๐) = ๐ด๐๐๐ ๐๐ ๐ ๐๐๐๐๐
The volume of a general region can be found using the triple integral of ๐(๐ฅ, ๐ฆ, ๐ง) = 1 over a region, ๐ . For example
๐ = {(๐ฅ, ๐ฆ, ๐ง)| ๐ โค ๐ฅ โค ๐, ๐ โค ๐ฆ โค ๐, ๐ โค ๐ง โค ๐}
โญ1๐๐
๐
= โซ โซ โซ 1๐๐ฅ๐๐ฆ๐๐ง๐
๐
=๐
๐
๐
๐
(๐ โ ๐) โ (๐ โ ๐) โ (๐ โ ๐) = ๐๐๐๐ข๐๐ ๐๐ ๐ ๐๐๐๐๐
Double Integral in Polar Coordinates
For a continuous function, ๐, on the domain, ๐ท = {(๐, ๐)| ๐1 โค ๐ โค ๐2, ๐1 โค ๐ โค ๐2}
โฌ๐(๐ฅ, ๐ฆ)๐๐ด
๐ท
= โซ โซ ๐(๐ ๐๐๐ (๐) , ๐ ๐ ๐๐(๐))๐2
๐=๐1
๐2
๐=๐1
๐๐๐๐๐
๐๐ด
๐
๐
๐๐
๐๐
๐๐๐
๐ฅ
๐ฆ
๐๐ด = ๐๐๐๐๐
Triple Integral in Cylindrical Coordinates
For a continuous function, ๐, on the domain, ๐ท = {(๐, ๐, ๐ง)| ๐1 โค ๐ โค ๐2, ๐1 โค ๐ โค ๐2, ๐ง1 โค๐ง โค ๐ง2 }
โญ๐(๐ฅ, ๐ฆ, ๐ง)๐๐
๐ท
= โซ โซ โซ ๐(๐ ๐๐๐ (๐) , ๐ ๐ ๐๐(๐) , ๐ง)๐ง2
๐ง=๐ง1
๐2
๐=๐1
๐๐๐ง๐๐๐๐๐2
๐=๐1
z
y
x๐๐๐
๐๐
๐๐ ๐๐ง
๐๐ = ๐๐๐ง๐๐๐๐
Triple Integral in Spherical Coordinates
For a continuous function, ๐, on the domain, ๐ท = {(๐, ๐, ๐)| ๐1 โค ๐ โค ๐2, ๐1 โค ๐ โค๐2, ๐1 โค ๐ โค ๐2, }
โญ๐(๐ฅ, ๐ฆ, ๐ง)๐๐
๐ท
= โซ โซ โซ ๐(๐ ๐ ๐๐(๐) ๐๐๐ (๐) , ๐ ๐ ๐๐(๐) ๐ ๐๐(๐) , ๐ ๐๐๐ (๐))๐2
๐=๐1
๐2
๐=๐1
๐2 ๐ ๐๐(๐) ๐๐๐๐๐๐๐2
๐=๐1
y
x
z
๐
๐ ๐
๐ ๐๐
๐๐ ๐๐๐
๐๐
๐๐
๐๐๐
๐๐ = ๐2 ๐ ๐๐(๐) ๐๐๐๐๐๐
Total Amount Using Density
One Dimension
๐๐๐ก๐๐ ๐ด๐๐๐ข๐๐ก = โซ ๐ฟ(๐ฅ)๐๐ฅ
๐
Where, ๐ฟ(๐ฅ) is the amount per unit length and ๐ is the interval of integration
Two Dimensions
๐๐๐ก๐๐ ๐ด๐๐๐ข๐๐ก = โฌ๐ฟ(๐ฅ, ๐ฆ)๐๐ด
๐
Where, ๐ฟ(๐ฅ, ๐ฆ) is the amount per unit area and ๐ is the region of integration.
Three Dimensions
๐๐๐ก๐๐ ๐ด๐๐๐ข๐๐ก = โญ๐ฟ(๐ฅ, ๐ฆ, ๐ง)๐๐
๐
Where, ๐ฟ(๐ฅ, ๐ฆ, ๐ง) is the amount per unit volume and ๐ is the region of integration.
Center of Mass
One Dimension
๐ฅ๐๐๐ =โซ ๐ฅ๐ฟ(๐ฅ)๐๐ฅ๐
โซ ๐ฟ(๐ฅ)๐๐ฅ๐
Where, ๐ฟ(๐ฅ) is mass density per unit length and ๐ is the interval of integration
Two Dimensions
๐ฅ๐๐๐ =โฌ ๐ฅ๐ฟ(๐ฅ, ๐ฆ)๐๐ด
๐
โฌ ๐ฟ(๐ฅ, ๐ฆ)๐๐ด๐
๐ฆ๐๐๐ =โฌ ๐ฆ๐ฟ(๐ฅ, ๐ฆ)๐๐ด
๐
โฌ ๐ฟ(๐ฅ, ๐ฆ)๐๐ด๐
Where, ๐ฟ(๐ฅ, ๐ฆ) is the mass density per unit area and ๐ is the region of integration.
Three Dimensions
๐ฅ๐๐๐ =โญ ๐ฅ๐ฟ(๐ฅ, ๐ฆ)๐๐
๐
โญ ๐ฟ(๐ฅ, ๐ฆ)๐๐๐
๐ฆ๐๐๐ =โญ ๐ฆ๐ฟ(๐ฅ, ๐ฆ)๐๐
๐
โญ ๐ฟ(๐ฅ, ๐ฆ)๐๐๐
๐ง๐๐๐ =โญ ๐ง๐ฟ(๐ฅ, ๐ฆ)๐๐
๐
โญ ๐ฟ(๐ฅ, ๐ฆ)๐๐๐
Where, ๐ฟ(๐ฅ, ๐ฆ, ๐ง) is the mass density per unit volume and ๐ is the region of integration.
Rotational Inertia (2nd Moment)
One Dimension
๐ผ = โซ ๐ฅ2๐ฟ(๐ฅ)๐๐ฅ
๐
Where, ๐ฟ(๐ฅ) is mass density per unit length and ๐ is the interval of integration
Two Dimensions
๐ผ๐ฅ = โฌ๐ฅ2๐ฟ(๐ฅ, ๐ฆ)๐๐ด
๐
๐ผ๐ฆ = โฌ๐ฆ2๐ฟ(๐ฅ, ๐ฆ)๐๐ด
๐
๐ผ๐ง = โฌ(๐ฅ2 + ๐ฆ2)๐ฟ(๐ฅ, ๐ฆ)๐๐ด
๐
Where, ๐ฟ(๐ฅ, ๐ฆ) is the mass density per unit area, ๐ is the region of integration, and ๐ผ๐ฅ,๐ฆ,๐ง is
the rotational inertia with respect to the ๐ฅ, ๐ฆ, ๐ง-axis respectively.
Three Dimensions
๐ผ๐ฅ
= โญ(๐ฆ2 + ๐ง2)๐ฟ(๐ฅ, ๐ฆ, ๐ง)๐๐
๐
๐ผ๐ฆ
= โญ(๐ฅ2 + ๐ง2)๐ฟ(๐ฅ, ๐ฆ, ๐ง)๐๐
๐
๐ผ๐ง
= โญ(๐ฅ2 + ๐ฆ2)๐ฟ(๐ฅ, ๐ฆ, ๐ง)๐๐
๐
Where, ๐ฟ(๐ฅ, ๐ฆ, ๐ง) is the mass density per unit volume, ๐ is the region of integration, and ๐ผ๐ฅ,๐ฆ,๐ง is the rotational inertia with respect to the ๐ฅ, ๐ฆ, ๐ง-axis respectively.
Probability Density Functions
One Random Variable
๐(๐ โค ๐ โค ๐) = โซ ๐(๐ฅ)๐๐ฅ๐
๐ฅ=๐
Two Random Variables
๐(๐ โค ๐ โค ๐; ๐ โค ๐ โค ๐) = โซ โซ ๐(๐ฅ, ๐ฆ)๐๐ฅ๐๐ฆ๐
๐ฅ=๐
๐
๐ฆ=๐
Three Random Variables
๐(๐ โค ๐ โค ๐; ๐ โค ๐ โค ๐; ๐ โค ๐ โค ๐) = โซ โซ โซ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ฅ๐๐ฆ๐๐ง๐
๐ฅ=๐
๐
๐ฆ=๐
๐
๐ง=๐
The Jacobian Determinant
Given the transformation ๐: ๐ 2 โ ๐ 2, where ๐ is defined as
๐(๐ข, ๐ฃ) = (๐ฅ(๐ข, ๐ฃ), ๐ฆ(๐ข, ๐ฃ))
The Jacobian of ๐, ๐ฝ๐๐(๐), is given as
๐ฝ๐๐(๐) = |
๐๐ฅ
๐๐ข
๐๐ฅ
๐๐ฃ๐๐ฆ
๐๐ข
๐๐ฆ
๐๐ฃ
| =๐๐ฅ
๐๐ขโ๐๐ฆ
๐๐ฃโ
๐๐ฅ
๐๐ฃโ๐๐ฆ
๐๐ข
The Jacobian generalizes to ๐ dimensions. For example, with three variables we have ๐: ๐ 3 โ ๐ 3, where ๐ is defined as
๐(๐ข, ๐ฃ, ๐ค) = (๐ฅ(๐ข, ๐ฃ, ๐ค), ๐ฆ(๐ข, ๐ฃ, ๐ค), ๐ง(๐ข, ๐ฃ, ๐ค))
๐ฝ๐๐(๐) =๐(๐ฅ, ๐ฆ, ๐ง)
๐(๐ข, ๐ฃ, ๐ค)=
|
|
๐๐ฅ
๐๐ข
๐๐ฅ
๐๐ฃ
๐๐ฅ
๐๐ค๐๐ฆ
๐๐ข
๐๐ฆ
๐๐ฃ
๐๐ฆ
๐๐ค๐๐ง
๐๐ข
๐๐ง
๐๐ฃ
๐๐ง
๐๐ค
|
|
โข The Jacobian of ๐ is also denoted as ๐(๐ฅ,๐ฆ)
๐(๐ข,๐ฃ),๐(๐ฅ,๐ฆ,๐ง)
๐(๐ข,๐ฃ,๐ค)
โข The Jacobian is sometimes meant to express the matrix only and not its determinant. In these cases, we refer to the above as the Jacobian Determinant.
Change of Variable Formula in
Let ๐: (๐ข, ๐ฃ) โ (๐ฅ, ๐ฆ) be a mapping from ๐ข-๐ฃ space to ๐ฅ-๐ฆ space that is one-to-one. If ๐(๐ฅ, ๐ฆ) is continuous, then
โฌ๐(๐ฅ, ๐ฆ)๐๐ฅ๐๐ฆ
๐ท
= โฌ๐(๐ฅ(๐ข, ๐ฃ), ๐ฆ(๐ข, ๐ฃ)) |๐(๐ฅ, ๐ฆ)
๐(๐ข, ๐ฃ)| ๐๐ข๐๐ฃ
๐
Where, ๐ท is some region in ๐ฅ-๐ฆ space and ๐ is the corresponding region in ๐ข-๐ฃ space. Note: The Change of Variables Formula as stated above turns an ๐ฅ๐ฆ integral into a ๐ข๐ฃ integral, but the
map, ๐, goes from the ๐ข๐ฃ domain to the ๐ฅ๐ฆ domain, i.e. ๐(๐ข, ๐ฃ) = (๐ฅ(๐ข, ๐ฃ), ๐ฆ(๐ข, ๐ฃ))
In ๐ 3 we have:
โญ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ฅ๐๐ฆ๐๐ง
๐ท
= โญ๐(๐ฅ(๐ข, ๐ฃ, ๐ค), ๐ฆ(๐ข, ๐ฃ, ๐ค), ๐ง(๐ข, ๐ฃ, ๐ค)) |๐(๐ฅ, ๐ฆ, ๐ง)
๐(๐ข, ๐ฃ, ๐ค)| ๐๐ข๐๐ฃ๐๐ค
๐
The next series of lessons pushed integration even further to includes integration over curves and surfaces. In addition, we introduced integration over vector fields.
Vector Field
A vector field is a function that assigns a vector to each point, ๐ = โจ๐ฅ, ๐ฆ, ๐งโฉ, in space. In three dimensions it is denoted as
๐ญ(๐ฅ, ๐ฆ, ๐ง) = โจ๐น1(๐ฅ, ๐ฆ, ๐ง), ๐น2(๐ฅ, ๐ฆ, ๐ง), ๐น3(๐ฅ, ๐ฆ, ๐ง)โฉ
A unit vector field, ๐๐น, is defined as
๐๐น =๐ญ(๐ฅ, ๐ฆ, ๐ง)
โ๐ญ(๐ฅ, ๐ฆ, ๐ง)โ
An important example is a unit radial vector.
Two dimensional unit radial vector Three dimensional unit radial vector
๐๐ = โจ๐ฅ
๐,๐ฆ
๐โฉ
Where, ๐ = โ๐ฅ2 + ๐ฆ2
๐๐ = โจ๐ฅ
๐,๐ฆ
๐,๐ง
๐โฉ
Where, ๐ = โ๐ฅ2 + ๐ฆ2 + ๐ง2
Divergence of a Vector Field
The divergence of a vector field, ๐ญ, results in a scalar function. In three dimensions it is defined as
๐๐๐ฃ(๐ญ) = ๐ป โ ๐ญ = โจ๐
๐๐ฅ,๐
๐๐ฆ,๐
๐๐ง โฉ โ โจ๐น1, ๐น2, ๐น3โฉ =
๐๐น1
๐๐ฅ+
๐๐น2
๐๐ฆ+
๐๐น3
๐๐ง
The divergence generalizes to an arbitrary number of dimensions.
Divergence Intuition โ Assume ๐ญ is a fluid velocity vector field
The divergence of a vector field represents the degree to which the fluid is flowing in towards or away from each point in space.
๐๐๐ฃ(๐ญ(0,0)) > 0 ๐๐๐ฃ(๐ญ(0,0)) < 0 ๐๐๐ฃ(๐ญ) = 0
x
y
x
y
x
y
There is a net liquid flow outward from the origin.
There is a net liquid flow inward from the origin.
There is a net flow of zero at any point in space.
Curl of a Vector Field
The curl of a vector field, ๐ญ, results in a vector function. It is defined as
๐๐ข๐๐(๐ญ) = ๐ป ร ๐ญ = ||
๏ฟฝฬ๏ฟฝ ๐ฬ ๏ฟฝฬ๏ฟฝ๐
๐๐ฅ
๐
๐๐ฆ
๐
๐๐ง
๐น1 ๐น2 ๐น3
|| = โจ(๐๐น3
๐๐ฆโ
๐๐น2
๐๐ง) , (
๐๐น1
๐๐งโ
๐๐น3
๐๐ฅ) , (
๐๐น2
๐๐ฅโ
๐๐น1
๐๐ฆ) โฉ
The curl is defined on three dimensions only.
Curl Intuition โ Assume ๐ญ is a fluid velocity vector field
The curl measures the amount to which the fluid circulates around a fixed axis at each point in space.
P
P
P
The paddle wheel rotates counterclockwise and the resulting vector points out of the page.
The paddle wheel rotates clockwise and the resulting vector points into the page.
The paddle wheel does not rotate.
Conservative Vector Fields
โข If ๐ญ = ๐ป๐, then ๐ is called the potential function for ๐ญ.
โข ๐ญ is called conservative it has a potential function.
โข Potential functions are unique up to a constant, ๐ถ. The vector field, ๐ญ, is conservative if
๐๐ข๐๐(๐ญ) = 0 Or equivalently,
๐๐น3
๐๐ฆ=
๐๐น2
๐๐ง,
๐๐น3
๐๐ฅ=
๐๐น1
๐๐ง,
๐๐น2
๐๐ฅ=
๐๐น1
๐๐ฆ
Scalar Line Integral
The scalar line integral of the function ๐(๐ฅ, ๐ฆ, ๐ง) over the curve, ๐ถ, is given as
โซ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐
๐ถ
Let ๐(๐ก) be a parameterization of a curve, ๐ถ, for ๐ โค ๐ก โค ๐, then the scalar line integral is also given as
โซ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐
๐ถ
= โซ ๐(๐(๐ก))โ๐โฒ(๐ก)โ๐๐ก๐
๐
Vector Line Integral
The vector line integral of the vector field ๐(๐ฅ, ๐ฆ, ๐ง) over the curve, ๐ถ, is given as
โซ ๐(๐ฅ, ๐ฆ, ๐ง) โ ๐๐
๐ถ
Let ๐(๐ก) be a parameterization of a curve, ๐ถ, for ๐ โค ๐ก โค ๐, then the vector line integral is also given as by the two equivalent expressions
โซ (๐(๐(๐ก)) โ ๐โฒ(๐ก)) ๐๐ก๐
๐
= โซ (๐1(๐(๐ก))๐๐ฅ
๐๐ก+ ๐2(๐(๐ก))
๐๐ฆ
๐๐ก+ ๐3(๐(๐ก))
๐๐ง
๐๐ก) ๐๐ก
๐
๐
Work done by a Vector Force Field
The work done on a particle moving along curve parameterized by ๐(๐ก) in the presence of a vector force field, ๐ญ, is given as
๐ = โซ (๐ญ(๐(๐ก)) โ ๐โฒ(๐ก)) ๐๐ก๐
๐
Flux Across a Plane Curve
The flux across a plane curve parameterized by ๐(๐ก) in the presence of a vector field, ๐, is given as
ฮฆ = โซ (๐(๐(๐ก)) โ ๐ต(๐ก)) ๐๐ก๐
๐
Where, ๐ต(๐ก) = โจ๐ฆโฒ(๐ก), โ๐ฅโฒ(๐ก)โฉ and ๐โฒ(๐ก) = โจ๐ฅโฒ(๐ก), ๐ฆโฒ(๐ก)โฉ
The Fundamental Theorem for Conservative Vector Fields
Assume ๐ญ = ๐ป๐ on a domain ๐ท. 1. If ๐ is a path along a curve ๐ถ from ๐ด to ๐ต in ๐ท, then
โซ ๐ญ โ ๐๐๐ถ
= โซ๐
๐๐ก๐(๐(๐ก))
๐
๐
๐๐ก = ๐(๐(๐)) โ ๐(๐(๐)) = ๐(๐ต) โ ๐(๐ด)
In other words, ๐ญ is path-independent 2. The circulation around a closed curve ๐ถ, (i.e. ๐ด = ๐ต) is zero
โฎ ๐ญ โ ๐๐๐ถ
= 0
Conservative Vector Field Criteria
The vector field ๐ญ is conservative on a simply connected domain, ๐ท, if ๐ญ satisfies the cross-
partials conditions derived from the fact that the curl is zero.
๐๐ข๐๐(๐ญ) = 0 โ ๐๐น3
๐๐ฆ=
๐๐น2
๐๐ง,
๐๐น3
๐๐ฅ=
๐๐น1
๐๐ง,
๐๐น2
๐๐ฅ=
๐๐น1
๐๐ฆ
Conservative Fields in Physics
The gravitational force and the electrostatic forces are conservative forces. They are both governed by the inverse square law.
Inverse Square Law Force and its Potential Function
๐ญ๐ช(๐ฅ, ๐ฆ, ๐ง) =๐ถ
๐2๐๐ โ ๐(๐ฅ, ๐ฆ, ๐ง) =
๐ถ
๐
Specifically,
Gravitational Force Electrostatic Force
๐ญ๐บ = โ๐บ๐๐
๐2๐๐ ๐ญ๐ฌ =
๐๐๐
๐2๐๐
Where, ๐บ = 6.67๐ธโ11, ๐ = 8.9๐ธ9, ๐1 and ๐2 are the two masses in kilograms, ๐1 and ๐2
are the two charges in Coulombs, and ๐๐ = โจ๐ฅ
๐,๐ฆ
๐,๐ง
๐โฉ.
Scalar Line Integral
Let ๐(๐ก) be a parameterization of a curve, ๐ถ, for ๐ โค ๐ก โค ๐, then the scalar line integral is also given as
โซ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐
๐ถ
= โซ ๐(๐(๐ก))โ๐โฒ(๐ก)โ๐๐ก๐
๐
Vector Line Integral
Let ๐(๐ก) be a parameterization of a curve, ๐ถ, for ๐ โค ๐ก โค ๐, then the vector line integral is also given as by the two equivalent expressions
โซ ๐ญ(๐ฅ, ๐ฆ, ๐ง) โ ๐๐
๐ถ
โซ (๐ญ(๐(๐ก)) โ ๐โฒ(๐ก)) ๐๐ก๐
๐
Work Along a Curve Flux Across a Curve
๐ = โซ (๐ญ(๐(๐ก)) โ ๐โฒ(๐ก)) ๐๐ก๐
๐
ฮฆ = โซ (๐(๐(๐ก)) โ ๐ต(๐ก)) ๐๐ก๐
๐
Scalar Surface Integral
Let ๐ฎ(๐ข, ๐ฃ) be a parameterization of a surface, ๐ฎ, on the domain. The scalar surface integral of the function ๐(๐ฅ, ๐ฆ, ๐ง) over the surface on the given domain is
โฌ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐๐ฎ
= โฌ ๐(๐ฎ(๐ข, ๐ฃ))๐ท
โ๐ต(๐ข, ๐ฃ)โ๐๐ข๐๐ฃ
For ๐(๐ฅ, ๐ฆ, ๐ง) = 1, we obtain the surface area on the domain ๐ท.
๐ด๐๐๐(๐ฎ) = โฌ โ๐ต(๐ข, ๐ฃ)โ๐๐ข๐๐ฃ๐ท
Scalar Surface Integral over a Surface ๐ = ๐(๐, ๐)
The scalar surface integral of the function ๐(๐ฅ, ๐ฆ, ๐ง) over a portion of a surface that can be represented as ๐ง = ๐(๐ฅ, ๐ฆ), is given as
โฌ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐๐ฎ
= โฌ ๐(๐ฅ, ๐ฆ, ๐(๐ฅ, ๐ฆ))๐ท
(โ๐๐ฅ2 + ๐๐ฆ
2 + 1)๐๐ฅ๐๐ฆ
Vector Surface Integral
Let ๐ฎ(๐ข, ๐ฃ) be a parameterization of a surface, ๐ฎ, on the domain, ๐ท. The vector surface integral, also called the flux, of the vector field ๐ญ(๐ฅ, ๐ฆ, ๐ง) over the surface on the given domain is
โฌ (๐ญ โ ๐)๐๐๐ฎ
= โฌ (๐ญ(๐ฎ(๐ข, ๐ฃ)) โ ๐ต(๐ข, ๐ฃ)) ๐๐ข๐๐ฃ๐ท
The final series of lessons introduced the Fundamental Theorems of Vector Calculus. These theorems are also shown to follow directly from the Fundamental Theorem of Single Variable Calculus. These theorems are extremely important and can be used as a gateway for more advanced studies in various science and engineering applications.
Greenโs Theorem
Let ๐ท be a domain in ๐ 2 whose boundary is a simple closed curve, ๐ถ, oriented
counterclockwise. Then
โฌ (๐๐ข๐๐๐ง(๐ ))๐๐ด๐ท
= โฎ ๐ญ โ ๐๐๐ถ
Where, ๐๐ข๐๐๐ง(๐ญ) = (๐๐น2(๐ฅ,๐ฆ)
๐๐ฅโ
๐๐น1(๐ฅ,๐ฆ)
๐๐ฆ)
With ๐ญ = โจ๐น1(๐ฅ, ๐ฆ), ๐น2(๐ฅ, ๐ฆ)โฉ and ๐๐ = โจ๐๐ฅ, ๐๐ฆโฉ, we can also express the line integral as
โฎ ๐ญ โ ๐๐๐ถ
= โฎ ๐น1(๐ฅ, ๐ฆ)๐๐ฅ + ๐น2(๐ฅ, ๐ฆ)๐๐ฆ๐ถ
Area of Region Using Greenโs Theorem
There are three equivalent formulas we can use for the area of a region, ๐ท, enclosed by a
simple curve, ๐ถ.
๐ด๐๐๐ ๐ธ๐๐๐๐๐ ๐๐ ๐๐ฆ ๐ถ = (โฎ ๐ฅ๐๐ฆ๐ถ
) = (โฎ โ๐ฆ๐๐ฅ๐ถ
) = (1
2โฎ ๐ฅ๐๐ฆ โ ๐ฆ๐๐ฅ๐ถ
)
Greenโs Theorem Using Normal Vector โ Flux
Using the normal vector to the curve, Greenโs Theorem can be used to express the flux across the curve as follows
โฌ ๐๐๐ฃ(๐ญ)๐๐ด๐ท
= โฎ (๐ญ โ ๐ต)๐๐ก๐ถ
Where, ๐ต(๐ก) = โจ๐ฆโฒ(๐ก), โ๐ฅโฒ(๐ก)โฉ and ๐๐๐ฃ(๐ญ) = (๐๐น1
๐๐ฅ+
๐๐น2
๐๐ฆ)
General Form of Greenโs Theorem
Greenโs theorem can also be applied to non-simple regions as long as we keep in mind the fact that the region to be considered always lies to the left of the curve according to its orientation.
C1
C2
D
C3
In this example the region, D, is represented as
๐ท = ๐ถ1 + ๐ถ2 โ ๐ถ3
Surfaces and Surface Boundaries
Different surfaces may have different types of boundaries. For example, the surface below has a single simple closed curve as its boundary. We define the orientation of the curve as follows:
โข When you walk around the curve with your body pointing out in the direction of the normal vector, you should be walking in such a way that the surface is to your left side.
n
C
S
y
x
z
Stokesโ Theorem
Let ๐ be an oriented smooth surface that is bounded by a single simple closed curve, ๐ถ, and let ๐ญ be a vector field. Then
โฌ ๐๐ข๐๐(๐ญ) โ ๐๐บ๐
= โฎ ๐ญ โ ๐๐๐ถ
Where, ๐๐ข๐๐(๐ญ) = ๐ป ร ๐ญ
Surface Independence
The surface integral of a vector field, ๐ญ, with an associated vector potential function, ๐จ, (where ๐ญ = ๐๐ข๐๐(๐จ)), is surface independent. It depends only on the boundary curve, ๐ถ.
โฌ ๐ญ โ ๐๐บ๐๐๐ฅ
= โฌ ๐๐ข๐๐(๐จ) โ ๐๐บ๐๐๐ฅ
= โฎ ๐จ โ ๐๐๐ถ
Divergence Theorem
Let ๐ be a closed surface that encloses a region, ๐, in ๐ 3. Assume that S is piecewise smooth and is oriented by a normal vector pointing to the outside of ๐. Let ๐ญ be a vector field whose domain contains ๐. Then
โญ ๐๐๐ฃ(๐ญ)๐๐๐
= โฌ ๐ญ โ ๐๐บ๐
Gaussโs Law
The electric flux through a closed surface is proportional to the total charge enclosed within the surface.
โฌ ๐ฌ โ ๐๐บ๐
=๐๐
๐0
Where, ๐ฌ = (๐
4๐๐0) (
๏ฟฝฬ๏ฟฝ
๐2) and ๏ฟฝฬ๏ฟฝ = โจ๐ฅ
๐,๐ฆ
๐,๐ง
๐โฉ.
Relationship Between Fundamental Theorems
In a general sense the theorems relate the integral of some type of derivative of some function over some region to the values of that function along the boundary of the region.
Fundamental Theorem of Single Variable Calculus
โซ ๐โฒ(๐ก)๐๐ก ๐
๐
= ๐(๐) โ ๐(๐)
Relates the integral of the derivative of a scalar function over a one-dimensional region to the values of the function at the endpoints of the region.
Gradient Theorem
โซ ๐ป๐ โ ๐๐๐ถ
= ๐(๐) โ ๐(๐)
Relates the integral of the gradient of a scalar function over a curve in three dimensions, ๐ถ, to the values of that function at the endpoints of the curve.
Greenโs Theorem
โฌ ๐๐ข๐๐๐ง(๐ญ)๐๐ด๐ท
= โฎ ๐ญ โ ๐๐๐ถ
Relates the double integral of the two dimensional curl of a vector field over a region, ๐ท, to the value of the line integral of that vector field along the boundary curve for that region, ๐ถ.
Stokesโ Theorem
โฌ ๐๐ข๐๐(๐ญ) โ ๐๐บ๐
= โฎ ๐ญ โ ๐๐๐ถ
Relates the surface integral of the three dimensional curl of a vector field over a surface, ๐, to the value of the line integral of that vector field along the boundary curve for that surface, ๐ถ.
Divergence Theorem
โญ ๐๐๐ฃ(๐ญ)๐๐๐
= โฌ ๐ญ โ ๐๐บ๐
Relates the triple integral of the divergence of a vector field over a 3D region, ๐, to the value of the surface integral of that vector field over the boundary surface for the region, ๐.
By: ferrantetutoring