Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place. Commercial Alternative to JupyterHub.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place. Commercial Alternative to JupyterHub.
Image: ubuntu2204
Line Integrals
Definition If is a function defined on a curve that is parametrized by , , then the line integral of over is provided this limit exists.
Line integrals in the 2D plane
Let for (the function value is nonnegative over the line). The line integral is the area of the portion of the cylindrical surface or ''wall'' beneath the function .
How to evaluate a line integral with curve
Recall that we can define the variable as
Then we have and the change of variable gives
Steps to integrate a continuous function over a curve :
Find a smooth parametrization of ,
Evaluate the integral as
Example: Integrate over the line segment joining the origin to the point .
Solution: Let for be the line segment , and we have
Additivity
For a piecewise smooth curve made by joining , we have That is, we sum the line integrals over all disjoint subcurves to get the line integral over the curve .
Example: Integrate over which goes from the origin directly to the point , and from to .
Solution:
For : let , we have For : let , we have The line integral is the sum of the two values:
Example: Find the line integral of over the helix , .
Solution:
Mass and moment formulas for coil springs, wires, and thin rods lying along a smooth curve in space
Mass:
First moments about the coordinate planes:
Coordinates of the center of mass:
Moments of inertia about axes and other straight lines
Example: A slender metal arch, denser at the bottom than at the top, lies along the semicircle , , in the -plane. Find the center of the arch's mass if the density on the arch is .
Solution:
Let for . Then the total mass is The first moment is So, the center is
Vector Fields
A vector field is a function that assigns a vector to each point in its domain. A vector field on a 3D domain might have a formula like
A field is continuous if its component functions , , and are continuous;
A field is differentiable if its component functions are differentiable.
Example: tangent vector and normal vector of a curve.
Special vector fields: gradient fields
We define the gradient field of a differentiable function to be the field of gradient vectors
At , the gradient field gives a vector pointing toward the greatest increase of .
Its magnitude is the directional derivative in the direction of the greatest increase of .
Find the vector field
Suppose that the temperature at in a region of space is given by and that is the gradient of .
Line integrals of vector fields
Work done by a force over a curve
Let the tangent vector , a unit vector tangent to the path. The work done along the subarc from to shown below is approximately
Definition Let be a smooth curve parametrized by , , and be a continuous force field over a region containing . Then, the work done in moving an object from the point to the point along is
Definition Let be a vector field with continuous components defined along a smooth curve parametrized by , . The line integral of along C is
Line integrals of vector fields
Evaluate the integral of along in the following steps
Express the vector field as
Find the derivative vector .
Evaluate the line integral
Example: Let and , .
Solution:
Scalar differential form
line integral with respect to , , or
Let and
Different ways to write the work integral
Different ways to write the work integral for over the curve
Example: Evaluate , where is the helix ,
Solution:
Example: Find the work done by the force field along the curve , , from to .
Solution:
Flow integrals and circulation for velocity fields
Definition If parametrizes a smooth curve in the domain of a continuous velocity field , the flow along the curve from to is The integral is called a flow integral. If the curve starts and ends at the same point, so that , the flow is called the circulation around the curve.
Example: A fluid's velocity field is . Find the flow along the helix , .
Solution:
Example: Find the circulation of the field around the circle .
Solution:
Flux across a simple closed-plane curve
Definition A curve in the -plane is simple if it does not cross itself. When a curve starts and ends at the same point, it is a closed curve or loop.
Definition If is a smooth, simple closed curve in the domain of a continuous vector field , and if is the outward-pointing unit normal vector on , the flux of across is
How to evaluate the flux
The is orthogonal to . Note that there are two unit vectors orthogonal to the vector , and they are in the opposite direction.
If the curve is clockwise, then the vector is to the left of the curve while a particle is moving on the curve, so the angle of the vector is obtained by adding to the angle of the vector . That is
If the curve is counterclockwise, then the vector is to the right of the curve while a particle is moving on the curve, so the angle of the vector is obtained by subtractinging from the angle of the vector . That is
Remind that we have Therefore for the counterclockwise case, we have
So we have
Example: Find the flux of across the circle .
Solution: Let , then
Line integrals in conservative fields
If and are two points in an open region , the line integral of a field , defined on , along from to , usually depends on the path . For some fields, however, the integral's value is the same for all paths from to .
Definition If is a vector field defined on and for some scalar function on , then is called a potential function for .
Let the path from to be for .
Theorem (Theorem 1)
Let be a smooth curve joining the point to the point in the plane or space and parametrized by . Let be a differentiable function with a continuous gradient vector on a domain containing . Then
Example: Suppose the force field is the gradient of the function
Find the work done by in moving an object along a smooth curve joining to that does not pass through the origin.
Solution: The work done is
Path independence
Definition Let be a vector field defined on an open region , and suppose that for any two points and in , the line integral along a path from to is the same over all paths from to . Then the integral is path independent in and the field is conservative on .
To make sure that the following computations and results are valid, we assume:
the curves are piecewise smooth.
the vector fields have continuous first partial derivatives.
the domains are connected (a smooth curve connects any two points). Some results require to be simply connected (every loop in can be contracted to a point in ).
Note that
A donut is connected but not simply connected.
The set of two disjoint cubics is simply connected but not connected.
Conservative fields are gradient fields
Theorem (Theorem 2)
Let be a vector field with continuous components throughout an open connected region in space. Then is conservative if and only if is a gradient field for a differentiable function .
The theorem is prove by constructing the function .
Example: Find the work done by the conservative field along any smooth curve joining the point to .
Solution: The work done is
Loop property of conservative fields
We let denote the integration around a closed path.
Theorem
The following statements are equivalent:
around every loop (that is, closed curve ) in .
The field is conservative on .
Summary
How do we find the function ?
Finding potentials for conservative fields
Let be a field on an open simply connected domain whose component functions have continuous first partial derivatives. Then, is conservative if and only if
Example: Show that is conservative over its natural domain and find a potential function for it.
Solution:
Example: Show that is not conservative.
Solution:
Example: Show that the vector field satisfies the equations in the component test but is not conservative over its natural domain. Explain why this is possible.
Solution: Let for , then we have
Exact differential forms
Definition Any expression is a differential form. A differential form is exact on a domain in space if for some scalar function throughout .
The differential form is exact if and only if is conservative.
Example: Show that is exact and evaluate the integral
over any path from to .
Solution: