# American Institute of Mathematical Sciences

## Journals

PROC
In this paper we show wellposedness of two equations of nonlinear acoustics, as relevant e.g. in applications of high intensity ultrasound. After having studied the Dirichlet problem in previous papers, we here consider Neumann boundary conditions which are of particular practical interest in applications. The Westervelt and the Kuznetsov equation are quasilinear evolutionary wave equations with potential degeneration and strong damping. We prove local in time well-posedness as well as global existence and exponential decay for a slightly modi ed model. A key step of the proof is an appropriate extension of the Neumann boundary data to the interior along with exploitation of singular estimates associated with the analytic semigroup generated by the strongly damped wave equation.
keywords: nonlinear acoustics local and global well- posedness Kuznetsov's equation
DCDS
We consider a nonlinear fourth order in space partial differential equation arising in the context of the modeling of nonlinear acoustic wave propagation in thermally relaxing viscous fluids.
We use the theory of operator semigroups in order to investigate the linearization of the underlying model and see that the underlying semigroup is analytic. This leads to exponential decay results for the linear homogeneous equation.
Moreover, we prove local in time well-posedness of the model under the assumption that initial data are sufficiently small by employing a fixed point argument. Global in time well-posedness is obtained by performing energy estimates and using the classical barrier method, again for sufficiently small initial data.
Additionally, we provide results concerning exponential decay of solutions of the nonlinear equation.
keywords: asymptotic behavior. well-posedness Nonlinear acoustics
DCDS-S
We consider the Westervelt equation which models propagation of sound in a fluid medium. This is an accepted in nonlinear acoustics model which finds a multitude of applications in medical imaging and therapy. The PDE model consists of the second order in time evolution which is both quasilinear and degenerate. Degeneracy depends on the fluctuations of the acoustic pressure.
Our main results are : (1) global well-posedness, (2) exponential decay rates for the energy function corresponding to both weak and strong solutions. The proof is based on (i) application of a suitable fixed point theorem applied to an appropriate formulation of the PDE which exhibits analyticity properties of the underlying linearised semigroup, (ii) exploitation of decay rates associated with the dissipative mechanism along with barrier's method leading to global wellposedness. The obtained result holds for all times, provided that the initial data are taken from a suitably small ball characterized by the parameters of the equation.
keywords: Westervelt equation exponential decay. global existence
EECT
The Westervelt equation, which describes nonlinear acoustic wave propagation in high intensity ultrasound applications, exhibits potential degeneracy for large acoustic pressure values. While well-posedness results on this PDE have so far been based on smallness of the solution in a higher order spatial norm, non-degeneracy can be enforced explicitly by a pointwise state constraint in a minimization problem, thus allowing for pressures with large gradients and higher-order derivatives, as is required in the mentioned applications. Using regularity results on the linearized state equation, well-posedness and necessary optimality conditions for the PDE constrained optimization problem can be shown via a relaxation approach by Alibert and Raymond [2].
keywords: singular PDEs nonlinear acoustics. Westervelt equation Optimal control of PDEs state constraints
IPI
In this paper we extend the idea of adaptive discretization by using refinement and coarsening indicators from papers by Chavent, Bissell, Benameur and Jaffré (cf., e.g., [5], [9]) to a general setting. This allows to make use of the relation between adaptive discretization and sparse paramerization in order to construct an algorithm for finding sparse solutions of inverse problems. We provide some first steps in the analysis of the proposed method and apply it to an inverse problem in systems biology, namely the reconstruction of gene networks in an ordinary differential equation (ODE) model. Here due to the fact that not all genes interact with each other, reconstruction of a sparse connectivity matrix is a key issue.
keywords: adaptive discretization sparsity systems biology. Nonlinear inverse problems
IPI
In this article a modified Levenberg-Marquardt method coupled with a Kaczmarz strategy for obtaining stable solutions of nonlinear systems of ill-posed operator equations is investigated. We show that the proposed method is a convergent regularization method. Numerical tests are presented for a non-linear inverse doping problem based on a bipolar model.
keywords: Kaczmarz method. Levenberg-Marquardt method Regularization Nonlinear systems Ill-posed equations
EECT
In this paper we show local (and partially global) in time existence for the Westervelt equation with several versions of nonlinear damping. This enables us to prove well-posedness with spatially varying $L_\infty$-coefficients, which includes the situation of interface coupling between linear and nonlinear acoustics as well as between linear elasticity and nonlinear acoustics, as relevant, e.g., in high intensity focused ultrasound (HIFU) applications.
keywords: nonlinear damping quasilinear wave equation local existence. Nonlinear acoustics
EECT
This volume collects a number of contributions in the fields of partial differential equations and control theory, following the Special Session Nonlinear PDEs and Control Theory with Applications held at the 9th AIMS conference on Dynamical Systems, Differential Equations and Applications in Orlando, July 1--5, 2012.

keywords:
PROC
The focus of this work is on the construction of a family of nonlinear absorbing boundary conditions for the Westervelt equation in one and two space dimensions. The principal ingredient used in the design of such conditions is pseudo-differential calculus. This approach enables to develop high order boundary conditions in a consistent way which are typically more accurate than their low order analogs. Under the hypothesis of small initial data, we establish local well-posedness for the Westervelt equation with the absorbing boundary conditions. The performed numerical experiments illustrate the efficiency of the proposed boundary conditions for different regimes of wave propagation.
keywords: pseudo-differential operators. Westervelt equation well-posedness absorbing boundary conditions Nonlinear wave equation
EECT
In this paper we consider a shape optimization problem motivated by the use of high intensity focused ultrasound in lithotripsy. This leads to the problem of designing a Neumann boudary part in the context of the Westervelt equation, which is a common model in nonlinear acoustics. Based on regularity results for solutions of this equation and its linearization, we rigorously compute the shape derivative for this problem, relying on the variational framework from [9].
keywords: well-posedness Nonlinear acoustics partial differential equations shape optimization.