We analyse the nonlinear Kuramoto--Sivashinsky equation to develop accurate discretisations modeling its dynamics on coarse grids. The analysis is based upon centre manifold theory so we are assured that the discretisation accurately models the dynamics and may be constructed systematically. The theory is applied after dividing the physical domain into small elements by introducing isolating internal boundaries which are later removed. Comprehensive numerical solutions and simulations show that the holistic discretisations excellently reproduce the steady states and the dynamics of the Kuramoto--Sivashinsky equation. The Kuramoto--Sivashinsky equation is used as an example to show how holistic discretisation may be successfully applied to fourth order, nonlinear, spatio-temporal dynamical systems. This novel centre manifold approach is holistic in the sense that it treats the dynamical equations as a whole, not just as the sum of separate terms.
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…
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.
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.
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.
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.
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.
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…
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…
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'.
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 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…
