Główna zawartość

### Kurs: Analiza matematyczna funkcji wielu zmiennych > Rozdział 5

Lekcja 3: Twierdzenie Greena (artykuły)# Twierdzenie Greena

Green's theorem relates the double integral curl to a certain line integral. It's actually really beautiful.

## Kontekst

Not strictly required, but helpful for a fuller understanding:

## Other resources

You can find examples of how Green's theorem is used to solve problems in the next article. Here, I will walk through what I find to be a beautiful line of reasoning for why it is true. You can find a different perspective in Sal's video on the topic.

## One lesson, four times the payoff

Green's theorem is one of four major theorems at the culmination of multivariable calculus:

**Green's theorem**- 2D divergence theorem
- Stokes' theorem
- 3D Divergence theorem

Here's the good news: All four of these have very similar intuitions. So if you really get to the point where you feel Green's theorem in your bones, you're already most of the way there to understanding these other three!

## Do czego zmierzamy

- Setup:
is a two-dimensional vector field.${\mathbf{\text{F}}}$ is some region in the${R}$ -plane.$xy$ is the boundary of that region, oriented${C}$ **counterclockwise**.

- Green's theorem states that the line integral of
around the boundary of${\mathbf{\text{F}}}$ is the same as the double integral of the${R}$ *curl*of within${\mathbf{\text{F}}}$ :${R}$ - You think of the left-hand side as adding up all the little bits of rotation at every point within a region
, and the right-hand side as measuring the total fluid rotation around the boundary${R}$ of${C}$ .${R}$ - Often times
is written component-wise as follows:${\mathbf{\text{F}}}$ In terms of and$P$ , here's what Green's theorem looks like:$Q$

## Fluid rotation around a boundary

As you read on, the picture to have in your head is a blob in a vector field.

is the function for the vector field. And, as you're probably getting used to if you've read other articles like this involving vector fields, imagine that${\mathbf{\text{F}}}(x,y)$ represents a fluid flow.${\mathbf{\text{F}}}$ is some region in the${R}$ -plane. In practice, and in problems, it will be some well-defined shape like a circle or the boundary between two graphs, but while thinking abstractly I like to just draw it as a blob.$xy$ is the boundary of${C}$ , oriented${R}$ **counterclockwise**. Remember that orientation, because it actually matters when you solve problems. Counterclockwise. Are you remembering it? Counterclockwise.

**Concept check**: How can you interpret the following line integral in terms of a fluid flow?

(Remember, in a line integral through a vector field, the term $d\mathbf{\text{r}}$ represents a tiny step along the curve, as a vector, which in this case will always point in the counterclockwise direction.)

Here's one way to think about the line integral $\oint}_{{C}}{\mathbf{\text{F}}}\cdot d\mathbf{\text{r}$ : Image rowing a boat around the line ${C}$ , counterclockwise.

At each point of your journey, the vector $d\mathbf{\text{r}}$ gives the direction of your motion. The dot product ${\mathbf{\text{F}}}\cdot d\mathbf{\text{r}}$ will be positive at points where the fluid flow is with you, and negative at points where it's against you.

