-
Uniqueness in determining multidimensional domains with unknown initial data
Authors:
Jone Apraiz,
Anna Doubova,
Enrique Fernández-Cara,
Masahiro Yamamoto
Abstract:
This paper addresses several geometric inverse problems for some linear parabolic systems where the initial data (and even the coefficients) are unknown. The goal is to identify a subdomain within a multidimensional set. The non-homogeneous part of the equation is expressed as a function of separate space and time variables. We establish uniqueness results by incorporating observations that can be…
▽ More
This paper addresses several geometric inverse problems for some linear parabolic systems where the initial data (and even the coefficients) are unknown. The goal is to identify a subdomain within a multidimensional set. The non-homogeneous part of the equation is expressed as a function of separate space and time variables. We establish uniqueness results by incorporating observations that can be on the boundary or in an interior domain. Through this process, we also derive information about the initial data. The main tools required for the proofs include unique continuation, time analyticity of the solutions and semigroup theory.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Numerical null controllability of parabolic PDEs using Lagrangian methods
Authors:
Enrique Fernandez-Cara,
Roberto Morales,
Diego A. Souza
Abstract:
In this paper, we study several theoretical and numerical questions concerning the null controllability problems for linear parabolic equations and systems for several dimensions. The control is distributed and acts on a small subset of the domain. The main goal is to compute numerically a control that drives a numerical approximation of the state from prescribed initial data exactly to zero. We i…
▽ More
In this paper, we study several theoretical and numerical questions concerning the null controllability problems for linear parabolic equations and systems for several dimensions. The control is distributed and acts on a small subset of the domain. The main goal is to compute numerically a control that drives a numerical approximation of the state from prescribed initial data exactly to zero. We introduce a methodology for solving numerical controllability problems that is new in some sense. The main idea is to apply classical Lagrangian and Augmented Lagrangian techniques to suitable constrained extremal formulations that involve unbounded weights in time that make global Carleman inequalities possible. The theoretical results are validated by satisfactory numerical experiments for spatially 2D and 3D problems.
△ Less
Submitted 21 November, 2024;
originally announced November 2024.
-
On the control of a simplified k-e model of turbulence
Authors:
Pitágoras Pinheiro de Carvalho,
Juan Bautista Límaco Ferrel,
Enrique Fernandez-Cara
Abstract:
This paper deals with the control of a kind of turbulent flows. We consider a simplified k-e model with distributed controls, locally supported in space. We proof that the system is partially locally null-controllable, in the sense that the velocity field can be driven exactly to zero if the initial state is small enough. The proof relies on an argument where we have concatenated several technique…
▽ More
This paper deals with the control of a kind of turbulent flows. We consider a simplified k-e model with distributed controls, locally supported in space. We proof that the system is partially locally null-controllable, in the sense that the velocity field can be driven exactly to zero if the initial state is small enough. The proof relies on an argument where we have concatenated several techniques: fixed-point formulation, linearization, energy and Carleman estimates, local inversion, etc. Ths result can be viewed as a nontrivial step towards the control of turbulent fluids.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Remarks on the control of two-phase Stefan free-boundary problems
Authors:
Raul K. C. Araújo,
Enrique Fernández-Cara,
Juan Límaco,
Diego A. Souza
Abstract:
This paper concerns the null controllability of the two-phase 1D Stefan problem with distributed controls. This is a free-boundary problem that models solidification or melting processes. In each phase, a parabolic equation, completed with initial and boundary conditions must be satisfied; the phases are separated by a phase-change interface where an additional free-boundary condition is imposed.…
▽ More
This paper concerns the null controllability of the two-phase 1D Stefan problem with distributed controls. This is a free-boundary problem that models solidification or melting processes. In each phase, a parabolic equation, completed with initial and boundary conditions must be satisfied; the phases are separated by a phase-change interface where an additional free-boundary condition is imposed. We assume that two localized sources of heating/cooling controls act on the system (one in each phase). We prove a local null controllability result: the temperatures and the interface can be respectively steered to zero and to a prescribed location provided the initial data and interface position are sufficiently close to the targets. The ingredients of the proofs are a compactness-uniqueness argument (to deduce appropriate observability estimates adapted to constraints) and a fixed-point formulation and resolution of the controllability problem (to deduce the result for the nonlinear system). We also prove a negative result corresponding to the case where only one control acts on the system and the interface does not collapse to the boundary.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Boundary controllability of incompressible Euler fluids with Boussinesq heat effects
Authors:
Enrique Fernández-Cara,
Maurício C. Santos,
Diego A. Souza
Abstract:
This paper deals with the boundary controllability of inviscid incompressible fluids for which thermal effects are important. They will be modeled through the so called Boussinesq approximation. In the zero heat diffusion case, by adapting and extending some ideas from J.-M.~Coron and O.~Glass, we establish the simultaneous global exact controllability of the velocity field and the temperature for…
▽ More
This paper deals with the boundary controllability of inviscid incompressible fluids for which thermal effects are important. They will be modeled through the so called Boussinesq approximation. In the zero heat diffusion case, by adapting and extending some ideas from J.-M.~Coron and O.~Glass, we establish the simultaneous global exact controllability of the velocity field and the temperature for 2D and 3D flows. When the heat diffusion coefficient is positive, we present some additional results concerning exact controllability for the velocity field and local null controllability of the temperature.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
On the numerical controllability of the two-dimensional heat, Stokes and Navier-Stokes equations
Authors:
Enrique Fernández-Cara,
Arnaud Münch,
Diego A. Souza
Abstract:
The aim of this work is to present some strategies to solve numerically controllability problems for the two-dimensional heat equation, the Stokes equations and the Navier-Stokes equations with Dirichlet boundary conditions. The main idea is to adapt the Fursikov-Imanuvilov formulation, see~[A.V. Fursikov, O.Yu. Imanuvilov: {\it Controllability of Evolutions Equations,} Lectures Notes Series, Vol.…
▽ More
The aim of this work is to present some strategies to solve numerically controllability problems for the two-dimensional heat equation, the Stokes equations and the Navier-Stokes equations with Dirichlet boundary conditions. The main idea is to adapt the Fursikov-Imanuvilov formulation, see~[A.V. Fursikov, O.Yu. Imanuvilov: {\it Controllability of Evolutions Equations,} Lectures Notes Series, Vol.~34, Seoul National University, 1996]; this approach has been followed recently for the one-dimensional heat equation by the first two authors. More precisely, we minimize over the class of admissible null controls a functional that involves weighted integrals of the state and the control, with weights that blow up near the final time. The associated optimality conditions can be viewed as a differential system in the three variables $x_1$, $x_2$ and $t$ that is second--order in time and fourth--order in space, completed with appropriate boundary conditions. We present several mixed formulations of the problems and, then, associated mixed finite element Lagrangian approximations that are relatively easy to handle. Finally, we exhibit some numerical experiments.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Uniform local null control of the Leray-$α$ model
Authors:
Fágner D. Araruna,
Enrique Fernández-Cara,
Diego A. Souza
Abstract:
This paper deals with the distributed and boundary controllability of the so called Leray-$α$ model. This is a regularized variant of the Navier-Stokes system ($α$ is a small positive parameter) that can also be viewed as a model for turbulent flows. We prove that the Leray-$α$ equations are locally null controllable, with controls bounded independently of $α$. We also prove that, if the initial d…
▽ More
This paper deals with the distributed and boundary controllability of the so called Leray-$α$ model. This is a regularized variant of the Navier-Stokes system ($α$ is a small positive parameter) that can also be viewed as a model for turbulent flows. We prove that the Leray-$α$ equations are locally null controllable, with controls bounded independently of $α$. We also prove that, if the initial data are sufficiently small, the controls converge as $α\to 0^+$ to a null control of the Navier-Stokes equations. We also discuss some other related questions, such as global null controllability, local and global exact controllability to the trajectories, etc.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
On the control of the Burgers-alpha model
Authors:
Fágner D. Araruna,
Enrique Fernández-Cara,
Diego A. Souza
Abstract:
This work is devoted to prove the local null controllability of the Burgers-$α$ model. The state is the solution to a regularized Burgers equation, where the transport term is of the form $zy_x$, $z=(Id-α^2\frac{\partial^2}{\partial x^2})^{-1}y$ and $α>0$ is a small parameter. We also prove some results concerning the behavior of the null controls and associated states as $α\to 0^+$.
This work is devoted to prove the local null controllability of the Burgers-$α$ model. The state is the solution to a regularized Burgers equation, where the transport term is of the form $zy_x$, $z=(Id-α^2\frac{\partial^2}{\partial x^2})^{-1}y$ and $α>0$ is a small parameter. We also prove some results concerning the behavior of the null controls and associated states as $α\to 0^+$.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
On the control of some coupled systems of the Boussinesq kind with few controls
Authors:
Enrique Fernández-Cara,
Diego A. Souza
Abstract:
This paper is devoted to prove the local exact controllability to the trajectories for a coupled system, of the Boussinesq kind, with a reduced number of controls. In the state system, the unknowns are the velocity field and pressure of the fluid $(y, p)$, the temperature $θ$ and an additional variable $c$ that can be viewed as the concentration of a contaminant solute. We prove several results, t…
▽ More
This paper is devoted to prove the local exact controllability to the trajectories for a coupled system, of the Boussinesq kind, with a reduced number of controls. In the state system, the unknowns are the velocity field and pressure of the fluid $(y, p)$, the temperature $θ$ and an additional variable $c$ that can be viewed as the concentration of a contaminant solute. We prove several results, that essentially show that it is sufficient to act locally in space on the equations satisfied by $θ$ and $c$.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Inverse problems for one-dimensional fluid-solid interaction models
Authors:
J. Apraiz,
A. Doubova,
E. Fernández-Cara,
M. Yamamoto
Abstract:
We consider a one-dimensional fluid-solid interaction model governed by the Burgers equation with a time varying interface. We discuss on the inverse problem of determining the shape of the interface from Dirichlet and Neumann data at one end point of the spatial interval. In particular, we establish uniqueness results and some conditional stability estimates. For the proofs, we use and adapt some…
▽ More
We consider a one-dimensional fluid-solid interaction model governed by the Burgers equation with a time varying interface. We discuss on the inverse problem of determining the shape of the interface from Dirichlet and Neumann data at one end point of the spatial interval. In particular, we establish uniqueness results and some conditional stability estimates. For the proofs, we use and adapt some lateral estimates that, in turn, rely on appropriate Carleman and interpolation inequalities.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
On Pareto equilibria for bi-objective diffusive optimal control problems
Authors:
Pitágoras P. de Carvalho,
Enrique Fernández-Cara,
Juan Límaco,
Denilson Menezes,
Yuri Thamsten
Abstract:
We investigate Pareto equilibria for bi-objective optimal control problems. Our framework comprises the situation in which an agent acts with a distributed control in a portion of a given domain, and aims to achieve two distinct (possibly conflicting) targets. We analyze systems governed by linear and semilinear heat equations and also systems with multiplicative controls. We develop numerical met…
▽ More
We investigate Pareto equilibria for bi-objective optimal control problems. Our framework comprises the situation in which an agent acts with a distributed control in a portion of a given domain, and aims to achieve two distinct (possibly conflicting) targets. We analyze systems governed by linear and semilinear heat equations and also systems with multiplicative controls. We develop numerical methods relying on a combination of finite elements and finite differences. We illustrate the computational methods we develop via numerous experiments.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Exact controllability to the trajectories of the one-phase Stefan problem
Authors:
Jon Asier Bárcena-Petisco,
Enrique Fernández-Cara,
Diego A. Souza
Abstract:
This paper deals with the exact controllability to the trajectories of the one--phase Stefan problem in one spatial dimension. This is a free-boundary problem that models solidification and melting processes. It is assumed that the physical domain is filled by a medium whose state is liquid on the left and solid, with constant temperature, on the right. In between we find a free-boundary (the inte…
▽ More
This paper deals with the exact controllability to the trajectories of the one--phase Stefan problem in one spatial dimension. This is a free-boundary problem that models solidification and melting processes. It is assumed that the physical domain is filled by a medium whose state is liquid on the left and solid, with constant temperature, on the right. In between we find a free-boundary (the interface that separates the liquid from the solid). In the liquid domain, a parabolic equation completed with initial and boundary conditions must be satisfied by the temperature. On the interface, an additional free-boundary requirement, called the {\it Stefan condition,} is imposed. We prove the local exact controllability to the (smooth) trajectories. To this purpose, we first reformulate the problem as the local null controllability of a coupled PDE-ODE system with distributed controls. Then, a new Carleman inequality for the adjoint of the linearized PDE-ODE system, coupled on the boundary through nonlocal in space and memory terms, is presented. This leads to the null controllability of an appropriate linear system. Finally, a local result is obtained via local inversion, by using {\it Liusternik-Graves' Theorem}. As a byproduct of our approach, we find that some parabolic equations which contains memory terms localized on the boundary are null-controllable.
△ Less
Submitted 10 April, 2022;
originally announced April 2022.
-
Some Inverse Problems for the Burgers Equation and Related Systems
Authors:
J. Apraiz,
A. Doubova,
E. Fernández-Cara,
M. Yamamoto
Abstract:
In this article we deal with one-dimensional inverse problems concerning the Burgers equation and some related nonlinear systems (involving heat effects and/or variable density). In these problems, the goal is to find the size of the spatial interval from some appropriate boundary observations of the solution. Depending on the properties of the initial and boundary data, we prove uniqueness and no…
▽ More
In this article we deal with one-dimensional inverse problems concerning the Burgers equation and some related nonlinear systems (involving heat effects and/or variable density). In these problems, the goal is to find the size of the spatial interval from some appropriate boundary observations of the solution. Depending on the properties of the initial and boundary data, we prove uniqueness and non-uniqueness results. In addition, we also solve some of these inverse problems numerically and compute approximations of the interval sizes.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
Uniqueness and numerical reconstruction for inverse problems dealing wit interval size search
Authors:
J. Apraiz,
J. Cheng,
A. Doubova,
E. Fernández-Cara,
M. Yamamoto
Abstract:
We consider a heat equation and a wave equation in a spatial interval over a time interval. This article deals with inverse problems of determining sizes of spatial intervals by extra boundary data of solutions of the governing equations. Under several different circumstances, we prove the uniqueness, the non-uniqueness and some size estimate. Moreover, we numerically solve the inverse problems an…
▽ More
We consider a heat equation and a wave equation in a spatial interval over a time interval. This article deals with inverse problems of determining sizes of spatial intervals by extra boundary data of solutions of the governing equations. Under several different circumstances, we prove the uniqueness, the non-uniqueness and some size estimate. Moreover, we numerically solve the inverse problems and compute accurate approximations of the sizes. This is illustrated with satisfactory numerical experiments.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
On the Uniform Controllability of the Inviscid and Viscous Burgers-$α$ Systems
Authors:
Raul K. C. Araújo,
Enrique Fernández-Cara,
Diego A. Souza
Abstract:
This work is devoted to prove the global uniform exact controllability of the inviscid and viscous Burgers-$α$ systems. The state $y$ is the solution to a regularized Burgers equation, where the transport velocity $z$ consists of a filtered version of $y$ - specifically $z=(Id-α^2\partial^2_ {xx})^{-1}y$ with $α>0$ being a small parameter - in place of $y$. First, a global uniform exact controllab…
▽ More
This work is devoted to prove the global uniform exact controllability of the inviscid and viscous Burgers-$α$ systems. The state $y$ is the solution to a regularized Burgers equation, where the transport velocity $z$ consists of a filtered version of $y$ - specifically $z=(Id-α^2\partial^2_ {xx})^{-1}y$ with $α>0$ being a small parameter - in place of $y$. First, a global uniform exact controllability result for the nonviscous Burgers-$α$ system with three scalar controls is obtained, using the return method. Then, global exact controllability to constant states of the viscous system is deduced from a local exact controllability result and a global approximate controllability result for smooth initial and target states.
△ Less
Submitted 9 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.
-
On Some Geometric Inverse Problems for Nonscalar Elliptic Systems
Authors:
Raul K. C. Araújo,
Enrique Fernández-Cara,
Diego A. Souza
Abstract:
In this paper, we consider several geometric inverse problems for linear elliptic systems. We prove uniqueness and stability results. In particular, we show the way that the observation depends on the perturbations of the domain. In some particular situations, this provides a strategy that could be used to compute approximations to the solution of the inverse problem. In the proofs, we use techniq…
▽ More
In this paper, we consider several geometric inverse problems for linear elliptic systems. We prove uniqueness and stability results. In particular, we show the way that the observation depends on the perturbations of the domain. In some particular situations, this provides a strategy that could be used to compute approximations to the solution of the inverse problem. In the proofs, we use techniques related to (local) Carleman estimates and differentiation with respect to the domain.
△ Less
Submitted 24 April, 2019;
originally announced April 2019.
-
Non null controllability of Stokes equations with memory
Authors:
Enrique Fernández-Cara,
José Lucas F. Machado,
Diego A. Souza
Abstract:
In this paper, we study the null controllability of the three-dimensional Stokes equations with a memory term. For any positive final time $T>0$, we construct initial conditions such that the null controllability does not hold even if the controls act on the whole boundary. Moreover, we also prove that this negative result holds for distributed controls.
In this paper, we study the null controllability of the three-dimensional Stokes equations with a memory term. For any positive final time $T>0$, we construct initial conditions such that the null controllability does not hold even if the controls act on the whole boundary. Moreover, we also prove that this negative result holds for distributed controls.
△ Less
Submitted 15 November, 2018;
originally announced November 2018.
-
A priori estimates for the system modelling nonhomogeneous asymmetric fluids
Authors:
Aníbal Coronel,
Enrique Fernández-Cara,
Marko Rojas-Medar,
Alex Tello
Abstract:
In this paper, we prove some a priori estimates for a system of partial differential equations arising in the nonstationary flow of a nonhomogeneous incompressible asymmetric fluid in a bounded domain with smooth boundary. The unknowns of the system are the velocity field of the fluid particles, the angular velocity of rotation of the fluid particles, the mass density of the fluid and the pressure…
▽ More
In this paper, we prove some a priori estimates for a system of partial differential equations arising in the nonstationary flow of a nonhomogeneous incompressible asymmetric fluid in a bounded domain with smooth boundary. The unknowns of the system are the velocity field of the fluid particles, the angular velocity of rotation of the fluid particles, the mass density of the fluid and the pressure distribution. For the density functions we consider the application of the Helmholtz decomposition.
△ Less
Submitted 11 July, 2018; v1 submitted 21 October, 2017;
originally announced October 2017.
-
Numerical controllability of the wave equation through primal methods and Carleman estimates
Authors:
Nicolae Cîndea,
Enrique Fernandez-Cara,
Arnaud Munch
Abstract:
This paper deals with the numerical computation of boundary null controls for the 1D wave equation with a potential. The goal is to compute an approximation of controls that drive the solution from a prescribed initial state to zero at a large enough controllability time. We do not use in this work duality arguments but explore instead a direct approach in the framework of global Carleman estimate…
▽ More
This paper deals with the numerical computation of boundary null controls for the 1D wave equation with a potential. The goal is to compute an approximation of controls that drive the solution from a prescribed initial state to zero at a large enough controllability time. We do not use in this work duality arguments but explore instead a direct approach in the framework of global Carleman estimates. More precisely, we consider the control that minimizes over the class of admissible null controls a functional involving weighted integrals of the state and of the control. The optimality conditions show that both the optimal control and the associated state are expressed in terms of a new variable, the solution of a fourth-order elliptic problem defined in the space-time domain. We first prove that, for some specific weights determined by the global Carleman inequalities for the wave equation, this problem is well-posed. Then, in the framework of the finite element method, we introduce a family of finite-dimensional approximate control problems and we prove a strong convergence result. Numerical experiments confirm the analysis. We complete our study with several comments.
△ Less
Submitted 10 January, 2013;
originally announced January 2013.
-
Null controllability for a parabolic-elliptic coupled system
Authors:
E. Fernández-Cara,
J. Limaco,
S. B. de Menezes
Abstract:
In this paper, we prove the null controllability of some parabolic-elliptic systems. The control is distributed, locally supported in space and appears only in one PDE. The arguments rely on fixed-point reformulation and suitable Carleman estimates for the solutions to the adjoint system. Under appropriate assumptions, we also prove that the solution can be obtained as the asymptotic limit of some…
▽ More
In this paper, we prove the null controllability of some parabolic-elliptic systems. The control is distributed, locally supported in space and appears only in one PDE. The arguments rely on fixed-point reformulation and suitable Carleman estimates for the solutions to the adjoint system. Under appropriate assumptions, we also prove that the solution can be obtained as the asymptotic limit of some similar parabolic systems.
△ Less
Submitted 13 April, 2012;
originally announced April 2012.
