Vector Field

Work in progress. This note is still being written and incomplete.

2 min read Last updated Tue Aug 18 2026 03:09:13 GMT+0000 (Coordinated Universal Time)

A vector field in Rn\mathbb{R}^n is a function that assigns a vector to each point in its domain DRnD \subseteq \mathbb{R}^n,

F(x,y,z)=f(x,y,z)i^+g(x,y,z)j^+h(x,y,z)k^\boldsymbol{F}(x,y,z) = f(x,y,z)\hat{i} + g(x,y,z)\hat{j} + h(x,y,z)\hat{k}

Here ff, gg, hh are real-valued component functions of F\boldsymbol{F} on DD.

F\boldsymbol{F} is continuous iff each component function is continuous. F\boldsymbol{F} is differentiable iff each component function is differentiable.

Inverse-Square Field

Let r0\boldsymbol{r} \ne \boldsymbol{0} be the position vector of a point and cc a constant. A vector field of the below form is an inverse-square field.

F(r)=cr3r\boldsymbol{F}(\boldsymbol{r}) = \frac{c}{\lVert \boldsymbol{r} \rVert^3}\boldsymbol{r}

For example, the electric field given by Coulomb’s law is an inverse-square field

Conservative Field

A vector field F\boldsymbol{F} in 2-space or 3-space is conservative on a region DD iff it is the gradient field of some scalar function ϕ\phi defined on DD,

F=ϕ\boldsymbol{F} = \nabla \phi

ϕ\phi is a potential function, or scalar potential, of F\boldsymbol{F}.

Divergence

Let F(x,y,z)=fi^+gj^+hk^\boldsymbol{F}(x,y,z) = f\hat{i} + g\hat{j} + h\hat{k}. The divergence of F\boldsymbol{F} is

divF=F=fx+gy+hz\text{div}\,\boldsymbol{F} = \nabla \cdot \boldsymbol{F} = \frac{\partial f}{\partial x} + \frac{\partial g}{\partial y} + \frac{\partial h}{\partial z}

divF\text{div}\,\boldsymbol{F} is a scalar field.

Curl

Let F(x,y,z)=fi^+gj^+hk^\boldsymbol{F}(x,y,z) = f\hat{i} + g\hat{j} + h\hat{k}. The curl of F\boldsymbol{F} is

curlF=×F=i^j^k^xyzfgh\text{curl}\,\boldsymbol{F} = \nabla \times \boldsymbol{F} = \begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\[4pt] \dfrac{\partial}{\partial x} & \dfrac{\partial}{\partial y} & \dfrac{\partial}{\partial z} \\[4pt] f & g & h \end{vmatrix}

curlF\text{curl}\,\boldsymbol{F} is a vector field.

Was this helpful?