# Dowód twierdzenia Stokesa część 7

## Transkrypcja filmu video

Where we left off
in the last video, we'd expressed our line
integral around the boundary of our surface. So this is f.dr where our
path is this boundary right over here-- this path c. We had expressed it
in terms of a line integral around this boundary--
around path c1-- which is the boundary of
region R. And the reason why this is going
to be valuable to us is now we can directly apply
Green's Theorem to this to turn this into a double
integral over this region right over here-- the region
that it is actually bounding. So let's actually do that. We're just applying
Green's Theorem here. So Green's Theorem. And actually, let me box
this off right over here. This was just
something that we wrote to remind ourselves
in the last video. So let me just box it
off right over here. But when you apply
Green's Theorem, you get that this is going
to be the exact same thing as the double integral
over the region that c1 bounds-- that
region, R, that's in our xy plane-- of the
partial of this with respect to x of this business. So I'll do that in
that same green color. Q plus R times the partial
of z with respect to y minus the partial
with respect to y of P plus R times the partial
of z with respect to x. And then, dA, little
differential of our region. dA. And so let's actually
calculate this right here. You take the partials of
each of these expressions. And we'll see that if we
expand them and then simplify, we'll get something very
similar-- or actually, hopefully, identical--
to this right over here. And that'll show that this line
integral for this special case is the same thing as this
surface integral, which will prove Stokes' theorem
for this special case. So let's do it. So let's just apply the
partial derivative operator. So first we want to take the
partial derivative with respect to Q. And we need to remind
ourselves-- and we did this way up here where we first thought
about it-- we saw that P, Q, and R, they're each
functions of x, y, and z. So we're assuming that's
how they're represented. And if z was not a
function of x, then, if we were to take the partial
of Q with respect to x, we would just write it as a
partial of Q with respect to x. But we know that we've
assumed that z is itself a function of x and y. So if we're taking the partial
with respect to x over here, we have to think
first-- Well, how can Q directly change
with respect to x? And then, how can it change
due to something else changing due to x? And so that other thing that
could change due to x is z. y is independent of x, but
z is a function of x. So let's keep that in mind. So we're really going to do
the multi-variable chain rule. So when we try to take the
derivative of this part, of this whole function
with respect to x, we have to think about--
How will Q change directly with respect to x? And to that, we have to add how
Q could change due to changes in other variables
due to changes in x. And the only other
variable that Q is a function of that could
change due to a change in x is z. So Q could also change to z
because z has changed due to x. So the operator here is
the partial with respect to x plus the partial
of Q with respect to z times the partial
of z with respect to x. If we rewrote Q so that
z was substituted with x's and y's-- because it is a
function of x and y's-- then we would just have to write this
first term right over here. But we're assuming
this is expressed as a function of x, y, and z. And z itself is a function of x. And so that's why we had to use
the multi-variable chain rule. Now, let's move
to the next part. And both of these might
have some x's in them. So we have to use the
product rule right over here. So first, we can take the
derivative of r with respect to x. And then, multiply
that times z sub y. Then, we have to take
the derivative of z sub y with respect to x and
multiply that times R. So this is going to be plus. If we take the derivative
of this with respect to x, same exact logic-- R
can change directly due to x, and it can change due to y. And that could change due
to z and multiply that times how z could change due to x. Once again, you could view this
as the multi-variable chain rule in action here. But of course, we
take the derivative of the first term
times the second term. And I'll do the second
term in magenta. So the partial of z with
respect to y plus the derivative of the second term--
which is the partial of z with respect to y, and
then taking the partial of that with respect to
x, which we could just write as that--
times the first term. So that's the
partial with respect to x of all of this
business right over here. And then, we need to
subtract the partial of this with respect to y. And we're going to use
the exact same logic. So then, we're
going to subtract-- and I'll put it in
parentheses like that. So P could change
directly due to y. I will circle P. Let
me do it with a color that I haven't used yet. P could change
directly due to y. So we could say the partial
of P with respect to y, but it could also change due
to z changing because of y. So plus the partial
with respect to z times the partial of z
with respect to y-- and I'll do R maybe
in that same color-- plus the derivative of R. Well, we already figured
that, but actually now it's with respect to x,
not with respect to y. You have to be careful. So it's going to be the
partial of R with respect to y plus the partial
of R with respect to z times the partial of z
with respect to y times z sub x plus-- now,
we take the derivative of the second term
times the first term. The derivative of the partial
of z with respect to x, then with respect to y,
is going to be z. And then we're going to
multiply that times R. And now, let's see if
we can expand this out. And hopefully, things simplify. And just a reminder,
I'm just working on the inside of
this double integral. I'll rewrite the double
integral and the dA once I get this all
cleaned up a little bit. So let me rewrite
it a little bit. So this is equal to
the partial of Q. I'll try to color-code
it the same way. And this is really just
algebra at this point. The partial of Q with
respect to x plus the partial of Q with respect to z times
the partial of z with respect to x plus the partial
of R with respect to x times the partial
of z with respect to y. And then plus the partial
of R with respect to z times the partial
of z with respect to x times the partial
of z with respect to y. And then we have this
term right over here-- which I'll just do in
purple-- plus the partial of z with respect to y, and
then respect to x, times R. And now, we're going to subtract
all of this business right over here. I'll do it in the blue. Minus the partial
of P with respect to y minus the partial of
P with respect to z times the partial of z
with respect to y. And then we're going
to subtract from that. Minus the partial
of r with respect to y times-- we want to
distribute this-- times the partial of z with respect
to x minus the partial of R. This gets a little bit tedious. But hopefully, it'll get
us to where we need to go. The partial of R with respect
to z times the partial of z with respect to y times the
partial of z with respect to x. And then, finally, this
term right over here minus this-- because we have
that negative out there-- minus the partial
of z with respect to y, then with respect to x,
and then with respect to yR. Now, let's see if we
can simplify things. So the first thing-- this
and this look to be the same. We just can commute the order
in which we actually multiply. But these are the
exact same term. So that is going to
cancel out with that. And because we
assumed way up here that we have continuous second
derivatives of the function z-- z is a function
of x and y, that that is equal to that-- we can
now say that these two right over here are going to
be the negatives of each other or that they are
going to cancel out. And so this simplified
things a good bit. And let's see if
I can group terms in a way that might
start to make sense. And actually, I'm
going to try to see if I can make them
similar to this. So I have all the terms that
have a z sub x and the z sub y and then the rest of them. So z sub x I'll do in blue. So you have the terms
that have a z sub x in it. So you have this
term right over here and this term right over here. And we can factor
out the z sub x. And we get the partial
of z with respect to x times the partial
of Q with respect to z minus the partial
of R with respect to y. And then, let's do
the-- and I want to get the colors
the same way, too. I did yellow next. Plus, I have all the
terms of the partial of z with respect to y. So it's that term and
that term right over here. So it becomes plus the
partial of z with respect to y times the partial
of R with respect to x minus the partial
of p with respect to z. And then we have
these last two terms. And I used the color
green up there, so I'll use the
color green again. So for these two
terms, I'll just write plus the partial
of Q with respect to x minus the partial
of P with respect to y. So our double integrals
have kind of-- I can't really say
simplified-- but we can rewrite it like this. And we don't want to forget
this was all a simplification of our double integral
over the region dA. This is what we have
been able to using Green's theorem and the
multi-variable chain rule and whatever else. We've been able to
say that that line integral around the
boundary of our surface is the same thing as this. And now, we can compare that to
what our surface integral was. So let's see if I have space. So copy. And then, let me see if I have
space up here to paste it. Well, it doesn't look like
I actually have much space to paste it, although
I'll try anyway. So if I paste it, you see
that they are identical. They are identical. Our line integral is
identical to this. We get the exact same thing. So our line integral,
f.dr, around this path c simplified to this and our
surface integral simplified to this. So using the
assumptions we had, they both simplified
to the same thing. So now we know, for
this special case, our line integral is equal
to our surface integral. And we are done.