Related papers: Proving the existence of localized patterns and sa…
In this paper, we present a general framework for constructively proving the existence and of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. Specifically,…
In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equation. Specifically, given an approximate solution $u_0$, we…
In this article, we present a comprehensive framework for constructing smooth, localized solutions in systems of semi-linear partial differential equations, with a particular emphasis to the Gray-Scott model. Specifically, we construct a…
In this paper, we present a computer-assisted framework for constructive proofs of existence for stationary solutions to one-dimensional parabolic PDEs and the rigorous determination of their linear stability. By expanding solutions in…
This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that the exact solution as the fixed point of the Newton…
In this article, we extend the framework developed in \cite{unbounded_domain_cadiot} to allow for rigorous proofs of existence of smooth, localized solutions in semi-linear partial differential equations possessing both space and non-space…
We develop a stability theory for contractive local IFSs on compact metric spaces. Unlike the classical global setting, local systems may exhibit a richer symbolic and geometric structure, including code spaces that are not of finite type…
This paper provides a direct method of establishing the existence and uniqueness of saddle-node bifurcations for nonlinear equations in general domains. The method employs the scaled extended quotient whose saddle points correspond to the…
We prove the existence and we study the stability of the kink-like fixed points in a simple Coupled Map Lattice for which the local dynamics has two stable fixed points. The condition for the existence allows us to define a critical value…
Hidden attractors are present in many nonlinear dynamical systems and are not associated with equilibria, making them difficult to locate. Recent studies have demonstrated methods of locating hidden attractors, but the route to these…
This paper addresses the challenge of proving the existence of solutions for nonlinear equations in Banach spaces, focusing on the Navier-Stokes equations and discretizations of thom. Traditional methods, such as monotonicity-based…
We investigate stationary, spatially localized patterns in lattice dynamical systems that exhibit bistability. The profiles associated with these patterns have a long plateau where the pattern resembles one of the bistable states, while the…
This work deals with the presence of topological structures in models of two real scalar fields in the two-dimensional spacetime. The subject concerns the presence of a geometric constriction, which appears with a modification of the…
Linear augmentation has recently been shown to be effective in targeting desired stationary solutions, suppressing bistablity, in regulating the dynamics of drive response systems and in controlling the dynamics of hidden attractors. The…
Localized planar patterns in spatially extended bistable systems are known to exist along intricate bifurcation diagrams, which are commonly referred to as snaking curves. Their analysis is challenging as techniques such as spatial dynamics…
In this paper we prove a new abstract stability result for perturbed saddle-point problems based on a norm fitting technique. We derive the stability condition according to Babuska's theory from a small inf-sup condition, similar to the…
We study the existence, bifurcations, and stability of stationary solutions for the doubly-nonlocal Fisher-KPP equation. We prove using Lyapunov-Schmidt reduction that under suitable conditions on the parameters, a bifurcation from the…
We consider the problem of provably finding a stationary point of a smooth function to be minimized on the variety of bounded-rank matrices. This turns out to be unexpectedly delicate. We trace the difficulty back to a geometric obstacle:…
We present a new approach for search of coexisting classes of localised modes admitted by the repulsive (defocusing) scalar or vector nonlinear Schr\"odinger-type equations. The approach is based on the observation that generic solutions of…
We propose a new mechanism for stabilization of confined modes in lasers and semiconductor microcavities holding exciton-polariton condensates, with spatially uniform linear gain, cubic loss, and cubic self-focusing or defocusing…