Semi-algebraic geometry and generic Hamiltonian stability
The steepness property is a local geometric transversality condition on the gradient of a -function which proves fundamental in order to ensure the stability of sufficiently-regular nearly-integrable Hamiltonian systems over long timespans. Steep functions were originally introduced by Nekhoroshev,...
| Autor: | |
|---|---|
| Formato: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2025 |
| País: | España |
| Recursos: | Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| Repositorio: | Recercat. Dipósit de la Recerca de Catalunya |
| OAI Identifier: | oai:recercat.cat:10256/27683 |
| Acesso em linha: | http://hdl.handle.net/10256/27683 |
| Access Level: | acceso abierto |
| Palavra-chave: | Sistemes hamiltonians Hamiltonian systems Sistemes dinàmics diferenciables Differentiable dynamical systems Semi-algebraic geometry Geometria semialgebraica |
| id |
ES_857adbe58fe28fcffdc78c49d59e6ceb |
|---|---|
| oai_identifier_str |
oai:recercat.cat:10256/27683 |
| network_acronym_str |
ES |
| network_name_str |
España |
| repository_id_str |
|
| spelling |
Semi-algebraic geometry and generic Hamiltonian stabilityBarbieri, SantiagoSistemes hamiltoniansHamiltonian systemsSistemes dinàmics diferenciablesDifferentiable dynamical systemsSemi-algebraic geometryGeometria semialgebraicaThe steepness property is a local geometric transversality condition on the gradient of a -function which proves fundamental in order to ensure the stability of sufficiently-regular nearly-integrable Hamiltonian systems over long timespans. Steep functions were originally introduced by Nekhoroshev, who also proved their genericity. Namely, given a pair of positive integers , with r high enough, and a point , the Taylor polynomials of those functions which are not steep around are contained in a semi-algebraic set of positive codimension in the space of polynomials of n variables and degree bounded by r. The demonstration of this result was originally published in 1973 and has been hardly studied ever since, probably due to the fact that it involves no arguments of dynamical systems: it makes use of quantitative reasonings of real-algebraic geometry and complex analysis. The aim of the present work is two-fold. In the first part, the original proof of the genericity of steepness is rewritten by making use of modern tools of real-algebraic geometry: this allows to clarify the original reasonings, that were obscure or sketchy in many parts. In particular, Yomdin's Lemma on the analytic reparameterization of semi-algebraic sets, together with non trivial estimates on the codimension of certain algebraic varieties, turns out to be the fundamental ingredients to prove the genericity of steepness. The second part of this work is entirely new and is devoted to the formulation of explicit algebraic criteria to check steepness of any given sufficiently regular function, which constitutes a very important result for applications, as the original definition of steepness is not constructive. These criteria involve both the derivatives of the studied function up to any given order and external real parameters that, generically, belong to compact setsIn the months preceding the end of the redaction of this work, S.B. has been funded by the ERC project 757802 Haminstab; therefore, he wish to acknowledge both the ERC and the PI of the project (M. Guàrdia) for their support. Open Access funding provided thanks to the CRUE-CSIC agreement with ElsevierElsevier2025info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionpeer-reviewedapplication/pdfhttp://hdl.handle.net/10256/27683http://hdl.handle.net/10256/27683Advances in Mathematics, 2025, vol. 482, part C, p. 110643Articles publicats (D-IMA)reponame:Recercat. Dipósit de la Recerca de Catalunyainstname:Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)Inglésinfo:eu-repo/semantics/altIdentifier/doi/10.1016/j.aim.2025.110643info:eu-repo/semantics/altIdentifier/issn/0001-8708info:eu-repo/semantics/altIdentifier/eissn/1090-2082Attribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:recercat.cat:10256/276832026-05-29T05:05:01Z |
| dc.title.none.fl_str_mv |
Semi-algebraic geometry and generic Hamiltonian stability |
| title |
Semi-algebraic geometry and generic Hamiltonian stability |
| spellingShingle |
Semi-algebraic geometry and generic Hamiltonian stability Barbieri, Santiago Sistemes hamiltonians Hamiltonian systems Sistemes dinàmics diferenciables Differentiable dynamical systems Semi-algebraic geometry Geometria semialgebraica |
| title_short |
Semi-algebraic geometry and generic Hamiltonian stability |
| title_full |
Semi-algebraic geometry and generic Hamiltonian stability |
| title_fullStr |
Semi-algebraic geometry and generic Hamiltonian stability |
| title_full_unstemmed |
Semi-algebraic geometry and generic Hamiltonian stability |
| title_sort |
Semi-algebraic geometry and generic Hamiltonian stability |
| dc.creator.none.fl_str_mv |
Barbieri, Santiago |
| author |
Barbieri, Santiago |
| author_facet |
Barbieri, Santiago |
| author_role |
author |
| dc.subject.none.fl_str_mv |
Sistemes hamiltonians Hamiltonian systems Sistemes dinàmics diferenciables Differentiable dynamical systems Semi-algebraic geometry Geometria semialgebraica |
| topic |
Sistemes hamiltonians Hamiltonian systems Sistemes dinàmics diferenciables Differentiable dynamical systems Semi-algebraic geometry Geometria semialgebraica |
| description |
The steepness property is a local geometric transversality condition on the gradient of a -function which proves fundamental in order to ensure the stability of sufficiently-regular nearly-integrable Hamiltonian systems over long timespans. Steep functions were originally introduced by Nekhoroshev, who also proved their genericity. Namely, given a pair of positive integers , with r high enough, and a point , the Taylor polynomials of those functions which are not steep around are contained in a semi-algebraic set of positive codimension in the space of polynomials of n variables and degree bounded by r. The demonstration of this result was originally published in 1973 and has been hardly studied ever since, probably due to the fact that it involves no arguments of dynamical systems: it makes use of quantitative reasonings of real-algebraic geometry and complex analysis. The aim of the present work is two-fold. In the first part, the original proof of the genericity of steepness is rewritten by making use of modern tools of real-algebraic geometry: this allows to clarify the original reasonings, that were obscure or sketchy in many parts. In particular, Yomdin's Lemma on the analytic reparameterization of semi-algebraic sets, together with non trivial estimates on the codimension of certain algebraic varieties, turns out to be the fundamental ingredients to prove the genericity of steepness. The second part of this work is entirely new and is devoted to the formulation of explicit algebraic criteria to check steepness of any given sufficiently regular function, which constitutes a very important result for applications, as the original definition of steepness is not constructive. These criteria involve both the derivatives of the studied function up to any given order and external real parameters that, generically, belong to compact sets |
| publishDate |
2025 |
| dc.date.none.fl_str_mv |
2025 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion peer-reviewed |
| format |
article |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
http://hdl.handle.net/10256/27683 http://hdl.handle.net/10256/27683 |
| url |
http://hdl.handle.net/10256/27683 |
| dc.language.none.fl_str_mv |
Inglés |
| language_invalid_str_mv |
Inglés |
| dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.aim.2025.110643 info:eu-repo/semantics/altIdentifier/issn/0001-8708 info:eu-repo/semantics/altIdentifier/eissn/1090-2082 |
| dc.rights.none.fl_str_mv |
Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Elsevier |
| publisher.none.fl_str_mv |
Elsevier |
| dc.source.none.fl_str_mv |
Advances in Mathematics, 2025, vol. 482, part C, p. 110643 Articles publicats (D-IMA) reponame:Recercat. Dipósit de la Recerca de Catalunya instname:Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| instname_str |
Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| reponame_str |
Recercat. Dipósit de la Recerca de Catalunya |
| collection |
Recercat. Dipósit de la Recerca de Catalunya |
| repository.name.fl_str_mv |
|
| repository.mail.fl_str_mv |
|
| _version_ |
1869412302381383680 |
| score |
15.812455 |