arXiv subjects

Karl Larsson

Publications and source records attributed to Karl Larsson.

At least 19 recordsLinked to original sources

arXiv2026

Cut Finite Element Methods for Convection-Diffusion in Mixed-Dimensional Domains

We develop a cut finite element method (CutFEM) for convection--diffusion problems posed on mixed-dimensional domains, i.e., unions of manifolds of different dimensions arranged in a hierarchical structure where lower-dimensional components form parts of the boundaries of higher-dimensional ones. Such domains arise, for instance, in the modeling of fractured porous media with intersecting fractures. The model problem is formulated in a compact abstract form using mixed-dimensional directional derivative and divergence operators, which allows the problem to be expressed in a way that closely resembles the classical convection--diffusion equation. The proposed CutFEM is based on a fixed background mesh that does not conform to the geometry, with each manifold component represented through its associated active mesh. The method employs continuous piecewise linear elements together with weak enforcement of coupling conditions and suitable stabilization. We prove a priori energy norm error estimates under a global uniform-diffusion assumption, with corresponding extensions to solutions of reduced regularity $u\in H^s$, $1\le s<2$, and derive conditional estimates for the globally pure-convection case. Partially degenerate configurations, in which diffusion is present only on selected components, are explored numerically. The experiments report convergence in both the energy and $L^2$-norms and illustrate the performance of the method.

math.NA↗

arXiv2026

Error Estimates for Nitsche's Method on Approximate Domains

We derive a priori error estimates for Nitsche's method applied to elliptic problems on approximate domains. Such approximations arise, for example, in unfitted finite element methods, data-driven simulations, and evolving domain problems, where the computational domain does not coincide exactly with the physical one. We quantify geometric errors in terms of boundary location and normal perturbations and carry out the analysis in an abstract CutFEM framework under standard stability assumptions. In the energy norm, we obtain an estimate exhibiting an $h^{-1/2}$ amplification of the boundary location error. We then prove a refined $H^1$-seminorm estimate that removes this amplification, yielding a sharper bound with additive contributions from boundary location and normal errors. Finally, we establish an optimal order $L^2$-error estimate based on a refined duality argument, where the geometry contribution appears as a separate additive term, decoupled from the mesh size $h$. The results reveal a fundamental distinction between the norms: the energy norm amplifies boundary location errors while remaining insensitive to normal perturbations, the $H^1$-seminorm separates location and normal errors, and the $L^2$-norm is insensitive to normal perturbations. This provides a clear characterization of how geometric approximation affects convergence in Nitsche-based finite element methods, with particular relevance for unfitted discretizations.

math.NA↗

arXiv2026

Solving Inverse Parametrized Problems via Finite Elements and Extreme Learning Networks

We develop an interpolation-based modeling framework for parameter-dependent partial differential equations arising in control, inverse problems, and uncertainty quantification. The solution is discretized in the physical domain using finite element methods, while the dependence on a finite-dimensional parameter is approximated separately. We establish existence, uniqueness, and regularity of the parametric solution and derive rigorous error estimates that explicitly quantify the interplay between spatial discretization and parameter approximation. In low-dimensional parameter spaces, classical interpolation schemes yield algebraic convergence rates based on Sobolev regularity in the parameter variable. In higher-dimensional parameter spaces, we replace classical interpolation by extreme learning machine (ELM) surrogates and obtain error bounds under explicit approximation and stability assumptions. The proposed framework is applied to inverse problems in quantitative photoacoustic tomography, where we derive potential and parameter reconstruction error estimates and demonstrate substantial computational savings compared to standard approaches, without sacrificing accuracy.

math.NA↗

arXiv2025

Robust Trimmed Multipatch IGA with Singular Maps

