Multi parameter identification in the nonlinear periodic Westervelt equation

Abstract

Nonlinear ultrasound imaging leverages harmonic wave generation to enhance contrast and spatial resolution beyond the capabilities of conventional linear techniques. This behavior is commonly modeled by the Westervelt equation, which captures finite-amplitude acoustic wave propagation in heterogeneous media. In this work, we investigate an inverse problem for a periodic nonlinear Westervelt equation in $\mathbb{R}^d$, where $d\in\{2,3\}$ with spatially varying coefficients and Robin-type boundary conditions. The objective is to simultaneously reconstruct the sound speed, diffusivity, and nonlinearity parameters from (partial) boundary measurements. We first establish the Fréchet differentiability of the forward solution operator with respect to the unknown parameters, providing a rigorous analytical foundation for parameter identification. To address uniqueness, we introduce a reference-state framework and prove linearized uniqueness of an all-at-once forward operator without requiring the reference states to satisfy the governing equation. Building on these results, we develop an iterative reconstruction scheme based on a frozen Newton-type method, supported by an exact range invariance property. Numerical simulations are presented to illustrate the feasibility and performance of the proposed approach.