Searcharxiv⌕ Search

arXiv subjects

Stefan Kurz

Publications and source records attributed to Stefan Kurz.

At least 19 recordsLinked to original sources
arXiv2026

Autonomous motion in changing environment, fibrations and reaction mechanisms

In this paper we develop further the formalism of fibrations of configuration spaces as a tool for modelling motion of autonomous systems in variable environments. We analyse the situations when the external conditions may change during the motion of the system and analyse two possibilities: (a) when the behaviour of the external conditions is known in advance; and (b) when the future changes of the external conditions are unknown but the autonomous system is able to measure the current state and the current velocity of the external conditions, at every moment of time. We prove that in the case (a) the complexity of the motion algorithm is the same as in the case of constant external conditions. In case (b) we introduce a new concept of a reaction mechanism which allows to take into account unexpected and unpredictable changes in the environment. A reaction mechanism is mathematically an infinitesimal lifting function on a fibre bundle, a nonlinear generalisation of the classical concept of an Ehresmann connection. We illustrate these notions by examples which show that nonlinear infinitesimal lifting function (reaction mechanisms) appear naturally, are inevitable and ubiquitous.

math.AT↗
arXiv2024

Solving Electromagnetic Scattering Problems by Isogeometric Analysis with Deep Operator Learning

We present a hybrid approach combining isogeometric analysis with deep operator networks to solve electromagnetic scattering problems. The neural network takes a computer-aided design representation as input and predicts the electromagnetic field in a de Rham conforming B-spline basis such that for example the tangential continuity of the electric field is respected. The physical problem is included in the loss function during training. Our numerical results demonstrate that a trained network accurately predicts the electric field, showing convergence to the analytical solution with optimal rate. Additionally, training on a variety of geometries highlights the network's generalization capabilities, achieving small error increases when applied to new geometries not included in the training set.

cs.CE↗
arXiv2024

Holding the fields constant: A shape-calculus approach to electromagnetic forces

Using the mathematical theory of shape calculus as tool, we perform a rigorous investigation of the virtual work principle for the computation of electromagnetic forces in static settings. The main goal is to shed light on the widely held belief that the virtual work principle entails passively advecting the fields with the virtual displacement when computing deformation-dependent field energies gradients. The adjoint approach to differentiation of functionals under variational constraints provides a mathematical justification for this belief. However, it also shows that passively advecting the actual electromagnetic fields is sufficient only in the case of linear materials. In the general case, also fields arising as solutions of adjoint variational problems have to be taken into account.

physics.class-ph↗
arXiv2023

Hybrid Modeling Design Patterns

Design patterns provide a systematic way to convey solutions to recurring modeling challenges. This paper introduces design patterns for hybrid modeling, an approach that combines modeling based on first principles with data-driven modeling techniques. While both approaches have complementary advantages there are often multiple ways to combine them into a hybrid model, and the appropriate solution will depend on the problem at hand. In this paper, we provide four base patterns that can serve as blueprints for combining data-driven components with domain knowledge into a hybrid approach. In addition, we also present two composition patterns that govern the combination of the base patterns into more complex hybrid models. Each design pattern is illustrated by typical use cases from application areas such as climate modeling, engineering, and physics.

cs.AI↗
arXiv2023

On the exponential stability of uniformly damped wave equations

We study damped wave propagation problems phrased as abstract evolution equations in Hilbert spaces. Under some general assumptions, including a natural compatibility condition for initial values, we establish exponential decay estimates for all mild solutions using the language and tools of Hilbert complexes. This framework turns out strong enough to conduct our analysis but also general enough to include a number of interesting examples. Some of these are briefly discussed. By a slight modification of the main arguments, we also obtain corresponding decay results for numerical approximations obtained by compatible discretization strategies.

math.AP↗
arXiv2022

A Neural Solver for Variational Problems on CAD Geometries with Application to Electric Machine Simulation

This work presents a deep learning-based framework for the solution of partial differential equations on complex computational domains described with computer-aided design tools. To account for the underlying distribution of the training data caused by spline-based projections from the reference to the physical domain, a variational neural solver equipped with an importance sampling scheme is developed, such that the loss function based on the discretized energy functional obtained after the weak formulation is modified according to the sample distribution. To tackle multi-patch domains possibly leading to solution discontinuities, the variational neural solver is additionally combined with a domain decomposition approach based on the Discontinuous Galerkin formulation. The proposed neural solver is verified on a toy problem and then applied to a real-world engineering test case, namely that of electric machine simulation. The numerical results show clearly that the neural solver produces physics-conforming solutions of significantly improved accuracy.

