The q-multiple gamma functions of Barnes-Milnor type
っていうタイトルの論文を arXiv に投稿しました。
[1905.08068] The $q$-multiple gamma functions of Barnes-Milnor type
黒川-落合による BM 型ガンマ関数
と黒川の -多重ガンマ関数
の両方を含む一般化として -BM 型多重ガンマ関数
を導入し、それに対する倍角公式、周期変形、ラーベの公式を示したものです。ほかに、田中による積表示
を -BM型多重ガンマ関数にも一般化し、その系として上記三つの公式が容易に得られること、および渋川による消滅定理
も得られることを示しました。
フルヴィッツゼータ関数の関数等式について
Twitter上で NKS さん (@nkswtr) が提起した問題が解決したのでpdfにしました。
https://drive.google.com/file/d/1BWGwqgKAN64DdcuBjrFg2_fj8rVNE6Lk/view
q-ヴァンデルモンドの公式
この記事はこの曲を聴きながら読むのがオススメです:
James Brown - Turn Me Loose, I'm Dr. Feel Good
James Brown - Turn Me Loose, I'm Dr. Feel Good
最近qがアツイです。ぼくの中で。
だというのに数学界隈にはなぜか一向にqが流行りません。
というわけで今日は面白い公式を一つ。
これはヴァンデルモンドの公式というやつです。まずは記号の説明。適当なパラメータ に対して
とおき、この記号をポッホハマー記号と呼びます。記号をいちいち書くのが面倒くさいので、 は と書くことにします。 を注意。
適当なパラメータ と に対して関数
で としたケースですね。
で、なんでこんな公式を扱おうと思ったかというとですね、tsujimotterさんの記事を読んだのです:
tsujimotter.hatenablog.com
この記事にあるように、証明自体は超幾何級数の変形だけで可能です。しかしぼくはq-人類、qを使わずして証明とは言えません。
というわけでヴァンデルモンドの公式のq-類似を示していこうと思います。
記号の準備。ひとまず とします。q-ポッホハマー記号を
と定めます。古典極限
はかんたんですね。無限版のq-ポッホハマー記号
を用いて
と書けることに注意してください。この記号を使えばq-超幾何級数も
というふうに定義できます。古典極限は
というかんじ。
よし証明だ。まずq-二項定理を示します。
実はこの定理に関しては以前の記事
o-v-e-r-h-e-a-t.hatenablog.com
でも言及したのですが、証明はしていないのでいざ。
としたとき
なので
とおくと
より両辺で係数比較して
を得られます。そして明らかに なので
となります。よって、
という等式を得ました。これがq-二項定理。もちろん古典極限をとるとニュートンの一般二項定理に帰着します。
さてお次はハイネの変換公式。これが証明のミソです。話題にするのは 級数。ひといきに証明します:
やっていることを大雑把に説明すると、
1. の因子の一部をバラす
2.バラしたところをq-二項定理で展開する
3.整理する
4.余った部分をq-二項定理でまとめる
5.整理する
といった感じです。
q-二項定理のように「超幾何級数 = 積」という形の等式を「和公式」と呼ぶことが多いのですが、ハイネの変換公式ではまさに「超幾何級数をバラして和公式を複数回適用して組み立て直す」ということをやっています。
和公式はq-二項定理以外にもたくさんありますし、変換公式もハイネの変換公式以外にたくさんありますが、いずれも証明の根本部分は殆ど変わりません。やっていることは「級数をバラす→和公式を適用→組み直し」のプロセスです。
では本題に戻って、つぎはハイネの和公式の証明。といっても一瞬で、ハイネ変換に を代入すればよいのです:
はいOK。これがハイネの和公式。もちろんこれも和公式の一種です。
さて目的は、q-ヴァンデルモンドの公式でしたね。証明はかんたんで、ハイネの和公式に を放り込んで終わり。
という具合。 を に、 を に変えてから古典極限 をとれば簡単にもとのヴァンデルモンドの公式が得られます。
qの計算、いかがでしたでしょうか。慣れてない人にはちょっと重かったかもしれません。
でもqのお気持ちみたいなのはちょっとわかってもらえたかな、と思います。
ちなみに、最後で超幾何級数のパラメータに を代入しましたが、これは打ち止め (terminate, 訳語がなかったので暫定でこう呼ぶ, 決してラストオーダーではない) という操作です。 は のとき消えるので、無限和である超幾何級数を文字通り有限和にする操作というわけですね。
有限超幾何級数 (terminating hypergeometric series) はたくさんの和公式や変換公式が発見されており、それらを駆使することでアスキー=ウィルソン積分を計算したりすることもできます。
というワケでみなさんも是非qがらみの計算にトライしてみてください!
q^(-n)の代入をラストオーダーと呼ぶのもあながち間違いじゃないのかもしれない
三角関数の周期性について
この記事はこの曲を聴きながら読むのがオススメです:
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 ぺーじ.
ぼく, ''じぇねららいずど すたーりんぐ ふぉーみゅら ふぉー まるちぷる がんま ふぁんくしょん", なつやすみのじゆうけんきゅう.