数学
Maximaには一般超幾何関数がhypergeometric([a1,...,ap],[b1,...,bq],z)という関数として実装されています。このシリーズの最初の記事でも書いたように、これらの引数に特定の値や式を代入することで、多くの初等関数、特殊関数を表すことができます。 Maxim…
超幾何関数が積分表示できることの証明の後半です。 前回は積分を変形することでポッホハマー記号\((b)_n\)が出てくるところまでご紹介しました。今回はその続きです。ベータ関数の積分による定義は適当な本をご参照ください。Wikipediaにも載っています。
超幾何関数にはオイラー の積分表示があります。今回はこの積分表示の証明を途中まで掲載します。
ここ最近超幾何関数の勉強を少しずつしています。切っ掛けは、 数理科学 2020年 08 月号 [雑誌] サイエンス社 Amazon こちらの号に掲載されていた平田典子氏の記事： ラマヌジャンと円周率近似公式 に触発されてです。ラマヌジャンが\(\frac{1}{\pi}\)を求め…
2021年4月〜6月のクールで放送されたTBS日曜劇場「ドラゴン桜」というドラマ で、東大受験に挑戦する高校生達が描かれ、その中でいくつか数学問題も登場したそうです。それらがYoutubeやブログなどでも取り上げられて、目にする機会がありました。下記のyout…
タクシー数の定義は、２つの正の３乗数の和として表す方法が２通りある最小の整数、であり、具体的には1729でした。また、前回の記事: では２つの正の３乗数の和で表す方法が３通りある最小の整数が87539319であることも、母関数の展開を行うことで証明しま…
パピヨンの仔犬!! ちょっと調べ物をしていたらokwaveという調べ物サイトに面白い記事がありました。 okwave.jp タクシー数：２つの正の３乗数（立方数ともいう）の和として２通りに表すことが出来る最小の整数。具体的には1729。 ラマヌジャンのタクシー数と…
今回の話はアルゴリズムは単純で、\(S_n\)の可移部分群を全部求めて、１つづつガロア群かどうかテストしているだけです。当然\(n=6\)でも動作するはずです。 というわけでやってみました。GAPでこの群を求めるのは高速ですが、\(S_6\)の場合、数が279個に増…
今回はプログラム編です。いきなりSympyで実装した、可移部分群を使った実装をお見せします。 TransitiveGroups5とかTransitiveGroup4という変数に、大量のPermutationGroupのインスタンスのリストが設定されています。これらはそれぞれ、全て\(S_5\), \(S_4…
Sympyを使ってみて、群論のサポートがMaximaよりも手厚く、そこは非常に良い点と思いました。Pythonという言語に親しむことも出来ました。そんな作業をしながら、目についた論文やネット記事を読んでいると、方程式が与えられたときに、そのガロア群を求める…
この記事ではPython上で動作する数式処理システムSympyを使ってみた感想を書いていきます。 世の中ではPythonというプログラミング言語が大流行しています。スクリプト言語なので、簡単にプログラムを書いて試すことができること、データ処理、機械学習など…
鈴木の定理の証明は、係数がnや-nになる円分多項式及び、そうなるその円分多項式のその部分の係数を簡単に計算する方法を与えています。従って実際にMaximaで計算してみることが出来ます。 まず論文中の補題\( (P)\)の条件を満足する素数列を得る必要があり…
鈴木の定理の証明（前半）：\(t\)を3以上の任意の奇数とし、素数\(p_1 \lt p_2 \lt \cdots \lt p_t\)を、\(p_1 + p_2 \gt p_t\)を満たす異なる\(t\)個の素数とします。また\(p=p_t, n=p_1\,p_2\,\cdots p_t\)とします。そして\(\Phi_n(X)\, mod X^{p+1}\)に…
\((P)\) 任意の3以上の自然数\(t\)に対して、\(t\)個の異なる素数\(p_1 \lt p_2 \lt \cdots \lt p_t\)を、\(p_1 + p_2 \gt p_t\)が成り立つようにとることができます。 この補題は素数の大きくなるなり方は制限されていることを述べています。証明ではこの制…
今回は鈴木治郎氏の次の論文の紹介です。 Jiro Suzuki, On Coefficients of Cyclotomic Polynomials, Proceedings of Japan Academy Series A, 63, 1987 この論文はPDFがProject Euclidで公開されています。 Xを変数とするn次円分多項式の\(X^i\)の係数を\(c…
以前、せきゅーんさんのブログ記事で、円分多項式の係数の話がありました。 105：円分多項式の係数と鈴木の定理 - INTEGERS 円分多項式の係数を計算してみるととても明らかな規則性(係数はどれも0,1,-1のどれか)と思われるものが見えるのですが、実はその規…
オイラーの連分数と級数の関係公式を使えば、誰でも簡単に美しい連分数を作ることができます。例えば、\(\frac{\pi^2}{12}\)の連分数展開： (%i??) [powerdisp,simp]:[true,false]$ (%i2) %pi^2/12=1/(1+1^2/(3+2^2/(5+3^2/(7+4^2/(9+5^2/z))))); $$ \tag{${…
連分数といえばオイラーです。 オイラーの無限解析 作者:レオンハルト オイラー 発売日: 2001/06/01 メディア: 単行本 の第18章が連分数に当てられています。ここでオイラーは連分数と級数の関係を明らかにして、その応用としてよく知られた数学定数に対して…
連分数は一次分数変換、従って2x2の正方行列ともとても強い結びつきがあります。 数理科学 2020年 08 月号 [雑誌] 発売日: 2020/07/20 メディア: 雑誌 この辺の導入的な話が、数理科学2020年8月号のラマヌジャン特集の中にありました（岡崎龍太郎：連分数、p…
\(Q\)の拡大\(Q(\sqrt{2},\sqrt{3})\)のガロア群\(Gal(Q(\sqrt{2},\sqrt{3}))\)の要素である自己同型写像を１つ取り(\(\sigma\)とする)、その写像による\(\sqrt{2}\)及び\(\sqrt{3}\)の行き先である\(\sigma(\sqrt{2})及び\sigma(\sqrt{3})\)を計算してみま…
文字係数の\(n\)次方程式のガロア群は\(n\)次対称群\(S_n\)です。一方、ガロア群を求めるプログラムを書いて、具体的な数値を係数としてもつ、色々な方程式を試していると、ガロア群が\(n\)次対称群\(S_n\)になることもあれば、その真部分群になることもあり…
アクセス解析を見ていると、最近「ガロア理論 計算」みたいなキーワードで見にきてくださる方がいて、嬉しい限りです。 久しぶりにこの辺の記事を書いた時のことを思い出し、いくつかしっかりとは理解できていないことを思い出しました（色々理解できていな…
今回のシリーズは楕円モジュラー関数／j不変量\(j(t)\)の虚2次無理数での値を厳密に計算できることを知り、Maximaで実装してみた、ということでした。 各回の実行例は、以下のurlからjupyter notebookの形式で見ることもできますし、こちらのgithubレポジト…
この記事のコードをJupyter notebook形式で見るにはこちら。 このシリーズの目標は楕円モジュラー関数/j不変量の虚２次無理数での値を正確に求めることでした。そのために前回の記事： maxima.hatenablog.jp ではヒルベルト類多項式を求めました。\(j(t)\)は…
この記事のコードをJupyter notebook形式で見るにはこちら。 共通の判別式\(D\)を持つ簡約虚２次無理数を全て求めることが出来れば、ヒルベルト類多項式を求めるのはあと一歩です。まずヒルベルト類多項式の定義を見てみましょう。 $$P_{D}(x)=\prod_{i=1}^{…
この記事のコードをJupyter notebook形式で見るにはこちら。 数年前に虚2次無理数、判別式、モジュラー変換、基本領域などの記事を書きました。 この続きのような内容になります。またInFD(), FindInFD()は当時作った関数達です。 当時分からなかったのは、…
この記事のコードをJupyter notebook形式で見るにはこちら。 楕円モジュラー関数のAPIをまとめてgithubに公開しました。 以下(%i1),(%i2)はmaxima-asdfという便利な道具を使ってgithubからダイレクトにダウンロード、ロードして実行する実行例になっています…
2017年ごろ、このブログで楕円関数や楕円曲線、ワイエルストラスのペー関数、アイゼンシュタイン級数などの記事を書きました。その際、以下のような文章も書いたのですが、結局投稿せずにお蔵入りとしました。 楕円曲線やモジュラリティ定理の話を勉強してい…
泡のカフェオレ コンピュータを使って数学を少しでも楽にやれる手段として、、定理証明支援系（定理の証明を支援してくれるソフトウェア）を使って、定理の証明を確実に行なったり、部分的に証明を自動化することが挙げられます。 このブログで紹介している…
この記事のコードをJupyter notebook形式で見るにはこちら。 リーマンの明示公式を構成する\(J(x)\)関数の第1項を簡素化した次の式を使ってゼータの非自明零点を足し合わせると、素数のピークが現れること、この式がvon Mangoldt関数と呼ばれるある数論的関…
