現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net (686ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

205: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/06(火) 17:18:31.44 ID:VOINjUAM

>>203 補足

Ising モデル は、鉄を代表とする強磁性体の特性（磁気変態）を説明するために考えられたという（下記）
因みに、オンサーガーは、「不可逆過程の熱力学の研究により1968年にノーベル化学賞を受賞した」という

https://ja.wikipedia.org/wiki/%E3%82%A4%E3%82%B8%E3%83%B3%E3%82%B0%E6%A8%A1%E5%9E%8B
(抜粋)
統計力学において、イジング模型（英: Ising model、イジングモデルとも言う）とは二つの配位状態をとる格子点から構成され、最隣接する格子点のみの相互作用を考慮する格子模型。強磁性体の模型（モデル）であるとともに、二元合金、格子気体の模型としても用いられる。
スピン系のモデルとしては非常に単純化されたモデルであるが、相転移現象を記述可能なモデルであり、多くの物理学者によって、研究されてきた[1]。また、この単純化された性質により、厳密な解析が可能であり、特に外部磁場の無い二次元イジング模型は、厳密解が得られる可解格子模型の一種である。
1920年にドイツの物理学者ヴィルヘルム・レンツ（英語版）によって、提案された[2]。イジング模型の名は、レンツの博士課程の指導学生であり、その研究を行ったエルンスト・イジング（英語版）の名前に因む[3]。
1944年に、ラルス・オンサーガーが二次元イジング模型の厳密解を求め、相転移が起きることを示したが、この結果は、統計力学における金字塔の一つとされる[4]。

概要
1944年にラルス・オンサーガーが二次元イジング模型の厳密解を求めた。これは相転移を起こし、この結果は、相転移現象の記述、理解のために大変重要な役割を果たしている。
二次元の磁場の無い場合のこの模型の厳密解はオンサーガーの解法以外にもいくつかの方法が示されている.また,外部磁場が印加されたモデルの厳密解は得られていない.
三次元に関しての厳密解は現在求められていないが、共形ブートストラップを用いて解析的に臨界指数を求める試みがなされている[5] [6]。
厳密解が求められるのは、特殊な場合で多くの場合、平均場近似、繰り込み群、級数展開（低温展開、高温展開）の手法などと、これらを用いた数値計算手段を使って近似的に解かれる。
この模型（モデル）は、合金の規則‐不規則（秩序‐無秩序）転移や、異方性の大きな磁性の問題などに適用されている。

http://rio2016.5ch.net/test/read.cgi/math/1496568298/205

211: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/06(火) 17:38:47.66 ID:VOINjUAM

>>210 補足

https://ja.wikipedia.org/wiki/%E8%B6%85%E9%96%A2%E6%95%B0
超関数

先駆的な研究
19世紀の数学には、例えばグリーン関数の定義やラプラス変換、あるいは（可積分関数のフーリエ級数には必要でない部分の）リーマンの三角級数論などが、超関数論の片鱗として垣間見える。これらは当時、解析学の一部とは扱われていなかったものである。
ラプラス変換は工学において重用され、経験則に基づく記号的操作としての演算子法を生み出した。演算子法の正当化は発散級数を用いて与えられたため、純粋数学の観点からは悪い風評をうけることとなるが、これらは後に超関数法の典型的な応用先となった。
1899年に出版されたヘヴィサイドの本 Electromagnetic Theory（『電磁気論』）は演算子法の定番の教科書となった。
ルベーグ積分が導入されると、超関数は初めて数学の中心に踊り出ることとなった。ルベーグ積分論では、殆ど至る所一致する可積分関数はすべて同値であると看做される。これはルベーグ積分論において関数の個々の点における値というのは関数の重要な特徴ではないということを意味する。
関数解析学において、可積分関数は他の関数の線型汎関数を定めるという本質的な特徴を抽出することで、明確な定式化が行われた。こうして、弱微分の概念が定義されるようになる。
1920年代後半から1930年代に掛けて、その後の研究の基となる更なる展開がなされる。ディラックのデルタ関数はポール・ディラックが（彼の科学的形式主義の一部として）大胆に定義したもので、（電荷密度のような）密度として考えるべき測度をあたかも通常の関数であるかのように扱った。
ソボレフは、偏微分方程式論の研究において偏微分方程式の弱解をきちんと扱うために、数学の観点からも十分正当な超関数論を初めて定義した。同じ頃、関連するほかの理論がボホナーやフリードリヒらによっても提案されている。ソボレフの業績は後にシュワルツによってさらに拡張され発展することとなる。

参考文献
Gel'fand, I. M.; Graev, M. I.; Vilenkin, N. Ya. (1966), Generalized functions. Vol. 5: Integral geometry and representation theory, Translated from the Russian by Eugene Saletan, Boston, MA: Academic Press, ISBN 978-0-12-279505-3, MR 0207913

http://rio2016.5ch.net/test/read.cgi/math/1496568298/211

219: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/06(火) 20:10:05.33 ID:VOINjUAM

>>217
どうも。スレ主です。

>＞量子群
>実は群じゃない　これ豆な

多分過去スレで同じ会話があった記憶が・・
まあ、カキな

https://ja.wikipedia.org/wiki/%E9%87%8F%E5%AD%90%E7%BE%A4
（この項目「量子群」は途中まで翻訳されたものです。（原文：英語版 "Quantum group" 10:05, 2 March 2016 (UTC)）翻訳作業に協力して下さる方を求めています。）
量子群
(抜粋)
数学と理論物理学において、用語量子群（りょうしぐん、英: quantum group）は付加構造を持った様々な種類の非可換代数を指す。一般に、量子群はある種のホップ代数である。ただ1つの包括的な定義があるわけではなく、広範に類似した対象の族がある。

直観的意味
量子群の発見は全く予想されていなかった、というのも、長い間、コンパクト群や半単純リー環は「堅い」対象である、言い換えると、「変形」(deform) できないと思われていたからだ。
量子群の背後にある思想の1つは、ある意味で同値だがより大きい構造、すなわち群環や普遍包絡環を考えれば、群あるいは包絡環は「変形」できる（変形すると群や包絡環ではなくなるが）ということである。
正確には、変形は可換とも余可換とも限らないホップ代数の圏において達成される。変形した対象を、アラン・コンヌ (Alain Connes) の非可換幾何の意味での「非可換空間」上の関数の代数として考えることができる。
しかしながら、この直観は、Leningrad School (Ludwig Faddeev, Leon Takhtajan, Evgenii Sklyanin, Nicolai Reshetikhin and Vladimir Korepin) と、Japanese School による関連した研究によって発展された、量子ヤン・バクスター方程式（英語版）と量子逆散乱法（英語版）の研究において、量子群の特定のクラスが有用性を既に証明された後に来た[1]。
量子群の第二の双クロス積（英語版）のクラスの背後にある直観は異なり、量子重力へのアプローチとして自己双対な対象の研究から来た[2]。

http://rio2016.5ch.net/test/read.cgi/math/1496568298/219

220: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/06(火) 21:36:31.56 ID:VOINjUAM

>>31 （過去にも書いたと思うが再度解説する）

＜決定番号の確率分布が、決定的に重要だと＞
「４．決定番号があやしい。特に、決定番号の確率分布がすそが重い（超ヘビー）確率分布になるから、99/100が言えない（∵大数の法則も中心極限定理も不成立だから）」

＜解説＞
まず、>>75 より引用 (ID:OmsU9u8x さん、検索ありがとう)
http://rio2016.2ch.net/test/read.cgi/math/1483075581/40 2016/12/31(土) 06:59:40.91 ID:VK/jj9Lp

時枝>>4-5に従って
無限を扱うには，(2)有限の極限として間接に扱う，を実行してみよう

１．時枝>>2により
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N
これを、一度有限に落とす。数列の長さL＝nを考えよう

２．s = (s1，s2，s3 ，・・・，sn)，s'=(s'1， s'2， s'3，・・・，s'n )∈R^nとなる
「ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版)」は、そのままでいい

