We've now laid the groundwork so we can express this surface
integral, which is the right-hand side
of the way we've written Stokes' theorem.
We can now express this as a double integral
over the domain of the parameters that we care about.
And we're going to do that in this video.
And then in the next series of videos,
we'll do the same thing for this expression.
We're actually going to do that using Green's theorem.
What we're going to do is we're going
to see we're going to get the same expressions, which
will show us that Stokes' theorem is true,
at least for this special class of surfaces
that we are studying right here.
But they're pretty general.
Now let's now try to do that.
So our surface integral-- I'm just
going to rewrite it down here.
It's the surface integral, so over our surface
of the curl of f.
Actually, let me go a little bit lower.
So we have our surface integral of the curl of F dot ds.
Well, we've already figured out what our curl of F
is here two videos ago.
And we've almost figured out what ds is.
ds is the cross product of these two vectors times dA.
The cross product of these two vectors
is this right over here.
So we could just write that ds is
going to be equal to this thing times dA.
This is the cross product of the partial
of r with respect to x and the partial of r with respect to y.
And then we have to multiply that times dA right over there.
So this expression is just going to be the dot
product of the curl of F, which is this stuff up here dotted
with this stuff down here.
And essentially, we're going to take the dot
product of this vector and that vector
and then multiply it times this-- we can actually
consider this to be a scalar value.
So let's do that.
So this is going to be equal to-- and
when we do this, all of these we are now
going to start operating in the domain of our parameters.
So it's going to turn from a surface integral
into a double integral over that domain,
over that region that we care about.
This is the domain of our parameters, this region R.
And this is how we've manipulated any of the surface
integrals that we've come across so far.
We've turned them into double integrals
over the domain of the parameters.
So this is going to turn into a double integral over the domain
of our parameters, which is the region R. It's the region
R in the xy plane right up here.
And now we can take the dot product of the curl of F
with dotted ds, which is all of this business right over here.
And let me see if I can show both of them
on the screen at the same time.
There you go.
So first let's think about the x components.
So you have that right over there.
And then you have this right over here.
You multiply the two.
The negative we can swap the order right over there.
You have the partial of z with respect to x times--
and we're going to swap this order right over here.
The partial of Q with respect to z minus the partial of R
with respect to y.
Now let's think about the j component.
You have negative z sub y times all of this up here,
at least the stuff that's multiplied times the j
This negative can cancel out with that negative, so you have
plus z sub y, 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.
Let me make that clear, that is an R right over here.
And then we have the k component.
And the k component is actually the easiest because it's just 1
So it's just going to be 1 times--
and I'll just do it in that same color-- 1 times
the partial of Q with respect to x minus the partial of P
with respect to y.
And then finally, we just have this dA over here.
And this dA is multiplied by everything.
So we'll put some parentheses, and we'll write dA.
So we're done.
We've expressed our surface integral as a double integral
over the domain of our parameters.
And what we're going to do in the next few videos
is do the same thing with this using Green's theorem.
And we're going to see that we get the exact same value.