函数等式のソースを表示

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

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

リーマンゼータの函数等式は
:<math>\Zeta(s) = Z(1-s)</math>

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

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

:<math>\Lambda(s,\chi)=\varepsilon\Lambda(1-s,\chi^*)</math> 

というかたちになっている。ここで &chi; は[[原始ディリクレ指標]]で、&chi;<sup>&lowast;</sup> はその複素共軛、&Lambda; は ''L''-函数にガンマ因子を掛けたものである。また、&epsilon; は &chi; から得られる[[ガウス和]] ''G''(&chi;) によって

:<math>G(\chi) \over {\left |G(\chi)\right \vert}</math>

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

== 函数等式の一般論 ==
このような函数等式についての理論をまとめあげたのは[[エーリッヒ・ヘッケ]]であり、また[[ジョン・テイト]]が自身の修士論文<ref>{{cite|author=[[ジョン・テイト|J. T. Tate]] | contribution= Fourier analysis in number fields and Hecke's zeta-functions | title=Algebraic Number Theory |editor=J. W. S. Cassels and A. Fröhlich |publisher=Academic Press| year=1950 | publication-date=1967 | pages=305-347 | isbn= 0-12-163251-2}}</ref>として再び採り上げている。ヘッケは今日[[ヘッケ指標|ヘッケ量指標]]と呼ばれる数体の一般化指標を発見し、それによって（[[テータ函数]]に基づく）証明を完成させた。これらの指標およびそれに付随する ''L''-函数は、今日では（[[ディリクレ指標]]が[[円分体]]に関係するのと同様に）[[虚数乗法]]に強く関係するものと理解されている。

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

== 注 ==
<references />

== 関連項目 ==
* [[明示公式|L-函数の明示公式]]
* [[近似函数等式]]

{{Normdaten}}
{{DEFAULTSORT:かんすうとうしき}}
[[Category:解析的整数論]]
[[Category:特殊関数]]
[[Category:数学に関する記事]]