跳转到内容

User:TheNewHope/Functions

维基百科,自由的百科全书

函数是一种将一个集合(定义域)中的元素惟一地映射到另一个集合(到达域)中的元素的关系;在本文中,如无特殊说明,函数的定义域均为整个复平面或其子集(一元函数)或它所组成的n-元组(多元函数)。

如果一个关系所对应的映射不惟一,这关系建立一个多值函数;多值函数可以通过支割线被修正为一个函数。

函数可以根据其性质被分为初等函数和特殊函数。初等函数可以通过微分代数的扩张塔定义,是对微分封闭的一个微分域;而特殊函数往往是在数学或物理中具有特殊意义从而被定义的函数。本文将探讨部分常见函数的定义和性质。

初等函数

代数函数

指数函数

对数函数

三角函数

反三角函数

双曲函数

反双曲函数

经典常数

数学常数是一个有良好定义而有深刻价值的实数。

阿培里常数

阿培里常数可以由黎曼zeta函数定义。

阿培里在1979年证明了阿培里常数是一个无理数,尽管尚未得知阿培里常数是否是一个超越数。

卡塔兰常数

卡塔兰常数一般由狄利克雷beta-函数或勒让德chi-函数定义。

尚未得知如果卡塔兰常数是一个无理数。

提洛常数

提洛常数是2的立方根,出现在倍立方问题中。提洛常数不是一个欧几里得数,尽管提洛常数是一个三次代数数。

e

欧拉-马斯刻若尼常数

欧拉-马斯刻若尼常数被定义为一个极限

尽管这个常数有一系列极限或积分定义,一个封闭形式可能不存在。

葛莱佘-金可林常数

黄金比例

辛钦常数

2的自然对数

pi

毕达哥拉斯常数

毕达哥拉斯常数是2的平方根,被毕达哥拉斯常数证明为无理数。

索德纳常数

贝塞尔函数

一系列被统称为贝塞尔函数的函数是一系列特殊微分方程的无法被初等函数表示的解函数。

贝塞尔函数

更严格的“贝塞尔函数”指由两个线性无关的函数给出的贝塞尔方程的通解,而修正函数即是虚宗量的贝塞尔函数。其中诺伊曼函数又称第二类贝塞尔函数,而贝塞尔函数又称第一类贝塞尔函数。其中,诺伊曼函数在整数点处必须通过极限或更复杂的级数定义。

  • 贝塞尔函数

  • 诺伊曼函数

  • 修正贝塞尔函数

  • 修正诺伊曼函数

汉克尔函数

汉克尔函数是贝塞尔方程另一对的通解,又被称为第三类贝塞尔函数。

  • 汉克尔函数H^(1)_n(z)
  • 诺伊曼函数H^(2)_n(z)

球贝塞尔函数

一般的贝塞尔函数是在圆柱坐标上求解拉普拉斯方程发现的,在球坐标下,另有四个球贝塞尔函数。

  • 球贝塞尔函数J_n(z)
  • 球诺伊曼函数Y_n(z)
  • 球汉克尔函数H^(1)_n(z)
  • 球汉克尔函数H^(2)_n(z)

艾里函数

艾里函数Ai和Bi是齐次艾里方程(又称斯托克斯方程)的一对线性无关的通解,是复平面上的全纯函数。被特别称为Scorer函数的函数Gi和Hi也是方程的线性无关解,不过是在解被称为Scorer方程的非齐次方程时出现的,相对来说不常见。艾里函数一般由合流超几何极限函数定义,这也提供了一种定义其导数的方法。

艾里函数

艾里函数
艾里函数
艾里函数的导数
艾里函数的导数

Scorer函数

Scorer函数
Scorer函数
Scorer函数的导数
Scorer函数的导数

司徒卢威函数

司徒卢威函数给出非齐次的贝塞尔方程的解。

  • 司徒卢威函数H_v(z)
  • 修正司徒卢威函数L_v(z)

开尔文函数

开尔文函数进一步由贝塞尔函数和诺伊曼函数定义,分别给出其实部和虚部。 开尔文函数满足恒等式

使得

开尔文函数ber_v(z)
  • 开尔文函数bei_v(z)
  • 开尔文函数ker_v(z)
  • 开尔文函数kei_v(z)

整数函数

多项式

欧拉积分

共有两类欧拉积分。第一类欧拉积分给出贝塔函数,第二类欧拉积分给出伽马函数,后者是阶乘在复数域上的解析延拓,是非常重要的亚纯函数,并且有多种推广。

伽马函数

通过更换欧拉积分的积分上下界,可以定义不完全的伽马函数。

完全伽马函数

伽马函数

不完全伽马函数

上不完全伽马函数
下不完全伽马函数

正则伽马函数

正则上不完全伽马函数
正则下不完全伽马函数

多重伽马函数

多重伽马函数由伽马函数的导数给出,调和数和交错调和数及其推广可以据此定义。

  • 双重伽马函数psi(z)
  • 多重伽马函数psi_n(z)
  • 调和数H_n
  • 广义调和数H_n,r

