In general, the phase space of the differential equation with Preisach
nonlinearity is infinite dimensional since it involves
the ``memory'' of the
nonlinearity, and it is not clear how to reduce the dynamics of the system to
a discrete mapping.
But if the assumption that for all ,
(5)
holds, we can correctly define the
two-dimensional cross-section.
More formally, if satisfies
(6)
then the state of
the system (3) can be described by the pair
. We introduce a map that maps the
section
, described by (6), into itself as follows.
Begin with a point of and follow a trajectory of (3)
until it has its next intersection with . Of course, this mapping
may be only partially defined.