We consider elliptic problems in multipatch isogeometric analysis (IGA) where the patch parameterizations may be singular. Specifically, we address cases where certain dimensions of the parametric geometry diminish as the singularity is approached - for example, a curve collapsing into a point (in 2D), or a surface collapsing into a point or a curve (in 3D). To deal with this issue, we develop a robust weak formulation for the second-order Laplace equation that allows trimmed (cut) elements, enforces interface and Dirichlet conditions weakly, and does not depend on specially constructed approximation spaces. Our technique for dealing with the singular maps is based on the regularization of the Riemannian metric tensor, and we detail how to implement this robustly. We investigate the method's behavior when applied to a square-to-cusp parameterization that allows us to vary the singular behavior's aggressiveness in how quickly the measure tends to zero when the singularity is approached. We propose a scaling of the regularization parameter to obtain optimal order approximation. Our numerical experiments indicate that the method is robust also for quite aggressive singular parameterizations.

math.NA↗

arXiv2024

Stabilizing and Solving Unique Continuation Problems by Parameterizing Data and Learning Finite Element Solution Operators

We consider an inverse problem involving the reconstruction of the solution to a nonlinear partial differential equation (PDE) with unknown boundary conditions. Instead of direct boundary data, we are provided with a large dataset of boundary observations for typical solutions (collective data) and a bulk measurement of a specific realization. To leverage this collective data, we first compress the boundary data using proper orthogonal decomposition (POD) in a linear expansion. Next, we identify a possible nonlinear low-dimensional structure in the expansion coefficients using an autoencoder, which provides a parametrization of the dataset in a lower-dimensional latent space. We then train an operator network to map the expansion coefficients representing the boundary data to the finite element (FE) solution of the PDE. Finally, we connect the autoencoder's decoder to the operator network which enables us to solve the inverse problem by optimizing a data-fitting term over the latent space. We analyze the underlying stabilized finite element method (FEM) in the linear setting and establish an optimal error estimate in the $H^1$-norm. The nonlinear problem is then studied numerically, demonstrating the effectiveness of our approach.

math.NA↗

arXiv2024

Implicit Hypersurface Approximation Capacity in Deep ReLU Networks

We develop a geometric approximation theory for deep feed-forward neural networks with ReLU activations. Given a $d$-dimensional hypersurface in $\mathbb{R}^{d+1}$ represented as the graph of a $C^2$-function $\phi$, we show that a deep fully-connected ReLU network of width $d+1$ can implicitly construct an approximation as its zero contour with a precision bound depending on the number of layers. This result is directly applicable to the binary classification setting where the sign of the network is trained as a classifier, with the network's zero contour as a decision boundary. Our proof is constructive and relies on the geometrical structure of ReLU layers provided in [doi:10.48550/arXiv.2310.03482]. Inspired by this geometrical description, we define a new equivalent network architecture that is easier to interpret geometrically, where the action of each hidden layer is a projection onto a polyhedral cone derived from the layer's parameters. By repeatedly adding such layers, with parameters chosen such that we project small parts of the graph of $\phi$ from the outside in, we, in a controlled way, construct a network that implicitly approximates the graph over a ball of radius $R$. The accuracy of this construction is controlled by a discretization parameter $\delta$ and we show that the tolerance in the resulting error bound scales as $(d-1)R^{3/2}\delta^{1/2}$ and the required number of layers is of order $d\big(\frac{32R}{\delta}\big)^{\frac{d+1}{2}}$.

cs.LG↗

arXiv2023

Error Estimates for Finite Element Approximations of Viscoelastic Dynamics: The Generalized Maxwell Model

We prove error estimates for a finite element approximation of viscoelastic dynamics based on continuous Galerkin in space and time, both in energy norm and in $L^2$ norm. The proof is based on an error representation formula using a discrete dual problem and a stability estimate involving the kinetic, elastic, and viscoelastic energies. To set up the dual error analysis and to prove the basic stability estimates, it is natural to formulate the problem as a system involving evolution equations for the viscoelastic stress, the displacements, and the velocities. The equations for the viscoelastic stress can, however, be solved analytically in terms of the deviatoric strain velocity, and therefore, the viscoelastic stress can be eliminated from the system, resulting in a system for displacements and velocities.

