Definition:First Integral of System of Differential Equations
Jump to navigation
Jump to search
Definition
Let $S$ be a system of differential equations.
Let $g$ be a function which satisfies $S$.
Let $f$ be a function.
This article, or a section of it, needs explaining. In particular: Establish the domain and codomain of these functions You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
Let $f$ depend on variables (denoted by ordered tuples here) of $S$ independently as well as through $g$ and its derivatives:
- $f = \map f {\sequence {x_i} _{1 \mathop \le i \mathop \le n}, \sequence {g^{\paren j} \paren {\sequence {x_i}_{1 \mathop \le i \mathop \le n} }_{0 \mathop \le j \mathop \le k} } }, \quad {n, k} \in \N$
Suppose there exists $g$ such that $f$ is a constant.
Then $f$ is the first integral of $S$.
Sources
- 1963: I.M. Gelfand and S.V. Fomin: Calculus of Variations ... (previous) ... (next): $\S 4.17$: The Canonical Form of the Euler's Equations