関数等式とは? わかりやすく解説

函数等式

(関数等式 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/03/19 22:54 UTC 版)

ナビゲーションに移動 検索に移動

数学、特に解析的整数論における函数等式(かんすうとうしき、functional equation)は、数論的な L-函数が持っていることを期待される特徴的性質のひとつであり、(未だ多く推測的な内容を含むけれども)「函数等式斯くあるべし」という精巧な理論が存在する。

ゼータの函数等式

例えばリーマンゼータ函数は、複素数 s と 1 − s における値の関係を示す函数等式をもつ。ただし、この文脈で扱う全ての場合においてリーマンゼータ函数 ζ(s) は、そもそもの無限級数としての定義から、解析接続を用いて一意的に定義域を拡張して得られる解析函数として扱われる。つまり(慣習に従って)s の実部を σ で表せば、リーマンゼータの函数等式は「σ > 1 の領域(定義級数が収斂する範囲)と σ < 0 の領域」の関係を述べると共に、「臨界帯(critical strip) と呼ばれる 0 < σ < 1 の帯状領域からそれ自身へ直線 σ = 1/2 に対して鏡映的な関係をも示すものである。したがって、ガウス平面全域におけるリーマンゼータの研究において函数等式の利用は基本的である。

リーマンゼータの函数等式は

という簡単な形をしている。ここで Ζ は ζ にガンマ函数から得られるガンマ因子 (gamma-factor) を掛けたものである。したがってこれはリーマンゼータのオイラー積に(無限素点に対応する)「余分な」因子が含まれるものとして読むことができる。まったく同じ形の函数等式を数体 Kデデキントゼータ函数(に K の埋め込み、代数の言葉で言えば K とある総実体 (totally real number field) とのテンソル積、のみに依存する適当なガンマ因子を掛けたもの)も満たす。

L-函数の函数等式

同様の函数等式がディリクレの L-函数に対してもなりたつが、この場合の等式は変数と指標の対に対するもので、

というかたちになっている。ここで χ は原始ディリクレ指標で、χ はその複素共軛、Λ は L-函数にガンマ因子を掛けたものである。また、ε は χ から得られるガウス和 G(χ) によって

の形に表される絶対値が 1 の複素数である。この L-函数の函数等式で両辺が同じ函数についての等式となるのは、χ が {−1, 0, 1} に値をとる実指標 (real character) である場合、かつその場合に限る。このとき ε は 1 か −1 のいずれかでなければならず、とくに ε = −1 のときは Λ(s) の零点が σ = 1/2 上にあることが従う。(実質的にガウスによる)ガウス和の理論に従えば、ε の値は常に 1 であり、したがってそのような一位の零点 (simple zero) は存在しない(函数はその点に関して偶である)。

函数等式の一般論

このような函数等式についての理論をまとめあげたのはエーリッヒ・ヘッケであり、またジョン・テイトが自身の修士論文[1]として再び採り上げている。ヘッケは今日ヘッケ量指標と呼ばれる数体の一般化指標を発見し、それによって(テータ函数に基づく)証明を完成させた。これらの指標およびそれに付随する L-函数は、今日では(ディリクレ指標円分体に関係するのと同様に)虚数乗法に強く関係するものと理解されている。

エタールコホモロジーにおけるポワンカレ双対性(の類似)に対する基本的レベルから生じる局所ゼータ函数に対しても函数等式が成立する。数体 K 上の代数多様体 V に対するハッセ-ヴェイユゼータ函数(これは素イデアルを法とする還元で局所ゼータになる)のオイラー積は、大域的函数等式を持つであろうと予想されているが、現在のところ特別な場合を除いて証明には至っていない。定義はエタールコホモロジー論から直接読み取ることができるが、一般に保型形式論に由来するいくつかの仮定は函数等式を要求するものであると見ることができる。谷山・志村予想はこのような一般論における特別の場合を論ずるものであった。ガンマ因子の特徴をホッジ理論と関連付け、予期される ε-因子を詳しく調べることによって、経験的なものであった理論は(証明こそ得られていなかったものの)極めて洗練されたものへと変わっていった。

  1. ^ J. T. Tate (1950), “Fourier analysis in number fields and Hecke's zeta-functions”, in J. W. S. Cassels and A. Fröhlich, Algebraic Number Theory, Academic Press, 1967, pp. 305-347, ISBN 0-12-163251-2 

関連項目


関数等式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2014/10/11 14:02 UTC 版)

デデキントゼータ関数」の記事における「関数等式」の解説

n 次代数体 K に対してデデキントゼータ関数次の関数等式を満たす: 。 但し、 は K の実共役体、虚共役体個数とする。 特に、K を有理数体にすれば、よく知られリーマンゼータ関数の関数等式 が成立する。 さらに、 に対する、代数体 K の完全ゼータ関数を とおけば、関数等式 を満たし、 に解析接続できる。従って、 は まで解析接続できる。 解析接続できない では、デデキントゼータ関数は 1 位ので、留数は である。つまり、 である。 ただし、 は K の実共役体、虚共役体個数、w は、K に含まれる 1 のベキ根個数、 は、それぞれ K の類数単数基準とする。

※この「関数等式」の解説は、「デデキントゼータ関数」の解説の一部です。
「関数等式」を含む「デデキントゼータ関数」の記事については、「デデキントゼータ関数」の概要を参照ください。

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


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

辞書ショートカット

すべての辞書の索引

「関数等式」の関連用語

関数等式のお隣キーワード
検索ランキング

   

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



関数等式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
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