Abstract:
The use of second order information on the forward operator often comes at a very moderate additional computational price in the context of parameter identification probems for differential equation models. On the other hand the use of general (non-Hilbert) Banach spaces has recently found much interest due to its usefulness in many applications. This motivates us to extend the second order method previously considered by the author in a Hilbert space setting, (see also Hettlich and Rundell 2000) to a Banach space setting and analyze its convergence. We here show rates results for a particular source condition and different exponents in the formulation of Tikhonov regularization in each step. This includes a complementary result on the (first order) iteratively regularized Gauss-Newton method (IRGNM) in case of a one-homogeneous data misfit term, which corresponds to exact penalization. The results clearly show the possible advantages of using second order information, which get most pronounced in this exact penalization case. Numerical simulations for a coefficient identification problem in an elliptic PDE illustrate the theoretical findings.

Abstract:
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.

Abstract:
This paper is a close follow-up of Kaltenbacher and Tomba 2013 and Jin 2012, where Newton-Landweber iterations have been shown to converge either (unconditionally) without rates or (under an additional regularity assumption) with rates. The choice of the parameters in the method were different in each of these two cases. We now found a unified and more general strategy for choosing these parameters that enables both convergence and convergence rates. Moreover, as opposed to the previous one, this choice yields strong convergence as the noise level tends to zero, also in the case of no additional regularity. Additionally, the resulting method appears to be more efficient than the one from Kaltenbacher and Tomba 2013, as our numerical tests show.

Abstract:
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.

Abstract:
We propose a hysteretic model for electromechanical coupling in piezoelectric materials, with the strain and the electric field as inputs and the stress and the polarization as outputs. This constitutive law satisfies the thermodynamic principles and exhibits good agreement with experimental measurements. Moreover, when it is coupled with the mechanical and electromagnetic balance equations, the resulting PDE system is well-posed under the hypothesis that hysteretic effects take place only in one preferred direction. We prove the existence and uniqueness of its global weak solutions for each initial data with prescribed regularity. One of the tools is a new Lipschitz continuity theorem for the inverse Preisach operator with time dependent coefficients.

Abstract:
We show higher interior regularity for the Westervelt equation with strong nonlinear damping term of the $q$-Laplace type. Secondly, we investigate an interface coupling problem for these models, which arise, e.g., in the context of medical applications of high intensity focused ultrasound in the treatment of kidney stones. We show that the solution to the coupled problem exhibits piecewise $H^2$ regularity in space, provided that the gradient of the acoustic pressure is essentially bounded in space and time on the whole domain. This result is of importance in numerical approximations of the present problem, as well as in gradient based algorithms for finding the optimal shape of the focusing acoustic lens in lithotripsy.

Abstract:
Online parameter identification is of importance, e.g., for model predictive control. Since the parameters have to be identified simultaneously to the process of the modeled system, dynamical update laws are used for state and parameter estimates. Most of the existing methods for infinite dimensional systems either impose strong assumptions on the model or cannot handle partial observations. Therefore we propose and analyze an online parameter identification method that is less restrictive concerning the underlying model and allows for partial observations and noisy data. The performance of our approach is illustrated by some numerical experiments.

Abstract:
We are interested in shape sensitivity analysis for an optimization problem arising in medical applications of high intensity focused ultrasound. The goal is to find the optimal shape of a focusing acoustic lens so that the desired acoustic pressure at a kidney stone is achieved. Coupling of the silicone acoustic lens and nonlinearly acoustic fluid region is modeled by the Westervelt equation with nonlinear strong damping and piecewise constant coefficients. We follow the variational approach to calculating the shape derivative of the cost functional which does not require computing the shape derivative of the state variable; however assumptions of certain spatial regularity of the primal and the adjoint state are needed to obtain the derivative, in particular for its strong form according to the Delfour-Hadamard-Zol\' esio Structure Theorem.

Abstract:
Efficient time integration methods based on operator splitting are introduced for the Westervelt equation, a nonlinear damped wave equation that arises in nonlinear acoustics as mathematical model for the propagation of sound waves in high intensity ultrasound applications. For the first-order Lie-Trotter splitting method a global error estimate is deduced, confirming that the splitting method remains stable and that the nonstiff convergence order is retained in situations where the problem data are sufficiently regular. Fundamental ingredients in the stability and error analysis are regularity results for the Westervelt equation and related linear evolution equations of hyperbolic and parabolic type. Numerical examples illustrate and complement the theoretical investigations.

Abstract:
In this paper we present a method for the regularized solution of nonlinear inverse problems, based on Ivanov regularization (also called method of quasi solutions or constrained least squares regularization). This leads to the minimization of a non-convex cost function under a norm constraint, where non-convexity is caused by nonlinearity of the inverse problem. Minimization is done by iterative approximation, using (non-convex) quadratic Taylor expansions of the cost function. This leads to repeated solution of quadratic trust region subproblems with possibly indefinite Hessian. Thus the key step of the method consists in application of an efficient method for solving such quadratic subproblems, developed by Rendl and Wolkowicz [10]. We here present a convergence analysis of the overall method as well as numerical experiments.