Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

数学

-数学- ディリクレ級数の計算 係数が約数のk乗和の場合

にほんブログ村 黒川教授がこの8月に出版された本: ラマヌジャンζの衝撃 (双書―大数学者の数学) 作者: 黒川信重 出版社/メーカー: 現代数学社 発売日: 2015/08 メディア: 単行本 この商品を含むブログを見る から、 \(\sum_{n=1}^{\infty }{\frac{\sigma_{…

-数学, Maxima入門- 数論的関数のディリクレ級数、texput関数の使い方

ディスクキャッチ! にほんブログ村 ラマヌジャンζの衝撃 (双書―大数学者の数学) 作者: 黒川信重 出版社/メーカー: 現代数学社 発売日: 2015/08 メディア: 単行本 この商品を含むブログを見る 黒川教授の上記の本を読んでいて、以下の式が出てきました。 $$ …

-数学- ラマヌジャン ζの衝撃 (ゼータの衝撃)

にほんブログ村 【楽天ブックスならいつでも送料無料】ラマヌジャンζの衝撃 [ 黒川信重 ] この本、購入しました。以前こちらの記事 -数学- アイゼンシュタイン級数関連の記事の参考文献 - Maxima で綴る数学の旅で雑誌「現代数学」に黒川教授がゼータ関数に…

-数学- ゼータ関数の非自明零点と行列の固有値(その4)今回使ったMaximaのパッケージについて

波飛沫に霞む にほんブログ村 <a href="http://maxima.hatenablog.jp/entry/2015/08/16/012243" data-mce-href="http://maxima.hatenablog.jp/entry/2015/08/16/012243">-数学- ゼータ関数の非自明零点と行列の固有値(その1)エルミート行列の固有値を求める - Maxima で綴る数学の旅</a>および(その2)ではグラフ描画のためのdrawパッケージ以外にもdistrib, descriptive, lapackというパッケージ…

- ゼータ関数の非自明零点と行列の固有値(その3)物語

お友達 にほんブログ村 エルミートランダム行列の固有値の間隔分布とゼータ関数の非自明零点の間隔分布、あまりに出自の異なる2つの概念が、グラフに書くと完全に一致している、、、。ということはちょうどゼータの非自明零点を固有値とするエルミート行列…

-数学- ゼータ関数の非自明零点と行列の固有値(その2)ゼータの非自明零点の間隔分布を求める

ボール取ってきました にほんブログ村 前の記事ではランダムエルミート行列の固有値を求め、その間隔分布をグラフにプロットし、理論分布との一致を確認したのでした。 <a href="http://maxima.hatenablog.jp/entry/2015/08/16/012243" data-mce-href="http://maxima.hatenablog.jp/entry/2015/08/16/012243">-数学- ゼータ関数の非自明零点と行列の固有値(その1)エルミート行列の固有値を求め</a>…

-数学- ゼータ関数の非自明零点と行列の固有値(その1)エルミート行列の固有値を求める

にほんブログ村 量子力学で登場する波動関数の記述に現れる演算子はエルミート行列なのですが、この挙動を調べるためにランダムエルミート行列というものが物理の方では研究されています。行列の性質を知るためには特性方程式やその根である固有値が重要にな…

-数学- n番目の素数を求める公式

プールで泳ぐパピヨン にほんブログ村 ご無沙汰しておりました。 常日頃フォローしているブログに以下のようなツィートが紹介されていました。 「素数をnで表す式は発見されてない」みたいなの見る度に別にイライラはしないがnで表す式はいくらでも見つかっ…

-数学- 不思議な対称性「2つの曲線は等しい」

にほんブログ村 $$ f\left(t\right):=\exp \left(i\,t\right)-\frac{\exp \left(6\,i\,t\right)}{2}+\frac{i\,\exp \left(\left(-14\right)\,i\,t\right)}{3} $$ この指数関数の3つの項からなる関数は複素平面上で閉曲線を描きます。一方、コメントに書かれ…

-数学- 「不思議な対称性」へのコメントについて

にほんブログ村 記事 <a href="http://maxima.hatenablog.jp/entry/2015/06/21/223648" data-mce-href="http://maxima.hatenablog.jp/entry/2015/06/21/223648">-数学- 不思議な対称性 - Maxima で綴る数学の旅</a>に膨大なサイズの式によるコメントをいただきました。コメントの式と記事で紹介した複素関数の式が同じ曲線を表していることを証明せよ、というコメントでした。 最初は失礼ながらスパム…

-数学- 不思議な対称性

にほんブログ村 Creating Symmetry: The Artful Mathematics of Wallpaper Patterns 作者: Frank A. Farris 出版社/メーカー: Princeton University Press 発売日: 2015/06/02 メディア: Kindle版 この商品を含むブログを見る とあるブログで上記の本の紹介…

-数学- 手触り感のある数学、さわれるゼータ関数

にほんブログ村 数学って抽象度が高くなると何をやっているのか分からなくなることがよくあります。そんな時は具体例を計算したり、図やグラフを書いたり、、、。そんな手触り感のある数学は楽しいですね。 このオブジェは手触り感のある数学の愛好家(専門…

-Maxima入門/数学- グラフ理論パッケージの応用 スペクトルグラフ理論

にほんブログ村 グラフ理論パッケージと行列関連の機能を使うと、色々とグラフの性質を計算できるそうです。特に行列の固有値から色々な性質がわかる理論があり、「スペクトルグラフ理論」と呼ばれているようです。 なんだか響きもカッコイイですよね。「ス…

-数学- q級数の計算の高速化

// にほんブログ村 詳しい(そして実に面白いのですが)ことは、tsujimotterさんのブログ記事: &lt;a href="http://tsujimotter.hatenablog.com/entry/6xx-xy-yy" data-mce-href="http://tsujimotter.hatenablog.com/entry/6xx-xy-yy"&gt;6xx + xy + yy の…

-数学- アイゼンシュタイン級数関連の記事の参考文献

// にほんブログ村 アイゼンシュタイン級数関連の記事を書いてきました。 もともとの動機は「現代数学」、 現代数学 2014年 10月号 [雑誌] 出版社/メーカー: 現代数学社 発売日: 2014/09/12 メディア: 雑誌 この商品を含むブログを見る という雑誌に東工大の…

-数学- モジュラー形式とラマヌジャンの不思議な等式

// メディテレーニアンハーバー にほんブログ村 アイゼンシュタイン級数の保型性を使うと、ラマヌジャンの不思議な等式(%o1)を示すことができます。 (%i1) sum(n^5/(exp(2*%pi*n)-1),n,1,inf)=1/504; $$ \tag{%o1} \sum_{n=1}^{\infty }{\frac{n^5}{e^{2\,\p…

-数学- リプシッツ公式を導く

// にほんブログ村 リプシッツ公式(%o1)はオイラーのコタンジェント公式から導くことができます。 (%i1) lip:sum((z-n)^(-k),n,-inf,inf)=(-2*%pi*%i)^k/(k-1)!*sum(n^(k-1)*q^n,n,1,inf); $$ \tag{%o1} \sum_{n=-\infty }^{\infty }{\frac{1}{\left(z-n\rig…

-数学- 約数のk乗和の母関数

// ラウンジ にほんブログ村 ランベルト級数の式変形と関係して約数のk乗和の母関数が登場しました。その辺の計算をしてみます。 ではまずMaximaでの表示をきれいにするための準備です。powerdispl:trueとすると級数を次数の昇冪順に表示します。またtexput(…

-数学- アイゼンシュタイン級数のフーリエ展開をリプシッツ公式から導く

// 疾走 にほんブログ村 重さkのアイゼンシュタイン級数のフーリエ展開の係数は約数のk乗の和が登場するのがとても面白いです。どうしてそんなことが起こるのでしょうか。 まず、約数のk乗和関数をimaximaやMaxima on Androidでカッコよく表示するためのおま…

-数学- アイゼンシュタイン級数のフーリエ展開

// 東京駅ライトアップ にほんブログ村 アイゼンシュタイン級数はいろいろな形で数論と結びついています。すでに見たように、m,nが(0,0)を除くすべての整数を走る、代わりにm,nが互いに素なすべての整数を走るように変形することができ、その時にはゼータ関…

-数学- アイゼンシュタイン級数がモジュラー形式であること

// 模擬レース にほんブログ村 いつものようにアイゼンシュタイン級数を(%i1)で定義します。 (%i1) Ez1:Ez[k](z)=lsum(1/(m*z+n)^k, mn,Z^2);$$ \tag{%o1} \mathrm{Ez}_{k}(z)=\sum_{\mathrm{mn}\in{Z^2}}{\frac{1}{\left(m\,z+n\right)^{k}}} $$(%i2) modu:…

-数学- アイゼンシュタイン級数 (その3)

// ウォームアップ にほんブログ村 アイゼンシュタイン級数にはz->z+1やz->-1/zなどの変数変換をしてもあまり変化しません。(これらの変換である種の対称性があります)。 アイゼンシュタイン級数の定義は以下の通りでした。ただし\( \left(m, \,n\right)=\…

-数学- アイゼンシュタイン級数 (その3)

CH-47J チヌーク // にほんブログ村 (その2)の記事の最後の展開を見るとわかることは、 $$\begin{align*} \frac{1}{\left(m\,z+n\right)^{k}}=\frac{1}{d^{k}\,\left(m_{d}\,z+n_{d}\right)^{k}} \end{align*} $$ という因数分解が全ての項について行われて…

-数学- アイゼンシュタイン級数 (その2)

P3C タキシング // にほんブログ村 前回はアイゼンシュタイン級数の数学的な定義を分解して以下のようなMaximaで計算できる形で定義してみました。 (%i59) Eis(z,k,M,N); $$ \tag{%o59} \sum_{n=1}^{N}{\sum_{m=1}^{M}{\frac{1}{\left(m\,z+n\right)^{k}}}}+…

-数学- アイゼンシュタイン級数

SH-60K // にほんブログ村 アイゼンシュタイン級数、ご存知ですか?少し進んだ数論を勉強すると保型形式、モジュラー形式、などの用語に触れると思いますが、その最も具体的な対象で、分かり易い定義を持つものがこのアイゼンシュタイン級数です。 $$\sum_{\…

-数学- ヤコビの3重積公式

// P1対戦哨戒機 にほんブログ村 オイラーの五角数公式をヤコビの3重積公式から導くことは簡単でした。というかどう見てもヤコビの3重積公式の方が複雑だし、、、だからどうした、という感じがします。 当然ヤコビの3重積公式を導きたくなりますよね。ハ…

-数学- オイラーの五角数定理

Gear up // にほんブログ村 オイラーの五角数定理の証明はヤコビの3重積公式を仮定すれば簡単に導くことができます。まずヤコビの3重積公式の定義です。 準備としてQ(x), R(X,z), P(x,z), S1(x,z), S(x,z)を順に定義します。 (%i1) Q(x):=product(1-x^(2*n…

-数学- Qepmaxで拡張タルスキ式をサポート

前足をそろえておねむ // にほんブログ村 Qepmaxのメンテも続けております。ようやく、拡張タルスキ式のサポートを実装しました。 拡張タルスキ式はそれ自身原始論理式です。Qepmaxでは次のようなシンタックスでサポートすることにしました。 変数 (不)等号 …

-数学- 高次多変数連立方程式をグレブナー基底を使って解く

// ダブル チョコレート コーヒー ジェリー フラペチーノ® にほんブログ村 コメントに頂いた連立2元2次方程式について、考えてみます。 (%i1) poly1:x^2+2*x*y-3*y^2-5;$$ \tag{%o1} -3\,y^2+2\,x\,y+x^2-5 $$(%i2) poly2:2*x^2-x*y+6*y^2-1;$$ \tag{%o2} …

Q.E. 40連発

// にほんブログ村 Q.E.をどんどんやってみました。 (%i1) load(qepmax);$$ \tag{%o1} \verb|/Users/yasube/Programming/qepmax/qepmax.mac| $$ 変数が自由変数のみからなる例です。不等式の同値変形を計算することができます。 まず1次不等式。 (%i2) qe([ …

This is a test.
天気