next up previous
Next: About this document

The main purpose of this Study Guide is to give some motivation behind various topics in this course and to explain their connections to other subjects. Hopefully it will help you to understand the most basic things in this course. Sometimes, I add appropriate remarks slightly beyond this course to broaden your mind. The presentation here is rather informal in order to make this guide more readable: for example, I use the word ``recipe'' for ``formula''.

Some people think mathematics is often boring and it shows a bit of excitement only when it is applied. On the other hand some people think mathematics is exciting and it becomes boring once it is applied. No matter what they think, we instructors are trying very hard to make this course an exciting experience for you.


9.1 & 9.2 from the Fourier Series package. There are two basic types of series used for ``encoding'' functions: Taylor series and Fourier Series. A Taylor series (not covered in this course) for a function f at tex2html_wrap_inline492 is something like tex2html_wrap_inline494 , where the nth Taylor coefficient tex2html_wrap_inline498 is given by tex2html_wrap_inline500 . This is a bit like using decimals to ``encode'' real numbers. For example, when we write tex2html_wrap_inline502 we mean

displaymath504

In general, when we write down a decimal expansion of a number a, say tex2html_wrap_inline508 , we mean a is equal to tex2html_wrap_inline512 . If tex2html_wrap_inline514 were replaced by tex2html_wrap_inline516 in the last expression, you would get a Taylor series.

How do we ``encode'' vectors in a d-dimensional space? We introduce a ``rectangular coordinate system'' so that every vector is ``encoded'' by a d-tuple of numbers called the coordinates of this vector. (You are familiar with this in a linear algebra course. But let me briefly remind you here.) A ``rectangular coordinate system'' is a set of ``basic vectors'', say tex2html_wrap_inline520 , which are orthogonal to each other and are of unit length. By means of these ``basic vectors'' we can write any vector tex2html_wrap_inline522 as an ``expansion'' (in a unique way) of the form tex2html_wrap_inline524 . The vector tex2html_wrap_inline522 is ``encoded'' by the ``coefficients'' tex2html_wrap_inline528 of this expansion, called the coordinates of tex2html_wrap_inline522 . The set of coordinates is not only a device to keep track of vectors, it also gives us important information about vectors for computational purposes. From the ``orthonormality'' of the basic vectors it is easy to deduce that the nth ``coefficient'' of the ``expansion'' for tex2html_wrap_inline522 , namely the coefficient tex2html_wrap_inline498 in front tex2html_wrap_inline538 , is given by tex2html_wrap_inline540 .

The story about using Fourier coefficients to ``encode'' functions of period 2L is similar to the one about vectors I have reminded you. The ``basic functions'' we pick are

displaymath544

These functions almost form an orthonormal basis in the space of (real-valued) functions of period 2L if we define the ``dot product'' of two functions f and g in this space to be

displaymath552

I say ``almost'' because of one little bad thing about these ``basic functions'': the first function tex2html_wrap_inline554 is not of unit length: tex2html_wrap_inline556 . Not too bad - this is the only bad thing. The choice of tex2html_wrap_inline554 seems to be rather odd, but it has a great advantage, as we will see. With these ``basic functions'', we can write down the Fourier expansion of f as

displaymath562

In the previous story about vectors we have mentioned that the coefficient of the ``expansion'' of tex2html_wrap_inline522 in front of tex2html_wrap_inline538 is the dot product of tex2html_wrap_inline522 with tex2html_wrap_inline538 . Similarly, the coefficient tex2html_wrap_inline498 here in front of the basic function tex2html_wrap_inline574 is the dot product of f and this basic function, namely

displaymath578

Now I tell you the advantage of picking tex2html_wrap_inline554 as our first basic function: the above recipe for tex2html_wrap_inline498 also works for n=0. A similar recipe for finding the coefficients tex2html_wrap_inline586 is given in your Fourier Series Chapter.

Finding the Fourier expansion of a function is an ``encoding'' problem. Summing a Fourier series to recover the function is a ``decoding'' problem. Studying the nature of Fourier coefficients of a function from known properties of this function is called ``harmonic analysis'' of the function. To find out properties of a function from the behaviour of its Fourier coefficients is called ``harmonic synthesis''of this function. Let us say no more; otherwise we'll get into either music or an extremely difficult area of mathematics.

10.2 Review: polar coordinates tex2html_wrap_inline588 and its relation to rectangular coordinates: tex2html_wrap_inline590 . Another elementary but useful identity: tex2html_wrap_inline592 .

Polar coordinates, cylindrical coordinates and spherical coordinates are useful for problems involving rotational symmetries.

