[论文解读] On a cosine function defined for smooth normed spaces

Vitor Balestro, Emad Shonoda|arXiv (Cornell University)|Jul 6, 2016

Fixed Point Theorems Analysis参考文献 13被引用 4

一句话总结

本文通过范数的Gateaux导数，引入了一种几何直观的余弦函数 cm(x,y)，用于光滑Minkowski空间，证明该函数对称当且仅当空间为欧几里得空间。通过cm的符号特性刻画Radon平面，并推导出涉及cm与正弦函数的微分方程，表明非欧几里得Radon平面在三角参数化中表现出二阶几何畸变，仅在欧几里得情况下具有常曲率。

ABSTRACT

We do further investigation in a certain cosine function defined for smooth Minkowski spaces. We prove that such function is symmetric if and only if the referred space is Euclidean, and also that it can be given in terms of the Gateaux derivative of the norm. As an application we use it to study the ratio between the lengths of tangent segments drawn through an external point to the unit circle of a Radon plane. We also give an easy characterization of such planes in terms of signs of the cosine function.

研究动机与目标

• 为光滑Minkowski空间中的余弦函数 cm(x,y) 提供一种新的、几何直观的定义。
• 建立 cm 与范数的Gateaux导数之间的联系，从而实现对该导数的非局部刻画。
• 利用从外部点到单位圆的切线线段长度之比，研究Radon平面上的性质。
• 通过余弦函数的符号行为对Radon平面进行刻画。
• 探讨非欧几里得Radon平面上三角函数的二阶几何畸变。

提出的方法

• 通过范数的Gateaux导数定义余弦函数 cm(x,y)，并证明其与Thompson原始定义等价。
• 基于 cm 构造一个半内积，以推导对称性与欧几里得空间的刻画结果。
• 利用对偶范数下的弧长参数化单位圆，推导出涉及 cm 与正弦函数的二阶微分方程 f'' + ρf = 0。
• 证明函数 s ↦ cm(x₀, γ(s)) 与 s ↦ sn(γ(s), x₀) 满足以 ρ(s) 为曲率类系数的谐振子方程。
• 通过辛形式 [·,·] 分析单位圆的面积参数化，表明其在Radon平面上与对偶范数下的弧长相一致。
• 利用常微分方程解的唯一性，证明 ρ(s) 为常数当且仅当范数为欧几里得范数。

实验结果

研究问题

• RQ1 在何种条件下余弦函数 cm(x,y) 具有对称性，这与底层空间的几何性质有何关联？
• RQ2 如何利用余弦函数 cm 对范数的Gateaux导数进行非局部刻画？
• RQ3 在Radon平面上，从外部点到单位圆的两条切线线段长度之比具有何种几何时意义？
• RQ4 函数 ρ(s) 如何与曲率关联，并反映非欧几里得Radon平面上三角函数的二阶畸变？
• RQ5 能否仅通过余弦函数 cm 的符号行为对Radon平面进行刻画？

主要发现

• 余弦函数 cm(x,y) 对称当且仅当Minkowski空间为欧几里得空间，从而建立了精确的几何刻画。
• 余弦函数可表示为范数的Gateaux导数的函数，为该导数提供了非局部刻画。
• 在光滑Radon平面上，函数 cm 与 sn 满足微分方程 f'' + ρf = 0，其中 ρ(s) 是单位圆上的曲率类函数。
• ρ(s) 为常数当且仅当范数为欧几里得范数，这意味着仅在欧几里得空间中，三角函数才表现出标准的简谐运动。
• 面积参数化 γ_A 在Radon平面上与对偶范数下的弧长相一致，证实了开普勒定律的微分形式。
• 研究表明，非欧几里得Radon平面上的三角函数表现出‘二阶畸变’，类似于黎曼几何中的现象。