On the whole, the line integral $\oint}_{{C}}{\mathbf{\text{F}}}\cdot d\mathbf{\text{r}$ adds up all these dot products to tell you if the flow was generally helpful or burdensome.

So this line integral is positive when the fluid flow has a general counterclockwise tendency around the boundary ${C}$ (meaning it was generally helpful), and it will be negative if it has a clockwise tendency (generally burdensom).

## Bringing the boundary to the interior

Green's theorem is all about taking this idea of fluid rotation around the boundary of ${R}$ , and relating it to what goes on inside ${R}$ . Conceptually, this will involve chopping up ${R}$ into many small pieces. In formulas, the end result will be taking the double integral of $\text{2d-curl}{\textstyle \phantom{\rule{0.167em}{0ex}}}{\mathbf{\text{F}}}$ .

#### Cut the region

Imagine chopping up the region ${R}$ with a line straight down the middle, giving two subregions ${{R}_{1}}$ and ${{R}_{2}}$ :

Name the boundaries of these two regions ${{C}_{1}}$ and ${{C}_{2}}$ . What happens if we take the line integral of ${\mathbf{\text{F}}}$ around these two boundaries, and add them up?

Notice, these line integrals will cancel out along the vertical line cut that you made. Namely, the integral around ${{C}_{1}}$ goes "up" this line, while the integral around ${{C}_{2}}$ integrates "down" this line. (Remember, when performing a line integral in a vector field, changing the direction along a curve multiplies your result by $-1$ ).

This means the sum of our two integrals is the same as just going around the full boundary ${C}$ .

#### Cut it again

You could do this one more time, maybe with a horizontal cut this time:

If you integrate around the boundaries of the resulting four subregions, the integrals will all cancel out along the cuts you made in the interior of ${R}$ :

In a formula, this means the sum of the line integrals around all four subregions end up just equalling the line integral around the full region:

I should emphasize that this only works if we make sure that all the boundaries ${{C}_{1}},\dots ,{{C}_{4}}$ are oriented the same way. Otherwise, they might not cancel each other out along the cuts. It's common to think of counterclockwise as being the positive direction, so think about everything as being oriented counterclockwise.

#### Cut it many, many times

You might be able to see where I'm going with this. Imagine chopping of the region ${R}$ into many many tiny pieces, ${{R}_{1}},\dots ,{{R}_{n}}$ . Orient all of their boundaries ${{C}_{1}},\dots ,{{C}_{n}}$ counterclockwise, and integrate the function ${\mathbf{\text{F}}}$ over each one.

The integrals will cancel out along all the cuts inside ${R}$ itself. This is because for any cut, one of the integrals will go along it in one direction, while another goes along it in the other direction. In the end, the only parts where these integrals don't cancel are the pieces of the boundary ${C}$ .

This means adding up the line integrals along the tiny boundaries of the pieces will give the same result as just integrating across the full region:

## Integrating curl

So... why am I doing this? It's because there is another way to interpret each of these line integrals around a tiny piece using two-dimensional curl. Pick one of those pieces and zoom in on it.

- Let
be the piece you chose, with boundary${{R}_{k}}$ .${{C}_{k}}$ - Let
represent the area of$|{{R}_{k}}|$ , which we are thinking of as being some very small number.${{R}_{k}}$ - Let
be some point sitting inside this piece, any point really.${({x}_{k},{y}_{k})}$

The fluid rotation around this piece due to ${\mathbf{\text{F}}}$ can be measured with the line integral $\oint}_{{{C}_{k}}}{\mathbf{\text{F}}}\cdot d\mathbf{\text{r}$ . Think tiny row boat. But since this is a really small piece, there is another multivariable calculus concept that measures fluid rotation: Curl.

This line integral can be approximated by taking the $\text{2d-curl}$ of ${\mathbf{\text{F}}}$ at any point within ${{R}_{k}}$ , and multiplying it by the (tiny) area $|{{R}_{k}}|$ :

Also, and this is important, the smaller ${{R}_{k}}$ is, the better this approximation is.

Adding up these approximations over all of the tiny pieces ${{R}_{k}}$ , here's what you get:

Taking the conclusion from the previous section, the left-hand side above is the same as a single line integral around the full boundary of ${R}$ , so we can rewrite this approximation as follows:

Now take a close look at the sum on the right-hand side.

- It includes a scalar-valued function,
$\text{2d-curl}{\textstyle \phantom{\rule{0.167em}{0ex}}}{\mathbf{\text{F}}}$ - The sum is taken over many tiny pieces
of a two-dimensional region,${{R}_{k}}$ .${R}$ - For each piece within the sum, the function is evaluated on a point inside that piece, then multiplied by its area.

Sound familiar? This is all the recipe for a double integral! (If this does not sound familiar, consider taking a look at this article on double integrals).

In particular, if you imagine chopping up the region ${R}$ more and more finely, you can replace the sum above with a double integral of $\text{2d-curl}{\textstyle \phantom{\rule{0.167em}{0ex}}}{\mathbf{\text{F}}}$ over ${R}$ :

Putting everything together, here's what we have:

This is actually more than a mere approximation, the line integral around the boundary

*equals*the double integral of two-dimensional curl:This marvelous fact is called

**Green's theorem**. When you look at it, you can read it as saying that the rotation of a fluid around the full boundary of a region (the left-hand side) is the same as looking at all the little "bits of rotation" inside the region and adding them up (the right-hand side).## Alternative notation

It is very common to see Green's theorem written like this:

This is just spelling out the dot product in the left-hand side line integral, as well as the curl in the right-hand side double integral. For whatever reason, it is common to use the letters $P$ and $Q$ to denote the components of the vector-valued function ${\mathbf{\text{F}}}(x,y)$ :

In the next article, you will find examples of how this formula can be used to make either line integrals or double integrals simpler.

## Podsumowanie

- You can think about the line integral
as measuring the rotation of the fluid flow represented by the vector field$\oint}_{{C}}{\mathbf{\text{F}}}\cdot d\mathbf{\text{r}$ around the curve${\mathbf{\text{F}}}(x,y)$ . It is conventional to think of counterclockwise rotation as being positive, in which case${C}$ should be oriented counterclockwise.${C}$

- Imagine chopping up the two-dimensional region
enclosed by${R}$ into many tiny pieces. Name the boundaries of these pieces${C}$ , and orient them all counterclockwise. Then adding up the line integrals of${{C}_{1}},\dots ,{{C}_{n}}$ around each piece-boundary${\mathbf{\text{F}}}$ boils down to the same thing as the line integral around the full boundary${{C}_{k}}$ .${C}$ That is to say, the little line integrals cancel out along all the cuts within${R}$ - As you consider smaller and smaller pieces, the line integral around each tiny piece can be approximated using two-dimensional curl:

- Adding up these little "bits of curl" using a double integral over
, and applying the fact that the sum of the line integrals cancels out along interior cuts, you get${R}$ **Green's theorem**:

## Chcesz dołączyć do dyskusji?

Na razie brak głosów w dyskusji