Lesson 25: Vector Fields (17.1)

Accessible transcription generated on 3/23/2026

Original Notes

Page 1

Lesson 25: Vector Fields (17.1)

The following table outlines the progression of function types through various stages of calculus, categorized by their input and output dimensions, culminating in the definition of a vector field.

Context input function \(\longrightarrow\) Output Examples
Calc I & II 1 Number 1 Number eg: \(f(x) = \sin x\)
\(f(x) = x^3 - x\)
Ch. 14 1 Number 2-vector
or
3-vector
eg: \(\vec{r}(t) = \langle \sin t, \cos t \rangle\)
\(\vec{r}(t) = \langle \sin t, \cos t, t \rangle\)
Ch. 15, 16 2 Numbers
or
3 Numbers
1 Number eg: \(f(x,y) = x^2 + y^2\)
\(f(x,y,z) = x + \sin y + z^2\)
Ch. 17 2 Numbers
3 Numbers
2-vector
3-vector
Vector field

Page 2

Physical examples:

1) Acceleration due to gravity = \(\langle 0, 0, -9.8 \rangle\)

A 3D Cartesian coordinate system diagram illustrating a uniform vector field for acceleration due to gravity. The system shows three axes meeting at an origin. Distributed throughout the 3D space are several identical blue arrows, all pointing vertically downwards in the negative z-direction. The uniform length and direction of the arrows visually represent a constant vector field where every vector is defined as \(\langle 0, 0, -9.8 \rangle\).
Visual Description: A 3D Cartesian coordinate system diagram illustrating a uniform vector field for acceleration due to gravity. The system shows three axes meeting at an origin. Distributed throughout the 3D space are several identical blue arrows, all pointing vertically downwards in the negative z-direction. The uniform length and direction of the arrows visually represent a constant vector field where every vector is defined as \(\langle 0, 0, -9.8 \rangle\).

2) Wind velocity

A 3D Cartesian coordinate system diagram illustrating wind velocity as a non-uniform vector field. The system features three axes meeting at an origin. Multiple blue arrows of varying lengths and pointing in different directions are scattered throughout the space. This variety in arrow size and orientation represents a vector field where the magnitude and direction of the vectors change depending on the spatial location, which is characteristic of phenomena like wind.
Visual Description: A 3D Cartesian coordinate system diagram illustrating wind velocity as a non-uniform vector field. The system features three axes meeting at an origin. Multiple blue arrows of varying lengths and pointing in different directions are scattered throughout the space. This variety in arrow size and orientation represents a vector field where the magnitude and direction of the vectors change depending on the spatial location, which is characteristic of phenomena like wind.

Non-examples:

Temperature, pressure.


Page 3

2D examples

1) \(\vec{F}(x,y) = \langle 1, -1 \rangle\)

\(\vec{F}(1, 0) = \langle 1, -1 \rangle\)
\(\vec{F}(1, 5) = \langle 1, -1 \rangle\)

A Cartesian coordinate system showing a constant vector field. Five blue vectors are plotted at different points across the quadrants. Each vector has the same length and points in the same direction, diagonally down and to the right at a 45-degree angle. This illustrates that for the vector field \(\vec{F}(x,y) = \langle 1, -1 \rangle\), the vector assigned to any point \((x,y)\) is constant in both magnitude and direction.
Visual Description: A Cartesian coordinate system showing a constant vector field. Five blue vectors are plotted at different points across the quadrants. Each vector has the same length and points in the same direction, diagonally down and to the right at a 45-degree angle. This illustrates that for the vector field \(\vec{F}(x,y) = \langle 1, -1 \rangle\), the vector assigned to any point \((x,y)\) is constant in both magnitude and direction.

2) \(\vec{F}(x,y) = \langle -y, x \rangle\)

