Fractional Differential Equations with Nonlocal Integral and Integer–Fractional-Order Neumann Type Boundary Conditions

We introduce a new concept of the coupling of nonlocal integral and integer–fractional-order Neumann type boundary conditions, and discuss the existence and uniqueness of solutions for a coupled system of fractional differential equations supplemented with these conditions. The existence of solutions is derived from Leray–Schauder’s alternative and Schauder’s fixed point theorem, while the uniqueness of solutions is established by means of Banach’s contraction mapping principle. The results obtained in this paper are well illustrated with the aid of examples.     

Diffusion–convection reaction equations with sign-changing diffusivity and bistable reaction term

We consider a reaction–diffusion equation with a convection term in one space variable, where the diffusion changes sign from the positive to the negative and the reaction term is bistable. We study the existence of wavefront solutions, their uniqueness and regularity. The presence of convection reveals several new features of wavefronts: according to the mutual positions of the diffusivity and reaction, profiles can occur either for a single value of the speed or for a bounded interval of such values; uniqueness (up to shifts) is lost; moreover, plateaus of arbitrary length can appear; profiles can be singular where the diffusion vanishes.     

On positive periodic solutions of the time–space periodic Lotka–Volterra cooperating system in multi-dimensional media

This work is devoted to the study of the time–space periodic reaction–diffusion–advection Lotka–Volterra cooperating system in multi-dimensional media. By using the method of sub-super solutions and its associated iterations, we prove the existence and uniqueness of the positive periodic solution under appropriate conditions. Finally, we are able to derive the asymptotic behavior of the solutions to the associated Cauchy problem.     

Reaction diffusion equation with spatio-temporal delay

We investigate reaction–diffusion equation with spatio-temporal delays, the global existence, uniqueness and asymptotic behavior of solutions for which in relation to constant steady-state solution, included in the region of attraction of a stable steady solution. It is shown that if the delay reaction function satisfies some conditions and the system possesses a pair of upper and lower solutions then there exists a unique global solution. In terms of the maximal and minimal constant solutions of the corresponding steady-state problem, we get the asymptotic stability of reaction–diffusion equation with spatio-temporal delay. Applying this theory to Lotka–Volterra model with spatio-temporal delay, we get the global solution asymptotically tend to the steady-state problem’s steady-state solution.     

Optimal control problems for the reaction–diffusion–convection equation with variable coefficients

The solvability of optimal control problems is proved on both weak and strong solutions of a boundary value problem for the nonlinear reaction–diffusion–convection equation with variable coefficients. In the second case, the requirements for smoothness of the multiplicative control are reduced. The study of extremal problems is based on the proof of the solvability of the corresponding boundary value problems and on the qualitative analysis of their solutions properties. The large data existence results for weak solutions, the maximum principle as well as the local existence and uniqueness of a strong solution are established. Moreover, an optimal feedback control problem is considered. Using methods of the theory of topological degree for set-valued perturbations (with aspheric image sets) of generalized monotone operators, we obtain sufficient conditions for the solvability of this problem in the class of weak solutions.     

Stochastically forced cardiac bidomain model

The bidomain system of degenerate reaction–diffusion equations is a well-established spatial model of electrical activity in cardiac tissue, with “reaction” linked to the cellular action potential and “diffusion” representing current flow between cells. The purpose of this paper is to introduce a “stochastically forced” version of the bidomain model that accounts for various random effects. We establish the existence of martingale (probabilistic weak) solutions to the stochastic bidomain model. The result is proved by means of an auxiliary nondegenerate system and the Faedo–Galerkin method. To prove convergence of the approximate solutions, we use the stochastic compactness method and Skorokhod–Jakubowski a.s. representations. Finally, via a pathwise uniqueness result, we conclude that the martingale solutions are pathwise (i.e., probabilistic strong) solutions.     

Traveling wavefronts in a bistable reaction diffusion system with spatio-temporal delay

This paper is concerned with a reaction–diffusion system with spatio-temporal delay. Under the bistable assumptions, the existence of traveling wavefronts is established by transforming the system with spatio-temporal delay to a three-dimensional reaction–diffusion system without delay. The uniqueness (up to a translation) of the traveling wavefronts is also proved by using upper and lower solutions technique. From the point of view of epidemiology, the result implies that the spatio-temporal delay appeared in the interaction term is not sensitive to the moving zone for the transition from the disease-free state to the infective state.     

