Researcher profile

Heiko von der Mosel

Heiko von der Mosel contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

Tangent-point energies and ropelength as Gamma-limit of discrete tangent-point energies on biarc curves

Using interpolation with biarc curves we prove $Γ$-convergence of discretized tangent-point energies to the continuous tangent-point energies in the $C^1$-topology, as well as to the ropelength functional. As a consequence discrete almost minimizing biarc curves converge to ropelength minimizers, and to minimizers of the continuous tangent-point energies. In addition, taking point-tangent data from a given $C^{1,1}$-curve $γ$, we establish convergence of the discrete energies evaluated on biarc curves interpolating these data, to the continuous tangent-point energy of $γ$, together with an explicit convergence rate.

preprint2021arXiv

M{ö}bius-invariant self-avoidance energies for non-smooth sets in arbitrary dimensions

In the present paper we investigate generalizations of O'Hara's Möbius energy on curves \cite{ohara_1991a}, to Möbius-invariant energies on non-smooth subsets of $\R^n$ of arbitrary dimension and co-dimension. In particular, we show under mild assumptions on the local flatness of an admissible possibly unbounded set $Σ\subset \R^n$ that locally finite energy implies that $Σ$ is, in fact, an embedded Lipschitz submanifold of $\R^n$ -- sometimes even smoother (depending on the a priorily given additional regularity of the admissible set). We also prove, on the other hand, that a local graph structure of low fractional Sobolev regularity on a set $Σ$ is already sufficient to guarantee finite energy of $Σ$. This type of Sobolev regularity is exactly what one would expect in view of Blatt's characterization \cite{blatt_2012a} of the correct energy space for the Möbius energy on closed curves. Our results hold in particular for Kusner and Sullivan's cosine energy $E_\textnormal{KS}$ \cite{kusner-sullivan_1997} since one of the energies considered here is equivalent to $E_\textnormal{KS}$.

preprint2015arXiv

Compactness and isotopy finiteness for submanifolds with uniformly bounded geometric curvature energies

In this paper, we establish compactness for various geometric curvature energies including integral Menger curvature, and tangent-point repulsive potentials, defined a priori on the class of compact, embedded $m$-dimensional Lipschitz submanifolds in ${\mathbb{R}}^n$. It turns out that due to a smoothing effect any sequence of submanifolds with uniformly bounded energy contains a subsequence converging in $C^1$ to a limit submanifold. This result has two applications. The first one is an isotopy finiteness theorem: there are only finitely many isotopy types of such submanifolds below a given energy value, and we provide explicit bounds on the number of isotopy types in terms of the respective energy. The second one is the lower semicontinuity - with respect to Hausdorff-convergence of submanifolds - of all geometric curvature energies under consideration, which can be used to minimise each of these energies within prescribed isotopy classes.

preprint2014arXiv

On minimal immersions in Finsler spaces

We explore a connection between the Finslerian area functional and well-investigated Cartan functionals to prove new Bernstein theorems, uniqueness and removability results for Finsler-minimal graphs, as well as enclosure theorems and isoperimetric inequalities for minimal immersions in Finsler spaces. In addition, we establish the existence of smooth Finsler-minimal immersions spanning given extreme or graphlike boundary contours.

preprint2012arXiv

Characterizing $W^{2,p}$~submanifolds by $p$-integrability of global curvatures

We give sufficient and necessary geometric conditions, guaranteeing that an immersed compact closed manifold $Σ^m\subset \R^n$ of class $C^1$ and of arbitrary dimension and codimension (or, more generally, an Ahlfors-regular compact set $Σ$ satisfying a mild general condition relating the size of holes in $Σ$ to the flatness of $Σ$ measured in terms of beta numbers) is in fact an embedded manifold of class $C^{1,τ}\cap W^{2,p}$, where $p>m$ and $τ=1-m/p$. The results are based on a careful analysis of Morrey estimates for integral curvature--like energies, with integrands expressed geometrically, in terms of functions that are designed to measure either (a) the shape of simplices with vertices on $Σ$ or (b) the size of spheres tangent to $Σ$ at one point and passing through another point of $Σ$. Appropriately defined \emph{maximal functions} of such integrands turn out to be of class $L^p(Σ)$ for $p>m$ if and only if the local graph representations of $Σ$ have second order derivatives in $L^p$ and $Σ$ is embedded. There are two ingredients behind this result. One of them is an equivalent definition of Sobolev spaces, widely used nowadays in analysis on metric spaces. The second one is a careful analysis of local Reifenberg flatness (and of the decay of functions measuring that flatness) for sets with finite curvature energies. In addition, for the geometric curvature energy involving tangent spheres we provide a nontrivial lower bound that is attained if and only if the admissible set $Σ$ is a round sphere.

preprint2012arXiv

On some knot energies involving Menger curvature

