-
On the averaging theorems for stochastic perturbation of conservative linear systems
Authors:
Jing Guo,
Sergei Kuksin,
Zhenxin Liu
Abstract:
For stochastic perturbations of linear systems with non-zero pure imaginary spectrum we discuss the averaging theorems in terms of the slow-fast action-angle variables and in the sense of Krylov-Bogoliubov. Then we show that if the diffusion matrix of the perturbation is uniformly elliptic, then in all cases the averaged dynamics does not depend on a hamiltonian part of the perturbation.
For stochastic perturbations of linear systems with non-zero pure imaginary spectrum we discuss the averaging theorems in terms of the slow-fast action-angle variables and in the sense of Krylov-Bogoliubov. Then we show that if the diffusion matrix of the perturbation is uniformly elliptic, then in all cases the averaged dynamics does not depend on a hamiltonian part of the perturbation.
△ Less
Submitted 12 May, 2025; v1 submitted 6 April, 2025;
originally announced April 2025.
-
Mixing for dynamical systems driven by stationary noises
Authors:
Sergei Kuksin,
Armen Shirikyan
Abstract:
The paper deals with the problem of long-time asymptotic behaviour of solutions for classes of ODEs and PDEs, perturbed by stationary noises. The latter are not assumed to be $δ$-correlated in time, so that the evolution in question is not necessarily Markovian. We first prove an abstract result which imply the mixing for random dynamical systems satisfying appropriate dissipativity and controllab…
▽ More
The paper deals with the problem of long-time asymptotic behaviour of solutions for classes of ODEs and PDEs, perturbed by stationary noises. The latter are not assumed to be $δ$-correlated in time, so that the evolution in question is not necessarily Markovian. We first prove an abstract result which imply the mixing for random dynamical systems satisfying appropriate dissipativity and controllability conditions. It is applicable to a large class of evolution equations, and we illustrate it on the examples of a chain of anharmonic oscillators coupled to heat reservoirs, the 2d Navier-Stokes system, and a complex Ginzburg-Landau equation. Our results also apply to the general theory of random processes on the 1d lattice and allow one to get for them results related to Dobrushin's theorems on reconstructing processes via their conditional distributions. The proof is based on an iterative construction with quadratic convergence. It uses the method of Kantorovich functional, introduced in [KPS02, Kuk02, Kuk06] in the context of randomly forced PDEs, and some ideas suggested in [Shi15, KNS20] to prove mixing with the help of controllability properties of an associated system
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
Stochastic 1d Burgers equation as a model for hydrodynamical turbulence
Authors:
Sergei Kuksin
Abstract:
This work is a review with proofs of a group of results on the stochastic Burgers equation with small viscosity, obtained during the last two decades. These results jointly show that the equation makes a surprisingly good model of hydrodynamical turbulence. The model provides natural and rigorously justified analogies of a number of key predictions of the theory of turbulence, including the main a…
▽ More
This work is a review with proofs of a group of results on the stochastic Burgers equation with small viscosity, obtained during the last two decades. These results jointly show that the equation makes a surprisingly good model of hydrodynamical turbulence. The model provides natural and rigorously justified analogies of a number of key predictions of the theory of turbulence, including the main assertions of the Kolmogorov approach to turbulence, known as the K41 theory.
△ Less
Submitted 24 October, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
Averaging for stochastic perturbations of integrable systems
Authors:
Guan Huang,
Sergei Kuksin,
Andrey Piatnitski
Abstract:
We are concerned with averaging theorems for $ε$-small stochastic perturbations of integrable equations in $\mathbb{R}^d \times \mathbb{T}^n =\{(I,\varphi)\}$ $$ \dot I(t) =0,\quad \dot \varphi(t) = θ(I),
\qquad (1)$$ and in $\mathbb{R}^{2n} = \{v=(\mathbf{v}_1, \dots, \mathbf{v}_n), \; \mathbf{v}_j \in \mathbb{R}^2\}$,…
▽ More
We are concerned with averaging theorems for $ε$-small stochastic perturbations of integrable equations in $\mathbb{R}^d \times \mathbb{T}^n =\{(I,\varphi)\}$ $$ \dot I(t) =0,\quad \dot \varphi(t) = θ(I),
\qquad (1)$$ and in $\mathbb{R}^{2n} = \{v=(\mathbf{v}_1, \dots, \mathbf{v}_n), \; \mathbf{v}_j \in \mathbb{R}^2\}$, $$ \dot{\mathbf{v}}_k(t) =W_k(I) \mathbf{v}_k^\bot, \quad k=1, \dots, n,
\qquad (2) $$ where $I=(I_1, \dots, I_n)$ is the vector of actions, $I_j = \frac12 \| \mathbf{v}_j\|^2$. The vector-functions $θ$ and $W$ are locally Lipschitz and non-degenerate. Perturbations of these equations are assumed to be locally Lipschitz and such that some few first moments of the norms of their solutions are bounded uniformly in $ε$, for $0\le t\le ε^{-1} T$. For $I$-components of solutions for perturbations of (1) we establish their convergence in law to solutions of the corresponding averaged $I$-equations, when $0\le τ:= εt\le T$ and $ε\to0$. Then we show that if the system of averaged $I$-equations is mixing, then the convergence is uniform in the slow time $τ=εt\ge0$. Next using these results, for $ε$-perturbed equations of (2) we construct well posed {\it effective stochastic equations} for $v(τ)\in \mathbb{R}^{2n}$ (independent from $ε$) such that when $ε\to0$, actions of solutions of the perturbed equations of (2) with $t:= τ/ε$ converge in distribution to actions of solutions for the effective equations. Again, if the effective system is mixing, this convergence is uniform in the slow time $τ\ge0$. We provide easy sufficient conditions on the perturbed equations which ensure that our results apply to their solutions.
△ Less
Submitted 11 November, 2024; v1 submitted 13 July, 2023;
originally announced July 2023.
-
Weak and strong versions of the Kolmogorov 4/5-law for stochastic Burgers equation
Authors:
Peng Gao,
Sergei Kuksin
Abstract:
For solutions of the space-periodic stochastic 1d Burgers equation we establish two versions of the Kolmogorov 4/5-law which provides an asymptotic expansion for the third moment of increments of turbulent velocity fields. We also prove for this equation an analogy of the Landau objection to possible universality of Kolmogorov's theory of turbulence, and show that the third moment is the only one…
▽ More
For solutions of the space-periodic stochastic 1d Burgers equation we establish two versions of the Kolmogorov 4/5-law which provides an asymptotic expansion for the third moment of increments of turbulent velocity fields. We also prove for this equation an analogy of the Landau objection to possible universality of Kolmogorov's theory of turbulence, and show that the third moment is the only one which admits a universal asymptotic expansion.
△ Less
Submitted 6 August, 2023; v1 submitted 28 September, 2022;
originally announced September 2022.
-
Averaging and mixing for stochastic perturbations of linear conservative systems
Authors:
Guan Huang,
Sergei Kuksin
Abstract:
We study stochastic perturbations of linear systems of the form $$ dv(t)+Av(t)dt = εP(v(t))dt+\sqrtεB(v(t)) dW (t), v\in\mathbb{R}^{D}, (*) $$ where $A$ is a linear operator with non-zero imaginary spectrum. It is assumed that the vector field $P(v)$ and the matrix-function $B(v)$ are locally Lipschitz with at most a polynomial growth at infinity, that the equation is well posed and first few mome…
▽ More
We study stochastic perturbations of linear systems of the form $$ dv(t)+Av(t)dt = εP(v(t))dt+\sqrtεB(v(t)) dW (t), v\in\mathbb{R}^{D}, (*) $$ where $A$ is a linear operator with non-zero imaginary spectrum. It is assumed that the vector field $P(v)$ and the matrix-function $B(v)$ are locally Lipschitz with at most a polynomial growth at infinity, that the equation is well posed and first few moments of norms of solutions $v(t)$ are bounded uniformly in $ε$. We use the Khasminski approach to stochastic averaging to show that as $ε\to0$, a solution $v(t)$, written in the interaction representation in terms of operator $A$, for $0\le t \le Const\,ε^{-1}$ converges in distribution to a solution of an effective equation. The latter is obtained from (*) by means of certain averaging. Assuming that eq.(*) and/or the effective equation are mixing, we examine this convergence further.
△ Less
Submitted 6 August, 2023; v1 submitted 1 June, 2022;
originally announced June 2022.
-
On averaging and mixing for stochastic PDEs
Authors:
Guan Huang,
Sergei Kuksin
Abstract:
We examine the convergence in the Krylov--Bogolyubov averaging for nonlinear stochastic perturbations of linear PDEs with pure imaginary spectrum and show that if the involved effective equation is mixing, then the convergence is uniform in time.
We examine the convergence in the Krylov--Bogolyubov averaging for nonlinear stochastic perturbations of linear PDEs with pure imaginary spectrum and show that if the involved effective equation is mixing, then the convergence is uniform in time.
△ Less
Submitted 6 April, 2022; v1 submitted 29 March, 2022;
originally announced March 2022.
-
A refinement of Heath-Brown's theorem on quadratic forms
Authors:
Andrey Dymov,
Sergei Kuksin,
Alberto Maiocchi,
Sergei Vladuts
Abstract:
In his paper from 1996 on quadratic forms Heath-Brown developed a version of the circle method to count points in the intersection of an unbounded quadric with a lattice of short period, if each point is given a weight, and approximated this quantity by the integral of the weight function against a measure on the quadric. The weight function is assumed to be $C_0^\infty$-smooth and vanish near the…
▽ More
In his paper from 1996 on quadratic forms Heath-Brown developed a version of the circle method to count points in the intersection of an unbounded quadric with a lattice of short period, if each point is given a weight, and approximated this quantity by the integral of the weight function against a measure on the quadric. The weight function is assumed to be $C_0^\infty$-smooth and vanish near the singularity of the quadric. In our work we allow the weight function to be finitely smooth, not vanish at the singularity and have an explicit decay at infinity. The paper uses only elementary results from the number theory and is available to readers without a number-theoretical background.
△ Less
Submitted 6 April, 2023; v1 submitted 26 October, 2021;
originally announced October 2021.
-
Hölder estimates for solutions of parabolic SPDEs
Authors:
Sergey Kuksin,
Nikolai Nadirashvili,
Andrey Piatnitski
Abstract:
This paper considers second-order stochastic partial differential equations with additive noise given in a bounded domain of $\mathbb R^n$. We suppose that the coefficients of the noise are $L^p$-functions with sufficiently large $p$. We prove that the solutions are Hölder-continuous functions almost surely (a.s.) and that the respective Hölder norms have finite momenta of any order.
This paper considers second-order stochastic partial differential equations with additive noise given in a bounded domain of $\mathbb R^n$. We suppose that the coefficients of the noise are $L^p$-functions with sufficiently large $p$. We prove that the solutions are Hölder-continuous functions almost surely (a.s.) and that the respective Hölder norms have finite momenta of any order.
△ Less
Submitted 3 October, 2021;
originally announced October 2021.
-
The large-period limit for equations of discrete turbulence
Authors:
Andrey Dymov,
Sergei Kuksin,
Alberto Maiocchi,
Sergei Vladuts
Abstract:
We consider the damped/driven cubic NLS equation on the torus of a large period $L$ with a small nonlinearity of size $λ$, a properly scaled random forcing and dissipation. We examine its solutions under the subsequent limit when first $λ\to 0$ and then $L\to \infty$. The first limit, called the limit of discrete turbulence, is known to exist, and in this work we study the second limit…
▽ More
We consider the damped/driven cubic NLS equation on the torus of a large period $L$ with a small nonlinearity of size $λ$, a properly scaled random forcing and dissipation. We examine its solutions under the subsequent limit when first $λ\to 0$ and then $L\to \infty$. The first limit, called the limit of discrete turbulence, is known to exist, and in this work we study the second limit $L\to\infty$ for solutions to the equations of discrete turbulence. Namely, we decompose the solutions to formal series in amplitude and study the second order truncation of this series. We prove that the energy spectrum of the truncated solutions becomes close to solutions of a damped/driven nonlinear wave kinetic equation. Kinetic nonlinearity of the latter is similar to that which usually appears in works on wave turbulence, but is different from it (in particular, it is non-autonomous). Apart from tools from analysis and stochastic analysis, our work uses two powerful results from the number theory.
△ Less
Submitted 10 November, 2021; v1 submitted 24 April, 2021;
originally announced April 2021.
-
Some remarks on Heath-Brown's theorem on quadratic forms
Authors:
Andrey Dymov,
Sergei Kuksin,
Alberto Maiocchi,
Sergei Vladuts
Abstract:
In his paper from 1996 on quadratic forms Heath-Brown developed a version of circle method to count points in the intersection of an unbounded quadric with a lattice of short period, if each point is given a weight. The weight function is assumed to be $C_0^\infty$-smooth and to vanish near the singularity of the quadric. In out work we allow the weight function to be finitely smooth and not vanis…
▽ More
In his paper from 1996 on quadratic forms Heath-Brown developed a version of circle method to count points in the intersection of an unbounded quadric with a lattice of short period, if each point is given a weight. The weight function is assumed to be $C_0^\infty$-smooth and to vanish near the singularity of the quadric. In out work we allow the weight function to be finitely smooth and not vanish near the singularity, and we give also an explicit dependence on the weight function.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Kolmogorov's theory of turbulence and its rigorous 1d model
Authors:
Sergei Kuksin
Abstract:
This paper is a synopsis of the recent book A. Boritchev, S. Kuksin, \textit{One-Dimensional Turbulence and the Stochastic Burgers Equation}, AMS Publications, 2021 (to appear). The book is dedicated to the stochastic Burgers equation as a model for 1d turbulence, and the paper discusses its content in relation to the Kolmogorov theory of turbulence.
This paper is a synopsis of the recent book A. Boritchev, S. Kuksin, \textit{One-Dimensional Turbulence and the Stochastic Burgers Equation}, AMS Publications, 2021 (to appear). The book is dedicated to the stochastic Burgers equation as a model for 1d turbulence, and the paper discusses its content in relation to the Kolmogorov theory of turbulence.
△ Less
Submitted 21 February, 2021; v1 submitted 11 January, 2021;
originally announced January 2021.
-
On The Energy Transfer To High Frequencies In The Damped/Driven Nonlinear Schrödinger Equation (Extended Version)
Authors:
Guan Huang,
Sergei Kuksin
Abstract:
We consider a damped/driven nonlinear Schrödinger equation in an $n$-cube $K^{n}\subset\mathbb{R}^n$, $n$ is arbitrary, under Dirichlet boundary conditions \[ u_t-νΔu+i|u|^2u=\sqrtνη(t,x),\quad x\in K^{n},\quad u|_{\partial K^{n}}=0, \quad ν>0, \] where $η(t,x)$ is a random force that is white in time and smooth in space. It is known that the Sobolev norms of solutions satisfy…
▽ More
We consider a damped/driven nonlinear Schrödinger equation in an $n$-cube $K^{n}\subset\mathbb{R}^n$, $n$ is arbitrary, under Dirichlet boundary conditions \[ u_t-νΔu+i|u|^2u=\sqrtνη(t,x),\quad x\in K^{n},\quad u|_{\partial K^{n}}=0, \quad ν>0, \] where $η(t,x)$ is a random force that is white in time and smooth in space. It is known that the Sobolev norms of solutions satisfy $ \| u(t)\|_m^2 \le Cν^{-m}, $ uniformly in $t\ge0$ and $ν>0$. In this work we prove that for small $ν>0$ and any initial data, with large probability the Sobolev norms $\|u(t,\cdot)\|_m$ of the solutions with $m>2$ become large at least to the order of $ν^{-κ_{n,m}}$ with $κ_{n,m}>0$, on time intervals of order $\mathcal{O}(\frac{1}ν)$.
△ Less
Submitted 30 June, 2020; v1 submitted 20 June, 2020;
originally announced June 2020.
-
Global, local and dense non-mixing of the 3D Euler equation
Authors:
Boris Khesin,
Sergei Kuksin,
Daniel Peralta-Salas
Abstract:
We prove a non-mixing property of the flow of the 3D Euler equation which has a local nature: in any neighbourhood of a "typical" steady solution there is a generic set of initial conditions, such that the corresponding Euler flows will never enter a vicinity of the original steady one. More precisely, we establish that there exist stationary solutions $u_0$ of the Euler equation on $\mathbb S^3$…
▽ More
We prove a non-mixing property of the flow of the 3D Euler equation which has a local nature: in any neighbourhood of a "typical" steady solution there is a generic set of initial conditions, such that the corresponding Euler flows will never enter a vicinity of the original steady one. More precisely, we establish that there exist stationary solutions $u_0$ of the Euler equation on $\mathbb S^3$ and divergence-free vector fields $v_0$ arbitrarily close to $u_0$, whose (non-steady) evolution by the Euler flow cannot converge in the $C^k$ Hölder norm ($k>10$ non-integer) to any stationary state in a small (but fixed a priori) $C^k$-neighbourhood of $u_0$. The set of such initial conditions $v_0$ is open and dense in the vicinity of $u_0$. A similar (but weaker) statement also holds for the Euler flow on $\mathbb T^3$. Two essential ingredients in the proof of this result are a geometric description of all steady states near certain nondegenerate stationary solutions, and a KAM-type argument to generate knotted invariant tori from elliptic orbits.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
On the Zakharov-L'vov stochastic model for wave turbulence
Authors:
Andrey Dymov,
Sergei Kuksin
Abstract:
In this note we present the main results of the papers \cite{DK, DK2}, dedicated to rigorous study of the limiting properties of the stochastic model for wave turbulence due to Zakharov-L'vov. Proofs of the assertions, stated below without reference, may be found in those works.
In this note we present the main results of the papers \cite{DK, DK2}, dedicated to rigorous study of the limiting properties of the stochastic model for wave turbulence due to Zakharov-L'vov. Proofs of the assertions, stated below without reference, may be found in those works.
△ Less
Submitted 5 February, 2020; v1 submitted 11 July, 2019;
originally announced July 2019.
-
Formal expansions in stochastic model for wave turbulence 1: kinetic limit
Authors:
Andrey Dymov,
Sergei Kuksin
Abstract:
We consider the damped/driver (modified) cubic NLS equation on a large torus with a properly scaled forcing and dissipation, and decompose its solutions to formal series in the amplitude. We study the second order truncation of this series and prove that when the amplitude goes to zero and the torus' size goes to infinity the energy spectrum of the truncated solutions becomes close to a solution o…
▽ More
We consider the damped/driver (modified) cubic NLS equation on a large torus with a properly scaled forcing and dissipation, and decompose its solutions to formal series in the amplitude. We study the second order truncation of this series and prove that when the amplitude goes to zero and the torus' size goes to infinity the energy spectrum of the truncated solutions becomes close to a solution of the damped/driven wave kinetic equation. Next we discuss higher order truncations of the series.
△ Less
Submitted 24 December, 2020; v1 submitted 10 July, 2019;
originally announced July 2019.
-
Formal expansions in stochastic model for wave turbulence 2: method of diagram decomposition (complete version)
Authors:
Andrey Dymov,
Sergei Kuksin
Abstract:
In this paper we continue to study small amplitude solutions of the damped cubic NLS equation, driven by a random force (the study was initiated in our previous work [A.Dymov, S.Kuksin, Comm. Math. Phys.'2021] and continued in [A.Dymov, S.Kuksin, A.Maiocchi, S.Vladuts, arXiv:2104.11967]). We write solutions of the equation as formal series in the amplitude and discuss the behaviour of this series…
▽ More
In this paper we continue to study small amplitude solutions of the damped cubic NLS equation, driven by a random force (the study was initiated in our previous work [A.Dymov, S.Kuksin, Comm. Math. Phys.'2021] and continued in [A.Dymov, S.Kuksin, A.Maiocchi, S.Vladuts, arXiv:2104.11967]). We write solutions of the equation as formal series in the amplitude and discuss the behaviour of this series under the wave turbulence limit, when the amplitude goes to zero, while the space-period goes to infinity.
△ Less
Submitted 8 September, 2022; v1 submitted 4 July, 2019;
originally announced July 2019.
-
Krylov--Bogolyubov averaging
Authors:
Wenwen Jian,
Sergei Kuksin,
Yuan Wu
Abstract:
We present the modified approach to the classical Bogolyubov-Krylov averaging, developed recently for the purpose of PDEs. It allows to treat Lipschitz perturbations of linear systems with pure imaginary spectrum and may be generalized to treat PDEs with small nonlinearities.
We present the modified approach to the classical Bogolyubov-Krylov averaging, developed recently for the purpose of PDEs. It allows to treat Lipschitz perturbations of linear systems with pure imaginary spectrum and may be generalized to treat PDEs with small nonlinearities.
△ Less
Submitted 29 December, 2020; v1 submitted 25 April, 2019;
originally announced April 2019.
-
Mixing via controllability for randomly forced nonlinear dissipative PDEs
Authors:
Sergei Kuksin,
Vahagn Nersesyan,
Armen Shirikyan
Abstract:
We continue our study of the problem of mixing for a class of PDEs with very degenerate noise. As we established earlier, the uniqueness of stationary measure and its exponential stability in the dual-Lipschitz metric holds under the hypothesis that the unperturbed equation has exactly one globally stable equilibrium point. In this paper, we relax that condition, assuming only global controllabili…
▽ More
We continue our study of the problem of mixing for a class of PDEs with very degenerate noise. As we established earlier, the uniqueness of stationary measure and its exponential stability in the dual-Lipschitz metric holds under the hypothesis that the unperturbed equation has exactly one globally stable equilibrium point. In this paper, we relax that condition, assuming only global controllability to a given point. It is proved that the uniqueness of a stationary measure and convergence to it are still valid, whereas the rate of convergence is not necessarily exponential. The result is applicable to randomly forced parabolic-type PDEs, provided that the deterministic part of the external force is in general position, ensuring a regular structure for the attractor of the unperturbed problem. The proof uses a new idea that reduces the verification of a stability property to the investigation of a conditional random walk.
△ Less
Submitted 1 February, 2019;
originally announced February 2019.
-
Ergodicity, mixing and KAM
Authors:
Sergei Kuksin
Abstract:
In this note we review recent progress in the problem of mixing for a nonlinear PDE of parabolic type, perturbed by a bounded random force.
In this note we review recent progress in the problem of mixing for a nonlinear PDE of parabolic type, perturbed by a bounded random force.
△ Less
Submitted 2 February, 2019; v1 submitted 31 January, 2019;
originally announced January 2019.
-
Exponential mixing for dissipative PDEs with bounded non-degenerate noise
Authors:
Sergei Kuksin,
Huilin Zhang
Abstract:
We prove that well posed quasilinear equations of parabolic type, perturbed by bounded nondegenerate random forces, are exponentially mixing for a large class of random forces.
We prove that well posed quasilinear equations of parabolic type, perturbed by bounded nondegenerate random forces, are exponentially mixing for a large class of random forces.
△ Less
Submitted 25 September, 2019; v1 submitted 31 December, 2018;
originally announced December 2018.
-
Asymptotic properties of integrals of quotients, when the numerator oscillates and denominator degenerates
Authors:
Sergei Kuksin
Abstract:
We study asymptotical expansion as $ν\to0$ for integrals over ${ \mathbb{R} }^{2d}=\{(x,y)\}$ of quotients of the form $F(x,y) \cos(λx\cdot y) \big/ \big( (x\cdot y)^2+ν^2\big)$, where $λ\ge 0$ and $F$ decays at infinity sufficiently fast. Integrals of this kind appear in the theory of wave turbulence.
We study asymptotical expansion as $ν\to0$ for integrals over ${ \mathbb{R} }^{2d}=\{(x,y)\}$ of quotients of the form $F(x,y) \cos(λx\cdot y) \big/ \big( (x\cdot y)^2+ν^2\big)$, where $λ\ge 0$ and $F$ decays at infinity sufficiently fast. Integrals of this kind appear in the theory of wave turbulence.
△ Less
Submitted 18 March, 2018;
originally announced March 2018.
-
Exponential mixing for a class of dissipative PDEs with bounded degenerate noise
Authors:
Sergei Kuksin,
Vahagn Nersesyan,
Armen Shirikyan
Abstract:
We study a class of discrete-time random dynamical systems with compact phase space. Assuming that the deterministic counterpart of the system in question possesses a dissipation property, its linearisation is approximately controllable, and the driving noise is bounded and has a decomposable structure, we prove that the corresponding family of Markov processes has a unique stationary measure, whi…
▽ More
We study a class of discrete-time random dynamical systems with compact phase space. Assuming that the deterministic counterpart of the system in question possesses a dissipation property, its linearisation is approximately controllable, and the driving noise is bounded and has a decomposable structure, we prove that the corresponding family of Markov processes has a unique stationary measure, which is exponentially mixing in the dual-Lipschitz metric. The abstract result is applicable to nonlinear dissipative PDEs perturbed by a bounded random force which affects only a few Fourier modes. We assume that the nonlinear PDE in question is well posed, its nonlinearity is non-degenerate in the sense of the control theory, and the random force is a regular and bounded function of time which satisfies some decomposability and observability hypotheses. This class of forces includes random Haar series, where the coefficients for high Haar modes decay sufficiently fast. In particular, the result applies to the 2D Navier-Stokes system and the nonlinear complex Ginzburg-Landau equations. The proof of the abstract theorem uses the coupling method, enhanced by the Newton-Kantorovich-Kolmogorov fast convergence.
△ Less
Submitted 28 October, 2019; v1 submitted 9 February, 2018;
originally announced February 2018.
-
Rigorous results in space-periodic two-dimensional turbulence
Authors:
Sergei Kuksin,
Armen Shirikyan
Abstract:
We survey the recent advance in the rigorous qualitative theory of the 2d stochastic Navier-Stokes system that are relevant to the description of turbulence in two-dimensional fluids. After discussing briefly the initial-boundary value problem and the associated Markov process, we formulate results on the existence, uniqueness and mixing of a stationary measure. We next turn to various consequence…
▽ More
We survey the recent advance in the rigorous qualitative theory of the 2d stochastic Navier-Stokes system that are relevant to the description of turbulence in two-dimensional fluids. After discussing briefly the initial-boundary value problem and the associated Markov process, we formulate results on the existence, uniqueness and mixing of a stationary measure. We next turn to various consequences of these properties: strong law of large numbers, central limit theorem, and random attractors related to a unique stationary measure. We also discuss the Donsker-Varadhan and Freidlin-Wentzell type large deviations, as well as the inviscid limit and asymptotic results in 3d thin domains. We conclude with some open problems.
△ Less
Submitted 28 December, 2017;
originally announced December 2017.
-
Asymptotic expansions for some integrals of quotients with degenerated divisors
Authors:
Sergei Kuksin
Abstract:
We study asymptotic expansion as $ν\to0$ for integrals over ${ \mathbb{R} }^{2d}=\{(x,y)\}$ of quotients $F(x,y) \big/ \big( (x\cdot y)^2+(νΓ(x,y))^2\big)^{-1}$, where $Γ$ is strictly positive and $F$ decays at infinity sufficiently fast. Integrals of this kind appear in description of the four--waves interactions.
We study asymptotic expansion as $ν\to0$ for integrals over ${ \mathbb{R} }^{2d}=\{(x,y)\}$ of quotients $F(x,y) \big/ \big( (x\cdot y)^2+(νΓ(x,y))^2\big)^{-1}$, where $Γ$ is strictly positive and $F$ decays at infinity sufficiently fast. Integrals of this kind appear in description of the four--waves interactions.
△ Less
Submitted 5 September, 2017; v1 submitted 5 June, 2017;
originally announced June 2017.
-
A Kam Theorem for Space-Multidimensional Hamiltonian PDE
Authors:
L Hakan Eliasson,
Benoit Grebert,
Sergei Kuksin
Abstract:
We present an abstract KAM theorem, adapted to space-multidimensional hamiltonian PDEs with smoothing non-linearities. The main novelties of this theorem are that: $\bullet$ the integrable part of the hamiltonian may contain a hyperbolic part and as a consequence the constructed invariant tori may be unstable. $\bullet$ It applies to singular perturbation problem. In this paper we state the KAM-th…
▽ More
We present an abstract KAM theorem, adapted to space-multidimensional hamiltonian PDEs with smoothing non-linearities. The main novelties of this theorem are that: $\bullet$ the integrable part of the hamiltonian may contain a hyperbolic part and as a consequence the constructed invariant tori may be unstable. $\bullet$ It applies to singular perturbation problem. In this paper we state the KAM-theorem and comment on it, give the main ingredients of the proof, and present three applications of the theorem .
△ Less
Submitted 10 June, 2016; v1 submitted 18 May, 2016;
originally announced May 2016.
-
KAM for the nonlinear beam equation
Authors:
L. Hakan Eliasson,
Benoît Grébert,
Sergei B. Kuksin
Abstract:
In this paper we prove a KAM theorem for small-amplitude solutions of the non linear beam equation on the d-dimensional torus $$u_{tt}+Δ^2 u+m u + \partial_u G(x,u)=0\ ,\quad t\in { \mathbb{R}} , \; x\in \ { \mathbb{T}}^d, \qquad \qquad (*) $$ where $G(x,u)=u^4+ O(u^5)$. Namely, we show that, for generic $m$, many of the small amplitude invariant finite dimensional tori of the linear equation…
▽ More
In this paper we prove a KAM theorem for small-amplitude solutions of the non linear beam equation on the d-dimensional torus $$u_{tt}+Δ^2 u+m u + \partial_u G(x,u)=0\ ,\quad t\in { \mathbb{R}} , \; x\in \ { \mathbb{T}}^d, \qquad \qquad (*) $$ where $G(x,u)=u^4+ O(u^5)$. Namely, we show that, for generic $m$, many of the small amplitude invariant finite dimensional tori of the linear equation $(*)_{G=0}$, written as the system $$ u_t=-v,\quad v_t=Δ^2 u+mu, $$ persist as invariant tori of the nonlinear equation $(*)$, re-written similarly. The persisted tori are filled in with time-quasiperiodic solutions of $(*)$. If $d\ge2$, then not all the persisted tori are linearly stable, and we construct explicit examples of partially hyperbolic invariant tori. The unstable invariant tori, situated in the vicinity of the origin, create around them some local instabilities, in agreement with the popular belief in the nonlinear physics that small-amplitude solutions of space-multidimensional Hamiltonian PDEs behave in a chaotic way.
△ Less
Submitted 6 April, 2016;
originally announced April 2016.
-
Introduction à l'équation de Burgers stochastique et à la burgulence
Authors:
Takfarinas Kelaï,
Sergei Kuksin
Abstract:
This paper is an introduction to the theory of 1d stochastic Burgers equation under periodic boundary conditions and with a stochastic force, sufficiently smooth in the space variable. We prove the classical results on the existence and uniqueness of solutions, study their regularity and discuss their properties when the time goes to infinity or the viscosity goes to zero. The latter limit describ…
▽ More
This paper is an introduction to the theory of 1d stochastic Burgers equation under periodic boundary conditions and with a stochastic force, sufficiently smooth in the space variable. We prove the classical results on the existence and uniqueness of solutions, study their regularity and discuss their properties when the time goes to infinity or the viscosity goes to zero. The latter limit describes the turbulence in the Burgers equation, named by U. Frish "the burgulence". Our paper may be used as an elementary introduction to the modern methods of stochastic PDE.
△ Less
Submitted 29 April, 2015; v1 submitted 1 April, 2015;
originally announced April 2015.
-
KAM for the non-linear Beam equation 2: A normal form theorem
Authors:
L. Hakan Eliasson,
Benoît Grèbert,
Sergeï B. Kuksin
Abstract:
We prove an abstract KAM theorem adapted to space-multidimensional hamiltonian PDEs with regularizing nonlinearities. It applies in particular to the singular perturbation problem studied in the first part of this work.
We prove an abstract KAM theorem adapted to space-multidimensional hamiltonian PDEs with regularizing nonlinearities. It applies in particular to the singular perturbation problem studied in the first part of this work.
△ Less
Submitted 8 February, 2015;
originally announced February 2015.
-
The effective equation method
Authors:
Sergei Kuksin,
Alberto Maiocchi
Abstract:
In this chapter we present a general method of constructing the effective equation which describes the behaviour of small-amplitude solutions for a nonlinear PDE in finite volume, provided that the linear part of the equation is a hamiltonian system with a pure imaginary discrete spectrum. The effective equation is obtained by retaining only the resonant terms of the nonlinearity (which may be ham…
▽ More
In this chapter we present a general method of constructing the effective equation which describes the behaviour of small-amplitude solutions for a nonlinear PDE in finite volume, provided that the linear part of the equation is a hamiltonian system with a pure imaginary discrete spectrum. The effective equation is obtained by retaining only the resonant terms of the nonlinearity (which may be hamiltonian, or may be not); the assertion that it describes the limiting behaviour of small-amplitude solutions is a rigorous mathematical theorem. In particular, the method applies to the three-- and four--wave systems. We demonstrate that different possible types of energy transport are covered by this method, depending on whether the set of resonances splits into finite clusters (this happens, e.g. in case of the Charney-Hasegawa-Mima equation), or is connected (this happens, e.g. in the case of the NLS equation if the space-dimension is at least two). For equations of the first type the energy transition to high frequencies does not hold, while for equations of the second type it may take place. In the case of the NLS equation we use next some heuristic approximation from the arsenal of wave turbulence to show that under the iterated limit "the volume goes to infinity", taken after the limit "the amplitude of oscillations goes to zero", the energy spectrum of solutions for the effective equation is described by a Zakharov-type kinetic equation. Evoking the Zakharov ansatz we show that stationary in time and homogeneous in space solutions for the latter equation have a power law form. Our method applies to various weakly nonlinear wave systems, appearing in plasma, meteorology and oceanology.
△ Less
Submitted 17 January, 2015;
originally announced January 2015.
-
KAM for the nonlinear beam equation 1: small-amplitude solutions
Authors:
Hakan L. Eliasson,
Benoit Grebert,
Sergei B. Kuksin
Abstract:
In this paper we prove a KAM result for the non linear beam equation on the d-dimensional torus $$u_{tt}+Δ^2 u+m u + g(x,u)=0\ ,\quad t\in { \mathbb{R}} , \; x\in {\mathbb T}^d, \qquad \qquad (*) $$ where $g(x,u)=4u^3+ O(u^4)$. Namely, we show that, for generic $m$, most of the small amplitude invariant finite dimensional tori of the linear equation $(*)_{g=0}$, written as the system…
▽ More
In this paper we prove a KAM result for the non linear beam equation on the d-dimensional torus $$u_{tt}+Δ^2 u+m u + g(x,u)=0\ ,\quad t\in { \mathbb{R}} , \; x\in {\mathbb T}^d, \qquad \qquad (*) $$ where $g(x,u)=4u^3+ O(u^4)$. Namely, we show that, for generic $m$, most of the small amplitude invariant finite dimensional tori of the linear equation $(*)_{g=0}$, written as the system $$ u_t=-v,\quad v_t=Δ^2 u+mu, $$, persist as invariant tori of the nonlinear equation $(*)$, re-written similarly. If $d\ge2$, then not all the persisted tori are linearly stable, and we construct explicit examples of partially hyperbolic invariant tori. The unstable invariant tori, situated in the vicinity of the origin, create around them some local instabilities, in agreement with the popular belief in nonlinear physics that small-amplitude solutions of space-multidimensonal hamiltonian PDEs behave in a chaotic way.
The proof uses an abstract KAM theorem from another our publication.
△ Less
Submitted 11 December, 2015; v1 submitted 8 December, 2014;
originally announced December 2014.
-
Time-averaging for weakly nonlinear CGL equations with arbitrary potentials
Authors:
Guan Huang,
Sergei Kuksin,
Alberto Maiocchi
Abstract:
Consider weakly nonlinear complex Ginzburg--Landau (CGL) equation of the form: $$ u_t+i(-Δu+V(x)u)=εμΔu+ε\mathcal{P}( u),\quad x\in {R^d}\,, \quad(*)
$$ under the periodic boundary conditions, where $μ\geqslant0$ and $\mathcal{P}$ is a smooth function. Let $\{ζ_1(x),ζ_2(x),\dots\}$ be the $L_2$-basis formed by eigenfunctions of the operator $-Δ+V(x)$. For a complex function $u(x)$, write it as…
▽ More
Consider weakly nonlinear complex Ginzburg--Landau (CGL) equation of the form: $$ u_t+i(-Δu+V(x)u)=εμΔu+ε\mathcal{P}( u),\quad x\in {R^d}\,, \quad(*)
$$ under the periodic boundary conditions, where $μ\geqslant0$ and $\mathcal{P}$ is a smooth function. Let $\{ζ_1(x),ζ_2(x),\dots\}$ be the $L_2$-basis formed by eigenfunctions of the operator $-Δ+V(x)$. For a complex function $u(x)$, write it as $u(x)=\sum_{k\geqslant1}v_kζ_k(x)$ and set $I_k(u)=\frac{1}{2}|v_k|^2$. Then for any solution $u(t,x)$ of the linear equation $(*)_{ε=0}$ we have $I(u(t,\cdot))=const$. In this work it is proved that if equation $(*)$ with a sufficiently smooth real potential $V(x)$ is well posed on time-intervals $t\lesssim ε^{-1}$, then for any its solution $u^ε(t,x)$, the limiting behavior of the curve $I(u^ε(t,\cdot))$ on time intervals of order $ε^{-1}$, as $ε\to0$, can be uniquely characterized by a solution of a certain well-posed effective equation: $$ u_t=εμ\triangle u+εF(u), $$ where $F(u)$ is a resonant averaging of the nonlinearity $\mathcal{P}(u)$. We also prove a similar results for the stochastically perturbed equation, when a white in time and smooth in $x$ random force of order $\sqrtε$ is added to the right-hand side of the equation.
The approach of this work is rather general. In particular, it applies to equations in bounded domains in $R^d$ under Dirichlet boundary conditions.
△ Less
Submitted 11 December, 2015; v1 submitted 8 November, 2014;
originally announced November 2014.
-
The limit of small Rossby numbers for randomly forced quasi-geostrophic equation on $β$-plane
Authors:
Sergei Kuksin,
Alberto Maiocchi
Abstract:
We consider the 2d quasigeostrophic equation on the $β$-plane for the stream function $ψ$, with dissipation and a random force: $$ (*)\qquad (-Δ+K)ψ_t - ρJ(ψ, Δψ) -βψ_x= \langle \text{random force}\rangle -κΔ^2ψ+Δψ, $$ where $ψ=ψ(t,x,y), \ x\in\mathbb{R}/2πL\mathbb{Z}, \ y\in \mathbb{R}/2π\mathbb{Z}$. For typical values of the horizontal period $L$ we prove that the law of the action-vector of a s…
▽ More
We consider the 2d quasigeostrophic equation on the $β$-plane for the stream function $ψ$, with dissipation and a random force: $$ (*)\qquad (-Δ+K)ψ_t - ρJ(ψ, Δψ) -βψ_x= \langle \text{random force}\rangle -κΔ^2ψ+Δψ, $$ where $ψ=ψ(t,x,y), \ x\in\mathbb{R}/2πL\mathbb{Z}, \ y\in \mathbb{R}/2π\mathbb{Z}$. For typical values of the horizontal period $L$ we prove that the law of the action-vector of a solution for $(*)$ (formed by the halves of the squared norms of its complex Fourier coefficients) converges, as $β\to\infty$, to the law of an action-vector for solution of an auxiliary effective equation, and the stationary distribution of the action-vector for solutions of $(*)$ converges to that of the effective equation. Moreover, this convergence is uniform in $κ\in(0,1]$. The effective equation is an infinite system of stochastic equations which splits into invariant subsystems of complex dimension $\le3$; each of these subsystems is an integrable hamiltonian system, coupled with a Langevin thermostat. Under the iterated limits $\lim_{L=ρ\to\infty} \lim_{β\to\infty}$ and $\lim_{κ\to 0} \lim_{β\to\infty}$ we get similar systems. In particular, none of the three limiting systems exhibits the energy cascade to high frequencies.
△ Less
Submitted 26 September, 2014; v1 submitted 2 September, 2014;
originally announced September 2014.
-
KAM theory and the 3D Euler equation
Authors:
Boris Khesin,
Sergei Kuksin,
Daniel Peralta-Salas
Abstract:
We prove that the dynamical system defined by the hydrodynamical Euler equation on any closed Riemannian 3-manifold $M$ is not mixing in the $C^k$ topology ($k > 4$ and non-integer) for any prescribed value of helicity and sufficiently large values of energy. This can be regarded as a 3D version of Nadirashvili's and Shnirelman's theorems showing the existence of wandering solutions for the 2D Eul…
▽ More
We prove that the dynamical system defined by the hydrodynamical Euler equation on any closed Riemannian 3-manifold $M$ is not mixing in the $C^k$ topology ($k > 4$ and non-integer) for any prescribed value of helicity and sufficiently large values of energy. This can be regarded as a 3D version of Nadirashvili's and Shnirelman's theorems showing the existence of wandering solutions for the 2D Euler equation. Moreover, we obtain an obstruction for the mixing under the Euler flow of $C^k$-neighborhoods of divergence-free vectorfields on $M$. On the way we construct a family of functionals on the space of divergence-free $C^1$ vectorfields on the manifold, which are integrals of motion of the 3D Euler equation. Given a vectorfield these functionals measure the part of the manifold foliated by ergodic invariant tori of fixed isotopy types. We use the KAM theory to establish some continuity properties of these functionals in the $C^k$-topology. This allows one to get a lower bound for the $C^k$-distance between a divergence-free vectorfield (in particular, a steady solution) and a trajectory of the Euler flow.
△ Less
Submitted 22 July, 2014; v1 submitted 21 January, 2014;
originally announced January 2014.
-
Derivation of the Kolmogorov-Zakharov equation from the resonant-averaged stochastic NLS equation
Authors:
Sergei Kuksin,
Alberto Maiocchi
Abstract:
We suggest a new derivation of a kinetic equation of Kolmogorov-Zakharov (KZ) type for the spectrum of the weakly nonlinear Schrödinger equation with stochastic forcing. The kynetic equation is obtained as a result of a double limiting procedure. Firstly, we consider the equation on a finite box with periodic boundary conditions and send the size of the nonlinearity and of the forcing to zero, whi…
▽ More
We suggest a new derivation of a kinetic equation of Kolmogorov-Zakharov (KZ) type for the spectrum of the weakly nonlinear Schrödinger equation with stochastic forcing. The kynetic equation is obtained as a result of a double limiting procedure. Firstly, we consider the equation on a finite box with periodic boundary conditions and send the size of the nonlinearity and of the forcing to zero, while the time is correspondingly rescaled; then, the size of the box is sent to infinity (with a suitable rescaling of the solution). We report here the results of the first limiting procedure, analyzed with full rigour in arXiv:1311.6793, and show how the second limit leads to a kinetic equation for the spectrum, if some further hypotheses (commonly employed in the weak turbulence theory) are accepted. Finally we show how to derive from these equations the KZ spectra.
△ Less
Submitted 26 December, 2013; v1 submitted 26 November, 2013;
originally announced November 2013.
-
Resonant averaging for small solutions of stochastic NLS equations
Authors:
Sergei Kuksin,
Alberto Maiocchi
Abstract:
We consider the free linear Schrödinger equation on a torus $\mathbb T^d$, perturbed by a hamiltonian nonlinearity, driven by a random force and damped by a linear damping: $$ u_t -iΔu +iνρ|u|^{2q_*}u = - νf(-Δ) u + \sqrtν\,\frac{d}{d t}\sum_{k\in \mathbb Z^d} b_lβ^k(t)e^{ik\cdot x} \ . $$ Here $u=u(t,x),\ x\in\mathbb T^d$, $0<ν\ll 1$, $q_*\in\mathbb N$, $f$ is a positive continuous function, $ρ$…
▽ More
We consider the free linear Schrödinger equation on a torus $\mathbb T^d$, perturbed by a hamiltonian nonlinearity, driven by a random force and damped by a linear damping: $$ u_t -iΔu +iνρ|u|^{2q_*}u = - νf(-Δ) u + \sqrtν\,\frac{d}{d t}\sum_{k\in \mathbb Z^d} b_lβ^k(t)e^{ik\cdot x} \ . $$ Here $u=u(t,x),\ x\in\mathbb T^d$, $0<ν\ll 1$, $q_*\in\mathbb N$, $f$ is a positive continuous function, $ρ$ is a positive parameter and $β^k(t)$ are standard independent complex Wiener processes. We are interested in limiting, as $ν\to0$, behaviour of distributions of solutions for this equation and of its stationary measure. Writing the equation in the slow time $τ=νt$, we prove that the limiting behaviour of the both is described by the effective equation $$ u_τ+ f(-Δ) u = -iF(u)+\frac{d}{dτ}\sum b_kβ^k(τ)e^{ik\cdot x} \, $$ where the nonlinearity $F(u)$ is made out of the resonant terms of the monomial $ |u|^{2q_*}u$. We explain the relevance of this result for the problem of weak turbulence
△ Less
Submitted 6 April, 2014; v1 submitted 26 November, 2013;
originally announced November 2013.
-
Resonant averaging for weakly nonlinear stochastic Schrödinger equations
Authors:
Sergei Kuksin,
Alberto Maiocchi
Abstract:
We consider the free linear Schroedinger equation on a torus $\mathbb T^d$, perturbed by a Hamiltonian nonlinearity, driven by a random force and damped by a linear damping: $$u_t -iΔu +iνρ|u|^{2q_*}u = - νf(-Δ) u + \sqrtν\,\frac{d}{d t}\sum_{k\in \mathbb Z^d} b_kβ^k(t)e^{ik\cdot x} \ . $$ Here $u=u(t,x),\ x\in\mathbb T^d$, $0<ν\ll1$, $q_*\in\mathbb N\cup\{0\}$, $f$ is a positive continuous functi…
▽ More
We consider the free linear Schroedinger equation on a torus $\mathbb T^d$, perturbed by a Hamiltonian nonlinearity, driven by a random force and damped by a linear damping: $$u_t -iΔu +iνρ|u|^{2q_*}u = - νf(-Δ) u + \sqrtν\,\frac{d}{d t}\sum_{k\in \mathbb Z^d} b_kβ^k(t)e^{ik\cdot x} \ . $$ Here $u=u(t,x),\ x\in\mathbb T^d$, $0<ν\ll1$, $q_*\in\mathbb N\cup\{0\}$, $f$ is a positive continuous function, $ρ$ is a positive parameter and $β^k(t)$ are standard independent complex Wiener processes. We are interested in limiting, as $ν\to0$, behaviour of solutions for this equation and of its stationary measure. Writing the equation in the slow time $τ=νt$, we prove that the limiting behaviour of the both is described by the effective equation $$ u_τ+ f(-Δ) u = -iF(u)+\frac{d}{dτ}\sum b_kβ^k(τ)e^{ik\cdot x} \, $$ where the nonlinearity $F(u)$ is made out of the resonant terms of the monomial $ |u|^{2q_*}u$. We explain the relevance of this result for the problem of weak turbulence.
△ Less
Submitted 27 November, 2013; v1 submitted 19 September, 2013;
originally announced September 2013.
-
KdV equation under periodic boundary conditions and its perturbations
Authors:
Guan Huang,
Sergei Kuksin
Abstract:
In this paper we discuss properties of the KdV equation under periodic boundary conditions, especially those which are important to study perturbations of the equation. Next we review what is known now about long-time behaviour of solutions for perturbed KdV equations.
In this paper we discuss properties of the KdV equation under periodic boundary conditions, especially those which are important to study perturbations of the equation. Next we review what is known now about long-time behaviour of solutions for perturbed KdV equations.
△ Less
Submitted 23 October, 2013; v1 submitted 6 September, 2013;
originally announced September 2013.
-
On quantum averaging, quantum KAM and quantum diffusion
Authors:
S. B. Kuksin,
A. I. Neishtadt
Abstract:
For nonautonomous Hamiltonian systems and their quantisations we discuss properties of the quantised systems, related to those of the corresponding classical systems, described by the KAM-related theories: the proper KAM, the averaging theory, the Nekhoroshev stability and the diffusion.
For nonautonomous Hamiltonian systems and their quantisations we discuss properties of the quantised systems, related to those of the corresponding classical systems, described by the KAM-related theories: the proper KAM, the averaging theory, the Nekhoroshev stability and the diffusion.
△ Less
Submitted 18 November, 2012; v1 submitted 23 August, 2012;
originally announced August 2012.
-
Analyticity of solutions for quasilinear wave equations and other quasilinear systems
Authors:
Sergei Kuksin,
Nikolai Nadirashvili
Abstract:
We prove the persistence of analyticity for classical solution of the Cauchy problem for quasilinear wave equations with analytic data. Our results show that the analyticity of solutions, stated by the Cauchy-Kowalewski and Ovsiannikov-Nirenberg theorems, lasts till a classical solution exists. Moreover, they show that if the equation and the Cauchy data are analytic only in a part of space-variab…
▽ More
We prove the persistence of analyticity for classical solution of the Cauchy problem for quasilinear wave equations with analytic data. Our results show that the analyticity of solutions, stated by the Cauchy-Kowalewski and Ovsiannikov-Nirenberg theorems, lasts till a classical solution exists. Moreover, they show that if the equation and the Cauchy data are analytic only in a part of space-variables, then a classical solution also is analytic in these variables. The approach applies to other quasilinear equations and implies the persistence of the space-analyticity (and the partial space-analyticity) of their classical solutions.
△ Less
Submitted 28 April, 2013; v1 submitted 26 May, 2012;
originally announced May 2012.
-
Stochastic CGL equations without linear dispersion in any space dimension
Authors:
Sergei Kuksin,
Vahagn Nersesyan
Abstract:
We consider the stochastic CGL equation $$ \dot u- νΔu+(i+a) |u|^2u =η(t,x),\;\;\; \text {dim} \,x=n, $$ where $ν>0$ and $a\ge 0$, in a cube (or in a smooth bounded domain) with Dirichlet boundary condition. The force $η$ is white in time, regular in $x$ and non-degenerate. We study this equation in the space of continuous complex functions $u(x)$, and prove that for any $n$ it defines there a uni…
▽ More
We consider the stochastic CGL equation $$ \dot u- νΔu+(i+a) |u|^2u =η(t,x),\;\;\; \text {dim} \,x=n, $$ where $ν>0$ and $a\ge 0$, in a cube (or in a smooth bounded domain) with Dirichlet boundary condition. The force $η$ is white in time, regular in $x$ and non-degenerate. We study this equation in the space of continuous complex functions $u(x)$, and prove that for any $n$ it defines there a unique mixing Markov process. So for a large class of functionals $f(u(\cdot))$ and for any solution $u(t,x)$, the averaged observable $\E f(u(t,\cdot))$ converges to a quantity, independent from the initial data $u(0,x)$, and equal to the integral of $f(u)$ against the unique stationary measure of the equation.
△ Less
Submitted 3 May, 2012;
originally announced May 2012.
-
KdV Hamiltonian as function of actions
Authors:
Evgeny Korotyaev,
Sergei Kuksin
Abstract:
We prove that the non-linear part of the Hamiltonian of the KdV equation on the circle, written as a function of the actions, defines a continuous convex function on the $\ell^2$ space and derive for it lower and upper bounds in terms of some functions of the $\ell^2$-norm. The proof is based on a new representation of the Hamiltonian in terms of the quasimomentum and its analysis using the confor…
▽ More
We prove that the non-linear part of the Hamiltonian of the KdV equation on the circle, written as a function of the actions, defines a continuous convex function on the $\ell^2$ space and derive for it lower and upper bounds in terms of some functions of the $\ell^2$-norm. The proof is based on a new representation of the Hamiltonian in terms of the quasimomentum and its analysis using the conformal mapping theory.
△ Less
Submitted 20 October, 2011;
originally announced October 2011.
-
Weakly nonlinear stochastic CGL equations
Authors:
Sergei B. Kuksin
Abstract:
We consider the linear Schrödinger equation under periodic boundary condition, driven by a random force and damped by a quasilinear damping: $$ \frac{d}{dt}u+i\big(-Δ+V(x)\big) u=ν\Big(Δu-\gr |u|^{2p}u-i\gi |u|^{2q}u \Big) +\sqrtν\, η(t,x).\qquad (*) $$ The force $η$ is white in time and smooth in $x$. We are concerned with the limiting, as $ν\to0$, behaviour of its solutions on long time-interval…
▽ More
We consider the linear Schrödinger equation under periodic boundary condition, driven by a random force and damped by a quasilinear damping: $$ \frac{d}{dt}u+i\big(-Δ+V(x)\big) u=ν\Big(Δu-\gr |u|^{2p}u-i\gi |u|^{2q}u \Big) +\sqrtν\, η(t,x).\qquad (*) $$ The force $η$ is white in time and smooth in $x$. We are concerned with the limiting, as $ν\to0$, behaviour of its solutions on long time-intervals $0\le t\leν^{-1}T$, and with behaviour of these solutions under the double limit $t\to\infty$ and $ν\to0$. We show that these two limiting behaviours may be described in terms of solutions for the {\it system of effective equations for $(*)$} which is a well posed semilinear stochastic heat equation with a non-local nonlinearity and a smooth additive noise, written in Fourier coefficients. The effective equations do not depend on the Hamiltonian part of the perturbation $-i\gi|u|^{2q}u$ (but depend on the dissipative part $-\gr|u|^{2p}u$). If $p$ is an integer, they may be written explicitly.
△ Less
Submitted 6 June, 2011;
originally announced June 2011.
-
Damped-driven KdV and effective equation for long-time behaviour of its solutions
Authors:
Sergei B. Kuksin
Abstract:
For the damped-driven KdV equation $$ \dot u-ν{u_{xx}}+u_{xxx}-6uu_x=\sqrtνη(t,x), x\in S^1, \int u dx\equiv \intηdx\equiv0, $$ with $0<ν\le1$ and smooth in $x$ white in $t$ random force $η$, we study the limiting long-time behaviour of the KdV integrals of motions $(I_1,I_2,...)$, evaluated along a solution $u^ν(t,x)$, as $ν\to0$. We prove that %if $u=u^ν(t,x)$ is a solution of the equation abo…
▽ More
For the damped-driven KdV equation $$ \dot u-ν{u_{xx}}+u_{xxx}-6uu_x=\sqrtνη(t,x), x\in S^1, \int u dx\equiv \intηdx\equiv0, $$ with $0<ν\le1$ and smooth in $x$ white in $t$ random force $η$, we study the limiting long-time behaviour of the KdV integrals of motions $(I_1,I_2,...)$, evaluated along a solution $u^ν(t,x)$, as $ν\to0$. We prove that %if $u=u^ν(t,x)$ is a solution of the equation above, for $0\leτ:= νt \lesssim1$ the vector $ I^ν(τ)=(I_1(u^ν(τ,\cdot)),I_2(u^ν(τ,\cdot)),...), $ converges in distribution to a limiting process $I^0(τ)=(I^0_1,I^0_2,...)$. The $j$-th component $I_j^0$ equals $\12(v_j(τ)^2+v_{-j}(τ)^2)$, where $v(τ)=(v_1(τ), v_{-1}(τ),v_2(τ),...)$ is the vector of Fourier coefficients of a solution of an {\it effective equation} for the dam-ped-driven KdV. This new equation is a quasilinear stochastic heat equation with a non-local nonlinearity, written in the Fourier coefficients. It is well posed.
△ Less
Submitted 5 February, 2010;
originally announced February 2010.
-
Vey theorem in infinite dimensions and its application to KdV
Authors:
Sergei Kuksin,
Galina Perelman
Abstract:
We consider an integrable infinite-dimensional Hamiltonian system in a Hilbert space $H=\{u=(u_1^+,u_1^-; u_2^+,u_2^-;....)\}$ with integrals $I_1, I_2,...$ which can be written as $I_j={1/2}|F_j|^2$, where $F_j:H\to \R^2$, $F_j(0)=0$ for $j=1,2,...$ . We assume that the maps $F_j$ define a germ of an analytic diffeomorphism $F=(F_1,F_2,...):H\to H$, such that dF(0)=id$, $(F-id)$ is a $κ…
▽ More
We consider an integrable infinite-dimensional Hamiltonian system in a Hilbert space $H=\{u=(u_1^+,u_1^-; u_2^+,u_2^-;....)\}$ with integrals $I_1, I_2,...$ which can be written as $I_j={1/2}|F_j|^2$, where $F_j:H\to \R^2$, $F_j(0)=0$ for $j=1,2,...$ . We assume that the maps $F_j$ define a germ of an analytic diffeomorphism $F=(F_1,F_2,...):H\to H$, such that dF(0)=id$, $(F-id)$ is a $κ$-smoothing map ($κ\geq 0$) and some other mild restrictions on $F$ hold. Under these assumptions we show that the maps $F_j$ may be modified to maps $F_j^\prime$ such that $F_j-F_j^\prime=O(|u|^2)$ and each $\frac12|F'_j|^2$ still is an integral of motion. Moreover, these maps jointly define a germ of an analytic symplectomorphism $F^\prime: H\to H$, the germ $(F^\prime-id)$ is $κ$-smoothing, and each $I_j$ is an analytic function of the vector $(\frac12|F'_j|^2,j\ge1)$. Next we show that the theorem with $κ=1$ applies to the KdV equation. It implies that in the vicinity of the origin in a functional space KdV admits the Birkhoff normal form and the integrating transformation has the form `identity plus a 1-smoothing analytic map'.
△ Less
Submitted 1 October, 2009;
originally announced October 2009.
-
Khasminskii--Whitham averaging for randomly perturbed KdV equation
Authors:
Sergei B. Kuksin,
Andrey L. Piatnitski
Abstract:
We consider the damped-driven KdV equation $$ \dot u-ν{u_{xx}}+u_{xxx}-6uu_x=\sqrtνη(t,x), x\in S^1, \int u dx\equiv \intηdx\equiv0, $$ where $0<ν\le1$ and the random process $η$ is smooth in $x$ and white in $t$. For any periodic function $u(x)$ let $ I=(I_1,I_2,...) $ be the vector, formed by the KdV integrals of motion, calculated for the potential $u(x)$. We prove that if $u(t,x)$ is a solut…
▽ More
We consider the damped-driven KdV equation $$ \dot u-ν{u_{xx}}+u_{xxx}-6uu_x=\sqrtνη(t,x), x\in S^1, \int u dx\equiv \intηdx\equiv0, $$ where $0<ν\le1$ and the random process $η$ is smooth in $x$ and white in $t$. For any periodic function $u(x)$ let $ I=(I_1,I_2,...) $ be the vector, formed by the KdV integrals of motion, calculated for the potential $u(x)$. We prove that if $u(t,x)$ is a solution of the equation above, then for $0\le t\lesssimν^{-1}$ and $ν\to0$ the vector $ I(t)=(I_1(u(t,\cdot)),I_2(u(t,\cdot)),...) $ satisfies the (Whitham) averaged equation.
△ Less
Submitted 20 October, 2007;
originally announced October 2007.
-
KAM for the Non-Linear Schrödinger Equation
Authors:
L. H. Eliasson,
S. B. Kuksin
Abstract:
We consider the $d$-dimensional nonlinear Schrödinger equation under periodic boundary conditions: $-i\dot u=-Δu+V(x)*u+\ep \frac{\p F}{\p \bar u}(x,u,\bar u), \quad u=u(t,x), x\in\T^d $ where $V(x)=\sum \hat V(a)e^{i\sc{a,x}}$ is an analytic function with $\hat V$ real, and $F$ is a real analytic function in $\Re u$, $\Im u$ and $x$. (This equation is a popular model for the `real' NLS equation…
▽ More
We consider the $d$-dimensional nonlinear Schrödinger equation under periodic boundary conditions: $-i\dot u=-Δu+V(x)*u+\ep \frac{\p F}{\p \bar u}(x,u,\bar u), \quad u=u(t,x), x\in\T^d $ where $V(x)=\sum \hat V(a)e^{i\sc{a,x}}$ is an analytic function with $\hat V$ real, and $F$ is a real analytic function in $\Re u$, $\Im u$ and $x$. (This equation is a popular model for the `real' NLS equation, where instead of the convolution term $V*u$ we have the potential term $Vu$.) For $\ep=0$ the equation is linear and has time--quasi-periodic solutions $u$, $$ u(t,x)=\sum_{a\in Å}\hat u(a)e^{i(|a|^2+\hat V(a))t}e^{i\sc{a,x}} \quad (|\hat u(a)|>0), $$ where $Å$ is any finite subset of $\Z^d$. We shall treat $ω_a=|a|^2+\hat V(a)$, $a\inÅ$, as free parameters in some domain $U\subset\R^Å$. This is a Hamiltonian system in infinite degrees of freedom, degenerate but with external parameters, and we shall describe a KAM-theory which, under general conditions, will have the following consequence:
If $|\ep|$ is sufficiently small, then there is a large subset $U'$ of $U$ such that for all $ω\in U'$ the solution $u$ persists as a time--quasi-periodic solution which has all Lyapounov exponents equal to zero and whose linearized equation is reducible to constant coefficients.
△ Less
Submitted 14 September, 2007;
originally announced September 2007.
-
On finite-dimensional projections of distributions for solutions of randomly forced PDE's
Authors:
Andrei Agrachev,
Sergei Kuksin,
Andrey Sarychev,
Armen Shirikyan
Abstract:
The paper is devoted to studying the image of probability measures on a Hilbert space under finite-dimensional analytic maps. We establish sufficient conditions under which the image of a measure has a density with respect to the Lebesgue measure and continuously depends on the map. The results obtained are applied to the 2D Navier--Stokes equations perturbed by various random forces of low dime…
▽ More
The paper is devoted to studying the image of probability measures on a Hilbert space under finite-dimensional analytic maps. We establish sufficient conditions under which the image of a measure has a density with respect to the Lebesgue measure and continuously depends on the map. The results obtained are applied to the 2D Navier--Stokes equations perturbed by various random forces of low dimension.
△ Less
Submitted 13 March, 2006;
originally announced March 2006.
