[論文レビュー] A non-Newtonian approach in differential geometry of curves: multiplicative rectifying curves

Muhittin Evren Aydın, Aykut Has+1 more|arXiv (Cornell University)|Jul 31, 2023

Advanced Numerical Analysis TechniquesEngineering被引用数 3

ひとこと要約

本稿では、3次元乗法的エウクリッド空間における直交曲線を研究するために、乗法的微積分を用いた非ニュートン型微分幾何学枠組みを導入する。ベクトル演算と微分を乗法的に再定義することにより、乗法的直交曲線は位置ベクトルが直交平面にあるものとして特徴づけられ、これが乗法的球面曲線を乗法的正割関数でスケーリングすることによって生成されることを証明する。これにより、標準的微積分では解析不能な幾何的構造に対しても解析が可能になる。

ABSTRACT

In this paper, we study the rectifying curves in multiplicative Euclidean space of dimension 3, i.e., those curves for which the position vector always lies in its rectifying plane. Since the definition of rectifying curve is affine and not metric, we are directly able to perform multiplicative differential-geometric concepts to investigate such curves. Having presented several characterizations, we completely classify the multiplicative rectifying curves by means of the multiplicative spherical curves.

研究の動機と目的

• 乗法的微積分を用いて微分幾何学を非ニュートン的枠組みへ拡張すること。
• 位置ベクトルが直交平面にあるという条件を満たす乗法的ユークリッド3次元空間における直交曲線の定義と特徴づけを行うこと。
• 標準的微積分の限界を克服し、特定の曲線の解析に適した乗法的微分幾何的アプローチを導入すること。
• 乗法的微積分がニュートン的微積分では解析不能な曲線に対しても幾何的明確性を提供することを示すこと。
• 乗法的球面曲線を用いた完全な分類を確立することにより、乗法的直交曲線を体系的に分類すること。

提案手法

• 乗法的ベクトル加法とスカラー乗法を備えた乗法的ユークリッド空間 ℝ³* を定義する。
• 標準的ユークリッド構造に代わる乗法的内積 ⟨⋅,⋅⟩* と乗法的ノルム ‖⋅‖* を導入する。
• 曲線の進化を定義するため、乗法的微分 x*(s) = lim_{h→0*} (x(s+h) ⊗ x(s)^{-1})^{1/h} を用いる。
• 乗法的微分を用いて乗法的フレネ方程式と曲率（乗法的曲率および捩率）を定義する。
• 乗法的直交曲線を、x(s) = ρ(s) ⋅* y(s) を満たすものとして特徴づけ、ここで ρ(s) = a ⋅* sec*s(s) であり、y(s) は ‖y*(s)‖* = 1* を満たす乗法的球面曲線である。
• 正規成分 x⊥*(s) が定数乗法的ノルム a²* を持つことを示すことにより、このような曲線がすべてその直交平面に存在することを証明する。

Figure 1. A multiplicative equator of $\mathbb{S}_{*}^{2}$

実験結果

リサーチクエスチョン

• RQ1 直交曲線はどのように乗法的微分幾何学枠組みにおいて再定義され、特徴づけられるか？
• RQ2 ℝ³* における乗法的直交曲線の幾何的構造は何か？
• RQ3 乗法的微分は、標準的微積分では取り扱いにくい曲線の解析をどのように可能にするか？
• RQ4 乗法的球面曲線は、乗法的直交曲線の生成メカニズムとして機能できるか？
• RQ5 曲線が乗法的直交曲線であるための必要十分条件は、その乗法的曲率とパラメータ化に関してどのように表現できるか？

主な発見

• 乗法的ユークリッド3次元空間における曲線 x(s) が乗法的直交曲線であるための必要十分条件は、x(s) = (a ⋅* sec*s(s)) ⋅* y(s) の形に書けることである。ここで y(s) は ‖y*(s)‖* = 1* を満たす乗法的球面曲線である。
• 乗法的直交曲線は、関連する乗法的球面曲線と乗法的半径関数 ρ(s) = a ⋅* sec*s(s) によって完全に分類可能である。
• 位置ベクトルの正規成分 x⊥*(s) は定数乗法的ノルム a²* を持つため、曲線がその直交平面に完全に含まれていることが確認される。
• x(t) = e^{sec(log t)/√2}, y(t) = e^{sec(log t)cos(log t^√2)/√2}, z(t) = e^{sec(log t)sin(log t^√2)/√2} で定義される曲線は、乗法的弧長パラメータ化のもとで乗法的直交曲線である。
• ℝ² における (log x)² + (log y)² = 1 で定義される乗法的円は、乗法的球面曲線の簡単な例であり、その乗法的半径関数は ρ(s) = e ⋅* sec*s(s) である。
• 新しい乗法的代数において、乗法的微分は標準的微分の性質（例えば、合成関数の法則、線形性）を満たし、一貫性のある微分幾何学が可能になる。

Figure 2. Left: a multiplicative circle at centered $(1,1)$ and radius $e$ . Right: a multiplicative rectifying curve parametrized by Eq. ( 1 ), $0.5\leq t\leq 3$ .