10.3. To find areas in polar coordinates, we use the following recipe:

displaymath594

The ingredient tex2html_wrap_inline596 here represents the area dA of an ``infinitesmally thin slice of pizza'' depicted in the following figure: tex2html_wrap_inline600 . 10.4. The best way to view a parametric curve tex2html_wrap_inline602 is to regard it as the trajectory of a moving particle so that the point (x(t), y(t)) stands for the location of the particle at the time instance t.

10.5. Formally, tex2html_wrap_inline608 (see Fig. 10.5.1 on P. 596); here, tex2html_wrap_inline610 stands for ``the square of dx'', not ``d of tex2html_wrap_inline616 ''! (``d of tex2html_wrap_inline616 '' should be tex2html_wrap_inline622 , which is equal to 2xdx.) Divide both sides by tex2html_wrap_inline626 to get tex2html_wrap_inline628 . Then take square roots: tex2html_wrap_inline630 . So tex2html_wrap_inline632 , which is the main ingredient in the following formula for arc length

displaymath634

The informal way of deriving a formula like this is very common in physical sciences.

12.1, 12.2. Review: the planar and spatial vectors. The textbook distinguishes tex2html_wrap_inline636 from (a,b,c); the former expression represents a vector and the latter represents a point. Mathematically, such a distinction is unnecessary: both of them represent an ordered triple of real numbers, that is, an element in tex2html_wrap_inline640 . Regarding such an element as a vector or a point is our own interpretation, in other words, our subjective opinion. So in this course let us not to be fussy about this distinction. Forget about tex2html_wrap_inline636 ! Just write (a, b, c).

Everything in these two sections can be easily generalized to n-dimensional space tex2html_wrap_inline648 (here n is any positive integer.) The dot product tex2html_wrap_inline652 and the length tex2html_wrap_inline654 for elements tex2html_wrap_inline656 and tex2html_wrap_inline658 in tex2html_wrap_inline648 are given respectively by

displaymath662

The angle tex2html_wrap_inline664 between tex2html_wrap_inline666 and tex2html_wrap_inline668 can be found from tex2html_wrap_inline670 . Note that we have tex2html_wrap_inline672 . It is fair to say that almost everything we study in this course can be easily generalized to the higher dimensional settings. To keep matter simple, we only look at two or three dimensional situations.

12.3. Review: the cross product. To compute tex2html_wrap_inline674 , use either (1) or (5). The magnitude of tex2html_wrap_inline674 is given by either (6) or (7). The direction of tex2html_wrap_inline674 is determined by the statements in Fig. 12.3.1 and Fig. 12.3.2. The triple product tex2html_wrap_inline680 is given by the determinant in (17). The absolute value of this determinant gives the volume of the parallelepiped spanned by these three vectors. Its sign tells us the so-called orientation of the triple tex2html_wrap_inline682 and tex2html_wrap_inline684 , in that order.

I should point out that one of the prettiest formulae in vector algebra is the identity in Exercise 33. It is highly nontrivial and surprisingly simple. I still don't know how to understand it properly to make it transparent. But we are not going to touch this formula in this course.

12.4. Given a point tex2html_wrap_inline686 and a nonzero vector tex2html_wrap_inline688 , we have the following parametric equations of the line L through the point tex2html_wrap_inline692 in the direction of tex2html_wrap_inline522 : tex2html_wrap_inline696 , or, in the vector form tex2html_wrap_inline698 . Don't worry about the symmetric equations (6) on P. 735: they are nice to look at, but they are not useful.

The (parametric) equation of the line going through two (distinct) points tex2html_wrap_inline692 and tex2html_wrap_inline702 is given by tex2html_wrap_inline704 . Indeed, this vector equation can be rewritten as tex2html_wrap_inline706 and hence it runs through tex2html_wrap_inline692 and is in the direction of tex2html_wrap_inline710 . Clearly tex2html_wrap_inline712 and tex2html_wrap_inline714 . So, when t increases from 0 to 1, tex2html_wrap_inline722 moves from tex2html_wrap_inline692 to tex2html_wrap_inline702 . This tells us that when t is between 0 and 1, tex2html_wrap_inline722 is on the line segment joining tex2html_wrap_inline692 and tex2html_wrap_inline702 and vice versa. [Line segments are needed for defining convex sets, which is one of the most important concepts in optimization theory.] The general equation of a plane is ax+by+cz+d=0, where a, b, c are not simultaneously zeros. This equation inform us one important thing: the vector tex2html_wrap_inline748 is perpendicular to the plane. From this it is not hard to see that a plane passing through a given point tex2html_wrap_inline750 and perpendicular to a giev vector tex2html_wrap_inline752 is described by the equation tex2html_wrap_inline754 .