math.NA↗

arXiv2023

The Geometric Structure of Fully-Connected ReLU Layers

We formalize and interpret the geometric structure of $d$-dimensional fully connected ReLU layers in neural networks. The parameters of a ReLU layer induce a natural partition of the input domain, such that the ReLU layer can be significantly simplified in each sector of the partition. This leads to a geometric interpretation of a ReLU layer as a projection onto a polyhedral cone followed by an affine transformation, in line with the description in [doi:10.48550/arXiv.1905.08922] for convolutional networks with ReLU activations. Further, this structure facilitates simplified expressions for preimages of the intersection between partition sectors and hyperplanes, which is useful when describing decision boundaries in a classification setting. We investigate this in detail for a feed-forward network with one hidden ReLU-layer, where we provide results on the geometric complexity of the decision boundary generated by such networks, as well as proving that modulo an affine transformation, such a network can only generate $d$ different decision boundaries. Finally, the effect of adding more layers to the network is discussed.

cs.LG↗

arXiv2022

Hybridized Isogeometric Method for Elliptic Problems on CAD Surfaces with Gaps

We develop a method for solving elliptic partial differential equations on surfaces described by CAD patches that may have gaps/overlaps. The method is based on hybridization using a three-dimensional mesh that covers the gap/overlap between patches. Thus, the hybrid variable is defined on a three-dimensional mesh, and we need to add appropriate normal stabilization to obtain an accurate solution, which we show can be done by adding a suitable term to the weak form. In practical applications, the hybrid mesh may be conveniently constructed using an octree to efficiently compute the necessary geometric information. We prove error estimates and present several numerical examples illustrating the application of the method to different problems, including a realistic CAD model.

math.NA↗

arXiv2022

Extension Operators for Trimmed Spline Spaces

We develop a discrete extension operator for trimmed spline spaces consisting of piecewise polynomial functions of degree $p$ with $k$ continuous derivatives. The construction is based on polynomial extension from neighboring elements together with projection back into the spline space. We prove stability and approximation results for the extension operator. Finally, we illustrate how we can use the extension operator to construct a stable cut isogeometric method for an elliptic model problem.

math.NA↗

arXiv2021

The Finite Cell Method with Least Squares Stabilized Nitsche Boundary Conditions

We apply the recently developed least squares stabilized symmetric Nitsche method for enforcement of Dirichlet boundary conditions to the finite cell method. The least squares stabilized Nitsche method in combination with finite cell stabilization leads to a symmetric positive definite stiffness matrix and relies only on elementwise stabilization, which does not lead to additional fill in. We prove a priori error estimates and bounds on the condition numbers.

math.NA↗

arXiv2021

The Lorentz group and the Kronecker product of matrices

The group $SL(2,\mathbb{C})$ of all complex $2\times 2$ matrices with determinant one is closely related to the group $\boldsymbol{\mathcal{L}}_{+}^\uparrow$ of real $4\times 4$ matrices representing the restricted Lorentz transformations. This relation, sometimes called the spinor map, is of fundamental importance in relativistic quantum mechanics and has applications also in general relativity. In this paper we show how the spinor map may be expressed in terms of pure matrix algebra by including the Kronecker product between matrices in the formalism. The so-obtained formula for the spinor map may be manipulated by matrix algebra and used in the study of Lorentz transformations.

physics.class-ph↗

arXiv2018

Graded Parametric CutFEM and CutIGA for Elliptic Boundary Value Problems in Domains with Corners

We develop a parametric cut finite element method for elliptic boundary value problems with corner singularities where we have weighted control of higher order derivatives of the solution to a neighborhood of a point at the boundary. Our approach is based on identification of a suitable mapping that grades the mesh towards the singularity. In particular, this mapping may be chosen without identifying the opening angle at the corner. We employ cut finite elements together with Nitsche boundary conditions and stabilization in the vicinity of the boundary. We prove that the method is stable and convergent of optimal order in the energy norm and $L^2$ norm. This is achieved by mapping to the reference domain where we employ a structured mesh.

