Related papers: Existence and instability of steady states for a t…
We treat the stability issue for the three dimensional inverse imaging modality called Quantitative Photoacoustic Tomography. We provide universal choices of the illuminations which enable to recover, in a H\"older stable fashion, the…
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…
We discuss the analysis and stability of a family of cross-diffusion boundary value problems with nonlinear diffusion and drift terms. We assume that these systems are close, in a suitable sense, to a set of decoupled and linear problems.…
This paper is intended to review recent results and open problems concerning the existence of steady states to the Maxwell-Schr\"odinger system. A combination of tools, proofs and results are presented in the framework of the…
We provide a computer-assisted approach to ensure that a given continuous or discrete-time polynomial system is (asymptotically) stable. Our framework relies on constructive analysis together with formally certified sums of squares Lyapunov…
The necessary and sufficient conditions for the stability of adiabatic states in three-level quantum systems are investigated analytically and numerically. Various possible configurations of three-level systems under exact two-photon…
In our recent work on iterative computation in hardware, we showed that arbitrary-precision solvers can perform more favorably than their traditional arithmetic equivalents when the latter's precisions are either under- or over-budgeted for…
We derive sufficient conditions for the solvability of the state estimation problem for a class of nonlinear control time-varying systems which includes those, whose dynamics have triangular structure. The state estimation is exhibited by…
A cross-diffusion system modeling the information herding of individuals is analyzed in a bounded domain with no-flux boundary conditions. The variables are the species' density and an influence function which modifies the information state…
We develop a stable and efficient numerical scheme for modeling the optical field evolution in a nonlinear dispersive cavity with counter propagating waves and complex, semiconductor physics gain dynamics that are expensive to evaluate. Our…
The question of biological stability (permanence) of a replicator reaction-diffusion system is considered. Sufficient conditions of biological stability are found. It is proved that there are situations when biologically unstable…
Due to the use of huge number of sensors and the increasing use of communication networks, cyber-physical systems (CPS) are becoming vulnerable to cyber-attacks. The ever-increasing complexity of CPS bring up the need for data-driven…
We investigate the existence and instability of a class of blowing-up positive steady states arising in a shadow system of the Shigesada-Kawasaki-Teramoto (SKT) two-species competition model, as well as in the corresponding perturbed SKT…
This paper analyzes the stability of a reactiondiffusion equation coupled with a finite-dimensional controller through Dirichlet boundary input and Neumann boundary output. Going against the flow, we intend to propose numerical certificates…
We introduce a two-state non-conserving driven-diffusive system in one-dimension under a discrete-time updating scheme. We show that the steady-state of the system can be obtained using a matrix product approach. On the other hand, the…
In this paper, we use the restricted three body problem in the binary stellar systems, taking photogravitational effects of both the stars. The aim of this study is to investigate the motion of the infinitesimal mass in the vicinity of the…
Understanding dissipation in 2D quantum many-body systems is a remarkably difficult open challenge. Here we show how numerical simulations for this problem are possible by means of a tensor network algorithm that approximates steady-states…
We study steady-state thin films on a chemically heterogeneous substrates of finite size, subject to no-flux boundary conditions. Based on the structure of the bifurcation diagram, we classify the one-dimensional steady-state solutions that…
We study flow driven through a finite-length planar rigid channel by a fixed upstream flux, where a segment of one wall is replaced by a pre-stressed elastic beam subject to uniform external pressure. The steady and unsteady systems are…
The three-body Lennard-Jones system on the plane has a transition state, which is the straight conformation located at a saddle point of the potential energy landscape. We show that the transition state can be dynamically stabilized by…