In general a surface can be described by an equation of the form f(x,y,z)=C; (it is useful to view this as a level surface of the scalar field f at the level C.) A plane is just the special case when we take f(x,y,z)=ax+by+cz+d and C=0. Often it is more convenient to use parametric equations for surfaces (for computing surface areas, for example). Parametric equations for planes are given by (16) on P. 739.

12.5. Conceptually nothing is new in this section. It is just an extension of Section 10.2 by adding one more dimension. In general, a parametric curve in n-space tex2html_wrap_inline648 is given by a vector-valued function tex2html_wrap_inline722 . It can be used to represent the motion of a particle. The first derivative of tex2html_wrap_inline722 gives the velocity: tex2html_wrap_inline774 . The magnitude of the velocity is called the speed: tex2html_wrap_inline776 . (The distinction between tex2html_wrap_inline522 and v is crucial! Look out!) The second derivative of tex2html_wrap_inline722 gives the acceleration: tex2html_wrap_inline784 . When the particle moves with the unit speed (that is, tex2html_wrap_inline786 ), the magnitude of the acceleration, namely tex2html_wrap_inline788 , gives the curvature tex2html_wrap_inline790 of this parametric curve. In some engineering design problems the concept of curvature is crucial. But in this course we do not ask you anything about curvature in the exam.

Recall that a straight line in the parametric form is tex2html_wrap_inline792 . When n=3, putting tex2html_wrap_inline796 , tex2html_wrap_inline798 and tex2html_wrap_inline800 we can rewrite this vector equations by three scalar equations: tex2html_wrap_inline696 . \

12.8. Cylindrical coordinates is easy; just add z=z to polar coordinates.

Spherical coordinates is harder. Keep Fig. 12.8.5 (on P. 785) in mind. From this figure you can immediately tell the change between rectangular coordinates and spherical coordinates:

displaymath806

The spherical coordinate system is very handy, because many problems in physics and engineering have settings with rotational symmetries.

13.3. Don't worry about the precise definition of limits given on P. 807; it is very hard to understand and still harder to apply! Students in pure mathematics has to struggle through this definition for the future profession they want to enter. They have to learn it, but not from a calculus book like this, in which the rigorous treatment of limits is done half-heartedly. If you could understand this definition, I would be very pleased. Otherwise, just keep the following crude idea in mind: `` tex2html_wrap_inline808 '' means that, when the point (x,y) approaches to (a,b), f(x,y) is getting nearer and nearer to L, (allowing f(x,y) to flutuate when it is getting close to L.) smallskip

Study Examples 6, 7 and 8 in that section carefully. Think about the followng question: what is the difference between the expressions

displaymath822

Give an example to illustrate your point.

13.4. Partial derivatives are not much harder than usual derivatives. To find the partial derivative tex2html_wrap_inline824 of a function f(x,y,z), all you have to do is to differentiate f with respect to the variable x, pretending that y and z are constants.

Aside: In thermodynamics, one often uses expressions like tex2html_wrap_inline836 which means, considering u as a function of v and w, the partial derivative of u with respect to v, keeping w fixed. Quite often one has the illusion in thinking that tex2html_wrap_inline836 and tex2html_wrap_inline852 should be the same because both partial derivatives are computed by regarding u as a function of v alone. Alas! This is a bad mistake! Watch out for this pitfall. A simple example can illustrate what is going wrong:

Example: Let u=v+w. Then tex2html_wrap_inline860 . Introduce a new variable z by putting z=w+v. Then w=z+v and hence w=2v+z, which gives tex2html_wrap_inline870 . So

displaymath872

Here is a simple way to see why the plane tangent to the surface z=f(x,y) at the point (a,b, f(a,b)) should be the one given by (11) on P. 818:

displaymath878

First, write down the equation for a (nonvertical) plane tex2html_wrap_inline880 . Requirement 1: this plane should go through the point (a,b, f(a,b)). Consequently C must be f(a,b). Requirement 2: f and g have the same (first order) partial derivatives at (a,b). Consequently tex2html_wrap_inline894 and tex2html_wrap_inline896 .

13.5. Necessary condition for Max and Min: This is analogous to the one-dimension case, except that the computation may be more complicated. Let me give you an entertaining example to show how this ``first derivative test'' is applied.

