Showing 1–10 of 10 results for author: Sánchez, F S

Surfaces with central configuration and Dulac's problem for a three dimensional isolated Hopf singularity

Authors: Nuria Corral, María Martín Vega, Fernando Sanz Sánchez

Abstract: Let $ξ$ be a real analytic vector field with an elementary isolated singularity at $0\in \mathbb{R}^3$ and eigenvalues $\pm bi,c$ with $b,c\in \mathbb{R}$ and $b\neq 0$. We prove that all cycles of $ξ$ in a sufficiently small neighborhood of $0$, if they exist, are contained in a finite number of subanalytic invariant surfaces entirely composed by a continuum of cycles. In particular, we solve Dul… ▽ More Let $ξ$ be a real analytic vector field with an elementary isolated singularity at $0\in \mathbb{R}^3$ and eigenvalues $\pm bi,c$ with $b,c\in \mathbb{R}$ and $b\neq 0$. We prove that all cycles of $ξ$ in a sufficiently small neighborhood of $0$, if they exist, are contained in a finite number of subanalytic invariant surfaces entirely composed by a continuum of cycles. In particular, we solve Dulac's problem, i.e. finiteness of limit cycles, for such vector fields. △ Less

Submitted 29 January, 2024; originally announced January 2024.

MSC Class: 34C05 (Primary) 34C08; 34C07; 34C20; 37C10; 37C25 (Secondary)

Trajectories of vector fields asymptotic to formal invariant curves

Authors: Olivier Le Gal, Fernando Sanz Sánchez

Abstract: We prove that a formal curve $Γ$ that is invariant by a $C^\infty$ vector field $ξ$ of $\mathbb{R}^m$ has a geometrical realization, as soon as the Taylor expansion of $ξ$ is not identically zero along $Γ$. This means that there is a trajectory $γ$ of $ξ$ which is asymptotic to $Γ$. This result solves a natural question proposed by Bonckaert nearly forty years ago. We also construct an invariant… ▽ More We prove that a formal curve $Γ$ that is invariant by a $C^\infty$ vector field $ξ$ of $\mathbb{R}^m$ has a geometrical realization, as soon as the Taylor expansion of $ξ$ is not identically zero along $Γ$. This means that there is a trajectory $γ$ of $ξ$ which is asymptotic to $Γ$. This result solves a natural question proposed by Bonckaert nearly forty years ago. We also construct an invariant $C^0$ manifold $S$ in some open horn around $Γ$ which is composed entirely of trajectories asymptotic to $Γ$, and contains the germ of any such trajectory. If $ξ$ is analytic, we prove that there exists a trajectory asymptotic to $Γ$ which is, moreover, non-oscillating with respect to subanalytic sets. △ Less

Submitted 12 November, 2023; originally announced November 2023.

MSC Class: 34E05; 34C20; 34C08; 34A25; 37D10; 37C25

Stratification of three-dimensional real flows II: A generalization of Poincaré's planar sectorial decomposition

Authors: Clementa Alonso-González, Fernando Sanz Sánchez

Abstract: Let $ξ$ be an analytic vector field in $\mathbb{R}^3$ with an isolated singularity at the origin and having only hyperbolic singular points after a reduction of singularities $π:M\to\mathbb{R}^3$. Assuming certain conditions to be specified throughout the work at hand, we establish a theorem of stratification of the dynamics of $ξ$ that generalizes to dimension three the classical one, coming from… ▽ More Let $ξ$ be an analytic vector field in $\mathbb{R}^3$ with an isolated singularity at the origin and having only hyperbolic singular points after a reduction of singularities $π:M\to\mathbb{R}^3$. Assuming certain conditions to be specified throughout the work at hand, we establish a theorem of stratification of the dynamics of $ξ$ that generalizes to dimension three the classical one, coming from Poincaré, about the decomposition of the dynamics of an analytic planar vector field into {\em parabolic}, {\em elliptic} or {\em hyperbolic} invariant sectors. △ Less

Submitted 27 June, 2023; originally announced June 2023.

MSC Class: 34A26; 34A34; 34C40; 34C08; 37C10; 37D15; 37D05

Turrittin's Theorem revisited. The real case

Authors: Moulay Barkatou, Félix Álvaro Carnicero-Martín, Fernando Sanz Sánchez

Abstract: We establish a real version of Turrittin's result on polynomial and formal normal forms of linear systems of ODEs with meromorphic coefficients. Both the normal forms or the transformations used have only real coefficients. In order to adapt the proofs to the real case, we make a review of the result in the complex case. We establish a real version of Turrittin's result on polynomial and formal normal forms of linear systems of ODEs with meromorphic coefficients. Both the normal forms or the transformations used have only real coefficients. In order to adapt the proofs to the real case, we make a review of the result in the complex case. △ Less

