设 为一个 复数,则不等式
(1)
|
在上面图示的透镜形区域内成立。用实变量显式地表示,可以写成
(2)
|
其中
(3)
|
封闭区域的面积大约为
(4)
|
(OEIS A140133)。
这个区域可以用变量 参数化表示为
(5)
| |||
(6)
|
用笛卡尔坐标参数化表示为,
(7)
| |||
(8)
|
这个区域与贝塞尔函数和卡普坦级数的研究密切相关 (Plummer 1960, p. 47; Watson 1966, p. 270)。
在
处达到最大值 (OEIS A085984; Goursat 1959, p. 120; Le Lionnais 1983, p. 36),该最大值由以下方程的根给出
(9)
|
或等价地由以下方程的根给出
(10)
|
正如斯蒂尔切斯指出的那样。
对应于最大值 的最小值
是
(OEIS A033259; Plummer 1960, p. 47; Watson 1966, p. 270),这被称为拉普拉斯极限常数。这正是拉普拉斯公式求解开普勒方程开始发散的点,由方程
的唯一实数解
给出,对于
(11)
|
的连分数由 [0, 1, 1, 1, 27, 1, 1, 1, 8, 2, 154, ...] 给出 (OEIS A033260)。
在
的连分数中首次出现的位置是 2, 10, 35, 13, 15, 32, 101, 9, ... (OEIS A033261)。 连分数中增量最大的项是 1, 27, 154, 1601, 2135, ... (OEIS A033262),它们出现在位置 2, 5, 11, 19, 1801, ... (OEIS A033263)。