Example: Given three ``sites'' tex2html_wrap_inline898 , tex2html_wrap_inline900 and tex2html_wrap_inline902 in the xy-plane, find a location (a,b) such that the sum of distances from (a,b) to these sites is minimized. (You may think of three small towns located at these sites. You are asked to find the location of a shopping mall which minimizes the cost of building the roads connected to these towns.) Solution: Take any point (x,y). The distance to the ith site tex2html_wrap_inline914 is

displaymath916

We have to minimize tex2html_wrap_inline918 . The necessary conditions for local extremum at (a,b) are (P. 825, (3)): tex2html_wrap_inline922 . But tex2html_wrap_inline924 ; (for simplicity, we use the summation symbol tex2html_wrap_inline926 ). An easy computation shows

displaymath928

Now we make a crucial observation: tex2html_wrap_inline930 and tex2html_wrap_inline932 can be put in a vector form: tex2html_wrap_inline934 ; (here tex2html_wrap_inline936 is considered as a vector with two components, namely tex2html_wrap_inline824 and tex2html_wrap_inline940 -you should recognize that this vector can also be written as tex2html_wrap_inline942 , the gradient of f). Since tex2html_wrap_inline946 and tex2html_wrap_inline948 , the vector tex2html_wrap_inline936 can be written as the sum of three vectors: tex2html_wrap_inline952 , where

displaymath954

is a unit vector for each i=1,2,3. We have three unit vectors whose sum is zero. So the angle between each pair must be tex2html_wrap_inline958 . So the required location for the shoppimg mall is the one such that the angles between the roads leading to towns are tex2html_wrap_inline958 . [Such a location may not exist. In this case the required location is one of the given sites - the shopping mall is in one of the towns. There is a nice geometric construction to get this location (in case it is not one of these sites). On each side of the triangle tex2html_wrap_inline962 erect an equilateral triangle. Denote these equilateral triangles by tex2html_wrap_inline964 , tex2html_wrap_inline966 and tex2html_wrap_inline968 . The lines tex2html_wrap_inline970 , tex2html_wrap_inline972 and tex2html_wrap_inline974 will intersect at a common point, which is the location we are looking for.]

Suppose that we link (x,y) to three sites by springs with the same elastic constant k. Then, for finding the equilibrium location, indeed of minimizing tex2html_wrap_inline980 , we have to minimize the total potential enery tex2html_wrap_inline982 . Find out where the equilibrium location should be and verify your answer by applying Hooke's Law.

13.6. You shouldn't get the wrong impression from the textbook that the differentials are introduced only for using tex2html_wrap_inline984 to estimate the value of a function at a point which is close to another point at which the value of the function is easy to find. Differentials of functions are just at the beginning part of a huge subject called differential forms. It is impossible to describe in a few words about this vast and deep subject. Let me just clarify the way differential forms (of first degree) are used in thermodynamics, which often seems to be very obscure and mysterious in physics or chemistry textbooks, making a famous mathematician named J. Marsden complain that thermodynamics is usually badly taught.

First, you have to be told the difference between two words: differentials and differential forms. Differentials are often called exact differentials to emphasize this difference. By a differential we mean something that can be written as df for some function f, which is called the differential of f. A differential form (of first degree) is something which can be written as tex2html_wrap_inline992 for some functions tex2html_wrap_inline994 . Thus a differential is a differential form, but not vice versa. For example, xdx+ydy is a differential because it can be rewritten as tex2html_wrap_inline998 . Another example: xdy+ydx is a differential because xdy+ydx=d(xy). But the differential form xdy is not a differential. Otherwise we would have tex2html_wrap_inline1006 for some f and hence tex2html_wrap_inline930 and tex2html_wrap_inline1012 . But tex2html_wrap_inline930 means that f is independent of x and hence so is tex2html_wrap_inline940 , contradicting tex2html_wrap_inline1012 !

In thermodynamics we have quantities called state functions such as P (pressure), V (volume), T (temperature), U (internal energy), S (entropy), etc. We can pick any two of them as independent variables and consider the rest as functions of them. There are many ways to pick these two variables among many of them. This is the basic reason why there is an enormous amount of formulas in this subject, many of which seem to be only skin-deep but turn out to be surprisingly useful for solving practical problems. Since these quantities are functions, you are allowed to take their differentials. So things like dV, dP, dU etc. make sense. There are other quantities which are not state functions, such as Q (heat) and W (work): amount of heat released or amount of work done is not a function of, say, T and V. You are not allowed to write things like dQ, dW. You have to put them into something with a different look, such as tex2html_wrap_inline1052 or tex2html_wrap_inline1054 , to represent ``infinitesmal amount of heat'' or ``infinitesmal amount of work''. The first law of thermodynamics says tex2html_wrap_inline1056 . When work is done by pushing a piston, we have tex2html_wrap_inline1058 .

