[논문 리뷰] A non-Newtonian approach in differential geometry of curves: multiplicative rectifying curves

Muhittin Evren Aydın, Aykut Has외 1명|arXiv (Cornell University)|2023. 07. 31.

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) 는 y(s) 가 ‖y*(s)‖* = 1* 를 만족하는 곱셈적 구면 곡선일 때, x(s) = (a ⋅* sec*s(s)) ⋅* y(s) 의 형태이면 곱셈적 정규 곡선이다.
• 곱셈적 정규 곡선은 그에 해당하는 곱셈적 구면 곡선과 곱셈적 반경 함수 ρ(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$ .