\(\vec{F}(1, 0) = \langle 0, 1 \rangle\)
\(\vec{F}(3, 0) = \langle 0, 3 \rangle\)
\(\vec{F}(1, 3) = \langle -3, 1 \rangle\)
\(\vec{F}(2, -1) = \langle 1, 2 \rangle\)
\(\vec{F}(0, 1) = \langle -1, 0 \rangle\)
\(\vec{F}(-1, 0) = \langle 0, -1 \rangle\)
\(\vec{F}(0, -1) = \langle 1, 0 \rangle\)

A Cartesian coordinate system showing a rotational vector field. Several blue vectors are plotted to demonstrate the field \(\vec{F}(x,y) = \langle -y, x \rangle\). On the positive x-axis at (1,0), a vector points straight up; further out at (3,0), a significantly longer vector points straight up. On the positive y-axis at (0,1), a vector points to the left. On the negative x-axis at (-1,0), a vector points straight down. On the negative y-axis at (0,-1), a vector points to the right. Additionally, a vector at (1,3) points sharply left and slightly up, while a vector at (2,-1) points right and up. The resulting pattern shows vectors that are always tangent to concentric circles centered at the origin, creating a counter-clockwise rotation with magnitudes that increase linearly with distance from the origin.
Visual Description: A Cartesian coordinate system showing a rotational vector field. Several blue vectors are plotted to demonstrate the field \(\vec{F}(x,y) = \langle -y, x \rangle\). On the positive x-axis at (1,0), a vector points straight up; further out at (3,0), a significantly longer vector points straight up. On the positive y-axis at (0,1), a vector points to the left. On the negative x-axis at (-1,0), a vector points straight down. On the negative y-axis at (0,-1), a vector points to the right. Additionally, a vector at (1,3) points sharply left and slightly up, while a vector at (2,-1) points right and up. The resulting pattern shows vectors that are always tangent to concentric circles centered at the origin, creating a counter-clockwise rotation with magnitudes that increase linearly with distance from the origin.

Page 4

3D examples:

1. \(\vec{F}(x, y, z) = \langle 1, 0, -1 \rangle\)

A sketch of a 3D vector field on a coordinate system representing the constant vector function \(\vec{F}(x, y, z) = \langle 1, 0, -1 \rangle\). The diagram shows a set of 3D axes. Multiple blue arrows are drawn throughout the coordinate space, all of equal length and pointing in the same direction: forward (positive x-direction) and downward (negative z-direction), with no movement in the y-direction.
Visual Description: A sketch of a 3D vector field on a coordinate system representing the constant vector function \(\vec{F}(x, y, z) = \langle 1, 0, -1 \rangle\). The diagram shows a set of 3D axes. Multiple blue arrows are drawn throughout the coordinate space, all of equal length and pointing in the same direction: forward (positive x-direction) and downward (negative z-direction), with no movement in the y-direction.

2. \(\vec{F}(x, y, z) = \langle x, y, z \rangle\)

\(\vec{F}(1, 0, 0) = \langle 1, 0, 0 \rangle\)
\(\vec{F}(1, 1, 1) = \langle 1, 1, 1 \rangle\)
\(\vec{F}(2, 2, 2) = \langle 2, 2, 2 \rangle\)

A sketch of a 3D vector field representing the radial function \(\vec{F}(x, y, z) = \langle x, y, z \rangle\). The diagram shows a 3D Cartesian coordinate system with x, y, and z axes. Numerous blue arrows originate from various points in space and point directly away from the origin (0,0,0). Arrows are drawn pointing along the positive and negative directions of each axis, as well as diagonally into the octants. The length of the arrows increases as they get further from the origin, indicating that the magnitude of the vector is proportional to the distance from the source.
Visual Description: A sketch of a 3D vector field representing the radial function \(\vec{F}(x, y, z) = \langle x, y, z \rangle\). The diagram shows a 3D Cartesian coordinate system with x, y, and z axes. Numerous blue arrows originate from various points in space and point directly away from the origin (0,0,0). Arrows are drawn pointing along the positive and negative directions of each axis, as well as diagonally into the octants. The length of the arrows increases as they get further from the origin, indicating that the magnitude of the vector is proportional to the distance from the source.

Page 5

Radial Vector Fields

