特殊関数 グラフィックスライブラリー
特殊功能图形库
http://math-functions-1.watson.jp
H
ome
站点地图
特殊関数
q个-
特殊関数
楕円特殊関数
数学软件
参考資料
特殊関数
菜单
ガンマ関数
ガンマ関数
ポリガンマ関数
ガンマ関数の導関数
ベータ関数
二重階乗関数
巴恩斯
のG関数
多重ガンマ関数
多重三角関数
ガンマ関数の関連関数
ゼータ関数
黎曼
ゼータ関
黎曼-西格尔
関数
赫尔维茨
のゼータ関数
迪里克莱
のL関数
拉马努扬
のゼータ関数
拉马努扬-西格尔
関数
德德金德
のゼータ関数
ゼータ関
黎曼
ゼータ関数の導関数
斯蒂尔特杰斯
関数
非自明零点の
迪里克莱
級数
素数ゼータ関数
黎曼
素数計数関数
斐波那契
ゼータ関数
欧拉
和
里兹
関数
ポリ対数関数
(
多重対数関数)
罗杰斯
の二重対数関数
ポリ対数関数
克劳森
関数
積分逆正接関数
德拜
関数
莱奇
の超越関数
不完全ガンマ関数
不完全ガンマ関数
ガンマ関
不完整
正則化不完全ベータ関数
積分指数関数
積分指数関数
積分対数関数
積分三角関数
積分双曲線関数
その他
(
積分三角関数関連)
誤差関数
誤差関数
菲涅尔
関数
誤関
燃料喷射器
菲涅尔
関数
沃伊格特
関数
欧文
のT関数
马库姆
のQ関数
楕円積分
楕円積分
完全楕円積分
雅各比
のゼータ関数
希曼
のラムダ関数
算術幾何平均
楕円関数
高斯
の楕円関数
雅各比
の楕円関数
雅各比
の楕円振幅関数
雅各比
の第
2
種楕円関数
雅各比
篇
三
種楕円関
魏尔斯特拉斯
の楕円関数
魏尔斯特拉斯
の楕円ゼータ関数
魏尔斯特拉斯
の楕円シグマ関数
楕円テータ関数
楕円テータ関数
楕円テータ関数の導関数
楕円テータ関数の対数微分
内维尔
のテータ関数
拉马努扬
のテータ関数
楕円モジュラー関数
克莱因
の楕円モジュラー関数
楕円モジュラー・ラムダ関数
正多面体の楕円モジュラー関数
エータ積の楕円モジュラー関数
一般の楕円モジュラー関数
德德金德
のエータ関数
楕円モジュラー形式
(
不変量等)
艾森斯坦
級数
実解析的
艾森斯坦
級数
保型関数
数論的保型関数
数論的保型形式
施瓦兹
の保型関数
加洛瓦
的有理関数
一手
贝塞尔
関数
贝塞尔
関数
汉克尔
関数
変形
贝塞尔
関数
球
贝塞尔
関数
艾里
関数
开尔文
関数
一般
艾里
関数
贝塞尔
関数関連
斯特鲁夫
関数
愤怒-韦伯
関数
惠塔克
積分関数
艾里-哈迪
積分関数
洛梅尔
関数
積分
贝塞尔
関数
積分
贝塞尔
関数
贝塞尔-菲涅耳
関数
一般積分
贝塞尔
関数
比克利-内勒
関数
積分
艾里
関数
艾利-菲涅尔
関数
勒让德
関数
勒让德
関数
勒让德
陪関数
(费雷尔斯)
勒让德
陪関
(霍布森)
球面調和関数
勒让德
関数関連
円環関数
円錐関数
埃尔米特
関数
埃尔米特
関数
埃尔米特
関数
(
正規化)
放物柱関数
拉盖尔
関数
拉盖尔
関数
拉盖尔
陪関数
拉盖尔
陪関数
(
正規化)
切比雪夫
関数
切比雪夫
関数
切比雪夫
関数
(
正規化)
楕円有理関数
楕円
切比雪夫
関数
盖根鲍尔
関数
盖根鲍尔
関数
盖根鲍尔
関数
(
正規化)
超球面調和関数
雅各比
関数
雅各比
関数
雅各比
関数
(
正規化)
泽尼克
関数
维格纳
の
D类
関数
库仑
動関
库仑
波動関数
汉克尔-库仑
波動関数
库仑
補助関数
合流型超幾何関数
合流型超幾何関数
惠塔克
関数
超幾何関数
幾関
黎曼
のP関数
一般超幾何関数
一般超幾何関数
梅杰尔
のG関数
马修
関数
马修
関数
変形
马修
関数
马修
固有値関数
回転楕円体波動関数
扁長回転楕円体波動関数
(
角度)
扁平回転楕円体波動関数
(
角度)
扁長回転楕円体波動関数
(
動径)
扁平回転楕円体波動関数
(
動径)
回転楕円体波動固有値関数
回転楕円体波動関数関連
扁長回転楕円体波動余弦関数
扁平回転楕円体波動余弦関数
拉梅
関数
拉梅
関数
拉梅
多項式
一般
拉梅
関数
拉梅
固有値関数
希恩
関数
合流型
希恩
関数
希尔
関数
希尔
関数
(
楕円テータ関数周期)
希尔
関数
(
合成三角関数周期)
迈斯纳
関数
潘列韦
超越関数
第
1
種
潘列韦
超越関数
第
2
種
潘列韦
超越関数
第
三
種
潘列韦
超越関数
第
4
種
潘列韦
超越関数
第
5
種
潘列韦
超越関数
第
6
種
潘列韦
丹麦
第
2
種
潘列韦
方程式
(
古典解)
第
4
種
潘列韦
方程式
(
古典解)
高階
潘列韦
超越関数
第
1a个
種
Chazy公司
超越関数
第
1亿
種
Chazy公司
超越関数
第
1c个
種
Chazy公司
超越関数
第
1天
種
Chazy公司
超越関数
第
第1页
種
Chazy公司
超越関数
第
8
種
Chazy公司
超越関数
第
第13页
種
Chazy公司
超越関数
第
13亿
種
Chazy公司
超越関数
第
1
種
穆安·J拉德
丹麦
第
2
種
穆安·J拉德
超越関数
第
三
種
穆安·J拉德
超越関数
高階
潘列韦
方程式
(
古典解)
非線形微分方程式の解の関数
范德波尔
関数
达芬
関数
非強制振動型
达芬
関数
強制振動型
范德波尔
関数
洛特卡-沃尔特拉
関数
洛伦兹
関数
布拉修斯
関数
莱恩-埃姆登
関数
Mittag-莱夫勒
関数
Mittag-莱夫勒
関数
Mittag-莱夫勒
三角関数
赖特
関数
阿贝尔
関数
阿贝尔
関数
黎曼
テータ関数
按比例-黎曼
テータ関数
超レムニスケート関数
收缩测量的
関数
カタストロフィー理論の関数
皮尔西
積分関数
燕尾点正準積分関数
楕円臍準積関
双曲的臍点正準積分関数
余次元
4
の尖点正準積分関数
开尔文船型
種々の逆関数
乗積対数関数
开普勒
の逆関数
逆積分指数関数
逆積分対数関数
中国
逆
菲涅尔
関数
その他の特殊関数
西弗特
積分関数
阿布拉莫维茨
積分関数
格拉泽
積分関数
超指数関数
超対数関数
Böttcher公司
関数
雅各比
関数
雅各比
関数
日:
雅各比
関数
,
ヤコビ関数
英:
雅可比函数
,
仏:
雅各比教堂
,
独:
雅各布斯功能
2
階の線形常微分方程式
は超幾何微分方程式の別表現であって、
を確異とする
雅各比
の微分方程式といい、その解の基本系
を成す二つの関数を
超幾何関数
で表わせば、
となる。これを順に、第
1
種および第
2
種
雅各比
関数という※
1。
第
2
種で
の場合は、上記の式に
l’Hópital酒店
の定理を適用する等、別の定義式が必要になる。
このうち第
1
種は、常に
となる特別な解であって、
を一般に対数分岐点とし、実軸上の区間
に分枝切断線が置かれる。次数が
のときは
となる。
第
2
種は
を一般に対数分岐点とし、実軸上の区間
および
に分枝切断線が置かれる。ただし
が半奇数ならば、
の分岐点は消える。また、
のときは
となる。
雅各比
関数は、
中国
を持っている。
雅各比
関数は、
に関する線形漸化式および微分漸化式
を満たす。ここに
は、
の三変数について
1
を周期とする任意の周期関数である。同様に、
に関しても漸化式
を満たし、さらに、
に関する簡易な形の漸化式
も満たす。
雅各比
関数は
が特別な値の組合せのとき、
盖根鲍尔
関数
,
勒让德
陪関
,
および冪関数
に還元され、それらの式でさらに
または
とすると、
勒让德
関数
や
切比雪夫
関数
が現れる。一方、
に対して極限を取ると、
拉盖尔
陪関数
または
埃尔米特
関数
に近付く。
第
1
種
雅各比
関数は次数が
ならば、多項式
に還元される。これは
雅各比
多項式
(
希に、超幾何多項式) と呼ばれ、応用で
雅各比
関数が使用されるのは、ほとんどこの場合に限られる。
雅各比
多項式は、母関数表示式および
罗德里格斯
日本
でも表わすことができ、種々の性質を導くのに便利である。
雅各比
多項式は古典的直交多項式の系統上で頂点に位置するが、その直交性についての詳細は
次節
で触れる。なお、
雅各比
多項式は特別な
をををを
しばしば
に代わる第
1
種
雅各比
関数として、
を定義していることがある※
2。
ただし、
雅各比
のそれとは異なる
(
若干簡単な) 形の微分方程式
を満たす。
第
2
種
雅各比
関数についても、当サイトと違う様々な定義が存在する。例えば 「
高等先验函数卷2」
の
171
頁では、
が掲載されている。この関数は
雅各比
[美][美][美][美][美][美][美][美][美][美][美][美][美][美][美][美][美]
および
に分枝切断線が置かれる※
三。
また、同著の
170
頁または
Wolfram数学世界
の記事 「
第二类雅可比函数
」
では、第
2
種
雅各比
関数版の
霍布森
完
とも言うべく、実軸上の区間
に分枝切断線が置かれた、
が掲載されている。この関数も
雅各比
の微分方程式を満たす。
雅各比
関数
(
多項式) は、主に回転群が関係する剛体力学や量子力学で応用される。例えば、独楽などの回転運動、正の曲率を持つ空間内での
薛定谔
方程式の解、各種の拡張された球面調和関数および
维格纳
の
D类
行列
に現れる。この他にも、可積分系の特殊解など応用範囲は他の古典的直交多項式と共通する部分もあるが、
雅各比
多項式で扱う内容はより高度になることが多い。さらに
が複素数、
が純虚数となる
雅各比
(日本)
も応用事例があり、これは
罗曼诺夫斯基
多項式と呼ばれる※
4。
粒子ポテンシャルが余接関数となった
薛定谔
方程式の解、ランダム行列理論が事例として知られている。
雅各比
多項式は、
1859
年に
C.G.J.雅各比
が導入したことから、その名で呼ばれるようになった。また、
1870
年には
P.L.切比雪夫
が一般の多項式論を展開した際に、併せて
雅各比
多項式を論じた。
罗曼诺夫斯基
多項式は、
1929
年に
V.I.罗曼诺夫斯基(Romanovski)
がある種の確率分布を研究した際に導入した。
【
註記】
※
1:
第
2
種
雅各比
関数
は当サイトが独自に定義したものであって、
が余弦関数に相当すると見たとき、
は正弦関数に相当する。
(
この事は、後にグラフでも確認する。また、第
2
種関数の定義に対する当サイトの方針は、別頁
问题
に掲示している。)
なお、第
2
種
雅各比
関数の定義として広く採用されているのは
である。
※
2:
のグラフは全て省略する。
(
実変数も、概形の関心領域が決定しづらいので省略する。)
※
三:
のグラフは
と似ているので、
を変数とする場合のみ掲載し、個数も削減する。
※
4:
のグラフも全て省略する。
(
同じく、概形の制御が難しいことに因る。)
を実変数とする、第
1
種
雅各比
関数のグラフ。
①
整数次
(雅各比
多項式)。
②
実数次
。
を実
2
変数とする、第
1
種
雅各比
関数
我的爱人
では関数が定義されない。
2
番目は、
の範囲を拡大した場合。
を実変数とする、第
1
種
雅各比
関数のグラフ。
①
整数次
(雅各比
多項式)。
②
実数次
。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
では関数が定義されない。
2
番目は、
の範囲を拡大した場合。
を実変数とする、第
1
種
雅各比
関数のグラフ。
①
整数次
(雅各比
多項式)。
②
実数次
。
を実
2
変とする、
1
種
雅各比
関数
のグラフ。
では関数が定義されない。
2
番目は、
の範囲を拡大した場合。
を実変数とする、第
1
種
雅各比
関数のグラフ。
①
整数次
(雅各比
多項式)。
②
実数次
。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
では関数が定義されない。
2
番目は、
の範囲を拡大した場合。
アニメーション
(270兆字节)
を実変数とする、第
1
種
雅各比
関数
のグラフ。ただし実数
の組は、
2
番目の図の経路に沿って動く。
を複変
1
種
雅各比
関数
のグラフ。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
アニメーション
(17.8MB)
を複素変数とする、第
1
種
雅各比
関数
のグラフ。ただし実数
の組は、
2
番目の図の経路に沿って動く。
を実変数とする、第
1
種
雅各比
関数のグラフ。
①
。
②
。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
を実変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
では関数が定義されない。
を実変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
では関数が定義されない。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
を実変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
を実変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
を複素変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変とする、
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
1
種
雅各比
関数
のグラフ。
を実変数とする、第
2
種
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
および
では関数が定義されない。
2
番目は、
の範囲を拡大した場合。
を実変数とする、第
2
種
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
および
では関数が定義されない。
2
番目は、
の範囲を拡大した場合。
を実変数とする、第
2
種
雅各比
関数のグラフ。
①
整数次
。
②
実
。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
および
では関数が定義されない。
2
番目は、
の範囲を拡大した場合。
を実変数とする、第
2
種
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
および
では関数が定義されない。
2
番目は、
の範囲を拡大した場合。
を複素変数とする、第
2
種
雅各比
関数
我的爱人
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複変
2
種
雅各比
関数
のグラフ。
アニメーション
(185MB)
を複素変数とする、第
2
種
雅各比
関数
のグラフ。ただし実数
の組は、
2
番目の図の経路に沿って動く。
を実変数とする、第
2
種
雅各比
関数のグラフ。
①
。
②
。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を実変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
では関数が定義されない。
を実変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
では関数が定義されない。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を実変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
では関数が定義されない。
を実変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
では関数が定義されない。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
を実
2
変数とする、第
2
種
雅各比
関数
のグラフ。
余弦・正弦関数に類似した
と
の関係。このとき、両者の包絡線は
となる。
を実変数とする、第
2
種
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を実変数とする、第
2
種
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を実変数とする、第
2
種
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を実変数とする、第
2
種
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を実変数とする、第
2
種
雅各比
関数のグラフ。いずれも実数次であって、
①
。
②
。
③
。
④
。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
アニメーション
(204MB)
を複素変数とする、第
2
種
雅各比
関数
のグラフ。ただし実数
の組は、
2
番目の図の経路に沿って動く。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
を複素変数とする、第
2
種
雅各比
関数
のグラフ。
站点地图
↑
顶部页面
雅各比
関数
(
正規化)
雅各比
多項式
は、直交区間を
とする直交多項式であり、重み関数を伴う直交性
を持っている。拡張された球面調和関数などの応用事例では、上記に
の置換積分を施した
がしばしば必要になる。
もし、前節で触れた
を
雅各比
多項式とするならば、その直交区間は
となり、
なる直交性を持つ直交多項式となる。
雅各比
\38917年
(
次数
以外のパラメーター) が
2
個ある唯一のものである。
当サイトでは
雅各比
関数に対しても、独自に
を導入し、正規化
雅各比
関数と呼ぶ※
1。
よって、
は
正規直交関数系
を成すとともに、重み関数が現れない直交性
を満たす。
【
註記】
※
1:
関数記号は正規化
(规范化)
に基づく。また、当サイトでは
および
を複素数まで許容する。他の直交多項式と同様に、
を対数ガンマ関数で表示しているのは、
を複素変数とする場合に解析接続が考慮されるようにするためである。
を実変数とする、正規化
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
では関数が実数値を取らない帯状領域がある。
を実変数とする、正規化
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を実
2
変数とする、正規化
雅各比
関数
我的爱人
では関数が実数値を取らない帯状領域がある。
を実変数とする、正規化
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
では関数が実数値を取らない帯状領域がある。
を実変数とする、正規化
雅各比
関数のグラフ。
①
整数次
。
②
実数次
。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
では関数が実数値を取らない帯状領域がある。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を実変数とする、正規化
雅各比
関数のグラフ。
①
。
②
。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を実変数とする、正規化
雅各比
関数
のグラフ。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
では関数が実数値を取らない帯状領域がある。
を実変数とする、正規化
雅各比
関数
のグラフ。
では関数が実数値を取らない。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
では関数が実数値を取らない帯状領域がある。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を実変数とする、正規化
雅各比
関数
のグラフ。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
では関数が実数値を取らない帯状領域がある。
を実変数とする、正規化
雅各比
関数
のグラフ。
では関数が実数値を取らない。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
では関数が実数値を取らない帯状領域がある。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を複素変数とする、正規化
雅各比
関数
のグラフ。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
を実
2
変数とする、正規化
雅各比
関数
のグラフ。
站点地图
↑
顶部页面
泽尼克
関数
日:
泽尼克
関数
,
ゼルニケ関数
英:
Zernike函数
,
仏:
泽尼克功能
,
独:
Zernikesche funktion公司
泽尼克
関数は、第
1
種
雅各比
関数を用いた表示式
で定義される※
1。
一般に
泽尼克
関数は、
を第
1
種
雅各比
関数に由来する対数分岐点、
を
に由来する分岐点とし、実軸上の区間
および
に分枝切断線が置かれる
(
特に
のときは、実軸上の区間
および
に分枝切断線が置かれる)。
泽尼克
関数は、
に関する線形漸化式および微分漸化式
を満たす。また、
とするとき、積分表示式
で表わせる。
後述のとおり、応用では
を動径方向の関数と考え、方位角
方向の因子を三角関数とした、
が定義される。当サイトでは、これを 「円板上の
泽尼克
関数」 と呼ぶことにする。
および
のうち、実際に応用面で重要となるのは、専ら
,
で、しかも
となる場合に限られる。このとき、
は前述の分枝切断線が消失して多項式となるので、
泽尼克
多項式と呼ばれる。また、
を 「円板上の
泽尼克
多項式」 と呼ぶことにする。
泽尼克
多項式は、母関数表示式および
罗德里格斯岛
の公式※
2
で表わせる他、超幾何関数表示式および明示的な多項式
によっても表わせる。
(
実は、冒頭に掲げた定義式に現れる第
1
種
雅各比
関数の部分は、
泽尼克
多項式のときに第
1
種
勒让德
関数の多項式で表わすことができる※
3。)
泽尼克
多項式の特に重要な性質は、重み関数
を伴う直交性
をつつつつつつつつつつつつつつつつつつつつつつつ
泽尼克
多項式は古典的直交多項式に含めない慣例となっている。
泽尼克
多項式は光学の分野で重要であり、特に、天文学および眼科領域で使用されるレンズや精密光学機器の性能を向上する
(
歪みや干渉を抑える) ために応用される。また、画像処理における特徴検出にも
泽尼克
多項式が現れ、その技術は医療機器等に応用されている。これらの事例では、円板上の
泽尼克
多項式が持つ単位円板内部での直交性
が基礎となっている。
1932
年に位相差顕微鏡を発明した
F.泽尼克
は、これに必要となる円形凹面鏡の設計とその回折現象の解明にあたって、新たに
泽尼克
多項式を導入した事を
1934
年の論文で明らかにしたので、後年その名を冠して呼ばれるようになった。
【
註記】
※
1:
因子
百里
Mathematica公司
が採用する定義
(2023
年
1
月現在) であって、通常この部分は
で定義される。ところが前者は、
が整数でない実数のときでも、
が実数値を取るという利点を持つ。
Mathematica公司
が今後この定義を変更する可能性もあるが、当サイトはこれを採用する。よって、
泽尼克
多項式を超える
および
我的爱人,我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人我的爱人
(
例えば、
または
を複(変とするグラフ)
※
2:
微分形式
による表現を用いず、この公式を次のように解釈しても良い。
※
三:
この事は、
が満たす漸化式
から分かる。
を実変数とする、
泽尼克
多項式のグラフ。
①
。
②
。
③
。
④
。
を実変数とする、
泽尼克
多項式のグラフ。
①
。
②
。
③
。
④
。
円板上の
泽尼克
多項式
のグラフ。
の場合。
(
通常はこの表示形式のグラフを、「
泽尼克
多項式のグラフ」 として紹介している事が多い。)
前述の直交性により、
のグラフは単位円内部に限定することが多いが、関数自体は外部にも存在する。
円板上の
泽尼克
多項式
のグラフ。
の場合。
円板上の
泽尼克
多項式
のグラフ。
の場合。
を共通とする、円板上の
泽尼克
多項式
の有限和
が成立する。これは、
贝塞尔
関数の公式 「
雅各比-愤怒膨胀
」
に似ている。
のグラフ。
のグラフ。
を実変数とする、
泽尼克
関数
のグラフ。
を実
2
変数とする、
泽尼克
関数
のグラフ。
を実変数とする、
泽尼克
関数
のグラフ。
を実
2
変数とする、
泽尼克
関数
のグラフ。
を実変数とする、
泽尼克
関数
のグラフ。
を実
2
変数とする、
泽尼克
関数
のグラフ。
を実変数とする、
泽尼克
関数
のグラフ。
を実
2
変数とする、
泽尼克
関数
のグラフ。
を実変数とする、
泽尼克
関数
のグラフ。
を実
2
変数とする、
泽尼克
関数
のグラフ。
を実変数とする、
泽尼克
関数
のグラフ。
を実
2
変数とする、
泽尼克
関数
のグラフ。
を実変数とする、
泽尼克
関数
のグラフ。
を実
2
変数とする、
泽尼克
関数
のグラフ。
を実変数とする、
泽尼克
関数
のグラフ。
を実
2
変とする、
泽尼克
関数
のグラフ。
を実
2
変数とする、
泽尼克
関数
のグラフ。
を複素変数とする、
泽尼克
関数
のグラフ。
を複素変数とする、
泽尼克
関数
のグラフ。
を複素変数とする、
泽尼克
関数
のグラフ。
を複素変数とする、
泽尼克
関数
のグラフ。
円板上の
泽尼克
関数
のグラフ。
の場合。
站点地图
↑
顶部页面
维格纳
の
D类
関数
日:
维格纳
の
D类
関数
,
ウィグナー
D类
関数
英:
维格纳D函数
,
仏:
功能D de Wigner
,
独:
Wignersche D-funktion公司
角度
(
ただし、この制限はしばしば不要になる) は、
三
次元直交直線座標
における原点中心の回転変換を指定する、
(
回転系の)
欧拉
角
であるとする※
1。
このとき
维格纳
の
D类
行列
とは、
次のユニタリー行列
(
ユニタリー性
を持つ
次の複素正方行列。ここに、
は
次の単位行列。)
であって、具体的にその要素
が、
维格纳
の
D类
関数
により
※
2。
特に
の部分は
维格纳
の
d日
関数と呼ばれ、これの
雅各比
関数部分は、超幾何関数による閉形式または有限和で表示されることもある。
维格纳
の
D类
関数および
d日
関数は、
について反転性
を持つ。また、偏微分演算子を
と定めるとき、
维格纳
の
D类
関数の共役複素数は
なる偏微分方程式を満たす※
三。
すなわち
等は、この偏微分方程式の固有値である。
さらに、
维格纳
の
D类
関数は
欧拉
角
の全体をわたる直交性
を持っている。
维格纳
の
D类
関数は、
球面調和関数
およびその拡張と関係がある。例えば
のとき、球面調和関数
に還元される。一方、量子力学における
"
スピン
"
を考慮した 「スピン加重球面調和関数
(自旋加权球谐函数)」
は、
维格纳
の
d日
関数を用いて、
と表わされる。
また重要な事実として、有限和
は、球面調和関数
を
(
回転系の)
欧拉
角
で回転変換したものと一致する。
维格纳
の
D类
行列は、回転群
(
特殊直交群)
または特殊ユニタリー群
の既約行列表現
(
群(じ)
E.P.威格纳
が
1927
年に導出した。主に、スピン角運動量が伴う量子力学、並びにその有限次元
谎言
群による表現論に応用される。
【
註記】
※
1:(
回転系の)
欧拉
角
は、具体的に次の手順で回転が定まる。
①
軸周りに
度回転
②
前記
①
で移動後の
軸周りに
度回転
③
前記
②
で移動後の
軸周りに
度回転
これをアニメーション
(372 MB)
で示すと、次のようになる。
同様に、他の回転系を採用することも可能であり、全部で
12
種類の回転系がある。
※
2:
Mathematica公司
の組込関数
は、添字
が整数でもなく半奇数でもない場合にも定義されており、しかも
が複素数の場合でも計算可能である。それは次のコードと全く同じ動作になる
(2023
年
三
月現在)。
このとき、
と通常の定義
の関係は
(
添字と変数の拡張も含めて)、
となる。なお、コード
高斯超几何。
米
では、
Mathematica公司
組込関より更多的分析
维格纳
の
D类
関数も実装した。
※
3:维基百科
の記事にあるとおり、偏微分演算子
等を
谎言
代数の生成子と考え、更に量子力学で多用されるケット記号
を用いて、しばしばこの偏微分方程式は
の形に略記される。
を実変数とする、
维格纳
の
d日
関数のグラフ。
①
(
のうち、重複を除いた関数は
12
種類。)
②
(
のうち、重複を除いた関数は
22
種類。)
③
(
のうち、重複を除いた関数は
9
種類。)
④
(
のうち、重複を除いた関数は
18
種類。)
を整
2
変数とする、
维格纳
の
d日
関数
のグラフ。
を整
2
変数とする、
维格纳
の
d日
関数
のグラフ。
を整
2
変数、
を実変数とする、
维格纳
の
d日
関数
のグラフ。
①
描画範囲が
の場合。
②
描画範囲が
の場合。
を整
三
変数とする、
维格纳
の
d日
関数のグラフ。
①
。
②
。
を変数とする、
维格纳
の
D类
関数
のグラフ。
(
ただし、
を極座標の方位角、
を極座標の天頂角として描画する:以下同様。)
を変数とする、
维格纳
の
D类
関数
のグラフ。
アニメーション
(3.66MB、3.62MB、3.61MB)
を変数とする、
维格纳
の
D类
関数
のグラフについて、
を動かしたときの動画。
アニメーション
(4.18MB、4.35MB、4.28MB)
を変数とする、
维格纳
の
D类
関数
のグラフについて、
を動かしたときの動画。
を変数とする、
维格纳
の
D类
関数
のグラフを、直交直線座標
で描画する。
を変数とする、
维格纳
の
D类
関数
のグラフを、直交直線座標
で描画する。
前述の有限和
が、球面調和関数
を
欧拉
角
で回転変換したものと一致することを確認する。
の場合。グラフとアニメーション
(3.38MB)
。
の場合。グラフとアニメーション
(3.58MB)
。
の場合。グラフとアニメーション
(364 MB)
。
前述のとおり、
维格纳
の
d日
関数は
が実数のときにも定義できるが、物理的な意味は持たない。以下そのような事例を掲載する。
を実
2
変数とする、
维格纳
の
d日
関数
のグラフ。
を実
2
変数とする、
维格纳
の
d日
関数
のグラフ。
を実
2
変数とする、
维格纳
の
d日
関数
のグラフ。
を実
2
変数とする、
维格纳
の
d日
関数
のグラフ。
特殊関数
菜单
ガンマ関数
ガンマ関数
ポリガンマ関数
ガンマ関数の導関数
ベータ関数
二重階乗関数
巴恩斯
のG関数
多重ガンマ関数
多重三角関数
ガンマ関数の関連関数
ゼータ関数
黎曼
のゼータ関数
黎曼-西格尔
関数
赫尔维茨
のゼータ関数
迪里克莱
のL関数
拉马努扬
のゼータ関数
拉马努扬-西格尔
関数
德德金德
のゼータ関数
ゼータ関数に関連する関数
黎曼
ゼータ関数の導関数
斯蒂尔特杰斯
関数
非自明零点の
迪里克莱
級数
素数ゼータ関数
黎曼
素数計数関数
斐波那契
ゼータ関数
欧拉
和
里兹
関数
ポリ対数関数
(
)
罗杰斯
の二重対数関数
ポリ対数関数
克劳森
関数
積分逆正接関数
德拜
関数
莱奇
の超越関数
不完全ガンマ関数
不完全ガンマ関数
正則化不完全ガンマ関数
不完全ベータ関数
正則化不完全ベータ関数
積分指数関数
積分指数関数
積分対数関数
積分三角関数
積分双曲線関数
その他
(
積分三角関数関連)
誤差関数
誤差関数
菲涅尔
関数
超誤差関数
燃料喷射器
菲涅尔
関数
沃伊格特
関数
欧文
のT関数
马库姆
のQ関数
楕円積分
楕円積分
完全楕円積分
雅各比
のゼータ関数
希曼
のラムダ関数
算術幾何平均
楕円関数
高斯
の楕円関数
雅各比
の楕円関数
雅各比
の楕円振幅関数
雅各比
の第
2
種楕円関数
雅各比
の第
三
種楕円関数
魏尔斯特拉斯
の楕円関数
魏尔斯特拉斯
の楕円ゼータ関数
魏尔斯特拉斯
の楕円シグマ関数
楕円テータ関数
楕円テータ関数
楕円テータ関数の導関数
楕円テータ関数の対数微分
内维尔
のテータ関数
拉马努扬
のテータ関数
楕円モジュラー関数
克莱因
の楕円モジュラー関数
楕円モジュラー・ラムダ関数
正多面体の楕円モジュラー関数
エータ積の楕円モジュラー関数
一般の楕円モジュラー関数
德德金德
のエータ関数
楕円モジュラー形式
(
不変量等)
艾森斯坦
級数
実解析的
艾森斯坦
級数
保型関数
数論的保型関数
数論的保型形式
施瓦兹
の保型関数
加洛瓦
的有理関数
一般の保型関数
贝塞尔
関数
贝塞尔
関数
汉克尔
関数
変形
贝塞尔
関数
球
贝塞尔
関数
艾里
関数
开尔文
関数
一般
艾里
関数
贝塞尔
関数関連
斯特鲁夫
関数
愤怒-韦伯
関数
惠塔克
積分関数
艾里-哈迪
積分関数
洛梅尔
関数
積分
贝塞尔
関数
積分
贝塞尔
関数
贝塞尔-菲涅耳
関数
一般積分
贝塞尔
関数
比克利-内勒
関数
積分
艾里
関数
艾利-菲涅尔
関数
勒让德
関数
勒让德
関数
勒让德
陪関数
(费雷尔斯)
勒让德
陪関数
(霍布森)
球面調和関数
勒让德
関数関連
円環関数
円錐関数
埃尔米特
関数
埃尔米特
関数
埃尔米特
関数
(
正規化)
放物柱関数
拉盖尔
関数
拉盖尔
関数
拉盖尔
陪関数
拉盖尔
陪関数
(
正規化)
切比雪夫
関数
切比雪夫
関数
切比雪夫
関数
(
正規化)
楕円有理関数
楕円
切比雪夫
関数
盖根鲍尔
関数
盖根鲍尔
関数
盖根鲍尔
関数
(
正規化)
超球面調和関数
雅各比
関数
雅各比
関数
雅各比
関数
(
正規化)
泽尼克
関数
维格纳
の
D类
関数
库仑
波動関数
库仑
波動関数
汉克尔-库仑
波動関数
库仑
補助関数
合流型超幾何関数
合流型超幾何関数
惠塔克
関数
超幾何関数
超幾何関数
黎曼
のP関数
一般超幾何関数
一般超幾何関数
梅杰尔
のG関数
马修
関数
马修
関数
変形
马修
関数
马修
固有値関数
回転楕円体波動関数
扁長回転楕円体波動関数
(
角度)
扁平回転楕円体波動関数
(
角度)
扁長回転楕円体波動関数
(
動径)
扁平回転楕円体波動関数
(
動径)
回転楕円体波動固有値関数
回転楕円体波動関数関連
扁長回転楕円体波動余弦関数
扁平回転楕円体波動余弦関数
拉梅
関数
拉梅
関数
拉梅
多項式
一般
拉梅
関数
拉梅
固有値関数
希恩
関数
合流型
希恩
関数
希尔
関数
希尔
関数
(
楕円テータ関数周期)
希尔
関数
(
合成三角関数周期)
迈斯纳
関数
潘列韦
超越関数
第
1
種
潘列韦
超越関数
第
2
種
潘列韦
超越関数
第
三
種
潘列韦
超越関数
第
4
種
潘列韦
超越関数
第
5
種
潘列韦
超越関数
第
6
種
潘列韦
超越関数
第
2
種
潘列韦
方程式
(
古典解)
第
4
種
潘列韦
方程式
(
古典解)
高階
潘列韦
超越関数
第
1a个
種
Chazy公司
超越関数
第
1亿
種
Chazy公司
超越関数
第
1c个
種
Chazy公司
超越関数
第
1天
種
Chazy公司
超越関数
第
第1页
種
Chazy公司
超越関数
第
8
種
Chazy公司
超越関数
第
第13页
種
Chazy公司
超越関数
第
13亿
種
Chazy公司
超越関数
第
1
種
穆安·J拉德
超越関数
第
2
種
穆安·J拉德
超越関数
第
三
種
穆安·J拉德
超越関数
高階
潘列韦
方程式
(
古典解)
非線形微分方程式の解の関数
范德波尔
関数
达芬
関数
非強制振動型
达芬
関数
強
范德波尔
関数
洛特卡-沃尔特拉
関数
洛伦兹
関数
布拉修斯
関数
莱恩-埃姆登
関数
Mittag-莱夫勒
関数
Mittag-莱夫勒
関数
Mittag-莱夫勒
三角関数
赖特
関数
阿贝尔
関数
阿贝尔
関数
黎曼
テータ関数
按比例-黎曼
テータ関数
超レムニスケート関数
收缩测量的
関数
カタストロフィー理論の関数
皮尔西
積分関数
燕尾点正準積分関数
楕円的臍点正準積分関数
双曲的臍点正準積分関数
余次元
4
の尖点正準積分関数
开尔文船型
種々の逆関数
乗積対数関数
开普勒
の逆関数
逆積分指数関数
逆積分対数関数
逆誤差関数
逆
菲涅尔
関数
その他の特殊関数
西弗特
積分関数
阿布拉莫维茨
積分関数
格拉泽
積分関数
超指数関数
超対数関数
Böttcher公司
関数