We investigate knot-theoretic properties of geometrically defined curvature energies such as integral Menger curvature. Elementary radii-functions, such as the circumradius of three points, generate a family of knot energies guaranteeing self-avoidance and a varying degree of higher regularity of finite energy curves. All of these energies turn out to be charge, minimizable in given isotopy classes, tight and strong. Almost all distinguish between knots and unknots, and some of them can be shown to be uniquely minimized by round circles. Bounds on the stick number and the average crossing number, some non-trivial global lower bounds, and unique minimization by circles upon compaction complete the picture.

preprint2012arXiv

Plateau's problem in Finsler 3-space

We explore a connection between the Finslerian area functional based on the Busemann-Hausdorff-volume form, and well-investigated Cartan functionals to solve Plateau's problem in Finsler 3-space, and prove higher regularity of solutions. Free and semi-free geometric boundary value problems, as well as the Douglas problem in Finsler space can be dealt with in the same way. We also provide a simple isoperimetric inequality for minimal surfaces in Finsler spaces.

preprint2011arXiv

Tangent-point repulsive potentials for a class of non-smooth $m$-dimensional sets in $\R^n$. Part I: Smoothing and self-avoidance effects

We consider repulsive potential energies $\E_q(Σ)$, whose integrand measures tangent-point interactions, on a large class of non-smooth $m$-dimensional sets $Σ$ in $\R^n.$ Finiteness of the energy $\E_q(Σ)$ has three sorts of effects for the set $Σ$: topological effects excluding all kinds of (a priori admissible) self-intersections, geometric and measure-theoretic effects, providing large projections of $Σ$ onto suitable $m$-planes and therefore large $m$-dimensional Hausdorff measure of $Σ$ within small balls up to a uniformly controlled scale, and finally, regularizing effects culminating in a geometric variant of the Morrey-Sobolev embedding theorem: Any admissible set $Σ$ with finite $\E_q$-energy, for any exponent $q>2m$, is, in fact, a $C^1$-manifold whose tangent planes vary in a Hölder continuous manner with the optimal Hölder exponent $μ=1-(2m)/q$. Moreover, the patch size of the local $C^{1,μ}$-graph representations is uniformly controlled from below only in terms of the energy value $\E_q(Σ)$.

preprint2010arXiv

On sphere-filling ropes

What is the longest rope on the unit sphere? Intuition tells us that the answer to this packing problem depends on the rope's thickness. For a countably infinite number of prescribed thickness values we construct and classify all solution curves. The simplest ones are similar to the seamlines of a tennis ball, others exhibit a striking resemblance to Turing patterns in chemistry, or to ordered phases of long elastic rods stuffed into spherical shells.

preprint2010arXiv

Tangent-point self-avoidance energies for curves

We study a two-point self-avoidance energy $E_q$ which is defined for all rectifiable curves in $R^n$ as the double integral along the curve of $1/r^q$. Here $r$ stands for the radius of the (smallest) circle that is tangent to the curve at one point and passes through another point on the curve, with obvious natural modifications of this definition in the exceptional, non-generic cases. It turns out that finiteness of $E_q(γ)$ for $q\ge 2$ guarantees that $γ$ has no self-intersections or triple junctions and therefore must be homeomorphic to the unit circle or to a closed interval. For $q>2$ the energy $E_q$ evaluated on curves in $R^3$ turns out to be a knot energy separating different knot types by infinite energy barriers and bounding the number of knot types below a given energy value. We also establish an explicit upper bound on the Hausdorff-distance of two curves in $R^3$ with finite $E_q$-energy that guarantees that these curves are ambient isotopic. This bound depends only on $q$ and the energy values of the curves. Moreover, for all $q$ that are larger than the critical exponent $2$, the arclength parametrization of $γ$ is of class $C^{1,1-2/q}$, with Hölder norm of the unit tangent depending only on $q$, the length of $γ$, and the local energy. The exponent $1-2/q$ is optimal.

preprint2009arXiv

Integral Menger curvature for surfaces

We develop the concept of integral Menger curvature for a large class of nonsmooth surfaces. We prove uniform Ahlfors regularity and a $C^{1,λ}$-a-priori bound for surfaces for which this functional is finite. In fact, it turns out that there is an explicit length scale $R>0$ which depends only on an upper bound $E$ for the integral Menger curvature $M_p(Σ)$ and the integrability exponent $p$, and \emph{not} on the surface $Σ$ itself; below that scale, each surface with energy smaller than $E$ looks like a nearly flat disc with the amount of bending controlled by the (local) $M_p$-energy. Moreover, integral Menger curvature can be defined a priori for surfaces with self-intersections or branch points; we prove that a posteriori all such singularities are excluded for surfaces with finite integral Menger curvature. By means of slicing and iterative arguments we bootstrap the Hölder exponent $λ$ up to the optimal one, $λ=1-(8/p)$, thus establishing a new geometric `Morrey-Sobolev' imbedding theorem. As two of the various possible variational applications we prove the existence of surfaces in given isotopy classes minimizing integral Menger curvature with a uniform bound on area, and of area minimizing surfaces subjected to a uniform bound on integral Menger curvature.