math.NA↗

arXiv2018

Hybridized CutFEM for Elliptic Interface Problems

We design and analyze a hybridized cut finite element method for elliptic interface problems. In this method very general meshes can be coupled over internal unfitted interfaces, through a skeletal variable, using a Nitsche type approach. We discuss how optimal error estimates for the method are obtained using the tools of cut finite element methods and prove a condition number estimate for the Schur complement. Finally, we present illustrating numerical examples.

math.NA↗

arXiv2018

Cut Topology Optimization for Linear Elasticity with Coupling to Parametric Nondesign Domain Regions

We develop a density based topology optimization method for linear elasticity based on the cut finite element method. More precisely, the design domain is discretized using cut finite elements which allow complicated geometry to be represented on a structured fixed background mesh. The geometry of the design domain is allowed to cut through the background mesh in an arbitrary way and certain stabilization terms are added in the vicinity of the cut boundary, which guarantee stability of the method. Furthermore, in addition to standard Dirichlet and Neumann conditions we consider interface conditions enabling coupling of the design domain to parts of the structure for which the design is already given. These given parts of the structure, called the nondesign domain regions, typically represents parts of the geometry provided by the designer. The nondesign domain regions may be discretized independently from the design domains using for example parametric meshed finite elements or isogeometric analysis. The interface and Dirichlet conditions are based on Nitsche's method and are stable for the full range of density parameters. In particular we obtain a traction-free Neumann condition in the limit when the density tends to zero.

math.NA↗

arXiv2018

A New Least Squares Stabilized Nitsche Method for Cut Isogeometric Analysis

We derive a new stabilized symmetric Nitsche method for enforcement of Dirichlet boundary conditions for elliptic problems of second order in cut isogeometric analysis (CutIGA). We consider $C^1$ splines and stabilize the standard Nitsche method by adding certain elementwise least squares terms in the vicinity of the Dirichlet boundary and an additional term on the boundary which involves the tangential gradient. We show coercivity with respect to the energy norm for functions in $H^2(\Omega)$ and optimal order a priori error estimates in the energy and $L^2$ norms. To obtain a well posed linear system of equations we combine our formulation with basis function removal which essentially eliminates basis functions with sufficiently small intersection with $\Omega$. The upshot of the formulation is that only elementwise stabilization is added in contrast to standard procedures based on ghost penalty and related techniques and that the stabilization is consistent. In our numerical experiments we see that the method works remarkably well in even extreme cut situations using a Nitsche parameter of moderate size.

math.NA↗

arXiv2018

Cut Finite Elements for Convection in Fractured Domains

We develop a cut finite element method (CutFEM) for the convection problem in a so called fractured domain which is a union of manifolds of different dimensions such that a $d$ dimensional component always resides on the boundary of a $d+1$ dimensional component. This type of domain can for instance be used to model porous media with embedded fractures that may intersect. The convection problem can be formulated in a compact form suitable for analysis using natural abstract directional derivative and divergence operators. The cut finite element method is based on using a fixed background mesh that covers the domain and the manifolds are allowed to cut through a fixed background mesh in an arbitrary way. We consider a simple method based on continuous piecewise linear elements together with weak enforcement of the coupling conditions and stabilization. We prove a priori error estimates and present illustrating numerical examples.

math.NA↗

arXiv2018

CutIGA with Basis Function Removal

We consider a cut isogeometric method, where the boundary of the domain is allowed to cut through the background mesh in an arbitrary fashion for a second order elliptic model problem. In order to stabilize the method on the cut boundary we remove basis functions which have small intersection with the computational domain. We determine criteria on the intersection which guarantee that the order of convergence in the energy norm is not affected by the removal. The higher order regularity of the B-spline basis functions leads to improved bounds compared to standard Lagrange elements.

math.NA↗