In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a separatrix is the boundary separating two modes of behaviour in a
differential equation.
[Blanchard, Paul, ''Differential Equations'', 4th ed., 2012, Brooks/Cole, Boston, MA, pg. 469.]
Examples
Simple pendulum
Consider the differential equation describing the motion of a simple
pendulum
A pendulum is a device made of a weight suspended from a pivot so that it can swing freely. When a pendulum is displaced sideways from its resting, equilibrium position, it is subject to a restoring force due to gravity that will accelerate i ...
:
:
where
denotes the length of the pendulum,
the
gravitational acceleration
In physics, gravitational acceleration is the acceleration of an object in free fall within a vacuum (and thus without experiencing drag (physics), drag). This is the steady gain in speed caused exclusively by gravitational attraction. All bodi ...
and
the angle between the pendulum and vertically downwards. In this system there is a conserved quantity H (the
Hamiltonian
Hamiltonian may refer to:
* Hamiltonian mechanics, a function that represents the total energy of a system
* Hamiltonian (quantum mechanics), an operator corresponding to the total energy of that system
** Dyall Hamiltonian, a modified Hamiltonian ...
), which is given by
With this defined, one can plot a curve of constant ''H'' in the
phase space
The phase space of a physical system is the set of all possible physical states of the system when described by a given parameterization. Each possible state corresponds uniquely to a point in the phase space. For mechanical systems, the p ...
of system. The phase space is a graph with
along the horizontal axis and
on the vertical axis – see the thumbnail to the right. The type of resulting curve depends upon the value of ''H''.
If
then no curve exists (because
must be
imaginary).
If