cs.CE↗
arXiv2021

The Johnson-Nédélec FEM-BEM Coupling for magnetostatic problems in the isogeometric framework

We consider a Johnson-Nédélec FEM-BEM coupling, which is a direct and non-symmetric coupling of finite and boundary element methods, in order to solve interface problems for the magnetostatic Maxwell's equations with the magnetic vector potential ansatz. In the FEM-domain, equations may be non-linear, whereas they are exclusively linear in the BEM-part to guarantee the existence of a fundamental solution. First, the weak problem is formulated in quotient spaces to avoid resolving to a saddle point problem. Second, we establish in this setting well-posedness of the arising problem using the framework of Lipschitz and strongly monotone operators as well as a stability result for a special type of non-linearity, which is typically considered in magnetostatic applications. Then, the discretization is performed in the isogeometric context, i.e., the same type of basis functions that are used for geometry design are considered as ansatz functions for the discrete setting. In particular, NURBS are employed for geometry considerations, and B-Splines, which can be understood as a special type of NURBS, for analysis purposes. In this context, we derive a priori estimates w.r.t. h-refinement, and point out to an interesting behavior of BEM, which consists in an amelioration of the convergence rates, when a functional of the solution is evaluated in the exterior BEM-domain. This improvement may lead to a doubling of the convergence rate under certain assumptions. Finally, we end the paper with a numerical example to illustrate the theoretical results, along with a conclusion and an outlook.

math.NA↗
arXiv2020

Functional a posteriori error estimates for boundary element methods

Functional error estimates are well-established tools for a posteriori error estimation and related adaptive mesh-refinement for the finite element method (FEM). The present work proposes a first functional error estimate for the boundary element method (BEM). One key feature is that the derived error estimates are independent of the BEM discretization and provide guaranteed lower and upper bounds for the unknown error. In particular, our analysis covers Galerkin BEM and the collocation method, what makes the approach of particular interest for scientific computations and engineering applications. Numerical experiments for the Laplace problem confirm the theoretical results.

math.NA↗
arXiv2020

Non-symmetric isogeometric FEM-BEM couplings

We present a coupling of the Finite Element and the Boundary Element Method in an isogeometric framework to approximate either two-dimensional Laplace interface problems or boundary value problems consisting in two disjoint domains. We consider the Finite Element Method in the bounded domains to simulate possibly non-linear materials. The Boundary Element Method is applied in unbounded or thin domains where the material behavior is linear. The isogeometric framework allows to combine different design and analysis tools: first, we consider the same type of NURBS parameterizations for an exact geometry representation and second, we use the numerical analysis for the Galerkin approximation. Moreover, it facilitates to perform h- and p-refinements. For the sake of analysis, we consider the framework of strongly monotone and Lipschitz continuous operators to ensure well-posedness of the coupled system. Furthermore, we provide an a priori error estimate. We additionally show an improved convergence behavior for the errors in functionals of the solution that may double the rate under certain assumptions. Numerical examples conclude the work which illustrate the theoretical results.

math.NA↗
arXiv2019

Multipatch Approximation of the de Rham Sequence and its Traces in Isogeometric Analysis

We define a conforming B-spline discretisation of the de Rham complex on multipatch geometries. We introduce and analyse the properties of interpolation operators onto these spaces which commute w.r.t. the surface differential operators. Using these results as a basis, we derive new convergence results of optimal order w.r.t. the respective energy spaces and provide approximation properties of the spline discretisations of trace spaces for application in the theory of isogeometric boundary element methods. Our analysis allows for a straightforward generalisation to finite element methods.

math.NA↗
arXiv2019

Isogeometric Boundary Elements in Electromagnetism: Rigorous Analysis, Fast Methods, and Examples

We present a new approach to three-dimensional electromagnetic scattering problems via fast isogeometric boundary element methods. Starting with an investigation of the theoretical setting around the electric field integral equation within the isogeometric framework, we show existence, uniqueness, and quasi-optimality of the isogeometric approach. For a fast and efficient computation, we then introduce and analyze an interpolation-based fast multipole method tailored to the isogeometric setting, which admits competitive algorithmic and complexity properties. This is followed by a series of numerical examples of industrial scope, together with a detailed presentation and interpretation of the results.

