Abstract We develop a linearized boundary control method for the inverse boundary value problem of determining a density in the acoustic wave equation. The objective is to reconstruct an unknown perturbation in a known background density from the linearized Neumann-to-Dirichlet map. A key ingredient in the derivation is a linearized Blagoves̆c̆enskiĭ’s identity with a free parameter. When the linearization is at a constant background density, we derive two reconstructive algorithms with stability estimates based on the boundary control method. When the linearization is at a non-constant background density, we establish an increasing stability estimate for the recovery of the density perturbation. The proposed reconstruction algorithms are implemented and validated with several numerical experiments to demonstrate the feasibility.
more »
« less
Linearized boundary control method for an acoustic inverse boundary value problem
Abstract We develop a linearized boundary control method for the inverse boundary value problem of determining a potential in the acoustic wave equation from the Neumann-to-Dirichlet map. When the linearization is at the zero potential, we derive a reconstruction formula based on the boundary control method and prove that it is of Lipschitz-type stability. When the linearization is at a nonzero potential, we prove that the problem is of Hölder-type stability in two and higher dimensions. The proposed reconstruction formula is implemented and evaluated using several numerical experiments to validate its feasibility.
more »
« less
- PAR ID:
- 10379976
- Date Published:
- Journal Name:
- Inverse Problems
- Volume:
- 38
- Issue:
- 11
- ISSN:
- 0266-5611
- Page Range / eLocation ID:
- 114001
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
In this paper, we study the ultraweak-local discontinuous Galerkin (UWLDG) method for time-dependent linear fourth-order problems with four types of boundary conditions. In one dimension and two dimensions, stability and optimal error estimates of order are derived for the UWLDG scheme with polynomials of degree at most ( ) for solving initial-boundary value problems. The main difficulties are the design of suitable penalty terms at the boundary for numerical fluxes and the construction of projections. More precisely, in two dimensions with the Dirichlet boundary condition, an elaborate projection of the exact boundary condition is proposed as the boundary flux, which, in combination with some proper penalty terms, leads to the stability and optimal error estimates. For other three types of boundary conditions, optimal error estimates can also be proved for fluxes without any penalty terms when special projections are designed to match different boundary conditions. Numerical experiments are presented to confirm the sharpness of theoretical results.more » « less
-
We propose a new iterative scheme to compute the numerical solution to an over-determined boundary value problem for a general quasilinear elliptic PDE. The main idea is to repeatedly solve its linearization by using the quasi-reversibility method with a suitable Carleman weight function. The presence of the Carleman weight function allows us to employ a Carleman estimate to prove the convergence of the sequence generated by the iterative scheme above to the desired solution. The convergence of the iteration is fast at an exponential rate without the need of an initial good guess. We apply this method to compute solutions to some general quasilinear elliptic equations and a large class of first-order Hamilton-Jacobi equations. Numerical results are presented.more » « less
-
We prove that the torsion of any closed space curve which bounds a simply connected locally convex surface vanishes at least 4 times. This answers a question of Rosenberg related to a problem of Yau on characterizing the boundary of positively curved disks in Euclidean space. Furthermore, our result generalizes the 4 vertex theorem of Sedykh for convex space curves, and thus constitutes a far reaching extension of the classical 4 vertex theorem. The proof involves studying the arrangement of convex caps in a locally convex surface, and yields a Bose type formula for these objects.more » « less
-
This paper is focused on the output tracking control problem of a wave equation with both matched and unmatched boundary uncertainties. An adaptive boundary feedback control scheme is proposed by utilizing radial basis function neural networks (RBF NNs) to deal with the effect of system uncertainties. Specifically, two RBF NN models are first developed to approximate the matched and unmatched system uncertain dynamics respectively. Based on this, an adaptive NN control scheme is derived, which consists of: (i) an adaptive boundary feedback controller embedded by the NN model approximating the matched uncertainty, for rendering stable and accurate tracking control; and (ii) a reference model embedded by the NN model approximating the unmatched uncertainty, for generating a prescribed reference trajectory. Rigorous analysis is performed using the Lyapunov theory and the C0-semigroup theory to prove that our proposed control scheme can guarantee closed-loop stability and wellposedness. Simulation study has been conducted to demonstrate effectiveness of the proposed approach.more » « less
An official website of the United States government

