三角関数の周期性について
この記事はこの曲を聴きながら読むのがオススメです:
Queen - 輝ける七つの海
Queen - Seven Seas Of Rhye (Official Video)
本記事は 好きな証明 Advent Calendar 2018 - Adventar 24日目に急に空きができたので滑り込んだ記事です。23日目の記事はせきゅーんさんによる [:title] でした。
三角関数といえば、周期性ですね。
高校で数IIをやっていると、 という式は息をするように使うものです。
このことの証明にはいろんなものがあります。高校で習う標準的なものは「円は で一周するからそら一致するやろ」というものですね。これは三角関数が単位円によって定義されているからこそできる技です。
しかしこの記事はわたくし、たけのこ赤軍が書いているのです。多重サインを使わずして何が証明か。
というワケで、「多重三角関数を使った三角関数の周期性証明」をやっていきましょう。
この証明は恐らく誰もやったことがない、即ちぼくが考えたぼくのオリジナルの証明になります。なんで誰もやってないかって?こんなまどろっこしいことやらんでも証明できるからに決まっとるやろアホたれ
まずは定義のおさらい。
で定義します。ただし です。
多重ガンマで遊んでいるとこの定義を一日一回書かないと気が済まなくなります。
さて、次は「BM型」というのを導入しましょう。多重ガンマは知っててもBM型のものは知らない、という人も多いのではないでしょうか。おい誰や多重ガンマ自体マイナーとか言うた奴しばくぞ。
BMというのは「Barnes-Milnor」の略で、バーンズは多重ガンマ関数の創始者ですが、ミルナーはガンマ関数を別の方向で一般化しています。要するにBM型というのはこれら二つの融合というわけです。
ミルナーの行った一般化は、レルヒの公式において微分してから の代わりに適当な負の整数を代入してやろうというものです。ということなので、 に対してBM型多重ガンマ関数を次で定めます:
BM型多重サインも同様に
さて下準備は完了。今から使うのは二つの定理。
「ラーベの積分公式」と「キンケリンの公式」というやつです。
各々の証明は
N.Kurokawa, M.Wakayama - PERIOD DEFORMATIONS AND RAABE'S FORMULAS FOR GENERALIZED GAMMA AND SINE FUNCTIONS
https://www.jstage.jst.go.jp/article/kyushujm/62/1/62_1_171/_article/-char/ja
N.Kurokawa, H.Ochiai - GENERALIZED KINKELIN'S FORMULA
https://projecteuclid.org/download/pdf_1/euclid.kmj/1183475511
にあります。主張だけ抜き出しておくと、ラーベの公式が
で、キンケリンの公式が
というものです。右下にバッテンついてるのは成分全部掛けるって意味ね。
さて、ラーベの公式のほうで ととってみましょう。添字を付ける意味もないので とします。見やすいように と変換しておくと、
というふうになりますね。さらに とすると、
となります。さてキンケリンの公式からわかるように の原始関数として がとれるので、左辺を計算して両辺 をはずすと
となります。そしてここで ととると、よく知られた事実 と より
即ち
がわかります。あとは とでもおいてこの式を二回使えば
が示せました。以上です。
聖夜に何やってんだ俺。
最終日の記事はキグロさんの 月の表面が粗いことの証明:呟きの補集合 - ブロマガ です。
ある多項式について
この記事はこの曲を聴きながら読むのがオススメです:
Prince - 3121
Prince (Prince Rogers Nelson) - 3121, 2006 3121
さて今日は、わたくしたけのこ赤軍が半年以上に渡って悩み考えつつも答えを出せていないある問題についてのお話をしましょう。
まずはじめに、世の中には「二項定理」というものがあります。お読みのみなさんが高校生以上であるならば、数IIだか数Bだか知りませんがなんだかでやった覚えがあることと思います。
そう、
コイツです。
今ここで、適当に複素数 をとります。絶対値は1より小さいと考えて下さい。あるいは、あなたが複素数を何らかの理由でお嫌いなのであればq<1なる実数としていただいてもかまいません。
そんで、この二項定理に を代入してみます。そうして以下のように計算を続けていきます:
\begin{eqnarray*}\displaystyle1&=&\sum_{k=0}^n\binom{n}{k}q^k(1-q)^{n-k}\\\frac{1}{(1-q)^n}&=&\sum_{k=0}^n \binom{n}{k}\frac{q^k}{(1-q)^k}\\&=&\frac{q^n}{(1-q)^n}+\sum_{k=0}^{n-1} \binom{n}{k}\frac{q^k}{(1-q)^k}\\\frac{1-q^n}{(1-q)^n}&=&\sum_{k=0}^{n-1}\binom{n}{k}\frac{q^k}{(1-q)^k}\\\frac{(q;q)_n}{(1-q)^n}&=&\sum_{k=0}^{n-1} \binom{n}{k}\frac{q^k}{(1-q)^k}(q;q)_{n-1}\frac{(q;q)_k}{(q;q)_k}\end{eqnarray*}
出てくる記号の意味は
o-v-e-r-h-e-a-t.hatenablog.com
をごらんください。
さて、ここまで変形は追えたでしょうか。追えなかった人はもう一度落ち着いて自分で手を動かしてくださいね。
新しい記号を導入しましょう:
これがなんなのかといいますと、まぁ察しの良い方は気づいておられるのでしょうが、階乗のq-類似です。要するに、 となっているのです。
といいますのもこれは非常にかんたんな理屈で、上に挙げた記事でも言われているように整数 のq-類似は なので、これらを掛け合わせているだけなんですね。
この「q-階乗」をつかうと、いま導いた式は
というふうに書くことができます。空積の部分は慣例どおり1で計算してください。
ここまでよむと、「なんかq-階乗の関係式出して満足しとるぞコイツ変なやっちゃな」で終わるかもしれません。それでいいのならそれでもいいんですが・・・問題はここからです。
二項係数とはなんでしたか?そう、階乗を使って
と書けるものでしたよね。
では、これのq-類似ももちろん考えられるはずです。当然、
としたくなりますよね。
ところで、上記で導いた式には二項係数が入っておりました。式の大部分がqにまみれているわけですから、あれにも手を加えたくなりますね。
ですが、ここではqではなく新しい変数pを導入します。即ち・・・
を満たす多項式 を考えるのです。
これがたいそうむずかしい。ぼくが半年悩んでいるというのは、まさにこの、多項式 を明示的な式で書くことなのです。
この問題、考えるもとになったのは「q-二項定理」です。最初に挙げた二項定理、あれのq-類似は
となります。しかし、一般に「q-二項定理」といえばこれの「無限バージョン」、即ち
を指します。そう、q-二項定理には有限版と無限版があるのです。
ぼくはこの無限版のほうに着目しました。この定理において ととると、なんと無限q-Pochhammer記号の逆数のテイラー展開になっているのです。
こういってもピンとこないかもしれません。そんなあなたは、是非上に挙げたq-多重ガンマの記事を読み直して下さい。
もうおわかりでしょうか。
q-二項定理は、q-(一重)ガンマのフーリエ展開を与えているのです。
「"フーリエ"展開?"テイラー"展開の間違いだろ?」とお思いの方もいるかも知れません。ここでは本質的に同じなのですが、ぼくがわざわざフーリエ展開の名前を引っ張り出してきたのはq-多重ガンマに周期性があるからです。
記事では書いていませんでしたが、通常q-多重ガンマを考えるときには上半平面上の変数 をとり、 とおいて考えます。このとき、
となります。証明は easy なので読者の演習問題とします。
要するに、q-二項定理(の特殊バージョン)をq-ガンマでかきなおすと
という風になるわけですが、これは変数 に関して周期 をもつがゆえの話なのだよ、と言っているのです。
でもぼくは物足りませんでした。案の定というかなんというか、
とかやって、係数を求めようとしたのです。悲しいかな、多重化人間の性ですね。
しかしこれが存外に難しい。q-二項定理の証明と同じようにやっても、まるで歯がたたないのです。
しかたないので、二重バージョンに限って考えることにしました。もとのモチベーションでいうなら・・・
として定義される の有理関数 を調べようとしたのです。
考えるうちにすぐわかったこととして、分母が である、即ち
としたとき、 は多項式になるというのです。これがまさに先程話題にした多項式 のことです。
ところが、計算しても計算しても手がかりは得られませんでした。最初の10項ぐらいを求めて帰納法でゴリ押しを試みるも、規則性は全く思い浮かばず。かろうじてわかったことといえば・・・
(1) 対称的、即ち である
(2) 特殊値はq-階乗になる:
(3) 最高次の項は斉次、即ち と書けて、次数は として求められる
の三つです。うーん、わからない。
この多項式 についてなにかわかった方がいらっしゃったら、この記事のコメント欄か、ぼくの twitter @691_7758337633 まで教えてください。
些細な情報、手がかりでも構いません。どうか宜しくおねがいします。
奇数ゼータのある級数表示
この記事はこの曲を聴きながら読むのがオススメです:
The Jacksons - Heartbreak Hotel
Michael Jackson Heartbreak Hotel Live Yokohama 1987
今回の記事は Wikipedia の リーマンゼータ関数 - Wikipedia に記載のある「ラマヌジャンが得た の表示」についてです。
様々な証明があるようですが、(2018年現在)高校生の私にはラマヌジャンによる原証明にはアクセスできませんでした。ネット上に上がっている文献は Berndt(読みがわからない)によるものや片山孝次さんのものがありますが、前者は outline だけで後者は の場合しか示しておらず、きちんとしたフルの証明が得られませんでした。
しかし今年3月の研究集会で加藤正輝さんに教えていただいた結果では、「二重余接関数のある種の加法型公式」の系としてかの公式の一般形が得られるそうです。私はコレに興味を持って勉強しました。2ヶ月。
結論から言うと、あまりよくわかりませんでした。
というのも、証明に出てくるゲルフォント-シュナイダーの定理(超越数で有名なアレ)の使い所がイマイチよくわからなかったためです。signed double Poisson summation formula が鍵を握っていることはわかるのですが、それ以上は。。。という状態。
ということで自力で (nが奇数の場合の、偶数のときは easy) 新証明を構築しました。少なくとも私が知ることのできる範囲では指摘されていませんでした。
いつしか話した ``4次元モノイドゼータ" の構成がおおいに役に立ちます。
さて
o-v-e-r-h-e-a-t.hatenablog.com
の補題2の証明後すぐにある等式
が効いてきます。後ろの総和が
となることはすぐにわかります(ランベルト級数)。さて我々は今回 を各 に対して求めていくことになります。ロピタルの定理を使うだけのちょっとした計算問題なので読者の皆さんにおまかせしますが、この表示から言えることは
です。
で一方、 なので(黒川ノーテーション)、今得た特殊値は多重ゼータの解析接続からも得られることがわかります。
ただ残念なことにその結果は一般的な形で書かれた文献がありませんでした(私が見た限り)。証明はかんたんで、例えば「現代三角関数論」§2.2の計算と全く同様にしてできるほか、片山さんと大槻さんの論文 ``On the multiple gamma function" の命題1には0と-1の場合における結果が与えられています。
ここで一般的に書くなら、まず多重ベルヌーイ多項式を
で定義すれば
となります。これも演習問題でええか。
となればこれらの結果を等置したくなりますね!!!
後者の結果を我々の値のために具体的に書くなら
ですね。さらに、私が書いた今年の夏休みの自由研究にある命題2.1 (4)からこの定数をベルヌーイ数の積で具体的に書くことができます(これも証明はかんたんで、実際の自由研究では一般の多項式としての に対して示しています。本記事では付録で証明)。つまり、
ですね。ここから先程得た値と合わせて、容易に求めたかった等式
を得ることができます。
なおラマヌジャンの実際のリザルトはこれよりももう少し広い範囲(というか保型形式的な観点で)から見ているようなのですが、この手法をその定理に使えるまでに一般化できないかと模索中です。
[ほだい]
にたいして
がせいりつする. ここで は のぶぶんしゅうごうで, , は をみたすふくそすうとする.
[しょうめい]
であるから
よりわかる.
[しゃじ]
このほだいのしょうめいをかんがえてくれた、ぬ (@nu_un_nu_un_nu) くんにかんしゃします。
[さんこーぶんけん]
かたやま こうじ, おおつき まこと, ''おん ざ まるちぷる がんま ふぁんくしょん", とうきょう じゃーなる おぶ ませまてぃくす, ぼりゅーむ 21, なんばー 1 (1998), 159 ぺーじから 182 ぺーじ.
ぼく, ''じぇねららいずど すたーりんぐ ふぉーみゅら ふぉー まるちぷる がんま ふぁんくしょん", なつやすみのじゆうけんきゅう.
π>3 の証明
1 年ぐらい前から作ろうと思って結局書くのがめんどくさく放置していた pdf を深夜テンションの助けを借りてようやく書き終えたので公開します。
内容は π>3 の(保型形式を使った)証明です。Fourier 展開の話とかはめんどくさかったので証明していませんが、予備知識はいらないと思います。
q-多重ガンマの話
この記事はこの曲を聴きながら読むのがオススメです:
Prince - Controversy
Prince - Controversy - 01/30/82 - Capitol Theatre (OFFICIAL)
q-多重ガンマ関数、というのがあります。ガンマ関数は皆さんご存知、階乗の一般化です。指数関数のメリン変換とかいわれるのが多いですね。
んで、多重ガンマ関数というのはガンマ関数の「多重化」というものです。いろいろ変数を増やして一般化したもので、「一重ガンマ関数」は普通のガンマ関数にあたります。
要するにq-多重ガンマというのは多重ガンマ関数のq-類似というわけですね。q-類似というのは既存の概念(関数とか)に という新しいparameterを導入して一般化することです。 の極限で元の概念になるように定めるものです。
数学(とくに解析学)に出てくるモノになんでもかんでもqをくっつけて遊ぶことを「q-解析」といいます。
数学というのは「数を学ぶ」と書きますので、当然最も基本的なモノは「数」ですね。古代からヒトは数をいじって遊んでおりました。現代でも小さい子供がお風呂に入ると「百まで数えてから出なさい」とか言われたりしますね。
そうするとお風呂に入れられた子供は「ただ一から百まで数えるのもつまらないから、q-一からq-百まで数えよう」と思うわけですね。一生懸命に「いち、いちたす、いちたすたす」という具合に数えていくわけです。
そう、自然数 のq-類似は になるのです。「なるのです」というかそう定めるのです。もちろん とも書けますね。こっちのほうがカッコええな。
では自然数が定まったところで、q-多重ガンマを作りましょう・・・と言いたいところですが、まずその前にq-解析で非常によく出てくるやつを定めます。
これはq-ポッホハマー記号とかいうやつです。 とか とかの範囲は割とどうでもいいですがまぁ気になる方は とでもしておいてください。
さてこいつには右下に の記号がついておりますね。要するにこいつはq-ポッホハマーの中でも「無限版」だということです。
無限版があるということは当然有限版もありますね。それはこんな感じです:
見れば分かるように とも書けますね。
さて「q-ポッホハマー記号」なんて名前をしてるということは当然qを付ける前の「ポッホハマー記号」もあるというわけですが、こいつは割と有名なもので、
っていうやつです。「階乗冪」とか言ったりしますね。ぼくは「shifted factorial」って言い方がカッコよくて好きです。
q-ポッホハマーを元のポッホハマーに戻すにはちょっとした補正が必要で、だいたいこんな感じです:
んでq-ポッホハマーなんか作って何をするんやという話なのですが、まず「正規積」というものを思い出してください。ぼくが何回かブログに出してたはずです。
その正規積を使って、多重ガンマ はこう書けるのです:
記号の意味は
o-v-e-r-h-e-a-t.hatenablog.com
を見てください。
さてこいつのq-類似をつくりたいのですが、非常に単純な発想でできます。右辺の積の因子をq-類似にしてやればいいだけです。
さきほど自然数のq-類似を定めましたが、より一般に複素数 に対してもこれのq-類似を として定めることができます。ロピタルの定理を使えばq→1で一致することは示せます。
というわけで、こんなものを作りましょう:
ほんとうは右辺の積の因子に がかかっていないとまずいのですが、この積は上記 と違って正規積ではないので(本当は記号が違うのですが、はてなブログでは正規積記号に対応していませんでした、申し訳ない)、その因子をつけると収束がメンドくなります。
さて、こいつで の場合を考えてみましょう。要するに「一重」のケースですね。なんとこうなります:
そらそうやな。さらに としてみましょう:
右辺は一種のテータ関数みたいなもん(ヤコビ三重積の因子と思ってもらえればわかりやすいかも)なので、テータをガンマ(の一般化)で書けたことになりますね。カッコええやろ。
もちろんq-多重ガンマには面白い成分がいっぱい詰まっておるのですが、今回はこの辺で。
近況報告
最近ブログが更新できておらず申し訳ありません。理由は
10%:やってる数学の量が多くて簡単にブログに書けるようなものではない
90%:このブログの存在を忘れていた
ことです。
最近やっている数学の話
正月の数学カフェが終わってから1ヶ月ほどは何もしておらず、それからついこないだまでの一ヶ月半(2018年2月上旬~3月下旬)は主に多重ガンマ関数に興味が湧いておりそのあたりをいろいろ調べていました。
発端は1976年の新谷卓郎先生の論文
https://projecteuclid.org/download/pdf_1/euclid.tjm/1270472992
で、「現代三角関数論」においてこの論文に載ってある等式が(結果だけ)引用されており、それに興味を持ったのでした。スターリング保型形式の積 が簡単な因子を除いて半整数ウェイトの保型形式になるというもので、この論文では二重ガンマ関数の積分表示を用いて証明していました。
この一ヶ月半ではその一般化を考えていて、$r$ 重ガンマの積分表示から $r$ 重スターリング保型形式の積の表示を出そうと奮闘していました。いい感じのpdfが書けたので近々公開しようと思います。
そしてそれから今までの2週間はちょっと趣向を変えてq-解析に手を出していました。というのも、3月の頭に神戸大学で行われた多重三角関数の研究集会に行ってきまして。(中学校の学ランで乗り込んだらずいぶんと驚かれました。)
3日間の全日程参加したのですが、そこで紹介された多重楕円ガンマ関数というものに興味がわきました。少し計算してみるとそれはどうもq-多重ガンマで書けるようで、結局のところq-多重ガンマを考えるのが良いんではないかという結論に至りました。q-二項定理の一般化とかできたらいいなーって思ってます。
音楽の話とか
12月ごろからプリンスの音楽ばかり聴いているのですが、一週間に一回ぐらいCD屋・レコード屋を巡ってアルバムをかき集めていたところ、なんと多作な彼のアルバムのうち約半分が揃ってしまいました。詳細なディスコグラフィの一覧はWikipediaに譲るとして、いまぼくが持っているアルバムは以下です:
・Prince(愛のペガサス)
・Dirty Mind
・Controversy(戦慄の貴公子)
・1999
・Purple Rain Expanded
・Around The World In A Day
・Parade
・Sign 'O' The Times
・Lovesexy
・Graffiti Bridge
・Diamonds And Pearls
・Love Symbol
・Come
・Chaos And Disorder
・Emancipation
・The Vault: Old Friends 4 Sale
・Rave Un2 The Joy Fantastic
・Art Official Age
・Plectrumelectrum
・HITnRUN Phase 1
・HITnRUN Phase 2
こうして見ると2000年代のアルバムがごっそり抜け落ちていますね。というのも、殿下は当時の通常流通ルートから外れるのにハマっていたようです。The Slaughterhouseなんかは(当時主流ではなかった)ダウンロード限定販売ですし、Planet Earth(地球の神秘)に至っては発売前にイギリスの新聞にくっつけて無料配布するというとても常人には思いつかないことをやっています。いまでは殿下が亡くなったこともあってダウンロード販売のものも徐々に物理的な販売がなされてきましたが、それでも手に入りづらいですね。
デビューから90年ごろにかけては何度か再発がなされたこともあって中古屋なんかでは比較的安く手に入ります(これは殿下に限らず、マイケル・ジャクソンのInvincibleなんかも300円ほどで売っていることがあります)が、97年のCrystal Ballなんかだと安い店でも12000円ほどします。再発が待ち遠しいです。なお99年のRave Un2~は梅田の「ディスクユニオン」で450円で手に入れました。やっす!こんな名盤がワンコインで売られていいんでしょうか。
最近お気に入りのアルバムはParadeと1999です。やはり殿下全盛期のアルバムは良いですね。Paradeに関しては本人が「Kiss以外は失敗作」と仰っていましたがとんでもない、名曲揃いです。もちろんKissがヒットしたのは事実ですが・・・(When Doves Cry(ビートに抱かれて)に続く2曲目のベースなし曲というのもあります。)
Paradeでとくに好きなのはNew PositionとGirls&Boysです。このアルバムは基本的に全曲がつながっていて、通しで聴くのが本来の聴き方なのですが、一曲一曲のインパクトが凄まじいのでどうしても単独で聴きたくなります。ただし、Girls&Boysを聞き終わってから他の曲に行くのはやはり違和感があります。そこからもともとのLife Can Be So Niceに繋ぐのがベストですね。
一方で1999はシングル・カットされたLittle Red Corvetteがあるにもかかわらず、不思議とアルバムまるごと聴くほうがしっくりきます。前半の1999からAutomaticまでの流れは一曲たりとも飛ばせません。しかし歌詞のインパクトが強いアルバムで、タイトル曲の1999なんかは「空は紫色に染まり、人々は逃げ惑う。しかしお分かりの通り、俺はちっとも気にしちゃいない」なんて。もちろん人類の終末をテーマにしたものですが、空が紫色に染まっているあたり殿下ですね。というか、こんなに楽しい曲調で終末を歌うのがもうすごいですね。5年後のSign 'O' The Timesではもうちょっとまじめにやっているのですが。
I Wanna Be Your Modular
この記事はこの曲を聴きながら読むのがオススメです:
Nona Reeves - Sweet Survivor
NONA REEVES 『Sweet Survivor』
本記事は 日曜数学 Advent Calendar 2017 - Adventar 23日目の記事です。22日目の記事はmattyuu氏による p進距離はなぜ特別か? - mattyuuの数学ネタ集 でした。
世の中には「モジュラー形式」というものがあります。
よく知られているものだと、フェルマーの最終定理を証明する際にワイルズがこれと楕円曲線との関連を示したというところです。
これを黒川信重先生による"絶対数学"の舞台に乗せてできたものが Absolute Modular Form、「絶対保型形式」です。定義は少々面倒なので、今日はすこし具体例を眺めてみましょう。
1900年ごろ、バーンズはガンマ関数の多重化というアイデアを考えつきました―――これこそが黒川先生らの考える多重三角関数論の源流です。
これはレルヒの公式の一般化によって定義されるものであり、通常のガンマ関数と同じように無限積で書き下すことができます。
ここで \begin{eqnarray}\displaystyle\zeta_r(s,w,\omega)=\sum_{{\bf n}\geq{\bf 0}}^{} ({\bf n}\cdot\omega+w)^{-s},\end{eqnarray}
は によってきまる の 次多項式で、 というのは に対して かつ であることをいいます。
はボールド体ではない(TeXで打てなかった)ですが、複素数 個の組 だと理解してください。
です。
さてこれらを比較してみると、まず が気になりますね。 はもともと を一般化したものですから、 を一般化して が出てきたのだと推測できます。
o-v-e-r-h-e-a-t.hatenablog.com
で紹介したレルヒの公式からすると、 でなくてはならないはずです。そして、この値はまた
でもありました。複素数 個の組 は「周期」と呼ばれ、多重ガンマ関数 の補助的な変数になっています(メインの変数はもちろん )。つまり、一般化を逆にたどると であるということですね。
ここまでくると、 をどう定義すればいいかはもう見当がつきます。もちろん
\begin{eqnarray}\displaystyle\rho_r(\omega):=\prod_{{\bf 0}\neq{\bf n}\geq{\bf 0}}^{} {\bf n}\cdot\omega\end{eqnarray}
ということですね。ところでこれは正規積なので、書き直してみると
\begin{eqnarray}\displaystyle\zeta_r^{\star} (s,\omega)=\sum_{{\bf 0}\neq{\bf n}\geq{\bf 0}}^{} ({\bf n}\cdot\omega)^{-s}\end{eqnarray}
として
\begin{eqnarray}\displaystyle\rho_r(\omega):=\exp\left(\left.\frac{\partial}{\partial s}\zeta_r^{\star} (s,\omega)\right|_{s=0}\right)\end{eqnarray}
とも書けますね。ということで、こいつが今回扱う「絶対保型形式の一例」です。本記事の目標は における特殊な例、 を明示的に求めることとしましょう。
それを示すためにはたくさんの道具が必要なのですが、そのうちの一つをここで定義します:
\begin{eqnarray}\displaystyle\zeta_4^M(s):=\sum_{m\geq{1},n\geq{0}}^{} (m+ni)^{-s}\end{eqnarray}
これは私が導入した関数で、私が勝手に4次元モノイドゼータと呼んでいるものです。詳細については2018/1/7に数学カフェで行われる講演の資料(終了後公開予定)を参照してください。
[補題1(ポアソン和公式)]
\begin{eqnarray}\displaystyle\sum_{n\in\mathbb{Z}}^{} f(n)=\sum_{m\in\mathbb{Z}}^{} \widehat{f}(m)\end{eqnarray}
[証明]
に対してのフーリエ変換の定義
\begin{eqnarray}\displaystyle\widehat{f}(y):=\int_{-\infty}^{\infty} f(x)e^{-2\pi ixy} dx\end{eqnarray}
を思い出しておきます。
としたとき、 は明らかに周期 なのでフーリエ展開
をもつ、というのがわかります。
\begin{eqnarray}a_n&=&\int_0^1 h(x)e^{-2\pi inx}dx\\&=&\sum_{m\in{\mathbb{Z}}}^{} \int_0^1 f(x+m)e^{-2\pi inx}dx\end{eqnarray}
ですが、 で変数変換すると積分範囲は から となり、 より
\begin{eqnarray}a_n&=&\sum_{m\in\mathbb{Z}}\int_m^{m+1} f(y)e^{-2\pi in(y-m)}dy\\&=&\int_{-\infty}^{\infty} f(y)e^{-2\pi iny}dy\\&=&\widehat{f}(n).\end{eqnarray}
ゆえに
\begin{eqnarray}h(x)&=&\sum_{n\in\mathbb{Z}}^{} f(x+n)\\&=&\sum_{n\in\mathbb{Z}}^{} \widehat{f}(n)e^{2\pi inx}.\end{eqnarray}
となります。両辺で とすると目的の公式を得られます。[証明終]
[補題2(リプシッツ和公式)]
\begin{eqnarray}\displaystyle\sum_{m\in\mathbb{Z}}(m+z)^{-s}=\frac{(-2\pi i)^s}{\Gamma(s)}\sum_{m=1}^{\infty} m^{s-1}e^{2\pi imz}\end{eqnarray}
[証明] ※日本語で証明している本・文献が見つからなかったのでクノップとロビンスの論文"Easy proofs of Riemann's functional equation for and of Lipschitz summation"のTheorem 1の証明を参考にしています。
として、ポアソン和公式を適用します:
\begin{eqnarray}\displaystyle\sum_{m=1}^{\infty} m^{s-1}e^{2\pi imz}&=&\sum_{n\in\mathbb{Z}}^{} f(n)\\&=&\sum_{m\in\mathbb{Z}}^{} \widehat{f}(-m)\\&=&\sum_{m\in\mathbb{Z}}^{} \int_{0}^{\infty} x^{s-1}e^{2\pi ixz}e^{2\pi imx}dx\\&=&\sum_{m\in\mathbb{Z}}^{} \int_{0}^{\infty} x^{s-1}e^{-(-2\pi i(m+z))x}dx\\&=&\sum_{m\in\mathbb{Z}}^{} (-2\pi i(m+z))^{-s}\Gamma(s)\end{eqnarray}
となって、両辺を整理すると証明できます。[証明終]
さてこれを使うことで、 の解析接続(のような何か)を行うことが可能です。自然対数の偏角を にとるものとして、
\begin{eqnarray}\displaystyle\zeta_4^M(s)&=&\frac{(1+e^{-\frac{i\pi s}{2}}+e^{-i\pi s}+e^{\frac{i\pi s}{2}})}{(1+e^{-\frac{i\pi s}{2}}+e^{-i\pi s}+e^{\frac{i\pi s}{2}})}\zeta_4^M(s)\\&=&\frac{1+i^{-s}+(-1)^{-s}+(-i)^{-s}}{(1+e^{-\frac{i\pi s}{2}}+e^{-i\pi s}+e^{\frac{i\pi s}{2}})}\zeta_4^M(s)\\&=&\frac{1}{(1+e^{-\frac{i\pi s}{2}}+e^{-i\pi s}+e^{\frac{i\pi s}{2}})}\sum_{m,n\in\mathbb{Z}\atop{(m,n)\neq{(0,0)}}}^{} (m+ni)^{-s}\\&=&\frac{1}{(1+e^{-\frac{i\pi s}{2}}+e^{-i\pi s}+e^{\frac{i\pi s}{2}})}\sum_{m,n\in\mathbb{Z}\atop{(m,n)\neq{(0,0)}}}^{} (m+ni)^{-s}\\&=&\frac{1}{(1+e^{-\frac{i\pi s}{2}}+e^{-i\pi s}+e^{\frac{i\pi s}{2}})}\left(\sum_{m,n\in\mathbb{Z}\atop{n\neq{0}}}^{} (m+ni)^{-s}+\sum_{0\neq\in\mathbb{Z}}^{} m^{-s}\right)\\&=&\frac{1}{(1+e^{-\frac{i\pi}{2}}+e^{-i\pi s}+e^{\frac{i\pi}{2}})}\left( (1+(-1)^{-s})\sum_{m\in\mathbb{Z},n\geq{1}}^{} (m+ni)^{-s}+(1+(-1)^{-s})\zeta(s)\right)\\&=&\frac{1+e^{-i\pi s}}{(1+e^{-\frac{i\pi s}{2}}+e^{-i\pi s}+e^{\frac{i\pi s}{2}})}\left(\zeta(s)+\sum_{m\in\mathbb{Z}}^{} \sum_{n=1}^{\infty} (m+ni)^{-s}\right)\\&=&\frac{1+e^{-i\pi s}}{(1+e^{-\frac{i\pi s}{2}}+e^{-i\pi s}+e^{\frac{i\pi s}{2}})}\left(\zeta(s)+\sum_{n=1}^{\infty} \frac{(-2\pi i)^s}{\Gamma(s)}\sum_{m=1}^{\infty} m^{s-1}e^{-2\pi mn}\right)\end{eqnarray}
となるので、和の変数を から におきかえて整理すると
を得ます。これは通常発散するはずの値も求めることができて、今回使うのは の場合です(一般の負の整数に対しても明示的に求めることが可能です。1/7数学カフェで詳細をお話します)。簡単に計算できて
\begin{eqnarray}\displaystyle\zeta_4^M(0)=-\frac{1}{4}\end{eqnarray}
となります。この値を後で使います(っていうかこの記事で を導入したのはこれを使うためだけです)。
これはまだ準備段階の更に最初の方で、ここから延々と計算のキツイ補題が続いていくのですが、一つの記事に収めるのは到底不可能なのでここではいくつかをFactとして認めることにします(あまりにも記述量が膨大になってしまうことに投稿一日前に気づきました。ごめんなさい。今度書きます)。
とりあえず、明解にするために一番大きな定理をここで出してしまいます:
[主定理(新谷、1980)]
ここで
まずこれを使って目標である を先に求めてしまいます(膨大な記述、というのはこの定理の証明のことです): として、
となり、それなりに簡単に書けました。
次に、また記号を改めた関数を導入します:
これを使うと、今問題にしている が次のように書けます:
そして、
となることより、
というのが導かれます。また、
なのでもちろん です。ここから
がわかって、さっき導いた の式と合わせて
が出ます。 を中心に整理すると
となりますね。まだ残っている が気になりますが、これは
o-v-e-r-h-e-a-t.hatenablog.com
の定理1と保型形式間に成り立つ関係式
からすぐに値を求めることができます(この関係式については
も参照)。実際には なので、結局
となります。
さて、一番面倒な主定理の証明ですが、長すぎるのでかなり天下り的になってしまいました。ご了承ください(後ろから読んでいくのを推奨します)。先に記号をいくつか定義します:
として定義されます。イメージとしては無限の長さを持つ丸底フラスコを右に倒した感じです。
はベルヌーイ多項式です。定義は になるほう。
以下の補題3,4,5,6をひとまず認めることにします:
補題6はスターリングの公式なので簡単に証明できるはずですが、補題3,4,5はどれも面倒です(3は比較的簡単。
補題7以降は証明を与えます。
[証明]
(1)
あとはレルヒの公式でおわり。
(2)
o-v-e-r-h-e-a-t.hatenablog.com
より
がいえるので
より、上の式で として となります。
[証明終]
[証明]
補題7より
これを繰り返し使って
となって、
[証明終]
[証明]
[証明終]
[証明]
補題9で とすると
より
補題7(2)より なので の定義より となる、よって となって
[証明終]
12/24の記事は盛田みずすまし氏の記事です、お楽しみに。