Showing 1–50 of 52 results for author: Zgliczyński, P

Self-consistent bounds method for dissipative PDEs

Authors: Daniel Wilczak, Piotr Zgliczyński

Abstract: We discuss the method of self-consistent bounds for dissipative PDEs with periodic boundary conditions. We prove convergence theorems for a class of dissipative PDEs, which constitute a theoretical basis of a general framework for construction of an algorithm that computes bounds for the solutions of the underlying PDE and its dependence on initial conditions. We also show, that the classical ex… ▽ More We discuss the method of self-consistent bounds for dissipative PDEs with periodic boundary conditions. We prove convergence theorems for a class of dissipative PDEs, which constitute a theoretical basis of a general framework for construction of an algorithm that computes bounds for the solutions of the underlying PDE and its dependence on initial conditions. We also show, that the classical examples of parabolic PDEs including Kuramoto-Sivashinsky equation and the Navier-Stokes on the torus fit into this framework. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: 40 pages

MSC Class: 37L05; 35A24

Polynomial normal forms for ODEs near a center-saddle equilibrium point

Authors: Amadeu Delshams, Piotr Zgliczynski

Abstract: In this work we consider a saddle-center equilibrium for general vector fields as well as Hamiltonian systems, and we transform it locally into a polynomial normal form in the saddle variables by a change of coordinates. This problem was first solved by Bronstein and Kopanskii in 1995, as well as by Banyaga, de la Llave and Wayne in 1996 [BLW] in the saddle case. The proof used relies on the defor… ▽ More In this work we consider a saddle-center equilibrium for general vector fields as well as Hamiltonian systems, and we transform it locally into a polynomial normal form in the saddle variables by a change of coordinates. This problem was first solved by Bronstein and Kopanskii in 1995, as well as by Banyaga, de la Llave and Wayne in 1996 [BLW] in the saddle case. The proof used relies on the deformation method used in [BLW], which in particular implies the preservation of the symplectic form for a Hamiltonian system, although our proof is different and, we believe, simpler. We also show that if the system has sign-symmetry, then the transformation can be chosen so that it also has sign-symmetry. This issue is important in our study of shadowing non-transverse heteroclinic chains (Delshams and Zgliczynski 2018 and 2024) for the toy model systems (TMS) of the cubic defocusing nonlinear Schrödinger equation (NLSE) on $2D$-torus or similar Hamiltonian PDE, which are used to prove energy transfer in these PDE. △ Less

Submitted 7 November, 2024; originally announced November 2024.

MSC Class: 34C20; 34C45

No infinite spin for partial collisions converging to isolated central configurations on the plane

Authors: Anna Gierzkiewicz, Rodrigo G. Schaefer, Piotr Zgliczyński

