This paper considers the Westervelt equation, one of the most widely used models in nonlinear acoustics, and seeks to recover two spatially-dependent parameters of physical importance from time-trace boundary measurements. Specifically, these are the nonlinearity parameter $\kappa(x)$ often referred to as $B/A$ in the acoustics literature and the wave speed $c_0(x)$. The determination of the spatial change in these quantities can be used as a means of imaging. We consider identifiability from one or two boundary measurements as relevant in these applications. More precisely, we provide results on local uniqueness of $\kappa(x)$ from a single observation and on simultaneous identifiability of $\kappa(x)$ and $c_0(x)$ from two measurements. For a reformulation of the problem in terms of the squared slowness $\ssl=1/c_0^2$ and the combined coefficient $\nlc=\frac{\kappa}{c_0^2}$ we devise a frozen Newton method and prove its convergence. The effectiveness (and limitations) of this iterative scheme are demonstrated by numerical examples.
翻译:本文考虑了Westervelt 等式,这是非线性声学中最广泛使用的模型之一,并试图从时间跟踪边界测量中恢复两个空间上依赖的物理重要性参数。具体地说,这些是音学文献中通常称为$B/A美元的非线性参数$\kappa(x)美元和波速$c_0(x)美元。确定这些数量的空间变化可以用作成像手段。我们认为,一两个边界测量的可识别性与这些应用相关。更准确地说,我们从一次观测中提供关于美元\kappa(x)美元(x)的当地独特性以及两次测量中美元\kappa(x)美元和美元c_0(x)的同步可识别性结果。用平方慢度 $\sl=1/c_0.02美元和合并系数$\nc_frappa_c_0.2}我们设计了一个冻结的牛顿方法,并用数字模型证明了其一致性。