arXiv subjects

Rafael de la Llave

Publications and source records attributed to Rafael de la Llave.

67 records · Page 4Linked to original sources

arXiv2012

Invariant manifolds for analytic difference equations

We use a modification of the parameterization method to study invariant manifolds for difference equations. We establish existence, regularity, smooth dependence on parameters and study several singular limits, even if the difference equations do not define a dynamical system. This method also leads to efficient algorithms that we present with their implementations. The manifolds we consider include not only the classical strong stable and unstable manifolds but also manifolds associated to non-resonant spaces. When the difference equations are the Euler-Lagrange equations of a discrete variational we present sharper results. Note that, if the Legendre condition fails, the Euler-Lagrange equations can not be treated as a dynamical system. If the Legendre condition becomes singular, the dynamical system may be singular while the difference equation remains regular. We present numerical applications to several examples in the physics literature: the Frenkel-Kontorova model with long-range interactions and the Heisenberg model of spin chains with a perturbation. We also present extensions to finite differentiable difference equations.

math.DS↗

arXiv2011

A Comparison Principle for a Sobolev Gradient Semi-Flow

We consider gradient descent equations for energy functionals of the type S(u) = 1/2 < u(x), A(x)u(x) >_{L^2} + \int_Ω V(x,u) dx, where A is a uniformly elliptic operator of order 2, with smooth coefficients. The gradient descent equation for such a functional depends on the metric under consideration. We consider the steepest descent equation for S where the gradient is an element of the Sobolev space H^β, β\in (0,1), with a metric that depends on A and a positive number γ> \sup |V_{22}|. We prove a weak comparison principle for such a gradient flow. We extend our methods to the case where A is a fractional power of an elliptic operator. We provide an application to the Aubry-Mather theory for partial differential equations and pseudo-differential equations by finding plane-like minimizers of the energy functional

math.AP↗

arXiv2011

Perturbation and Numerical Methods for Computing the Minimal Average Energy

We investigate the differentiability of minimal average energy associated to the functionals $S_\ep (u) = \int_{\mathbb{R}^d} (1/2)|\nabla u|^2 + \ep V(x,u)\, dx$, using numerical and perturbative methods. We use the Sobolev gradient descent method as a numerical tool to compute solutions of the Euler-Lagrange equations with some periodicity conditions; this is the cell problem in homogenization. We use these solutions to determine the average minimal energy as a function of the slope. We also obtain a representation of the solutions to the Euler-Lagrange equations as a Lindstedt series in the perturbation parameter $\ep$, and use this to confirm our numerical results. Additionally, we prove convergence of the Lindstedt series.

math.AP↗

arXiv2011

KAM theory for quasi-periodic equilibria in 1-D quasiperiodic media

We consider Frenkel-Kontorova models corresponding to 1 dimensional quasicrystals. We present a KAM theory for quasi-periodic equilibria. The theorem presented has an \emph{a-posteriori} format. We show that, given an approximate solution of the equilibrium equation, which satisfies some appropriate non-degeneracy conditions, then, there is a true solution nearby. This solution is locally unique. Such a-posteriori theorems can be used to validate numerical computations and also lead immediately to several consequences a) Existence to all orders of perturbative expansion and their convergence b) Bootstrap for regularity c) An efficient method to compute the breakdown of analyticity. Since the system does not admit an easy dynamical formulation, the method of proof is based on developing several identities. These identities also lead to very efficient algorithms.

math-ph↗

arXiv2011

Percival Lagrangian approach to Aubry-Mather theory

We present some streamlined proofs of some of the basic results in Aubry-Mather theory (existence of quasi-periodic minimizers, multiplicity results when there are gaps among minimizers) based on the study of hull functions. We present results in arbitrary number of dimensions We also compare the proofs and results with those obtained in other formalisms.

math-ph↗

arXiv2011

Fast iteration of cocyles over rotations and Computation of hyperbolic bundles

In this paper, we develop numerical algorithms that use small requirements of storage and operations for the computation of hyperbolic cocycles over a rotation. We present fast algorithms for the iteration of the quasi-periodic cocycles and the computation of the invariant bundles, which is a preliminary step for the computation of invariant whiskered tori.

math.DS↗

arXiv2010

Computation of whiskered invariant tori and their associated manifolds: new fast algorithms

In this paper we present efficient algorithms for the computation of several invariant objects for Hamiltonian dynamics. More precisely, we consider KAM tori (i.e diffeomorphic copies of the torus such that the motion on them is conjugated to a rigid rotation) both Lagrangian tori (of maximal dimension) and whiskered tori (i.e. tori with hyperbolic directions which, together with the tangents to the torus and the symplectic conjugates span the whole tangent space). In the case of whiskered tori, we also present algorithms to compute the invariant splitting and the invariant manifolds associated to the splitting. We present them both for the case of discrete time and for differential equations. The algorithms are based on a Newton method to solve an appropriately chosen functional equation that expresses invariance. The algorithms are efficient: if we discretize the objects by $N$ elements, one step of the Newton method requires only O(N) storage and $O(N \ln(N))$ operations. Furthermore, if the object we consider is of dimension $\ell$, we only need to compute functions of $\ell$ variables, independently of what is the dimension of the phase space. The algorithms do not require that the system is presented in action-angle variables nor that it is close to integrable. The algorithms are backed up by rigorous \emph{a-posteriori} bounds which state that if the equations are solved with a small residual and some explicitly computable condition numbers are not too big, then, there is a true solution which is close to the computed one. The algorithms apply both to primary (i.e non-contractible) and secondary tori (i.e. contractible to a torus of lower dimension, such as islands). They have already been implemented. We will report on the technicalities of the implementation and the results of running them elsewhere.

