[Paper Review] Decomposition of generalized O'Hara's energies

Aya Ishizeki, Takeyuki Nagasawa|arXiv (Cornell University)|Apr 15, 2019

Geometric and Algebraic Topology7 references4 citations

TL;DR

This paper establishes a decomposition of generalized O'Hara energies into three components—bending, twisting, and a constant—using a generalized cosine formula analogous to Doyle-Schramm’s result for Möbius energy. The decomposition preserves Möbius invariance and enables derivation of first and second variational formulae under specific conditions on the function Φ.

ABSTRACT

O'Hara introduced several functionals as knot energies. One of them is the Möbius energy. We know its Möbius invariance from Doyle-Schramm's cosine formula. It is also known that the Möbius energy was decomposed into three components keeping the Möbius invariance. The first component of decomposition represents the extent of bending of the curves or knots, while the second one indicates the extent of twisting. The third one is an absolute constant. In this paper, we show a similar decomposition for generalized O'Hara energies. On the way to derive it, we obtain an analogue of the cosine formula for the generalized O'Hara energy. Furthermore, using decomposition, the first and second variational formulae are derived.

Motivation & Objective

• To extend the decomposition of Möbius energy—previously known for Φ(x) = x²—to generalized O'Hara energies defined via arbitrary increasing functions Φ.
• To establish a generalized cosine formula for the energy functional EΦ(f) = ∬(1/Φ(‖f(s₁)−f(s₂)‖) − 1/Φ(D(f(s₁),f(s₂)))) ds₁ds₂.
• To prove that the generalized energy can be decomposed into three Möbius-invariant components: one measuring bending, one measuring twisting, and one being a constant.
• To derive the first and second variational formulae for the generalized energy under suitable integrability and regularity conditions on Φ and the curve f.
• To identify sufficient conditions on Φ (e.g., integrability and decay of 1/Φ) ensuring the validity of the decomposition and variational results.

Proposed method

• Derives a generalized cosine formula for EΦ(f) by expressing the energy density in terms of the conformal angle and vector differences, extending Doyle-Schramm’s result for Φ(x) = x².
• Introduces a functional space WΦ defined by integrability of ‖Δf′‖² / Φ(dist(s₁,s₂)) to ensure regularity and finiteness of the energy.
• Decomposes the generalized energy into three components: EΦ,1 (bending energy) involving ‖Δτ‖² / ‖Δf‖², EΦ,2 (twisting energy) involving inner products of 2-vectors τ ∧ Δf / ‖Δf‖, and a constant term.
• Uses asymptotic analysis and integral estimates involving Λ(x) = −(1/x)∫ₓ^∞ dt/Φ(t) to control error terms in the decomposition.
• Applies the dominated convergence theorem and absolute continuity of L²-integrals to justify limits in the variational analysis.
• Imposes conditions (A.1)–(A.11) on Φ, including monotonicity, integrability of 1/Φ, and decay conditions on Λ, to ensure convergence and validity of the decomposition.

Experimental results

Research questions

• RQ1 Can the generalized O'Hara energy EΦ(f) be decomposed into geometrically meaningful components analogous to the bending and twisting terms in the Möbius energy decomposition?
• RQ2 Does a generalized cosine formula exist for EΦ(f) that extends the known formula for Φ(x) = x²?
• RQ3 Under what conditions on Φ is the decomposition of EΦ(f) into bending, twisting, and constant terms valid and Möbius-invariant?
• RQ4 Can the first and second variational formulae for EΦ(f) be derived under the same conditions as the decomposition?
• RQ5 What regularity and integrability conditions on Φ and the curve f ensure the convergence of the energy and its variational derivatives?

Key findings

• A generalized cosine formula is established for EΦ(f), expressing the energy density in terms of the conformal angle and vector differences, extending Doyle-Schramm’s result.
• The generalized O'Hara energy EΦ(f) decomposes into three components: EΦ,1 (bending), EΦ,2 (twisting), and a constant 4, all of which are Möbius-invariant.
• The bending component EΦ,1(f) = ∬ ‖Δτ‖² / (2‖Δf‖²) ds₁ds₂ quantifies the extent of curvature-induced bending.
• The twisting component EΦ,2(f) = ∬ (2/‖Δf‖²) ⟨τ(s₁)∧Δf/‖Δf‖, τ(s₂)∧Δf/‖Δf‖⟩_∧² ds₁ds₂ measures the degree of self-twisting.
• The first and second variational formulae for EΦ(f) are derived under conditions (A.1)–(A.11), including integrability of 1/Φ and decay of Λ(x).
• For Φ(x) = x^α with α ∈ [2,3), all required conditions (A.1)–(A.11) are satisfied, ensuring the validity of the decomposition and variational formulae.