Abstract: In the $n$-body problem, when a~cluster of bodies tends to a collision, then its normalized shape curve converges to the set of normalized central configurations, which has $SO(2)$ symmetry in the planar case. This leaves a possibility that the normalized shape curve tends to the circle obtained by rotation of some central configuration instead of a particular point on it. This is the \emph{infini… ▽ More In the $n$-body problem, when a~cluster of bodies tends to a collision, then its normalized shape curve converges to the set of normalized central configurations, which has $SO(2)$ symmetry in the planar case. This leaves a possibility that the normalized shape curve tends to the circle obtained by rotation of some central configuration instead of a particular point on it. This is the \emph{infinite spin problem} which concerns the rotational behavior of total collision orbits in the $n$-body problem. The question also makes sense for partial collision. We show that the infinite spin is not possible if the limiting circle is isolated from other connected components of the set of normalized central configurations. Our approach extends the method from recent work for total collision by Moeckel and Montgomery, which was based on a combination of the center manifold theorem with Łojasiewicz inequality. To that we add a shadowing result for pseudo-orbits near normally hyperbolic manifold and careful estimates on the influence of other bodies on the cluster of colliding bodies. △ Less

Submitted 24 April, 2025; v1 submitted 29 August, 2024; originally announced August 2024.

MSC Class: 37N05; 70F10; 70F15; 70F16; 70G40; 70G60

Stability of phase diagram for a gradient ODE with memory

Authors: Piotr Kalita, Piotr Zgliczyński

Abstract: We consider the problem governed by the gradient ODE $x'=\nabla F(x)$ in $\mathbb{R}^d$ on which we assume that it has a finite number of hyperbolic equilibria whose stable and unstable manifolds intersect transversally. This problem is perturbed by the memory term $x'(t)=\nabla F(x(t))+\varepsilon\int_{-\infty}^t M(t-s)x(s)\, ds$ where $\varepsilon>0$ is a small constant. The key result is that t… ▽ More We consider the problem governed by the gradient ODE $x'=\nabla F(x)$ in $\mathbb{R}^d$ on which we assume that it has a finite number of hyperbolic equilibria whose stable and unstable manifolds intersect transversally. This problem is perturbed by the memory term $x'(t)=\nabla F(x(t))+\varepsilon\int_{-\infty}^t M(t-s)x(s)\, ds$ where $\varepsilon>0$ is a small constant. The key result is that the structure of connections between the equlibria of the unperturbed problem is exactly preserved for a small $\varepsilon>0$. △ Less

Submitted 4 June, 2024; v1 submitted 2 June, 2024; originally announced June 2024.

Shadowing of non-transversal heteroclinic chains in lattices

Authors: Amadeu Delshams, Piotr Zgliczynski

Abstract: We deal with dynamical systems on complex lattices possessing chains of non-transversal heteroclinic connections between several periodic orbits. The systems we consider are inspired by the so-called \emph{toy model systems} (TMS) used to prove the existence of energy transfer from low to high frequencies in the \emph{nonlinear cubic Schrödinger equation} (NLS) or generalizations. Using the geomet… ▽ More We deal with dynamical systems on complex lattices possessing chains of non-transversal heteroclinic connections between several periodic orbits. The systems we consider are inspired by the so-called \emph{toy model systems} (TMS) used to prove the existence of energy transfer from low to high frequencies in the \emph{nonlinear cubic Schrödinger equation} (NLS) or generalizations. Using the geometric properties of the complex projective space as a base space, we generate in a natural way collections of such systems containing this type of chains, both in the Hamiltonian and in the non-Hamiltonian setting. On the other hand, we characterize the property of block diagonal dynamics along the heteroclinic connections that allows these chains to be shadowed, a property which in general only holds for transversal heteroclinic connections. Due to the lack of transversality, only finite chains are shadowed, since there is a dropping dimensions mechanism in the evolution of any disk close to them. The main shadowing technical tool used in our work is the notion of covering relations as introduced by one of the authors. △ Less

Submitted 1 June, 2024; originally announced June 2024.

MSC Class: 37C50; 37J40

Symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line II

Authors: Daniel Wilczak, Piotr Zgliczyński

Abstract: We prove the existence of infinite number of homoclinic and heteroclinic orbits to two periodic orbits for the Kuramoto-Sivashinsky PDE on the line with odd and periodic boundary conditions and for some fixed parameter value of the system. The proof is computer assisted and it is based on a new algorithm for rigorous integration of the variational equation for a class of dissipative PDEs on the to… ▽ More We prove the existence of infinite number of homoclinic and heteroclinic orbits to two periodic orbits for the Kuramoto-Sivashinsky PDE on the line with odd and periodic boundary conditions and for some fixed parameter value of the system. The proof is computer assisted and it is based on a new algorithm for rigorous integration of the variational equation for a class of dissipative PDEs on the torus. △ Less

Submitted 24 March, 2025; v1 submitted 27 May, 2024; originally announced May 2024.

Comments: 43 pages

MSC Class: 35B40; 65G40; 35B30; 35B10; 35B45; 65N30

Pitchfork bifurcation and heteroclinic connections in the Kuramoto--Sivashinsky PDE

Authors: Jacek Kubica, Piotr Zgliczyński, Piotr Kalita

Abstract: We present a method for the complete analysis of the dynamics of dissipative Partial Differential Equations (PDEs) undergoing a pitchfork bifurcation. We apply our technique to the Kuramoto--Sivashinsky PDE on the line to obtain a computer-assisted proof of the creation of two symmetric branches of non-symmetric fixed points and heteroclinic connections between the symmetric fixed point and the ne… ▽ More We present a method for the complete analysis of the dynamics of dissipative Partial Differential Equations (PDEs) undergoing a pitchfork bifurcation. We apply our technique to the Kuramoto--Sivashinsky PDE on the line to obtain a computer-assisted proof of the creation of two symmetric branches of non-symmetric fixed points and heteroclinic connections between the symmetric fixed point and the new ones. The range of parameters is given explicitly and is large enough to allow for the rigorous continuation of the fixed points and heteroclinic connections created during the bifurcation. △ Less

Submitted 17 September, 2024; v1 submitted 13 December, 2023; originally announced December 2023.

Computer-assisted validation of the existence of periodic orbit in the Brusselator system

Authors: Jakub Banaśkiewicz, Piotr Kalita, Piotr Zgliczyński

Abstract: We investigate the Brusselator system with diffusion and Dirichlet boundary conditions on one dimensional space interval. Our proof demonstrates that, for certain parameter values, a periodic orbit exists. This proof is computer-assisted and rooted in the rigorous integration of partial differential equations. Additionally, we present the evidence of the occurrence of period-doubling bifurcation. We investigate the Brusselator system with diffusion and Dirichlet boundary conditions on one dimensional space interval. Our proof demonstrates that, for certain parameter values, a periodic orbit exists. This proof is computer-assisted and rooted in the rigorous integration of partial differential equations. Additionally, we present the evidence of the occurrence of period-doubling bifurcation. △ Less

Submitted 21 November, 2023; v1 submitted 6 March, 2023; originally announced March 2023.

Comments: Several comments were added in response to referees' remarks

Characterising blenders via covering relations and cone conditions

Authors: Maciej J. Capiński, Bernd Krauskopf, Hinke M. Osinga, Piotr Zgliczyński

Abstract: We present a characterisation of a blender based on the topological alignment of certain sets in phase space in combination with cone conditions. Importantly, the required conditions can be verified by checking properties of a single iterate of the diffeomorphism, which is achieved by finding finite series of sets that form suitable sequences of alignments. This characterisation is applicable in a… ▽ More We present a characterisation of a blender based on the topological alignment of certain sets in phase space in combination with cone conditions. Importantly, the required conditions can be verified by checking properties of a single iterate of the diffeomorphism, which is achieved by finding finite series of sets that form suitable sequences of alignments. This characterisation is applicable in arbitrary dimension. Moreover, the approach naturally extends to establishing C1-persistent heterodimensional cycles. Our setup is flexible and allows for a rigorous, computer-assisted validation based on interval arithmetic. △ Less

Submitted 14 October, 2024; v1 submitted 9 December, 2022; originally announced December 2022.

Comments: 39 pages, 14 figures

MSC Class: 37M21; 37D30; 65G20; 37C29; 37B20

High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of Delay Differential Equations with several delays

Authors: Robert Szczelina, Piotr Zgliczyński

Abstract: We present a Lohner-type algorithm for rigorous integration of systems of Delay Differential Equations (DDEs) with multiple delays and its application in computation of Poincaré maps to study the dynamics of some bounded, eternal solutions. The algorithm is based on a piecewise Taylor representation of the solutions in the phase-space and it exploits the smoothing of solutions occurring in DDEs to… ▽ More We present a Lohner-type algorithm for rigorous integration of systems of Delay Differential Equations (DDEs) with multiple delays and its application in computation of Poincaré maps to study the dynamics of some bounded, eternal solutions. The algorithm is based on a piecewise Taylor representation of the solutions in the phase-space and it exploits the smoothing of solutions occurring in DDEs to produces enclosures of solutions of a high order. We apply the topological techniques to prove various kinds of dynamical behavior, for example, existence of (apparently) unstable periodic orbits in Mackey-Glass Equation (in the regime of parameters where chaos is numerically observed) and persistence of symbolic dynamics in a delay-perturbed chaotic ODE (the Rössler system). △ Less

Submitted 12 March, 2023; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: Found Comput Math (2023)

MSC Class: 34K13; 34K23; 34K38; 65G20; 65Q20

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.

Comments: -

MSC Class: 37

Central configurations on the plane with $N$ heavy and $k$ light bodies

Authors: Małgorzata Moczurad, Piotr Zgliczyński

Abstract: We study the problem of planar central configurations with $N$ heavy bodies and $k$ bodies with arbitrary small masses. We derive the equation which describe the limit of light masses going to zero, which can be seen as the equation for central configurations in the anisotropic plane. Using computer rigorous computations we compute all central configurations for $N=2$ and $k=3,4$ and for the deriv… ▽ More We study the problem of planar central configurations with $N$ heavy bodies and $k$ bodies with arbitrary small masses. We derive the equation which describe the limit of light masses going to zero, which can be seen as the equation for central configurations in the anisotropic plane. Using computer rigorous computations we compute all central configurations for $N=2$ and $k=3,4$ and for the derived limit problem. We show that the results are consistent. △ Less

Submitted 19 September, 2021; originally announced September 2021.

Comments: 42 pages, 18 figures

From the Sharkovskii theorem to periodic orbits for the Rössler system

Authors: Anna Gierzkiewicz, Piotr Zgliczyński

Abstract: We extend Sharkovskii's theorem to the cases of $N$-dimensional maps which are close to 1D maps, with an attracting $n$-periodic orbit. We prove that, with relatively weak topological assumptions, there exist also $m$-periodic orbits for all $m\triangleright n$ in Sharkovskii's order, in the nearby. We also show, as an example of application, how to obtain such a result for the Rössler system wi… ▽ More We extend Sharkovskii's theorem to the cases of $N$-dimensional maps which are close to 1D maps, with an attracting $n$-periodic orbit. We prove that, with relatively weak topological assumptions, there exist also $m$-periodic orbits for all $m\triangleright n$ in Sharkovskii's order, in the nearby. We also show, as an example of application, how to obtain such a result for the Rössler system with an attracting periodic orbit, for four sets of parameter values. The proofs are computer-assisted. △ Less

Submitted 22 June, 2021; originally announced June 2021.

Comments: 17 pages, 8 figures

MSC Class: 37B99; 37E05; 37C27

Oscillatory Motions and Parabolic Manifolds at Infinity in the Planar Circular Restricted Three Body Problem

Authors: Maciej J. Capiński, Marcel Guardia, Pau Martín, Tere Seara, Piotr Zgliczyński

Abstract: Consider the Restricted Planar Circular 3 Body Problem with both realistic mass ratio and Jacobi constant for the Sun-Jupiter pair. We prove the existence of all possible combinations of past and future final motions. In particular, we obtain the existence of oscillatory motions. All the constructed trajectories cross the orbit of Jupiter but avoid close encounters with it. The proof relies on the… ▽ More Consider the Restricted Planar Circular 3 Body Problem with both realistic mass ratio and Jacobi constant for the Sun-Jupiter pair. We prove the existence of all possible combinations of past and future final motions. In particular, we obtain the existence of oscillatory motions. All the constructed trajectories cross the orbit of Jupiter but avoid close encounters with it. The proof relies on the method of correctly aligned windows and is computer assisted. △ Less

Submitted 11 June, 2021; originally announced June 2021.

Comments: 50 pages

MSC Class: 37C29; 37J46; 70F07

Recent advances in rigorous computation of Poincaré maps

Authors: Tomasz Kapela, Daniel Wilczak, Piotr Zgliczyński

Abstract: In this article we present recent advances on interval methods for rigorous computation of Poincaré maps. We also discuss the impact of choice of Poincaré section and coordinate system on obtained bounds for computing Poincaré map nearby fixed points. In this article we present recent advances on interval methods for rigorous computation of Poincaré maps. We also discuss the impact of choice of Poincaré section and coordinate system on obtained bounds for computing Poincaré map nearby fixed points. △ Less

Submitted 16 April, 2021; originally announced April 2021.

Comments: 26 pages, 6 tables, 6 figures

MSC Class: 65G20; 37C27

Periodic orbits in Rössler system

Authors: Anna Gierzkiewicz, Piotr Zgliczyński

Abstract: We prove the existence of $n$-periodic orbits for almost all $n\in\mathbb{N}$ in the Rössler system with attracting periodic orbit, for two sets of parameters. The proofs are computer-assisted. We prove the existence of $n$-periodic orbits for almost all $n\in\mathbb{N}$ in the Rössler system with attracting periodic orbit, for two sets of parameters. The proofs are computer-assisted. △ Less

Submitted 25 January, 2021; originally announced January 2021.

CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

Authors: Tomasz Kapela, Marian Mrozek, Daniel Wilczak, Piotr Zgliczyński

Abstract: We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting case studies illustrating how it can be used for computer-assisted proofs in dynamics of ODEs. We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting case studies illustrating how it can be used for computer-assisted proofs in dynamics of ODEs. △ Less

Submitted 14 October, 2020; originally announced October 2020.

Comments: 25 pages, 4 figures, 11 full C++ examples

Rigorous FEM for 1D Burgers equation

Authors: Piotr Kalita, Piotr Zgliczyński

Abstract: We propose a method to integrate dissipative PDEs rigorously forward in time with the use of Finite Element Method (FEM). The technique is based on the Galerkin projection on the FEM space and estimates on the residual terms. The proposed approach is illustrated on a periodically forced one-dimensional Burgers equation with Dirichlet conditions. For two particular choices of the forcing we prove t… ▽ More We propose a method to integrate dissipative PDEs rigorously forward in time with the use of Finite Element Method (FEM). The technique is based on the Galerkin projection on the FEM space and estimates on the residual terms. The proposed approach is illustrated on a periodically forced one-dimensional Burgers equation with Dirichlet conditions. For two particular choices of the forcing we prove the existence of the periodic globally attracting trajectory and give precise bounds on its shape. △ Less

Submitted 25 October, 2020; v1 submitted 2 April, 2020; originally announced April 2020.

A computer-assisted proof of symbolic dynamics in Hyperion's inner rotation model

Authors: Anna Gierzkiewicz, Piotr Zgliczyński

Abstract: The rotation of Hyperion is often modelled by equations of motion of an ellipsoidal satellite. The model is expected to be chaotic for large range of parameters. The paper contains a rigorous computer-assisted proof of the existence of symbolic dynamics in its dynamics by the use of CAPD C++ library. The rotation of Hyperion is often modelled by equations of motion of an ellipsoidal satellite. The model is expected to be chaotic for large range of parameters. The paper contains a rigorous computer-assisted proof of the existence of symbolic dynamics in its dynamics by the use of CAPD C++ library. △ Less

Submitted 16 January, 2019; originally announced January 2019.

Comments: 14 pages, 11 figures

MSC Class: 37D45 (Primary); 37N05; 70F15 (Secondary)

Central configurations in planar $n$-body problem with equal masses for $n = 5, 6, 7$

Authors: Małgorzata Moczurad, Piotr Zgliczyński

Abstract: We give a computer assisted proof of the full listing of central configuration for $n$-body problem for Newtonian potential on the plane for $n=5,6,7$ with equal masses. We show all these central configurations have a reflective symmetry with respect to some line. For $n=8,9,10$ we establish the existence of central configurations without any reflectional symmetry. We give a computer assisted proof of the full listing of central configuration for $n$-body problem for Newtonian potential on the plane for $n=5,6,7$ with equal masses. We show all these central configurations have a reflective symmetry with respect to some line. For $n=8,9,10$ we establish the existence of central configurations without any reflectional symmetry. △ Less

Submitted 13 June, 2019; v1 submitted 18 December, 2018; originally announced December 2018.

On non-autonomously forced Burgers equation with periodic and Dirichlet boundary conditions

Authors: Piotr Kalita, Piotr Zgliczyński

Abstract: We study the non-autonomously forced Burgers equation $$ u_t(x,t) + u(x,t)u_x(x,t) - u_{xx}(x,t) = f(x,t) $$ on the space interval $(0,1)$ with two sets of the boundary conditions: the Dirichlet and periodic ones. For both situations we prove that there exists the unique $H^1$ bounded trajectory of this equation defined for all $t\in \mathbb{R}$. Moreover we demonstrate that this trajectory… ▽ More We study the non-autonomously forced Burgers equation $$ u_t(x,t) + u(x,t)u_x(x,t) - u_{xx}(x,t) = f(x,t) $$ on the space interval $(0,1)$ with two sets of the boundary conditions: the Dirichlet and periodic ones. For both situations we prove that there exists the unique $H^1$ bounded trajectory of this equation defined for all $t\in \mathbb{R}$. Moreover we demonstrate that this trajectory attracts all trajectories both in pullback and forward sense. We also prove that for the Dirichlet case this attraction is exponential. △ Less

Submitted 10 January, 2019; v1 submitted 24 May, 2018; originally announced May 2018.

Beyond the Melnikov method II: multidimensional setting

Authors: Maciej J. Capinski, Piotr Zgliczynski

Abstract: We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds. We do not need to know the explicit formulas for the homoclinic orbits prior to the perturbation. We also do not need to compute any integrals along such homoclinics. All needed bounds are established using rigorous computer assisted nume… ▽ More We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds. We do not need to know the explicit formulas for the homoclinic orbits prior to the perturbation. We also do not need to compute any integrals along such homoclinics. All needed bounds are established using rigorous computer assisted numerics. Lastly, and most importantly, the method establishes intersections for an explicit range of parameters, and not only for perturbations that are `small enough', as is the case in the classical Melnikov approach. △ Less

Submitted 5 March, 2018; originally announced March 2018.

Comments: 25 pages

Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system

Authors: Maciej J. Capinski, Dmitry Turaev, Piotr Zgliczynski

Abstract: We prove, by employing rigorous numerics, that Shimizu-Morioka system has a Lorenz attractor for an open set of parameter values. Using this result, we prove the existence of a discrete version of the Lorenz attractor for a class of three-dimensional polynomial diffeomorphisms. We prove, by employing rigorous numerics, that Shimizu-Morioka system has a Lorenz attractor for an open set of parameter values. Using this result, we prove the existence of a discrete version of the Lorenz attractor for a class of three-dimensional polynomial diffeomorphisms. △ Less

Submitted 1 August, 2018; v1 submitted 28 November, 2017; originally announced November 2017.

Symbolic dynamics for Kuramoto-Sivashinsky PDE on the line --- a computer-assisted proof

Authors: Daniel Wilczak, Piotr Zgliczyński

Abstract: The Kuramoto-Sivashinsky PDE on the line with odd and periodic boundary conditions and with parameter $ν=0.1212$ is considered. We give a computer-assisted proof the existence of symbolic dynamics and countable infinity of periodic orbits with arbitrary large periods. The Kuramoto-Sivashinsky PDE on the line with odd and periodic boundary conditions and with parameter $ν=0.1212$ is considered. We give a computer-assisted proof the existence of symbolic dynamics and countable infinity of periodic orbits with arbitrary large periods. △ Less

Submitted 1 October, 2017; originally announced October 2017.

Comments: 40 pages, 7 figures

Journal ref: Journal of DIfferential Equations 2020

Shadowing of non-transversal heteroclinic chains

Authors: Amadeu Delshams, Adrià Simon, Piotr Zgliczyński

Abstract: We present a new result about the shadowing of nontransversal chain of heteroclinic connections based on the idea of dropping dimensions. We illustrate this new mechanism with several examples. As an application we discuss this mechanism in a simplification of a toy model system derived by Colliander et al. in the context of cubic defocusing nonlinear Schrödinger equation. We present a new result about the shadowing of nontransversal chain of heteroclinic connections based on the idea of dropping dimensions. We illustrate this new mechanism with several examples. As an application we discuss this mechanism in a simplification of a toy model system derived by Colliander et al. in the context of cubic defocusing nonlinear Schrödinger equation. △ Less

Submitted 27 January, 2017; originally announced January 2017.

MSC Class: 37C50

Hyperbolicity and Averaging for the Srzednicki-Wójcik equation

Authors: Piotr Zgliczyński

Abstract: For the Srzednicki-Wójcik equation, the planar nonautonomous ODE parameterized by $κ\in \mathbb{R}$, $$ z'=\overline{z}(1+ |z|^2 \exp(i κt)), \qquad z(t) \in \mathbb{C} $$ using averaging we show how the region of hyperbolicty grows with $|κ|$. Based on this we give bounds on the sizes of bounded orbits. For the Srzednicki-Wójcik equation, the planar nonautonomous ODE parameterized by $κ\in \mathbb{R}$, $$ z'=\overline{z}(1+ |z|^2 \exp(i κt)), \qquad z(t) \in \mathbb{C} $$ using averaging we show how the region of hyperbolicty grows with $|κ|$. Based on this we give bounds on the sizes of bounded orbits. △ Less

Submitted 9 July, 2016; originally announced July 2016.

MSC Class: 34C29; 37D05

Algorithm for rigorous integration of Delay Differential Equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation

Authors: Robert Szczelina, Piotr Zgliczyński

Abstract: We present an algorithm for the rigorous integration of Delay Differential Equations (DDEs) of the form $x'(t)=f(x(t-τ),x(t))$. As an application, we give a computer assisted proof of the existence of two attracting periodic orbits (before and after the first period-doubling bifurcation) in the Mackey-Glass equation. We present an algorithm for the rigorous integration of Delay Differential Equations (DDEs) of the form $x'(t)=f(x(t-τ),x(t))$. As an application, we give a computer assisted proof of the existence of two attracting periodic orbits (before and after the first period-doubling bifurcation) in the Mackey-Glass equation. △ Less

Submitted 11 July, 2017; v1 submitted 4 July, 2016; originally announced July 2016.

MSC Class: 34K13; 65G30; 65Q20 ACM Class: G.1.0; G.1.9

Journal ref: Found Comput Math 18, 1299-1332 (2018)

Beyond the Melnikov method: a computer assisted approach

Authors: Maciej J. Capinski, Piotr Zgliczynski

Abstract: We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds (NHIMs). The method is based on a new geometric proof of the normally hyperbolic invariant manifold theorem, which establishes the existence of a NHIM, together with its associated invariant manifolds and bounds on their first and second d… ▽ More We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds (NHIMs). The method is based on a new geometric proof of the normally hyperbolic invariant manifold theorem, which establishes the existence of a NHIM, together with its associated invariant manifolds and bounds on their first and second derivatives. We do not need to know the explicit formulas for the homoclinic orbits prior to the perturbation. We also do not need to compute any integrals along such homoclinics. All needed bounds are established using rigorous computer assisted numerics. Lastly, and most importantly, the method establishes intersections for an explicit range of parameters, and not only for perturbations that are `small enough', as is the case in the classical Melnikov approach. △ Less

Submitted 23 March, 2016; originally announced March 2016.

Comments: 54 pages, 10 figures

On the Petras algorithm for verified integration of piecewise analytic functions

Authors: Małgorzata Moczurad, Piotr Zgliczyński

Abstract: We consider the algorithm for verified integration of piecewise analytic functions given by Petras. The analysis of the algorithm contained in Patras' paper is limited to a narrow class of functions and gives upper bounds only. We present an estimation of the complexity (measured by a number of evaluations of an integrand) of the algorithm, both upper and lower bounds, for a wider class of functio… ▽ More We consider the algorithm for verified integration of piecewise analytic functions given by Petras. The analysis of the algorithm contained in Patras' paper is limited to a narrow class of functions and gives upper bounds only. We present an estimation of the complexity (measured by a number of evaluations of an integrand) of the algorithm, both upper and lower bounds, for a wider class of functions. We show examples with complexity $Θ(|\ln\eps|/\eps^{p-1})$, for any $p >1$, where $\eps$ is the desired accuracy of the computed integral. △ Less

Submitted 12 March, 2016; originally announced March 2016.

MSC Class: 65D30; 68Q17

Stabilizing the Long-time Behavior of the Navier-Stokes Equations and Damped Euler Systems by Fast Oscillating Forces

Authors: Jacek Cyranka, Piotr B Mucha, Edriss S Titi, Piotr Zgliczyński

Abstract: The paper studies the issue of stability of solutions to the Navier-Stokes and damped Euler systems in periodic boxes. We show that under action of fast oscillating-in- time external forces all two dimensional regular solutions converge to a time periodic flow. Unexpectedly, effects of stabilization can be also obtained for systems with stationary forces with large total momentum (average of the v… ▽ More The paper studies the issue of stability of solutions to the Navier-Stokes and damped Euler systems in periodic boxes. We show that under action of fast oscillating-in- time external forces all two dimensional regular solutions converge to a time periodic flow. Unexpectedly, effects of stabilization can be also obtained for systems with stationary forces with large total momentum (average of the velocity). Thanks to the Galilean transformation and space boundary conditions, the stationary force changes into one with time oscillations. In the three dimensional case we show an analogical result for weak solutions to the Navier- Stokes equations. △ Less

Submitted 18 January, 2016; originally announced January 2016.

Rigorous numerics for PDEs with indefinite tail: existence of a periodic solution of the Boussinesq equation with time-dependent forcing

Authors: Aleksander Czechowski, Piotr Zgliczyński

Abstract: We consider the Boussinesq PDE perturbed by a time-dependent forcing. Even though there is no smoothing effect for arbitrary smooth initial data, we are able to apply the method of self-consistent bounds to deduce the existence of smooth classical periodic solutions in the vicinity of 0. The proof is non-perturbative and relies on construction of periodic isolating segments in the Galerkin project… ▽ More We consider the Boussinesq PDE perturbed by a time-dependent forcing. Even though there is no smoothing effect for arbitrary smooth initial data, we are able to apply the method of self-consistent bounds to deduce the existence of smooth classical periodic solutions in the vicinity of 0. The proof is non-perturbative and relies on construction of periodic isolating segments in the Galerkin projections. △ Less

Submitted 30 June, 2015; v1 submitted 17 April, 2015; originally announced April 2015.

MSC Class: 35A16; 35B10; 65G30

Journal ref: Schedae Informaticae vol. 24 (2015), 143-158

Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation

Authors: Daniel Wilczak, Piotr Zgliczyński

Abstract: We propose a method for computation of stable and unstable sets associated to hyperbolic equilibria of nonautonomous ODEs and for computation of specific type of connecting orbits in nonautonomous singular ODEs. We apply the method to a certain a singular nonautonomous real Ginzburg-Landau type equation, which that arises from the problem of formation of spots in the Swift-Hohenberg equation. We propose a method for computation of stable and unstable sets associated to hyperbolic equilibria of nonautonomous ODEs and for computation of specific type of connecting orbits in nonautonomous singular ODEs. We apply the method to a certain a singular nonautonomous real Ginzburg-Landau type equation, which that arises from the problem of formation of spots in the Swift-Hohenberg equation. △ Less

Submitted 2 September, 2015; v1 submitted 6 April, 2015; originally announced April 2015.

Comments: 36 pages, 6 figures

Journal ref: SIAM J. Appl. Dyn. Syst., 15(1), 495-525 (2016)

Geometric proof for normally hyperbolic invariant manifolds

Authors: Maciej J. Capiński, Piotr Zgliczyński

Abstract: We present a new proof of the existence of normally hyperbolic manifolds and their whiskers for maps. Our result is not perturbative. Based on the bounds on the map and its derivative, we establish the existence of the manifold within a given neighbourhood. Our proof follows from a graph transform type method and is performed in the state space of the system. We do not require the map to be invert… ▽ More We present a new proof of the existence of normally hyperbolic manifolds and their whiskers for maps. Our result is not perturbative. Based on the bounds on the map and its derivative, we establish the existence of the manifold within a given neighbourhood. Our proof follows from a graph transform type method and is performed in the state space of the system. We do not require the map to be invertible. From our method follows also the smoothness of the established manifolds, which depends on the smoothness of the map, as well as rate conditions, which follow from bounds on the derivative of the map. Our method is tailor made for rigorous, interval arithmetic based, computer assisted validation of the needed assumptions. △ Less

Submitted 11 March, 2015; originally announced March 2015.

Comments: 64 pages, 4 figures

MSC Class: 34C45; 34D35; 37D10

Existence of periodic solutions of the FitzHugh-Nagumo equations for an explicit range of the small parameter

Authors: Aleksander Czechowski, Piotr Zgliczyński

Abstract: The FitzHugh-Nagumo model describing propagation of nerve impulses in axon is given by fast-slow reaction-diffusion equations, with dependence on a parameter $ε$ representing the ratio of time scales. It is well known that for all sufficiently small $ε>0$ the system possesses a periodic traveling wave. With aid of computer-assisted rigorous computations, we prove the existence of this periodic orb… ▽ More The FitzHugh-Nagumo model describing propagation of nerve impulses in axon is given by fast-slow reaction-diffusion equations, with dependence on a parameter $ε$ representing the ratio of time scales. It is well known that for all sufficiently small $ε>0$ the system possesses a periodic traveling wave. With aid of computer-assisted rigorous computations, we prove the existence of this periodic orbit in the traveling wave equation for an explicit range $ε\in (0, 0.0015]$. Our approach is based on a novel method of combination of topological techniques of covering relations and isolating segments, for which we provide a self-contained theory. We show that the range of existence is wide enough, so the upper bound can be reached by standard validated continuation procedures. In particular, for the range $ε\in [1.5 \times 10^{-4}, 0.0015]$ we perform a rigorous continuation based on covering relations and not specifically tailored to the fast-slow setting. Moreover, we confirm that for $ε=0.0015$ the classical interval Newton-Moore method applied to a sequence of Poincaré maps already succeeds. Techniques described in this paper can be adapted to other fast-slow systems of similar structure. △ Less

Submitted 9 September, 2016; v1 submitted 9 February, 2015; originally announced February 2015.

MSC Class: 34C25; 34E13; 65G20

Journal ref: SIAM Journal on Applied Dynamical Systems 2016 15:3, 1615-1655

On rigorous estimates of eigenspaces and eigenvalues of a matrix

Authors: Łukasz Struski, Jacek Tabor, Piotr Zgliczyński

Abstract: We present a method of cones for rigorous estimations of eigenvectors, eigenspaces and eigenvalues of a matrix. The key notion is the cone-domination and is inspired by ideas from hyperbolic dynamical systems. We present theorems which allow to rigorously locate the spectrum of the matrix and the eigenspaces, also multidimensional ones in case of eigenvalues of multiplicity greater than one or clu… ▽ More We present a method of cones for rigorous estimations of eigenvectors, eigenspaces and eigenvalues of a matrix. The key notion is the cone-domination and is inspired by ideas from hyperbolic dynamical systems. We present theorems which allow to rigorously locate the spectrum of the matrix and the eigenspaces, also multidimensional ones in case of eigenvalues of multiplicity greater than one or clusters of close eigenvalues. In case of isolated eigenvalue we show that the our method give the same or better estimates than ones known in literature. △ Less

Submitted 19 May, 2015; v1 submitted 21 October, 2014; originally announced October 2014.

MSC Class: 65F15; 37D30

New lower bound estimates for quadratures of bounded analytic functions

Authors: Małgorzata Moczurad, Piotr Zgliczyński, Włodzimierz Zwonek

Abstract: We give an improved lower bound for the error of any quadrature computing $\int_{-1}^1 f(x) dα(x)$ of analytic functions bounded in the neighborhood of $[-1,1]$. We give an improved lower bound for the error of any quadrature computing $\int_{-1}^1 f(x) dα(x)$ of analytic functions bounded in the neighborhood of $[-1,1]$. △ Less

Submitted 13 March, 2015; v1 submitted 26 August, 2014; originally announced August 2014.

MSC Class: 41A55; 65D32; 30C70

Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations

Authors: Jacek Cyranka, Piotr Zgliczyński

Abstract: We describe a topological method to study the dynamics of dissipative PDEs on a torus with rapidly oscillating forcing terms. We show that a dissipative PDE, which is invariant with respect to Galilean transformations, with a large average initial velocity can be reduced to a problem with rapidly oscillating forcing terms. We apply the technique to the Burgers equation, and the incompressible 2D N… ▽ More We describe a topological method to study the dynamics of dissipative PDEs on a torus with rapidly oscillating forcing terms. We show that a dissipative PDE, which is invariant with respect to Galilean transformations, with a large average initial velocity can be reduced to a problem with rapidly oscillating forcing terms. We apply the technique to the Burgers equation, and the incompressible 2D Navier-Stokes equations with a time-dependent forcing. We prove that for a large initial average speed the equation admits a bounded eternal solution, which attracts all other solutions forward in time. For the incompressible 3D Navier-Stokes equations we establish existence of a locally attracting solution. △ Less

Submitted 18 October, 2015; v1 submitted 7 July, 2014; originally announced July 2014.

MSC Class: 35B40; 35Q30; 35B41

Geometric proof of the Grobman-Hartman Theorem

Authors: Piotr Zgliczyński

Abstract: We give geometric proofs for Grobman-Hartman theorem for diffeomorphisms and ODEs. Proofs use covering relations and cone conditions for maps and isolating segments and cone condition for ODEs. We prove also the Hölder condition for the conjugating homeomorphims. We give geometric proofs for Grobman-Hartman theorem for diffeomorphisms and ODEs. Proofs use covering relations and cone conditions for maps and isolating segments and cone condition for ODEs. We prove also the Hölder condition for the conjugating homeomorphims. △ Less

Submitted 1 February, 2017; v1 submitted 26 May, 2014; originally announced May 2014.

MSC Class: 37C15; 37D05

Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing - a computer assisted proof

Authors: Jacek Cyranka, Piotr Zgliczyński

Abstract: We prove the existence of globally attracting solutions of the viscous Burgers equation with periodic boundary conditions on the line for some particular choices of viscosity and non-autonomous forcing. The attract- ing solution is periodic if the forcing is periodic. The method is general and can be applied to other similar partial differential equations. The proof is computer assisted. We prove the existence of globally attracting solutions of the viscous Burgers equation with periodic boundary conditions on the line for some particular choices of viscosity and non-autonomous forcing. The attract- ing solution is periodic if the forcing is periodic. The method is general and can be applied to other similar partial differential equations. The proof is computer assisted. △ Less

Submitted 20 October, 2014; v1 submitted 27 March, 2014; originally announced March 2014.

Comments: 38 pages, 1 figure

MSC Class: 65M99; 35B40; 35B41; 37B55; 65G40

Cone Conditions and Covering Relations for Topologically Normally Hyperbolic Invariant Manifolds

Authors: Maciej J Capinski, Piotr Zgliczynski

Abstract: We present a topological proof of the existence of invariant manifolds for maps with normally hyperbolic-like properties. The proof is conducted in the phase space of the system. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold. We provide conditions which imply the existence of the manifold within an investigated re… ▽ More We present a topological proof of the existence of invariant manifolds for maps with normally hyperbolic-like properties. The proof is conducted in the phase space of the system. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold. We provide conditions which imply the existence of the manifold within an investigated region of the phase space. The required assumptions are formulated in a way which allows for rigorous computer assisted verification. We apply our method to obtain an invariant manifold within an explicit range of parameters for the rotating Hénon map. △ Less

Submitted 10 March, 2011; originally announced March 2011.

Transition Tori in the Planar Restricted Elliptic Three Body Problem

Authors: Maciej J. Capinski, Piotr Zgliczynski

Abstract: We consider the elliptic three body problem as a perturbation of the circular problem. We show that for sufficiently small eccentricities of the elliptic problem, and for energies sufficiently close to the energy of the libration point L2, a Cantor set of Lyapounov orbits survives the perturbation. The orbits are perturbed to quasi-periodic invariant tori. We show that for a certain family of mass… ▽ More We consider the elliptic three body problem as a perturbation of the circular problem. We show that for sufficiently small eccentricities of the elliptic problem, and for energies sufficiently close to the energy of the libration point L2, a Cantor set of Lyapounov orbits survives the perturbation. The orbits are perturbed to quasi-periodic invariant tori. We show that for a certain family of masses of the primaries, for such tori we have transversal intersections of stable and unstable manifolds, which lead to chaotic dynamics involving diffusion over a short range of energy levels. Some parts of our argument are nonrigorous, but are strongly backed by numerical computations. △ Less

Submitted 10 March, 2011; v1 submitted 26 June, 2009; originally announced June 2009.

Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum

Authors: Daniel Wilczak, Piotr Zgliczynski

Abstract: We present a topological method for the efficient computer assisted verification of the existence of the homoclinic tangency which unfolds generically in a one-parameter family of planar maps. The method has been applied to the Henon map and the forced damped pendulum ODE. We present a topological method for the efficient computer assisted verification of the existence of the homoclinic tangency which unfolds generically in a one-parameter family of planar maps. The method has been applied to the Henon map and the forced damped pendulum ODE. △ Less

Submitted 24 May, 2009; originally announced May 2009.

Comments: 34 pages, 3 figures

MSC Class: 37N30; 37M20; 34C37

Journal ref: SIAM J. Appl. Dyn. Syst., 8(4), 1632-1663 (2009)

Period doubling in the Rossler system - a computer assisted proof

Authors: Daniel Wilczak, Piotr Zgliczynski

Abstract: The goal of this paper is to show how to produce a piece of rigorous bifurcation diagram of periodic orbits for an ODE. We study the Rossler system, one of the textbook examples of ODEs generating nontrivial dynamics, for the parameter range containing two period doubling bifurcations. The goal of this paper is to show how to produce a piece of rigorous bifurcation diagram of periodic orbits for an ODE. We study the Rossler system, one of the textbook examples of ODEs generating nontrivial dynamics, for the parameter range containing two period doubling bifurcations. △ Less

Submitted 7 December, 2007; originally announced December 2007.

Comments: 39 pages, 3 figures

A Lohner-type algorithm for control systems and ordinary differential inclusions

Authors: Tomasz Kapela, Piotr Zgliczyński

Abstract: We describe a Lohner-type algorithm for the computation of rigorous upper bounds for reachable set for control systems, solutions of ordinary differential inclusions and perturbations of ODEs. We describe a Lohner-type algorithm for the computation of rigorous upper bounds for reachable set for control systems, solutions of ordinary differential inclusions and perturbations of ODEs. △ Less

Submitted 6 December, 2007; originally announced December 2007.

$C^r$-Lohner algorithm

Authors: D. Wilczak, P. Zgliczyński

Abstract: We present a Lohner type algorithm for the computation of rigorous bounds for solutions of ordinary differential equations and its derivatives with respect to initial conditions up to arbitrary order. As an application we prove the existence of multiple invariant tori around some elliptic periodic orbits for the pendulum equation with periodic forcing and for Michelson system. We present a Lohner type algorithm for the computation of rigorous bounds for solutions of ordinary differential equations and its derivatives with respect to initial conditions up to arbitrary order. As an application we prove the existence of multiple invariant tori around some elliptic periodic orbits for the pendulum equation with periodic forcing and for Michelson system. △ Less

Submitted 5 April, 2007; originally announced April 2007.

Comments: for associated movie file, see http://www.ii.uj.edu.pl/~wilczak/papers/cnlohner/mpp.mov, 35 pages, 1 Figure

Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - Part II

Authors: D. Wilczak, P. Zgliczynski

Abstract: We present a method for proving the existence of symmetric periodic, heteroclinic or homoclinic orbits in dynamical systems with the reversing symmetry. As an application we show that the Planar Restricted Circular Three Body Problem (PCR3BP) corresponding to the Sun-Jupiter-Oterma system possesses an infinite number of symmetric periodic orbits and homoclinic orbits to the Lyapunov orbits. More… ▽ More We present a method for proving the existence of symmetric periodic, heteroclinic or homoclinic orbits in dynamical systems with the reversing symmetry. As an application we show that the Planar Restricted Circular Three Body Problem (PCR3BP) corresponding to the Sun-Jupiter-Oterma system possesses an infinite number of symmetric periodic orbits and homoclinic orbits to the Lyapunov orbits. Moreover, we show the existence of symbolic dynamics on six symbols for PCR3BP and the possibility of resonance transitions of the comet. This extends earlier results by Wilczak and Zgliczynski - Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - A Computer Assisted Proof, Commun. Math. Phys. 234, 37-75 (2003). △ Less

Submitted 14 January, 2004; originally announced January 2004.

Comments: 18 pages, 5 figures

MSC Class: 37C29; 37C80; 37C27

Topological method for symmetric periodic orbits for maps with a reversing symmetry

Authors: D. Wilczak, P. Zgliczynski

Abstract: We present a topological method of obtaining the existence of infinite number of symmetric periodic orbits for systems with reversing symmetry. The method is based on covering relations. We apply the method to a four-dimensional reversible map. We present a topological method of obtaining the existence of infinite number of symmetric periodic orbits for systems with reversing symmetry. The method is based on covering relations. We apply the method to a four-dimensional reversible map. △ Less

Submitted 14 January, 2004; originally announced January 2004.

Comments: 26 pages, 4 figures

MSC Class: 37C25; 37C80; 65G20

Covering Relations and Non-autonomous Perturbations of ODEs

Authors: Maciej Capinski, Piotr Zgliczynski

Abstract: Covering relations are a topological tool for detecting periodic orbits, symbolic dynamics and chaotic behavior for autonomous ODE. We extend the method of the covering relations onto systems with a time dependent perturbation. As an example we apply the method to non-autonomous perturbations of the Rössler equations to show that for small perturbation they posses symbolic dynamics. Covering relations are a topological tool for detecting periodic orbits, symbolic dynamics and chaotic behavior for autonomous ODE. We extend the method of the covering relations onto systems with a time dependent perturbation. As an example we apply the method to non-autonomous perturbations of the Rössler equations to show that for small perturbation they posses symbolic dynamics. △ Less

Submitted 2 September, 2003; originally announced September 2003.

Comments: 16 pages

MSC Class: 34D10

An existence of simple choreographies for N-body problem - a computer assisted proof

Authors: Tomasz Kapela, Piotr Zgliczynski

Abstract: We consider a question of finding a periodic solution for the planar Newtonian N-body problem with equal masses, where each body is travelling along the same closed path. We provide a computer assisted proof for the following facts: local uniqueness and convexity of Chenciner and Montgomery Eight, an existence (and local uniqueness) for Gerver's SuperEight for 4-bodies and a doubly symmetric lin… ▽ More We consider a question of finding a periodic solution for the planar Newtonian N-body problem with equal masses, where each body is travelling along the same closed path. We provide a computer assisted proof for the following facts: local uniqueness and convexity of Chenciner and Montgomery Eight, an existence (and local uniqueness) for Gerver's SuperEight for 4-bodies and a doubly symmetric linear chain for 6-bodies. △ Less

Submitted 25 April, 2003; originally announced April 2003.

Comments: 19 pages, 9 figures

MSC Class: 70F10; 37C80; 65G20

Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - A Computer Assisted Proof

Authors: D. Wilczak, P. Zgliczynski

Abstract: The restricted circular three-body problem is considered for the following parameter values $C=3.03$, $μ=0.0009537$ - the values for {\em Oterma} comet in the Sun-Jupiter system. We present a computer assisted proof of an existence of homo- and heteroclinic cycle between two Lyapunov orbits and an existence of symbolic dynamics on four symbols built on this cycle. The restricted circular three-body problem is considered for the following parameter values $C=3.03$, $μ=0.0009537$ - the values for {\em Oterma} comet in the Sun-Jupiter system. We present a computer assisted proof of an existence of homo- and heteroclinic cycle between two Lyapunov orbits and an existence of symbolic dynamics on four symbols built on this cycle. △ Less

Submitted 17 April, 2002; v1 submitted 29 January, 2002; originally announced January 2002.

Comments: 40 pages, 11 figures

Report number: WSB-MATH-02-01 MSC Class: 65P20 (Primary); 65P10 (Secondary)