math.NA↗
arXiv2018

A Numerical Comparison of an Isogeometric and a Classical Higher-Order Approach to the Electric Field Integral Equation

In this paper, we advocate a novel spline-based isogeometric approach for boundary elements and its efficient implementation. We compare solutions obtained by both an isogeometric approach, and a classical parametric higher-order approach via Raviart-Thomas elements to the solution of the electric field integral equation; i.e., the solution to an electromagnetic scattering problem, promising high convergence orders w.r.t. pointwise error. We discuss both, the obtained accuracy per DOF, as well as the effort required to solve the corresponding system iteratively, on three numerical examples of varying complexity.

cs.CE↗
arXiv2017

A Fast Isogeometric BEM for the Three Dimensional Laplace- and Helmholtz Problems

We present an indirect higher order boundary element method utilising NURBS mappings for exact geometry representation and an interpolation-based fast multipole method for compression and reduction of computational complexity, to counteract the problems arising due to the dense matrices produced by boundary element methods. By solving Laplace and Helmholtz problems via a single layer approach we show, through a series of numerical examples suitable for easy comparison with other numerical schemes, that one can indeed achieve extremely high rates of convergence of the pointwise potential through the utilisation of higher order B-spline-based ansatz functions.

math.NA↗
arXiv2017

Recent Advances of Isogeometric Analysis in Computational Electromagnetics

In this communication the advantages and drawbacks of the isogeometric analysis (IGA) are reviewed in the context of electromagnetic simulations. IGA extends the set of polynomial basis functions, commonly employed by the classical Finite Element Method (FEM). While identical to FEM with Nédélec's basis functions in the lowest order case, it is based on B-spline and Non-Uniform Rational B-spline basis functions. The main benefit of this is the exact representation of the geometry in the language of computer aided design (CAD) tools. This simplifies the meshing as the computational mesh is implicitly created by the engineer using the CAD tool. The curl- and div-conforming spline function spaces are recapitulated and the available software is discussed. Finally, several non-academic benchmark examples in two and three dimensions are shown which are used in optimization and uncertainty quantification workflows.

cs.CE↗
arXiv2017

A Space-Time Approach for the Time-Domain Simulation in a Rotating Reference Frame

We approach the discretisation of Maxwell's equations directly in space-time without making any non-relativistic assumptions with the particular focus on simulations in rotating reference frames. As a research example we study Sagnac's effect in a rotating ring resonator. After the discretisation, we express the numerical scheme in a form resembling 3D FIT with leapfrog. We compare the stability and convergence properties of two 4D approaches, namely FIT and FEM, both using Whitney interpolation.

physics.comp-ph↗
arXiv2016

Discretization of Maxwell's Equations for Non-inertial Observers Using Space-Time Algebra

We employ Maxwell's equations formulated in Space-Time Algebra to perform discretization of moving geometries directly in space-time. All the derivations are carried out without any non-relativistic assumptions, thus the application area of the scheme is not restricted to low velocities. The 4D mesh construction is based on a 3D mesh stemming from a conventional 3D mesh generator. The movement of the system is encoded in the 4D mesh geometry, enabling an easy extension of well-known 3D approaches to the space-time setting. As a research example, we study a manifestation of Sagnac's effect in a rotating ring resonator. In case of constant rotation, the space-time approach enhances the efficiency of the scheme, as the material matrices are constant for every time step, without abandoning the relativistic framework.

cs.CE↗
arXiv2016

Structure-preserving mesh coupling based on the Buffa-Christiansen complex

The state of the art for mesh coupling at nonconforming interfaces is presented and reviewed. Mesh coupling is frequently applied to the modeling and simulation of motion in electromagnetic actuators and machines. The paper exploits Whitney elements to present the main ideas. Both interpolation- and projection-based methods are considered. In addition to accuracy and efficiency, we emphasize the question whether the schemes preserve the structure of the de Rham complex, which underlies Maxwell's equations. As a new contribution, a structure-preserving projection method is presented, in which Lagrange multiplier spaces are chosen from the Buffa-Christiansen complex. Its performance is compared with a straightforward interpolation based on Whitney and de Rham maps, and with Galerkin projection.

math.NA↗