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

函数等式

出典: フリー百科事典『ウィキペディア(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)』 (2017/05/22 17:01 UTC 版)

アルティンのL-函数」の記事における「函数等式」の解説

アルティンのL-函数 L(ρ,s) は L(ρ*, 1 − s) との函数等式を満たす。ここで ρ* は ρ の複素共役表現反傾表現)を表すとする。さらに詳しくは、L を Λ(ρ, s) へと置き換える。ここに Λ はL-函数にあるガンマ要素をかけた函数である.絶対値 1 のある複素数 W(ρ) をもつ有理型函数等式 Λ(ρ, s) = W(ρ)Λ(ρ*, 1 − s) が成り立つ。W(ρ) がアルティンのルートナンバーである。これは 2つ性質に関して深く研究されている。第一の性質は、ラングランズとドリーニュにより確立されたラングランズ・ドリーニュの局所定数英語版)(Langlands–Deligne local constant)への分解である。これは保型表現との関係を予想するために重要である。また、ρ と ρ* が同値表現(equivalent representation)である場合は、まさに函数等式が両辺同じになる代数的に言うと、このことは ρ が実表現英語版)(real representation)もしくは四元数表現英語版)(quaternionic representation)の場合である。従って、アルティンの根の数は +1 かまたは −1 である。符号がどうなるかという問題は、ガロア加群理論繋がっている(Perlis 2001)。

※この「函数等式」の解説は、「アルティンのL-函数」の解説の一部です。
「函数等式」を含む「アルティンのL-函数」の記事については、「アルティンのL-函数」の概要を参照ください。

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


英和和英テキスト翻訳>> 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のアルティンのL-函数 (改訂履歴)、フルヴィッツのゼータ函数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS