Analiza matematyczna funkcji wielu zmiennych
After learning about what flux in three dimensions is, here you have the chance to practice with an example.
In the last article, I talked about how the flux of a flowing fluid through a surface is a measure of how much fluid passes through that surface per unit of time. If that fluid flow is represented with a vector field
, and if represents the surface itself, the flux is computed with the following surface integral:
The vector-valued function
gives the unit normal vector to . For closed surfaces, you typically choose an outward facing unit normal vector.
In practice, there is quite a lot that goes into solving this integral.
- Krok 1: Rewrite the integral in terms of a parameterization of
, as you would for any surface integral.
- Krok 2: Insert the expression for the unit normal vector
. It's best to do this before you actually compute the unit normal vector since part of it cancels out with a term from the surface integral.
- Krok 3: Simplify the terms inside the integral.
- Krok 4: Compute the double integral.
Consider the paraboloid graph defined by the following equation:
be the portion of this paraboloid which sits above the -plane:
Whoa, that ended up looking way more like a nuclear warhead than I intended. Ah well, at least it makes clear what surface we're talking about.
For flux integrals, we must specify the orientation of this surface. Let's orient it with outward-facing normal vectors, in the sense that the vectors
, and are all outward facing from the region under the paraboloid.
Now imagine there is a fluid flowing around in three-dimensional space. Let's say it flows along the vector field defined by the function
Key question: What is the flux of this flowing fluid through the surface
Step 1: Rewrite the flux integral using a parameterization
Right now, the surface
has been defined as a graph, subject to a constraint on .
But for computing surface integrals, we need to describe this surface parametrically. Luckily, this conversion is not to hard. You basically let one parameter play the role of
, while the other parameter plays the role of :
After writing this function, you still need to specify what region of the
-plane corresponds with our surface . This requires translating the constraint into a constraint on and .
Concept check: What is the constraint on
and which will ensure that the -component of is greater than or equal to ? Write your answer as an inequality.
Since this region is a disk with radius
, let's name it .
Later down the road, we'll expand this fully as a set of bounds for
and , but while we work on all the innards of the integral it helps to just have a symbolic representation.
Writing our flux surface integral as a double integral in the parameter space, here's what we get:
Step 2: Insert the expression for a unit normal vector
In a previous article, I talked about how you can find a function which gives the unit normal vector to a surface based on its parameterization
. Basically, you normalize the cross product of the partial derivatives of (boy is that a mouthful to say):
Now, for those of you who just love computing the magnitude of cross products of partial derivative vectors, hold off for a moment. When we insert this into the flux integral, that magnitude term cancels out:
Step 3: Expand the integrand
Let's start by working out the cross product term:
For reference, this was how I defined
Now compute each partial derivative, then find their cross product.
Concept check: Does the expression for
that you just found give an outward-facing or inward-facing normal vector?
Next, write out the term
in terms of just and . For reference, this is how and are defined:
Great! Now we have all the pieces for the innards of our integral.
By taking the dot product of the previous two answers, write the inside of this integral purely in terms of the parameters
and . It will help the integral computation in the next section if you simplify your answer as much as possible.
Step 4: Compute the integral
Up until this point, we have been writing a little
under the double integral to indicate that the region of the -plane we will be integrating over is the disk with radius . Now, as we turn to computing the integral itself, we need to spell this out into concrete bounds on the parameters and .
To do this, draw yourself a picture of
, and imagine cutting it into vertical stripes:
ranges from to . The range for depends on the value of , which you can find using the pythagorean theorem.
From the diagram, you can see that
ranges from to . Applying these bounds to our double integral, here's what we get:
From here, there are a few ways you might finish the problem
- Painfully: Compute this double integral in full by hand (ugh!).
- Pragmatically: Plug this into a calculator, or a computer algebra tool like Wolfram Alpha.
- Cleverly: You can recognize that the integrand is an odd function with respect to
. Distribute the , and notice that all terms either have an or an . This means the inner integral on the portion from to will cancel out with the portion from to . Therefore, the integral as a whole is .
A flux integral starts its life looking something like this:
Solving this involves the following four steps:
- Krok 1: Parameterize the surface, and translate this surface integral to a double integral over the parameter space.
- Krok 2: Apply the formula for a unit normal vector.
- Krok 3: Simplify the integrand, which involves two vector-valued partial derivatives, a cross product, and a dot product.
- Krok 4: Compute the double integral (in practice a computer can handle it from here).