Search

In this paper we prove uniqueness for some parameter identification problems for the Jordan-Moore-Gibson-Thompson (JMGT) equation, a third order in time quasilinear PDE in nonlinear acoustics. The coefficients to be recovered are the space dependent nonlinearity parameter, sound speed, and attenuation parameter, and the observation available is a single time trace of the acoustic pressure on the boundary. This is a setting relevant to several ultrasound based tomography methods. Our approach relies on the Inverse Function Theorem, which requires to prove that the forward operator is a differentiable isomorphism in appropriately chosen topologies and with an appropriate choice of the excitation. [ABSTRACT FROM AUTHOR]

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 κ (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. For a reformulation of the problem in terms of the squared slowness s = 1 / c 0 2 and the combined coefficient η = κ 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. [ABSTRACT FROM AUTHOR]

This work deals with the convergence analysis of parabolic perturbations to quasilinear wave equations on smooth bounded domains. In particular, we consider wave equations with nonlinearities of quadratic type, which cover the two classical models of nonlinear acoustics, the Westervelt and Kuznetsov equations. By employing a high-order energy analysis, we obtain convergence of their solutions to the corresponding inviscid equations' solutions in the standard energy norm with a linear rate, assuming small data and a sufficiently short time. The smallness of initial data can, however, be imposed in a lower-order norm than the one needed in the energy analysis. It arises only from ensuring the nondegeneracy of the studied wave equations. In addition, we address the open questions of local well-posedness of the two classical models on bounded domains with a nonnegative, possibly vanishing sound diffusivity. [ABSTRACT FROM AUTHOR]

This paper considers the attenuated Westervelt equation in pressure formulation. The attenuation is by various models proposed in the literature and characterised by the inclusion of non-local operators that give power law damping as opposed to the exponential of classical models. The goal is the inverse problem of recovering a spatially dependent coefficient in the equation, the parameter of nonlinearity \kappa (x), in what becomes a nonlinear hyperbolic equation with non-local terms. The overposed measured data is a time trace taken on a subset of the domain or its boundary. We shall show injectivity of the linearised map from \kappa to the overposed data and from this basis develop and analyse Newton-type schemes for its effective recovery. [ABSTRACT FROM AUTHOR]

In this paper, we consider the Jordan–Moore–Gibson–Thompson equation, a third-order in time wave equation describing the nonlinear propagation of sound that avoids the infinite signal speed paradox of classical second-order in time strongly damped models of nonlinear acoustics, such as the Westervelt and the Kuznetsov equation. We show well-posedness in an acoustic velocity potential formulation with and without gradient nonlinearity, corresponding to the Kuznetsov and the Westervelt nonlinearities, respectively. Moreover, we consider the limit as the parameter of the third-order time derivative that plays the role of a relaxation time tends to zero, which again leads to the classical Kuznetsov and Westervelt models. To this end, we establish appropriate energy estimates for the linearized equations and employ fixed-point arguments for well-posedness of the nonlinear equations. The theoretical results are illustrated by numerical experiments. [ABSTRACT FROM AUTHOR]

In this paper we show boundary observability and boundary stabilizability by linear feedbacks for a class of nonlinear wave equations including the undamped Westervelt model used in nonlinear acoustics. We prove local existence for undamped generalized Westervelt equations with homogeneous Dirichlet boundary conditions as well as global existence and exponential decay with absorbing type boundary conditions. [ABSTRACT FROM AUTHOR]

Abstract: This paper is concerned with optimal Neumann boundary control for the Westervelt and the Kuznetsov equations, which are equations of nonlinear acoustics. Specifically, functionals of tracking type with applications in noninvasive ultrasonic medical treatments are considered. Existence of optimal controls is established and first order necessary optimality conditions are derived. Stability of the minimizer with respect to perturbations in the data as well as convergence of the controls when the regularization parameter tends to zero is shown. [Copyright &y& Elsevier]