贝塔函数

贝塔函数最初由积分定义,但可以表示为伽马函数之商。

贝塔函数
不完全贝塔函数
正则不完全贝塔函数

误差函数

误差函数

  • 误差函数erf(z)
  • 互补误差函数erfc(z)
  • 虚误差函数erfi(z)

菲涅耳积分

菲涅耳积分
菲涅耳积分

指数积分

以下是一些常见的初等原函数。指数积分Ei和对数积分li是定义在实数上的函数,并且后者与拉马努金-索德纳常数有关。

指数积分Ei(x)
En指数积分E_n(z)
对数积分li(x)

三角积分

正弦积分
正弦积分
余弦积分
余弦积分
双曲正弦积分
双曲余弦积分

超几何函数

超几何函数是用幂级数定义的函数,其中幂级数的系数由若干个珀赫哈默尔符号的积和商给出,正则化的超几何函数则使用伽马函数代替珀赫哈默尔符号。一般的单变量超几何函数拥有p_F_q的形式,其中p与q分别表示分子和分母中项的个数,并且根据p和q的关系决定合适的定义和解析延拓。多变量的超几何级数的收敛格外复杂。大多数常见的函数都可以表示为超几何函数的特殊情形。

合流超几何函数

合流超几何函数是高斯超几何函数的极限情形,作为合流超几何方程的解出现。注意0F0的超几何函数即是幂函数,1F0的超几何函数可以表示为特殊的幂运算,而0F1的超几何函数可以用贝塞尔函数,所以它们一般不作定义。作为线性独立的微分方程的解,Kummer合流超几何函数和Tricomi合流超几何函数又分别被称为第一类合流超几何函数和第二类合流超几何函数。

合流超几何极限函数

合流超几何函数

Kummer合流超几何函数
Tricomi合流超几何函数

惠泰克超几何函数

Whittaker超几何函数M
Whittaker超几何函数W

普通超几何函数

对于给定的单变量超几何函数,如果级数截断为多项式,也即因为b_k是负整数导致分母中珀赫哈默尔符号给出0,则可以使用正则化的定义。其他时候,如果p=q,函数可以用等价的级数或积分定义;如果p=q+1,级数仅在单位圆盘内(根据给定的参数,可能包括边界)收敛,此时通过反射公式进行线性变换的解析延拓和积分定义仍然等价;如果p>q+1,超几何函数只能通过积分定义,因为级数只在z=0收敛。

  • 高斯超几何函数2F1(a,b;c;z)


广义超几何函数

  • 广义超几何函数pFq(a_1,...a_p;b_1,...,b_q;z)
    • 广义超几何函数0F0
    • 广义超几何函数1F0

正则超几何函数

多变量超几何函数

阿佩尔超几何函数

阿佩尔超几何函数是一类双变量的超几何函数,级数收敛的范围不相同。阿佩尔等人定义了共计四个超几何函数。

  • 阿佩尔超几何函数F1

  • 阿佩尔超几何函数F2

  • 阿佩尔超几何函数F3

  • 阿佩尔超几何函数F4

Horn函数

尽管阿佩尔仅定义了四个双元超几何函数,Horn指出二阶的超几何函数共有34个,包括14个完全的级数和20个合流的级数。以下列表列出了14个完全的Horn函数,其中前四个函数即是阿佩尔超几何函数。

以下则是20个合流的Horn函数,要小心完全的H函数和合流的H函数有可能混淆。

Kampé de Fériet函数

Kampé de Fériet函数将阿佩尔超几何函数推广到了任意参数的情形。

  • Kampé de Fériet函数F^p,r,t_q,s,u(c_p,d_q;a_r,b_s;alpha_t,beta_u;x,y)

嫪丽切拉函数

嫪丽切拉函数将阿佩尔超几何函数推广到了任意变量,在下述四个函数中,n代表变量数目,是正整数。如果n为2,四个函数分别退化为第二,第三,第四和第一阿佩尔超几何函数;如果n为1,全部函数均退化为高斯超几何函数。

嫪丽切拉n变量函数
嫪丽切拉n变量函数
嫪丽切拉n变量函数
嫪丽切拉n变量函数

梅耶尔G-函数

麦克罗伯特E-函数

梅耶尔G-函数

梅耶尔G-函数由梅林变换和梅林-巴恩斯积分定义,进一步推广了广义超几何函数,被广泛地运用在计算机代数系统中。

梅耶尔G-函数
广义梅耶尔G-函数
双变量梅耶尔G-函数

福克斯H-函数

q-超几何函数

椭圆积分

椭圆积分是一种特殊的有理函数的积分。常用的椭圆积分是三类不完全椭圆积分,因为勒让德发现所有椭圆积分都可以表示成这三种积分和有理函数的复合。这三类不完全椭圆积分一般被称作椭圆积分的勒让德形式,为了计算便利,还能看到对称形式的椭圆积分。

