双曲平面全景投影的函数选择及相关技术咨询

首先得说，你定义的这种“全景投影”思路其实和球面几何里的圆柱投影非常相似——以原点O为观测点，把过O的所有直线映射成平行竖线，用h = arctan(x/y)/π把旋转角度转换成横向坐标（范围-1到1），核心就是找合适的纵向函数v=f(x,y)对吧？结合你提的不同需求，我给你整理几个方向：

一、不同需求对应的f(x,y)选择 #

1. 等距投影 #

等距的核心是让投影里的纵向坐标v和双曲平面上从O到A的实际距离成线性关系。在庞加莱圆盘模型里，原点到点A=(x,y)（极坐标下(r,θ)，r=√(x²+y²)）的双曲距离公式是：
d(O,A) = 2·artanh(r)
所以直接取v = k·d(O,A)就行，k是你可以调整的缩放系数。这样v会随着A趋近圆盘边界（r→1）趋向无穷大，完美还原双曲平面“越往外越开阔”的特性。

2. 等面积投影 #

等面积要求投影里的微小区域面积和双曲平面上的对应区域面积成固定比例。先拆解一下：

• 庞加莱圆盘的面积元素是dA = 4/(1 - r²)² · r dr dθ
• 投影的面积元素是dh·dv，结合你的h=θ/π，可得dh = dθ/π

把两者按等面积比例关联，约掉dθ后积分计算，最终可以得到：
v = C·r²/(1 - r²)
这里C是比例常数，比如取C=1的话，v范围是0到无穷大，完全满足等面积要求。

3. 有限范围投影 #

如果想让v有最大值（把整个双曲平面压缩到有限纵向空间里），可以选当r→1时v趋近某个常数的函数。比如：

• 平滑压缩版：v = 1 - √(1 - r²)，当r→1时v→1，范围0到1
• 线性压缩版：v = 2r/(1 + r)，同样r→1时v→1，增长更线性

这类投影适合做可视化展示，不用处理无穷大的坐标范围。

4. 球极投影（Gnomonic） #

球极投影的核心是把双曲直线映射成直线，但在你当前的投影框架下（h固定由角度θ决定），这个需求很难完美实现：过O的直线已经是竖线，但其他双曲直线是和圆盘正交的圆弧，要让它们投影成直线，v的函数需要和θ相关，但你的h已经把θ完全分离成横向坐标了，两者冲突。如果非要尝试，或许可以调整h的定义，但严格按你现在的设定，纯粹的球极投影是做不到的。

5. 保角投影（Conformal） #

保角需要保持角度不变，但在你固定h=arctan(x/y)/π的情况下，不存在这样的f(x,y)。原因是庞加莱圆盘的角度度量在θ方向是4r²/(1 - r²)²·dθ²，而你的投影里θ方向的度量是(1/π²)·dθ²，这两个无法对所有r保持比例关系，所以保角在这个框架下不可能实现。

二、其他有趣的选择 #

• 对数增长型：v = log((1 + r)/(1 - r))，增长速度比等距慢，能在有限空间里展示更多外围区域的细节
• 幂次调整型：v = r^k/(1 - r^k)，调整k值（比如k=2、k=0.5）可以灵活控制v的增长速度，适配不同可视化需求

三、资料推荐 #

你之前搜不到可能是术语的问题，这种投影属于双曲圆柱投影的范畴，你可以搜索“hyperbolic cylindrical projections”或者“hyperbolic panoramic projections”来找相关资料。另外像《Hyperbolic Geometry》（Bonahon 著）这类经典教材里，也有专门讲双曲平面投影与可视化的章节，能帮你系统理解这类问题。

备注：内容来源于stack exchange，提问作者Whogius