SearcharxivSearch

arXiv subjects

Benjamin Dörich

Publications and source records attributed to Benjamin Dörich.

11 recordsLinked to original sources

Finite element exponential integration for rough solutions of nonlinear wave equations. Part I: Dirichlet boundary conditions on polygonal and polyhedral domains

We study a fully discrete scheme for nonlinear wave equations on general bounded polygonal/polyhedral domains with initial data $(u^0,v^0)\in H^γ(Ω)\times H^{γ-1}(Ω)$, $0<γ\le 1$, subject to the natural compatibility condition associated with the homogeneous Dirichlet boundary condition. The scheme combines an exponential Euler time integrator with a finite element spatial discretization. In contrast to existing low-regularity error analyses, which are mostly based on Fourier spectral discretizations, our approach applies to general bounded domains and finite element spatial discretizations. We prove rigorous error estimates for low-regularity solutions. The analysis is based on a frequency decomposition of the underlying elliptic operator, used solely as an analytical regularization device and not in the actual implementation, which allows low-regularity techniques to be extended beyond the Fourier spectral framework. The results also indicate that higher-order finite element methods remain advantageous in spatial approximation even for solutions of limited Sobolev regularity. Numerical experiments on different domains and with different polynomial degrees confirm the predicted convergence behavior.

math.NA

Finite element exponential integration for rough solutions of nonlinear wave equations. Part II: Dynamic boundary conditions on curved domains

We study nonlinear wave equations with dynamic boundary conditions on smooth bounded domains and analyze a fully discrete approximation in the low-regularity regime. The method combines isoparametric bulk--surface finite elements of degree $k$ with an exponential integrator in time. Assuming only bounded energy of the exact solution, we prove convergence of the displacement--velocity pair in the weak norm $L^2(Ω;Γ)\times H^{-1}(Ω;Γ)$. The scheme achieves first-order convergence in time and spatial convergence of order $h^{2/3}$ for $k=1$ and $h^{(k+2)/(k+3)}$ for $k\ge 2$. In particular, these rates show that higher-order finite elements retain a provable asymptotic advantage even at low regularity. A central difficulty is that the continuous and discrete bulk--surface problems are posed on different geometries and must therefore be compared directly in weak norms. To address this, we develop a weak-norm framework for non-conforming geometries based on lift and adjoint-lift operators, combined with a frequency-decomposition argument. To the best of our knowledge, this is the first fully discrete low-regularity convergence result for nonlinear wave equations with dynamic boundary conditions in a non-conforming bulk--surface finite element setting. Numerical experiments confirm the predicted rates and illustrate the improved efficiency of higher-order methods.

math.NA

GLENN: Neural network-enhanced computation of Ginzburg-Landau energy minimizers

In this work, we propose a neural network-enhanced finite element strategy to compute the minimizer of the Ginzburg-Landau energy based on an unsupervised deep Ritz-type strategy. We treat the parameter $κ$ as a variable input parameter to obtain possible minimizers for a large range of $κ$-values. This allows for two possible strategies: 1) The neural network may be extensively trained to work as a stand-alone solver. 2) Neural network results are used as starting values for a subsequent classical iterative minimization procedure. The latter strategy particularly circumvents the missing reliability of the neural network-based approach. Numerical examples are presented that show the potential of the proposed strategy.

math.NA

Complexity bounds on neural networks for the solution of structured linear systems of equations

We derive upper bounds on the complexity of ReLU neural networks approximating the solution of a linear system given the matrix and the right-hand side. We focus on matrices which are symmetric positive definite and sparse, as they appear in the context of finite difference and finite element methods. For such matrices, we extend available results for the matrix inversion to the task of solving a linear system, where we leverage favorable properties of classical methods such as the modified Richardson and the conjugate gradient method. Our bounds on the number of layers and neurons are not only explicit with respect to the size of the matrices, but also with respect to their condition numbers.

math.NA

A multiscale approach to the stationary Ginzburg-Landau equations of superconductivity

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.

math.NA

Error analysis of DGTD for linear Maxwell equations with inhomogeneous interface conditions

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.

math.NA

Finite element discretization of nonlinear models of ultrasound heating

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.

math.NA

Robust fully discrete error bounds for the Kuznetsov equation in the inviscid limit

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.

math.NA

evoxels: A differentiable physics framework for voxel-based microstructure simulations

Materials science inherently spans disciplines: experimentalists use advanced microscopy to uncover micro- and nanoscale structure, while theorists and computational scientists develop models that link processing, structure, and properties. Bridging these domains is essential for inverse material design where you start from desired performance and work backwards to optimal microstructures and manufacturing routes. Integrating high-resolution imaging with predictive simulations and data-driven optimization accelerates discovery and deepens understanding of process-structure-property relationships. The differentiable physics framework evoxels is based on a fully Pythonic, unified voxel-based approach that integrates segmented 3D microscopy data, physical simulations, inverse modeling, and machine learning.

cs.LG

Error bounds for discrete minimizers of the Ginzburg-Landau energy in the high-$κ$ regime

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$.

math.NA

Variational Gaussian approximation for the magnetic Schrödinger equation

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.

math.NA