乗法定理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > デジタル大辞泉 > 乗法定理の意味・解説 

じょうほう‐ていり〔ジヨウハフ‐〕【乗法定理】

読み方:じょうほうていり

確率の乗法定理


乗法定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/07/28 02:24 UTC 版)

Jump to navigation Jump to search

数学におけるガンマ函数関連の特殊函数乗法定理(じょうほうていり、: multiplication theorem)は、それぞれの函数が持つある種の恒等式を言う。特にガンマ函数の場合、明示的に値の積に関する等式が与えられるのでこの名がある。これら様々な関係式の根底には同じ原理が横たわっている。つまり一つの特殊函数に対する関係式は他の特殊函数の関係式から導き出すことがでるということであり、またそれは単に同じ等式の別の顔が現れたものと言うことである。

有限標数の場合

この乗法定理は大きく二つに分けられ、そのひとつは有限項の和または積によって関係式が与えられる。いまひとつは、無限項の和または積に関するものである。この有限型の関係式は、典型的にはガンマ函数とその関連の函数に対してのみ生じる、有限体上の p-進関係式から従う等式である。例えばガンマ函数の乗法定理は虚数乗法論からくるチョウラ–セルバーグの公式から従う。無限型の関係式はもっと広く知られる超幾何級数に関する標数零の関係式から生じる。

以下、正標数の場合の乗法公式を挙げ、さらにその下に標数 0 の場合を挙げる。また、以下では n, k は非負整数とする。n = 2 のとき、しばしば倍元公式あるいは倍数公式 (duplication formula) とも呼ばれる。

ガンマ函数・ルジャンドル函数

倍数公式および乗法定理はガンマ函数に対するものが原型的な例である。ガンマ函数の倍数公式は

で与えられ、アドリアン゠マリ・ルジャンドルに因んでルジャンドル倍数公式[1]ルジャンドル関係式と呼ばれる。一般の乗法定理は、自然数 k ≥ 1 に対して
で与えられ、カール・フリードリヒ・ガウスに因んでガウスの乗法公式と呼ばれる。ガンマ函数に対するこの乗法定理は、チョウラ–セルバーグの公式の自明指標に対する特別の場合として理解することができる。

ポリガンマ函数・調和数

ポリガンマ函数はガンマ函数の対数微分であり、したがって乗法定理も乗法的でなく加法的に書かれることになる。

m > 1 に対して

および m = 1 のとき、つまりディガンマ函数に対して
で与えられる。

このポリガンマの等式は調和数の乗法定理を得るのに用いることができる。

フルヴィッツゼータ函数

フルヴィッツゼータ函数はポリガンマ函数を非整数階に一般化するものであるから、したがってポリガンマと同様の乗法定理

を満足する(ζ(s)リーマンゼータ函数)。これは
および
の特別の場合になっている。

非主指標に対する乗法公式はディリクレL函数の形で与えることができる。

周期ゼータ函数

周期ゼータ函数 (periodic zeta function[2]) は

と定義される。ここに Lis(z)ポリ対数函数である。倍数公式は
で与えられる。要するにこれはベルヌイ作用素の固有値 2s に属する固有ベクトルである。乗法定理は
と書ける。

周期ゼータ函数はフルヴィッツゼータ函数の反射公式において生じ、そのような理由から、この函数が従う関係式とフルビッツゼータの関係式は s → −s と置きかえる分だけの違いである。

ベルヌイ多項式は周期ゼータ函数の s を整数に近づける極限として得られるから、ベルヌイ多項式の乗法定理も上記の関係式から導くことができる。同様に q = log z と置けば、ポリ対数函数に対する乗法定理から導ける。

ポリ対数函数

ポリ対数函数の倍数公式は

の形になる。一般の乗法公式はガウス和あるいは離散フーリエ変換の形で
と与えられる。

これらの等式は周期ゼータ函数に対する等式から z = log q と置くことで得られる。

クンマーの函数

クンマーの函数英語版の倍数公式は