Submitted 14 May, 2023; originally announced May 2023.

MSC Class: 34C20 (Primary); 34C08; 34M03; 34M25

Stratification of three-dimensional real flows I: Fitting Domains

Authors: Clementa Alonso-González, Fernando Sanz Sánchez

Abstract: Let $ξ$ be an analytic vector field in $\mathbb{R}^3$ with an isolated singularity at the origin and having only hyperbolic singular points after a reduction of singularities $π:M\to\mathbb{R}^3$. The union of the images by $π$ of the local invariant manifolds at those hyperbolic points, denoted by $Λ$, is composed of trajectories of $ξ$ accumulating to $0 \in \mathbb{R}^3$. Assuming that there ar… ▽ More Let $ξ$ be an analytic vector field in $\mathbb{R}^3$ with an isolated singularity at the origin and having only hyperbolic singular points after a reduction of singularities $π:M\to\mathbb{R}^3$. The union of the images by $π$ of the local invariant manifolds at those hyperbolic points, denoted by $Λ$, is composed of trajectories of $ξ$ accumulating to $0 \in \mathbb{R}^3$. Assuming that there are no cycles nor polycycles on the divisor of $π$, together with a Morse-Smale type property and a non-resonance condition on the eigenvalues at these points, in this paper we prove the existence of a fundamental system $\{V_n\}$ of neighborhoods well adapted for the description of the local dynamics of $ξ$: the frontier $Fr(V_n)$ is everywhere tangent to $ξ$ except around $Fr(V_n)\capΛ$, where transvesality is mandatory. △ Less

Submitted 4 July, 2022; originally announced July 2022.

Comments: 57 pages

MSC Class: 34A26; 34A34; 34C40; 34C08; 37C10; 37D15; 37D05

Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy

Authors: Olivier Le Gal, Mickaël Matusinski, Fernando Sanz Sánchez

Abstract: We introduce a notion of regular separation for solutions of systems of ODEs $y'=F(x,y)$, where F is definable in a polynomially bounded o-minimal structure and $y = (y_1,y_2)$. Given a pair of solutions with flat contact, we prove that, if one of them has the property of regular separation, the pair is either interlaced or generates a Hardy field. We adapt this result to trajectories of three-dim… ▽ More We introduce a notion of regular separation for solutions of systems of ODEs $y'=F(x,y)$, where F is definable in a polynomially bounded o-minimal structure and $y = (y_1,y_2)$. Given a pair of solutions with flat contact, we prove that, if one of them has the property of regular separation, the pair is either interlaced or generates a Hardy field. We adapt this result to trajectories of three-dimensional vector fields with definable coefficients. In the particular case of real analytic vector fields, it improves the dichotomy interlaced/separated of certain integral pencils obtained by F. Cano, R. Moussu and the third author. In this context, we show that the set of trajectories with the regular separation property and asymptotic to a formal invariant curve is never empty and it is represented by a subanalytic set of minimal dimension containing the curve. Finally, we show how to construct examples of formal invariant curves which are transcendental with respect to subanalytic sets, using the so-called (SAT) property introduced by J.-P. Rolin, R. Shaefke and the third author. △ Less

Submitted 29 January, 2022; v1 submitted 13 December, 2020; originally announced December 2020.

Comments: 25 pages

MSC Class: 34C08; 34D05; 03C64 (Primary); 14P15; 32B20 (Secondary)

Journal ref: Rev. Mat. Iberoam. Electronically published on December 23, 2021

Stable manifolds of biholomorphisms in $\mathbb{C}^n$ asymptotic to formal curves

Authors: Lorena López-Hernanz, Javier Ribón, Fernando Sanz Sánchez, Liz Vivas

Abstract: Given a germ of biholomorphism $F\in\mathrm{Diff}(\mathbb{C}^n,0)$ with a formal invariant curve $Γ$ such that the multiplier of the restricted formal diffeomorphism $F|_Γ$ is a root of unity or satisfies $|(F|_Γ)'(0)|<1$, we prove that either $Γ$ is contained in the set of periodic points of $F$ or there exists a finite family of stable manifolds of $F$ where all the orbits are asymptotic to $Γ$… ▽ More Given a germ of biholomorphism $F\in\mathrm{Diff}(\mathbb{C}^n,0)$ with a formal invariant curve $Γ$ such that the multiplier of the restricted formal diffeomorphism $F|_Γ$ is a root of unity or satisfies $|(F|_Γ)'(0)|<1$, we prove that either $Γ$ is contained in the set of periodic points of $F$ or there exists a finite family of stable manifolds of $F$ where all the orbits are asymptotic to $Γ$ and whose union eventually contains every orbit asymptotic to $Γ$. This result generalizes to the case where $Γ$ is a formal periodic curve. △ Less