Let \(\vec{r} = \langle x, y, z \rangle\) and \(f(x, y, z)\) be a scalar function. The vector field \(\vec{F}(x, y, z) = f(x, y, z) \vec{r}\) is called a radial vector field.

e.g.

  1. \(\vec{F}(x, y, z) = \langle x, y, z \rangle = \vec{r}\)
  2. \(\vec{F}(x, y, z) = \frac{\vec{r}}{|\vec{r}|^p}\), where \(p\) is any number.
  3. \(\vec{F}(x, y) = \frac{\vec{r}}{|\vec{r}|} = \frac{1}{\sqrt{x^2+y^2}} \langle x, y \rangle \leadsto |\vec{F}| = \frac{|\vec{r}|}{|\vec{r}|} = 1\) at every point.
A vector field diagram representing the unit radial vector field F(x, y) = r / |r|. The diagram depicts a 2D Cartesian coordinate system with arrows pointing directly away from the origin in eight distinct radial directions: along the positive and negative x-axis, the positive and negative y-axis, and the four 45-degree diagonal lines. Along each of these eight rays, there are three blue arrows of equal length, signifying that the vector field has a constant magnitude of 1 at every point.
Visual Description: A vector field diagram representing the unit radial vector field F(x, y) = r / |r|. The diagram depicts a 2D Cartesian coordinate system with arrows pointing directly away from the origin in eight distinct radial directions: along the positive and negative x-axis, the positive and negative y-axis, and the four 45-degree diagonal lines. Along each of these eight rays, there are three blue arrows of equal length, signifying that the vector field has a constant magnitude of 1 at every point.

Page 6

Example

\(\vec{F}(x,y) = \langle y, x \rangle\), \(C\) is a unit circle \(x^2 + y^2 = 1\)

Where is \(\vec{F}\) tangent to \(C\)? (parallel to tangent line)
Where is \(\vec{F}\) Normal to \(C\)? (perpendicular)

Coordinate graph showing a unit circle \(x^2+y^2=1\) centered at the origin on a Cartesian grid. Several vector arrows originating from the circle's circumference represent the vector field \(\vec{F}(x,y) = \langle y, x \rangle\). At the point \((1, 0)\), a vector arrow points vertically upward, showing it is tangent to the circle. At a point in the first quadrant (approximately 45 degrees), a vector arrow points radially outward, showing it is normal to the circle. Other vectors in the first and fourth quadrants are shown pointing outward at various angles, illustrating the vector field's orientation relative to the circle boundary.
Visual Description: Coordinate graph showing a unit circle \(x^2+y^2=1\) centered at the origin on a Cartesian grid. Several vector arrows originating from the circle's circumference represent the vector field \(\vec{F}(x,y) = \langle y, x \rangle\). At the point \((1, 0)\), a vector arrow points vertically upward, showing it is tangent to the circle. At a point in the first quadrant (approximately 45 degrees), a vector arrow points radially outward, showing it is normal to the circle. Other vectors in the first and fourth quadrants are shown pointing outward at various angles, illustrating the vector field's orientation relative to the circle boundary.

Let \(g(x,y) = x^2 + y^2\)

\(C\) is Level curve \(g = 1\)

\(\vec{\nabla}g = \langle 2x, 2y \rangle\) is perpendicular to Level curves

\(\vec{F}\) is tangent to \(C \implies \vec{F} \perp \vec{\nabla}g\)

\(\vec{F}\) is Normal to \(C \implies \vec{F} \parallel \vec{\nabla}g\)


Page 7

Tangency and the Gradient Vector

The vector field \(\vec{F}\) is tangent to the curve \(C\) if it is perpendicular to the gradient vector of the constraint function \(g\): \[ \vec{F} \text{ is tangent to } C \Rightarrow \vec{F} \perp \vec{\nabla} g \]

Given \(\vec{F} = \langle y, x \rangle\) and \(\vec{\nabla} g = \langle 2x, 2y \rangle\), we have: \[ \vec{F} \perp \vec{\nabla} g \Rightarrow \langle y, x \rangle \cdot \langle 2x, 2y \rangle = 0 \] \[ 2xy + 2xy = 0 \] \[ 4xy = 0 \]