である。これはポリ対数函数に対するものとよく似ているが、i だけひねられている。

ベルヌイ多項式

ベルヌイ多項式に対する乗法定理はヨーゼフ・ルートヴィヒ・ラーベが1851年に与えた。

および、オイラー多項式に対して
または
となる。

ベルヌイ多項式はフルヴィッツゼータ函数の特別の場合として得られるから、これら等式もそれに関する等式から従う。

ベルヌイ写像

ベルヌイ写像は、コイントスの無限鎖(カントール集合)上のシフト作用素の効果を記述する、散逸力学系のある種単純なモデルである。ベルヌイ写像はパイこね変換に近い関連のある片側版である。ベルヌイ写像を k 個の記号の無限鎖上に作用する k-進版に一般化したものをベルヌイスキーム英語版と言う。ベルヌイスキーム上のシフト作用素に対応する転送作用素

で定義される。

ある意味当然のこととして、この作用素の固有ベクトルはベルヌイ多項式で与えられる。式で書けば

である。固有値 km < 1 であることが、これが散逸系であるという事実を示している。非散逸測度保存力学系に対しては転送作用素の固有値は単位円上にある。

任意の完全乗法的函数英語版からこの乗法定理を満足する函数を構成することができる。f(n) を完全乗法的、すなわち任意の整数 m, n に対して f(mn) = f(m)f(n) とするとき、そのフーリエ級数を

と定める。右辺の和は収束するものと仮定すれば g(x) は存在し、それ乗法定理
に従う。つまり、g(x) はベルヌイ転送作用素の固有値 f(k) に属する固有函数である。ベルヌイ多項式に対する乗法定理は、乗法的函数を
と取ったときの特別の場合である。

標数零の場合

標数 0の体上の乗法定理は、有限項の和では閉じておらず、無限級数で表されることが必要となる。例えば、ベッセル函数 に対して

と書ける。ここに λ, ν は勝手な複素数にとれる。

このような標数 0 の等式は、一般には超幾何級数の満足する無数の恒等式の一つから得られる。

  1. ^ Weisstein, Eric W. "Legendre Duplication Formula". MathWorld(英語). 
  2. ^ Apostol, Introduction to analytic number theory, Springer

参考文献

関連項目

外部リンク


乗法定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/03 14:33 UTC 版)

ベルヌーイ多項式」の記事における「乗法定理」の解説

この乗法定理はジョセフ・ルートヴィヒ・ラーベ1851年与えた1以上自然数mに対してB n ( m x ) = m n − 1 ∑ k = 0 m − 1 B n ( x + k m ) {\displaystyle B_{n}(mx)=m^{n-1}\sum _{k=0}^{m-1}B_{n}\left(x+{\frac {k}{m}}\right)} E n ( m x ) = m nk = 0 m − 1 ( − 1 ) k E n ( x + k m )  for  m = 1 , 3 , … {\displaystyle E_{n}(mx)=m^{n}\sum _{k=0}^{m-1}(-1)^{k}E_{n}\left(x+{\frac {k}{m}}\right)\quad {\mbox{ for }}m=1,3,\dots } E n ( m x ) = − 2 n + 1 m nk = 0 m − 1 ( − 1 ) k B n + 1 ( x + k m )  for  m = 2 , 4 , … {\displaystyle E_{n}(mx)={\frac {-2}{n+1}}m^{n}\sum _{k=0}^{m-1}(-1)^{k}B_{n+1}\left(x+{\frac {k}{m}}\right)\quad {\mbox{ for }}m=2,4,\dots } である。

※この「乗法定理」の解説は、「ベルヌーイ多項式」の解説の一部です。
「乗法定理」を含む「ベルヌーイ多項式」の記事については、「ベルヌーイ多項式」の概要を参照ください。

ウィキペディア小見出し辞書の「乗法定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「乗法定理」の関連用語

乗法定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



乗法定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
デジタル大辞泉デジタル大辞泉
(C)Shogakukan Inc.
株式会社 小学館
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの乗法定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのベルヌーイ多項式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS