-
Diffusive relaxation to equilibria for an extended reaction-diffusion system on the real line
Authors:
Thierry Gallay,
Sinisa Slijepcevic
Abstract:
We study the long-time behavior of the solutions of a two-component reaction-diffusion system on the real line, which describes the basic chemical reaction $A <=> 2 B$. Assuming that the initial densities of the species $A, B$ are bounded and nonnegative, we prove that the solution converges uniformly on compact sets to the manifold $E$ of all spatially homogeneous chemical equilibria. The result…
▽ More
We study the long-time behavior of the solutions of a two-component reaction-diffusion system on the real line, which describes the basic chemical reaction $A <=> 2 B$. Assuming that the initial densities of the species $A, B$ are bounded and nonnegative, we prove that the solution converges uniformly on compact sets to the manifold $E$ of all spatially homogeneous chemical equilibria. The result holds even if the species diffuse at very different rates, but the proof is substantially simpler for equal diffusivities. In the spirit of our previous work on extended dissipative systems [18], our approach relies on localized energy estimates, and provides an explicit bound for the time needed to reach a neighborhood of the manifold $E$ starting from arbitrary initial data. The solutions we consider typically do not converge to a single equilibrium as $t \to +\infty$, but they are always quasiconvergent in the sense that their omega-limit sets consist of chemical equilibria.
△ Less
Submitted 29 June, 2021;
originally announced June 2021.
-
A new measure of instability and topological entropy of area-preserving twist diffeomorphisms
Authors:
Sinisa Slijepcevic
Abstract:
We introduce a new measure of instability of area-preserving twist diffeomorphisms, which generalizes the notions of angle of splitting of separatrices, and flux through a gap of a Cantori. As an example of application, we establish a sharp >0 lower bound on the topological entropy in a neighbourhood of a hyperbolic, unique action-minimizing fixed point, assuming only no topological obstruction to…
▽ More
We introduce a new measure of instability of area-preserving twist diffeomorphisms, which generalizes the notions of angle of splitting of separatrices, and flux through a gap of a Cantori. As an example of application, we establish a sharp >0 lower bound on the topological entropy in a neighbourhood of a hyperbolic, unique action-minimizing fixed point, assuming only no topological obstruction to diffusion, i.e. no homotopically non-trivial invariant circle consisting of orbits with the rotation number 0. The proof is based on a new method of precise construction of positive entropy invariant measures, applicable to more general Lagrangian systems, also in higher degrees of freedom.
△ Less
Submitted 6 March, 2017;
originally announced March 2017.
-
Ergodic attractors and almost-everywhere asymptotics of scalar semilinear parabolic differential equations
Authors:
Sinisa Slijepcevic
Abstract:
We consider dynamics of scalar semilinear parabolic equations on bounded intervals with periodic boundary conditions, and on the entire real line, with a general nonlinearity $g(t,x,u,u_x)$ either not depending on $t$, or periodic in $t$. While the topological and geometric structure of their attractors has been investigated in depth, we focus here on ergodic-theoretical properties. The main resul…
▽ More
We consider dynamics of scalar semilinear parabolic equations on bounded intervals with periodic boundary conditions, and on the entire real line, with a general nonlinearity $g(t,x,u,u_x)$ either not depending on $t$, or periodic in $t$. While the topological and geometric structure of their attractors has been investigated in depth, we focus here on ergodic-theoretical properties. The main result is that the union of supports of all the invariant measures projects one-to-one to $\mathbb{R}^2$. We rely on a novel application of the zero-number techniques with respect to evolution of measures on the phase space, and on properties of the flux of zeroes, and the dissipation of zeroes. As an example of an application, we prove uniqueness of an invariant measure for a large family of considered equations which conserve a certain quantity ("mass"), thus generalizing the results by Sinai for the scalar viscous Burgers equation.
△ Less
Submitted 5 April, 2018; v1 submitted 19 August, 2016;
originally announced August 2016.
-
Variational construction of positive entropy invariant measures of Lagrangian systems and Arnold diffusion
Authors:
Sinisa Slijepcevic
Abstract:
We develop a variational method for constructing positive entropy invariant measures of Lagrangian systems without assuming transversal intersections of stable and unstable manifolds, and without restrictions to the size of non-integrable perturbations. We apply it to a family of two and a half degrees of freedom a-priori unstable Lagrangians, and show that if we assume that there is no topologica…
▽ More
We develop a variational method for constructing positive entropy invariant measures of Lagrangian systems without assuming transversal intersections of stable and unstable manifolds, and without restrictions to the size of non-integrable perturbations. We apply it to a family of two and a half degrees of freedom a-priori unstable Lagrangians, and show that if we assume that there is no topological obstruction to diffusion (precisely formulated in terms of topological non-degeneracy of minima of the Peierl's barrier function), then there exists a vast family of "horsheshoes", such as "shadowing" ergodic positive entropy measures having precisely any closed set of invariant tori in its support. Furthermore, we give bounds on the topological entropy and the "drift acceleration" in any part of a region of instability in terms of a certain extremal value of the Fréchet derivative of the action functional, generalizing the angle of splitting of separatrices. The method of construction is new, and relies on study of formally gradient dynamics of the action (coupled parabolic semilinear partial differential equations on unbounded domains). We apply recently developed techniques of precise control of the local evolution of energy (in this case the Lagrangian action), energy dissipation and flux. In Part II of the paper we will apply the theory to obtain sharp bounds for topological entropy and drift acceleration for the same class of equations in the case of small perturbations.
△ Less
Submitted 21 June, 2016; v1 submitted 7 June, 2016;
originally announced June 2016.
-
The transport speed and optimal work in pulsating Frenkel-Kontorova models
Authors:
Braslav Rabar,
Siniša Slijepčević
Abstract:
We consider a generalized one-dimensional chain in a periodic potential (the Frenkel-Kontorova model), with dissipative, pulsating (or ratchet) dynamics as a model of transport when the average force on the system is zero. We find lower bounds on the transport speed under mild assumptions on the asymmetry and steepness of the site potential. Physically relevant applications include explicit estima…
▽ More
We consider a generalized one-dimensional chain in a periodic potential (the Frenkel-Kontorova model), with dissipative, pulsating (or ratchet) dynamics as a model of transport when the average force on the system is zero. We find lower bounds on the transport speed under mild assumptions on the asymmetry and steepness of the site potential. Physically relevant applications include explicit estimates of the pulse frequencies and mean spacings for which the transport is non-zero, and more specifically the pulse frequencies which maximize work. The bounds explicitly depend on the pulse period and subtle number-theoretical properties of the mean spacing. The main tool is the study of time evolution of spatially invariant measures in the space of measures equipped with the $L^1$-Wasserstein metric.
△ Less
Submitted 28 May, 2019; v1 submitted 14 December, 2015;
originally announced December 2015.
-
Stability of synchronization in dissipatively driven Frenkel-Kontorova models
Authors:
Sinisa Slijepcevic
Abstract:
We rigorously show that dissipatively driven Frenkel-Kontorova models with either uniform or time-periodic driving asymptotically synchronize for a wide range of initial conditions. The main tool is a new Lyapunov function, as well as a 2D representation of the attractor. We then characterize dynamical phase transitions and outline new algorithms for determining them.
We rigorously show that dissipatively driven Frenkel-Kontorova models with either uniform or time-periodic driving asymptotically synchronize for a wide range of initial conditions. The main tool is a new Lyapunov function, as well as a 2D representation of the attractor. We then characterize dynamical phase transitions and outline new algorithms for determining them.
△ Less
Submitted 2 November, 2014;
originally announced November 2014.
-
Uniform boundedness and long-time asymptotics for the two-dimensional Navier-Stokes equations in an infinite cylinder
Authors:
Thierry Gallay,
Sinisa Slijepcevic
Abstract:
We study the incompressible Navier-Stokes equations in the two-dimensional strip $\mathbb{R} \times [0,L]$, with periodic boundary conditions and no exterior forcing. If the initial velocity is bounded, we prove that the solution remains uniformly bounded for all times, and that the vorticity distribution converges to zero as $t \to \infty$. We deduce that, after a transient period, a laminar regi…
▽ More
We study the incompressible Navier-Stokes equations in the two-dimensional strip $\mathbb{R} \times [0,L]$, with periodic boundary conditions and no exterior forcing. If the initial velocity is bounded, we prove that the solution remains uniformly bounded for all times, and that the vorticity distribution converges to zero as $t \to \infty$. We deduce that, after a transient period, a laminar regime emerges in which the solution rapidly converges to a shear flow governed by the one-dimensional heat equation. Our approach is constructive and gives explicit estimates on the size of the solution and the lifetime of the turbulent period in terms of the initial Reynolds number.
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
-
Energy bounds for the two-dimensional Navier-Stokes equations in an infinite cylinder
Authors:
Thierry Gallay,
Sinisa Slijepcevic
Abstract:
We consider the incompressible Navier-Stokes equations in the cylinder $\R \times \T$, with no exterior forcing, and we investigate the long-time behavior of solutions arising from merely bounded initial data. Although we do not know if such solutions stay uniformly bounded for all times, we prove that they converge in an appropriate sense to the family of spatially homogeneous equilibria as…
▽ More
We consider the incompressible Navier-Stokes equations in the cylinder $\R \times \T$, with no exterior forcing, and we investigate the long-time behavior of solutions arising from merely bounded initial data. Although we do not know if such solutions stay uniformly bounded for all times, we prove that they converge in an appropriate sense to the family of spatially homogeneous equilibria as $t \to \infty$. Convergence is uniform on compact subdomains, and holds for all times except on a sparse subset of the positive real axis. We also improve the known upper bound on the $L^\infty$ norm of the solutions, although our results in this direction are not optimal. Our approach is based on a detailed study of the local energy dissipation in the system, in the spirit of a recent work devoted to a class of dissipative partial differential equations with a formal gradient structure (arXiv:1212.1573).
△ Less
Submitted 7 August, 2013;
originally announced August 2013.
-
The Aubry-Mather theorem for driven generalized elastic chains
Authors:
Siniša Slijepčević
Abstract:
We consider uniformly (DC) or periodically (AC) driven generalized infinite elastic chains (a generalized Frenkel-Kontorova model) with gradient dynamics. We first show that the union of supports of all the invariant measures, denoted by A, projects injectively to a dynamical system on a 2-dimensional cylinder. We also prove existence of ergodic invariant measures supported on a set of rotationaly…
▽ More
We consider uniformly (DC) or periodically (AC) driven generalized infinite elastic chains (a generalized Frenkel-Kontorova model) with gradient dynamics. We first show that the union of supports of all the invariant measures, denoted by A, projects injectively to a dynamical system on a 2-dimensional cylinder. We also prove existence of ergodic invariant measures supported on a set of rotationaly ordered configurations with an arbitrary (rational or irrational) rotation number. This shows that the Aubry-Mather structure of ground states persists if an arbitrary AC or DC force is applied. The set A attracts almost surely (in probability) configurations with bounded spacing. In the DC case, the set A consists entirely of equilibria and uniformly sliding solutions. The key tool is a new weak Lyapunov function on the space of translationally invariant probability measures on the state space, which counts intersections.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
Positive exponential sums and odd polynomials
Authors:
Marina Nincevic,
Sinisa Slijepcevic
Abstract:
Given an odd integer polynomial f(x) of a degree k >=3, we construct a non-negative valued, normed trigonometric polynomial with the spectrum in the set of integer values of f(x) not greater than n, and a small free coefficient a_{0}=O((\log n)^{-1/k}). This gives an alternative proof for the maximal possible cardinality of a set A, so that A-A does not contain an element of f(x). We also discuss…
▽ More
Given an odd integer polynomial f(x) of a degree k >=3, we construct a non-negative valued, normed trigonometric polynomial with the spectrum in the set of integer values of f(x) not greater than n, and a small free coefficient a_{0}=O((\log n)^{-1/k}). This gives an alternative proof for the maximal possible cardinality of a set A, so that A-A does not contain an element of f(x). We also discuss other interpretations and an ergodic characterization of that bound.
△ Less
Submitted 16 January, 2013;
originally announced January 2013.
-
The energy flow of dissipative systems on infinite lattices
Authors:
Sinisa Slijepcevic
Abstract:
We study the energy flow of dissipative dynamics on infinite lattices, allowing the total energy to be infinite and considering formally gradient dynamics. We show that in spatial dimensions 1,2, the flow is for almost all times arbitrarily close to the set of equilibria, and in dimensions 3 or more, the size of the set with non-equilibrium dynamics for a positive density of times is two dimension…
▽ More
We study the energy flow of dissipative dynamics on infinite lattices, allowing the total energy to be infinite and considering formally gradient dynamics. We show that in spatial dimensions 1,2, the flow is for almost all times arbitrarily close to the set of equilibria, and in dimensions 3 or more, the size of the set with non-equilibrium dynamics for a positive density of times is two dimensions less than the space dimension. The theory applies to first and second order dynamics of elastic chains in a periodic or polynomial potential, chains with interactions beyond the nearest neighbour, deterministic dynamics of spin glasses, discrete complex Ginzburg-Landau equation, and others. We in particular apply the theory to show existence of coarsening dynamics for a class of generalized Frenkel-Kontorova models in bistable potential.
△ Less
Submitted 15 January, 2013;
originally announced January 2013.
-
Distribution of Energy and Convergence to Equilibria in Extended Dissipative Systems
Authors:
Thierry Gallay,
Sinisa Slijepcevic
Abstract:
We are interested in understanding the dynamics of dissipative partial differential equations on unbounded spatial domains. We consider systems for which the energy density $e \ge 0$ satisfies an evolution law of the form $\partial_t e = div_x f - d$, where $-f$ is the energy flux and $d \ge 0$ the energy dissipation rate. We also suppose that $|f|^2 \le b(e)d$ for some nonnegative function $b$. U…
▽ More
We are interested in understanding the dynamics of dissipative partial differential equations on unbounded spatial domains. We consider systems for which the energy density $e \ge 0$ satisfies an evolution law of the form $\partial_t e = div_x f - d$, where $-f$ is the energy flux and $d \ge 0$ the energy dissipation rate. We also suppose that $|f|^2 \le b(e)d$ for some nonnegative function $b$. Under these assumptions we establish simple and universal bounds on the time-integrated energy flux, which in turn allow us to estimate the amount of energy that is dissipated in a given domain over a long interval of time. In low space dimensions $N \le 2$, we deduce that any relatively compact trajectory converges on average to the set of equilibria, in a sense that we quantify precisely. As an application, we consider the incompressible Navier-Stokes equation in the infinite cylinder $\R \times \T$, and for solutions that are merely bounded we prove that the vorticity converges uniformly to zero on large subdomains, if we disregard a small subset of the time interval.
△ Less
Submitted 7 December, 2012;
originally announced December 2012.
-
Characterization of hyperbolicity and generalized shadowing lemma
Authors:
Davor Dragicevic,
Sinisa Slijepcevic
Abstract:
J. Mather characterized uniform hyperbolicity of a discrete dynamical system as equivalent to invertibility of an operator on the set of all sequences bounded in norm in the tangent bundle of an orbit. We develop a similar characterization of nonuniform hyperbolicity and show that it is equivalent to invertibility of the same operator on a larger, Fréchet space. We apply it to obtain a condition f…
▽ More
J. Mather characterized uniform hyperbolicity of a discrete dynamical system as equivalent to invertibility of an operator on the set of all sequences bounded in norm in the tangent bundle of an orbit. We develop a similar characterization of nonuniform hyperbolicity and show that it is equivalent to invertibility of the same operator on a larger, Fréchet space. We apply it to obtain a condition for a diffeomorphism on the boundary of the set of Anosov diffeomorphisms to be nonuniformly hyperbolic. Finally we generalise the Shadowing lemma in the same context.
△ Less
Submitted 16 July, 2011;
originally announced July 2011.
-
On van der Corput property of shifted primes
Authors:
Sinisa Slijepcevic
Abstract:
We prove that the upper bound for the van der Corput property of the set of shifted primes is O((log n)^{-1+o(1)}), giving an answer to a problem considered by Ruzsa and Montgomery for the set of shifted primes p-1. We construct normed non-negative valued cosine polynomials with the spectrum in the set p-1, p<=n, and a small free coefficient a_0=O((log n)^{-1+o(1)}). This implies the same bound fo…
▽ More
We prove that the upper bound for the van der Corput property of the set of shifted primes is O((log n)^{-1+o(1)}), giving an answer to a problem considered by Ruzsa and Montgomery for the set of shifted primes p-1. We construct normed non-negative valued cosine polynomials with the spectrum in the set p-1, p<=n, and a small free coefficient a_0=O((log n)^{-1+o(1)}). This implies the same bound for the Poincaré property of the set p-1, and also bounds for several properties related to uniform distribution of related sets.
△ Less
Submitted 13 December, 2011; v1 submitted 19 March, 2010;
originally announced March 2010.
-
On van der Corput property of squares
Authors:
Sinisa Slijepcevic
Abstract:
We prove that the upper bound for the van der Corput property of the set of perfect squares is O((log n)^{-1/3}), giving an answer to a problem considered by Ruzsa and Montgomery. We do it by constructing non-negative valued, normed trigonometric polynomials with spectrum in the set of perfect squares not exceeding n, and a small free coefficient a_0=O((log n)^{-1/3}).
We prove that the upper bound for the van der Corput property of the set of perfect squares is O((log n)^{-1/3}), giving an answer to a problem considered by Ruzsa and Montgomery. We do it by constructing non-negative valued, normed trigonometric polynomials with spectrum in the set of perfect squares not exceeding n, and a small free coefficient a_0=O((log n)^{-1/3}).
△ Less
Submitted 19 March, 2010;
originally announced March 2010.
-
On complex positive definite functions on Z_n vanishing on squares
Authors:
Sinisa Slijepcevic
Abstract:
We generalize the Sarkozy-Furstenberg theorem on squares in difference sets of integers, and show that, given any positive definite function f:Z_N->C with density at least r(N), where r(N)=O((\log N)^{-c}), there is a perfect square s<=N/2 such that f(s) is non-zero. We do not rely on the usual analysis of the dichotomy of randomness and periodicity of a set and iterative application of the Hard…
▽ More
We generalize the Sarkozy-Furstenberg theorem on squares in difference sets of integers, and show that, given any positive definite function f:Z_N->C with density at least r(N), where r(N)=O((\log N)^{-c}), there is a perfect square s<=N/2 such that f(s) is non-zero. We do not rely on the usual analysis of the dichotomy of randomness and periodicity of a set and iterative application of the Hardy-Littlewood method. Instead, we find a bound for the van der Corput property of the set of squares.
△ Less
Submitted 15 July, 2011; v1 submitted 9 November, 2008;
originally announced November 2008.
-
Stability of invariant measures
Authors:
Sinisa Slijepcevic
Abstract:
We generalize various notions of stability of invariant sets of dynamical systems to invariant measures, by defining a topology on the set of measures. The defined topology is similar, but not topologically equivalent to weak* topology, and it also differs from topologies induced by the Riesz Representation Theorem. It turns out that the constructed topology is a solution of a limit case of a…
▽ More
We generalize various notions of stability of invariant sets of dynamical systems to invariant measures, by defining a topology on the set of measures. The defined topology is similar, but not topologically equivalent to weak* topology, and it also differs from topologies induced by the Riesz Representation Theorem. It turns out that the constructed topology is a solution of a limit case of a $p$-optimal transport problem, for $p=\infty$.
△ Less
Submitted 1 November, 2008;
originally announced November 2008.