Why can't we write dW=PdV? Well, since P and V can be chosen to be two independent variables, PdV just like xdy cannot be a differential! The second law of thermodynamics tells us that the expression

displaymath1070

is actually a differential and you can put it as dS. In this way a new function S called entropy can be introduced. Watch out: the existence of S is not purely a mathematical fact! You cannot prove this within the framework of mathematics. You do need physics to get it.

In this course we do not plan to get into differentials forms, which is a huge subject much beyond the level of this course. There will be at most one question (or none, ha ha) about differentials in the exam.

13.7. Here you are taugh in great detail how to apply the chain rule properly and carefully. But in many physics and engineering books this is usually done in a vary sloppy way and confusion often arises. One reason is that in such books the variables of functions are rarely mentioned. You have to figure them out by yourself before you can make sense out of these functions. Here I show you an identity often seen in thermodynamics, which, at first sight, looks very puzzling.

Example: Verify the following identity:

displaymath1078

Solution: Regard u as a function of v and w, say u=f(v,w). Then tex2html_wrap_inline836 is just the partial derivative tex2html_wrap_inline1090 . Similarly, writing v=g(u,w) we have tex2html_wrap_inline1094 . Substitute v=g(u,w) into u=f(v,w), we have

displaymath1100

Since u,w are considered as independent variables in h(u, w), it follows from h(u,w)=u that tex2html_wrap_inline1108 . On the other hand, applying the chain rule to h(u,w)=f(g(u,w),w), we have

displaymath1112

Now tex2html_wrap_inline1114 is just tex2html_wrap_inline1116 . Furthermore, when v is fixed, u as a function of w is inverse to w as a function of u. Therefore tex2html_wrap_inline1128 . Thus (*) can be rewritten as

displaymath1132

Rearranging terms, we get the required identity.

