-
On the Palais-Smale condition in geometric knot theory
Authors:
Nicolas Freches,
Henrik Schumacher,
Daniel Steenebrügge,
Heiko von der Mosel
Abstract:
We prove that various families of energies relevant in
geometric knot theory satisfy the Palais-Smale condition (PS)
on submanifolds of arclength para\-metrized knots.
These energies
include linear combinations of the Euler-Bernoulli
bending energy with a wide variety of non-local
knot energies, such as
O'Hara's self-repulsive potentials $E^{α,p}$, generalized
tangent-point energie…
▽ More
We prove that various families of energies relevant in
geometric knot theory satisfy the Palais-Smale condition (PS)
on submanifolds of arclength para\-metrized knots.
These energies
include linear combinations of the Euler-Bernoulli
bending energy with a wide variety of non-local
knot energies, such as
O'Hara's self-repulsive potentials $E^{α,p}$, generalized
tangent-point energies $\TP^{(p,q)}$, and generalized integral
Menger curvature functionals $\intM^{(p,q)}$. Even the
tangent-point energies $\TP^{(p,2)}$ for $p\in (4,5)$ alone
are shown to fulfill the (PS)-condition. For all energies mentioned
we can therefore prove existence of minimizing knots in any prescribed
ambient isotopy class, and we
provide long-time existence of their Hilbert-gradient flows,
and subconvergence to critical knots as time goes to infinity.
In addition, we prove $C^\infty$-smoothness of all arclength constrained
critical knots, which shows in particular that these critical knots
are also critical for the energies on the larger open set of
regular knots under a fixed-length constraint.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
Banach gradient flows for various families of knot energies
Authors:
Hannes Matt,
Daniel Steenebrügge,
Heiko von der Mosel
Abstract:
We establish long-time existence of Banach gradient flows for generalised integral Menger curvatures and tangent-point energies, and for O'Hara's self-repulsive potentials $E^{α,p}$. In order to do so, we employ the theory of curves of maximal slope in slightly smaller spaces compactly embedding into the respective energy spaces associated to these functionals, and add a term involving the logarit…
▽ More
We establish long-time existence of Banach gradient flows for generalised integral Menger curvatures and tangent-point energies, and for O'Hara's self-repulsive potentials $E^{α,p}$. In order to do so, we employ the theory of curves of maximal slope in slightly smaller spaces compactly embedding into the respective energy spaces associated to these functionals, and add a term involving the logarithmic strain, which controls the parametrisations of the flowing (knotted) loops. As a prerequisite, we prove in addition that O'Hara's knot energies $E^{α,p}$ are continuously differentiable.
△ Less
Submitted 28 April, 2022;
originally announced April 2022.
-
A speed preserving Hilbert gradient flow for generalized integral Menger curvature
Authors:
Jan Knappmann,
Henrik Schumacher,
Daniel Steenebrügge,
Heiko von der Mosel
Abstract:
We establish long-time existence for a projected Sobolev gradient flow of generalized integral Menger curvature in the Hilbert case, and provide $C^{1,1}$-bounds in time for the solution that only depend on the initial curve. The self-avoidance property of integral Menger curvature guarantees that the knot class of the initial curve is preserved under the flow, and the projection ensures that each…
▽ More
We establish long-time existence for a projected Sobolev gradient flow of generalized integral Menger curvature in the Hilbert case, and provide $C^{1,1}$-bounds in time for the solution that only depend on the initial curve. The self-avoidance property of integral Menger curvature guarantees that the knot class of the initial curve is preserved under the flow, and the projection ensures that each curve along the flow is parametrized with the same speed as the initial configuration. Finally, we describe how to simulate this flow numerically with substantially higher efficiency than in the corresponding numerical $L^2$ gradient descent or other optimization methods.
△ Less
Submitted 18 March, 2021;
originally announced March 2021.
-
On the Analyticity of Critical Points of the Generalized Integral Menger Curvature in the Hilbert Case
Authors:
Daniel Steenebrügge,
Nicole Vorderobermeier
Abstract:
We prove the analyticity of smooth critical points for generalized integral Menger curvature energies $\mathrm{intM}^{(p,2)}$, with $p \in (\tfrac 73, \tfrac 83)$, subject to a fixed length constraint. This implies, together with already well-known regularity results, that finite-energy, critical $C^1$-curves $γ: \mathbb{R}/\mathbb{Z} \to \mathbb{R}^n$ of generalized integral Menger curvature…
▽ More
We prove the analyticity of smooth critical points for generalized integral Menger curvature energies $\mathrm{intM}^{(p,2)}$, with $p \in (\tfrac 73, \tfrac 83)$, subject to a fixed length constraint. This implies, together with already well-known regularity results, that finite-energy, critical $C^1$-curves $γ: \mathbb{R}/\mathbb{Z} \to \mathbb{R}^n$ of generalized integral Menger curvature $\mathrm{intM}^{(p,2)}$ subject to a fixed length constraint are not only $C^\infty$ but also analytic. Our approach is inspired by analyticity results on critical points for O'Hara's knot energies based on Cauchy's method of majorants and a decomposition of the first variation. The main new idea is an additional iteration in the recursive estimate of the derivatives to obtain a sufficient difference in the order of regularity.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
