Additions to this web site no longer count towards good deed points.

#

Week of...

Notes and Links

1

Sep 10

About This Class. Monday: Introduction and the Brachistochrone. Tuesday: More on the Brachistochrone, administrative issues. Tuesday Notes. Friday: Some basic techniques: first order linear equations.

2

Sep 17

Monday: Separated equations, escape velocities. HW1. Tuesday: Escape velocities, changing source and target coordinates, homogeneous equations. Friday: Reverse engineering separated and exact equations.

3

Sep 24

Monday: Solving exact equations, integration factors. HW2. Tuesday: Statement of the Fundamental Theorem. Class Photo. Friday: Proof of the Fundamental Theorem.

4

Oct 1

Monday: Last notes on the fundamental theorem. HW3. Tuesday Hour 1: The chain law, examples of variational problems. Tuesday Hour 2: Deriving EulerLagrange. Friday: Reductions of EulerLagrange.

5

Oct 8

Monday is thanksgiving. Tuesday: Lagrange multiplyers and the isoperimetric inequality. HW4. Friday: More Lagrange multipliers, numerical methods.

6

Oct 15

Monday: Euler and improved Euler. Tuesday: Evaluating the local error, RungeKutta, and a comparison of methods. Friday: Numerical integration, high order constant coefficient homogeneous linear ODEs.

7

Oct 22

Monday: Multiple roots, reduction of order, undetermined coefficients. Tuesday: From systems to matrix exponentiation. HW5. Term Test on Friday.

8

Oct 29

Monday: The basic properties of matrix exponentiation. Tuesday: Matrix exponentiation: examples. Friday: Phase Portraits. HW6. Nov 4 was the last day to drop this class

9

Nov 5

Monday: Nonhomogeneous systems. Tuesday: The Catalan numbers, power series, and ODEs. Friday: Global existence for linear ODEs, the Wronskian.

10

Nov 12

MondayTuesday is UofT November break. HW7. Friday: Series solutions for .

11

Nov 19

Monday: is irrational, more on the radius of convergence. Tuesday (class): Airy's equation, Fuchs' theorem. Tuesday (tutorial): Regular singular points. HW8. Friday: Discussion of regular singular points..

12

Nov 26

Monday: Frobenius series by computer. Qualitative Analysis Handout (PDF). Tuesday: The basic oscillation theorem. Handout on the Frobenius Method. HW9. Friday: Nonoscillation, Sturm comparison.

13

Dec 3

Monday: More Sturm comparisons, changing the independent variable. Tuesday: Amplitudes of oscillations. Last class was on Tuesday!

F1

Dec 10


F2

Dec 17

The Final Exam (time, place, style, office hours times)

Register of Good Deeds

Add your name / see who's in!



Disclamer: This is a student prepared note based on the lecures of Friday, September 28th and Monday October 1st.
Lipschitz
Def. is called Lipschitz if (a Lipschitz constant of f) such that .
Note that any function that is Lipschitz is uniformly continuous, and that if a function f and its derivative are both continous on a compact set then f is Lipschitz.
Statement of Existence and Uniqueness Theorem
Thm. Existence and Uniqueness Theorem for ODEs
Let be continuous and uniformly Lipschitz relative to y. Then the equation with has a unique solution where where M is a bound of f on .
Proof of Existence
This is proven by showing the equation exists, given the noted assumptions.
Let and let . IF we can prove the following three claims, we have proven the theorem. The proofs of these claims will follow below.
Claim 1: is welldefined. More precisely, is continuous and , where b is as referred to above.
Claim 2: For , .
Claim 3: if is a series of functions such that , with equal to some finite number, then converges uniformly to some function
Using these three claims, we have shown that the solution exists.
Proofs of Claims
Proof of Claim 1:
The statement is trivially true for . Assume the claim is true for . is continuous, being the integral of a continuous function.
Proof of Claim 2:
Note that the sequence has equal to some finite number.
Proof of Claim 3: Assigned in Homework 3, Task 1, see page for solutions.
Proof of Uniqueness
Suppose and are both solutions. Let .
We have that for some constant k, which means , and that .
Let . Note that as in this case we are integrating over an empty set, and that U thus defined has . Then
Then , and .