Die Differentialform

\[\omega(x)=2x_{1}x_{2}^{3}\operatorname{d} x_{1}+3x_{1}^{2}x_{2}^{2}\operatorname{d} x_{2}\]

ist geschlossen. Das Lemma von Poincaré garantiert dann die Existenz eines Potentials $h$ mit $\operatorname{d}h=\omega$:

Maxima

Klaus Röbenack: Nichtlineare Regelungssysteme - Theorie und Anwendung der exakten Linearisierung.
Springer Vieweg, 2017, S. 22.