On Non-Uniqueness of Probability Solutions to the Two-Dimensional Stationary Fokker–Planck–Kolmogorov Equation

The problem of uniqueness of probability solutions to the two-dimensional stationary Fokker–Planck–Kolmogorov equation is considered. Under broad conditions, it is proved that the existence of two different probability solutions implies the existence of an infinite set of linearly independent probability solutions.     

Asymptotic behavior of reaction–advection–diffusion population models with Allee effect

In this work, a qualitative analysis is carried out for reaction–advection–diffusion (RAD) systems modeling the interactions between two species with Allee effect. In particular, we study different scenarios: mutualism, competition, and a predator–prey relationship in order to investigate the survival or extinction of both populations. Global existence and uniqueness of positive solutions of the proposed RAD problems are demonstrated. Equilibrium states and asymptotic behavior of solutions are obtained using the monotone method and the upper and lower solutions technique. Numerical simulations by a Crank–Nicolson monotone iterative method of the different asymptotic solution dynamics are shown to illustrate our theoretical results.     

A finite element approach for analysis and computational modelling of coupled reaction diffusion models

In this article, we establish the existence and uniqueness of solutions to the coupled reaction–diffusion models using Banach fixed point theorem. The Galerkin finite element method is used for the approximation of solutions, and an a priori error estimate is derived for such approximations. A scheme is proposed by combining the Crank–Nicolson and the predictor–corrector methods for the time discretization. Some numerical examples are considered to illustrate the accuracy and efficiency of the proposed scheme. It is found that the scheme is second‐order convergent. In addition, nonuniform grids are used in some cases to enhance the accuracy of the scheme.     

Weak Solutions of a Reaction Diffusion System with Superdiffusion and Its Optimal Control

The existence and uniqueness of weak solutions to the 2-dimensional reaction diffusion system with superdiffusion and the optimal control of such model are investigated in this paper. Fractional function spaces, Galerkin ap- proximation method and Gronwall inequality are used to obtain the existence and uniqueness of weak solutions. On this basis, an optimal control prob- lem of such superdiffusive system is further considered by using the minimal sequence.     

Global exponential stability and periodicity of reaction–diffusion recurrent neural networks with distributed delays and Dirichlet boundary conditions

In this paper, global exponential stability and periodicity of a class of reaction–diffusion recurrent neural networks with distributed delays and Dirichlet boundary conditions are studied by constructing suitable Lyapunov functionals and utilizing some inequality techniques. We first prove global exponential convergence to 0 of the difference between any two solutions of the original neural networks, the existence and uniqueness of equilibrium is the direct results of this procedure. This approach is different from the usually used one where the existence, uniqueness of equilibrium and stability are proved in two separate steps. Secondly, we prove periodicity. Sufficient conditions ensuring the existence, uniqueness, and global exponential stability of the equilibrium and periodic solution are given. These conditions are easy to verify and our results play an important role in the design and application of globally exponentially stable neural circuits and periodic oscillatory neural circuits.     

Global behavior of solutions in a Lotka–Volterra predator–prey model with prey-stage structure

In this paper, the global behavior of solutions is investigated for a Lotka–Volterra predator–prey system with prey-stage structure. First, we can see that the stability properties of nonnegative equilibria for the weakly coupled reaction–diffusion system are similar to that for the corresponding ODE system, that is, linear self-diffusions do not drive instability. Second, using Sobolev embedding theorems and bootstrap arguments, the existence and uniqueness of nonnegative global classical solution for the strongly coupled cross-diffusion system are proved when the space dimension is less than 10. Finally, the existence and uniform boundedness of global solutions and the stability of the positive equilibrium point for the cross-diffusion system are studied when the space dimension is one. It is found that the cross-diffusion system is dissipative if the diffusion matrix is positive definite. Furthermore, cross diffusions cannot induce pattern formation if the linear diffusion rates are sufficiently large.     

On the solutions of the Dullin–Gottwald–Holm equation in Besov spaces

