Researcher profile

Fernando Sanz Sánchez

Fernando Sanz Sánchez contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 17 - Baseline
4works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2022arXiv

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

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.

preprint2022arXiv

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

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|_Γ)&#39;(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.

preprint2022arXiv

Stratification of three-dimensional real flows I: Fitting Domains

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.

preprint2014arXiv

Parabolic curves of diffeomorphisms asymptotic to formal invariant curves

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.