Submitted 17 January, 2022; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: Part of section 5 in this article is an upgrade of some results in arXiv:1411.2945 that were not included in the final published version

Real Analytic Vector Fields with First Integral and Separatrices

Authors: Rogério Mol, Fernando Sanz Sánchez

Abstract: We prove that a germ of analytic vector field at $(\mathbb{R}^3,0)$ that possesses a non-constant analytic first integral has a real formal separatrix. We provide an example which shows that such a vector field does not necessarily have a real analytic separatrix. We prove that a germ of analytic vector field at $(\mathbb{R}^3,0)$ that possesses a non-constant analytic first integral has a real formal separatrix. We provide an example which shows that such a vector field does not necessarily have a real analytic separatrix. △ Less

Submitted 14 May, 2018; originally announced May 2018.

Comments: 20 pages, 3 figures

MSC Class: 32S65; 37F75; 34Cxx; 14P15

Parabolic curves of diffeomorphisms asymptotic to formal invariant curves

Authors: Lorena López-Hernanz, Fernando Sanz Sánchez

Abstract: We prove that if $F$ is a tangent to the identity diffeomorphism at $0\in\mathbb{C}^2$ and $Γ$ is a formal invariant curve of $F$ then there exists a parabolic curve (attracting or repelling) of $F$ asymptotic to $Γ$. The result is a consequence of a more general one in arbitrary dimension, where we prove the existence of parabolic curves of a tangent to the identity diffeomorphism $F$ at… ▽ More We prove that if $F$ is a tangent to the identity diffeomorphism at $0\in\mathbb{C}^2$ and $Γ$ is a formal invariant curve of $F$ then there exists a parabolic curve (attracting or repelling) of $F$ asymptotic to $Γ$. The result is a consequence of a more general one in arbitrary dimension, where we prove the existence of parabolic curves of a tangent to the identity diffeomorphism $F$ at $0\in\mathbb{C}^n$ asymptotic to a given formal invariant curve under some additional conditions, expressed in terms of a reduction of $F$ to a special normal form by means of blow-ups and ramifications along the formal curve. △ Less

Submitted 11 November, 2014; originally announced November 2014.

Journal ref: J. Reine Angew. Math. 739 (2018), 277-296

On the Ambrosetti-Malchiodi-Ni Conjecture for general submanifolds

Authors: Fethi Mahmoudi, Felipe Subiabre Sánchez, Wei Yao

Abstract: We study positive solutions of the following semilinear equation $$\varepsilon^2Δ_{\bar g} u - V(z) u+ u^{p} =0\,\hbox{ on }\,M, $$ where $(M, \bar g )$ is a compact smooth $n$-dimensional Riemannian manifold without boundary or the Euclidean space $\mathbb R^n$, $\varepsilon$ is a small positive parameter, $p>1$ and $V$ is a uniformly positive smooth potential. Given $k=1,\dots,n-1$, and… ▽ More We study positive solutions of the following semilinear equation $$\varepsilon^2Δ_{\bar g} u - V(z) u+ u^{p} =0\,\hbox{ on }\,M, $$ where $(M, \bar g )$ is a compact smooth $n$-dimensional Riemannian manifold without boundary or the Euclidean space $\mathbb R^n$, $\varepsilon$ is a small positive parameter, $p>1$ and $V$ is a uniformly positive smooth potential. Given $k=1,\dots,n-1$, and $1 < p < \frac{n+2-k}{n-2-k}$. Assuming that $K$ is a $k$-dimensional smooth, embedded compact submanifold of $M$, which is stationary and non-degenerate with respect to the functional $\int_K V^{\frac{p+1}{p-1}-\frac{n-k}{2}}dvol$, we prove the existence of a sequence $\varepsilon=\varepsilon_j\to 0$ and positive solutions $u_\varepsilon$ that concentrate along $K$. This result proves in particular the validity of a conjecture by Ambrosetti-Malchiodi-Ni, extending a recent result by Wang-Wei-Yang, where the one co-dimensional case has been considered. Furthermore, our approach explores a connection between solutions of the nonlinear Schrödinger equation and $f$-minimal submanifolds in manifolds with density. △ Less

Submitted 26 May, 2014; originally announced May 2014.

Comments: 34 Pages

MSC Class: 35J25; 35J20; 35B33; 35B40