On integrable by Euler planar differential systems

This paper discusses the theory of integrable planar differential systems by examining the foundational work presented in Euler's classical textbooks, *Institutiones Calculi Differentialis* and *Institutiones Calculi Integralis*.

The Gist

Imagine you are trying to navigate a vast, foggy ocean. You have a boat (your system) and you want to know exactly where it will go, or better yet, find a "secret map" that tells you the path without having to steer every single second. In the world of math, this "secret map" is called a First Integral.

This paper by A. V. Tsiganov is a love letter to Leonhard Euler, a mathematical genius from the 1700s. The author is saying, "Hey, modern mathematicians are so busy inventing new, complex tools that they've forgotten the brilliant, simple tricks Euler used to solve these navigation problems."

Here is the breakdown of the paper using everyday analogies:

1. The Core Problem: The Foggy Ocean

Imagine a differential equation as a set of wind and current instructions telling your boat how to move at any given moment.

• The Goal: Find a "First Integral." Think of this as a magic compass. If you know the value of this compass, you know exactly which "river" or "path" your boat is stuck on, even if you don't know the exact time or speed.
• The Modern Mistake: Today, many researchers try to solve these problems using heavy, complex machinery. They often ignore Euler's old, elegant method: finding an Integrating Factor (or "Multiplier").

2. Euler's Magic Trick: The "Integrating Factor"

