Showing 1–8 of 8 results for author: Limaco, J

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 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.

MSC Class: 35Q93; 49J20; 49K20; 58E17

Local null controllability of a class of non-Newtonian incompressible viscous fluids

Authors: Pitágoras de Carvalho, Juan Límaco, Denilson Menezes, Yuri Thamsten

Abstract: We investigate the null controllability property of systems that mathematically describe the dynamics of some non-Newtonian incompressible viscous flows. The principal model we study was proposed by O. A. Ladyzhenskaya, although the techniques we develop here apply to other fluids having a shear-dependent viscosity. Taking advantage of the Pontryagin Minimum Principle, we utilize a bootstrapping a… ▽ More We investigate the null controllability property of systems that mathematically describe the dynamics of some non-Newtonian incompressible viscous flows. The principal model we study was proposed by O. A. Ladyzhenskaya, although the techniques we develop here apply to other fluids having a shear-dependent viscosity. Taking advantage of the Pontryagin Minimum Principle, we utilize a bootstrapping argument to prove that sufficiently smooth controls to the forced linearized Stokes problem exist, as long as the initial data in turn has enough regularity. From there, we extend the result to the nonlinear problem. As a byproduct, we devise a quasi-Newton algorithm to compute the states and a control, which we prove to converge in an appropriate sense. We finish the work with some numerical experiments. △ Less

Submitted 8 July, 2023; originally announced July 2023.

MSC Class: 35K55; 76D55; 93B05; 93C10

Journal ref: Evolution Equations and Control Theory, 2022, 11(4): 1251-1283

Carleman inequality for a linear degenerate parabolic problem

Authors: R. Demarque, J. Límaco, L. Viana

Abstract: In this work, we prove a Carleman estimate for a parabolic problem which has a dissipative degenerate term. The prove relies on choose a suitable weight function that change of sign inside the control domain. In this work, we prove a Carleman estimate for a parabolic problem which has a dissipative degenerate term. The prove relies on choose a suitable weight function that change of sign inside the control domain. △ Less

Submitted 27 October, 2020; originally announced October 2020.

MSC Class: Primary 35K65; 93B05; Secondary 93C20

Hierarchic Controllability for a nonlinear parabolic equation in one dimension

Authors: M. R. Nuñez-Chávez, J. Límaco

Abstract: This paper deals with the hierarchical control of the parabolic equation.We use Stackelberg{Nash strategies. As usual, we consider one leader and two followers. To each leader we associate a Nash equilibrium corresponding to a bi-objective optimal control problem, then, we look for a leader that solves null controllability e with trajectories problem. We consider linear and nonlinear equations in… ▽ More This paper deals with the hierarchical control of the parabolic equation.We use Stackelberg{Nash strategies. As usual, we consider one leader and two followers. To each leader we associate a Nash equilibrium corresponding to a bi-objective optimal control problem, then, we look for a leader that solves null controllability e with trajectories problem. We consider linear and nonlinear equations in dimension 1. △ Less

Submitted 30 November, 2019; originally announced December 2019.

Local null controllability of coupled degenerate systems with nonlocal terms and one control force

Authors: R. Demarque, J. Límaco, L. Viana

Abstract: In this paper, we are concerned with the internal control of a class of one-dimensional nonlinear parabolic systems with nonlocal and weakly degenerate diffusion coefficients. Our main theorem establishes a local null controllability result with only one internal control for a system of two equations. The proof, based on the ideias developed by Fursikov and Imanivilov, is obtained from the global… ▽ More In this paper, we are concerned with the internal control of a class of one-dimensional nonlinear parabolic systems with nonlocal and weakly degenerate diffusion coefficients. Our main theorem establishes a local null controllability result with only one internal control for a system of two equations. The proof, based on the ideias developed by Fursikov and Imanivilov, is obtained from the global null controllability of the linearized system provided by \textit{Lyusternik's Inverse Mapping Theorem}. This work extends the results previously treated by the authors for just one equation. For the system, the main issue is to obtain similar results with just one internal control, which requires a new Carleman estimate with the local term just depending on one of the state function. △ Less

Submitted 6 November, 2019; v1 submitted 27 May, 2018; originally announced May 2018.

MSC Class: Primary 35K65; 93B05; Secondary 35K55; 93C20

Local null controllability for degenerate parabolic equations with nonlocal term

Authors: Reginaldo Demarque, Juan Límaco, Luiz Viana

Abstract: We establish a local null controllability result for following the nonlinear parabolic equation: $$u_t-\left(b\left(x,\int_0^1u \ \right)u_x \right)_x+f(t,x,u)=hχ_ω,\ (t,x)\in (0,T)\times (0,1) $$ where $b(x,r)=\ell(r)a(x)$ is a function with separated variables that defines an operator which degenerates at $x=0$ and has a nonlocal term. Our approach relies on an application of Liusternik's invers… ▽ More We establish a local null controllability result for following the nonlinear parabolic equation: $$u_t-\left(b\left(x,\int_0^1u \ \right)u_x \right)_x+f(t,x,u)=hχ_ω,\ (t,x)\in (0,T)\times (0,1) $$ where $b(x,r)=\ell(r)a(x)$ is a function with separated variables that defines an operator which degenerates at $x=0$ and has a nonlocal term. Our approach relies on an application of Liusternik's inverse mapping theorem that demands the proof of a suitable Carleman estimate. △ Less

Submitted 19 April, 2018; v1 submitted 27 December, 2016; originally announced December 2016.

MSC Class: 35K65; 93B05 (Primary) 35K55 (Secondary)

Journal ref: Nonlinear Analysis: Real World Applications, V.43(2018), Pages 523-547

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.