-
On parameter estimation for $N(μ,σ^2 I_3)$ based on projected data into $\mathbb{S}^2$
Authors:
Jordi-Lluís Figueras,
Aron Persson,
Lauri Viitasaari
Abstract:
We consider the projected normal distribution, with isotropic variance, on the 2-sphere using intrinsic statistics. We show that in this case, the expectation commutes with the projection and that the covariance of the normal variable has a 1-1 correspondence with the intrinsic covariance of the projected normal distribution. This allows to estimate, after model identification, the parameters of t…
▽ More
We consider the projected normal distribution, with isotropic variance, on the 2-sphere using intrinsic statistics. We show that in this case, the expectation commutes with the projection and that the covariance of the normal variable has a 1-1 correspondence with the intrinsic covariance of the projected normal distribution. This allows to estimate, after model identification, the parameters of the underlying normal distribution that generates the data.
△ Less
Submitted 29 October, 2024;
originally announced October 2024.
-
Computer Validation of Open Gaps for the Almost Mathieu Operator with Critical Coupling
Authors:
Jordi-Lluís Figueras,
Joaquim Puig
Abstract:
We present some computer assisted methods to prove the existence of spectral gaps for the Almost Mathieu operator at critical coupling and give rigorous numerical estimates on their size. As an example we show that the first 8 gaps predicted by the Gap Labelling theorem are open when $ω=(\sqrt{5}-1)/2$ and 12 of them are open when $ω=e-2$. A dynamical method based on the constructive conjugation t…
▽ More
We present some computer assisted methods to prove the existence of spectral gaps for the Almost Mathieu operator at critical coupling and give rigorous numerical estimates on their size. As an example we show that the first 8 gaps predicted by the Gap Labelling theorem are open when $ω=(\sqrt{5}-1)/2$ and 12 of them are open when $ω=e-2$. A dynamical method based on the constructive conjugation to a hyperbolic cocycle and a spectral method based on the rigorous computation of the eigenvalues of finite-dimensional matrices are presented. We also present some experiments and conjectures on gap size for the associated peridodic problems.
△ Less
Submitted 24 October, 2024;
originally announced October 2024.
-
Self-Similar Singular Solutions to the Nonlinear Schrödinger and the Complex Ginzburg-Landau Equations
Authors:
Joel Dahne,
Jordi-Lluís Figueras
Abstract:
We prove the existence of radial self-similar singular solutions for the mass supercritical Nonlinear Schrödinger Equation far from the critical regime and, more generally, branches of such solutions for the Complex Ginzburg-Landau Equation. We are also able to control their monotone index (number of monotone intervals). In particular, we prove the existence of monotone radial self-similar singula…
▽ More
We prove the existence of radial self-similar singular solutions for the mass supercritical Nonlinear Schrödinger Equation far from the critical regime and, more generally, branches of such solutions for the Complex Ginzburg-Landau Equation. We are also able to control their monotone index (number of monotone intervals). In particular, we prove the existence of monotone radial self-similar singular solutions for the three dimensional cubic Nonlinear Schrödinger Equation. The paper combines sharp analytic bounds of the self-similar profile at infinity with computer assisted bounds around zero and their matching at an intermediate value.
△ Less
Submitted 20 December, 2024; v1 submitted 7 October, 2024;
originally announced October 2024.
-
A parametrization algorithm to compute lower dimensional elliptic tori in Hamiltonian systems
Authors:
Chiara Caracciolo,
Jordi-Lluís Figueras,
Alex Haro
Abstract:
We present an algorithm for the construction of lower dimensional elliptic tori in parametric Hamiltonian systems by means of the parametrization method with the tangent and normal frequencies being prescribed. This requires that the Hamiltonian system has as many parameters as the dimension of the normal dynamics, and the algorithm must adjust these parameters. We illustrate the methodology with…
▽ More
We present an algorithm for the construction of lower dimensional elliptic tori in parametric Hamiltonian systems by means of the parametrization method with the tangent and normal frequencies being prescribed. This requires that the Hamiltonian system has as many parameters as the dimension of the normal dynamics, and the algorithm must adjust these parameters. We illustrate the methodology with an implementation of the algorithm computing $2$--dimensional elliptic tori in a system of $4$ coupled pendula (4 degrees of freedom).
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Sun-Jupiter-Saturn System may exist: A verified computation of quasiperiodic solutions for the planar three body problem
Authors:
Jordi-Lluís Figueras,
Alex Haro
Abstract:
In this paper, we present evidence of the stability of a simplified model of the Solar System, a flat (Newtonian) Sun-Jupiter-Saturn system with realistic data: masses of the Sun and the planets, their semi-axes, eccentricities and (apsidal) precessions of the planets close to the real ones. The evidence is based on convincing numerics that a KAM theorem can be applied to the Hamiltonian equations…
▽ More
In this paper, we present evidence of the stability of a simplified model of the Solar System, a flat (Newtonian) Sun-Jupiter-Saturn system with realistic data: masses of the Sun and the planets, their semi-axes, eccentricities and (apsidal) precessions of the planets close to the real ones. The evidence is based on convincing numerics that a KAM theorem can be applied to the Hamiltonian equations of the model to produce quasiperiodic motion (on an invariant torus) with the appropriate frequencies. To do so, we first use KAM numerical schemes to compute translated tori to continue from the Kepler approximation (two uncoupled two-body problems) up to the actual Hamiltonian of the system, for which the translated torus is an invariant torus. Second, we use KAM numerical schemes for invariant tori to refine the solution giving the desired torus. Lastly, the convergence of the KAM scheme for the invariant torus is (numerically) checked by applying several times a KAM iterative lemma, from which we obtain that the final torus (numerically) satisfies the existence conditions given by a KAM theorem.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
A Modified Parameterization Method for Invariant Lagrangian Tori for Partially Integrable Hamiltonian Systems
Authors:
Jordi-Lluís Figueras,
Alex Haro
Abstract:
In this paper we present an a-posteriori KAM theorem for the existence of an $(n-d)$-parameters family of $d$-dimensional isotropic invariant tori with Diophantine frequency vector $ω\in \mathbb R^d$, of type $(γ,τ)$, for $n$ degrees of freedom Hamiltonian systems with $(n-d)$ independent first integrals in involution. If the first integrals induce a Hamiltonian action of the $(n-d)$-dimensional t…
▽ More
In this paper we present an a-posteriori KAM theorem for the existence of an $(n-d)$-parameters family of $d$-dimensional isotropic invariant tori with Diophantine frequency vector $ω\in \mathbb R^d$, of type $(γ,τ)$, for $n$ degrees of freedom Hamiltonian systems with $(n-d)$ independent first integrals in involution. If the first integrals induce a Hamiltonian action of the $(n-d)$-dimensional torus, then we can produce $n$-dimensional Lagrangian tori with frequency vector of the form $(ω,ω_p)$, with $ω_p\in\mathbb R^{n-d}$. In the light of the parameterization method, we design a (modified) quasi-Newton method for the invariance equation of the parameterization of the torus, whose proof of convergence from an initial approximation, and under appropriate non-degeneracy conditions, is the object of this paper. We present the results in the analytic category, so the initial torus is real-analytic in a certain complex strip of size $ρ$, and the corresponding error in the functional equation is $\varepsilon$. We heavily use geometric properties and the so called automatic reducibility to deal directly with the functional equation and get convergence if $γ^{-2} ρ^{-2τ-1}\varepsilon$ is small enough, in contrast with most of KAM results based on the parameterization method, that get convergence if $γ^{-4} ρ^{-4τ}\varepsilon$ is small enough. The approach is suitable to perform computer assisted proofs.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
The number of relative equilibria in the PCR4PB
Authors:
Jordi-Lluís Figueras,
Warwick Tucker,
Piotr Zgliczynski
Abstract:
The aim of this paper is to present a new, analytical, method for computing the exact number of relative equilibria in the planar, circular, restricted 4-body problem of celestial mechanics. The new approach allows for a very efficient computer-aided proof, and opens a potential pathway to proving harder instances of the n-body problem.
The aim of this paper is to present a new, analytical, method for computing the exact number of relative equilibria in the planar, circular, restricted 4-body problem of celestial mechanics. The new approach allows for a very efficient computer-aided proof, and opens a potential pathway to proving harder instances of the n-body problem.
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
-
Sharp $\frac12$-Hölder continuity of the Lyapunov exponent at the bottom of the spectrum for a class of Schrödinger cocycles
Authors:
Jordi-Lluís Figueras,
Thomas Ohlson Timoudas
Abstract:
We consider a similar type of scenario for the disappearance of uniform of hyperbolicity as in Bjerklöv and Saprykina (2008, Nonlinearity 21), where it was proved that the minimum distance between invariant stable and unstable bundles has a linear power law dependence on parameters. In this scenario we prove that the Lyapunov exponent is sharp $\frac12$-Hölder continuous.
In particular, we show…
▽ More
We consider a similar type of scenario for the disappearance of uniform of hyperbolicity as in Bjerklöv and Saprykina (2008, Nonlinearity 21), where it was proved that the minimum distance between invariant stable and unstable bundles has a linear power law dependence on parameters. In this scenario we prove that the Lyapunov exponent is sharp $\frac12$-Hölder continuous.
In particular, we show that the Lyapunov exponent of Schrödinger cocycles with a potential having a unique non-degenerate minimum, is sharp $\frac12$-Hölder continuous below the lowest energy of the spectrum, in the large coupling regime.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
Effective bounds for the measure of rotations
Authors:
Jordi-Lluís Figueras,
Alex Haro,
Alejandro Luque
Abstract:
A fundamental question in Dynamical Systems is to identify regions of phase/parameter space satisfying a given property (stability, linearization, etc). Given a family of analytic circle diffeomorphisms depending on a parameter, we obtain effective (almost optimal) lower bounds of the Lebesgue measure of the set of parameters that are conjugated to a rigid rotation. We estimate this measure using…
▽ More
A fundamental question in Dynamical Systems is to identify regions of phase/parameter space satisfying a given property (stability, linearization, etc). Given a family of analytic circle diffeomorphisms depending on a parameter, we obtain effective (almost optimal) lower bounds of the Lebesgue measure of the set of parameters that are conjugated to a rigid rotation. We estimate this measure using an a-posteriori KAM scheme that relies on quantitative conditions that are checkable using computer-assistance. We carefully describe how the hypotheses in our theorems are reduced to a finite number of computations, and apply our methodology to the case of the Arnold family. Hence we show that obtaining non-asymptotic lower bounds for the applicability of KAM theorems is a feasible task provided one has an a-posteriori theorem to characterize the problem. Finally, as a direct corollary, we produce explicit asymptotic estimates in the so called local reduction setting (à la Arnold) which are valid for a global set of rotations.
△ Less
Submitted 14 June, 2018;
originally announced June 2018.
-
On the sharpness of the Rüssmann estimates
Authors:
Jordi-Lluís Figueras,
Alex Haro,
Alejandro Luque
Abstract:
Estimating the norm of the solution of the linear difference equation $u(θ)-u(θ+ω)=v(θ)$ plays a fundamental role in KAM theory. Optimal (in certain sense) estimates for the solution of this equation were provided by Rüssmann in the mid 70's. The aim of this paper is to compare the sharpness of these classic estimates with more specific estimates obtained with the help of the computer. We perform…
▽ More
Estimating the norm of the solution of the linear difference equation $u(θ)-u(θ+ω)=v(θ)$ plays a fundamental role in KAM theory. Optimal (in certain sense) estimates for the solution of this equation were provided by Rüssmann in the mid 70's. The aim of this paper is to compare the sharpness of these classic estimates with more specific estimates obtained with the help of the computer. We perform several experiments to quantify the improvement obtained when using computer assisted estimates. By comparing these estimates with the actual norm of the solution, we can analyze the different sources of overestimation, thus encouraging future improvements.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
A Framework for the Numerical Computation and a Posteriori Verification of Invariant Objects of Evolution Equations
Authors:
Jordi-Lluís Figueras,
Marcio Gameiro,
Jean Philippe Lessard,
Rafael de la Llave
Abstract:
We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant manifolds attached to fixed points or periodic orbits. The core of the study is writing down the invariance condition as a zero of an operator. These operators…
▽ More
We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant manifolds attached to fixed points or periodic orbits. The core of the study is writing down the invariance condition as a zero of an operator. These operators are in general not continuous, so one needs to smooth them by means of preconditioners before classical fixed point theorems can be applied. We develop in detail all the aspects of how to work with these objects: how to precondition the equations, how to work with the nonlinear terms, which function spaces can be useful, and how to work with them in a computationally rigorous way. In two companion papers, we present two different implementations of the tools developed in this paper to study periodic orbits.
△ Less
Submitted 3 May, 2016;
originally announced May 2016.
-
Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto-Sivashinsky Equation
Authors:
Jordi-Lluís Figueras,
Rafael de la Llave
Abstract:
We present numerical results and computer assisted proofs of the existence of periodic orbits for the Kuramoto-Sivashinky equation. These two results are based on writing down the existence of periodic orbits as zeros of functionals. This leads to the use of Newton's algorithm for the numerical computation of the solutions and, with some a posteriori analysis in combination with rigorous interval…
▽ More
We present numerical results and computer assisted proofs of the existence of periodic orbits for the Kuramoto-Sivashinky equation. These two results are based on writing down the existence of periodic orbits as zeros of functionals. This leads to the use of Newton's algorithm for the numerical computation of the solutions and, with some a posteriori analysis in combination with rigorous interval arithmetic, to the rigorous verification of the existence of solutions. This is a particular case of the methodology developed in [19] for several types of orbits. An independent implementation, covering overlapping but different ground, using different functional setups appears in [33].
△ Less
Submitted 3 May, 2016;
originally announced May 2016.
-
Non-Smooth Bifurcations of Uniformly Hyperbolic Invariant Manifolds in Skew Product Systems: Rigorous Results
Authors:
Jordi-Lluís Figueras,
Dan Strängberg
Abstract:
In this paper we study the anti-integrable limit scenario of skew-product systems. We consider a generalization of such systems based on the Frenkel-Kontorova model, and prove the existence of orbits with any fibered rotation number in systems of both one and two degrees of freedom. In particular, our results also apply to two dimensional maps with degenerate potentials (vanishing second derivativ…
▽ More
In this paper we study the anti-integrable limit scenario of skew-product systems. We consider a generalization of such systems based on the Frenkel-Kontorova model, and prove the existence of orbits with any fibered rotation number in systems of both one and two degrees of freedom. In particular, our results also apply to two dimensional maps with degenerate potentials (vanishing second derivative), so extending the results of existence of Cantori for more general twist maps.
We also prove that under certain mild regularity conditions on the potential the structure of the orbits is of Cantor type. From our results we deduce the existence of the non-smooth folding bifurcation (conjectured by Figueras-Haro, \textit{Different scenarios for hyperbolicity breakdown in quasiperiodic area preserving twist maps}, Chaos:25 (2015)).
Lastly we present a pair of results which are useful in determining if a potential satisfies the regularity conditions required for the Cantor sets of orbits to exist and are also of independent interest.
△ Less
Submitted 25 April, 2016;
originally announced April 2016.
-
Rigorous computer assisted application of KAM theory: a modern approach
Authors:
Jordi-Lluís Figueras,
Alex Haro,
Alejandro Luque
Abstract:
In this paper we present and illustrate a general methodology to apply KAM theory in particular problems, based on an {\em a posteriori} approach. We focus on the existence of real-analytic quasi-periodic Lagrangian invariant tori for symplectic maps. The purpose is to verify the hypotheses of a KAM theorem in an a posteriori format: given a parameterization of an approximately invariant torus, we…
▽ More
In this paper we present and illustrate a general methodology to apply KAM theory in particular problems, based on an {\em a posteriori} approach. We focus on the existence of real-analytic quasi-periodic Lagrangian invariant tori for symplectic maps. The purpose is to verify the hypotheses of a KAM theorem in an a posteriori format: given a parameterization of an approximately invariant torus, we have to check non-resonance (Diophantine) conditions, non-degeneracy conditions and certain inequalities to hold. To check such inequalities we require to control the analytic norm of some functions that depend on the map, the ambient structure and the parameterization. To this end, we propose an efficient computer assisted methodology, using fast Fourier transform, having the same asymptotic cost of using the parameterization method for obtaining numerical approximations of invariant tori. We illustrate our methodology by proving the existence of invariant curves for the standard map (up to $\eps=0.9716$), meandering curves for the non-twist standard map and 2-dimensional tori for the Froeschlé map.
△ Less
Submitted 1 January, 2016;
originally announced January 2016.
