-
Lipschitz stability in inverse problems for semi-discrete parabolic operators
Authors:
Rodrigo Lecaros,
Juan López-Ríos,
Ariel A. Pérez
Abstract:
This work addresses an inverse problem for a semi-discrete parabolic equation, which consists of identifying the right-hand side of the equation based on solution measurements at an intermediate time and within a spatial subdomain. This result can be applied to establish a stability estimate for the spatially dependent potential function. Our approach relies on a novel semi-discrete Carleman estim…
▽ More
This work addresses an inverse problem for a semi-discrete parabolic equation, which consists of identifying the right-hand side of the equation based on solution measurements at an intermediate time and within a spatial subdomain. This result can be applied to establish a stability estimate for the spatially dependent potential function. Our approach relies on a novel semi-discrete Carleman estimate, whose parameter is constrained by the mesh size. As a consequence of the discrete terms arising in the Carleman inequality, this method naturally introduces an error term related to the solution's initial condition.
△ Less
Submitted 22 April, 2025; v1 submitted 1 April, 2025;
originally announced April 2025.
-
Controllability for a non-local formulation of surface gravity waves
Authors:
M. A. Fontelos,
R. Lecaros,
J. López-Ríos,
A. Pérez
Abstract:
In this paper, we study the approximate controllability of a system governed by an evolution problem known as the sloshing problem. This problem involves a spatial, nonlocal differential operator inherent in the dynamics of a two-dimensional, incompressible, non-viscous fluid within a confined domain. Our work establishes unique continuation results that enable the application of source control lo…
▽ More
In this paper, we study the approximate controllability of a system governed by an evolution problem known as the sloshing problem. This problem involves a spatial, nonlocal differential operator inherent in the dynamics of a two-dimensional, incompressible, non-viscous fluid within a confined domain. Our work establishes unique continuation results that enable the application of source control localized in an interior domain, allowing the aforementioned controllability.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Optimal control approach for moving bottom detection in one-dimensional shallow waters by surface measurements
Authors:
Gino Montecinos,
Rodrigo Lecaros,
Juan López-Ríos,
Enrique Zuazua
Abstract:
We consider the Boussinesq-Peregrine (BP) system as described by Lannes [Lannes, D. (2013). The water waves problem: mathematical analysis and asymptotics (Vol. 188). American Mathematical Soc.], within the shallow water regime, and study the inverse problem of determining the time and space variations of the channel bottom profile, from measurements of the wave profile and its velocity on the fre…
▽ More
We consider the Boussinesq-Peregrine (BP) system as described by Lannes [Lannes, D. (2013). The water waves problem: mathematical analysis and asymptotics (Vol. 188). American Mathematical Soc.], within the shallow water regime, and study the inverse problem of determining the time and space variations of the channel bottom profile, from measurements of the wave profile and its velocity on the free surface. A well-posedness result within a Sobolev framework for (BP), considering a time dependent bottom, is presented. Then, the inverse problem is reformulated as a nonlinear PDEconstrained optimization one. An existence result of the minimum, under constraints on the admissible set of bottoms, is presented. Moreover, an implementation of the gradient descent approach, via the adjoint method, is considered. For solving numerically both, the forward (BP) and its adjoint system, we derive a universal and low-dissipation scheme, which contains non-conservative products. The scheme is based on the FORCE-α method proposed in [Toro, E. F., Saggiorato, B., Tokareva, S., and Hidalgo, A. (2020). Low-dissipation centred schemes for hyperbolic equations in conservative and non-conservative form. Journal of Computational Physics, 416, 109545]. Finally, we implement this methodology to recover three different bottom profiles; a smooth bottom, a discontinuous one, and a continuous profile with a large gradient. We compare with two classical discretizations for (BP) and the adjoint system. These results corroborate the effectiveness of the proposed methodology to recover bottom profiles.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Controllability of surface gravity waves and the sloshing problem
Authors:
Marco Fontelos,
Juan López-Ríos
Abstract:
We study the problem of controlling the free surface for a two dimensional solid container in the context of the gravity waves and the sloshing problem. By using conformal maps and the Dirichlet-Neumann operator, the problem is formulated as a second order evolutionary equation on the free surface involving a self-adjoint operator. We present then the appropriate Sobolev spaces where having soluti…
▽ More
We study the problem of controlling the free surface for a two dimensional solid container in the context of the gravity waves and the sloshing problem. By using conformal maps and the Dirichlet-Neumann operator, the problem is formulated as a second order evolutionary equation on the free surface involving a self-adjoint operator. We present then the appropriate Sobolev spaces where having solutions for the system and study the exact controllability through an observability inequality for the adjoint problem.
△ Less
Submitted 15 January, 2023; v1 submitted 31 May, 2021;
originally announced June 2021.
-
The stability for an inverse problem of bottom recovering in water-waves
Authors:
R. Lecaros,
J. López-Ríos,
J. H. Ortega,
S. Zamorano
Abstract:
In this article we deal with a class of geometric inverse problem for bottom detection by one single measurement on the free surface in water--waves. We found upper and lower bounds for the size of the region enclosed between two different bottoms, in terms of Neumann and/or Dirichlet data on the free surface. Starting from the general water--waves system in bounded domains with side walls, we man…
▽ More
In this article we deal with a class of geometric inverse problem for bottom detection by one single measurement on the free surface in water--waves. We found upper and lower bounds for the size of the region enclosed between two different bottoms, in terms of Neumann and/or Dirichlet data on the free surface. Starting from the general water--waves system in bounded domains with side walls, we manage to formulate the problem in terms of the Dirichlet to Neumann operator and thus, as an elliptic problem in a bounded domain with Neumann homogeneous condition on the rigid boundary. Then we study the properties of the Dirichlet to Neumann map and analyze the called method of size estimation.
△ Less
Submitted 13 August, 2020; v1 submitted 1 March, 2020;
originally announced March 2020.
-
A numerical procedure and unified formulation for the adjoint approach in hyperbolic PDE-constrained optimal control problems
Authors:
Gino I. Montecinos,
Juan Lopez-Rios,
Jaime H. Ortega,
Rodrigo Lecaros
Abstract:
The present paper aims at providing a numerical strategy to deal with PDE-constrained optimization problems solved with the adjoint method. It is done through out a unified formulation of the constraint PDE and the adjoint model. The resulting model is a non-conservative hyperbolic system and thus a finite volume scheme is proposed to solve it. In this form, the scheme sets in a single frame both…
▽ More
The present paper aims at providing a numerical strategy to deal with PDE-constrained optimization problems solved with the adjoint method. It is done through out a unified formulation of the constraint PDE and the adjoint model. The resulting model is a non-conservative hyperbolic system and thus a finite volume scheme is proposed to solve it. In this form, the scheme sets in a single frame both constraint PDE and adjoint model. The forward and backward evolutions are controlled by a single parameter $η$ and a stable time step is obtained only once at each optimization iteration. The methodology requires the complete eigenstructure of the system as well as the gradient of the cost functional. Numerical tests evidence the applicability of the present technique
△ Less
Submitted 29 November, 2017; v1 submitted 25 November, 2017;
originally announced November 2017.
