On the Controllability of a Fully Nonlocal Coupled Stochastic Reaction--Convection--Diffusion System

TL;DR

This paper investigates the controllability of a complex stochastic reaction-convection-diffusion system with nonlocal interactions, introducing new Carleman estimates to handle the stochastic and nonlocal aspects.

Contribution

It develops a novel Carleman estimate for nonlocal stochastic systems and establishes controllability results under specific cascade structure conditions.

Findings

Derived a new global Carleman estimate for the adjoint system.

Proved null and approximate controllability for the stochastic nonlocal system.

Addressed challenges due to stochasticity and nonlocality in controllability analysis.

Abstract

In this paper, we study the null and approximate controllability of a class of fully nonlocal coupled stochastic reaction--convection--diffusion systems. The system consists of two forward stochastic parabolic equations driven by general second-order differential operators and incorporates four nonlocal zero-order integral terms. The nonlocality arises from integral kernel terms present in both equations, defined over a bounded domain $G \subset \mathbb{R}^N$ ($N \geq 1$). Since the coefficients depend on time, space, and random variables, we introduce three controls: a spatially localized control acting on the drift term of the first equation, and two additional controls acting on the diffusion terms of both equations. These additional controls are necessary to overcome difficulties due to the stochastic nature of the associated adjoint backward system. Using a standard duality argument, the controllability problem for the forward system is reduced to an observability problem for the corresponding adjoint nonlocal backward system. To establish this observability, we derive a new global Carleman estimate for the adjoint system, in which the drift terms belong to a negative Sobolev space and the equations include nonlocal integral terms. Our results are obtained under suitable cascade structure conditions on the coupling zero-order, nonlocal, and first-order terms of the system.