In this article we study the solution of the Kuramoto-Sivashinsky equation (for surface erosion or surface growth) on a bounded interval subject to a random forcing term. We show that a unique solution to the equation exists for all time and depends continuously on the initial data.
The nonlocal Kuramoto-Sivashinsky equation arises in the modeling of the flow of a thin film of viscous liquid falling down an inclined plane, subject to an applied electric field. In this paper, the authors show that, as the coefficient of the nonlocal integral term goes to zero, the solution trajectories and the maximal attractor of the nonlocal Kuramoto-Sivashinsky equation converge to those of the usual Kuramoto-Sivashinsky equation.
In this paper we study the effects of a ``nonlocal'' term on the global dynamics of the Kuramoto-Sivashinsky equation. We show that the equation possesses a ``family of maximal attractors'' parameterized by the mean value of the initial data. The dimension of the attractor is estimated as a function of the coefficient of the nonlocal term and the width of the periodic domain.
The Kuramoto-Sivashinsky equation is a prototypical chaotic nonlinear partial differential equation (PDE) in which the size of the spatial domain plays the role of a bifurcation parameter. We investigate the changing dynamics of the Kuramoto-Sivashinsky PDE by calculating the Lyapunov spectra over a large range of domain sizes. Our comprehensive computation and analysis of the Lyapunov exponents and the associated Kaplan-Yorke dimension provides new insights into the chaotic dynamics of the Kuramoto-Sivashinsky PDE, and the transition to its 1D turbulence.
We use computer-assisted proof techniques to prove that a branch of non-trivial equilibrium solutions in the Kuramoto-Sivashinsky partial differential equation undergoes a Hopf bifurcation. Furthermore, we obtain an essentially constructive proof of the family of time-periodic solutions near the Hopf bifurcation. To this end, near the Hopf point we rewrite the time periodic problem for the Kuramoto-Sivashinsky equation in a desingularized formulation. We then apply a parametrized Newton-Kantorovich approach to validate a solution branch of time-periodic orbits. By construction, this solution b…
The Kuramoto-Sivashinsky equation was introduced as a simple 1-dimensional model of instabilities in flames, but it turned out to mathematically fascinating in its own right. One reason is that this equation is a simple model of Galilean-invariant chaos with an arrow of time. Starting from random initial conditions, manifestly time-asymmetric stripe-like patterns emerge. As we move forward in time, it appears that these stripes are born and merge, but do not die or split. We pose a precise conjecture to this effect, which requires a precise definition of 'stripes'.
This paper presents a finite difference method combined with the Crank--Nicolson scheme of the Kuramoto--Sivashinsky equation defined on an expanding circle (\cite{KUY}), and the existence, uniqueness, and second-order error estimate of the scheme. The equation can be obtained as a perturbation equation from the circle solution to an interfacial equation and can provide guidelines for understanding the wavenumber selection of solutions to the interfacial equation. Our proposed numerical scheme can help with such a mathematical analysis.
We present numerical results and computer assisted proofs of the existence of periodic orbits for the Kuramoto-Sivashinky equation. These two results are based on writing down the existence of periodic orbits as zeros of functionals. This leads to the use of Newton's algorithm for the numerical computation of the solutions and, with some a posteriori analysis in combination with rigorous interval arithmetic, to the rigorous verification of the existence of solutions. This is a particular case of the methodology developed in [19] for several types of orbits. An independent implementation, cover…
Computational methods for sensitivity analysis are invaluable tools for scientists and engineers investigating a wide range of physical phenomena. However, many of these methods fail when applied to chaotic systems, such as the Kuramoto-Sivashinsky (K-S) equation, which models a number of different chaotic systems found in nature. The following paper discusses the application of a new sensitivity analysis method developed by the authors to a modified K-S equation. We find that least squares shadowing sensitivity analysis computes accurate gradients for solutions corresponding to a wide range o…
We investigate the bifurcation structure of the Kuramoto-Sivashinsky equation with homogeneous Dirichlet boundary conditions. Using hidden symmetry principles, based on an extended problem with periodic boundary conditions and $\Otwo$ symmetry, we show that the zero solution exhibits two kinds of pitchfork bifurcations: one that breaks the reflection symmetry of the system with Dirichlet boundary conditions and one that breaks a shift-reflect symmetry of the extended system. Using Lyapunov-Schmidt reduction, we show both to be supercritical. We extend the primary branches by means of numerical…
In this paper, a partial proof of a conjecture raised by Galaktionov and Svirshchevskii concerning existence and global uniqueness of an asymptotically stable periodic orbit in a fourth-order piecewise linear ordinary differential equation is presented. The fourth-order equation comes from the study of traveling wave patterns in a signed Kuramoto-Sivashinsky equation with absorption. The proof is twofold. First, the problem of solving for the periodic orbit is transformed into a zero finding problem in four dimensional space, which is solved with a computer-assisted proof based on Newton's met…
We consider the Kuramoto-Sivashinsky (KS) equation in finite domains of the form $[-L,L]^d$. Our main result provides refined Gevrey estimates for the solutions of the one dimensional differentiated KS, which in turn imply effective new estimates for higher Sobolev norms of the solutions in terms of powers of $L$. We illustrate our method on a simpler model, namely the regularized Burger's equation. We also show local well-posedness for the two dimensional KS equation and provide an explicit criteria for (eventual) blow-up in terms of its $L^2$ norm. The common underlying idea in both results …
We prove the existence of random dynamical systems and random attractors for a large class of locally monotone stochastic partial differential equations perturbed by additive Lévy noise. The main result is applicable to various types of SPDE such as stochastic Burgers type equations, stochastic 2D Navier-Stokes equations, the stochastic 3D Leray-$α$ model, stochastic power law fluids, the stochastic Ladyzhenskaya model, stochastic Cahn-Hilliard type equations, stochastic Kuramoto-Sivashinsky type equations, stochastic porous media equations and stochastic $p$-Laplace equations.
We present a collective coordinate approach to study the collective behaviour of a finite ensemble of $N$ stochastic Kuramoto oscillators using two degrees of freedom; one describing the shape dynamics of the oscillators and one describing their mean phase. Contrary to the thermodynamic limit $N\to\infty$ in which the mean phase of the cluster of globally synchronized oscillators is constant in time, the mean phase of a finite-size cluster experiences Brownian diffusion with a variance proportional to $1/N$. This finite-size effect is quantitatively well captured by our collective coordinate a…