-
Gautschi-type and implicit-explicit integrators for constrained wave equations
Authors:
R. Altmann,
B. Dörich,
C. Zimmer
Abstract:
This paper deals with the construction and analysis of two integrators for (semi-linear) second-order partial differential-algebraic equations of semi-explicit type. More precisely, we consider an implicit-explicit Crank-Nicolson scheme as well as an exponential integrator of Gautschi type. For this, well-known wave integrators for unconstrained systems are combined with techniques known from the…
▽ More
This paper deals with the construction and analysis of two integrators for (semi-linear) second-order partial differential-algebraic equations of semi-explicit type. More precisely, we consider an implicit-explicit Crank-Nicolson scheme as well as an exponential integrator of Gautschi type. For this, well-known wave integrators for unconstrained systems are combined with techniques known from the field of differential-algebraic equations. The result are efficient time stepping schemes, which are provable of second order. Moreover, we discuss the practical implementation of the Gautschi-type method, which involves the solution of certain saddle point problems. The theoretical results are verified by numerical experiments for the the wave equation with kinetic boundary conditions.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Finite element discretization of nonlinear models of ultrasound heating
Authors:
Julio Careaga,
Benjamin Dörich,
Vanja Nikolić
Abstract:
Heating generated by high-intensity focused ultrasound waves is central to many emerging medical applications, including non-invasive cancer therapy and targeted drug delivery. In this study, we aim to gain a fundamental understanding of numerical simulations in this context by analyzing conforming finite element approximations of the underlying nonlinear models that describe ultrasound-heat inter…
▽ More
Heating generated by high-intensity focused ultrasound waves is central to many emerging medical applications, including non-invasive cancer therapy and targeted drug delivery. In this study, we aim to gain a fundamental understanding of numerical simulations in this context by analyzing conforming finite element approximations of the underlying nonlinear models that describe ultrasound-heat interactions. These models are based on a coupling of a nonlinear Westervelt--Kuznetsov acoustic wave equation to the heat equation with a pressure-dependent source term. A particular challenging feature of the system is that the acoustic medium parameters may depend on the temperature. The core of our new arguments in the \emph{a prior} error analysis lies in devising energy estimates for the coupled semi-discrete system that can accommodate the nonlinearities present in the model. To derive them, we exploit the parabolic nature of the system thanks to the strong damping present in the acoustic component. Theoretically obtained optimal convergence rates in the energy norm are confirmed by the numerical experiments. In addition, we conduct a further numerical study of the problem, where we simulate the propagation of acoustic waves in liver tissue for an initially excited profile and under high-frequency sources.
△ Less
Submitted 30 January, 2025;
originally announced January 2025.
-
A multiscale approach to the stationary Ginzburg-Landau equations of superconductivity
Authors:
Christian Döding,
Benjamin Dörich,
Patrick Henning
Abstract:
In this work, we study the numerical approximation of minimizers of the Ginzburg-Landau free energy, a common model to describe the behavior of superconductors under magnetic fields. The unknowns are the order parameter, which characterizes the density of superconducting charge carriers, and the magnetic vector potential, which allows to deduce the magnetic field that penetrates the superconductor…
▽ More
In this work, we study the numerical approximation of minimizers of the Ginzburg-Landau free energy, a common model to describe the behavior of superconductors under magnetic fields. The unknowns are the order parameter, which characterizes the density of superconducting charge carriers, and the magnetic vector potential, which allows to deduce the magnetic field that penetrates the superconductor. Physically important and numerically challenging are especially settings which involve lattices of quantized vortices which can be formed in materials with a large Ginzburg-Landau parameter $κ$. In particular, $κ$ introduces a severe mesh resolution condition for numerical approximations. In order to reduce these computational restrictions, we investigate a particular discretization which is based on mixed meshes where we apply a Lagrange finite element approach for the vector potential and a localized orthogonal decomposition (LOD) approach for the order parameter. We justify the proposed method by a rigorous a-priori error analysis (in $L^2$ and $H^1$) in which we keep track of the influence of $κ$ in all error contributions. This allows us to conclude $κ$-dependent resolution conditions for the various meshes and which only impose moderate practical constraints compared to a conventional finite element discretization. Finally, our theoretical findings are illustrated by numerical experiments.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
Error analysis of DGTD for linear Maxwell equations with inhomogeneous interface conditions
Authors:
Benjamin Dörich,
Julian Dörner,
Marlis Hochbruck
Abstract:
In the present paper we consider linear and isotropic Maxwell equations with inhomogeneous interface conditions. We discretize the problem with the discontinuous Galerkin method in space and with the leapfrog scheme in time. An analytical setting is provided in which we show wellposedness of the problem, derive stability estimates, and exploit this in the error analysis to prove rigorous error bou…
▽ More
In the present paper we consider linear and isotropic Maxwell equations with inhomogeneous interface conditions. We discretize the problem with the discontinuous Galerkin method in space and with the leapfrog scheme in time. An analytical setting is provided in which we show wellposedness of the problem, derive stability estimates, and exploit this in the error analysis to prove rigorous error bounds for both the spatial and full discretization. The theoretical findings are confirmed with numerical experiments.
△ Less
Submitted 2 August, 2024;
originally announced August 2024.
-
Robust fully discrete error bounds for the Kuznetsov equation in the inviscid limit
Authors:
Benjamin Dörich,
Vanja Nikolić
Abstract:
The Kuznetsov equation is a classical wave model of acoustics that incorporates quadratic gradient nonlinearities. When its strong damping vanishes, it undergoes a singular behavior change, switching from a parabolic-like to a hyperbolic quasilinear evolution. In this work, we establish for the first time the optimal error bounds for its finite element approximation as well as a semi-implicit full…
▽ More
The Kuznetsov equation is a classical wave model of acoustics that incorporates quadratic gradient nonlinearities. When its strong damping vanishes, it undergoes a singular behavior change, switching from a parabolic-like to a hyperbolic quasilinear evolution. In this work, we establish for the first time the optimal error bounds for its finite element approximation as well as a semi-implicit fully discrete approximation that are robust with respect to the vanishing damping parameter. The core of the new arguments lies in devising energy estimates directly for the error equation where one can more easily exploit the polynomial structure of the nonlinearities and compensate inverse estimates with smallness conditions on the error. Numerical experiments are included to illustrate the theoretical results.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Variational Gaussian approximation for the magnetic Schrödinger equation
Authors:
Selina Burkhard,
Benjamin Dörich,
Marlis Hochbruck,
Caroline Lasser
Abstract:
In the present paper we consider the semiclassical magnetic Schrödinger equation, which describes the dynamics of particles under the influence of a magnetic field. The solution of the time-dependent Schrödinger equation is approximated by a single Gaussian wave packet via the time-dependent Dirac--Frenkel variational principle. For the approximation we derive ordinary differential equations of mo…
▽ More
In the present paper we consider the semiclassical magnetic Schrödinger equation, which describes the dynamics of particles under the influence of a magnetic field. The solution of the time-dependent Schrödinger equation is approximated by a single Gaussian wave packet via the time-dependent Dirac--Frenkel variational principle. For the approximation we derive ordinary differential equations of motion for the parameters of the variational solution. Moreover, we prove $L^2$-error bounds and observable error bounds for the approximating Gaussian wave packet.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Error bounds for discrete minimizers of the Ginzburg-Landau energy in the high-$κ$ regime
Authors:
Benjamin Dörich,
Patrick Henning
Abstract:
In this work, we study discrete minimizers of the Ginzburg-Landau energy in finite element spaces. Special focus is given to the influence of the Ginzburg-Landau parameter $κ$. This parameter is of physical interest as large values can trigger the appearance of vortex lattices. Since the vortices have to be resolved on sufficiently fine computational meshes, it is important to translate the size o…
▽ More
In this work, we study discrete minimizers of the Ginzburg-Landau energy in finite element spaces. Special focus is given to the influence of the Ginzburg-Landau parameter $κ$. This parameter is of physical interest as large values can trigger the appearance of vortex lattices. Since the vortices have to be resolved on sufficiently fine computational meshes, it is important to translate the size of $κ$ into a mesh resolution condition, which can be done through error estimates that are explicit with respect to $κ$ and the spatial mesh width $h$. For that, we first work in an abstract framework for a general class of discrete spaces, where we present convergence results in a problem-adapted $κ$-weighted norm. Afterwards we apply our findings to Lagrangian finite elements and a particular generalized finite element construction. In numerical experiments we further explore the asymptotic optimality of our derived $L^2$- and $H^1$-error estimates with respect to $κ$ and $h$. Preasymptotic effects are observed for large mesh sizes $h$.
△ Less
Submitted 19 February, 2024; v1 submitted 24 March, 2023;
originally announced March 2023.