Diagram showing a unit circle on a Cartesian coordinate system. The circle is centered at the origin of the x and y axes. There are four blue dots marking the intercepts where the circle crosses the axes. At each of these points, a blue arrow represents a tangent vector field F. At the top intercept (0, 1), the vector points right. At the bottom intercept (0, -1), the vector points left. At the right intercept (1, 0), the vector points up. At the left intercept (-1, 0), the vector points down. These vectors illustrate the points where the vector field F = (y, x) is tangent to the curve C defined by the unit circle.
Visual Description: Diagram showing a unit circle on a Cartesian coordinate system. The circle is centered at the origin of the x and y axes. There are four blue dots marking the intercepts where the circle crosses the axes. At each of these points, a blue arrow represents a tangent vector field F. At the top intercept (0, 1), the vector points right. At the bottom intercept (0, -1), the vector points left. At the right intercept (1, 0), the vector points up. At the left intercept (-1, 0), the vector points down. These vectors illustrate the points where the vector field F = (y, x) is tangent to the curve C defined by the unit circle.

From the equation \(4xy = 0\), we find the points on the unit circle \(x^2 + y^2 = 1\) where the vector field is tangent to the curve by considering two cases:

Case 1: \(x = 0\)

Substituting into the unit circle equation: \[ x^2 + y^2 = 1 \] \[ 0^2 + y^2 = 1 \] \[ y^2 = 1 \] \[ y = \pm 1 \]

This yields the points: \((0, 1)\) and \((0, -1)\).

Case 2: \(y = 0\)

Substituting into the unit circle equation: \[ x^2 + y^2 = 1 \] \[ x^2 + 0^2 = 1 \] \[ x^2 = 1 \] \[ x = \pm 1 \]

This yields the points: \((1, 0)\) and \((-1, 0)\).


Page 8

Vector Field Normal to a Curve

Finding points where the vector field \(\vec{F}\) is normal to the curve \(C\):

\[\vec{F} \text{ is Normal to } C \Rightarrow \vec{F} \parallel \nabla g\]

Given \(\vec{F} = \langle y, x \rangle\) and \(\nabla g = \langle 2x, 2y \rangle\), we have:

\[\vec{F} = \langle y, x \rangle \parallel \nabla g = \langle 2x, 2y \rangle \Rightarrow \langle y, x \rangle = k \langle 2x, 2y \rangle\] \[\langle y, x \rangle = \langle 2kx, 2ky \rangle\]

This results in the following system of equations:

  1. \(y = 2kx\)
  2. \(x = 2ky\)

Substituting equation (1) into (2):

\[x = 2k(2kx) \Rightarrow x = 4k^2x\]

From the equation \(x = 4k^2x\), we analyze the possible solutions:

Case 1: \(x = 0\)

If \(x = 0\), then from equations (1) or (2), \(y = 0\). This gives the point \((0, 0)\). This point is rejected (marked with a red cross) because it does not lie on the constraint curve \(C: x^2 + y^2 = 1\).

A Cartesian coordinate graph showing a blue circle centered at the origin, representing the constraint curve C where x squared plus y squared equals 1. The horizontal x-axis and vertical y-axis are shown. Four green vectors are drawn originating from the circle at points approximately 45 degrees apart in each of the four quadrants. These vectors point directly away from the origin, illustrating that the vector field F is normal (perpendicular) to the circle at these specific points: (1/sqrt(2), 1/sqrt(2)), (-1/sqrt(2), 1/sqrt(2)), (-1/sqrt(2), -1/sqrt(2)), and (1/sqrt(2), -1/sqrt(2)).
Visual Description: A Cartesian coordinate graph showing a blue circle centered at the origin, representing the constraint curve C where x squared plus y squared equals 1. The horizontal x-axis and vertical y-axis are shown. Four green vectors are drawn originating from the circle at points approximately 45 degrees apart in each of the four quadrants. These vectors point directly away from the origin, illustrating that the vector field F is normal (perpendicular) to the circle at these specific points: (1/sqrt(2), 1/sqrt(2)), (-1/sqrt(2), 1/sqrt(2)), (-1/sqrt(2), -1/sqrt(2)), and (1/sqrt(2), -1/sqrt(2)).

