Related papers: Computer-assisted proofs for some nonlinear diffus…
We study the steady states of a system of cross-diffusion equations arising from the modeling of chemotaxis with local sensing, where the motility is a decreasing function of the concentration of the chemical. In order to capture the many…
In this paper, we present and apply a computer-assisted method to study steady states of a triangular cross-diffusion system. Our approach consist in an a posteriori validation procedure, that is based on using a fxed point argument around…
Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this…
Various bias-correction methods such as EXTRA, gradient tracking methods, and exact diffusion have been proposed recently to solve distributed {\em deterministic} optimization problems. These methods employ constant step-sizes and converge…
The main subject of this paper is a computer assisted stability proof for a stationary solution of reaction diffusion equations in one dimensional space. We use Nakao's numerical verification method to enclose a stationary solution of…
This paper aims to develop and analyze a numerical scheme for solving the backward problem of semilinear subdiffusion equations. We establish the existence, uniqueness, and conditional stability of the solution to the inverse problem by…
Part I of this work [2] developed the exact diffusion algorithm to remove the bias that is characteristic of distributed solutions for deterministic optimization problems. The algorithm was shown to be applicable to a larger set of…
The numerical solution of spectral fractional diffusion problems in the form ${\mathcal A}^\alpha u = f$ is studied, where $\mathcal A$ is a selfadjoint elliptic operator in a bounded domain $\Omega\subset {\mathbb R}^d$, and $\alpha \in…
An unsteady problem is considered for a space-fractional diffusion equation in a bounded domain. A first-order evolutionary equation containing a fractional power of an elliptic operator of second order is studied for general boundary…
This note is devoted to some nonlocal, nonlinear elliptic problems with an emphasis on the computation of the solution of such problems, reducing it in particular to a fixed point argument in R. Errors estimates and numerical experiments…
We prove the monotonicity of positive solutions to the problem $-\Delta u = f(u)$ in $\mathbb{R}^N_+ := \{(x',x_N)\in\mathbb{R}^N \mid x_N>0 \}$ under zero Dirichlet boundary condition with a possible singular nonlinearity $f$. In some…
Consider the quasilinear diffusion problem \[\begin{cases}\mathbf{u}'+\Pi(t,x,\mathbf{u},\Sigma \mathbf{u})\mathbb{A}\mathbf{u}=\mathbf{f}(t,x,\mathbf{u},\Sigma \mathbf{u})&\text{ in }]0,T[\times\Omega,\\\mathbf{u}=\mathbf{0}&\text{ in…
Systems of reaction-diffusion equations are commonly used in biological models of food chains. The populations and their complicated interactions present numerous challenges in theory and in numerical approximation. In particular,…
In this paper the use of nonlinear cross-diffu\-sion systems to model image restoration is investigated, theoretically and numerically. In the first case, well-posedness, scale-space properties and long time behaviour are analyzed. From a…
We apply the semi-discrete method, c.f. \emph{N. Halidias and I.S. Stamatiou (2016), On the numerical solution of some non-linear stochastic differential equations using the semi-discrete method, Computational Methods in Applied…
In this work, we propose a new semi-Lagrangian (SL) finite difference scheme for nonlinear advection-diffusion problems. To ensure conservation, which is fundamental for achieving physically consistent solutions, the governing equations are…
We revisit the method of cumulants for analysing dynamic light scattering data in particle sizing applications. Here the data, in the form of the time correlation function of scattered light, is written as a series involving the first few…
In this paper we demonstrate a computational method to solve the inverse scattering problem for a star-shaped, smooth, penetrable obstacle in 2D. Our method is based on classical ideas from computational geometry. First, we approximate the…
We propose finite difference methods for degenerate fully nonlinear elliptic equations and prove the convergence of the schemes. Our focus is on the pure equation and a related free boundary problem of transmission type. The cornerstone of…
The survey is devoted to numerical solution of the fractional equation $A^\alpha u=f$, $0 < \alpha <1$, where $A$ is a symmetric positive definite operator corresponding to a second order elliptic boundary value problem in a bounded domain…