On the first integral conjecture of René Thom

DOI10.1016/J.BULSCI.2007.10.002MaRDI QIDQ950543zbMATH OpenOpenAlexWikidataFDO

Authors Jacky Cresson, A. Daniilidis, Masahiro Shiota

Publication date 30 October 2008

Published in Bulletin des Sciences Mathématiques (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0710.5021

zbMATH Keywords

\(o\)-minimal manifoldfirst integralsSard theoremsmooth manifolds without boundarysmoothnessstructural stabilityThom's conjecturevector field

Mathematics Subject Classification ID

Generic properties, structural stability of dynamical systems (37C20)

Abstract: More that half a century ago R. Thom asserted in an unpublished manuscript that, generically, vector fields on compact connected smooth manifolds without boundary can admit only trivial continuous first integrals. Though somehow unprecise for what concerns the interpretation of the word extquotedblleft generically extquotedblright, this statement is ostensibly true and is nowadays commonly accepted. On the other hand, the (few) known formal proofs of Thom's conjecture are all relying to the classical Sard theorem and are thus requiring the technical assumption that first integrals should be of class $C^k$ with $kgeqd,$ where $d$ is the dimension of the manifold. In this work, using a recent nonsmooth extension of Sard theorem we establish the validity of Thom's conjecture for locally Lipschitz first integrals, interpreting genericity in the $C^1$ sense.

Review text

A well-known in the theory of dynamical systems result attributed to the 20th century mathematician René Thom states that, for \(1\leq r\leq\infty,\) \(C^{r}\)-generically vector fields on \(d\)-dimensional compact, smooth, connected manifolds without boundary do not admit nontrivial continuous first integrals. The authors use a recent nonsmooth extension of the Sard theorem [\textit{J. Bolte, A. Daniilidis, A. Lewis} and \textit{M. Shiota}, SIAM J. Optim. 18, No. 2, 556--572 (2007; Zbl 1142.49006) and Ann. Pol. Math. 87, 13-25 (2005; Zbl 1090.35033)] to establish the validity of Thom's conjecture for locally Lipschitz first integrals, interpreting genericity in the \(C^{1}\) sense and understanding nontrivial as ``being essentially definable with respect to an \(o\)-minimal approximation. Formal proofs of Thom's conjecture known in the literature rely on the Sard theorem and therefore require that first integrals belong to the class \(C^{k}\) with \(k\geq d.\)

Recommendations

• Thom's conjecture on singularities of gradient vector fields
• On the dynamics of gradients. Existence of invariant manifolds
• On first integrals for holomorphic vector fields
• On the Generic Nonexistence of First Integrals
• A note on the first integrals of vector fields with integrating factors and normalizers

Cites work

• A counter-example to a C² closing lemma
• A note on first integrals of vector fields and endomorphisms
• Against the \(C^2\) closing lemma
• An Improved Closing Lemma and a General Density Theorem
• Clarke critical values of subanalytic Lipschitz continuous functions
• Clarke Subgradients of Stratifiable Functions
• Geometric categories and o-minimal structures
• scientific article; zbMATH DE number 3284529 (Why is no real title available?)
• Nash manifolds
• On periodic points
• On the Generic Nonexistence of First Integrals
• Optimization and nonsmooth analysis
• The Closing Lemma
• Variational Analysis

Cited in

(1)

• On a theorem of René Thom in géométrie finie

This page was built for publication: On the first integral conjecture of René Thom

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q950543)