Exact controllability to the trajectories of the one-phase Stefan problem
This paper deals with the boundary 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. We prove the local exact controllability to (smooth) trajectories. To this purpose,...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2023 |
| País: | España |
| Institución: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/154255 |
| Acceso en línea: | https://hdl.handle.net/11441/154255 https://doi.org/10.1016/j.jde.2023.08.016 |
| Access Level: | acceso abierto |
| Palabra clave: | Free-boundary problems One-phase Stefan problem Exact controllability to the trajectories Global Carleman inequalities Inverse function theorem |
| Sumario: | This paper deals with the boundary 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. We prove the local exact controllability to (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, the result is obtained via local inversion, by using Lyusternik-Graves' Theorem. As a byproduct of our approach, we find that some parabolic equations which contains memory terms located on the boundary are null-controllable. |
|---|