Case 2: \(4k^2 = 1\)

This leads to two sub-cases for the constant \(k\):

Sub-case \(k = \frac{1}{2}\):

Substituting \(k\) back into equations (1) or (2) yields:

\[y = x\]

Substituting this into the constraint equation \(x^2 + y^2 = 1\):

\[2x^2 = 1\]

This gives the points: \(\left(\frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}}\right)\) and \(\left(-\frac{1}{\sqrt{2}}, -\frac{1}{\sqrt{2}}\right)\)

Sub-case \(k = -\frac{1}{2}\):

Substituting \(k\) back into equations (1) or (2) yields:

\[y = -x\]

Substituting this into the constraint equation \(x^2 + y^2 = 1\):

\[2x^2 = 1\]

This gives the points: \(\left(-\frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}}\right)\) and \(\left(\frac{1}{\sqrt{2}}, -\frac{1}{\sqrt{2}}\right)\)


Page 9

Gradient Field

Given any \(\phi(x,y,z)\) a scalar function,

\[\vec{F} = \vec{\nabla}\phi = \langle\phi_x, \phi_y, \phi_z\rangle \text{ is a vector field.}\]

Can every \(\vec{F}\) be written as \(\vec{F} = \vec{\nabla}\phi\), for some \(\phi\)?

Definition: If yes, \(\vec{F}\) is called a Gradient Field or Force Field.

Definition: Such a \(\phi\), if it exists, is called a potential function.


Page 10

Example: Determining if a Vector Field is a Gradient Field

Given \(\vec{F} = \langle y, x \rangle\), is \(\vec{F}\) a Gradient Field?

Can we find a potential function \(\phi(x, y)\) such that \(\vec{F} = \nabla \phi = \langle \phi_x, \phi_y \rangle\)?

i.e., \(\langle y, x \rangle = \langle \phi_x, \phi_y \rangle\)

(1) \(\phi_x = y \leadsto \frac{\partial \phi}{\partial x} = y\)

(2) \(\phi_y = x\)

Integrate w.r.t. \(x\):

\[ \phi(x, y) = \int y \, dx = xy + K(y) \]

Derivative w.r.t. \(y\):

\[ \phi_y = x + K'(y) \]

Use (2):

\[ x = x + K'(y) \] \[ K'(y) = 0 \leadsto K(y) = C \]

For \(\phi(x, y) = xy + C\), \(\nabla \phi = \vec{F} \Rightarrow \vec{F}\) is a Gradient Field.


Page 11

Determining if a Vector Field is a Gradient Field

Example: Given \(\vec{F} = \langle y, -x \rangle\), is \(\vec{F}\) a Gradient Field?

Can we find \(\phi(x, y)\) such that \(\vec{F} = \vec{\nabla}\phi = \langle \phi_x, \phi_y \rangle\)?

i.e., \(\langle y, -x \rangle = \langle \phi_x, \phi_y \rangle\)

From the above relation, we have two required conditions:

  1. \(\phi_x = y\)
  2. \(\phi_y = -x\)

Starting with condition (1):

\[\phi_x = y \rightarrow \frac{\partial \phi}{\partial x} = y\]

Integrating with respect to \(x\):

\[\phi(x, y) = \int y \, dx = xy + k(y)\]

Now, taking the derivative of this expression with respect to \(y\):

\[\phi_y = x + k'(y)\]

Using condition (2), where \(\phi_y = -x\), we substitute to find \(k'(y)\):

\[-x = x + k'(y)\] \[k'(y) = -2x\]

Note: \(k'(y)\) must be a function of \(y\) only. Because the result involves \(x\), this is NOT possible.

Conclusion: \(\vec{F}\) is Not a Gradient Field.