In this paper, we analyze the controllability properties under positivity constraints on the control or the state of a one-dimensional heat equation involving the fractional Laplacian $(-Δ)^s$ ($0<s<1$) on the interval $(-1,1)$. We prove the existence of a minimal (strictly positive) time $T_{\rm min}$ such that the fractional heat dynamics can be controlled from any initial datum in $L^2(-1,1)$ to a positive trajectory through the action of a positive control, when $s>1/2$. Moreover, we show that in this minimal time constrained controllability is achieved by means of a control that belongs to a certain space of Radon measures. We also give some numerical simulations that confirm our theoretical results.
We provide necessary and sufficient geometric conditions for the exact controllability of the one-dimensional fractional free and fractional harmonic Schrödinger equations. The necessary and sufficient condition for the exact controllability of fractional free Schrödinger equations is derived from the Logvinenko-Sereda theorem and its quantitative version established by Kovrijkine, whereas the one for the exact controllability of fractional harmonic Schrödinger equations is deduced from an infinite dimensional version of the Hautus test for Hermite functions and the Plancherel-Rotach formula.
In many practical applications of control theory some constraints on the state and/or on the control need to be imposed. In this paper, we prove controllability results for semilinear parabolic equations under positivity constraints on the control, when the time horizon is long enough. As we shall see, in fact, the minimal controllability time turns out to be strictly positive. More precisely, we prove a global steady state constrained controllability result for a semilinear parabolic equation with $C^1$ nonlinearity, without sign or globally Lipschitz assumptions on the nonlinear term. Then, …
We consider both the internal and boundary controllability problems for wave equations under non-negativity constraints on the controls. First, we prove the steady state controllability property with nonnegative controls for a general class of wave equations with time-independent coefficients. According to it, the system can be driven from a steady state generated by a strictly positive control to another, by means of nonnegative controls, when the time of control is long enough. Secondly, under the added assumption of conservation and coercivity of the energy, controllability is proved betwee…
Our purpose is to adapt the Hilbert Uniqueness Method by J.-L. Lions in the case of fractional diffusion-wave equations. The main difficulty is to determine the right shape for the adjoint system, suitable for the procedure of HUM.
In this article, we consider the infinite dimensional linear control system describing the Population Models Structured by Age, Size, and Spatial Position. The control is localized in the space variable as well as with respect to the age and size. For each control support, we give an estimate of the time needed to control the system to zero. We prove the null controllability of the model, using a technique avoids the explicit use of parabolic Carleman estimates. Indeed, this method combines final-state observability estimates with the use of characteristics and with $L^{\infty}$ estimates of t…
We study fractional hypoelliptic Ornstein-Uhlenbeck operators acting on $L^2(\mathbb{R}^n)$ satisfying the Kalman rank condition. We prove that the semigroups generated by these operators enjoy Gevrey regularizing effects. Two byproducts are derived from this smoothing property. On the one hand, we prove the null-controllability in any positive time from thick control subsets of the associated parabolic equations posed on the whole space. On the other hand, by using interpolation theory, we get global $L^2$ subelliptic estimates for the these operators.
This paper is devoted to the analysis of propagation properties for the solutions of a one-dimensional non-local Schrödinger equation involving the fractional Laplace operator $(-d_x^2)^s$, $s\in(0,1)$. We adopt a classical WKB approach and we provide a systematic procedure for building a suitable ansatz for the solutions to the problem. In this way, we can obtain quasi-solutions which are localized along the rays of geometric optics, whose group velocity can be computed explicitly in terms of the parameter $s$. Our results are then confirmed by numerical simulations, based on a finite element…
In this work we investigate positivity properties of nonlocal Schrödinger type operators, driven by the fractional Laplacian, with multipolar, critical, and locally homogeneous potentials. On one hand, we develop a criterion that links the positivity of the spectrum of such operators with the existence of certain positive supersolutions, while, on the other hand, we study the localization of binding for this kind of potentials. Combining these two tools and performing an inductive procedure on the number of poles, we establish necessary and sufficient conditions for the existence of a configur…
We study the controllability to trajectories, under positivity constraints on the control or the state, of a one-dimensional heat equation involving the fractional Laplace operator $ (-\partial_x^2)^s$ (with $0<s<1$) on the interval $(-1,1)$. Our control function is localized in an open set $\mathcal O$ in the exterior of $(-1,1)$, that is, $\mathcal O\subset (\mathbb{R} \setminus (-1,1))$. We show that there exists a minimal (strictly positive) time $T_{\rm min}$ such that the fractional heat dynamics can be controlled from any initial datum in $L^2(-1,1)$ to a positive trajectory through the…
In this article, we consider the diffusion equation with multi-term time-fractional derivatives. We first derive that the solution is positive when the source term is nonpositive by a subordination principle for the solution. As an application, we prove that the uniqueness of the inverse problem on the determination of the temporally varying source term by integral type information in a subdomain. Finally, several numerical experiments are presented to show the accuracy and efficiency of the algorithm.
We consider the anisotropic Shubin operators $(-Δ)^m + \vert x\vert^{2k}$ acting on the space $L^2(\mathbb R^n)$, with $k, m \geq1$ some positive integers. We provide sharp quantitative estimates in Gelfand-Shilov spaces for the eigenfunctions of these selfadjoint differential operators, that is, exponential decay estimates both for these functions and their Fourier transforms in $L^2(\mathbb R^n)$. The strategy implemented is based on the classical approach to obtain Agmon estimates in spectral theory. By using a Weyl law for the eigenvalues of the anisotropic Shubin operators, we also descri…
We study the null-controllability properties of a one-dimensional wave equation with memory associated with the fractional Laplace operator. The goal is not only to drive the displacement and the velocity to rest at some time-instant but also to require the memory term to vanish at the same time, ensuring that the whole process reaches the equilibrium. The problem being equivalent to a coupled nonlocal PDE-ODE system, in which the ODE component has zero velocity of propagation, we are required to use a moving control strategy. Assuming that the control is acting on an open subset $ω(t)$ which …
In this paper, we consider a class of fractional integro-differential inclusions in Hilbert spaces. This paper deals with the approximate controllability for a class of fractional integro-differential control systems. First, we establishes a set of sufficient conditions for the approximate controllability for a class of fractional semilinear integro-differential inclusions in Hilbert spaces. We use Bohnenblust-Karlin's fixed point theorem to prove our main results. Further, we extend the result to study the approximate controllability concept with nonlocal conditions. An example is also given …
In this paper we study the approximate controllability of fractional partial differential equations associated with the so-called Hilfer type time fractional derivative and a non-negative selfadjoint operator $A$ with a compact resolvent on $L^2(Ω)$, where $Ω\subset\RR^N$ ($N\geq 1$) is an open set. More precisely, we show that if $0\leν\le 1$, $1<μ\le 2$ and $Ω\subset\RR^N$ is an open set, then the system \begin{equation*} \begin{cases} \D^{μ,ν}_tu+Au=fχ_ω\;\;&\mbox{ in }\;Ω\times(0,T),\\ (I_t^{(1-ν)(2-μ)}u)(\cdot,0)=u_0 &\mbox{ in }\;Ω,\\ (\partial_tI_t^{(1-ν)(2-μ)}u)(\cdot,0)=u_1 &\mbox{ in…
The goal of this work is to prove global controllability and stabilization properties for the fractional Schrödinger equation on $d$-dimensional compact Riemannian manifolds without boundary $(M,g)$. To prove our main results we use techniques of pseudo-differential calculus on manifolds. More precisely, by using microlocal analysis, we are able to prove propagation of regularity which together with the so-called Geometric Control Condition and Unique Continuation Property help us to prove global control results for the system under consideration. As a main novelty this manuscript presents the…
We study the approximate and mean approximate controllability properties of fractional partial differential equations associated with the so-called Hilfer type time-fractional derivative and a non-negative selfadjoint operator $A_B$ with a compact resolvent on $L^2(Ω)$, where $Ω\subset\mathbb{R}^N$ ($N\ge 1$) is a bounded open set. More precisely, we show that if $0\leν\le 1$, $0<μ\le 1$ and $Ω\subset\mathbb R^N$ is a bounded open set, then the system $$\mathbb D_t^{μ,ν} u+A_Bu=f|_ω\;\; \mbox{ in }\; Ω\times (0,T),\,\, (\mathbb I_t^{(1-ν)(1-μ)}u)(\cdot,0)=u_0 \mbox{ in }\;Ω,$$ is approximately…
We prove the exact controllability of linear KP-I equation if the control input is added on a vertical domain. More generally, we have obtained the least dispersion needed to insure observability for fractional linear KP I equation.
We investigate exact enlarged controllability for time fractional diffusion systems of Riemann-Liouville type. The Hilbert uniqueness method is used to prove exact enlarged controllability for both cases of zone and pointwise actuators. A penalization method is given and the minimum energy control is characterized.
Existence and uniqueness of mild solutions and evolution operators for a class of non-autonomous conformable fractional semi-linear systems and Their Exact Null Controllability
We investigate the exact enlarged controllability and optimal control of a fractional diffusion equation in Caputo sense. This is done through a new definition of enlarged controllability that allows us to extend available contributions. Moreover, the problem is studied using two approaches: a reverse Hilbert uniqueness method, generalizing the approach introduced by Lions in 1988, and a penalization method, which allow us to characterize the minimum energy control.
We consider the equation $(\partial_t + ρ(\sqrt{-Δ}))f(t,x) = \mathbf 1_ωu(t,x)$, $x\in \mathbb R$ or $\mathbb T$. We prove it is not null-controllable if $ρ$ is analytic on a conic neighborhood of $\mathbb R_+$ and $ρ(ξ) = o(|ξ|)$. The proof relies essentially on geometric optics, i.e.\ estimates for the evolution of semiclassical coherent states. The method also applies to other equations. The most interesting example might be the Kolmogorov-type equation $(\partial_t -\partial_v^2 + v^2\partial_x)f(t,x,v) = \mathbf 1_ωu(t,x,v)$ for $(x,v)\in Ω_x\times Ω_v$ with $Ω_x = \mathbb R$ or $\mathbb…
We analyze the interior controllability problem for a nonlocal Schrödinger equation involving the fractional Laplace operator $(-Δ)^s$, $s\in(0,1)$, on a bounded $C^{1,1}$ domain $Ω\subset\mathbb{R}^n$. The controllability from a neighborhood of the boundary of the domain is obtained for exponents $s$ in the interval $[1/2,1)$, while for $s<1/2$ the equation is shown to be not controllable. The results follow applying the multiplier method, joint with a Pohozaev-type identity for the fractional Laplacian, and from an explicit computation of the spectrum of the operator in the one-dimensional c…
The three concepts of exact, null and approximate controllabilities are analyzed from the exterior of the Moore--Gibson--Thompson equation associated with the fractional Laplace operator subject to the nonhomogeneous Dirichlet type exterior condition.
We study the question of positivity of the fundamental solution for fractional diffusion and wave equations of the form, which may be of fractional order both in space and time. We give a complete characterization for the positivity of the fundamental solution in terms of the order of the time derivative $α\in(0,2)$, the order of the spatial derivative $β\in (0,2]$ and the spatial dimension $d$. It turns out that the fundamental solution fails to be positive for all $α\in (1,2)$, and either $β\in (0,2]$ and $d\ge 2$ or $β<α$ and $d=1$, whereas in the other cases it remains positive. The proof …
We consider the null controllability problem from the exterior for the one dimensional heat equation on the interval $(0,1)$ associated with the fractional Laplace operator $(-\partial_x^2)^s$, where $0<s<1$. We show that there is a control function which is localized in a non-empty open set $\mathcal{O}\subset \left(\mathbb{R}\setminus(0,1)\right)$, that is, at the exterior of the interval $(0,1)$, such that the system is null controllable at any time $T>0$ if and only if $\frac 12<s<1$.
We prove that the approximate null-controllability with uniform cost of the hypoelliptic Ornstein-Uhlenbeck equations posed on $\mathbb R^n$ is characterized by an integral thickness geometric condition on the control supports. We also provide associated quantitative weak observability estimates. This result for the hypoelliptic Ornstein-Uhlenbeck equations is deduced from the same study for a large class of non-autonomous elliptic equations from moving control supports. We generalize in particular results known for parabolic equations posed on $\mathbb R^n$, for which the approximate null-con…
We prove that the thickness property is a necessary and sufficient geometric condition that ensures the (rapid) stabilization or the approximate null-controllability with uniform cost of a large class of evolution equations posed on the whole space $\mathbb R^n$. These equations are associated with operators of the form $F(\vert D_x\vert)$, the function $F:[0,+\infty)\rightarrow\mathbb R$ being continuous and bounded from below. We also provide explicit feedbacks and constants associated with these stabilization properties. The notion of thickness is known to be a necessary and sufficient cond…
We present a finite element (FE) scheme for the numerical approximation of the solution to a non-local Poisson equation involving the one-dimensional fractional Laplacian $(-d_x^2)^s$ on the interval $(-L,L)$. In particular, we include the complete computations for obtaining the stiffness matrix, starting from the variational formulation of the problem. The problem being one-dimensional, the values of the matrix can be explicitly calculated, without need of any numerical integration, thus obtaining an algorithm which is very efficient in terms of the computational cost. As an application, we a…
An inverse problem to determine a space-dependent factor in a semilinear time-fractional diffusion equation is considered. Additional data are given in the form of an integral with the Borel measure over the time. Uniqueness of the solution of the inverse problem is studied. The method uses a positivity principle of the corresponding differential equation that is also proved in the paper.
In this paper we analyze an eigenvalue problem related to the nonlocal $p-$laplace operator plus a potential. After reviewing some elementary properties of the first eigenvalue of these operators (existence, positivity of associated eigenfunctions, simplicity and isolation) we investigate the dependance of the first eigenvalue on the potential function and establish the existence of some {\em optimal} potentials in some admissible classes.
In the present work, we consider the Cauchy problem for the time fractional diffusion equation involving the general Caputo-type differential operator proposed by Kochubei. First, the existence, the positivity and the long time behavior of solutions of the equation without source term are established by using the Fourier analysis technique. Then, based on the representation of the solution of the inhomogenous linear ordinary differential equation with the general operator, the similar problems for the diffusion equation with source term are studied.
In this note we analyse \emph{quantitative} approximation properties of a certain class of \emph{nonlocal} equations: Viewing the fractional heat equation as a model problem, which involves both \emph{local} and \emph{nonlocal} pseudodifferential operators, we study quantitative approximation properties of solutions to it. First, relying on Runge type arguments, we give an alternative proof of certain \emph{qualitative} approximation results from \cite{DSV16}. Using propagation of smallness arguments, we then provide bounds on the \emph{cost} of approximate controllability and thus quantify th…
We make a complete analysis of the controllability properties from the exterior of the (possible) strong damping wave equation with the fractional Laplace operator subject to the nonhomogeneous Dirichlet type exterior condition. In the first part, we show that if $0<s<1$, $Ω\subset\RR^N$ ($N\ge 1$) is a bounded Lipschitz domain and the parameter $δ> 0$, then there is no control function $g$ such that the following system \begin{equation*} \begin{cases} u_{tt} + (-Δ)^{s} u + δ(-Δ)^{s} u_{t}=0 & \mbox{ in }\; Ω\times(0,T),\\ u=gχ_{\mathcal O\times (0,T)} &\mbox{ in }\; (\Omc)\times (0,T) ,\\ u(\…
The abstract Cauchy problem for the distributed order fractional evolution equation in the Caputo and in the Riemann-Liouville sense is studied for operators generating a strongly continuous one-parameter semigroup on a Banach space. Continuous as well as discrete distribution of fractional time-derivatives of order less than one are considered. The problem is reformulated as an abstract Volterra integral equation. It is proven that its kernel satisfy certain complete monotonicity properties. Based on these properties, the well-posedness of the problem is established and a series expansion of …
The main objective of this paper is analysis of the initial-boundary value problems for the linear and semilinear time-fractional diffusion equations with a uniformly elliptic spatial differential operator of the second order and the Caputo type fractional derivative acting in the fractional Sobolev spaces. The boundary conditions are formulated in form of the homogeneous Neumann or Robin conditions. First we deal with the uniqueness and existence of the solutions to these initial-boundary value problems. Then we show a positivity property for the solutions and derive the corresponding compari…
The aim of this paper is to answer the question: Do the controls of a vanishing viscosity approximation of the one dimensional linear wave equation converge to a control of the conservative limit equation? Our viscous term contains the fractional power of the Dirichlet Laplace operator and it is multiplied by a small parameter devoted to tend to zero. Our analysis, based on moment problems and biorthogonal sequences, enables us to evaluate the magnitude of the controls needed for each eigenmode and to show their uniform boundedness with respect to the vanishing parameter.
We establish quantitative estimates for solutions $u(t,x)$ to the fractional nonlinear diffusion equation, $\partial_t u +(-Δ)^s (u^m)=0$ in the whole range of exponents $m>0$, $0<s<1$. The equation is posed in the whole space $x\in\mathbb{R}^d$. We first obtain weighted global integral estimates that allow to establish existence of solutions for classes of large data. In the core of the paper we obtain quantitative pointwise lower estimates of the positivity of the solutions, depending only on the norm of the initial data in a certain ball. The estimates take a different form in three exponen…
This work is devoted to the study of uncertainty principles for finite combinations of Hermite functions. We establish some spectral inequalities for control subsets that are thick with respect to some unbounded densities growing almost linearly at infinity, and provide quantitative estimates, with respect to the energy level of the Hermite functions seen as eigenfunctions of the harmonic oscillator, for the constants appearing in these spectral estimates. These spectral inequalities allow to derive the null-controllability in any positive time for evolution equations enjoying specific regular…
We consider a model of fractional diffusion involving the natural nonlocal version of the $p$-Laplacian operator. We study the Dirichlet problem posed in a bounded domain $Ω$ of ${\mathbb{R}}^N$ with zero data outside of $Ω$, for which the existence and uniqueness of strong nonnegative solutions is proved, and a number of quantitative properties are established. A main objective is proving the existence of a special separate variable solution $U(x,t)=t^{-1/(p-2)}F(x)$, called the friendly giant, which produces a universal upper bound and explains the large-time behaviour of all nontrivial nonn…
We report on recent progress in the study of nonlinear diffusion equations involving nonlocal, long-range diffusion effects. Our main concern is the so-called fractional porous medium equation, $\partial_t u +(-Δ)^{s}(u^m)=0$, and some of its generalizations. Contrary to usual porous medium flows, the fractional version has infinite speed of propagation for all exponents $0<s<1$ and $m>0$; on the other hand, it also generates an $L^1$-contraction semigroup which depends continuously on the exponent of fractional differentiation and the exponent of the nonlinearity. After establishing the gener…
We consider a class of time-fractional phase field models including the Allen-Cahn and Cahn-Hilliard equations. We establish several weighted positivity results for functionals driven by the Caputo time-fractional derivative. Several novel criterions are examined for showing the positive-definiteness of the associated kernel functions. We deduce strict energy-dissipation for a number of non-local energy functionals, thereby proving fractional energy dissipation laws.
In this paper we investigate existence of solutions for the system: \begin{equation*} \left\{ \begin{array}{l} D^α_tu=\textrm{div}(u \nabla p),\\ D^α_tp=-(-Δ)^{s}p+u^{2}, \end{array} \right. \end{equation*} in $\mathbb{T}^3$ for $0< s \leq 1$, and $0< α\le 1$. The term $D^α_t u$ denotes the Caputo derivative, which models memory effects in time. The fractional Laplacian $(-Δ)^{s}$ represents the Lévy diffusion. We prove global existence of nonnegative weak solutions that satisfy a variational inequality. The proof uses several approximations steps, including an implicit Euler time discretizati…
Let $\Om\subset\RR^N$ a bounded domain with a Lipschitz continuous boundary. We study the controllability of the space-time fractional diffusion equation \begin{equation*} \begin{cases} \mathbb D_t^αu+(-Δ)^su=0\;\;&\mbox{ in }\;(0,T)\timesΩ\\ u=g &\mbox{ in }\;(0,T)\times(\RR^N\setminusΩ)\\ u(0,\cdot)=u_0&\mbox{ in }\;Ω, \end{cases} \end{equation*} where $u=u(t,x)$ is the state to be controlled and $g=g(t,x)$ is the control function which is localized in a subset $\mathcal O$ of $\Omc$. Here, $0<α\le 1$, $0<s<1$ and $T>0$ be real numbers. After giving an explicit representation of solutions, w…
