# Analogies for grad, div, curl, and Laplacian?

Mathematics Educators Asked by Robbie_P_math on July 27, 2020

I want to try making some calculation-less questions about vector calculus identities that are solely based upon picture diagrams of vector fields, or fields that could be sketched out by hand. The purpose of this is to introduce the ideas so that students aren’t just calculating and using formulas without thinking about what they mean.

It seems that the most common analogies to these vector calculus identities are the following:

• Gradient is the steepest path up a mountain at a location.
• Divergence is the way dust would disperse (or contract) at a specific location. Usually questions involve trying to find out if the field acts like a source, a sink, or "zero" (or maybe there’s a better description for zero divergence?)
• Curl is how a paddle wheel (at a location) would rotate. Usually questions involve comparing vectors contributing to clockwise and counterclockwise motions of the wheel, and seeing which is net positive.

I can’t remember an analogy for the Laplacian but it seems that it could be understood as the "average changing".

I motivate these grad, curl, and div for myself as being the things which would make the respective version of Stokes' theorem true infinitesimally. You can read about this interpretation in the context of differential forms here:

https://math.stackexchange.com/a/614473/34287

Given that interpretation, we can see

1. The gradient at a point $$p$$ is the vector which represents the map $$df|_p$$. In other words $$df|_p(vec{v}) = nabla f|_p cdot vec{v}$$. You can see that the dot product is maximized when $$vec{v} = nabla f|_p$$, which justifies the "steepest slope" interpretation.
2. Given a vector field $$F$$, convert it into a covector field $$omega$$ via $$omega(vec{v}) = F cdot vec{v}$$. Then the integral of the differential form $$omega$$ along a curve is the same as the "line integral" of the vector field $$F$$. Following my answer above, you can define $$domega$$ in terms of the line integral around little parallelograms. $$domega$$ is a 2-form, but it can be converted into a vector field by a similar representation trick (this one only works in $$mathbb{R}^3$$): define $$textrm{curl}(F)$$ as the vector for which $$textrm{curl}(F) cdot (vec{v} times vec{w}) = domega(vec{v},vec{w})$$. The RHS is maximized when the line integral around a small parallelogram defined by $$vec{v}$$ and $$vec{w}$$ is maximized and then the LHS would require that $$textrm{curl}(F)$$ be perpendicular to that parallelogram, and pointing in the direction given by the right hand rule so as to make the integral positive.
3. Given a vector field $$F$$, convert it into a $$2$$-form $$omega$$ via $$omega(vec{v},vec{w}) = textrm{Det}(vec{v},vec{w},vec{F}) = vec{F} cdot ( vec{v} times vec{w})$$. The integral of $$omega$$ over a surface is the same as the surface integral of $$F$$. We can define $$domega(vec{v},vec{w},vec{b})$$ in terms of the integral of $$omega$$ around the boundary of the small oriented parallelepiped defined by the three vectors. This is the same as the surface integral of $$F$$ over that same surface. This is a top level form in $$mathbb{R}^3$$, so it is a multiple of the volume form, i.e. $$textrm{div}(F)textrm{Det}(vec{v},vec{w},vec{b}) = domega(vec{v},vec{w},vec{b})$$. So the sign of the divergence can be "seen" according to whether most of the vectors $$F$$ are pointing "into" or "out of" a small parallelepiped based at $$p$$.

You can replace the parallelogram with a circle and the parallelepiped with a sphere to obtain a more "symmetric" representation, but you loose the easy connection with the differential forms. Also, it is much easier to decompose surfaces into small parallelograms (and solids into small parallelepipeds), which leads to the global Stokes' theorems being just "telescoping" sums, with cancellation of all interior terms.

I think the real difficulty with motivating these things comes from the "unnatural" conversion of differential forms into scalar and vector fields, in ways which only work in $$mathbb{R}^3$$. They are somewhat arbitrary. They are also unnecessary, as any work you want to do can be done with the differential forms themselves.

These will let you draw pictures though! In each case, you have to imagine many different "test" domains of integration, and try to figure out which domain will maximize the integral. The grad, curl, and div connect to those maximizing domains.

EDIT: I forgot to mention the laplacian, which doesn't really fit into this framework. The interpretation you link to seems pretty much optimal though.

Answered by Steven Gubkin on July 27, 2020

## Related Questions

### Ideal Features of Online Homework Platform?

0  Asked on January 6, 2022 by opal-e

### Intuition or geometry for Partial Fractions

2  Asked on December 28, 2021

### Impressive common misleading interpretations in statistics to make students aware of

20  Asked on November 22, 2021 by markus-klein

### Generating system of equations with unique solutions

2  Asked on November 17, 2021

### Ideas for explaining 4D and higher dimensions

11  Asked on September 6, 2021

### Concrete way to teach addition and subtraction of fractions

5  Asked on September 6, 2021

### What are some of the open problems that can be suitably introduced in a calculus course?

4  Asked on September 6, 2021 by zuriel

### The use of “$therefore$” and “$because$”

2  Asked on September 6, 2021

### When do college students learn rigorous proofs?

11  Asked on September 6, 2021 by user13395

### Why is a translated exponential function considered an exponential function?

4  Asked on September 6, 2021 by eleven-eleven

### Is there a literature database like MathSciNet for Mathematics Education?

1  Asked on September 6, 2021

### How to deal with a talented 11-year-old pupil?

8  Asked on September 6, 2021 by welshgandalf

### Teaching math long distance

3  Asked on September 6, 2021 by tkowal

### Why do some students struggle so much with fractions?

4  Asked on September 6, 2021 by timothy

### Are there any proofs of Euler’s Formula that do not rely on calculus?

8  Asked on September 6, 2021 by madscientist

### How do I show students the Beauty of Mathematics?

18  Asked on September 6, 2021 by axel-tong

### How rigorous should high school calculus be?

6  Asked on September 6, 2021 by a-goodier

### Future way of learning mathematics (towards graduate level)

2  Asked on September 6, 2021 by nothing

### Workbooks for advanced high school math topics

2  Asked on September 6, 2021

### Math Education for Students who use Right-to-Left Written Languages

2  Asked on September 6, 2021 by ari

### Ask a Question

Get help from others!