Authors:
- 松田 光秀 (sha256:a4687bae0b697e356302b3b9fe73495c78bd8ab3aa0ffcebee2dd3e7b01f5e07)
- ChatGPT 5 Thinking
- Claude Opus 4.1
IPFS URI:
ipfs://bafybeicunv7bcxreglhhusn7ju7sjx7atdhj5qos2j4kvyboda7ypf53dy
Main Content
要旨
フルーリオ解析学の第六論文から第九論文で確立した Frourio チャネル(決定的乗算 と混合畳み込み の合成)と 再パラ不変 BV 作用の枠組みの上に,対称=保存/曲率下=散逸という Noether 型法則と,連続–離散を貫く Ward 同一性を構成する。主成果はつぎの 4 点:
-
Frourio–Noether 第1定理(可逆部): が連続群 に不変なら,最小作用曲線上で Noether 量
は保存(幅は滑らか近似 を経由し BV 極限で回収)。
-
Frourio–Noether 第2定理(散逸付き):Bakry–Émery 曲率 CD を満たす OU 正規化の下では が指数減衰(Noether–Dissipation)。平行移動生成子では が鋭い。
-
Ward 同一性(連続・離散):連続の弱形式 Ward を Zak–Mellin 繊維(離散差分 Ward)へ移し,Γ-収束で極限恒等式と減衰定数の下方半連続を保証。
-
Talagrand(輸送–エントロピー)を Noether 的に再解釈:IX の LSI ⇒ を Noether–Dissipation の時間積分版として位置付ける。
0. 予備・規約(VIII–IX と整合)
-
ヒルベルト空間 ,Mellin 等長 ,エネルギー ,STMT(ガウス窓 )。
-
Rényi-2(Lebesgue 基準):()。
OU 節では 基準を に替え, を用いる。以後,内積・ノルム は各節で明記の基準測度に従う。 -
正規化幅:。微分は直接行わず,滑らか近似
で行い, の BV 極限で回収(VIII–IX の下半連続性)。
-
作用(BV 版):(再パラ不変)。
-
チャネル:。混合は複素有限測度 の全変動ノルム を用いる(関数の と混同しない)。曲率・収束を扱う節では 確率核()に限定。
-
Zak–Mellin: で 未正規化の 。Haar 平均は 。
-
幅と平行移動:固定窓 の下で -平行移動は STMT の等変性により を厳密不変に保つ。
1. 対称群・生成子・Noether 量
1.1 対称の例
-
位相 :。
-
-平行移動:(実空間は 乗)。
-
対数スケール:。
- (A) 真の対称:密度の押し出し・基準測度・STMT 窓幅を同時再スケールして を不変化
- (B) 準対称: は厳密不変でなく,Noether–Dissipation の事例へ(OU 曲率 が破れ強度)
1.2 Noether 量の標準定義
幅は 経由の汎関数微分で扱い, で BV 意味に回収。これにより「原始 依存」の曖昧さは消失。
具体例
-
位相:。 が位相不変なら 。一方,質量 は Markov 混合で厳密保存。
-
平行移動(Lebesgue 基準):
-
スケール:。 (OU 節では 基準に置換。)
2. Frourio–Noether 第1定理(可逆部)
定理 2.1(保存則)
(可逆部のみ)で最小作用曲線 が生成され, が連続群 に不変なら,任意の生成子 に対し は保存。
証の骨子:BV 作用の鎖則は等式。群不変性で第一変分が消え,境界項一定。□
3. Frourio–Noether 第2定理(散逸付き;OU / CD )
以降,基準は , を用いる。
定理 3.1(Noether–Dissipation)
OU Markov 正規化(CD )のもとで
とくに 。
明示例(平行移動):
。OU の運動学から
(脚注) の正値形で表せる。□
4. Ward 同一性:連続と離散
4.1 連続 Ward(弱形式)
任意の に対し
すなわち (変分×テスト)=流束の発散。平行移動の明示流束:
(幅は正則化版。 で BV 意味に回収。)
4.2 離散 Ward と Γ-収束
Zak–Mellin 繊維 上で , とすると,任意の離散テスト に対し
VII–VIII の Γ-収束により 。Talagrand・LSI・減衰定数は下方半連続で安定(誤差定数はフレーム比 のみに依存)。
5. 輸送–エントロピー(Talagrand)と Noether の関係
定理 5.1(:Otto–Villani 型)
右辺は と単調同値。Noether–Dissipation を時間積分した 距離版 と読める(IX の LSI ⇒ )。
6. 設計指針:対称保護(SP)混合
- 可換性判定: あるいは を満たす核を選び を保護。
- 位相操作: に限り, 増分は二次小。
- 離散化:フレーム比 を揃え,Ward 誤差 を抑制(Γ 極限で定数安定)。
7. 等号剛性(Noether–Young)
- 保存側:可逆部が生成子 と可換(位相一様,平行移動一様)。
- 散逸側(OU):ガウス不変族上でのみ等号(IX の Young 等号と同時成立)。平行移動なら平均のみ,スケールなら分散のみが動く族。
参考文献
Noetherの定理・対称性と保存則
[1] Noether, E. (1918). Invariante Variationsprobleme. Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 235-257. [English translation: Transport Theory and Statistical Physics, 1(3), 186-207 (1971)]
[2] Olver, P.J. (1993). Applications of Lie Groups to Differential Equations (2nd ed.). Graduate Texts in Mathematics, vol. 107. Springer.
[3] Kosmann-Schwarzbach, Y. (2011). The Noether Theorems: Invariance and Conservation Laws in the Twentieth Century. Sources and Studies in the History of Mathematics and Physical Sciences. Springer.
[4] Goldstein, H., Poole, C., & Safko, J. (2002). Classical Mechanics (3rd ed.). Addison-Wesley.
Ward恒等式・場の理論
[5] Ward, J.C. (1950). An identity in quantum electrodynamics. Physical Review, 78(2), 182.
[6] Takahashi, Y. (1957). On the generalized Ward identity. Il Nuovo Cimento, 6(2), 371-375.
[7] Weinberg, S. (1995, 1996). The Quantum Theory of Fields, Vol. I & II. Cambridge University Press.
[8] Itzykson, C., & Zuber, J.-B. (1980). Quantum Field Theory. McGraw-Hill. [Reprinted by Dover Publications, 2005]
[9] Peskin, M.E., & Schroeder, D.V. (1995). An Introduction to Quantum Field Theory. Westview Press.
Bakry-Émery理論・曲率条件
[10] Bakry, D., & Émery, M. (1985). Diffusions hypercontractives. In Séminaire de Probabilités XIX, Lecture Notes in Mathematics, vol. 1123, pp. 177-206. Springer.
[11] Bakry, D., Gentil, I., & Ledoux, M. (2014). Analysis and Geometry of Markov Diffusion Operators. Grundlehren der mathematischen Wissenschaften, vol. 348. Springer.
[12] Bakry, D. (2006). On Sobolev and logarithmic Sobolev inequalities for Markov semigroups. In New Trends in Stochastic Analysis, pp. 43-75. World Scientific.
対数Sobolev不等式(LSI)
[13] Gross, L. (1975). Logarithmic Sobolev inequalities. American Journal of Mathematics, 97(4), 1061-1083.
[14] Gross, L. (1993). Logarithmic Sobolev inequalities and contractivity properties of semigroups. In Dirichlet Forms, Lecture Notes in Mathematics, vol. 1563, pp. 54-88. Springer.
[15] Ledoux, M. (2001). The Concentration of Measure Phenomenon. Mathematical Surveys and Monographs, vol. 89. American Mathematical Society.
最適輸送理論・Otto計算
[16] Otto, F., & Villani, C. (2000). Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality. Journal of Functional Analysis, 173(2), 361-400.
[17] Villani, C. (2009). Optimal Transport: Old and New. Grundlehren der mathematischen Wissenschaften, vol. 338. Springer.
[18] Talagrand, M. (1996). Transportation cost for Gaussian and other product measures. Geometric and Functional Analysis, 6(3), 587-600.
離散勾配流・離散最適輸送
[19] Erbar, M., & Maas, J. (2012). Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis, 206(3), 997-1038.
[20] Maas, J. (2011). Gradient flows of the entropy for finite Markov chains. Journal of Functional Analysis, 261(8), 2250-2292.
Ornstein-Uhlenbeck過程
[21] Uhlenbeck, G.E., & Ornstein, L.S. (1930). On the theory of the Brownian motion. Physical Review, 36(5), 823-841.
[22] Wang, F.-Y. (1997). Logarithmic Sobolev inequalities on noncompact Riemannian manifolds. Probability Theory and Related Fields, 109(3), 417-424.
Γ-収束理論
[23] Dal Maso, G. (1993). An Introduction to Γ-Convergence. Progress in Nonlinear Differential Equations and Their Applications, vol. 8. Birkhäuser.
[24] Braides, A. (2002). Γ-Convergence for Beginners. Oxford Lecture Series in Mathematics and Its Applications, vol. 22. Oxford University Press.
変分法・汎関数微分
[25] Giaquinta, M., & Hildebrandt, S. (1996). Calculus of Variations I: The Lagrangian Formalism. Grundlehren der mathematischen Wissenschaften, vol. 310. Springer.
[26] Dacorogna, B. (2008). Direct Methods in the Calculus of Variations (2nd ed.). Applied Mathematical Sciences, vol. 78. Springer.
[27] Gelfand, I.M., & Fomin, S.V. (2000). Calculus of Variations. Dover Publications. [Original: Prentice-Hall, 1963]
BV関数・測度論
[28] Ambrosio, L., Fusco, N., & Pallara, D. (2000). Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs. Oxford University Press.
[29] Evans, L.C., & Gariepy, R.F. (2015). Measure Theory and Fine Properties of Functions (Revised ed.). Textbooks in Mathematics. CRC Press.
半群理論
[30] Pazy, A. (1983). Semigroups of Linear Operators and Applications to Partial Differential Equations. Applied Mathematical Sciences, vol. 44. Springer.
[31] Davies, E.B. (1989). Heat Kernels and Spectral Theory. Cambridge Tracts in Mathematics, vol. 92. Cambridge University Press.
Young不等式・Hölder不等式
[32] Grafakos, L. (2014). Classical Fourier Analysis (3rd ed.). Graduate Texts in Mathematics, vol. 249. Springer.
[33] Young, W.H. (1912). On the multiplication of successions of Fourier constants. Proceedings of the Royal Society A, 87(596), 331-339.
[34] Beckner, W. (1975). Inequalities in Fourier analysis. Annals of Mathematics, 102(1), 159-182.
対称性の破れ・散逸系
[35] Nambu, Y., & Jona-Lasinio, G. (1961). Dynamical model of elementary particles based on an analogy with superconductivity. I. Physical Review, 122(1), 345-358.
[36] Goldstone, J. (1961). Field theories with «superconductor» solutions. Il Nuovo Cimento, 19(1), 154-164.
[37] Anderson, P.W. (1963). Plasmons, gauge invariance, and mass. Physical Review, 130(1), 439-442.
非平衡統計力学
[38] de Groot, S.R., & Mazur, P. (1984). Non-Equilibrium Thermodynamics. Dover Publications. [Original: North-Holland, 1962]
[39] Kubo, R., Toda, M., & Hashitsume, N. (1991). Statistical Physics II: Nonequilibrium Statistical Mechanics (2nd ed.). Springer Series in Solid-State Sciences, vol. 31. Springer.
[40] Zwanzig, R. (2001). Nonequilibrium Statistical Mechanics. Oxford University Press.
付録
A. 幅の正則化と BV 極限
を滑らか Heaviside 近似に取り,
第八論文と第九論文の下半連続性により で BV 極限が存在。
B. 汎関数微分の明確化(エネルギー重み経由)
は実質 に依存する。エネルギー側の確率化
を用いると
もし本文で を用いる場合は,連鎖則により の摂動を の摂動へ写して評価する(IX の方針に一致)。
(注)本稿の主不等式では は保守的扱いとし,右辺を大きくしない下界で用いた。
C. Ward の弱形式と測度
連続版は Lebesgue もしくは の 内積で評価し,離散版は 内積で評価する(本文各節に基準測度を明記)。弱形式では常にテスト関数 を左辺にも掛けた形
で記述し,右辺は(連続),(離散) と対応させる。
D. Γ-収束と定数安定
liminf:フレーム両側評価+Jensen。回復列:Zak–Mellin サンプリング。誤差定数 はフレーム比 のみ依存(第八論文と第九論文に整合)。
結語
本稿は,第八論文と第九論文の変分・曲率フレームに 対称—保存—散逸 と Ward 同一性を接続し,連続–離散にわたる 定数安定を保証した。Noether 量の保存/指数減衰の二相は,Frourio チャネル設計の第一級ガイドである。