[论文解读] 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

一句话总结

本文提出了一种基于乘法微积分的非牛顿微分几何框架，用于研究三维乘法欧几里得空间中的法曲面曲线。通过重新定义向量运算和导数为乘法形式，作者将乘法法曲面曲线表征为位置向量位于法曲面平面内的曲线，并证明其由乘法球面对曲线经乘法正割函数缩放生成，从而在标准微积分失效的场景下实现几何分析。

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.

研究动机与目标

• 将微分几何扩展至基于乘法微积分的非牛顿框架。
• 在乘法欧几里得三维空间中定义并表征法曲面曲线，即位置向量位于法曲面平面内的曲线。
• 通过引入乘法微分几何方法，克服标准微积分在分析某些曲线时的局限性。
• 证明乘法微积分可为牛顿微积分下分析不可解的曲线提供几何清晰性。
• 通过乘法球面对曲线建立乘法法曲面曲线的完整分类。

提出的方法

• 在 ℝ³* 中定义乘法欧几里得空间，其中向量加法与数乘运算采用乘法形式。
• 引入乘法内积 ⟨⋅,⋅⟩* 和乘法范数 ‖⋅‖*，以替代标准欧几里得结构。
• 使用乘法导数 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 在乘法曲率与参数化条件下，曲线成为乘法法曲面曲线的充要条件是什么？

主要发现

• 在乘法欧几里得三维空间中的曲线 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$ .