三角関数について(その1)
この記事はこの曲を聴きながら読むのがオススメです:
NONA REEVES - メモリーズ ~ひと夏の記憶~
メモリーズ ~ひと夏の記憶~ [LIVE]/NONA REEVES
2017年5月13日に大阪で行われた第6回ロマンティック数学ナイトにおいて私はショートプレゼンを行い、その中で主定理として以下を示しました:
[定理1(レルヒ/1897)]
プレゼン内でこういうことを話しました。
「バーゼル問題とこれって似てない?」
実際似てるんです。バーゼル問題は「自然数の乗逆数和」で、この問題(レルヒの定理と呼びましょう)は「ガウス整数の乗逆数和」ですからね。
さて、ここでリーマンがかの有名なゼータ関数を作り出したきっかけを思い出してみましょう。
それは紛れもなくバーゼル問題です。すなわち、リーマンはバーゼル問題の中にあった「自然数乗の逆数和」を一般化して「自然数の乗の逆数和」とし、それをゼータ関数としたのです:
このとき、私がレルヒだったらこう考えていたでしょう。
「リーマンのやつ、バーゼル問題を一般化してゼータを作ったな。じゃあ、オレだって同じことしてやろうじゃないか」
ということで、以下の関数を定義します:
[定義2]
見るからに面白そうなヤツを作り出してしまいました。しかし、数学者たるものこんなもんでは満足しないのです。アイゼンシュタインはこれをさらに拡張した関数を定めます。
[定義3]
これを「アイゼンシュタイン級数」といいます。こいつは非常に奇妙な関数で、何と言っても特徴的なのは「表も裏もゼータである」という点でしょう。
表も裏もゼータ、といってもなんのことかわからないかと思います。そりゃもちろん、私が勝手に考えた言葉ですから。
解析的整数論では割りと有名な事実として、こういうものがあります:
これが言っているのは、要するに「数列の母関数をメリン変換したらゼータになるよ」ということです。
命題4ではゼータをだいぶ限定的な書き方(分母がになっている)をしているのですが、実際のところ一般のゼータはこんなに堅苦しい定義ではありません。
分母が自然数の乗ではなく、整係数二次形式の乗のような形になっている超フリーダムな格好をしたゼータもあります。ここでは詳しく述べませんが、エプシュタインのゼータ関数やヘッケのL関数などがそれですね(実は前記事で述べたRAESはそれの特殊な場合だったり)。
私は普段よく、関数の表や裏といった言い方をします。これはどういうことかというと、母関数を「表側」ゼータを「裏側」という風に呼んでいるのです。
つまり、一般の冪級数はを代入してメリン変換することで「裏返って」、たちまちゼータになってしまうわけですね。メリン変換には「逆メリン変換」というのもあるので、ゼータを再び裏返して表向きにすることももちろん可能です。
ここまで言うと、私が先程述べた「表も裏もゼータ」という言葉がはっきりとした輪郭を持ってくるかもしれません。
すなわち、アイゼンシュタイン級数は「母関数」でもあって「ゼータ」でもあるのです。その姿を見てみましょう:
[の表側]
[の裏側]
裏側は先程見た定義のとおりですね。集合の元の乗逆数和を渡る和という点がゼータっぽい要素です。
不思議なのは表側の方です。なんと、約数関数とベルヌーイ数を係数にもつ冪級数として書けてしまいました(この事の証明はまた今度の記事でやります)。
これが、「両面ゼータ」ことアイゼンシュタイン級数の美しい姿です。
グレブナー基底大好きbotさん作「最近、妹がグレブナー基底に興味を持ち始めたのだが。」の二話にこんな言葉があります。
「実数は、まだ人類には早すぎる。」
そうなんです。実数なんてもんはめちゃくちゃでかいんです。
だとしたら、実数をさらに押し広げてしまった複素数なんてものはもっともっとでかくて、人類どころか宇宙人にも扱いづらい対象なのではないでしょうか。
しかし、アイゼンシュタイン級数はと言うかたちをしています。カッコの中にいる変数は、即ち複素数です。
こんなものは人類には扱えるはずがありません。ということで、名残惜しいですが限定してしまいましょう。
[定義5]
ここで、
は所謂「1の乗根」と呼ばれるやつです。
私たちにとって大きすぎた複素数も、ここまで制限してやるとある程度は扱えるようになります。
さて、ここで少しだけ話題転換。リーマンゼータの特殊値公式を見ていただきたいのです。
[定理6]
[定理6証明]
まず三角関数の無限積展開
において、を代入します:
ここで、オイラーの公式よりなので、
の対数微分は
の対数微分もとって、
はもちろん等しいので、以下等式を得ます:
ここで、ベルヌーイ数の定義を思い出しましょう。こうでしたね:
最初のほうの値を用いてちょっと変形して、
をの左辺に代入すると、
最後の変形では両辺にをかけていることに注意してください。
そしてこの式を、等比級数の和公式などによって変形していきます。今までも割りと計算が大変でしたが、このパートはさらにめんどくさいので手元に紙とペンがあれば計算を追っていくのをオススメします:
両辺の係数を比較すると、
以上にて結論を得ます。
この定理はを有理数列とで表現できる、というものです。
さて、ベルヌーイ数は母関数としての定義以外に次のような漸化式を満たすものとしても定められます:
[定義7]
そして、唐突ではありますが、次のような数列を導入します:
定義8は、定義7とどことなく似ている気がしませんか?漸化式で定義されているところや、特定の倍数(定義7では2の倍数、定義8では4の倍数)の項以外が存在しないところや、漸化式の和に二項係数が出てきているところなどです。
ここでフルヴィッツ数を導入したのは、「ベルヌーイ数と似ているもの」を作るためです。
定理6で述べられている通り、はベルヌーイ数と円周率で作り上げられています。
なので、と似たものを作り上げようと思えば、ベルヌーイ数や円周率に似たものを導入する必要があるわけですね。
ベルヌーイ数と似たものを導入すれば、必然的に円周率と似たものも作る必要があります。そのために円周率の定義を見直しましょう。
[定義9]
定数は以下のように定義され、円周率と呼ばれる:
円周率を、積分を使って定義しています。図形的な視点からも、この定義が一番自然ですね。
そして、円周率と似た定数をまた積分で定義します。
レムニスケート周率という名前は、文字通り「レムニスケート」という図形の周長の半分であることからきています。
円周率が円の周長の半分であることからもわかりますね。
さて、こうして私たちはベルヌーイ数と円周率にそれぞれ似ているものを作り出しました。これらを用いて、ようやく次の定理を述べることが出来ます。
[定理11]
定理6とやはり似ていますね。違う点は以下の通り:
(1)定理6の分母にはがあったのに、定理11の分母は階乗だけになっている
(2)定理6の分子には符号の補正があったのに、定理11にはない
相違点(1)の原因は、リーマンゼータ関数が「整数」ではなく「自然数」を渡っている点にあります。
もしリーマンが、
と定義していれば、定理6の右辺の分母にが現れることはなくなって定理11と揃ってくれます。
相違点(2)については、かなり複雑な要因が絡み合った結果生まれた相違点なので今後の記事に回すことにします。ごめんなさい。
では、定理11の証明をしていきましょう...といいたいところですが、そのためにはまだ一人足りないメンバーがいます。というわけで呼びました。
は一般的に「格子」なんて言われる集合ですが、私はこの名称が(なんかダサいから)嫌いなので英名のlatticeと呼ぶことにします。
そして、関数はいわゆるワイエルシュトラスの楕円関数ですね。この記事タイトルが「三角関数について」である理由は、この楕円関数と三角関数の著しい類似を示すことが主目的だからです(といっても、この記事でその類似が明らかになるのは定理11だけですが...)。
を扱いやすいように変形するためには、まず等比級数の公式をつかいます。
ですね。次に、この両辺を微分します。
を代入すると、
となるので、両辺からを引いてを掛けると
となります。これを定義12にある式に代入すると、以下を得ます:
式でうまく収束するように小さくをとったとき、式の二重級数はともに絶対一様収束するので和を交換でき、
とできます。ここで、
と置いています。関数はによって決まっていることに注意して下さい。
とおくと、
奇数に対し、
ゆえにとなるため、の展開は偶数項だけを渡る和となります:
これである程度は扱いやすい形になったのではないでしょうか。
とりあえず、長くなるので今回の記事はここまでとしておきます。次回では、導いたの展開と微分方程式を利用して定理11を示す予定です。
クロネッカーの極限公式
この記事はこの曲を聴きながら読むのがオススメです:
NONA REEVES - 地球儀と野鼠
前回の記事
o-v-e-r-h-e-a-t.hatenablog.com
で解説した定理2、RAES(実解析的アイゼンシュタイン級数)のフーリエ展開を使うときが再びやってまいりました。
続きものなので、前回の記事を読んでいない方は先に読むことをおすすめします。
はラマヌジャンが発見した関数の一種で、いわゆる保型形式というやつです(その中でも正則な部類に入る)。
これは今まで学んだ数学の中で僕が一番好きな関数なので、今後幾つか関連記事を書こうと思います。
[証明]
予告した通りRAESの展開を使うのですが、すこし変形しておきます。
まず第二項の分子にあるを関数等式によってこう変形します:
分母にあるは定義どおりにそのまま展開すると、以下のようになりました:
これにちょっと細工をしてやることでを求めていくのですが、その前にちょっとだけ準備をしましょう。
まず、ガンマ関数のローラン展開について考えます。この関数はに位の極を持つ以外に極はないので、ローラン展開の負部分はの項で打ち止めですね。
つまり、こう書けるわけです:
ここでは「以上の項」のような意味です。
さて、これを用いることでいい感じの関数に対して以下のようなことができます:
これを、とに対して適用すると
より、が従います。また、
もすぐにわかりますね。はわざわざ添え字を書くのもアホらしいのでとしておきましょう。
そして、式中にはなんてのが出てきていますが、前回の記事・定理3で
を示しているので、一般に
の計算方法がわかればこれも計算できます。では調べてみましょう。
において、というふうに変数を変換します。すると、
なので、
ということに注目すると
ここで、再び変数変換を行います。今度は、
なので、
より(この変数変換で一度積分範囲が上下逆に入れ替わってることに注意してください)、
となって、関数は簡単な微分方程式
を満たすことがわかりました。これの解は、を定数として
とされます。とすることで、
より、
が得られました。
これを先程導いたの表示式に代入すると
これで定理左辺の計算は終わったので、右辺の計算に移行しましょう:
実部の計算は面倒なのでそこだけ抜き出して行うと、
となるので、
がわかります。最後の変形では、シグマの変数を新しい変数に改めています。
これを倍してシグマの変数をからに差し替えることで、
となって、定理左辺と一致しました。これにてクロネッカーの極限公式、証明終了です。
しかし、どこか物足りない感じがしますね。
定理左辺の、これはRAESをで微分してを代入することを表しています。
しかもRAESの定義において、変数はシグマ内部をまるごと乗するというところに現れています。
となると、正規積に関連付けたくなりますね。実際、そういった言い換えが存在します:
[クロネッカーの極限公式・正規積バージョン]
[証明]
正規積の定義(以下記事参照)より、
o-v-e-r-h-e-a-t.hatenablog.com
としておきます。数列のゼータは「もとの数列を乗してシグマに入れる」が定義でしたから、こうなります:
ここのゼータの右下にくっついてるはクロネッカー(Kronecker)のです。デデキントゼータじゃないので代数体とかのとかではありません(岩波書店の数論2という本ではこのゼータはではなくとして表記されていますがなんかダサいのでやめました)。
ではコイツの計算をしていきましょう:
なので、微分してを代入することで
です。ただし、とを使っています。
前者は記事「等差数列の無限積」で示した定理でとした結果の対数を取ってマイナスを付けることで得られ、後者は記事「実解析的アイゼンシュタイン級数」で記載しました。
すると残った計算はだけになりますが、これはそのままクロネッカーの極限公式を使えば良いですね。
したがって、
です。これにマイナスを付けて指数関数に入れれば、
となって定理が示されました。
クロネッカーの極限公式、以上で終了です。
次回記事では、これを利用していくつかの無限積の特殊値などを求めていこうと予定しています。お楽しみに。
実解析的アイゼンシュタイン級数
この記事はこの曲を聴きながら読むのがオススメです:
Michael Jackson - They Don't Care About Us
Michael Jackson - They Don't Care About Us - Live Munich 1997- Widescreen HD
「実解析的アイゼンシュタイン級数」
このおなまえを聞いて、ピンとくる人はどれくらいいるでしょうか。
Wikipediaには記事がありますが、特殊関数の中で有名な方ではありません。
しかしコイツは、自身が持つ強烈なフーリエ展開を背景とした素数定理の別証明を与えられるほど強い性質を持っています。
今回はその性質の一部を紹介したいと思います(今後この長ったらしい名前を呼ぶのはかったるいのでReal Analytic Eisenstein Seriesの頭文字からRAESと呼びます)。
<定義>
に対して
とする。ただし、である。
まぁ定義だけ見せられてもなんのこっちゃかわからないと思うので、基本的性質を示していきましょう。
[定理1]
に対して、
これを示すには、を示せば十分です。
なぜなら、とはの生成元だからです。前者は
とすぐに確かめられますね。
が互いに素ならばも互いに素ということは既知とします。後者のほうは、
ですが、
を用いると
となります。これで第二変数のの元に対する不変性(これを保型形式の保型性と言ったりします)が示されました。
[定理2]
ただし、
いやぁ、強烈ですね。
これが最初に述べたRAESのフーリエ展開です。定理1で周期をもつことを示しているから可能ということですね。
「フーリエ展開はの形をしてるのが普通だろ!いい加減にしろ!」なんてお思いの方もいらっしゃるかもしれませんが、この場合は初めの二項が今言った式での、つまり「定数項」にあたります。そして、第三項の級数の部分がの部分です。
[証明]
変数が周期を持つのでフーリエ展開できる、ということでしたが、周期はなので実質が周期を持つことになります。
よってこう書くことができます:
このフーリエ係数は、展開の定義より
と書けます。
これを計算するわけですが、めんどくさいのでちょっと楽な方法を使いましょう。
まず、完備RAESを定義します。
完備リーマンゼータの定義はさきほど述べましたね。これを次のように分割してしまいます:
ただし、下から二行目のシグマの下についているダッシュ記号は「がともにであることはない」という意味です。
ここで、
となります。
まぁこれを仮に等式Aとでもしておきましょう。
に注意すると、
がわかります。
ここで、にたいして
が成立すること(証明は略、のような変数変換をすることで簡単に示せます)を用いると、
となります。
さらに、ポアソン和公式から導かれる定理
を使って(証明はまた今度、ポアソン和公式の紹介も兼ねて新しい記事を書きます)、
がわかりますね。
このうちの前の項は、
となり、後ろの項は積分の変数をとすることで
であることから
を導けます。
こうして得た前の項、後ろの項を足すと、
となります。
ただし、最後の変形ではをあらたにという変数に置き換えることでシグマを一つ減らす手法を取っています。これと等式Aをまとめると、
なので、両辺をで割ってシグマの変数をからに差し替えることで
が得られます。これで定理2の証明が終了です。
でもこの記事はこれだけでは終わりません。
たしかに定理としてのインパクトはこのフーリエ展開が一番ですが、この結果を使った非常に美しい等式があります。そちらがメインです:
[定理3]
<証明>
より
となります。
そこで、有名な関数等式を使えば
となって、との第一項と第二項が等しいことがわかります。第三項が等しいことを示すには、
(1)
(2)
をいえばよいですね。
ここは思い切って一般化してしまって、
(1)'
(2)'
を示すことにしましょう。
[(1)'証明]
[(2)'証明]
定義より
ですが、ここで変数変換を施します。すると、
となり、証明されます。
以上より、定理3の証明も終了です。
本記事では記載しませんでしたが、RAESにはもう一つ重要な性質として「ラプラシアンに対する固有関数である」というものがあります。
この性質と、定理1をあわせた性質を持つ関数として、「マースの波動形式」というものが定義されます(厳密にはフーリエ係数の評価も要求される)。
これはうまい具合にRAESの一般化となっていて、実は「ラプラシアンに対する固有関数である」ということから定理2のフーリエ展開が波動形式においても導けることがわかります。
一般の波動形式に対するリーマン予想とも呼べるような未解決問題「セルバーグの予想」というものがあるのですが、これについても今後記事を書く予定です。
等差数列の無限積
この記事はこの曲を聴きながら読むのがオススメです:
The Jacksons - Can You Feel It
The Jacksons - Can You Feel It [Audio HQ] HD
こんにちは。たけのこ赤軍です。
2017年4月1日に行われたイベント「ロマンティック数学ナイト ボーイズ」に参加したのですが、それの終了後に行われた懇親会にて鯵坂もっちょ氏より「発見したことをまとめるブログをやってみてはどうか」というお話を受け、このようなブログを開設いたしました。よろしくお願いします。
本記事では、タイトルにある「等差数列の無限積」について紹介したいと思います。
等差数列というと、隣り合う項の差が一定な数列として定義される数列のことを指します。一般項は、で与えられます。
この一般項の式において、「公差」と呼ばれるものがで「初項」がにあたります。
つまり、「等差数列の無限積」というのは以下のような積を指すわけです:
ただ、これを真面目に計算してもほとんどの場合発散してしまうことがすぐにわかります。たとえば、でやってみると積は
と、すべての奇数の積になります。これは当然発散です。
しかし、実はこのような発散する積に対しても、一つの意味ある値を与えるための手続きが存在します。
それが「正規積」と呼ばれるものです。その定義は以下:
数列に対して、のゼータ関数を
と定める。
このとき、の正規積は
で与えられる。
最後のは、で微分してからを代入することを表しています。
何故このような定義なのかということですが、これは実際にを微分してを代入してみるとすぐにわかります(ここでは割愛)。
では、この定義を使って早速の正規積を計算していきましょう。
このとき、等差数列のゼータ関数は次のようになります:
ここで、はフルヴィッツゼータ関数です(定義はWikipediaを参照)。
となりました。
一見ややこしい式ですが、を代入すれば
となり、特殊値を使うことで
というふうにフルヴィッツゼータの微分だけで書くことができます。あとはただこの微分を計算するだけです。
ここでは、黒川信重先生の名著「現代三角関数論」第2章3節にある証明をところどころ引用しながら進めていきます。
結論から言うと、
となります。
これはレルヒの公式と呼ばれるもので、 チェコの数学者マティアス・レルヒ(1860-1922)によって発見されたものです。
これを示すためには、
とおいて、
となることをいえばよいですね。証明は次の三段階で行いましょう:
(1) を示す。したがって、の形となる。ただしは定数。
(2) を示す。これからがわかりとなる。
(3) を示す。これにより、がわかる。
(1)の証明
をについて回微分すると
です。ここで
をで微分すると
となります。これをで微分してとすると
となります。一方、
という無限積表示(これはワイエルシュトラスによるものですね)がありましたから、
を得られます。よって、で微分すると、
となります。したがって
となって(1)が示されました。
(2)の証明
において
および
を用いると、
となり、
を得ます。よって(2)が示されました。
(3)の証明
を計算します。まず、
に注目すると、
となります。また、特殊値を用いることで
ということが導けます。したがって、
となります。これで(3)も示せました。レルヒの公式、これにて撃破。
では、これを使って再び等差数列の積の計算をすすめましょう。あとちょっと。
先程これを述べましたね:
これにレルヒの公式を適用してやることで、
とできます。
正規積の定義というのは「数列のゼータを微分して、を代入して、マイナスをつけて、指数関数に入れる」ということでしたから、いまこの時点では「を代入して」まで終わったことになりますね。
じゃあ、もう残った作業はこの式にマイナスを付けて指数関数に放り込むことだけです。ささっとやっちゃいましょう:
完成。
改めてきちんと結論を書いておきます。
これが「等差数列の無限積」というものです。
とくに、とすると面白い結果が得られます:
この結果は、レルヒの公式が発表されるより前にリーマンが関数等式を用いて得ていたとされています。それについては僕もまだ計算できていないので、わかった方はコメントなりTwitterにリプライなりして頂けると嬉しいです。
ちょっとした問題演習を載せておきます。
おひまな方は取り組んでください、解けた方はコメントあるいは僕のTwitterまで。
問 以下の数列の正規積を求めよ。存在しない場合は証明せよ。
(1) 正の奇数
(2) の冪
(3) 素数