MA6206 - Topics in Analysis II

clankjewishElectronics - Devices

Oct 10, 2013 (3 years and 6 months ago)



Topics in Analysis II

Module created on 23 Oct 2004, updated on 28 Oct 2004



Topics in Analysis II


Semester 2, 2004/2005












Practical Work


This course will study

two of the great theorems of mathematical analysis:

The de Rham Theorem and
the Hodge Decomposition Theorem, and d
iscuss their applications to characterize the behaivor of vector
fields on domains in 3
space. We start with a review of multivariate calculus including contraction
mappings, the inverse and implicit function theorems, the Stoke's, Green's and divergence t
heorems for
vector fields, and the solution for the Laplace Equation with Dirichlet and Neumann boundary conditions.
Then we reformulate these theorems using the powerful language of differential forms and examine the
relationship between the 'shape' of th
e domain (for example an annulus and a disk will exhibit very
different behaivor) and the nature of the solutions to associated equations.

We also

analyse applications
of these theorems to hydrodynamics, electromagnetics

and plasma physics and survery mode
extensions of these theorems. For a historical background see Synopsis.


material will be selected from diverse sources and some lectures will be summarized in
powerpoint format Tutorials (some
will involve solving problems, others will involve reading and
summarizing material read in written form,

students will present tutorial solutions to the class) Tests
and Final Examination

provides instructive as well as assessment

Have read and passed at least

three of the following modules:

MA4247 Complex Analysis II, MA4211 Functional Analysis, MA4221 Partial Differential Equations,
MA4252 Advanced Ordinary Differential Equations, MA4262 Lebesq
ue Integration, MA4266 Topology,
MA5212 Real Analysis, MA4248 Theoretical Mechanics


have read or passed at least two of the following modules:

MA5209 Algebraic Topology, MA5210

Differentiable Manifolds, MA5211 Lie Groups, MA5213 Advanced

ntial Equations

or have

read and passed at least two of the undergraduate (4000level) modules above and at least one
of the graduate (5000level) modules above or to have

had an equivalent background

in Physics and/or
Engineering or in courses outside of NU

University Scholars Program students who have read my 2004
Semester I USC3002 module and who have taken

advanced engineering

mathematics and physics

may also be


Weeks 1
2 Part I We
eks 3
6 Part II Test 1 Weeks 7
10 Part III Test 2 Weeks 11
13 Part IV Final Exam

Historical Background: The deep relationship between analysis of domains in 3
space and the 'shape' (or
topologgy) of these


was first observed in 1858 by Hermann von Helmholtz who introduced the
curl of a velocity field and extended the concept (introduced by Riemann for surfaces a year earlier) of
simple connectivity

to domains in 3

to explain how the motion of

a viscous free fluid could be
reconstructed from the curl of its velocity

a half century BEFORE Poincare invented the field of
combinatorial topology to study the properties of systems of ordinary differential equations! Thompson
extended these concepts

to introduce the concept of homology and relative homology and Maxwell
incorporated these concepts into his 1891 Treatise on Electricity and Magnetism.

These ideas


the Hodge Decomposition


domains in


(1940 Weyl) and for manifolds (19
41 Hodge) and

de Rham Isomorphism Theorem for differential forms (1960 De Rham) and find modern applications
in diverse fields from

plasma physics

to molecular biology. The study of general elliptic operators on
manifolds has resulted in one of the sem
inal results of 20th century mathematics

the celebrated
Singer Index theorem that has had a profound impact on

gauge physics as well as on numerous
mathematical fields.

Part I. Vector

Calculus an
d Differential Forms. We review Green's, Stokes's and the divergence
theorems for vector fields on Euclidean domains, discuss their application to electromagnetics and
hydrodynamics, and formulate them using differential forms. We prove Poincare's lemma, u
se it to
define the de Rham cohomology groups, and illustrate through examples the

relationship between the
analytic and topological properties of domains.

Part II.

Singular Cohomology and the de Rham Theorem. We develop basic Singular Homology and
ogy and prove de Rham's theorem. We adapt Bredon's method to domains to provide a more
accessible concrete proof than the abstract sheave
theoretic proof.

Part III. The Hodge Theorem

for Domains. We develop the solutions for the Laplace and Poisson
ons with Dirichlet and Neumann boundary conditions, the Biot
Savart formula for magnetic fields,
and then combine these with de Rham's theorem to prove Hodge's decomposition theorem.

approach is based on the Mathematical Association of America article
by Jason Cantarella, Dennis
DeTurck, and Herman Gluck titled Vector Calculus and the Topology of Domains in 3

Part IV. Analysis on Manifolds. We define abstract and Riemannian manifolds using coordinate charts
and show how they arise from / are r
ealized as subsets of Euclidean spaces by the implicit
function/Whitney and Nash

embedding theorems. Then we extend the de Rham theorem to manifolds
and we extend the Hodge decomposition to Riemannian manifolds. We also survey informally more
advanced topi
cs such as complex analysis and Dolbeault cohomology, connections and gauge

and the Index theorem.

Tutorials that include both problem solving and reading and summarizing and presenting mater
ial will
constitute the practical aspects of this course.

Course Grades will be based on Test 1. 20% Test 2. 20% Tutorials 20% Final Examination. 40%

will be made available in .tex .ps and .pd
f file formats from my homepage under Courses at