arXiv Science⌕ Search

arXiv subjects

Johannes Storn

Publications and source records attributed to Johannes Storn.

At least 19 recordsLinked to original sources
arXiv2026

The singular Zienkiewicz tetrahedron: Definition and Integration

We extend the two-dimensional singular Zienkiewicz element to three dimensions, leading to a novel $H^2$-conforming finite element on tetrahedral meshes based on rational shape functions. Besides the finite element construction and its conformity analysis, we develop an exact iterative integration procedure for the associated class of rational functions. The resulting formulae allow for the exact integration of the basis functions, their derivatives, and the products occurring in finite element assembly.

math.NA↗
arXiv2026

Dynamical Optimal Transport with $\mathfrak{so}(d)$-Invariance: From Theory to Computation

We introduce a modified Benamou--Brenier (MBB) formulation of optimal transport that incorporates Euclidean invariance at the dynamical level. We establish existence of minimizers for the resulting variational problem and prove its equivalence to a static formulation defining the Procrustes--Wasserstein distance. In the Gaussian setting, we show that this distance admits a closed-form expression, reducing to the Euclidean distance between the vectors of square roots of the ordered eigenvalues of the covariance matrices. On the computational side, we formulate a primal--dual scheme for the discretized problem. We prove a local conditional subsequential convergence result through an abstract analysis of a class of parameter-dependent saddle-point problems and illustrate the method's performance numerically.

math.OC↗
arXiv2026

Randomized Projection Operators onto Piecewise Polynomial Spaces

We introduce computable projection operators onto piecewise polynomial spaces, defined via sampling and discrete least-squares polynomial approximations. The resulting mappings exhibit (almost) optimal approximation properties in $L^2$ and $H^{-1}$. As smoothers for incomplete or rough data, they yield computable finite element discretizations with optimal convergence rates.

math.NA↗
arXiv2025

Quasi-optimality of the Crouzeix-Raviart FEM for p-Laplace-type problems

We verify quasi-optimality of the Crouzeix-Raviart FEM for nonlinear problems of $p$-Laplace type. More precisely, we show that the error of the Crouzeix-Raviart FEM with respect to a quasi-norm is bounded from above by a uniformly bounded constant times the best-approximation error plus a data oscillation term. As a byproduct, we verify a novel more localized a priori error estimate for the conforming lowest-order Lagrange FEM.

math.NA↗
arXiv2025

Examples of $p$-harmonic maps

We construct explicit examples of $p$-harmonic maps $u:\mathbb{R}^n \to \mathbb{R}^N$. These are more irregular than the previously known examples and thus provide new upper bounds for the regularity of $p$-harmonic maps, including the case of $\infty$-harmonic maps. To optimize our approach, we utilize solutions of the Hurwitz problem from algebra.

math.AP↗
arXiv2023

Solving Minimal Residual Methods in $W^{-1,p'}$ with large Exponents $p$

We introduce a numerical scheme that approximates solutions to linear PDE's by minimizing a residual in the $W^{-1,p'}(\Omega)$ norm with exponents $p> 2$. The resulting problem is solved by regularized Kacanov iterations, allowing to compute the solution to the non-linear minimization problem even for large exponents $p\gg 2$. Such large exponents remedy instabilities of finite element methods for problems like convection-dominated diffusion.

math.NA↗
arXiv2023

Adaptive Mesh Refinement for arbitrary initial Triangulations

We introduce a simple initialization of the Maubach bisection routine for adaptive mesh refinement which applies to any conforming initial triangulation and terminates in linear time with respect to the number of initial vertices. We show that Maubach's routine with this initialization generates meshes that preserve shape regularity and satisfy the closure estimate needed for optimal convergence of adaptive schemes. Our ansatz allows for the intrinsic use of existing implementations.

math.NA↗
arXiv2023

Grading of Triangulations Generated by Bisection

For triangulations generated by the adaptive bisection algorithm by Maubach and Traxler we prove existence of a regularized mesh function with grading two. This sharpens previous results in two dimensions for the newest vertex bisection and generalizes them to arbitrary dimensions. In combination with Diening et al. (2021) this yields $H^1$-stability of the $L^2$-projection onto Lagrange finite element spaces for all polynomial degrees and dimensions smaller than seven.

math.NA↗
arXiv2023

Minimal residual methods in negative or fractional Sobolev norms

For numerical approximation the reformulation of a PDE as a residual minimisation problem has the advantages that the resulting linear system is symmetric positive definite, and that the norm of the residual provides an a posteriori error estimator. Furthermore, it allows for the treatment of general inhomogeneous boundary conditions. In many minimal residual formulations, however, one or more terms of the residual are measured in negative or fractional Sobolev norms. In this work, we provide a general approach to replace those norms by efficiently evaluable expressions without sacrificing quasi-optimality of the resulting numerical solution. We exemplify our approach by verifying the necessary inf-sup conditions for four formulations of a model second order elliptic equation with inhomogeneous Dirichlet and/or Neumann boundary conditions. We report on numerical experiments for the Poisson problem with mixed inhomogeneous Dirichlet and Neumann boundary conditions in an ultra-weak first order system formulation.

math.NA↗
arXiv2022

Interpolation Operators for parabolic Problems

We introduce interpolation operators with approximation and stability properties suited for parabolic problems in primal and mixed formulations. We derive localized error estimates for tensor product meshes (occurring in classical time-marching schemes) as well as locally in space-time refined meshes.

math.NA↗
arXiv2022

Relaxed Kacanov scheme for the p-Laplacian with large p

We introduce a globally convergent relaxed Kacanov scheme for the computation of the discrete minimizer to the $p$-Laplace problem with $2 \leq p < \infty$. The iterative scheme is easy to implement since each iterate results only from the solve of a weighted, linear Poisson problem. It neither requires an additional line search nor involves unknown constants for the step length. The rate of convergence is independent of the underlying mesh.

math.NA↗
arXiv2021

Interpolation Operator on negative Sobolev Spaces

We introduce a Scott--Zhang type projection operator mapping to Lagrange elements for arbitrary polynomial order. In addition to the usual properties, this operator is compatible with duals of first order Sobolev spaces. More specifically, it is stable in the corresponding negative norms and allows for optimal rates of convergence. We discuss alternative operators with similar properties. As applications of the operator we prove interpolation error estimates for parabolic problems and smoothen rough right-hand sides in a least squares finite element method.

math.NA↗
arXiv2021

Crouzeix-Raviart finite element method for non-autonomous variational problems with Lavrentiev gap

We investigate the convergence of the Crouzeix-Raviart finite element method for variational problems with non-autonomous integrands that exhibit non-standard growth conditions. While conforming schemes fail due to the Lavrentiev gap phenomenon, we prove that the solution of the Crouzeix-Raviart scheme converges to a global minimiser. Numerical experiments illustrate the performance of the scheme and give additional analytical insights.

math.NA↗
arXiv2021

Fortin Operator for the Taylor-Hood Element

We design a Fortin operator for the lowest-order Taylor-Hood element in any dimension, which was previously constructed only in 2D. In the construction we use tangential edge bubble functions for the divergence correcting operator. This naturally leads to an alternative inf-sup stable reduced finite element pair. Furthermore, we provide a counterexample to the inf-sup stability and hence to existence of a Fortin operator for the $P_2$-$P_0$ and the augmented Taylor-Hood element in 3D.

math.NA↗