scipy.special.spence#

scipy.special.spence(z, out=None) = <ufunc 'spence'>#

斯彭斯函数,也称为双对数函数。

它的定义为

\[\int_1^z \frac{\log(t)}{1 - t}dt\]

对于复数 \(z\),其中积分的轮廓被选择为避开对数的割线。斯彭斯函数在除了负实轴以外的任何地方都是解析的,它在负实轴上有一个割线。

参数:
zarray_like

计算斯彭斯函数的点

outndarray,可选

函数结果的可选输出数组

返回:
s标量或 ndarray

斯彭斯函数的计算值

注释

还有一个不同的约定,通过积分定义斯彭斯函数

\[-\int_0^z \frac{\log(1 - t)}{t}dt;\]

这是我们的 spence(1 - z)

示例

>>> import numpy as np
>>> from scipy.special import spence
>>> import matplotlib.pyplot as plt

该函数是为复数输入定义的

>>> spence([1-1j, 1.5+2j, 3j, -10-5j])
array([-0.20561676+0.91596559j, -0.86766909-1.39560134j,
       -0.59422064-2.49129918j, -1.14044398+6.80075924j])

对于割线上的复数输入,也就是负实轴,该函数返回 z 具有正虚部的极限。例如,在以下内容中,请注意 z = -2z = -2 - 1e-8j 输出的虚部符号的变化

>>> spence([-2 + 1e-8j, -2, -2 - 1e-8j])
array([2.32018041-3.45139229j, 2.32018042-3.4513923j ,
       2.32018041+3.45139229j])

对于割线上的实数输入,该函数返回 nan

>>> spence(-1.5)
nan

验证一些特定的值: spence(0) = pi**2/6, spence(1) = 0spence(2) = -pi**2/12

>>> spence([0, 1, 2])
array([ 1.64493407,  0.        , -0.82246703])
>>> np.pi**2/6, -np.pi**2/12
(1.6449340668482264, -0.8224670334241132)

验证恒等式

spence(z) + spence(1 - z) = pi**2/6 - log(z)*log(1 - z)
>>> z = 3 + 4j
>>> spence(z) + spence(1 - z)
(-2.6523186143876067+1.8853470951513935j)
>>> np.pi**2/6 - np.log(z)*np.log(1 - z)
(-2.652318614387606+1.885347095151394j)

绘制正实数输入的函数图。

>>> fig, ax = plt.subplots()
>>> x = np.linspace(0, 6, 400)
>>> ax.plot(x, spence(x))
>>> ax.grid()
>>> ax.set_xlabel('x')
>>> ax.set_title('spence(x)')
>>> plt.show()
../../_images/scipy-special-spence-1.png