# Divergence, and the Two Great Theorems

> Divergence measures how much a vector field flows out of a point, and it turns out to be the key to two of the biggest theorems in vector calculus. We build the idea from a picture of fluid crossing a little loop, turn it into a formula, and compute it for a spreading field and for a pure swirl. Then we state the divergence theorem, that the total production inside a solid equals the flux through its skin, and see why it holds: chop the solid into boxes, and every interior wall cancels against its neighbour. Curl arrives as the twin measurement, spin instead of outflow, and Stokes' theorem falls out of the same argument one dimension down. We finish by setting both beside the fundamental theorem of calculus, where all three are visibly one sentence.

- Canonical watch page: [Divergence, and the Two Great Theorems](https://academa.ai/lectures/divergence-and-stokes-theorems)
- Publisher: [Academa, Inc.](https://academa.ai)
- Subject: Mathematics
- Published: 2026-08-28T22:51:35.000Z
- Updated: 2026-08-28T22:51:35.000Z
- Duration: PT584S (9 minutes 44 seconds)
- Chapters: 5
- Views: 0
- Language: en-US
- Access: Free
- Video stream: [HLS content](https://academa.ai/media/l/01M14TZ5MGQ0E91Y0973T7G66Y/0/dark/master.m3u8)
- Audiovisual record: [Semantic JSON](https://academa.ai/media/l/01M14TZ5MGQ0E91Y0973T7G66Y/0/semantic.json)
- Thumbnail: [Image](https://academa.ai/media/l/01M14TZ5MGQ0E91Y0973T7G66Y/0/dark/poster.jpg)

## Description

Divergence as outward flow, the divergence theorem, and Stokes' theorem, built from one picture and one cancelling argument.

## Chapters

- [00:00–01:49.588 · Flow Out of a Point](https://academa.ai/lectures/divergence-and-stokes-theorems?t=0)
- [01:49.588–03:45.002 · Divergence](https://academa.ai/lectures/divergence-and-stokes-theorems?t=109.58800000000001)
- [03:45.002–05:56.454 · The Divergence Theorem](https://academa.ai/lectures/divergence-and-stokes-theorems?t=225.00212500000004)
- [05:56.454–08:21.149 · Curl, and Stokes' Theorem](https://academa.ai/lectures/divergence-and-stokes-theorems?t=356.4537916666667)
- [08:21.149–09:44 · One Sentence](https://academa.ai/lectures/divergence-and-stokes-theorems?t=501.1487291666667)

## Transcript

### [00:00 · Flow Out of a Point](https://academa.ai/lectures/divergence-and-stokes-theorems?t=0)

Vector calculus ends with the divergence theorem and Stokes' theorem. They make the same startling promise: what a field does throughout a region can be recovered from what it does on the boundary. The divergence theorem turns total divergence inside a solid into flux through its closed surface. Stokes' theorem turns total curl through a surface into circulation around its edge. Both replace an interior measurement with a boundary measurement. Here is a vector field in the plane. At every point there's an arrow, and the honest way to read it is as the velocity of a fluid. Put a speck of dust down somewhere, and the arrow tells you which way it drifts, and how fast. Now draw a little closed loop around the origin and ask one simple question. Is more fluid leaving this loop than entering it? Here, obviously yes. Every single arrow crosses it on the way out. Something inside is making fluid. Compare that with this second field. Same plane, but now the fluid is turning. It goes round and round the origin, and it moves faster the further out you look. Draw the same loop on it. And now nothing crosses. The arrows run along the loop, never through it. There is plenty of motion here, and no outflow at all. That contrast is what divergence measures. Not how fast the field is, not which way it points, but how much of it is flowing out of a point. Positive divergence means a source. Negative means a sink. Zero means whatever comes in goes out again. Hold on to that picture, because both of today's theorems are built out of it. Now let's turn it into a formula.

### [01:49.588 · Divergence](https://academa.ai/lectures/divergence-and-stokes-theorems?t=109.58800000000001)

So let's turn that into a formula. If our field is F, then its divergence is written div F, or nabla dot F, and here it is. The components P, Q and R are functions of x, y and z. Take the first component and differentiate it with respect to x. Take the second, and differentiate with respect to y. Take the third with respect to z. Then add the three numbers up. That is genuinely all it is: one derivative from each component, each matched to its own variable. And notice what kind of object comes out. F is a vector field, an arrow at every point. Div F is a number at every point. Let's compute one. Our spreading field was F equals x, y. The first component is x, so its x derivative is one. The second is y, so its y derivative is one. Add them. Two, and positive, which is exactly what the picture said. Fluid is being created at every point, so any loop you draw has more coming out of it than going in. Here the divergence happens to be constant, but in general it is a function of position. Now the swirl. F equals minus y, x. The first component is minus y, and we differentiate it with respect to x. There is no x in it, so that derivative is nothing. The second component is x, differentiated with respect to y, and that is nothing too. So the divergence is zero, everywhere. And again the picture agrees. The fluid is moving, quite fast in places, but none of it ever leaves. Motion and divergence are two different questions, and this field is the cleanest reminder of that I know.

### [03:45.002 · The Divergence Theorem](https://academa.ai/lectures/divergence-and-stokes-theorems?t=225.00212500000004)

Now the first theorem. Take a solid region in space, call it E, and a vector field F living on it. The skin of that region, the closed surface wrapping it up, is written del E. There are two completely different things you could measure here. First, go inside. Compute the divergence at every point of E and add it all up over the volume. That is the total rate at which fluid is being produced in there. Second, forget the inside completely. Stand on the surface, and at each point take the part of F pointing straight out, F dot n hat. Add that up over the whole skin. That is the flux, the net rate at which fluid crosses the boundary. The divergence theorem says those two numbers are equal.  Always. Total production inside equals total flow across the boundary, which, once you say it out loud, is really just conservation of stuff. So why is it true? Keep the solid in view and take one flat slice through it. The slice stands for a layer of tiny cells filling the volume. We can understand the whole solid by inspecting two neighbours in that layer. Here are those two neighbours enlarged. For each cell, the flux across its boundary is its divergence contribution. When all the cells are added, the question is what happens along every shared wall. The cell on the left counts that shared wall with its outward normal pointing into the cell on the right. That direction sets the sign of its flux contribution. The cell on the right counts the same wall with its outward normal pointing back into the cell on the left. The two directions are opposite, so the two flux contributions have opposite signs. Equal and opposite. Every interior wall cancels against its partner, in pairs, all the way through the solid. Remove those interior boundaries and what survives is only the outside skin. That is the entire proof, in spirit. The divergence theorem is a bookkeeping identity. Interior faces cancel; boundary faces don't.

### [05:56.454 · Curl, and Stokes' Theorem](https://academa.ai/lectures/divergence-and-stokes-theorems?t=356.4537916666667)

The second theorem needs a different measurement. Divergence asked how much of a field flows out of a point. Curl asks something else: how much the field turns around a point. Drop a tiny paddle wheel into the fluid, pinned at its centre so that it can only spin. If the flow turns it, the field has curl there. Curl is a vector: it points along the axis the wheel spins about, and its length says how fast. In the plane, that axis is always straight up out of the page, so only one number survives. For our swirling field, minus y and x, it comes out as two k hat, a constant amount of spin at every single point. Now Stokes' theorem. Take a surface in space, and this time not a closed one. A piece of one, like a butterfly net. Then del S is the curve running round its rim. Choose a normal direction for the surface, and walk that rim the matching way: the way that keeps the surface on your left when your head points along n hat. Pairing those two directions up is the only fiddly part of the whole theorem. And Stokes says this. The total curl passing through the surface equals the circulation of F once around its rim. The left-hand side is a surface integral: at each point of S, how much curl is aimed through it. The right-hand side is a line integral: F dotted with the direction you are travelling, added up all the way round the closed loop. And the reason is the same trick as before. Chop the surface into little tiles, and walk round the edge of every single tile, in the direction the normal tells you to. Every interior edge belongs to two tiles, and those two tiles walk it in opposite directions. So it cancels, exactly as the shared walls did a moment ago. All the little circulations collapse, and what is left is the walk round the outer rim. Meanwhile each tiny loop's circulation is its own curl times its own area. Add them all up and you get the surface integral on one side and the boundary loop on the other. Same bookkeeping, one dimension down.

### [08:21.149 · One Sentence](https://academa.ai/lectures/divergence-and-stokes-theorems?t=501.1487291666667)

Let's put the two theorems one above the other, because the resemblance is the whole point. First the divergence theorem: a triple integral of div F over a solid region, equal to the flux of F out through the closed surface around it. And then Stokes: a surface integral of curl F over a piece of surface, equal to the circulation of F once round the curve that bounds it. Now look at the shape of them. On the left of each one, a derivative of F, integrated over a region. On the right of each one, F itself, integrated over the boundary of that region. Div and curl are different derivatives, and a solid and a surface are different regions. And you have met that sentence before. The fundamental theorem of calculus: integrate f prime across an interval, and the answer is f at the two endpoints. The boundary of an interval is just its two ends. Same sentence, every time. Integrate a derivative over a region, and the answer is already written on the edge. That is what these theorems buy you: a hard integral over something fat, traded for an easier one over its skin. So. Divergence measures outflow, curl measures spin, and each of them has a theorem saying that the inside tells you nothing the boundary has not already said.

## About Academa, Inc.

Academa makes technical knowledge easier to understand through visual lectures and lets learners request new lecture videos on the topics they need.

## Complete audiovisual record

Immutable source: [semantic.json](https://academa.ai/media/l/01M14TZ5MGQ0E91Y0973T7G66Y/0/semantic.json)

Record version: 1. Render attempt: 0.

### How to read this timeline

Each scene owns its object identifiers. A beat's board is the complete board when listed, empty when marked empty, and unchanged from the nearest earlier listed board in the same scene when marked unchanged. Action times are absolute positions in the published video.

### Scene 1: [Flow Out of a Point](https://academa.ai/lectures/divergence-and-stokes-theorems?t=0)

Span: 00:00–01:49.588 (0s–109.58800000000001s).

#### Objects

- axes\_source: an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1))
- axes\_swirl: an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1))
- card: a Title that says "Multivariable Calculus — Divergence, and the Two Great Theorems"
- destination\_heading: a Heading that says "Two Boundary Theorems"
- divergence\_name: a Tex \[text\] that says "Divergence theorem" (underline=True)
- divergence\_promise: a Math \[text\] that says "$integral.triple\_(E) op("div") arrow(F) thin dif V = integral.double\_(partial E) arrow(F) dot hat(n) thin dif S$"
- field\_sink: a VectorField \[red\] drawn in axes\_source (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35)
- field\_source: a VectorField \[blue\] drawn in axes\_source (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35)
- field\_swirl: a VectorField \[green\] drawn in axes\_swirl (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35)
- heading: a Heading that says "Flow Out of a Point"
- label\_source: a Tex \[text\] that says "A source" (underline=True)
- label\_swirl: a Tex \[text\] that says "Pure swirl" (underline=True)
- loop\_source: a Circle \[yellow\] drawn in axes\_source
- loop\_swirl: a Circle \[yellow\] drawn in axes\_swirl
- point: a Point \[yellow\] drawn in axes\_source
- probe: a Point \[cyan\] labelled "(-1.4, 0.8)" drawn in axes\_source (location=(\<VariableNumber probe\_x = 0.9\>, \<VariableNumber probe\_y = 1.3\>))
- probe\_velocity: a Vector \[cyan\] drawn in axes\_source (start=(\<VariableNumber probe\_x = 0.9\>, \<VariableNumber probe\_y = 1.3\>), end=((1.35 \* probe\_x), (1.35 \* probe\_y)))
- probe\_x: a VariableNumber (initial\_value=-1.4, format\_spec='.1f')
- probe\_y: a VariableNumber (initial\_value=0.8, format\_spec='.1f')
- stokes\_name: a Tex \[text\] that says "Stokes' theorem" (underline=True)
- stokes\_promise: a Math \[text\] that says "$integral.double\_(S) (nabla times arrow(F)) dot hat(n) thin dif S = integral.cont\_(partial S) arrow(F) dot dif arrow(r)$"

#### Beats

##### [00:00](https://academa.ai/lectures/divergence-and-stokes-theorems?t=0)

Narration: Vector calculus ends with the divergence theorem and Stokes' theorem. They make the same startling promise: what a field does throughout a region can be recovered from what it does on the boundary.

Board: Empty.

Actions:
- [00:00](https://academa.ai/lectures/divergence-and-stokes-theorems?t=0): card is shown on the screen, written out.
- [00:1.5](https://academa.ai/lectures/divergence-and-stokes-theorems?t=1.5): card: enter:write-left-to-right.
- [00:11.726](https://academa.ai/lectures/divergence-and-stokes-theorems?t=11.726): card is hidden from the screen — left the board.

##### [00:12.926](https://academa.ai/lectures/divergence-and-stokes-theorems?t=12.926)

Narration: The divergence theorem turns total divergence inside a solid into flux through its closed surface. Stokes' theorem turns total curl through a surface into circulation around its edge. Both replace an interior measurement with a boundary measurement.

Board: Unchanged from the preceding beat in this scene.

Actions:
- [00:12.926](https://academa.ai/lectures/divergence-and-stokes-theorems?t=12.926): destination\_heading is shown on the screen, written out.
- [00:13.449](https://academa.ai/lectures/divergence-and-stokes-theorems?t=13.449): divergence\_name is shown on the screen, written out.
- [00:16.27](https://academa.ai/lectures/divergence-and-stokes-theorems?t=16.27): divergence\_promise is shown on the screen, written out.
- [00:20.206](https://academa.ai/lectures/divergence-and-stokes-theorems?t=20.206): stokes\_name is shown on the screen, written out.
- [00:22.481](https://academa.ai/lectures/divergence-and-stokes-theorems?t=22.480999999999998): stokes\_promise is shown on the screen, written out.
- [00:29.192](https://academa.ai/lectures/divergence-and-stokes-theorems?t=29.192): destination\_heading is hidden from the screen — left the board.
- [00:29.192](https://academa.ai/lectures/divergence-and-stokes-theorems?t=29.192): divergence\_name is hidden from the screen — left the board.
- [00:29.192](https://academa.ai/lectures/divergence-and-stokes-theorems?t=29.192): divergence\_promise is hidden from the screen — left the board.
- [00:29.192](https://academa.ai/lectures/divergence-and-stokes-theorems?t=29.192): stokes\_name is hidden from the screen — left the board.
- [00:29.192](https://academa.ai/lectures/divergence-and-stokes-theorems?t=29.192): stokes\_promise is hidden from the screen — left the board.
- [00:29.192](https://academa.ai/lectures/divergence-and-stokes-theorems?t=29.192): axes\_source is shown on the screen, written out.

##### [00:30.392](https://academa.ai/lectures/divergence-and-stokes-theorems?t=30.391999999999996)

Narration: Here is a vector field in the plane. At every point there's an arrow, and the honest way to read it is as the velocity of a fluid. Put a speck of dust down somewhere, and the arrow tells you which way it drifts, and how fast.

Board: axes\_source — an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1))

Actions:
- [00:30.392](https://academa.ai/lectures/divergence-and-stokes-theorems?t=30.391999999999996): axes\_source moves to a new place on the board.
- [00:30.392](https://academa.ai/lectures/divergence-and-stokes-theorems?t=30.391999999999996): heading is shown on the screen, written out.
- [00:34.479](https://academa.ai/lectures/divergence-and-stokes-theorems?t=34.479): field\_source is shown on the screen, written out.
- [00:34.479](https://academa.ai/lectures/divergence-and-stokes-theorems?t=34.479): probe\_velocity is shown on the screen, written out.
- [00:39.169](https://academa.ai/lectures/divergence-and-stokes-theorems?t=39.169): probe is shown on the screen, written out.
- [00:41.932](https://academa.ai/lectures/divergence-and-stokes-theorems?t=41.93199999999999): probe is redrawn as the numbers it depends on change.
- [00:41.932](https://academa.ai/lectures/divergence-and-stokes-theorems?t=41.93199999999999): probe\_velocity is redrawn as the numbers it depends on change.
- [00:41.932](https://academa.ai/lectures/divergence-and-stokes-theorems?t=41.93199999999999): probe\_x ticks to 0.9.
- [00:41.932](https://academa.ai/lectures/divergence-and-stokes-theorems?t=41.93199999999999): probe\_y ticks to 1.3.

##### [00:44.483](https://academa.ai/lectures/divergence-and-stokes-theorems?t=44.483)

Narration: Now draw a little closed loop around the origin and ask one simple question. Is more fluid leaving this loop than entering it? Here, obviously yes. Every single arrow crosses it on the way out. Something inside is making fluid.

Board: axes\_source — an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1)); heading — a Heading that says "Flow Out of a Point"; field\_source — a VectorField \[blue\] drawn in axes\_source (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35); probe — a Point \[cyan\] labelled "(-1.4, 0.8)" drawn in axes\_source (location=(\<VariableNumber probe\_x = 0.9\>, \<VariableNumber probe\_y = 1.3\>)); probe\_velocity — a Vector \[cyan\] drawn in axes\_source (start=(\<VariableNumber probe\_x = 0.9\>, \<VariableNumber probe\_y = 1.3\>), end=((1.35 \* probe\_x), (1.35 \* probe\_y)))

Actions:
- [00:44.483](https://academa.ai/lectures/divergence-and-stokes-theorems?t=44.483): probe is hidden from the screen.
- [00:44.483](https://academa.ai/lectures/divergence-and-stokes-theorems?t=44.483): probe\_velocity is hidden from the screen.
- [00:46.248](https://academa.ai/lectures/divergence-and-stokes-theorems?t=46.248000000000005): loop\_source is shown on the screen, written out.
- [00:46.886](https://academa.ai/lectures/divergence-and-stokes-theorems?t=46.886): point is shown on the screen, grown.
- [00:48.886](https://academa.ai/lectures/divergence-and-stokes-theorems?t=48.886): point is hidden from the screen.
- [00:59.135](https://academa.ai/lectures/divergence-and-stokes-theorems?t=59.135000000000005): label\_source is shown on the screen, written out.

##### [01:0.849](https://academa.ai/lectures/divergence-and-stokes-theorems?t=60.849)

Narration: Compare that with this second field. Same plane, but now the fluid is turning. It goes round and round the origin, and it moves faster the further out you look.

Board: label\_source — a Tex \[text\] that says "A source" (underline=True); axes\_source — an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1)); heading — a Heading that says "Flow Out of a Point"; field\_source — a VectorField \[blue\] drawn in axes\_source (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35); loop\_source — a Circle \[yellow\] drawn in axes\_source

Actions:
- [01:2.776](https://academa.ai/lectures/divergence-and-stokes-theorems?t=62.775999999999996): axes\_swirl is shown on the screen, written out.
- [01:5.888](https://academa.ai/lectures/divergence-and-stokes-theorems?t=65.888): field\_swirl is shown on the screen, written out.

##### [01:12.142](https://academa.ai/lectures/divergence-and-stokes-theorems?t=72.142)

Narration: Draw the same loop on it. And now nothing crosses. The arrows run along the loop, never through it. There is plenty of motion here, and no outflow at all.

Board: label\_source — a Tex \[text\] that says "A source" (underline=True); axes\_source — an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1)); axes\_swirl — an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1)); heading — a Heading that says "Flow Out of a Point"; field\_source — a VectorField \[blue\] drawn in axes\_source (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35); loop\_source — a Circle \[yellow\] drawn in axes\_source; field\_swirl — a VectorField \[green\] drawn in axes\_swirl (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35)

Actions:
- [01:13.164](https://academa.ai/lectures/divergence-and-stokes-theorems?t=73.164): loop\_swirl is shown on the screen, written out.
- [01:14.963](https://academa.ai/lectures/divergence-and-stokes-theorems?t=74.96300000000001): label\_swirl is shown on the screen, written out.

##### [01:24.085](https://academa.ai/lectures/divergence-and-stokes-theorems?t=84.085)

Narration: That contrast is what divergence measures. Not how fast the field is, not which way it points, but how much of it is flowing out of a point. Positive divergence means a source. Negative means a sink. Zero means whatever comes in goes out again.

Board: label\_source — a Tex \[text\] that says "A source" (underline=True); axes\_source — an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1)); label\_swirl — a Tex \[text\] that says "Pure swirl" (underline=True); axes\_swirl — an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1)); heading — a Heading that says "Flow Out of a Point"; field\_source — a VectorField \[blue\] drawn in axes\_source (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35); loop\_source — a Circle \[yellow\] drawn in axes\_source; field\_swirl — a VectorField \[green\] drawn in axes\_swirl (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35); loop\_swirl — a Circle \[yellow\] drawn in axes\_swirl

Actions:
- [01:33.454](https://academa.ai/lectures/divergence-and-stokes-theorems?t=93.454): field\_source is indicated — a transient flash.
- [01:33.454](https://academa.ai/lectures/divergence-and-stokes-theorems?t=93.454): loop\_source is indicated — a transient flash.
- [01:36.287](https://academa.ai/lectures/divergence-and-stokes-theorems?t=96.28699999999999): label\_source becomes "A sink".
- [01:36.287](https://academa.ai/lectures/divergence-and-stokes-theorems?t=96.28699999999999): field\_source is hidden from the screen.
- [01:36.287](https://academa.ai/lectures/divergence-and-stokes-theorems?t=96.28699999999999): field\_sink is shown on the screen, written out.
- [01:38.319](https://academa.ai/lectures/divergence-and-stokes-theorems?t=98.319): label\_source becomes "A source".
- [01:38.319](https://academa.ai/lectures/divergence-and-stokes-theorems?t=98.319): field\_sink is hidden from the screen.
- [01:38.319](https://academa.ai/lectures/divergence-and-stokes-theorems?t=98.319): field\_source is shown on the screen, written out.
- [01:38.319](https://academa.ai/lectures/divergence-and-stokes-theorems?t=98.319): field\_swirl is indicated — a transient flash.
- [01:38.319](https://academa.ai/lectures/divergence-and-stokes-theorems?t=98.319): loop\_swirl is indicated — a transient flash.

##### [01:41.81](https://academa.ai/lectures/divergence-and-stokes-theorems?t=101.81)

Narration: Hold on to that picture, because both of today's theorems are built out of it. Now let's turn it into a formula.

Board: Unchanged from the preceding beat in this scene.

Actions:
- [01:48.546](https://academa.ai/lectures/divergence-and-stokes-theorems?t=108.54633333333334): axes\_source is hidden from the screen — left the board.
- [01:48.546](https://academa.ai/lectures/divergence-and-stokes-theorems?t=108.54633333333334): field\_source is hidden from the screen — axes\_source left the board.
- [01:48.546](https://academa.ai/lectures/divergence-and-stokes-theorems?t=108.54633333333334): loop\_source is hidden from the screen — axes\_source left the board.
- [01:48.546](https://academa.ai/lectures/divergence-and-stokes-theorems?t=108.54633333333334): axes\_swirl is hidden from the screen — left the board.
- [01:48.546](https://academa.ai/lectures/divergence-and-stokes-theorems?t=108.54633333333334): field\_swirl is hidden from the screen — axes\_swirl left the board.
- [01:48.546](https://academa.ai/lectures/divergence-and-stokes-theorems?t=108.54633333333334): loop\_swirl is hidden from the screen — axes\_swirl left the board.
- [01:48.546](https://academa.ai/lectures/divergence-and-stokes-theorems?t=108.54633333333334): heading is hidden from the screen — left the board.
- [01:48.546](https://academa.ai/lectures/divergence-and-stokes-theorems?t=108.54633333333334): label\_source is hidden from the screen — left the board.
- [01:48.546](https://academa.ai/lectures/divergence-and-stokes-theorems?t=108.54633333333334): label\_swirl is hidden from the screen — left the board.

### Scene 2: [Divergence](https://academa.ai/lectures/divergence-and-stokes-theorems?t=109.58800000000001)

Span: 01:49.588–03:45.002 (109.58800000000001s–225.00212500000004s).

#### Objects

- axes\_a: an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1))
- axes\_b: an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1))
- divergence\_marks: a Math \[yellow\] that says "$2$" drawn in axes\_a
- divergence\_marks\_2: a Math \[yellow\] that says "$2$" drawn in axes\_a
- divergence\_marks\_3: a Math \[yellow\] that says "$2$" drawn in axes\_a
- divergence\_marks\_4: a Math \[yellow\] that says "$2$" drawn in axes\_a
- divergence\_marks\_5: a Math \[yellow\] that says "$2$" drawn in axes\_a
- eq\_div: a Math \[text\] that says "$op("div") arrow(F) = nabla dot arrow(F) = frac(partial P, partial x) + frac(partial Q, partial y) + frac(partial R, partial z)$"
- ex1\_field: a Math \[text\] that says "$arrow(F) = chevron.l x, y chevron.r$"
- ex2\_field: a Math \[text\] that says "$arrow(F) = chevron.l -y, x chevron.r$"
- field\_a: a VectorField \[blue\] drawn in axes\_a (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35)
- field\_b: a VectorField \[green\] drawn in axes\_b (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35)
- heading: a Heading that says "Divergence"
- note: a Text \[text\] that says "Here $arrow(F) = chevron.l P, Q, R chevron.r$, and $P$, $Q$ and $R$ are each functions of $x$, $y$ and $z$. In the plane, drop the last term."
- work1: a Derivation \[text\] that says "$op("div") arrow(F) &= frac(partial, partial x) (x) + frac(partial, partial y) (y) \\ op("div") arrow(F) &= 1 + 1 = 2$"
- work2: a Derivation \[text\] that says "$op("div") arrow(F) &= frac(partial, partial x) (-y) + frac(partial, partial y) (x) \\ op("div") arrow(F) &= 0 + 0 = 0$"

#### Beats

##### [01:49.588](https://academa.ai/lectures/divergence-and-stokes-theorems?t=109.58800000000001)

Narration: So let's turn that into a formula. If our field is F, then its divergence is written div F, or nabla dot F, and here it is. The components P, Q and R are functions of x, y and z.

Board: Empty.

Actions:
- [01:49.588](https://academa.ai/lectures/divergence-and-stokes-theorems?t=109.58800000000001): heading is shown on the screen, written out.
- [01:54.766](https://academa.ai/lectures/divergence-and-stokes-theorems?t=114.766): eq\_div is shown on the screen, written out.
- [01:59.282](https://academa.ai/lectures/divergence-and-stokes-theorems?t=119.28200000000001): note is shown on the screen, written out.

##### [02:4.132](https://academa.ai/lectures/divergence-and-stokes-theorems?t=124.1315)

Narration: Take the first component and differentiate it with respect to x. Take the second, and differentiate with respect to y. Take the third with respect to z. Then add the three numbers up.

Board: note — a Text \[text\] that says "Here $arrow(F) = chevron.l P, Q, R chevron.r$, and $P$, $Q$ and $R$ are each functions of $x$, $y$ and $z$. In the plane, drop the last term."; eq\_div — a Math \[text\] that says "$op("div") arrow(F) = nabla dot arrow(F) = frac(partial P, partial x) + frac(partial Q, partial y) + frac(partial R, partial z)$"; heading — a Heading that says "Divergence"

Actions:
- [02:4.863](https://academa.ai/lectures/divergence-and-stokes-theorems?t=124.86300000000001): eq\_div (the "frac(partial P, partial x)" part) is emphasized.
- [02:9.078](https://academa.ai/lectures/divergence-and-stokes-theorems?t=129.078): eq\_div (the "frac(partial P, partial x)" part) is no longer emphasized.
- [02:9.078](https://academa.ai/lectures/divergence-and-stokes-theorems?t=129.078): eq\_div (the "frac(partial Q, partial y)" part) is emphasized.
- [02:13.06](https://academa.ai/lectures/divergence-and-stokes-theorems?t=133.06): eq\_div (the "frac(partial Q, partial y)" part) is no longer emphasized.
- [02:13.06](https://academa.ai/lectures/divergence-and-stokes-theorems?t=133.06): eq\_div (the "frac(partial R, partial z)" part) is emphasized.
- [02:15.846](https://academa.ai/lectures/divergence-and-stokes-theorems?t=135.846): eq\_div (the "frac(partial R, partial z)" part) is no longer emphasized.

##### [02:18.095](https://academa.ai/lectures/divergence-and-stokes-theorems?t=138.095)

Narration: That is genuinely all it is: one derivative from each component, each matched to its own variable. And notice what kind of object comes out. F is a vector field, an arrow at every point. Div F is a number at every point.

Board: Unchanged from the preceding beat in this scene.

Actions:
- [02:29.078](https://academa.ai/lectures/divergence-and-stokes-theorems?t=149.078): axes\_a is shown on the screen, written out.
- [02:30.297](https://academa.ai/lectures/divergence-and-stokes-theorems?t=150.29700000000003): field\_a is shown on the screen, written out.
- [02:33.455](https://academa.ai/lectures/divergence-and-stokes-theorems?t=153.455): divergence\_marks is shown on the screen, written out.
- [02:33.555](https://academa.ai/lectures/divergence-and-stokes-theorems?t=153.555): divergence\_marks\_2 is shown on the screen, written out.
- [02:33.655](https://academa.ai/lectures/divergence-and-stokes-theorems?t=153.65500000000003): divergence\_marks\_3 is shown on the screen, written out.
- [02:33.755](https://academa.ai/lectures/divergence-and-stokes-theorems?t=153.75500000000002): divergence\_marks\_4 is shown on the screen, written out.
- [02:33.855](https://academa.ai/lectures/divergence-and-stokes-theorems?t=153.85500000000002): divergence\_marks\_5 is shown on the screen, written out.
- [02:34.982](https://academa.ai/lectures/divergence-and-stokes-theorems?t=154.982): axes\_a moves to a new place on the board.
- [02:34.982](https://academa.ai/lectures/divergence-and-stokes-theorems?t=154.982): divergence\_marks is hidden from the screen.
- [02:34.982](https://academa.ai/lectures/divergence-and-stokes-theorems?t=154.982): divergence\_marks\_2 is hidden from the screen.
- [02:34.982](https://academa.ai/lectures/divergence-and-stokes-theorems?t=154.982): divergence\_marks\_3 is hidden from the screen.
- [02:34.982](https://academa.ai/lectures/divergence-and-stokes-theorems?t=154.982): divergence\_marks\_4 is hidden from the screen.
- [02:34.982](https://academa.ai/lectures/divergence-and-stokes-theorems?t=154.982): divergence\_marks\_5 is hidden from the screen.
- [02:34.982](https://academa.ai/lectures/divergence-and-stokes-theorems?t=154.982): eq\_div is hidden from the screen — left the board.
- [02:34.982](https://academa.ai/lectures/divergence-and-stokes-theorems?t=154.982): note is hidden from the screen — left the board.
- [02:34.982](https://academa.ai/lectures/divergence-and-stokes-theorems?t=154.982): ex1\_field is shown on the screen, written out.

##### [02:36.182](https://academa.ai/lectures/divergence-and-stokes-theorems?t=156.18200000000002)

Narration: Let's compute one. Our spreading field was F equals x, y. The first component is x, so its x derivative is one. The second is y, so its y derivative is one. Add them.

Board: axes\_a — an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1)); heading — a Heading that says "Divergence"; field\_a — a VectorField \[blue\] drawn in axes\_a (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35); ex1\_field — a Math \[text\] that says "$arrow(F) = chevron.l x, y chevron.r$"

Actions:
- [02:41.586](https://academa.ai/lectures/divergence-and-stokes-theorems?t=161.586): work1 is shown on the screen, written out.
- [02:49.005](https://academa.ai/lectures/divergence-and-stokes-theorems?t=169.005): work1 is shown on the screen, written out.

##### [02:50.591](https://academa.ai/lectures/divergence-and-stokes-theorems?t=170.5915)

Narration: Two, and positive, which is exactly what the picture said. Fluid is being created at every point, so any loop you draw has more coming out of it than going in. Here the divergence happens to be constant, but in general it is a function of position.

Board: Unchanged from the preceding beat in this scene.

Actions:
- [02:50.998](https://academa.ai/lectures/divergence-and-stokes-theorems?t=170.998): A box is drawn around work1.
- [03:6.974](https://academa.ai/lectures/divergence-and-stokes-theorems?t=186.974): axes\_a is hidden from the screen — left the board.
- [03:6.974](https://academa.ai/lectures/divergence-and-stokes-theorems?t=186.974): field\_a is hidden from the screen — axes\_a left the board.
- [03:6.974](https://academa.ai/lectures/divergence-and-stokes-theorems?t=186.974): ex1\_field is hidden from the screen — left the board.
- [03:6.974](https://academa.ai/lectures/divergence-and-stokes-theorems?t=186.974): work1 is hidden from the screen — left the board.

##### [03:8.174](https://academa.ai/lectures/divergence-and-stokes-theorems?t=188.174)

Narration: Now the swirl. F equals minus y, x. The first component is minus y, and we differentiate it with respect to x. There is no x in it, so that derivative is nothing. The second component is x, differentiated with respect to y, and that is nothing too.

Board: heading — a Heading that says "Divergence"

Actions:
- [03:8.174](https://academa.ai/lectures/divergence-and-stokes-theorems?t=188.174): axes\_b is shown on the screen, written out.
- [03:8.174](https://academa.ai/lectures/divergence-and-stokes-theorems?t=188.174): field\_b is shown on the screen, written out.
- [03:10.194](https://academa.ai/lectures/divergence-and-stokes-theorems?t=190.19400000000002): axes\_b moves to a new place on the board.
- [03:10.194](https://academa.ai/lectures/divergence-and-stokes-theorems?t=190.19400000000002): ex2\_field is shown on the screen, written out.
- [03:13.131](https://academa.ai/lectures/divergence-and-stokes-theorems?t=193.13100000000003): work2 is shown on the screen, written out.

##### [03:28.139](https://academa.ai/lectures/divergence-and-stokes-theorems?t=208.1395)

Narration: So the divergence is zero, everywhere. And again the picture agrees. The fluid is moving, quite fast in places, but none of it ever leaves. Motion and divergence are two different questions, and this field is the cleanest reminder of that I know.

Board: heading — a Heading that says "Divergence"; ex2\_field — a Math \[text\] that says "$arrow(F) = chevron.l -y, x chevron.r$"; axes\_b — an Axes (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), aspect=(1, 1)); field\_b — a VectorField \[green\] drawn in axes\_b (function=\<function\>, at=((-1.5, -1.5), (-1.5, -0.5), (-1.5, 0.5), (-1.5, 1.5), (-0.5, -…, scale=0.35)

Actions:
- [03:29.66](https://academa.ai/lectures/divergence-and-stokes-theorems?t=209.66000000000003): work2 is shown on the screen, written out.
- [03:30.345](https://academa.ai/lectures/divergence-and-stokes-theorems?t=210.34500000000003): A box is drawn around work2.
- [03:43.96](https://academa.ai/lectures/divergence-and-stokes-theorems?t=223.96045833333335): axes\_b is hidden from the screen — left the board.
- [03:43.96](https://academa.ai/lectures/divergence-and-stokes-theorems?t=223.96045833333335): field\_b is hidden from the screen — axes\_b left the board.
- [03:43.96](https://academa.ai/lectures/divergence-and-stokes-theorems?t=223.96045833333335): ex2\_field is hidden from the screen — left the board.
- [03:43.96](https://academa.ai/lectures/divergence-and-stokes-theorems?t=223.96045833333335): heading is hidden from the screen — left the board.
- [03:43.96](https://academa.ai/lectures/divergence-and-stokes-theorems?t=223.96045833333335): work2 is hidden from the screen — left the board.

### Scene 3: [The Divergence Theorem](https://academa.ai/lectures/divergence-and-stokes-theorems?t=225.00212500000004)

Span: 03:45.002–05:56.454 (225.00212500000004s–356.4537916666667s).

#### Objects

- box\_l: a Polygon \[blue\] drawn in cells (vertices=((0.4, 0.5), (2.1, 0.5), (2.1, 2.1), (0.4, 2.1)), fill\_opacity=0.12)
- box\_r: a Polygon \[green\] drawn in cells (vertices=((2.1, 0.5), (3.8, 0.5), (3.8, 2.1), (2.1, 2.1)), fill\_opacity=0.12)
- cancel\_note: a Text \[text\] that says "Two boxes that share a wall each count that wall, one with its outward normal pointing one way and one with it pointing the other. The two contributions are equal and opposite, so they cancel."
- cells: a Figure (x\_range=(0.0, 4.2), y\_range=(0.0, 2.6), aspect=(4.2, 2.6))
- cross\_section: a SolidCrossSection \[yellow\] labelled "upright("one slice")" drawn in space (y=0.0, opacity=0.45, solid='solid')
- eq\_thm: a Math \[text\] that says "$integral.triple\_(E) op("div") arrow(F) thin dif V = integral.double\_(partial E) arrow(F) dot hat(n) thin dif S$"
- field: a VectorField \[green\] drawn in space (function=\<function\>, at=((1.6, 0.0, 0.9), (-1.6, 0.0, 0.9), (0.0, 1.6, 0.9), (0.0, -1.6…, scale=0.25)
- heading: a Heading that says "The Divergence Theorem"
- heading2: a Heading that says "Why It Is True"
- n\_left: an Arrow \[blue\] labelled "hat(n)" drawn in cells (start=(2.1, 1.6), end=(2.75, 1.6))
- n\_right: an Arrow \[green\] labelled "hat(n)" drawn in cells (start=(2.1, 1.0), end=(1.45, 1.0))
- outer: a Polygon \[yellow\] drawn in cells (vertices=((0.4, 0.5), (3.8, 0.5), (3.8, 2.1), (0.4, 2.1)), filled=False)
- shell: a SolidBoundary \[blue\] drawn in space (show\_normal=True, opacity=0.25, solid='solid')
- solid: a Solid \[red\] drawn in space (upper=\<function\>, lower=\<function\>, x\_range=(-1.3, 1.3))
- space: an Axes3D (x\_range=(-2.0, 2.0), y\_range=(-2.0, 2.0), z\_range=(-0.6, 2.6))
- tex: a Tex \[text\] that says "The solid" (underline=True)
- tex\_2: a Tex \[text\] that says "Two neighbouring cells" (underline=True)
- thm\_note: a Text \[text\] that says "$E$ is a solid region, $partial E$ is the closed surface wrapping it, and $hat(n)$ is the outward unit normal, pointing away from the solid at every point of that skin."
- wall: a Line \[yellow\] drawn in cells (start=(2.1, 0.5), end=(2.1, 2.1))

#### Beats

##### [03:45.002](https://academa.ai/lectures/divergence-and-stokes-theorems?t=225.00212500000004)

Narration: Now the first theorem. Take a solid region in space, call it E, and a vector field F living on it. The skin of that region, the closed surface wrapping it up, is written del E.

Board: Empty.

Actions:
- [03:45.002](https://academa.ai/lectures/divergence-and-stokes-theorems?t=225.00212500000004): heading is shown on the screen, written out.
- [03:45.002](https://academa.ai/lectures/divergence-and-stokes-theorems?t=225.00212500000004): space is shown on the screen, written out.
- [03:47.336](https://academa.ai/lectures/divergence-and-stokes-theorems?t=227.33612500000004): solid is shown on the screen, written out.
- [03:50.25](https://academa.ai/lectures/divergence-and-stokes-theorems?t=230.25012500000003): field is shown on the screen, written out.
- [03:54.011](https://academa.ai/lectures/divergence-and-stokes-theorems?t=234.01112500000005): shell is shown on the screen, written out.
- [03:55.602](https://academa.ai/lectures/divergence-and-stokes-theorems?t=235.60212500000003): space moves to a new place on the board.
- [03:55.602](https://academa.ai/lectures/divergence-and-stokes-theorems?t=235.60212500000003): thm\_note is shown on the screen, written out.

##### [03:57.549](https://academa.ai/lectures/divergence-and-stokes-theorems?t=237.54912500000003)

Narration: There are two completely different things you could measure here. First, go inside. Compute the divergence at every point of E and add it all up over the volume. That is the total rate at which fluid is being produced in there.

Board: thm\_note — a Text \[text\] that says "$E$ is a solid region, $partial E$ is the closed surface wrapping it, and $hat(n)$ is the outward unit normal, pointing away from the solid at every point of that skin."; space — an Axes3D (x\_range=(-2.0, 2.0), y\_range=(-2.0, 2.0), z\_range=(-0.6, 2.6)); heading — a Heading that says "The Divergence Theorem"; solid — a Solid \[red\] drawn in space (upper=\<function\>, lower=\<function\>, x\_range=(-1.3, 1.3)); field — a VectorField \[green\] drawn in space (function=\<function\>, at=((1.6, 0.0, 0.9), (-1.6, 0.0, 0.9), (0.0, 1.6, 0.9), (0.0, -1.6…, scale=0.25); shell — a SolidBoundary \[blue\] drawn in space (show\_normal=True, opacity=0.25, solid='solid')

Actions:
- [04:1.321](https://academa.ai/lectures/divergence-and-stokes-theorems?t=241.32112500000002): eq\_thm is shown on the screen, written out.
- [04:2.111](https://academa.ai/lectures/divergence-and-stokes-theorems?t=242.11112500000004): eq\_thm (the "integral.triple\_(E) op("div") arrow(F) thin dif V" part) is emphasized.

##### [04:12.069](https://academa.ai/lectures/divergence-and-stokes-theorems?t=252.06862500000003)

Narration: Second, forget the inside completely. Stand on the surface, and at each point take the part of F pointing straight out, F dot n hat. Add that up over the whole skin. That is the flux, the net rate at which fluid crosses the boundary.

Board: thm\_note — a Text \[text\] that says "$E$ is a solid region, $partial E$ is the closed surface wrapping it, and $hat(n)$ is the outward unit normal, pointing away from the solid at every point of that skin."; eq\_thm — a Math \[text\] that says "$integral.triple\_(E) op("div") arrow(F) thin dif V = integral.double\_(partial E) arrow(F) dot hat(n) thin dif S$"; space — an Axes3D (x\_range=(-2.0, 2.0), y\_range=(-2.0, 2.0), z\_range=(-0.6, 2.6)); heading — a Heading that says "The Divergence Theorem"; solid — a Solid \[red\] drawn in space (upper=\<function\>, lower=\<function\>, x\_range=(-1.3, 1.3)); field — a VectorField \[green\] drawn in space (function=\<function\>, at=((1.6, 0.0, 0.9), (-1.6, 0.0, 0.9), (0.0, 1.6, 0.9), (0.0, -1.6…, scale=0.25); shell — a SolidBoundary \[blue\] drawn in space (show\_normal=True, opacity=0.25, solid='solid')

Actions:
- [04:15.865](https://academa.ai/lectures/divergence-and-stokes-theorems?t=255.86512500000003): eq\_thm (the "integral.double\_(partial E) arrow(F) dot hat(n) thin dif S" part) is emphasized.
- [04:15.865](https://academa.ai/lectures/divergence-and-stokes-theorems?t=255.86512500000003): eq\_thm (the "integral.triple\_(E) op("div") arrow(F) thin dif V" part) is no longer emphasized.

##### [04:29.375](https://academa.ai/lectures/divergence-and-stokes-theorems?t=269.375125)

Narration: The divergence theorem says those two numbers are equal. Always. Total production inside equals total flow across the boundary, which, once you say it out loud, is really just conservation of stuff.

Board: Unchanged from the preceding beat in this scene.

Actions:
- [04:32.243](https://academa.ai/lectures/divergence-and-stokes-theorems?t=272.243125): eq\_thm (the "integral.double\_(partial E) arrow(F) dot hat(n) thin dif S" part) is no longer emphasized.
- [04:33.253](https://academa.ai/lectures/divergence-and-stokes-theorems?t=273.253125): A box is drawn around eq\_thm.
- [04:41.775](https://academa.ai/lectures/divergence-and-stokes-theorems?t=281.775125): space moves to a new place on the board.
- [04:41.775](https://academa.ai/lectures/divergence-and-stokes-theorems?t=281.775125): eq\_thm is hidden from the screen — left the board.
- [04:41.775](https://academa.ai/lectures/divergence-and-stokes-theorems?t=281.775125): heading is hidden from the screen — left the board.
- [04:41.775](https://academa.ai/lectures/divergence-and-stokes-theorems?t=281.775125): thm\_note is hidden from the screen — left the board.

##### [04:42.975](https://academa.ai/lectures/divergence-and-stokes-theorems?t=282.97512500000005)

Narration: So why is it true? Keep the solid in view and take one flat slice through it. The slice stands for a layer of tiny cells filling the volume. We can understand the whole solid by inspecting two neighbours in that layer.

Board: space — an Axes3D (x\_range=(-2.0, 2.0), y\_range=(-2.0, 2.0), z\_range=(-0.6, 2.6)); solid — a Solid \[red\] drawn in space (upper=\<function\>, lower=\<function\>, x\_range=(-1.3, 1.3)); field — a VectorField \[green\] drawn in space (function=\<function\>, at=((1.6, 0.0, 0.9), (-1.6, 0.0, 0.9), (0.0, 1.6, 0.9), (0.0, -1.6…, scale=0.25); shell — a SolidBoundary \[blue\] drawn in space (show\_normal=True, opacity=0.25, solid='solid')

Actions:
- [04:42.975](https://academa.ai/lectures/divergence-and-stokes-theorems?t=282.97512500000005): heading2 is shown on the screen, written out.
- [04:42.975](https://academa.ai/lectures/divergence-and-stokes-theorems?t=282.97512500000005): shell is hidden from the screen.
- [04:42.975](https://academa.ai/lectures/divergence-and-stokes-theorems?t=282.97512500000005): field is hidden from the screen.
- [04:47.038](https://academa.ai/lectures/divergence-and-stokes-theorems?t=287.03812500000004): cross\_section is shown on the screen, written out.

##### [04:56.811](https://academa.ai/lectures/divergence-and-stokes-theorems?t=296.81112500000006)

Narration: Here are those two neighbours enlarged. For each cell, the flux across its boundary is its divergence contribution. When all the cells are added, the question is what happens along every shared wall.

Board: space — an Axes3D (x\_range=(-2.0, 2.0), y\_range=(-2.0, 2.0), z\_range=(-0.6, 2.6)); solid — a Solid \[red\] drawn in space (upper=\<function\>, lower=\<function\>, x\_range=(-1.3, 1.3)); heading2 — a Heading that says "Why It Is True"; cross\_section — a SolidCrossSection \[yellow\] labelled "upright("one slice")" drawn in space (y=0.0, opacity=0.45, solid='solid')

Actions:
- [04:56.811](https://academa.ai/lectures/divergence-and-stokes-theorems?t=296.81112500000006): cells is shown on the screen, written out.
- [04:58.053](https://academa.ai/lectures/divergence-and-stokes-theorems?t=298.053125): box\_l is shown on the screen, written out.
- [04:58.262](https://academa.ai/lectures/divergence-and-stokes-theorems?t=298.262125): box\_r is shown on the screen, written out.
- [05:8.374](https://academa.ai/lectures/divergence-and-stokes-theorems?t=308.37412500000005): wall is shown on the screen, written out.

##### [05:9.904](https://academa.ai/lectures/divergence-and-stokes-theorems?t=309.90362500000003)

Narration: The cell on the left counts that shared wall with its outward normal pointing into the cell on the right. That direction sets the sign of its flux contribution.

Board: space — an Axes3D (x\_range=(-2.0, 2.0), y\_range=(-2.0, 2.0), z\_range=(-0.6, 2.6)); solid — a Solid \[red\] drawn in space (upper=\<function\>, lower=\<function\>, x\_range=(-1.3, 1.3)); cells — a Figure (x\_range=(0.0, 4.2), y\_range=(0.0, 2.6), aspect=(4.2, 2.6)); heading2 — a Heading that says "Why It Is True"; cross\_section — a SolidCrossSection \[yellow\] labelled "upright("one slice")" drawn in space (y=0.0, opacity=0.45, solid='solid'); box\_l — a Polygon \[blue\] drawn in cells (vertices=((0.4, 0.5), (2.1, 0.5), (2.1, 2.1), (0.4, 2.1)), fill\_opacity=0.12); box\_r — a Polygon \[green\] drawn in cells (vertices=((2.1, 0.5), (3.8, 0.5), (3.8, 2.1), (2.1, 2.1)), fill\_opacity=0.12); wall — a Line \[yellow\] drawn in cells (start=(2.1, 0.5), end=(2.1, 2.1))

Actions:
- [05:13.073](https://academa.ai/lectures/divergence-and-stokes-theorems?t=313.073125): n\_left is shown on the screen, written out.

##### [05:19.605](https://academa.ai/lectures/divergence-and-stokes-theorems?t=319.60512500000004)

Narration: The cell on the right counts the same wall with its outward normal pointing back into the cell on the left. The two directions are opposite, so the two flux contributions have opposite signs.

Board: space — an Axes3D (x\_range=(-2.0, 2.0), y\_range=(-2.0, 2.0), z\_range=(-0.6, 2.6)); solid — a Solid \[red\] drawn in space (upper=\<function\>, lower=\<function\>, x\_range=(-1.3, 1.3)); cells — a Figure (x\_range=(0.0, 4.2), y\_range=(0.0, 2.6), aspect=(4.2, 2.6)); heading2 — a Heading that says "Why It Is True"; cross\_section — a SolidCrossSection \[yellow\] labelled "upright("one slice")" drawn in space (y=0.0, opacity=0.45, solid='solid'); box\_l — a Polygon \[blue\] drawn in cells (vertices=((0.4, 0.5), (2.1, 0.5), (2.1, 2.1), (0.4, 2.1)), fill\_opacity=0.12); box\_r — a Polygon \[green\] drawn in cells (vertices=((2.1, 0.5), (3.8, 0.5), (3.8, 2.1), (2.1, 2.1)), fill\_opacity=0.12); wall — a Line \[yellow\] drawn in cells (start=(2.1, 0.5), end=(2.1, 2.1)); n\_left — an Arrow \[blue\] labelled "hat(n)" drawn in cells (start=(2.1, 1.6), end=(2.75, 1.6))

Actions:
- [05:22.984](https://academa.ai/lectures/divergence-and-stokes-theorems?t=322.98412500000006): n\_right is shown on the screen, written out.

##### [05:31.769](https://academa.ai/lectures/divergence-and-stokes-theorems?t=331.76862500000004)

Narration: Equal and opposite. Every interior wall cancels against its partner, in pairs, all the way through the solid. Remove those interior boundaries and what survives is only the outside skin.

Board: space — an Axes3D (x\_range=(-2.0, 2.0), y\_range=(-2.0, 2.0), z\_range=(-0.6, 2.6)); solid — a Solid \[red\] drawn in space (upper=\<function\>, lower=\<function\>, x\_range=(-1.3, 1.3)); cells — a Figure (x\_range=(0.0, 4.2), y\_range=(0.0, 2.6), aspect=(4.2, 2.6)); heading2 — a Heading that says "Why It Is True"; cross\_section — a SolidCrossSection \[yellow\] labelled "upright("one slice")" drawn in space (y=0.0, opacity=0.45, solid='solid'); box\_l — a Polygon \[blue\] drawn in cells (vertices=((0.4, 0.5), (2.1, 0.5), (2.1, 2.1), (0.4, 2.1)), fill\_opacity=0.12); box\_r — a Polygon \[green\] drawn in cells (vertices=((2.1, 0.5), (3.8, 0.5), (3.8, 2.1), (2.1, 2.1)), fill\_opacity=0.12); wall — a Line \[yellow\] drawn in cells (start=(2.1, 0.5), end=(2.1, 2.1)); n\_left — an Arrow \[blue\] labelled "hat(n)" drawn in cells (start=(2.1, 1.6), end=(2.75, 1.6)); n\_right — an Arrow \[green\] labelled "hat(n)" drawn in cells (start=(2.1, 1.0), end=(1.45, 1.0))

Actions:
- [05:32.117](https://academa.ai/lectures/divergence-and-stokes-theorems?t=332.11712500000004): cancel\_note is shown on the screen, written out.
- [05:35.391](https://academa.ai/lectures/divergence-and-stokes-theorems?t=335.39112500000005): n\_left is hidden from the screen.
- [05:35.391](https://academa.ai/lectures/divergence-and-stokes-theorems?t=335.39112500000005): n\_right is hidden from the screen.
- [05:35.391](https://academa.ai/lectures/divergence-and-stokes-theorems?t=335.39112500000005): wall is hidden from the screen.
- [05:40.232](https://academa.ai/lectures/divergence-and-stokes-theorems?t=340.232125): box\_l is hidden from the screen.
- [05:40.232](https://academa.ai/lectures/divergence-and-stokes-theorems?t=340.232125): box\_r is hidden from the screen.
- [05:43.657](https://academa.ai/lectures/divergence-and-stokes-theorems?t=343.657125): outer is shown on the screen, written out.

##### [05:45.627](https://academa.ai/lectures/divergence-and-stokes-theorems?t=345.62712500000004)

Narration: That is the entire proof, in spirit. The divergence theorem is a bookkeeping identity. Interior faces cancel; boundary faces don't.

Board: space — an Axes3D (x\_range=(-2.0, 2.0), y\_range=(-2.0, 2.0), z\_range=(-0.6, 2.6)); solid — a Solid \[red\] drawn in space (upper=\<function\>, lower=\<function\>, x\_range=(-1.3, 1.3)); cells — a Figure (x\_range=(0.0, 4.2), y\_range=(0.0, 2.6), aspect=(4.2, 2.6)); cancel\_note — a Text \[text\] that says "Two boxes that share a wall each count that wall, one with its outward normal pointing one way and one with it pointing the other. The two contributions are equal and opposite, so they cancel."; heading2 — a Heading that says "Why It Is True"; cross\_section — a SolidCrossSection \[yellow\] labelled "upright("one slice")" drawn in space (y=0.0, opacity=0.45, solid='solid'); outer — a Polygon \[yellow\] drawn in cells (vertices=((0.4, 0.5), (3.8, 0.5), (3.8, 2.1), (0.4, 2.1)), filled=False)

Actions:
- [05:55.412](https://academa.ai/lectures/divergence-and-stokes-theorems?t=355.41212500000006): cancel\_note is hidden from the screen — left the board.
- [05:55.412](https://academa.ai/lectures/divergence-and-stokes-theorems?t=355.41212500000006): cells is hidden from the screen — left the board.
- [05:55.412](https://academa.ai/lectures/divergence-and-stokes-theorems?t=355.41212500000006): outer is hidden from the screen — cells left the board.
- [05:55.412](https://academa.ai/lectures/divergence-and-stokes-theorems?t=355.41212500000006): heading2 is hidden from the screen — left the board.
- [05:55.412](https://academa.ai/lectures/divergence-and-stokes-theorems?t=355.41212500000006): space is hidden from the screen — left the board.
- [05:55.412](https://academa.ai/lectures/divergence-and-stokes-theorems?t=355.41212500000006): solid is hidden from the screen — space left the board.
- [05:55.412](https://academa.ai/lectures/divergence-and-stokes-theorems?t=355.41212500000006): cross\_section is hidden from the screen — space left the board.

### Scene 4: [Curl, and Stokes' Theorem](https://academa.ai/lectures/divergence-and-stokes-theorems?t=356.4537916666667)

Span: 05:56.454–08:21.149 (356.4537916666667s–501.1487291666667s).

#### Objects

- cancel: a TileEdge \[red\] drawn in space (edges=('u:0,1', 'u:0,2', 'u:0,3', 'u:1,1', 'u:1,2', 'u:1,3', 'u:2,1',…, paths=(((-1.3, -0.65, 0.6718749999999999), (-1.1375, -0.65, 0.7708984…, induced='both')
- cap: a Surface \[blue\] drawn in space (function=\<function\>, u\_range=(-1.3, 1.3), v\_range=(-1.3, 1.3))
- curl\_axis: a Vector \[red\] labelled "nabla times arrow(F)" drawn in curl\_space (start=(0, 0, 0), end=(0, 0, 1.35))
- curl\_note: a Text \[text\] that says "Divergence asked how much of the field leaves a point. Curl asks how much of it turns around one."
- curl\_space: an Axes3D (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), z\_range=(-0.3, 1.8))
- eq\_curl: a Math \[text\] that says "$op("curl") arrow(F) = nabla times arrow(F)$"
- eq\_curl\_ex: a Math \[text\] that says "$nabla times chevron.l -y, x, 0 chevron.r = 2 hat(k)$"
- eq\_curl\_flat: a Math \[text\] that says "$nabla times arrow(F) = (frac(partial Q, partial x) - frac(partial P, partial y)) hat(k)$"
- eq\_stokes: a Math \[text\] that says "$integral.double\_(S) (nabla times arrow(F)) dot hat(n) thin dif S = integral.cont\_(partial S) arrow(F) dot dif arrow(r)$"
- heading: a Heading that says "Curl"
- heading2: a Heading that says "Stokes' Theorem"
- heading3: a Heading that says "Why Stokes Works"
- normal: a Vector \[red\] labelled "hat(n)" drawn in space (start=(0.65, 0.35, 1.06375), end=(0.8634245885747669, 0.4649209323383023, 1.7204410417404723))
- rim: a ParametricCurve \[yellow\] labelled "partial S" drawn in space (function=\<function\>, breakpoints=(0.25, 0.5, 0.75))
- rim\_marks: an Orientation \[yellow\] drawn in space (path=((-1.3, -1.3, 0.35499999999999987), (-1.1375, -1.3, 0.454023437…, closed=True, arrows=4)
- space: an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2))
- spin: a CurvedArrow \[yellow\] drawn in curl\_space (start=(0.5, -0.35, 0), end=(0.5, 0.35, 0), bend=0.8)
- spoke\_x: a Line \[yellow\] drawn in curl\_space (start=(-0.5, 0, 0), end=(0.5, 0, 0))
- spoke\_y: a Line \[yellow\] drawn in curl\_space (start=(0, -0.5, 0), end=(0, 0.5, 0))
- stokes\_note: a Text \[text\] that says "$S$ is a surface in space and $partial S$ is the curve that bounds it, walked so that the surface stays on your left when your head points along $hat(n)$."
- swirl: a VectorField \[green\] drawn in curl\_space (function=\<function\>, at=((-1.5, -1.5, 0.0), (-1.5, -0.5, 0.0), (-1.5, 0.5, 0.0), (-1.5,…, scale=0.35)
- tile\_boundary: a ParametricCurve \[yellow\] labelled "partial S" drawn in space (function=\<function\>, breakpoints=(0.25, 0.5, 0.75))
- tiles: a Tiles \[yellow\] drawn in space (nodes=(((-1.3, -1.3, 0.35499999999999987), (-1.3, -1.1375, 0.45402343…, opacity=0.25, of='cap')
- wheel: a Circle \[yellow\] drawn in curl\_space (center=(0, 0, 0), radius=0.5, normal\_vector=(0, 0, 1))
- why\_note: a Text \[text\] that says "Every interior edge is walked twice, in opposite directions, so the inside contributes nothing at all. Only the outer rim survives."

#### Beats

##### [05:56.454](https://academa.ai/lectures/divergence-and-stokes-theorems?t=356.4537916666667)

Narration: The second theorem needs a different measurement. Divergence asked how much of a field flows out of a point. Curl asks something else: how much the field turns around a point.

Board: Empty.

Actions:
- [05:56.454](https://academa.ai/lectures/divergence-and-stokes-theorems?t=356.4537916666667): heading is shown on the screen, written out.
- [05:56.454](https://academa.ai/lectures/divergence-and-stokes-theorems?t=356.4537916666667): curl\_note is shown on the screen, written out.
- [06:3.617](https://academa.ai/lectures/divergence-and-stokes-theorems?t=363.6167916666667): curl\_space is shown on the screen, written out.
- [06:3.617](https://academa.ai/lectures/divergence-and-stokes-theorems?t=363.6167916666667): swirl is shown on the screen, written out.

##### [06:9.07](https://academa.ai/lectures/divergence-and-stokes-theorems?t=369.0697916666667)

Narration: Drop a tiny paddle wheel into the fluid, pinned at its centre so that it can only spin. If the flow turns it, the field has curl there. Curl is a vector: it points along the axis the wheel spins about, and its length says how fast.

Board: curl\_note — a Text \[text\] that says "Divergence asked how much of the field leaves a point. Curl asks how much of it turns around one."; curl\_space — an Axes3D (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), z\_range=(-0.3, 1.8)); heading — a Heading that says "Curl"; swirl — a VectorField \[green\] drawn in curl\_space (function=\<function\>, at=((-1.5, -1.5, 0.0), (-1.5, -0.5, 0.0), (-1.5, 0.5, 0.0), (-1.5,…, scale=0.35)

Actions:
- [06:10.173](https://academa.ai/lectures/divergence-and-stokes-theorems?t=370.1727916666667): wheel is shown on the screen, written out.
- [06:10.51](https://academa.ai/lectures/divergence-and-stokes-theorems?t=370.5097916666667): spoke\_x is shown on the screen, written out.
- [06:10.51](https://academa.ai/lectures/divergence-and-stokes-theorems?t=370.5097916666667): spoke\_y is shown on the screen, written out.
- [06:15.641](https://academa.ai/lectures/divergence-and-stokes-theorems?t=375.6407916666667): spin is shown on the screen, written out.
- [06:19.113](https://academa.ai/lectures/divergence-and-stokes-theorems?t=379.1127916666667): eq\_curl is shown on the screen, written out.
- [06:21.017](https://academa.ai/lectures/divergence-and-stokes-theorems?t=381.0167916666667): curl\_axis is shown on the screen, written out.

##### [06:25.726](https://academa.ai/lectures/divergence-and-stokes-theorems?t=385.72629166666667)

Narration: In the plane, that axis is always straight up out of the page, so only one number survives. For our swirling field, minus y and x, it comes out as two k hat, a constant amount of spin at every single point.

Board: curl\_note — a Text \[text\] that says "Divergence asked how much of the field leaves a point. Curl asks how much of it turns around one."; eq\_curl — a Math \[text\] that says "$op("curl") arrow(F) = nabla times arrow(F)$"; curl\_space — an Axes3D (x\_range=(-2.2, 2.2), y\_range=(-2.2, 2.2), z\_range=(-0.3, 1.8)); heading — a Heading that says "Curl"; swirl — a VectorField \[green\] drawn in curl\_space (function=\<function\>, at=((-1.5, -1.5, 0.0), (-1.5, -0.5, 0.0), (-1.5, 0.5, 0.0), (-1.5,…, scale=0.35); wheel — a Circle \[yellow\] drawn in curl\_space (center=(0, 0, 0), radius=0.5, normal\_vector=(0, 0, 1)); spoke\_x — a Line \[yellow\] drawn in curl\_space (start=(-0.5, 0, 0), end=(0.5, 0, 0)); spoke\_y — a Line \[yellow\] drawn in curl\_space (start=(0, -0.5, 0), end=(0, 0.5, 0)); spin — a CurvedArrow \[yellow\] drawn in curl\_space (start=(0.5, -0.35, 0), end=(0.5, 0.35, 0), bend=0.8); curl\_axis — a Vector \[red\] labelled "nabla times arrow(F)" drawn in curl\_space (start=(0, 0, 0), end=(0, 0, 1.35))

Actions:
- [06:30.533](https://academa.ai/lectures/divergence-and-stokes-theorems?t=390.5327916666667): eq\_curl\_flat is shown on the screen, written out.
- [06:33.168](https://academa.ai/lectures/divergence-and-stokes-theorems?t=393.1677916666667): eq\_curl\_ex is shown on the screen, written out.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): curl\_note is hidden from the screen — left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): curl\_space is hidden from the screen — left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): swirl is hidden from the screen — curl\_space left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): wheel is hidden from the screen — curl\_space left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): spoke\_x is hidden from the screen — curl\_space left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): spoke\_y is hidden from the screen — curl\_space left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): spin is hidden from the screen — curl\_space left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): curl\_axis is hidden from the screen — curl\_space left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): eq\_curl is hidden from the screen — left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): eq\_curl\_ex is hidden from the screen — left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): eq\_curl\_flat is hidden from the screen — left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): heading is hidden from the screen — left the board.
- [06:41.353](https://academa.ai/lectures/divergence-and-stokes-theorems?t=401.3532916666667): space is shown on the screen, written out.

##### [06:42.553](https://academa.ai/lectures/divergence-and-stokes-theorems?t=402.5532916666667)

Narration: Now Stokes' theorem. Take a surface in space, and this time not a closed one. A piece of one, like a butterfly net. Then del S is the curve running round its rim.

Board: space — an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2))

Actions:
- [06:42.553](https://academa.ai/lectures/divergence-and-stokes-theorems?t=402.5532916666667): space moves to a new place on the board.
- [06:42.553](https://academa.ai/lectures/divergence-and-stokes-theorems?t=402.5532916666667): heading2 is shown on the screen, written out.
- [06:45.235](https://academa.ai/lectures/divergence-and-stokes-theorems?t=405.2347916666667): cap is shown on the screen, written out.
- [06:54.14](https://academa.ai/lectures/divergence-and-stokes-theorems?t=414.1397916666667): rim is shown on the screen, written out.

##### [06:55.738](https://academa.ai/lectures/divergence-and-stokes-theorems?t=415.73829166666667)

Narration: Choose a normal direction for the surface, and walk that rim the matching way: the way that keeps the surface on your left when your head points along n hat. Pairing those two directions up is the only fiddly part of the whole theorem.

Board: space — an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2)); heading2 — a Heading that says "Stokes' Theorem"; cap — a Surface \[blue\] drawn in space (function=\<function\>, u\_range=(-1.3, 1.3), v\_range=(-1.3, 1.3)); rim — a ParametricCurve \[yellow\] labelled "partial S" drawn in space (function=\<function\>, breakpoints=(0.25, 0.5, 0.75))

Actions:
- [06:56.702](https://academa.ai/lectures/divergence-and-stokes-theorems?t=416.7017916666667): normal is shown on the screen, written out.
- [06:58.78](https://academa.ai/lectures/divergence-and-stokes-theorems?t=418.7797916666667): rim\_marks is shown on the screen, written out.
- [07:5.2](https://academa.ai/lectures/divergence-and-stokes-theorems?t=425.19979166666667): stokes\_note is shown on the screen, written out.

##### [07:10.142](https://academa.ai/lectures/divergence-and-stokes-theorems?t=430.14229166666667)

Narration: And Stokes says this. The total curl passing through the surface equals the circulation of F once around its rim.

Board: stokes\_note — a Text \[text\] that says "$S$ is a surface in space and $partial S$ is the curve that bounds it, walked so that the surface stays on your left when your head points along $hat(n)$."; space — an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2)); heading2 — a Heading that says "Stokes' Theorem"; cap — a Surface \[blue\] drawn in space (function=\<function\>, u\_range=(-1.3, 1.3), v\_range=(-1.3, 1.3)); rim — a ParametricCurve \[yellow\] labelled "partial S" drawn in space (function=\<function\>, breakpoints=(0.25, 0.5, 0.75)); normal — a Vector \[red\] labelled "hat(n)" drawn in space (start=(0.65, 0.35, 1.06375), end=(0.8634245885747669, 0.4649209323383023, 1.7204410417404723)); rim\_marks — an Orientation \[yellow\] drawn in space (path=((-1.3, -1.3, 0.35499999999999987), (-1.1375, -1.3, 0.454023437…, closed=True, arrows=4)

Actions:
- [07:11.361](https://academa.ai/lectures/divergence-and-stokes-theorems?t=431.3607916666667): eq\_stokes is shown on the screen, written out.

##### [07:19.218](https://academa.ai/lectures/divergence-and-stokes-theorems?t=439.2177916666667)

Narration: The left-hand side is a surface integral: at each point of S, how much curl is aimed through it. The right-hand side is a line integral: F dotted with the direction you are travelling, added up all the way round the closed loop.

Board: stokes\_note — a Text \[text\] that says "$S$ is a surface in space and $partial S$ is the curve that bounds it, walked so that the surface stays on your left when your head points along $hat(n)$."; eq\_stokes — a Math \[text\] that says "$integral.double\_(S) (nabla times arrow(F)) dot hat(n) thin dif S = integral.cont\_(partial S) arrow(F) dot dif arrow(r)$"; space — an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2)); heading2 — a Heading that says "Stokes' Theorem"; cap — a Surface \[blue\] drawn in space (function=\<function\>, u\_range=(-1.3, 1.3), v\_range=(-1.3, 1.3)); rim — a ParametricCurve \[yellow\] labelled "partial S" drawn in space (function=\<function\>, breakpoints=(0.25, 0.5, 0.75)); normal — a Vector \[red\] labelled "hat(n)" drawn in space (start=(0.65, 0.35, 1.06375), end=(0.8634245885747669, 0.4649209323383023, 1.7204410417404723)); rim\_marks — an Orientation \[yellow\] drawn in space (path=((-1.3, -1.3, 0.35499999999999987), (-1.1375, -1.3, 0.454023437…, closed=True, arrows=4)

Actions:
- [07:19.891](https://academa.ai/lectures/divergence-and-stokes-theorems?t=439.8907916666667): eq\_stokes (the "integral.double\_(S) (nabla times arrow(F)) dot hat(n) thin dif S" part) is emphasized.
- [07:27.473](https://academa.ai/lectures/divergence-and-stokes-theorems?t=447.4727916666667): eq\_stokes (the "integral.cont\_(partial S) arrow(F) dot dif arrow(r)" part) is emphasized.
- [07:27.473](https://academa.ai/lectures/divergence-and-stokes-theorems?t=447.4727916666667): eq\_stokes (the "integral.double\_(S) (nabla times arrow(F)) dot hat(n) thin dif S" part) is no longer emphasized.
- [07:35.066](https://academa.ai/lectures/divergence-and-stokes-theorems?t=455.0657916666667): eq\_stokes (the "integral.cont\_(partial S) arrow(F) dot dif arrow(r)" part) is no longer emphasized.
- [07:35.843](https://academa.ai/lectures/divergence-and-stokes-theorems?t=455.8432916666667): space moves to a new place on the board.
- [07:35.843](https://academa.ai/lectures/divergence-and-stokes-theorems?t=455.8432916666667): eq\_stokes is hidden from the screen — left the board.
- [07:35.843](https://academa.ai/lectures/divergence-and-stokes-theorems?t=455.8432916666667): heading2 is hidden from the screen — left the board.
- [07:35.843](https://academa.ai/lectures/divergence-and-stokes-theorems?t=455.8432916666667): stokes\_note is hidden from the screen — left the board.

##### [07:37.043](https://academa.ai/lectures/divergence-and-stokes-theorems?t=457.04329166666673)

Narration: And the reason is the same trick as before. Chop the surface into little tiles, and walk round the edge of every single tile, in the direction the normal tells you to.

Board: space — an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2)); cap — a Surface \[blue\] drawn in space (function=\<function\>, u\_range=(-1.3, 1.3), v\_range=(-1.3, 1.3)); rim — a ParametricCurve \[yellow\] labelled "partial S" drawn in space (function=\<function\>, breakpoints=(0.25, 0.5, 0.75)); normal — a Vector \[red\] labelled "hat(n)" drawn in space (start=(0.65, 0.35, 1.06375), end=(0.8634245885747669, 0.4649209323383023, 1.7204410417404723)); rim\_marks — an Orientation \[yellow\] drawn in space (path=((-1.3, -1.3, 0.35499999999999987), (-1.1375, -1.3, 0.454023437…, closed=True, arrows=4)

Actions:
- [07:37.043](https://academa.ai/lectures/divergence-and-stokes-theorems?t=457.04329166666673): heading3 is shown on the screen, written out.
- [07:37.043](https://academa.ai/lectures/divergence-and-stokes-theorems?t=457.04329166666673): rim is hidden from the screen.
- [07:37.043](https://academa.ai/lectures/divergence-and-stokes-theorems?t=457.04329166666673): rim\_marks is hidden from the screen.
- [07:37.043](https://academa.ai/lectures/divergence-and-stokes-theorems?t=457.04329166666673): normal is hidden from the screen.
- [07:40.573](https://academa.ai/lectures/divergence-and-stokes-theorems?t=460.5727916666667): tiles is shown on the screen, written out.
- [07:45.786](https://academa.ai/lectures/divergence-and-stokes-theorems?t=465.7857916666667): cancel is shown on the screen, written out.

##### [07:48.441](https://academa.ai/lectures/divergence-and-stokes-theorems?t=468.4407916666667)

Narration: Every interior edge belongs to two tiles, and those two tiles walk it in opposite directions. So it cancels, exactly as the shared walls did a moment ago. All the little circulations collapse, and what is left is the walk round the outer rim.

Board: space — an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2)); cap — a Surface \[blue\] drawn in space (function=\<function\>, u\_range=(-1.3, 1.3), v\_range=(-1.3, 1.3)); heading3 — a Heading that says "Why Stokes Works"; tiles — a Tiles \[yellow\] drawn in space (nodes=(((-1.3, -1.3, 0.35499999999999987), (-1.3, -1.1375, 0.45402343…, opacity=0.25, of='cap'); cancel — a TileEdge \[red\] drawn in space (edges=('u:0,1', 'u:0,2', 'u:0,3', 'u:1,1', 'u:1,2', 'u:1,3', 'u:2,1',…, paths=(((-1.3, -0.65, 0.6718749999999999), (-1.1375, -0.65, 0.7708984…, induced='both')

Actions:
- [07:55.778](https://academa.ai/lectures/divergence-and-stokes-theorems?t=475.7777916666667): why\_note is shown on the screen, written out.
- [08:1.548](https://academa.ai/lectures/divergence-and-stokes-theorems?t=481.5477916666667): cancel is hidden from the screen.
- [08:4.091](https://academa.ai/lectures/divergence-and-stokes-theorems?t=484.0907916666667): tile\_boundary is shown on the screen, written out.

##### [08:5.828](https://academa.ai/lectures/divergence-and-stokes-theorems?t=485.8282916666667)

Narration: Meanwhile each tiny loop's circulation is its own curl times its own area. Add them all up and you get the surface integral on one side and the boundary loop on the other. Same bookkeeping, one dimension down.

Board: space — an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2)); cap — a Surface \[blue\] drawn in space (function=\<function\>, u\_range=(-1.3, 1.3), v\_range=(-1.3, 1.3)); why\_note — a Text \[text\] that says "Every interior edge is walked twice, in opposite directions, so the inside contributes nothing at all. Only the outer rim survives."; heading3 — a Heading that says "Why Stokes Works"; tiles — a Tiles \[yellow\] drawn in space (nodes=(((-1.3, -1.3, 0.35499999999999987), (-1.3, -1.1375, 0.45402343…, opacity=0.25, of='cap'); tile\_boundary — a ParametricCurve \[yellow\] labelled "partial S" drawn in space (function=\<function\>, breakpoints=(0.25, 0.5, 0.75))

Actions:
- [08:20.107](https://academa.ai/lectures/divergence-and-stokes-theorems?t=500.10706250000004): heading3 is hidden from the screen — left the board.
- [08:20.107](https://academa.ai/lectures/divergence-and-stokes-theorems?t=500.10706250000004): space is hidden from the screen — left the board.
- [08:20.107](https://academa.ai/lectures/divergence-and-stokes-theorems?t=500.10706250000004): cap is hidden from the screen — space left the board.
- [08:20.107](https://academa.ai/lectures/divergence-and-stokes-theorems?t=500.10706250000004): tiles is hidden from the screen — space left the board.
- [08:20.107](https://academa.ai/lectures/divergence-and-stokes-theorems?t=500.10706250000004): tile\_boundary is hidden from the screen — space left the board.
- [08:20.107](https://academa.ai/lectures/divergence-and-stokes-theorems?t=500.10706250000004): why\_note is hidden from the screen — left the board.

### Scene 5: [One Sentence](https://academa.ai/lectures/divergence-and-stokes-theorems?t=501.1487291666667)

Span: 08:21.149–09:43.677 (501.1487291666667s–583.677125s).

#### Objects

- heading: a Heading that says "One Sentence"
- slogan: a Text \[text\] that says "Integrate a derivative over a region, and the answer is already written on the boundary of that region."
- theorems: a Derivation \[text\] that says "$integral.triple\_(E) op("div") arrow(F) thin dif V &= integral.double\_(partial E) arrow(F) dot hat(n) thin dif S \\ integral.double\_(S) (nabla times arrow(F)) dot hat(n) thin dif S &= integral.cont\_(partial S) arrow(F) dot dif arrow(r) \\ int…$"

#### Beats

##### [08:21.149](https://academa.ai/lectures/divergence-and-stokes-theorems?t=501.1487291666667)

Narration: Let's put the two theorems one above the other, because the resemblance is the whole point. First the divergence theorem: a triple integral of div F over a solid region, equal to the flux of F out through the closed surface around it.

Board: Empty.

Actions:
- [08:21.149](https://academa.ai/lectures/divergence-and-stokes-theorems?t=501.1487291666667): heading is shown on the screen, written out.
- [08:26.408](https://academa.ai/lectures/divergence-and-stokes-theorems?t=506.40772916666674): theorems is shown on the screen, written out.

##### [08:35.008](https://academa.ai/lectures/divergence-and-stokes-theorems?t=515.0077291666668)

Narration: And then Stokes: a surface integral of curl F over a piece of surface, equal to the circulation of F once round the curve that bounds it.

Board: heading — a Heading that says "One Sentence"

Actions:
- [08:35.879](https://academa.ai/lectures/divergence-and-stokes-theorems?t=515.8787291666667): theorems is shown on the screen, written out.

##### [08:44.78](https://academa.ai/lectures/divergence-and-stokes-theorems?t=524.7797291666667)

Narration: Now look at the shape of them. On the left of each one, a derivative of F, integrated over a region. On the right of each one, F itself, integrated over the boundary of that region. Div and curl are different derivatives, and a solid and a surface are different regions.

Board: Unchanged from the preceding beat in this scene.

Actions:
- [08:47.427](https://academa.ai/lectures/divergence-and-stokes-theorems?t=527.4267291666667): theorems (the "integral.triple\_(E) op("div") arrow(F) thin dif V" part) is emphasized.
- [08:48.627](https://academa.ai/lectures/divergence-and-stokes-theorems?t=528.6267291666667): theorems (the "integral.triple\_(E) op("div") arrow(F) thin dif V" part) is no longer emphasized.
- [08:48.627](https://academa.ai/lectures/divergence-and-stokes-theorems?t=528.6267291666667): theorems (the "integral.double\_(S) (nabla times arrow(F)) dot hat(n) thin dif S" part) is emphasized.
- [08:52.082](https://academa.ai/lectures/divergence-and-stokes-theorems?t=532.0817291666667): theorems (the "integral.double\_(partial E) arrow(F) dot hat(n) thin dif S" part) is emphasized.
- [08:52.082](https://academa.ai/lectures/divergence-and-stokes-theorems?t=532.0817291666667): theorems (the "integral.double\_(S) (nabla times arrow(F)) dot hat(n) thin dif S" part) is no longer emphasized.
- [08:53.282](https://academa.ai/lectures/divergence-and-stokes-theorems?t=533.2817291666668): theorems (the "integral.double\_(partial E) arrow(F) dot hat(n) thin dif S" part) is no longer emphasized.
- [08:53.282](https://academa.ai/lectures/divergence-and-stokes-theorems?t=533.2817291666668): theorems (the "integral.cont\_(partial S) arrow(F) dot dif arrow(r)" part) is emphasized.
- [08:57.249](https://academa.ai/lectures/divergence-and-stokes-theorems?t=537.2487291666667): theorems (the "integral.cont\_(partial S) arrow(F) dot dif arrow(r)" part) is no longer emphasized.

##### [09:3.363](https://academa.ai/lectures/divergence-and-stokes-theorems?t=543.3632291666668)

Narration: And you have met that sentence before. The fundamental theorem of calculus: integrate f prime across an interval, and the answer is f at the two endpoints. The boundary of an interval is just its two ends.

Board: Unchanged from the preceding beat in this scene.

Actions:
- [09:6.463](https://academa.ai/lectures/divergence-and-stokes-theorems?t=546.4627291666667): theorems is shown on the screen, written out.

##### [09:17.297](https://academa.ai/lectures/divergence-and-stokes-theorems?t=557.2972291666667)

Narration: Same sentence, every time. Integrate a derivative over a region, and the answer is already written on the edge. That is what these theorems buy you: a hard integral over something fat, traded for an easier one over its skin.

Board: Unchanged from the preceding beat in this scene.

Actions:
- [09:23.676](https://academa.ai/lectures/divergence-and-stokes-theorems?t=563.6757291666668): slogan is shown on the screen, written out.

##### [09:32.542](https://academa.ai/lectures/divergence-and-stokes-theorems?t=572.5422291666667)

Narration: So. Divergence measures outflow, curl measures spin, and each of them has a theorem saying that the inside tells you nothing the boundary has not already said.

Board: slogan — a Text \[text\] that says "Integrate a derivative over a region, and the answer is already written on the boundary of that region."; heading — a Heading that says "One Sentence"

Actions:
- [09:42.635](https://academa.ai/lectures/divergence-and-stokes-theorems?t=582.6354583333334): heading is hidden from the screen — left the board.
- [09:42.635](https://academa.ai/lectures/divergence-and-stokes-theorems?t=582.6354583333334): slogan is hidden from the screen — left the board.
- [09:42.635](https://academa.ai/lectures/divergence-and-stokes-theorems?t=582.6354583333334): theorems is hidden from the screen — left the board.