Functionality: Produce a vector field (curl) and a scalar field (divergence) respectively.
Curl: Measures the rotation or "circulation" of a vector field at a given point. If a small paddle wheel were placed in the field, the curl would indicate how and where it would rotate.
Divergence: Measures the magnitude of a vector field's source or sink at a given point. If divergence is positive, it's a source; if negative, it's a sink; if zero, the field is incompressible (no net flow in or out).
Vectors and Components
Given a vector field represented as: F=Pi+Qj+Rk
where the partial derivatives of P, Q, R exist.
Curl Definition: The curl of \textbf{F} is a vector field defined by: curlF=iamp;jamp;kdxdamp;dydamp;dzdPamp;Qamp;R=i(∂y∂R−∂z∂Q)−j(∂x∂R−∂z∂P)+k(∂x∂Q−∂y∂P)
Example Problem
If the vector field is defined as: F=x2i+xyzj+y2k
Find curl:
The calculation is as follows: curlF=iamp;jamp;kdxdamp;dydamp;dzdx2amp;xyzamp;y2
Theorem 1:
Statement: If f is a scalar field with continuous and ordered partial derivatives, the curl of the gradient of f is given by: curl(∇f)=0
Proof Steps:
Expand the gradient: curl(∇f)=iamp;jamp;k∂x∂amp;∂y∂amp;∂z∂∂x∂famp;∂y∂famp;∂z∂f
Confirmations: The second-order partial derivatives are commutative (f<em>xy=f</em>yx).
Curl of a Conservative Vector Field:
Conclusion: The curl of any conservative vector field is zero.
Example Problem - Non-Conservative Field:
Show that the vector field F=−xzi+xyzj−y2k
is not conservative.
Theorem 2:
If \textbf{F} is a vector field defined in an open region in R3 that is simply connected, and curl \textbf{F} equals zero, then \textbf{F} is a conservative vector field.
Example 3:
Analyze the vector field F(x,y,z)=y2z3i+2xy3z3j+3x2y2zk
It is determined to be a conservative vector field in R3 .
Finding Potential Functions:
Find a scalar function such that F=∇f
Steps: Set the partial derivatives equal to the components of \textbf{F} and solve.
Divergence:
Definition: The divergence of \textbf{F} is a scalar field defined as: divF=∂x∂P+∂y∂Q+∂z∂R
Theorem B:
Statement: If \textbf{F} is a vector field on an open region in R3 with continuous partial derivatives, then: div(curl F)=0
Vector Forms of Green's Theorem:
Vector field form is defined as: F=Pi+Qj
Green's Theorem relates line integrals around a simple closed curve C to double integrals over the region D it encloses.
Tangent Form (Circulation Form): Relates the line integral of the tangential component of a vector field to the double integral of the curl's out-of-plane component. ∮<em>CF⋅dr=∬</em>D(∂x∂Q−∂y∂P)dA=∬D(curlF)⋅kdA
Normal Form (Flux Form): Relates the line integral of the normal component of a vector field to the double integral of the divergence of the vector field. ∮<em>CF⋅nds=∬</em>D(∂x∂P+∂y∂Q)dA=∬DdivFdA