This paper is concerned with the Cauchy problem for the Dullin–Gottwald–Holm equation. First, the local well-posedness for this system in Besov spaces is established. Second, the blow-up criterion for solutions to the equation is derived. Then, the existence and uniqueness of global solutions to the equation are investigated. Finally, the sharp estimate from below and lower semicontinuity for the existence time of solutions to this equation are presented.     

On the existence and uniqueness of solutions to FBSDEs in a non-degenerate case

We prove a result of existence and uniqueness of solutions to forward–backward stochastic differential equations, with non-degeneracy of the diffusion matrix and boundedness of the coefficients as functions of x as main assumptions.This result is proved in two steps. The first part studies the problem of existence and uniqueness over a small enough time duration, whereas the second one explains, by using the connection with quasi-linear parabolic system of PDEs, how we can deduce, from this local result, the existence and uniqueness of a solution over an arbitrarily prescribed time duration. Improving this method, we obtain a result of existence and uniqueness of classical solutions to non-degenerate quasi-linear parabolic systems of PDEs.This approach relaxes the regularity assumptions required on the coefficients by the Four-Step scheme.     

Invariant Measures for a Stochastic Kuramoto–Sivashinsky Equation

Abstract

For the one-dimensional Kuramoto–Sivashinsky equation with random forcing term, existence and uniqueness of solutions is proved. Then, the Markovian semigroup is well defined; its properties are analyzed in order to provide sufficient conditions for existence and uniqueness of invariant measures for this stochastic equation. Finally, regularity results are presented.     

A free boundary tumor model with time dependent nutritional supply

A non-autonomous free boundary model for tumor growth is studied. The model consists of a nonlinear reaction diffusion equation describing the distribution of vital nutrients in the tumor and a nonlinear integro-differential equation describing the evolution of the tumor size. First the global existence and uniqueness of a transient solution is established under some general conditions. Then with additional regularity assumptions on the consumption and proliferation rates, the existence and uniqueness of steady-state solutions is obtained. Furthermore the convergence of the transient solutions toward the steady-state solution is verified. Finally the long time behavior of the solutions is investigated by transforming the time-dependent domain to a fixed domain.     

Existence and uniqueness of solutions to singular Cahn–Hilliard equations with nonlinear viscosity terms and dynamic boundary conditions

We prove global existence and uniqueness of solutions to a Cahn–Hilliard system with nonlinear viscosity terms and nonlinear dynamic boundary conditions. The problem is highly nonlinear, characterized by four nonlinearities and two separate diffusive terms, all acting in the interior of the domain or on its boundary. Through a suitable approximation of the problem based on abstract theory of doubly nonlinear evolution equations, existence and uniqueness of solutions are proved using compactness and monotonicity arguments. The asymptotic behaviour of the solutions as the diffusion operator on the boundary vanishes is also shown.     

Local existence and non-explosion of solutions for stochastic fractional partial differential equations driven by multiplicative noise

In this paper we prove the local existence and uniqueness of solutions for a class of stochastic fractional partial differential equations driven by multiplicative noise. We also establish that for this class of equations adding linear multiplicative noise provides a regularizing effect: the solutions will not blow up with high probability if the initial data is sufficiently small, or if the noise coefficient is sufficiently large. As applications our main results are applied to various types of SPDE such as stochastic reaction–diffusion equations, stochastic fractional Burgers equation, stochastic fractional Navier–Stokes equation, stochastic quasi-geostrophic equations and stochastic surface growth PDE.     

Numerical solutions of coupled systems of nonlinear elliptic equations

This article deals with numerical solutions of a general class of coupled nonlinear elliptic equations. Using the method of upper and lower solutions, monotone sequences are constructed for difference schemes which approximate coupled systems of nonlinear elliptic equations. This monotone convergence leads to existence‐uniqueness theorems for solutions to problems with reaction functions of quasi‐monotone nondecreasing, quasi‐monotone nonincreasing and mixed quasi‐monotone types. A monotone domain decomposition algorithm which combines the monotone approach and an iterative domain decomposition method based on the Schwarz alternating, is proposed. An application to a reaction‐diffusion model in chemical engineering is given. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 28: 621–640, 2012