３．「任意の実数列S に対し，同値な(同じファイパーの)代表r= r(s)」を、r =（=r(s)）= (r1，r2，r3 ，・・・，r n-1, r n)と表現しよう
同値の定義より、sn=r n だ。そして
「sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す」も、そのままでいい。とすると、決定番号d = d(s)=nとなることに注意をうながしておく

４．で、s = (s1，s2，s3 ，・・・，sn-1,r n) と書くことができる
今、 sn-1 ≠ r n-1と仮定しよう

５．そうすると、明らかにd = d(s) = nだ

６．r = (r1，r2，r3 ，・・・，r n)= (r1，r2，r3 ，・・・，r n-1, r n)として、>>38の引用に当てはめてみよう
Δr= s - r =(s1，s2，s3 ，・・・，sn-1,r n) - (r1，r2，r3 ，・・・，r n-1, r n)= (s1-r1，s2-r2，s3-r3 ，・・・，sn-1-r n-1 ，0 ) となり、なんの不都合もない
Δr= (s1-r1，s2-r2，s3-r3 ，・・・，sn-1-r n-1 )として、数列の長さLを、n-1と考えることも可能

７．ここで、極限を考える。n→∞だ。d = d(s) = nだった
　lim (n→∞)d で、d→∞。そして、極限を考えても、同値s 〜 r は不変だ

つづく

http://rio2016.5ch.net/test/read.cgi/math/1496568298/220

上下前次 1-新書関写板覧索設栞歴

あと 466 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.013s