-
Control of blow-up profiles for the mass-critical focusing nonlinear Schrödinger equation on bounded domains
Authors:
Ludovick Gagnon,
Kévin Le Balc'h
Abstract:
In this paper, we consider the mass-critical focusing nonlinear Schrödinger on bounded two-dimensional domains with Dirichlet boundary conditions. In the absence of control, it is well-known that free solutions starting from initial data sufficiently large can blow-up. More precisely, given a finite number of points, there exists particular profiles blowing up exactly at these points at the blow-u…
▽ More
In this paper, we consider the mass-critical focusing nonlinear Schrödinger on bounded two-dimensional domains with Dirichlet boundary conditions. In the absence of control, it is well-known that free solutions starting from initial data sufficiently large can blow-up. More precisely, given a finite number of points, there exists particular profiles blowing up exactly at these points at the blow-up time. For pertubations of these profiles, we show that, with the help of an appropriate nonlinear feedback law located in an open set containing the blow-up points, the blow-up can be prevented from happening. More specifically, we construct a small-time control acting just before the blow-up time. The solution may then be extended globally in time. This is the first result of control for blow-up profiles for nonlinear Schrödinger type equations. Assuming further a geometrical control condition on the support of the control, we are able to prove a null-controllability result for such blow-up profiles. Finally, we discuss possible extensions to three-dimensional domains.
△ Less
Submitted 17 April, 2025;
originally announced April 2025.
-
The Graph Geometric Control Condition
Authors:
Kaïs Ammari,
Alessandro Duca,
Romain Joly,
Kévin Le Balc'h
Abstract:
In this paper, we introduce a novel concept called the Graph Geometric Control Condition (GGCC). It turns out to be a simple, geometric rewriting of many of the frameworks in which the controllability of PDEs on graphs has been studied. We prove that (GGCC) is a necessary and sufficient condition for the exact controllability of the wave equation on metric graphs with internal controls and Dirichl…
▽ More
In this paper, we introduce a novel concept called the Graph Geometric Control Condition (GGCC). It turns out to be a simple, geometric rewriting of many of the frameworks in which the controllability of PDEs on graphs has been studied. We prove that (GGCC) is a necessary and sufficient condition for the exact controllability of the wave equation on metric graphs with internal controls and Dirichlet boundary conditions. We then investigate the internal exact controllability of the wave equation with mixed boundary conditions and the one of the Schrödinger equation, as well as the internal null-controllability of the heat equation. We show that (GGCC) provides a sufficient condition for the controllability of these equations and we provide explicit examples proving that (GGCC) is not necessary in these cases.
△ Less
Submitted 24 March, 2025;
originally announced March 2025.
-
The Kalman rank condition and the optimal cost for the null-controllability of coupled Stokes systems
Authors:
Kévin Le Balc'h,
Luz de Teresa
Abstract:
This paper considers the controllability of a class of coupled Stokes systems with distributed controls. The coupling terms are of a different nature. The first coupling is through the principal part of the Stokes operator with a constant real-valued positive-definite matrix. The second one acts through zero-order terms with a constant real-valued matrix. We assume the controls have their support…
▽ More
This paper considers the controllability of a class of coupled Stokes systems with distributed controls. The coupling terms are of a different nature. The first coupling is through the principal part of the Stokes operator with a constant real-valued positive-definite matrix. The second one acts through zero-order terms with a constant real-valued matrix. We assume the controls have their support in different measurable subsets of the spatial domain. Our main result states that such a system is small-time null-controllable if and only if a Kalman rank condition is satisfied. Moreover, when this condition holds, we prove the sharp upper bound for the cost of null-controllability for these systems. Our method is based on two ingredients. We start from the recent spectral estimate for the Stokes operator from Chaves-Silva, Souza, and Zhang. Then, we adapt Lissy and Zuazua's strategy concerning the internal observability for coupled systems of linear parabolic equations to coupled Stokes systems.
△ Less
Submitted 5 February, 2025;
originally announced February 2025.
-
On the dimension of observable sets for the heat equation
Authors:
A. Walton Green,
Kévin Le Balc'h,
Jérémy Martin,
Marcu-Antone Orsoni
Abstract:
We consider the heat equation on a bounded $C^1$ domain in $\mathbb{R}^n$ with Dirichlet boundary conditions. The primary aim of this paper is to prove that the heat equation is observable from any measurable set with a Hausdorff dimension strictly greater than $n - 1$. The proof relies on a novel spectral estimate for linear combinations of Laplace eigenfunctions, achieved through the propagation…
▽ More
We consider the heat equation on a bounded $C^1$ domain in $\mathbb{R}^n$ with Dirichlet boundary conditions. The primary aim of this paper is to prove that the heat equation is observable from any measurable set with a Hausdorff dimension strictly greater than $n - 1$. The proof relies on a novel spectral estimate for linear combinations of Laplace eigenfunctions, achieved through the propagation of smallness for solutions to Cauchy-Riemann systems as established by Malinnikova, and uses the Lebeau-Robbiano method. While this observability result is sharp regarding the Hausdorff dimension scale, our secondary goal is to construct families of sets with dimensions less than $n - 1$ from which the heat equation is still observable.
△ Less
Submitted 12 November, 2024; v1 submitted 30 July, 2024;
originally announced July 2024.
-
$L^{p}$-estimates, controllability and local-well posedness for backward SPDEs
Authors:
Víctor Hernández-Santamaría,
Kévin Le Balc'h,
Liliana Peralta
Abstract:
In this paper, we study linear backward parabolic SPDEs and present new a priori estimates for their weak solutions. Inspired by the seminal work of Y. Hu, J. Ma and J. Yong from 2002 on strong solutions, we establish $L^p$-estimates requiring minimal assumptions on the regularity of the coefficients, the terminal data, and the external force. To this end, we derive a new Itô's formula for the…
▽ More
In this paper, we study linear backward parabolic SPDEs and present new a priori estimates for their weak solutions. Inspired by the seminal work of Y. Hu, J. Ma and J. Yong from 2002 on strong solutions, we establish $L^p$-estimates requiring minimal assumptions on the regularity of the coefficients, the terminal data, and the external force. To this end, we derive a new Itô's formula for the $L^p$-norm of the solution, extending the classical result in the $L^2$-setting. This formula is then used to improve further the regularity of the first component of the solution up to $L^\infty$. Additionally, we present applications such as the controllability of backward SPDEs with $L^p$-controls and a local existence result for a semilinear equation without imposing any growth condition on the nonlinear term.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Sharp local Bernstein estimates for Laplace eigenfunctions on Riemannian manifolds
Authors:
Kévin Le Balc'h
Abstract:
This actual version contains a bad mistake, located in Section 2.3 that invalidates the proofs of the main results.
This actual version contains a bad mistake, located in Section 2.3 that invalidates the proofs of the main results.
△ Less
Submitted 25 September, 2024; v1 submitted 23 June, 2024;
originally announced June 2024.
-
Quantitative propagation of smallness and spectral estimates for the Schrödinger operator
Authors:
Kévin Le Balc'h,
Jérémy Martin
Abstract:
In this paper, we investigate quantitative propagation of smallness properties for the Schrödinger operator on a bounded domain in $\mathbb R^d$. We extend Logunov, Malinnikova's results concerning propagation of smallness for $A$-harmonic functions to solutions of divergence elliptic equations perturbed by a bounded zero order term. We also prove similar results for gradient of solutions to some…
▽ More
In this paper, we investigate quantitative propagation of smallness properties for the Schrödinger operator on a bounded domain in $\mathbb R^d$. We extend Logunov, Malinnikova's results concerning propagation of smallness for $A$-harmonic functions to solutions of divergence elliptic equations perturbed by a bounded zero order term. We also prove similar results for gradient of solutions to some particular equations. This latter result enables us to follow the recent strategy of Burq, Moyano for the obtaining of spectral estimates on rough sets for the Schrödinger operator. Applications to observability estimates and to the null-controllability of associated parabolic equations posed on compact manifolds or the whole euclidean space are then considered.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Schr{ö}dinger eigenfunctions sharing the same modulus and applications to the control of quantum systems
Authors:
Ugo Boscain,
Kévin Le Balc'H,
Mario Sigalotti
Abstract:
In this paper we investigate when linearly independent eigenfunctions of the Schr\''odinger operator may have the same modulus. General properties are established and the one-dimensional case is treated in full generality. The study is motivated by its application to the bilinear control of the Schr{ö}dinger equation. By assuming that the potentials of interaction satisfy a saturation property and…
▽ More
In this paper we investigate when linearly independent eigenfunctions of the Schr\''odinger operator may have the same modulus. General properties are established and the one-dimensional case is treated in full generality. The study is motivated by its application to the bilinear control of the Schr{ö}dinger equation. By assuming that the potentials of interaction satisfy a saturation property and by adapting a strategy recently proposed by Duca and Nersesyan, we discuss when the system can be steered arbitrarily fast between energy levels. Extensions of the previous results to quantum graphs are finally presented.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Quantitative unique continuation for real-valued solutions to second order elliptic equations in the plane
Authors:
Kévin Le Balc'h,
Diego A. Souza
Abstract:
In this article, we study a quantitative form of the Landis conjecture on exponential decay for real-valued solutions to second order elliptic equations with variable coefficients in the plane. In particular, we prove the following qualitative form of Landis conjecture, for $W_1, W_2 \in L^{\infty}(\mathbb R^2;\mathbb R^2)$, $V \in L^{\infty}(\mathbb R^2;\mathbb R)$ and…
▽ More
In this article, we study a quantitative form of the Landis conjecture on exponential decay for real-valued solutions to second order elliptic equations with variable coefficients in the plane. In particular, we prove the following qualitative form of Landis conjecture, for $W_1, W_2 \in L^{\infty}(\mathbb R^2;\mathbb R^2)$, $V \in L^{\infty}(\mathbb R^2;\mathbb R)$ and $u \in H_{\mathrm{loc}}^{1}(\mathbb R^2)$ a real-valued weak solution to $-Δu - \nabla \cdot ( W_1 u ) +W_2 \cdot \nabla u + V u = 0$ in $\mathbb R^2$, satisfying for $δ>0$, $|u(x)| \leq \exp(- |x|^{1+δ})$, $x \in \mathbb R^2$, then $u \equiv 0$. Our methodology of proof is inspired by the one recently developed by Logunov, Malinnikova, Nadirashvili, and Nazarov that have treated the equation $-Δu + V u = 0$ in $\mathbb R^2$. Nevertheless, several differences and additional difficulties appear. New weak quantitative maximum principles are established for the construction of a positive multiplier in a suitable perforated domain, depending on the nodal set of $u$. The resulted divergence elliptic equation is then transformed into a non-homogeneous $\partial_{\overline{z}}$ equation thanks to a generalization of Stoilow factorization theorem obtained by the theory of quasiconformal mappings, an approximate type Poincaré lemma and the use of the Cauchy transform. Finally, a suitable Carleman estimate applied to the operator $\partial_{\overline{z}}$ is the last ingredient of our proof.
△ Less
Submitted 31 December, 2023;
originally announced January 2024.
-
Global stabilization of the cubic defocusing nonlinear Schrödinger equation on the torus
Authors:
Kévin Le Balc'h,
Jérémy Martin
Abstract:
In this article, we prove the (uniform) global exponential stabilization of the cubic defocusing Schrödinger equation on the torus d-dimensional torus, for d=1, 2 or 3, with a linear damping localized in a subset of the torus satisfying some geometrical assumptions. In particular, this answers an open question of Dehman, Gérard, Lebeau from 2006. Our approach is based on three ingredients. First,…
▽ More
In this article, we prove the (uniform) global exponential stabilization of the cubic defocusing Schrödinger equation on the torus d-dimensional torus, for d=1, 2 or 3, with a linear damping localized in a subset of the torus satisfying some geometrical assumptions. In particular, this answers an open question of Dehman, Gérard, Lebeau from 2006. Our approach is based on three ingredients. First, we prove the well-posedness of the closed-loop system in Bourgain spaces. Secondly, we derive new Carleman estimates for the nonlinear equation by directly including the cubic term in the conjugated operator. Thirdly, by conjugating with energy estimates and Morawetz multipliers method, we then deduce quantitative observability estimates leading to the uniform exponential decay of the total energy of the system. As a corollary of the global stabilization result, we obtain an upper bound of the minimal time of the global null-controllability of the nonlinear equation by using a stabilization procedure and a local null-controllability result.
△ Less
Submitted 16 October, 2023;
originally announced October 2023.
-
Observability estimates for the Schr{ö}dinger equation in the plane with periodic bounded potentials from measurable sets
Authors:
Kévin Le Balc'H,
Jérémy Martin
Abstract:
The goal of this article is to obtain observability estimates for Schr{ö}dinger equations in the plane R 2. More precisely, considering a 2$π$Z 2-periodic potential V $\in$ L $\infty$ (R 2), we prove that the evolution equation i$\partial$tu = --$Δ$u + V (x)u, is observable from any 2$π$Z 2-periodic measurable set, in any small time T > 0. We then extend Ta{ü}ffer's recent result [T{ä}u22] in the…
▽ More
The goal of this article is to obtain observability estimates for Schr{ö}dinger equations in the plane R 2. More precisely, considering a 2$π$Z 2-periodic potential V $\in$ L $\infty$ (R 2), we prove that the evolution equation i$\partial$tu = --$Δ$u + V (x)u, is observable from any 2$π$Z 2-periodic measurable set, in any small time T > 0. We then extend Ta{ü}ffer's recent result [T{ä}u22] in the two-dimensional case to less regular observable sets and general bounded periodic potentials. The methodology of the proof is based on the use of the Floquet-Bloch transform, Strichartz estimates and semiclassical defect measures for the obtention of observability inequalities for a family of Schr{ö}dinger equations posed on the torus R 2 /2$π$Z 2 .
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Null-controllability of cascade reaction-diffusion systems with odd coupling terms
Authors:
Kévin Le Balc'h,
Takéo Takahashi
Abstract:
In this paper, we consider a nonlinear system of two parabolic equations, with a distributed control in the first equation and an odd coupling term in the second one. We prove that the nonlinear system is small-time locally null-controllable. The main difficulty is that the linearized system is not null-controllable. To overcome this obstacle, we extend in a nonlinear setting the strategy introduc…
▽ More
In this paper, we consider a nonlinear system of two parabolic equations, with a distributed control in the first equation and an odd coupling term in the second one. We prove that the nonlinear system is small-time locally null-controllable. The main difficulty is that the linearized system is not null-controllable. To overcome this obstacle, we extend in a nonlinear setting the strategy introduced by the first author that consists in constructing odd controls for the linear heat equation. The proof relies on three main steps. First, we obtain from the classical L^2 parabolic Carleman estimate, conjugated with maximal regularity results, a weighted L^p observability inequality for the nonhomogeneous heat equation. Secondly, we perform a duality argument, close to the well-known Hilbert Uniqueness Method in a reflexive Banach setting, to prove that the heat equation perturbed by a source term is null-controllable thanks to odd controls. Finally, the nonlinearity is handled with a Schauder fixed-point argument.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
Global null-controllability for stochastic semilinear parabolic equations
Authors:
Víctor Hernández-Santamaría,
Kévin Le Balc'h,
Liliana Peralta
Abstract:
In this paper, we prove the small-time global null-controllability of forward (resp. backward) semilinear stochastic parabolic equations with globally Lipschitz nonlinearities in the drift and diffusion terms (resp. in the drift term). In particular, we solve the open question posed by S. Tang and X. Zhang, in 2009. We propose a new twist on a classical strategy for controlling linear stochastic s…
▽ More
In this paper, we prove the small-time global null-controllability of forward (resp. backward) semilinear stochastic parabolic equations with globally Lipschitz nonlinearities in the drift and diffusion terms (resp. in the drift term). In particular, we solve the open question posed by S. Tang and X. Zhang, in 2009. We propose a new twist on a classical strategy for controlling linear stochastic systems. By employing a new refined Carleman estimate, we obtain a controllability result in a weighted space for a linear system with source terms. The main novelty here is that the Carleman parameters are made explicit and are then used in a Banach fixed point method. This allows to circumvent the well-known problem of the lack of compactness embeddings for the solutions spaces arising in the study of controllability problems for stochastic PDEs.
△ Less
Submitted 17 October, 2020;
originally announced October 2020.
-
Statistical null-controllability of stochastic nonlinear parabolic equations
Authors:
Victor Hernandez-Santamaria,
Kevin Le Balc'h,
Liliana Peralta
Abstract:
In this paper, we consider forward stochastic nonlinear parabolic equations, with a control localized in the drift term. Under suitable assumptions, we prove the small-time global null-controllability, with a truncated nonlinearity. We also prove the statistical local null-controllability of the true system. The proof relies on a precise estimation of the cost of null-controllability of the stocha…
▽ More
In this paper, we consider forward stochastic nonlinear parabolic equations, with a control localized in the drift term. Under suitable assumptions, we prove the small-time global null-controllability, with a truncated nonlinearity. We also prove the statistical local null-controllability of the true system. The proof relies on a precise estimation of the cost of null-controllability of the stochastic heat equation and on an adaptation of the source term method to the stochastic setting. The main difficulty comes from the estimation of the nonlinearity in the fixed point argument due to the lack of regularity (in probability) of the functional spaces where stochastic parabolic equations are well-posed. This main issue is tackled through a truncation procedure. As relevant examples that are covered by our results, let us mention the stochastic Burgers equation in the one dimensional case and the Allen-Cahn equation up to the three-dimensional setting.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
-
Exponential bounds for gradient of solutions to linear elliptic and parabolic equations
Authors:
Kévin Le Balc'h
Abstract:
In this paper, we prove global gradient estimates for solutions to linear elliptic and parabolic equations. For a sufficiently smooth bounded convex domain $Ω\subset \mathbb{R}^N$, we show that a solution $φ\in W_0^{1,\infty}(Ω)$ to an appropriate elliptic equation $\mathcal{L} φ= F$, with $F \in L^{\infty}(Ω;\mathbb{R})$, satisfies $|\nabla φ|_{\infty} \leq C |F|_{\infty}$, with a positive consta…
▽ More
In this paper, we prove global gradient estimates for solutions to linear elliptic and parabolic equations. For a sufficiently smooth bounded convex domain $Ω\subset \mathbb{R}^N$, we show that a solution $φ\in W_0^{1,\infty}(Ω)$ to an appropriate elliptic equation $\mathcal{L} φ= F$, with $F \in L^{\infty}(Ω;\mathbb{R})$, satisfies $|\nabla φ|_{\infty} \leq C |F|_{\infty}$, with a positive constant $C = \exp(C(\mathcal{L})\text{diam}(Ω))$. We also obtain similiar estimates in the parabolic setting. The proof of these exponential bounds relies on global gradient estimates inspired by a series of papers by Ben Andrews and Julie Clutterbuck. This work is motivated by a dual version of the Landis conjecture.
△ Less
Submitted 8 June, 2020;
originally announced June 2020.
-
Small-time global exact controllability to the trajectories for the viscous Boussinesq system
Authors:
F. W. Chaves-Silva,
E. Fernández-Cara,
K. Le Balc'h,
J. L. F. Machado,
D. A. Souza
Abstract:
In this paper, we deal with the global exact controllability to the trajectories of the Boussinesq system. We consider 2D and 3D smooth bounded domains. The velocity field of the fluid must satisfy a Navier slip-with-friction boundary condition and a Robin boundary condition is imposed to the temperature. We assume that one can act on the velocity and the temperature on an arbitrary small part of…
▽ More
In this paper, we deal with the global exact controllability to the trajectories of the Boussinesq system. We consider 2D and 3D smooth bounded domains. The velocity field of the fluid must satisfy a Navier slip-with-friction boundary condition and a Robin boundary condition is imposed to the temperature. We assume that one can act on the velocity and the temperature on an arbitrary small part of the boundary. The proof relies on three main arguments. First, we transform the problem into a distributed controllability problem by using a domain extension procedure. Then, we prove a global approximate controllability result by following the strategy of Coron et al [J. Eur. Math. Soc., 22 (2020), pp. 1625-1673], which deals with the Navier-Stokes equations. This part relies on the controllability of the inviscid Boussinesq system and asymptotic boundary layer expansions. Finally, we conclude with a local controllability result that we establish with the help of a linearization argument and appropriate Carleman estimates.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
Local-controllability of the one-dimensional nonlocal Gray-Scott model with moving controls
Authors:
Víctor Hernández-Santamaría,
Kévin Le Balc'h
Abstract:
In this paper, we prove the local-controllability to positive constant trajectories of a nonlinear system of two coupled ODE equations, posed in the one-dimensional spatial setting, with nonlocal spatial nonlinearites, and using only one localized control with a moving support. The model we deal with is derived from the well-known nonlinear reaction-diffusion Gray-Scott model when the diffusion co…
▽ More
In this paper, we prove the local-controllability to positive constant trajectories of a nonlinear system of two coupled ODE equations, posed in the one-dimensional spatial setting, with nonlocal spatial nonlinearites, and using only one localized control with a moving support. The model we deal with is derived from the well-known nonlinear reaction-diffusion Gray-Scott model when the diffusion coefficient of the first chemical species $d_u$ tends to $0$ and the diffusion coefficient of the second chemical species ${d_v}$ tends to $+ \infty$. The strategy of the proof consists in two main steps. First, we establish the local-controllability of the reaction-diffusion ODE-PDE derived from the Gray-Scott model taking $d_u=0$, and uniformly with respect to the diffusion parameter ${d_v} \in (1, +\infty)$. In order to do this, we prove the (uniform) null-controllability of the linearized system thanks to an observability estimate obtained through adapted Carleman estimates for ODE-PDE. To pass to the nonlinear system, we use a precise inverse mapping argument and, secondly, we apply the shadow limit ${d_v} \rightarrow + \infty$ to reduce to the initial system.
△ Less
Submitted 24 April, 2020;
originally announced April 2020.
-
Approximate controllability of the linearized Boussinesq system in a two dimensional channel
Authors:
Kévin Le Balc'h
Abstract:
In this paper, we prove an approximate controllability result for the linearized Boussinesq system around a fluid at rest, in a two dimensional channel, when the control acts only on the temperature, through the upper boundary.
In this paper, we prove an approximate controllability result for the linearized Boussinesq system around a fluid at rest, in a two dimensional channel, when the control acts only on the temperature, through the upper boundary.
△ Less
Submitted 4 January, 2020; v1 submitted 27 December, 2019;
originally announced December 2019.
-
Local null-controllability of a nonlocal semilinear heat equation
Authors:
Víctor Hernández-Santamaría,
Kévin Le Balc'h
Abstract:
This paper deals with the problem of internal null-controllability of a heat equation posed on a bounded domain with Dirichlet boundary conditions and perturbed by a semilinear nonlocal term. We prove the small-time local null-controllability of the equation. The proof relies on two main arguments. First, we establish the small-time local null-controllability of a $2 \times 2$ reaction-diffusion s…
▽ More
This paper deals with the problem of internal null-controllability of a heat equation posed on a bounded domain with Dirichlet boundary conditions and perturbed by a semilinear nonlocal term. We prove the small-time local null-controllability of the equation. The proof relies on two main arguments. First, we establish the small-time local null-controllability of a $2 \times 2$ reaction-diffusion system, where the second equation is governed by the parabolic operator $τ\partial_t - σΔ$, $τ, σ> 0$. More precisely, this controllability result is obtained uniformly with respect to the parameters $(τ, σ) \in (0,1) \times (1, + \infty)$. Secondly, we observe that the semilinear nonlocal heat equation is actually the asymptotic derivation of the reaction-diffusion system in the limit $(τ,σ) \rightarrow (0,+\infty)$. Finally, we illustrate these results by numerical simulations.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Null-controllability of linear parabolic-transport systems
Authors:
Karine Beauchard,
Armand Koenig,
Kévin Le Balc'h
Abstract:
Over the past two decades, the controllability of several examples of parabolic-hyperbolic systems has been investigated. The present article is the beginning of an attempt to find a unified framework that encompasses and generalizes the previous results.
We consider constant coefficients heat-transport systems with coupling of order zero and one, with a locally distributed control in the source…
▽ More
Over the past two decades, the controllability of several examples of parabolic-hyperbolic systems has been investigated. The present article is the beginning of an attempt to find a unified framework that encompasses and generalizes the previous results.
We consider constant coefficients heat-transport systems with coupling of order zero and one, with a locally distributed control in the source term, posed on the one dimensional torus.
We prove the null-controllability, in optimal time (the one expected because of the transport component) when there is as much controls as equations. When the control acts only on the transport (resp. parabolic) component, we prove an algebraic necessary and sufficient condition, on the coupling term, for the null controllability.
The whole study relies on a careful spectral analysis, based on perturbation theory. The negative controllability result in small time is proved on solutions localized on high hyperbolic frequencies, that solve a pure transport equation up to a compact term. The proof of the positive result in large time relies on a spectral decomposition into low, and asymptotically parabolic or hyperbolic frequencies.
△ Less
Submitted 11 September, 2019; v1 submitted 22 July, 2019;
originally announced July 2019.
-
Global null-controllability and nonnegative-controllability of slightly superlinear heat equations
Authors:
Kévin Le Balc'H
Abstract:
We consider the semilinear heat equation posed on a smooth bounded domain $Ω$ of $\mathbb{R}^{N}$ with Dirichlet or Neumann boundary conditions. The control input is a source term localized in some arbitrary nonempty open subset $ω$ of $Ω$. The goal of this paper is to prove the uniform large time global null-controllability for semilinearities $f(s) = \pm |s| \log^α(2+|s|)$ where $α\in [3/2,2)$ w…
▽ More
We consider the semilinear heat equation posed on a smooth bounded domain $Ω$ of $\mathbb{R}^{N}$ with Dirichlet or Neumann boundary conditions. The control input is a source term localized in some arbitrary nonempty open subset $ω$ of $Ω$. The goal of this paper is to prove the uniform large time global null-controllability for semilinearities $f(s) = \pm |s| \log^α(2+|s|)$ where $α\in [3/2,2)$ which is the case left open by Enrique Fernandez-Cara and Enrique Zuazua in 2000. It is worth mentioning that the free solution (without control) can blow-up. First, we establish the small-time global nonnegative-controllability (respectively nonpositive-controllability) of the system, i.e., one can steer any initial data to a nonnegative (respectively nonpositive) state in arbitrary time. In particular, one can act locally thanks to the control term in order to prevent the blow-up from happening. The proof relies on precise observability estimates for the linear heat equation with a bounded potential $a(t,x)$. More precisely, we show that observability holds with a sharp constant of the order $\exp\left(C |a|\_{\infty}^{1/2}\right)$ for nonnegative initial data. This inequality comes from a new $L^1$ Carleman estimate. A Kakutani's fixed point argument enables to go back to the semilinear heat equation. Secondly, the uniform large time null-controllability result comes from three ingredients: the global nonnegative-controllability, a comparison principle between the free solution and the solution to the underlying ordinary differential equation which provides the convergence of the free solution toward $0$ in $L^{\infty}(Ω)$-norm, and the local null-controllability of the semilinear heat equation.
△ Less
Submitted 31 October, 2018; v1 submitted 29 October, 2018;
originally announced October 2018.
-
Local controllability of reaction-diffusion systems around nonnegative stationary states
Authors:
Kévin Le Balc'H
Abstract:
We consider a $n \times n$ nonlinear reaction-diffusion system posed on a smooth bounded domain $Ω$ of $\mathbb{R}^N$. This system models reversible chemical reactions. We act on the system through $m$ controls ($1 \leq m < n$), localized in some arbitrary nonempty open subset $ω$ of the domain $Ω$. We prove the local exact controllability to nonnegative (constant) stationary states in any time…
▽ More
We consider a $n \times n$ nonlinear reaction-diffusion system posed on a smooth bounded domain $Ω$ of $\mathbb{R}^N$. This system models reversible chemical reactions. We act on the system through $m$ controls ($1 \leq m < n$), localized in some arbitrary nonempty open subset $ω$ of the domain $Ω$. We prove the local exact controllability to nonnegative (constant) stationary states in any time $T >0$. A specificity of this control system is the existence of some invariant quantities in the nonlinear dynamics that prevents controllability from happening in the whole space $L^\infty(Ω)^n$. The proof relies on several ingredients. First, an adequate affine change of variables transforms the system into a cascade system with second order coupling terms. Secondly, we establish a new null-controllability result for the linearized system thanks to a spectral inequality for finite sums of eigenfunctions of the Neumann Laplacian operator, due to David Jerison, Gilles Lebeau and Luc Robbiano and precise observability inequalities for a family of finite dimensional systems. Thirdly, the source term method, introduced by Yuning Liu, Takéo Takahashi and Marius Tucsnak, is revisited in a $L^{\infty}$-context. Finally, an appropriate inverse mapping theorem enables to go back to the nonlinear reaction-diffusion system.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
Null-Controllability of Two Species Reaction-Diffusion System with Nonlinear Coupling: A New Duality Method
Authors:
Kévin Le Balc'H
Abstract:
We consider a $2\times2$ nonlinear reaction-diffusion system posed on a smooth bounded domain$$Ω$ of R N (N $\ge$ 1$). The control input is in the source term of only one equation. It is localized in some arbitrary nonempty open subset $ω$ of the domain $Ω…
▽ More
We consider a $2\times2$ nonlinear reaction-diffusion system posed on a smooth bounded domain$$Ω$ of R N (N $\ge$ 1$). The control input is in the source term of only one equation. It is localized in some arbitrary nonempty open subset $ω$ of the domain $Ω$. First, we prove a global null-controllability result when the coupling term in the second equation is an odd power. As the linearized system around zero is not null-controllable, the usual strategy consists in using the return method, introduced by Jean-Michel Coron, or the method of power series expansions. In this paper, we give a direct nonlinear proof, which relies on a new duality method that we call Reflexive Uniqueness Method. It is a variation in reflexive Banach spaces of the well-known Hilbert Uniqueness Method, introduced by Jacques-Louis Lions. It is based on Carleman estimates in $L^p$ ($2 \leq p < \infty$) obtained from the usual Carleman inequality in $L^2$ and parabolic regularity arguments. This strategy enables us to find a control of the heat equation, which is an odd power of a regular function. Another advantage of the method is to produce small controls for small initial data. Secondly, thanks to the return method, we also prove a null-controllability result for more general nonlinear reaction-diffusion systems, where the coupling term in the second equation behaves as an odd power at zero.
△ Less
Submitted 26 February, 2018;
originally announced February 2018.
-
Controllability of a $4\times4$ quadratic reaction-diffusion system
Authors:
Kévin Le Balc'h
Abstract:
We consider a $4\times4$ nonlinear reaction-diffusion system posed on a smooth domain $Ω$ of $\mathbb{R}^N$ ($N \geq 1$) with controls localized in some arbitrary nonempty open subset $ω$ of the domain $Ω$. This system is a model for the evolution of concentrations in reversible chemical reactions. We prove the local exact controllability to stationary constant solutions of the underlying reaction…
▽ More
We consider a $4\times4$ nonlinear reaction-diffusion system posed on a smooth domain $Ω$ of $\mathbb{R}^N$ ($N \geq 1$) with controls localized in some arbitrary nonempty open subset $ω$ of the domain $Ω$. This system is a model for the evolution of concentrations in reversible chemical reactions. We prove the local exact controllability to stationary constant solutions of the underlying reaction-diffusion system for every $N \geq 1$ in any time $T >0$. A specificity of this control system is the existence of some invariant quantities in the nonlinear dynamics. The proof is based on a linearization which uses return method and an adequate change of variables that creates crossed diffusion which will be used as coupling terms of second order. The controllability properties of the linearized system are deduced from Carleman estimates. A Kakutani's fixed-point argument enables to go back to the nonlinear parabolic system. Then, we prove a global controllability result in large time for $1 \leq N \leq 2$ thanks to our local controllabillity result together with a known theorem on the asymptotics of the free nonlinear reaction diffusion system.
△ Less
Submitted 8 August, 2018; v1 submitted 24 November, 2017;
originally announced November 2017.
