Showing 1–3 of 3 results for author: Araújo, R K C

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.

Comments: 23 pages

MSC Class: 35R35; 80A22; 93B05; 93C20

Journal ref: SIAM Journal on Control and Optimization 60 (5), 3078-3099 (2022)

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.

Comments: 25 pages

Journal ref: ESAIM: Control, Optimisation and Calculus of Variations 27 (78), (2021)

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.

Comments: 17 pages

Journal ref: Journal of Differential Equations, 269 (11), pp 9123-9143 (2020)