跳至內容

用戶: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獨立發現,並且前五個潘勒韋超越函數都是第六個潘勒韋超越函數的極限情形。