Euler realized that sometimes the map is messy and unreadable (the equation isn't "exact"). But, if you pour a special liquid over the map—a Multiplier—the ink rearranges itself, and the map becomes perfectly clear.

• The Metaphor: Imagine a jigsaw puzzle where the pieces don't quite fit. Euler found a way to shrink or stretch the pieces (multiply the equation by a specific function) so they snap together perfectly. Once they snap together, the solution pops out immediately.
• The Paper's Point: Euler wrote textbooks on how to find these "magic liquids" for different types of puzzles (homogeneous equations, compound equations, etc.). The author is reminding us that these old recipes still work and are often faster than modern brute-force methods.

3. The "Compound" Puzzle (Mixing Ingredients)

Euler also looked at equations that were made of two different parts stuck together (like a smoothie made of two different fruits).

• The Analogy: Imagine you have two different recipes for soup. One is tomato-based, the other is cream-based. Euler showed that if you know how to fix the tomato soup and how to fix the cream soup individually, you can mix them to fix the whole bowl.
• The Modern Twist: The author shows that we can use modern computers to do this mixing instantly. But, he warns that sometimes the computer gets confused if the "ingredients" (the constants in the equation) are too weird. Euler's manual logic is sometimes better than the computer's blind calculation.

4. Building Your Own Puzzle (Reverse Engineering)

This is the most creative part of the paper. Usually, people are given a puzzle and asked to solve it. Euler asked: "What if we build a puzzle that we know has a solution?"

• The Analogy: Imagine you want to build a maze. Instead of drawing walls randomly and hoping someone can get out, you start with the exit (the solution) and draw the walls around it so that the path is guaranteed to work.
• How it works: The author shows how to take a desired "magic compass" (a polynomial solution) and work backward to create the wind and current instructions (the differential equation) that will lead to it.
• The Result: This allows mathematicians to generate infinite new "integrable" systems (mazes with guaranteed exits) that can be used to test new theories or train AI.

5. The Big Picture: From Euler to Today

The paper concludes by connecting Euler's 18th-century work to modern giants like Jacobi, Lie, and Cartan.

• The Connection: It's like a family tree. Euler started the family business of "finding the magic liquid." Later generations (Jacobi, Lie) expanded the business to handle bigger, more complex oceans (higher dimensions), but the core family secret—the integrating factor—remained the same.
• The Warning: The author notes that modern math sometimes gets too obsessed with "global" properties (the whole ocean) and forgets that Euler was a master of "local" properties (the water right under your boat). Sometimes, you don't need to know the whole ocean to navigate; you just need the local map.

Summary

This paper is a call to action for modern mathematicians: Don't throw away the old toolbox.
Euler's methods for finding "magic liquids" (multipliers) to solve differential equations are still powerful, elegant, and often faster than modern computer algorithms. By revisiting Euler's textbooks, we can:

1. Understand the roots of modern mechanics.
2. Solve complex equations more efficiently.
3. Build new, solvable mathematical models from scratch.

It's a reminder that sometimes, the oldest keys still open the newest doors.

Technical Summary

Technical Summary: "On integrable by Euler planar differential systems"

Author: A. V. Tsiganov
Affiliation: St. Petersburg State University (Russia) & Beijing Institute of Mathematical Sciences and Applications (China)
Subject: Historical analysis and modern application of Euler's theory of integrable planar differential systems.

---

1. Problem Statement

The paper addresses a gap in modern literature regarding the computation of first integrals for planar differential systems of the form:
$$\frac{dx}{dt} = A(x, y), \quad \frac{dy}{dt} = B(x, y)$$
While modern research extensively covers these systems, it frequently overlooks the foundational integrability conditions established by Leonhard Euler in his classical textbooks (Institutiones Calculi Differentialis and Institutiones Calculi Integralis).

The core problem is the lack of recognition of Euler's specific approach, which treats the system not as a vector field $X$ but as an equivalent differential 1-form $\omega = P dx + Q dy = 0$ (where $P=B, Q=-A$). Euler's method relies on finding a non-vanishing integrating factor (multiplier) $L(x, y)$ such that $L\omega$ becomes an exact differential $d\phi$. The paper argues that modern topological mechanics often focuses on global properties and multi-valued functionals, whereas Euler's work was strictly local, allowing for multi-valued first integrals that generate single-valued differential equations.

2. Methodology

The author employs a hybrid methodology combining historical textual analysis with modern symbolic computation:

• Historical Reconstruction: The paper systematically reviews Euler's original texts (specifically Chapters II and III of Institutiones Calculi Integralis), extracting his specific techniques for finding multipliers $L$ and first integrals $\phi$ for various classes of equations (homogeneous, compound, and quasi-homogeneous).
• Algebraic Formulation: The author translates Euler's conditions into modern algebraic systems. Specifically, the condition for integrability is expressed as:
  $$L P = \frac{\partial \phi}{\partial x}, \quad L Q = \frac{\partial \phi}{\partial y}$$
  leading to the integrability condition:
  $$\frac{\partial}{\partial y}(LP) = \frac{\partial}{\partial x}(LQ)$$
• Computer Algebra Systems (CAS): The paper utilizes modern CAS (Maple, Mathematica) to:
  1. Verify Euler's historical examples.
  2. Solve the resulting systems of algebraic equations (linear and quadratic) to construct new integrable systems.
  3. Demonstrate that modern computers can solve Euler's equations in seconds, yet fail to reproduce certain complex historical results (like specific quasi-homogeneous first integrals) without additional assumptions.
• Reverse Engineering: A significant portion of the methodology involves "constructing" integrable systems by starting with a desired polynomial first integral $\phi(x, y)$ and a multiplier $L(x, y)$, then solving for the coefficients of the differential system $P$ and $Q$.

3. Key Contributions

A. Re-evaluation of Euler's Integrability Conditions
The paper clarifies that Euler's method is distinct from the modern vector field approach. It emphasizes that Euler sought a multiplier $L$ to make the form exact, a concept that predates the rigorous distinction between local and global results in modern topology.

B. Classification of Integrable Cases
The author details specific classes of equations where Euler provided explicit solutions:

• Homogeneous Equations: For $P, Q$ of degree $n$, the multiplier is $L = (xP + yQ)^{-1}$. The first integral is derived via separation of variables in polar coordinates.
• Compound Equations: For sums of differential forms $\omega = \omega_1 + \omega_2$, Euler proposed constructing a common multiplier. The paper shows how to equate multipliers of individual parts ($L_{pq} = L_{rs}$) to find a global integral.
• Quasi-Homogeneous Systems: The paper presents a modern example involving parameters $\alpha, \beta, \gamma, \delta$ where finding a common multiplier requires solving complex algebraic constraints, a task modern CAS struggle with without specific assumptions.

C. Algorithm for Constructing Integrable Systems
A major contribution is the algorithmic approach to synthesizing integrable systems:

1. Assume a polynomial form for the first integral $\phi$ (e.g., degree 5) and a multiplier $L$ (e.g., degree 2).
2. Substitute these into the Euler integrability condition.
3. This generates a system of algebraic equations for the unknown coefficients of the differential system.
4. The paper demonstrates that solving the linear system derived from the multiplier condition is computationally more efficient than solving the quadratic system derived from the direct definition of the first integral.

D. Connection to Jacobi and Lie
The paper bridges Euler's work with later developments:

• Jacobi: Shows that Jacobi's generalization to $n$ variables (using functional determinants) reduces to Euler's planar equations when $n=2$.
• Lie & Cartan: Notes that these later mathematicians reformulated Euler's construction using infinitesimal transformation groups and non-exact 1-forms, often obscuring the original algebraic simplicity.

4. Results

• Explicit Solutions: The paper provides explicit formulas for multipliers and first integrals for various polynomial systems, including a detailed derivation for a system with a 5th-order polynomial integral and quadratic right-hand sides.
• Computational Efficiency: It is demonstrated that the linear algebraic approach (solving for coefficients of $L$ first) is superior to the nonlinear approach for constructing integrable systems.
• Limitations of Modern Tools: The study reveals that while modern CAS can solve specific instances quickly, they often fail to reproduce the general symbolic forms of Euler's quasi-homogeneous integrals without user intervention or specific parameter constraints.
• New Integrable Families: By reversing the process (starting with $\phi$ and $L$), the author generates new families of integrable quadratic and cubic differential systems.

5. Significance

• Historical Restoration: The paper serves as a corrective to modern literature, ensuring Euler's foundational contributions to integrability are recognized and properly contextualized.
• Pedagogical Value: It offers a clear, step-by-step framework for teaching the construction of integrable systems, moving from the definition of the first integral to the practical construction of the differential equation.
• Bridging Theory and Computation: It highlights the synergy between classical analytical methods and modern computer algebra. It suggests that "training AI" to recognize these canonical forms could be a viable path for automated integration of differential equations.
• Topological Context: By discussing multi-valued functionals and non-exact forms, the paper connects classical Eulerian mechanics with modern topological mechanics (e.g., Aharonov-Bohm effect, Dirac monopoles), showing that the "local" nature of Euler's work is sufficient for generating global physical phenomena.

In conclusion, Tsiganov's paper is a rigorous technical exposition that revitalizes Euler's classical methods, demonstrating their continued relevance and computational utility in the era of symbolic mathematics and modern topological mechanics.