math.DS↗

arXiv2009

Construction of invariant whiskered tori by a parameterization method. Part I: Maps and flows in finite dimensions

We present theorems which provide the existence of invariant whiskered tori in finite-dimensional exact symplectic maps and flows. The method is based on the study of a functional equation expressing that there is an invariant torus. We show that, given an approximate solution of the invariance equation which satisfies some non-degeneracy conditions, there is a true solution nearby. We call this an {\sl a posteriori} approach. The proof of the main theorems is based on an iterative method to solve the functional equation. The theorems do not assume that the system is close to integrable nor that it is written in action-angle variables (hence we can deal in a unified way with primary and secondary tori). It also does not assume that the hyperbolic bundles are trivial and much less that the hyperbolic motion can be reduced to constant. The a posteriori formulation allows us to justify approximate solutions produced by many non-rigorous methods (e.g. formal series expansions, numerical methods). The iterative method is not based on transformation theory, but rather on succesive corrections. This makes it possible to adapt the method almost verbatim to several infinite-dimensional situations, which we will discuss in a forthcoming paper. We also note that the method leads to fast and efficient algorithms. We plan to develop these improvements in forthcoming papers.

math.DS↗

arXiv2008

Smooth dependence on parameters of solution of cohomology equations over Anosov systems and applications to cohomology equations on diffeomorphism groups

We consider the dependence on parameters of the solutions of cohomology equations over Anosov diffeomorphisms. We show that the solutions depend on parameters as smoothly as the data. As a consequence we prove optimal regularity results for the solutions of equations taking value in diffeomorphism groups. These results are motivated by applications to rigidity theory, dynamical systems, and geometry. In particular, in the context of diffeomorphism groups we show: Let $f$ be a transitive Anosov diffeomorphism of a compact manifold $M$. Suppose that $η\in C^{\reg}(M,\Diff^r(N))$ for a compact manifold $N$, $k,r \in \N$, $r \geq 1$, and $0 < α\leq \Lip$. We show that if there exists a $φ\in C^{\reg}(M,\Diff^1(N))$ solving \begin{equation*} φ_{f(x)} = η_x \circ φ_x \end{equation*} then in fact $φ\in C^{\reg}(M,\Diff^r(N))$.

math.DS↗

arXiv2008

An Application of Topological Multiple Recurrence to Tiling

We show that given any tiling of Euclidean space, any geometric patterns of points, we can find a patch of tiles (of arbitrarily large size) so that copies of this patch appear in the tiling nearly centered on a scaled and translated version of the pattern. The rather simple proof uses Furstenberg's topological multiple recurrence theorem.

math.DS↗

arXiv2008

Boundaries of Siegel disks - numerical studies of their dynamics and regularity

Siegel disks are domains around fixed points of holomorphic maps in which the maps are locally linearizable (i.e., become a rotation under an appropriate change of coordinates which is analytic in a neighborhood of the origin). The dynamical behavior of the iterates of the map on the boundary of the Siegel disk exhibits strong scaling properties which have been intensively studied in the physical and mathematical literature. In the cases we study, the boundary of the Siegel disk is a Jordan curve containing a critical point of the map (we consider critical maps of different orders), and there exists a natural parameterization which transforms the dynamics on the boundary into a rotation. We compute numerically this parameterization and use methods of harmonic analysis to compute the global Holder regularity of the parameterization for different maps and rotation numbers. We obtain that the regularity of the boundaries and the scaling exponents are universal numbers in the sense of renormalization theory (i.e., they do not depend on the map when the map ranges in an open set), and only depend on the order of the critical point of the map in the boundary of the Siegel disk and the tail of the continued function expansion of the rotation number. We also discuss some possible relations between the regularity of the parameterization of the boundaries and the corresponding scaling exponents.

math.DS↗

arXiv2007

Livšic Theorems for Non-Commutative Groups including Diffeomorphism Groups and Results on the Existence of Conformal Structures for Anosov Systems

The celebrated Livsic theorem states that given M a manifold, a Lie group G, a transitive Anosov diffeomorphism f on M and a Holder function η: M \mapsto G whose range is sufficiently close to the identity, it is sufficient for the existence of ϕ:M \mapsto G satisfying η(x) = ϕ(f(x)) ϕ(x)^{-1} that a condition -- obviously necessary -- on the cocycle generated by ηrestricted to periodic orbits is satisfied. In this paper we present a new proof of the main result. These methods allow us to treat cocycles taking values in the group of diffeomorphisms of a compact manifold. This has applications to rigidity theory. The localization procedure we develop can be applied to obtain some new results on the existence of conformal structures for Anosov systems.

math.DS↗

arXiv2006

Renormalization and Central Limit Theorem for Critical Dynamical Systems with Weak External Noise

We study of the effect of weak noise on critical one dimensional maps; that is, maps with a renormalization theory. We establish a one dimensional central limit theorem for weak noises and obtain Berry--Esseen estimates for the rate of this convergence. We analyze in detail maps at the accumulation of period doubling and critical circle maps with golden mean rotation number. Using renormalization group methods, we derive scaling relations for several features of the effective noise after long times. We use these scaling relations to show that the central limit theorem for weak noise holds in both examples. We note that, for the results presented here, it is essential that the maps have parabolic behavior. They are false for hyperbolic orbits.

math.DS↗