Inculcation: ODEs
AKA “non-linear dynamics”, “smooth dynamical systems”, “systems” even (as in most of the content in “systems biology”).
interpret an ODE as a vector field
This is a standard geometric interpretation.
Did you ever think an ordinary differential equations book will have this picture:
This is Perko’s book Differential Equations and Dynamical Systems, Third Edition (2006), a good read, if youre familiar with Analysis in . Otherwise any physics text on “non-linear dynamics” works, for example Steven Strogatz’s Non-linear dynamics lecture videos and book.
vector fields and ODE dictionary
What we do is, write a differential equation like
for all so we have equations for variables and make it even more compact by
where is a vector field on the open domain .
This gives us a geometric pov on ODEs in , and we have a
solving differential equations | analysis and geometry of vector fields |
---|---|
an equation | a vector field |
solutions of the equation | integral curves of the vector field |
how solutions depend on initial conditions | flows of the vector field |
conserved quantities | integrals of the vector field |
(linearly) decoupling the differential equation | (linear) coordinate transformation such that |
We may convert ordinary differential equation of any order to first order by taking enough independent variables and defining them to be higher derivatives.
much elementary introduction
A short introduction with examples from models in population dynamics:
A full semester course:
Steven Strogatz's Non-linear dynamics
and his book Nonlinear dynamics and chaos : with applications to physics, biology, chemistry, and engineering
This playlist (and the channel) consists of shorter videos:
more formal lectures
ICTP's Dynamical systems
This is more a “dynamical systems” course, but has ODEs too. Lecture notes: SLI.pdf (bris.ac.uk)
And as I said above, this book has a pre-requisite of some analysis, but still one must cover the topics in the contents:
Arnold’s Ordinary Differential Equations is also a good resource.
vector fields on smooth manifolds
Should be motivated from Perko, classical mechanics, etc. We, very naturally, want to write ODEs on surfaces, toruses or other “surfaces” of even higher dimensions AKA manifolds.
- Define the Lie bracket of vector fields, exponential of vector fields
- think of the Lie algebra of vector fields as "the Lie algebra" of the "Lie group" local diffeomorphisms on the manifold $M$.
- The flows of two vector fields commute $\iff$ their Lie bracket is $0$
- Symplectic geometry helps study Hamiltonian systems in a general setting.
For more on smooth manifolds: inculcation-smooth-manifolds.
Use topology in your study of ODEs
- On compact manifolds, every vector field is complete, that is, the solutions of ODEs exist globally in time.
- On the sphere, any vector field is zero atleast at one point, has atleast one fixed point (Hairy ball theorem!).
- In general, use index theorems to know about vector fields on manifolds.
- and more!
In general, study smooth Lie group action on smooth manifolds, whose special case is an -action - that is a complete vector field.
complete resource on the study of ODEs
This series by Arnold exists:
Encyclopaedia of Mathematical Sciences Dynamical Systems vol 1-10
- Dynamical Systems I: ODEs and smooth dynamical systems
- Dynamical Systems II: Ergodic Theory with Applications to Dynamical Systems and Statistical Mechanics
- Dynamical Systems III: Mathematical Aspects of Classical and Celestial Mechanics
- Dynamical Systems IV: Symplectic Geometry and its Applications
- Dynamical Systems V: Bifurcation Theory and Catastrophe Theory
- Dynamical Systems VI: Singularity Theory I
- Dynamical Systems VII: Integrable Systems, Nonholonomic Dynamical Systems
- Dynamical Systems VIII: Singularity Theory II - Applications
- Dynamical Systems IX: Dynamical Systems with Hyperbolic Behaviour
- Dynamical Systems X: General Theory of Vortices
go beyond finite dimension
Interpret heat equation, fluid flows, Schrodinger equation as infinite dimensional ODE and watch the consequences:
interpret an ODE as an operator on a function space
interpret as a plane distribution using a contact structure
generalize to dynamical systems
Should be motivated from ODEs, or just plain playing with functions.