Math 252 Lecture 25: Wednesday, March 3rd 1999.

A few minutes at the beginning of the lecture were spent talking about Simply Connected Domains, the contents of sec. 4.2 of the textbook, before moving on to sec. 4.3. The essential points are that a domain doesn't include its boundary, and a "simply connected" domain doesn't have any holes in it. This is pretty straightforward in 2 dimensions but becomes trickier in 3 dimensions.

In 3 dimensions, a simply connected domain is one in which any closed loop can be shrunk down to a point without getting hung-up somewhere. Therefore, a domain with a spherical hole in it is actually simply connected. An example of a non simply connected domain is one in which the z-axis is excluded, for example the domain of a magnetic field created by an infinitely long wire positioned along the z-axis. In this case, any loop which goes around the z-axis will become stuck on the z-axis when we try to shrink it to a point.

Conservative vector fields were defined [Transparancy 1] as vector fields which can be expressed as the gradient of a scalar field. (This scalar field is often called a "potential".)

We then looked in detail at an important theorem, which states that the line integral of a conservative vector field depends only upon the endpoints of the path, and not upon the particular path taken. It is an "iff" theorem, which means "if and only if", which is another way of saying the theorem involves a two-way implication. In other words, if the line integral of a vector field is dependent only upon the endpoints of the path, then it must be conservative.

We started by assuming the line integral depends only upon the endpoints of the path, defined a "phi", and proved that the gradient of this "phi" gives the vector field [Transparancies 1 and 2]. Therefore the vector field is conservative. This is half the theorem.

The then proved the other half of the "iff" [Transparancy 3], by assuming the vector field is conservative and then showing that its line integral is path-independent.

An example was worked-out [Transparancy 4], in which we proved a particular vector field is not conservative. This was done by assuming it is conservative and then showing that this leads to a contradiction in the second-order partial derivatives.

Another example was worked-out [Transparancies 4 and 5] in which a vector field was shown to be conservative by finding its potential function.

Here are the scanned-in transparancies, in full-colour JPEG format:

(You will find two versions -- a "screen" version, which is 400 pixels wide and a corresponding number of pixels long, at a resolution of 100 by 100 dots per inch, and a "print" version, which is generally between 8 and 8.5 inches wide and up to 11 inches long, also at a resolution of 100 by 100 dots per inch. The screen versions generally have a file size of between 60 and 75 K, which downloads reltively quickly. The print versions generally have a file size of between 170 and 225 K, which takes a bit longer to download.)


SFU / Math & Stats / ~hebron / math252 / lec_notes / lec25 / index.html

Revised 04 March 1999 by John Hebron.