[Paper Review] AW(k)-Type Curves According to the Bishop Frame

İlim Kişi, Günay Öztürk|arXiv (Cornell University)|May 15, 2013

Geometric Analysis and Curvature Flows5 references3 citations

TL;DR

This paper introduces and characterizes $AW(k)$-type curves in $\mathbb{E}^3$ using the Bishop frame, an alternative to the Frenet frame that remains well-defined even when curvature vanishes. It derives differential equations for the Bishop curvatures $k_1$ and $k_2$ that classify curves as $AW(1)$, $AW(2)$, or $AW(3)$-type, with key solutions including $k_1 = k_2 = \pm 1/(s+c)$ for $AW(1)$-type and $k_1 = -k_2 = \pm 1/(s+c)$ for $AW(2)$-type curves.

ABSTRACT

In this study, we consider AW(k)-type curves according to the Bishop Frame in Euclidean space E^3. We give the relations between the Bishop curvatures k_1, k_2 of a curve in E^3.

Motivation & Objective

• To extend the theory of $AW(k)$-type curves from the Frenet frame to the Bishop frame in $\mathbb{E}^3$, which is more robust for curves with vanishing curvature.
• To define and characterize $AW(k)$-type curves using the Bishop frame's orthonormal moving frame, particularly focusing on osculating order 3.
• To derive differential equations governing the Bishop curvatures $k_1$ and $k_2$ that determine whether a curve is of type $AW(1)$, $AW(2)$, or $AW(3)$.
• To provide explicit solutions for the curvature functions $k_1(s)$ and $k_2(s)$ satisfying the $AW(k)$-type conditions, enabling concrete curve construction.
• To establish the equivalence between $AW(k)$-type conditions in the Frenet and Bishop frames via curvature transformations and frame rotation relations.

Proposed method

• Adopt the Bishop frame $\{T, M_1, M_2\}$ as a parallel-transported orthonormal frame along a unit-speed curve in $\mathbb{E}^3$, with Bishop curvatures $k_1$ and $k_2$ defining the Darboux derivative.
• Express the Frenet-Serret formulas in terms of the Bishop frame using the rotation angle $\theta(s) = \arctan(k_2/k_1)$, linking curvature $\kappa = \sqrt{k_1^2 + k_2^2}$ and torsion $\tau = \theta'$.
• Define the $AW(k)$-type conditions in the Bishop frame via orthogonality and projection conditions on the third derivative vector $\overline{N}_3$, using normalized vectors $\overline{N}_1^*$, $\overline{N}_2^*$.
• Derive curvature differential equations for $AW(1)$, $AW(2)$, and $AW(3)$-type curves by substituting the Bishop frame expressions into the $AW(k)$-type projection identities.
• Solve the resulting systems of second-order nonlinear ODEs for $k_1(s)$ and $k_2(s)$, yielding explicit solutions such as $k_1 = k_2 = \pm 1/(s+c)$ and $k_1 = -k_2 = \pm 1/(s+c)$.
• Verify consistency by transforming the solutions back to the Frenet frame and confirming agreement with known $AW(k)$-type characterizations.

Experimental results

Research questions

• RQ1 How can the $AW(k)$-type classification of curves be reformulated using the Bishop frame instead of the Frenet frame?
• RQ2 What differential equations must the Bishop curvatures $k_1(s)$ and $k_2(s)$ satisfy for a curve to be of $AW(1)$, $AW(2)$, or $AW(3)$-type?
• RQ3 Are there explicit solutions for the Bishop curvature functions $k_1(s)$ and $k_2(s)$ that satisfy the $AW(k)$-type conditions?
• RQ4 How do the $AW(k)$-type conditions in the Bishop frame relate to their counterparts in the Frenet frame?
• RQ5 What geometric or dynamic properties do curves with $k_1 = \pm 1/(s+c)$, $k_2 = \pm 1/(s+c)$ or $k_1 = -k_2 = \pm 1/(s+c)$ exhibit?

Key findings

• For $AW(1)$-type curves in the Bishop frame, the system $k_1'' - k_1^3 - k_1 k_2^2 = 0$ and $k_2'' - k_2^3 - k_1^2 k_2 = 0$ holds, with a solution $k_1(s) = k_2(s) = \pm 1/(s+c)$.
• For $AW(2)$-type curves, the condition $k_2' (k_1'' - k_1^3 - k_1 k_2^2) = k_1' (k_2'' - k_2^3 - k_1^2 k_2)$ is satisfied, and a solution is $k_1(s) = -k_2(s) = \pm 1/(s+c)$.
• For $AW(3)$-type curves, the condition $k_2 (k_1'' - k_1^3 - k_1 k_2^2) = k_1 (k_2'' - k_2^3 - k_1^2 k_2)$ holds, derived from the projection identity $\|\overline{N}_1\|^2 \overline{N}_3 = \langle \overline{N}_3, \overline{N}_1 \rangle \overline{N}_1$.
• The curvature functions $k_1(s) = \pm 1/(s+c)$ and $k_2(s) = \pm 1/(s+c)$ with equal or opposite signs correspond to curves of $AW(1)$ and $AW(2)$-type, respectively.
• The derivation confirms that the Bishop frame provides a valid and consistent framework for classifying $AW(k)$-type curves, even when the Frenet frame fails due to vanishing curvature.
• The transformation between Frenet and Bishop frames via $\theta(s) = \arctan(k_2/k_1)$ ensures that the $AW(k)$-type conditions are preserved under frame equivalence.