完全椭圆积分

第一类完全椭圆积分
第二类完全椭圆积分
第三类完全椭圆积分

不完全椭圆积分

  • 第一类不完全椭圆积分F(phi,k)
  • 第二类不完全椭圆积分E(phi,k)
  • 第三类不完全椭圆积分Pi(n;phi,k)

椭圆函数

椭圆函数是复平面上的双周期亚纯函数,性质由单位胞胎决定。椭圆函数在任何一个胞胎内极点与零点的数量相同,取得任何有限或无限值的次数相同,所有极点的留数之和为零。任意两个周期相同的椭圆函数间有代数关系,因此一般仅考虑形式最简单的,阶数为二的椭圆函数,这又分为胞胎内有两个留数互为相反数的一阶极点的雅可比椭圆函数和一个留数为零的二阶极点的魏尔斯特拉斯椭圆函数。

雅可比theta函数

雅可比theta函数是对指数函数的椭圆的模拟,均是双拟周期函数,可以用来进一步构造雅可比椭圆函数。雅可比theta函数共有四个,一般由双边无穷级数或相应的无穷级数定义,其中第一theta函数是奇函数而其他是偶函数。

  • 第一雅可比theta函数

  • 第二雅可比theta函数

  • 第三雅可比theta函数

  • 第四雅可比theta函数

  • 雅可比theta函数的导数vartheta_1(z,q)
  • 雅可比theta函数的导数vartheta_2(z,q)
  • 雅可比theta函数的导数vartheta_3(z,q)
  • 雅可比theta函数的导数vartheta_4(z,q)

内维尔theta函数

内维尔theta函数进一步从雅可比theta函数定义,可以直接用来构造雅可比椭圆函数。

内维尔theta函数
内维尔theta函数
内维尔theta函数
内维尔theta函数

雅可比椭圆函数

雅可比椭圆函数sn, cn和dn是基本的椭圆函数,一般被分别称为椭圆正弦函数,椭圆余弦函数和椭圆德尔塔函数;其他的椭圆函数一般称为补足椭圆函数。

  • 雅可比椭圆函数
  • 雅可比椭圆函数
  • 雅可比椭圆函数
  • 雅可比椭圆函数
  • 雅可比椭圆函数
  • 雅可比椭圆函数
  • 雅可比椭圆函数
  • 雅可比椭圆函数
  • 雅可比椭圆函数
  • 雅可比椭圆函数
  • 雅可比椭圆函数
  • 雅可比椭圆函数

雅可比振幅函数

雅可比振幅函数是雅可比椭圆函数dn的原函数。

  • 雅可比振幅函数am(u,k)

魏尔斯特拉斯椭圆函数

  • 魏尔斯特拉斯椭圆函数p(z;g2,g3)
  • 魏尔斯特拉斯椭圆函数的导数p'(z;g2,g3)
  • 魏尔斯特拉斯zeta函数zeta(z;g2,g3)
  • 魏尔斯特拉斯sigma函数sigma(z;g2,g3)
  • 连带魏尔斯特拉斯sigma函数sigma_r(z;g2,g3)

Zeta函数和多重对数函数

第一个zeta函数由黎曼定义。Zeta函数和多重对数函数多通过级数定义并满足一系列函数方程,在L-函数的理论中有重要意义。 注意,一般出于对黎曼的敬意,zeta函数中分子上的幂利用字母s而非一般复变函数的z,w或u等。

Zeta函数

黎曼zeta函数
赫尔维茨zeta函数
勒奇超越函数

多重对数函数

多重对数函数

又称Jonquière函数。

双重对数函数
三重对数函数
尼尔森广义多重对数函数

尼尔森广义多重对数函数由尼尔森定义,推广了多重对数函数。

数论函数

马丢函数和Spheroidal函数

潘勒韦超越函数

六个潘勒韦超越函数对应着具有潘勒韦性质的六个二阶非线性常微分方程的解函数,即是它们的可移动奇点都是极点,但却不是初等的;这一性质在非线性方程中并不常见,而椭圆函数满足的微分方程正是这一类。埃米尔·皮卡和Lazarus Fuchs首先确认了具有潘勒韦性质的一阶非线性常微分方程要么是一种Riccati方程,要么可以用魏尔斯特拉斯椭圆函数表示解函数,并指出更高次的方程可能包括是本质奇点的可移动奇点。随即,埃米尔·皮卡的学生,保罗·潘勒韦和考虑了形如的包含有理函数的微分方程,发现这类方程总是可以变换到50个标准形式中;其中44个形式都由已知的解,但有6个微分方程,被称为潘勒韦方程需要定义新的解函数。潘勒韦本人定义了前三个潘勒韦超越函数,他的学生Bertrand Gambier定义了另外两个潘勒韦超越函数,而最后一个潘勒韦超越函数由Richard Fuchs独立发现,并且前五个潘勒韦超越函数都是第六个潘勒韦超越函数的极限情形。