There are other identities of this sort in thermodynamics. They can be verified in the same manner. But your physics professor may advise you to memorize them. Well, I cannot say very much about this advice (to be honest, I don't like it) because I am not an expert in this matter.

A student asked me: enginneers are usually very sloppy about the chain rule; so why do we have to be so meticulous when we are studying this topic? Well, my answer is: yes, they appear to be sloppy, but they don't make any mistake - they can tell this from their knowledge or their expert sense of accuracy. But now you are in the learning stage and being meticulous is the only way to avoid mistakes.

13.8. A gradient vector tex2html_wrap_inline1134 is always perpendicular to the ``level curve'' F(x,y)=C at each point of this curve (or ``level surface'' F(x,y,z)=C at each point of this surface). It is pointing at the direction in which F has its maximal rate of change tex2html_wrap_inline1142 . For a unit vector tex2html_wrap_inline1144 , the directional derivative tex2html_wrap_inline1146 is the rate of change of F in the direction of tex2html_wrap_inline1144 . Since the gradient tex2html_wrap_inline1152 of F at P is perpendicular to the surface F(x,y,z)=0 for a point tex2html_wrap_inline1160 on this surface, the tangent plane to the surface at this point is given by

Study Example 5 on P. 859. This tells you a favourite kind of questions for a professor to put in exam. Notice that equation (11) on page 818 is a special case of the present one because the surface z=f(x,y) can be treated as the level surface F(x,y,z)=0 with F(x,y,z)=f(x,y)-z.

Finally, I should mention that for finding maxima or minima in practical problems we need special numerical methods, such as the method of steapest descent, or Newton's method, or conjugate direction method. Most of them involves the notion of gradients. [Recently, a probabilistic method called genetic algorithm invented by Holland has become very popular. I saw a job offer of professorship in computer specifying in this area.]

13.9. The Lagrange Multiplier for one constraint means a new variable tex2html_wrap_inline1170 introduced so that you can put down tex2html_wrap_inline1172 (P. 864, (2)). Some people put the identity as tex2html_wrap_inline1174 . This shouldn't cause any alarm because their tex2html_wrap_inline1170 is just the negative of your tex2html_wrap_inline1170 . The equations set up by applying Lagrange multipliers are often quite difficult to solve. The important thing you learn is how to set up these equations properly. This method doesn't tell you whether the extremum points you gave obtained give you maxima, minima, or neither. Even you look through many good math books you can not find something like ``the second derivative test'' for max or min problems with contraints. Surprisingly, there are many economic books dealing with this problem - obviously max and min are basic problems when one studies profits, costs, ultility functions, budget constraints etc.in which Lagrange multipliers become prices. [This second derivative test roughly says that a function f of n-variables subjected to r ``independent'' constraints tex2html_wrap_inline1186 ( tex2html_wrap_inline1188 ) attains its minimum at a point tex2html_wrap_inline666 in the ``submanifold'' C defined by these constraints if the gradient tex2html_wrap_inline1194 vanishes at tex2html_wrap_inline666 and if the Hessian matrix of tex2html_wrap_inline1198 is positive definite on the tangent space to the submanifold C at tex2html_wrap_inline666 , where tex2html_wrap_inline1198 is the Lagrangian function defined by tex2html_wrap_inline1206 . A watered down version of Hessian will be described in the next section.]

13.10. The second derivative test for two variables is applied in the following way. Suppose that tex2html_wrap_inline824 and tex2html_wrap_inline940 vanish at (a,b); (otherwise (a,b) is not a critical point and we don't go further.) First look at the determinant

displaymath1216

When it is negative at (a,b), no need to go further: just conclude that (a,b) is a saddle point. When this determinant is positive, take the second step: look at the sign of tex2html_wrap_inline1222 (or tex2html_wrap_inline1224 ) at (a,b): + gives Min and - gives Max. Notice that the second step is consistent with the second derivative test for functions of one variable. In this course we only study the second dervative test for functions of two variables. For functions of more variables the statement about this test is more complicated. It involves something called Hessian matrices and something called positive definiteness about such matrices. For two variales case, tex2html_wrap_inline1232 above is just the determinant of the Hessian matrix of f.

14.1, 14.2, 14.3, 14.6. To compute multiple integrals

displaymath1236

usually we converte them into iterated integrals. For example, when the region R is vertically simple, we use

displaymath1240

to compute the double integral. Here, tex2html_wrap_inline1242 and tex2html_wrap_inline1244 are the lower and the upper boundary curves of the region R over which we integrate f: In applying this formula, first you integrate with respect to y for each fixed x. With x fixed, y is ``running'' from tex2html_wrap_inline1258 to tex2html_wrap_inline1260 ; see the above figure. This explains why we set the lower and upper limits tex2html_wrap_inline1258 and tex2html_wrap_inline1260 in the integral tex2html_wrap_inline1266 . Notice that the last integral is a function of x; (this x comes from three places: f(x,y), tex2html_wrap_inline1258 and tex2html_wrap_inline1260 .) Integrating this function of x over the interval [a,b] gives us the value of the double integral tex2html_wrap_inline1282 . The whole procedure is rather routine. A few exercises will give you a good idea. The crucial step is to find out the upper and lower boundary curves tex2html_wrap_inline1260 , tex2html_wrap_inline1258 of the region R and to realize that at this stage you are letting variable y (not x!) running for fixed x. Of course you need a correct (but not necessarily accurate) picture of R to find the boundary curves. When the region R is rectangular, described by something like tex2html_wrap_inline1300 , things become very simple: tex2html_wrap_inline1302 and tex2html_wrap_inline1304 are just constants c and d respectively.

14.4, 14.7, 14.9. If you try to find the double integral

displaymath1310

by means of the method described in Section 14.3, you will fall into the lamentable situation of being forced to compute the following horrendous iterated integral:

displaymath1312

The trouble here is caused by ignoring the circular symmetry of the region R. For such a region, one should consider using polar coordinates and apply formula (5) on P. 908 instead:

displaymath1316

In the present case we have tex2html_wrap_inline1318 and tex2html_wrap_inline1320 . Putting tex2html_wrap_inline1322 , tex2html_wrap_inline1324 , tex2html_wrap_inline1326 and tex2html_wrap_inline1328 into the original integral and figuring out the boundary of the region tex2html_wrap_inline1330 in terms of polar coordinates, we get

displaymath1332

which is easy to manage. Picking the ``right'' coordinate system for multiple integrals is often crucial for solving the problem. See how the ``Gaussian integral'' tex2html_wrap_inline1334 on P. 910 is evaluated by a very slick use of palar coordinates.

For changing one coordinate system to another for finding integrals, we may use the change of variable formula. For functions of one variable, this formula reads

displaymath1336

(The interval [c,d] is the one which maps onto [a,b] by the function x(u).) You probably do not remember or even are not aware of this formula. I don't blame you, because we rarely need this in calculating integrals for functions of one variable. But for multiple integrals the situation is entirely different. The analogous formula for change of variables becomes extremely important. In the several variables case, the derivative tex2html_wrap_inline1344 in tex2html_wrap_inline1346 is replaced by something called Jacobian

displaymath1348

When the transform sending (u,v) to (x,y) is linear, say tex2html_wrap_inline1354 , we have tex2html_wrap_inline1356 , tex2html_wrap_inline1358 , tex2html_wrap_inline1360 , tex2html_wrap_inline1362 and hence the Jacobian in the case is just the determinant of this linear transform:

displaymath1364

According to the change of variables formula, this linear transform sends any region in the uv-plane to a region in the xy-plane with area enlarged by |D| times. For example, we know that the area of the disk R surrounded by the circle tex2html_wrap_inline1374 in the uv-plane is tex2html_wrap_inline1378 . The linear transform tex2html_wrap_inline1380 (a and b are positive numbers) sends this disk to the region in the xy-plane bounded by the ellipse tex2html_wrap_inline1388 . The determinant of this linear transform is ab. Therefore the area enclosed by the ellipse tex2html_wrap_inline1392 is tex2html_wrap_inline1394 . It takes only a minute of reflection for obtaining this answer, which takes a lot of work to get if you use the usual method of first year calculus. Formally, we may write

displaymath1396

For example, from tex2html_wrap_inline1322 and tex2html_wrap_inline1324 we have tex2html_wrap_inline1402 , tex2html_wrap_inline1404 , tex2html_wrap_inline1406 and tex2html_wrap_inline1408 . So

displaymath1410

and hence tex2html_wrap_inline1328 . Of course you recognize this identity as the ``heart'' of formula (3) on P. 907.

Read P. 950 (5a) and P. 952 (9). Also read Examples 3 and 5 in §14.9.

14.8. A parametric surface needs two parameters for its description because a surface is an object with two ``degrees of freedom'' and each parameter is only responsible for one ``degree of freedom''. The area for a parametric surface tex2html_wrap_inline1414 is given by (8) on P. 942:

displaymath1416

[This formula can be generalized to surface integrals tex2html_wrap_inline1418 on P. 944; (see formula (4). However, we will barely mention this surface integral in this course.] It is interesting to note that, when the z-component of tex2html_wrap_inline1422 is identically zero, the formula for the surface integral tex2html_wrap_inline1418 becomes the change of variable formula (5a) on P. 950. Indeed, in this case, tex2html_wrap_inline1426 . Hence tex2html_wrap_inline1428 and tex2html_wrap_inline1430 . So

displaymath1432

Let me say again: in this course you are not responsible for the surface integral mentioned here.

15. 1. The operator

displaymath1434

is one of the most commonly seen animals in physics and engineering, just like those rodents all over our campus. It begets grad, div and curl:

displaymath1436

Note that grad transforms a scalar field to a vector field, div transforms a vector field to a scalar field and curl transforms a vector field to a vector field. Both grad and div work for other dimensions, but curl only works in 3-dimension. For a scalar field tex2html_wrap_inline1438 in tex2html_wrap_inline648 , we have

displaymath1442

For a vector field tex2html_wrap_inline1444 in tex2html_wrap_inline648 , where each component tex2html_wrap_inline1448 of tex2html_wrap_inline1450 is a function of tex2html_wrap_inline1452 , we have

displaymath1454

For a vector field tex2html_wrap_inline1456 , where components P, Q and R are functions of (x,y,z), tex2html_wrap_inline1466 is given by the recipe (12) on P. 963. The basic connections between grad, div and curl are:

displaymath1468

The local version of the converses of these are also true [examples similar to Example 4 on P. 988 show that the global versions are invalid]:

Finally, we mention that tex2html_wrap_inline1498 is tex2html_wrap_inline1500 , the Laplacian of f:

displaymath1504

A function f is called a harmonic function if its Laplacian is zero: tex2html_wrap_inline1508 . [You are not responsible for Laplacians in this course.]

15.2, 15.3. Line integrals: there are two types. The first type tex2html_wrap_inline1510 is less important. You should concentrate on the second type given by:

displaymath1512

(The textbook put tex2html_wrap_inline1514 as tex2html_wrap_inline1516 . We do not recommend that! It gives one the wrong idea that the line integral has something to do with the metric structure of the space because of the presence of ds. This is not so!) When tex2html_wrap_inline1520 , we have

displaymath1522

The following fact (Theorem 2 on P. 979) tells you why line integrals (of the second type) are important: a vector field tex2html_wrap_inline1450 is conservative (i.e. it has a potential f so that tex2html_wrap_inline1528 ) if and only if every line integral tex2html_wrap_inline1514 is independent of the path C, (it only depends on the end points of the path C.) This fact is true for vector fields in a space of any dimension. Practically, the condition on line integrals about the independence of paths is impossible to check. Luckily, when the domain of tex2html_wrap_inline1450 is a box, it is enough to check the identities

displaymath1538

(Theorem 2 on P. 981 is the special case n=2 of this fact.)

Given a potential field, how do we find its potential? There are two ways, illustrated by Example 3 on P. 980 and Example 4 on P. 981. Study both of them carefully. This belongs to the kind of questions that a professor loves to put in the exam.

How would a physicist solve a nonlinear second order differential equation of the form tex2html_wrap_inline1542 ? Well, he or she would say: Regard F as a force asserting on a point of mass m=1. Introduce a potantial function V by putting tex2html_wrap_inline1550 (here a is any convenient point.) Then we can verify that the total energy tex2html_wrap_inline1554 remains constant throughout the motion. Indeed,

displaymath1556

To finish the proof, just quote: a function is a constant if its derivative vanishes everywhere.) Thus we have arrived at a first order equation tex2html_wrap_inline1558 , which can be solved by the usual method of separation of variables. [You will not be asked any question about differential equations in the exam.]

A central field is a vector field of the form tex2html_wrap_inline1560 ; (recall that tex2html_wrap_inline1562 ). Many important vector fields in physics are central fields. A well-known fact is: a central fields have potentials. Why? How to find these potentials? [Don't worry if you cannot find the answer. I am not going to ask you questions like this in the exam.]

The rest of the textbook is about three major theorems in several variable calculus: Green's theorem, the divergence theorem and Stoke's theorem. All three theorems can be considered as higher dimension generalizations of of the Fundamental Theorem of Calculus you learned in the first year. Recall this Fundamental Theorem, which is about an identity valid under mild assumptions:

displaymath1564

These theorems combined can be considered as the summit of an advanced calculus course. You are not responsible for them, but we urge you to browse through them - at least you should know their names.

It is possible to give a unified treatment of these theorems or theorems alike to come up with a really neat formula tex2html_wrap_inline1566 . Unfortuntely, interpretation of this formula needs works hundred times longer than this chapter.

15.5, 15.6. There are two types of surface integrals. The first type is the one with respect to surface area (P. 944, (4)), which is less important:

displaymath1568

The second type more important and trickier (P. 997 (17) and P. 998 (18)):

displaymath1570

We need this surface integral to describe the divergence theorem:

displaymath1572

The left hand side of the identity is the flux through the boundary surface S. Imagine that T is a building on fire. Somewhere inside the building water is dried up by heat and we have tex2html_wrap_inline1578 there, or water is leaking from pipes and we have tex2html_wrap_inline1580 instead. Of course you cannot get in to find out exactly what happens. However you can watch the total amount of water coming out of the building from outside, which is the surface integral tex2html_wrap_inline1582 . Notice that when tex2html_wrap_inline1480 everywhere, there is no source and no sink. In this case the theorem tells us that the flux through any closed surface is zero, just as what we expect.

15.7. The curl of a vector field tex2html_wrap_inline1450 at a point tells you how drastic and in which way tex2html_wrap_inline1450 surrounding this point is turning. When tex2html_wrap_inline1590 , we say that tex2html_wrap_inline1450 is irrotational. In this case, if you put a grain of sand and let it flow along this vector field, it cannot go in a circular motion. In fluid mechanics one consider something called vortex sheets and vortex tubes. A vortex tube for a vector field tex2html_wrap_inline1450 is a ``tubular surface'' tangent to the vector field tex2html_wrap_inline1466 ; see the following figure.

Let us take two loops tex2html_wrap_inline1598 and tex2html_wrap_inline1600 around this tube. Then

displaymath1602

(This identity tells us that if tex2html_wrap_inline1598 is smaller than tex2html_wrap_inline1600 , then the spinning of tex2html_wrap_inline1450 along tex2html_wrap_inline1598 is more drastic.) Why? Well, let S be the portion of the tube between tex2html_wrap_inline1598 and tex2html_wrap_inline1600 . Since at every point of S tex2html_wrap_inline1466 is tangent to S, we have tex2html_wrap_inline1624 at each point of S. Now just apply Stoke's theorem to S. Can you see how vortex tube is related to tornado?




next up previous
Next: About this document

Angelo Mingarelli
Tue Nov 10 11:49:50 EST 1998