內容簡介
《非綫性物理科學:變換群和李代數(英文版)》為作者在俄羅斯、美國、南非和瑞典多年講述變換群和李群分析課程的講義。書中所討論的局部李群方法提供瞭求解非綫性微分方程解析解通用且非常有效的方法,而近似變換群可以提高構造含少量參數的微分方程的技巧。《非綫性物理科學:變換群和李代數(英文版)》通俗易懂、敘述清晰,並提供豐富的模型,能幫助讀者輕鬆地逐步深入各種主題。
作者簡介
伊布拉基莫夫(Ibragimov,N.H.),教授,瑞士科學傢,被公認為是在微分方程對稱分析方麵世界上最具權威的專傢之一。他發起並構建瞭現代群分析理論,並推動瞭該理論在多方麵的應用。
內頁插圖
目錄
Preface
Part Ⅰ Local Transformation Groups
1 Preliminaries
1.1 Changes of frames of reference and point transformations
1.1.1 Translations
1.1.2 Rotations
1.1.3 Galilean transformation
1.2 Introduction of transformation groups
1.2.1 Definitions and examples
1.2.2 Different types of groups
1.3 Some useful groups
1.3.1 Finite continuous groups on the straight line
1.3.2 Groups on the plane
1.3.3 Groups in IRn
Exercises to Chapter 1
2 One-parameter groups and their invariants
2.1 Local groups of transformations
2.1.1 Notation and definition
2.1.2 Groups written in a canonical parameter
2.1.3 Infinitesimal transformations and generators
2.1.4 Lie equations
2.1.5 Exponential map
2.1.6 Determination of a canonical parameter
2.2 Invariants
2.2.1 Definition and infinitesimal test
2.2.2 Canonical variables
2.2.3 Construction of groups using canonical variables
2.2.4 Frequently used groups in the plane
2.3 Invariant equations
2.3.1 Definition and infinitesimal test
2.3.2 Invariant representation ofinvariant manifolds
2.3.3 Proof of Theorem
2.3.4 Examples on Theorem
Exercises to Chapter 2
3 Groups adnutted by differential equations
3.1 Preliminaries
3.1.1 Differential variables and functions
3.1.2 Point transformations
3.1.3 Frame of differential equations
3.2 Ptolongation of group transformations
3.2.1 0ne-dimensional case
3.2.2 Prolongation with several differential variables
3.2.3 General case
3.3 Prolongation of group generators
3.3.1 0ne-dimensional case
3.3.2 Several differential variables
3.3.3 General case
3.4 First definition of symmetry groups
3.4.1 Definition
3.4.2 Examples
3.5 Second definition of symmetry groups
3.5.1 Definition and determining equations
3.5.2 Determining equation for second-order ODEs
3.5.3 Examples on solution of determining equations
Exercises to Chapter 3
4 Lie algebras of operators
4.1 Basic definitions
4.1.2 Properties of the commutator
4.1.3 Properties of determining equations
4.2 Basic properties
4.2.1 Notation
4.2.2 Subalgebra and ideal
4.2.3 Derived algebras
4.2.4 Solvable Lie algebras
4.3 Isomorphism and similarity
4.3.1 Isomorphic Lie akebras
4.3.2 Similar Lie algebras
4.4 Low-dimensionalLie algebras
4.4.1 0ne-dimensional algebras
4.4.2 Two-dimensional algebras in the plane
4.4.3 Three-dimensional algebras in the plane
4.4.4 Three-dimensional algebras in lR3
4.5 Lie algebras and multi-parameter groups
4.5.1 Definition of multi-parameter groups
4.5.2 Construction of multi-parameter groups
5 Galois groups via symmetries
5.1 Preliminaries
5.2 Symmetries of algebraic equations
5.2.1 Determining equation
5.2.2 First example
5.2.3 Second example
5.2.4 Third example
5.3 Construction of Galois groups
5.3.1 First example
5.3.2 Second example
5.3.3 Third example
5.3.4 Concluding remarks
Assignment to Part I
Part II Approximate Transformation Groups
6.1 Motivation
6.2 A sketch on Lie transformation groups
6.2.1 0ne-parameter transformation groups
6.2.2 Canonical parameter
6.2.3 Group generator and Lie equations
6.3 Approximate Cauchy problem
6.3.1 Notation
6.3.2 Definition of the approximate Cauchy problem
7 Approximate transformations
7.1 Approximate transformations defined
7.2 Approximate one-parameter groups
7.2.1 Introductory remark
7.2.2 Definition ofone-parameter approximate
7.2.3 Generator of approximate transformation group
7.3 Infinitesimal description
7.3.1 Approximate Lie equations
7.3.2 Approximate exponential map
Exercises to Chapter 7
8 Approximate symmetries
8.1 Definition of approximate symmetries
8.2 Calculation of approximate symmetries
8.2.1 Determining equations
8.2.2 Stable symmetries
8.2.3 Algorithm for calculation
8.3.2 Approximate commutator and Lie algebras
9.1 Integration of equations with a smallparameter usingapproximate symmetries
9.1.1 Equation having no exact point symmetries
9.1.2 Utilization of stable symmetries
9.2 Approximately invariant solutions
9.2.1 Nonlinear wave equation
9.2.2 Approximate travelling waves of KdV equation
9.3 Approximate conservation laws
Exercises to Chapter 9
Assignment to Part II
Bibliography
Index
探索復雜係統的奧秘:經典力學、場論與微分幾何的交匯 本書旨在為讀者提供一個深入而全麵的視角,探討在現代物理學和應用數學領域中至關重要的幾個核心概念:經典力學(Classical Mechanics)的結構基礎、廣義相對論(General Relativity)的幾何描述,以及它們與現代數學工具——特彆是微分幾何(Differential Geometry)和對稱性分析——的深刻聯係。 全書的敘事邏輯圍繞著如何使用嚴謹的數學框架來描述物理係統的演化和內在不變性。我們聚焦於哈密頓力學(Hamiltonian Mechanics)的優美結構,而非僅僅停留在牛頓力學的直觀描述上。我們將詳細考察相空間(Phase Space)的概念,如何通過泊鬆括號(Poisson Brackets)來定義係統的動力學演化,以及這些括號如何揭示瞭守恒量(Constants of Motion)與係統對稱性之間的深刻關係。 第一部分:從運動到幾何——經典場論的數學基礎 本部分奠定瞭描述連續係統和場論的數學基石。我們不涉及具體的變換群或李代數理論,而是專注於構建一個可以容納這些高級概念的物理框架。 1. 係統的演化與作用量原理: 我們將從達朗貝爾原理(d’Alembert’s Principle)齣發,係統地推導齣拉格朗日力學(Lagrangian Mechanics)。重點在於作用量(Action)的概念及其變分原理,即最小作用量原理(Principle of Least Action)。我們將深入探討拉格朗日函數在不同坐標係下的形式,以及如何導齣歐拉-拉格朗日方程(Euler-Lagrange Equations)。這一部分強調的是“形變不變性”的思想,即物理定律的形式在坐標變換下保持不變。 2. 能量與守恒量: 隨後,我們將通過勒讓德變換(Legendre Transformation),將拉格朗日力學轉化為更具對稱性的哈密頓力學。我們將詳細分析哈密頓量(Hamiltonian)的物理意義,即係統的總能量。在這裏,我們將引入正則坐標(Canonical Coordinates),並著重講解泊鬆括號的定義及其在描述時間演化中的核心作用:$frac{df}{dt} = {f, H} + frac{partial f}{partial t}$。對於不顯含時間的守恒量,我們將展示其與哈密頓量之間泊鬆括號為零的充要條件,從而確立守恒定律的代數結構。 3. 場論的推廣: 為瞭描述粒子係統之外的現象,我們將把這些概念推廣到經典場論(Classical Field Theory)。場被視為無限自由度係統,其動力學由拉格朗日密度(Lagrangian Density)來描述。我們將推導場量的歐拉-拉格朗日方程,並探討諾特定理(Noether's Theorem)在場論中的應用——盡管我們不會深入研究其群論推導,但會強調“每一種連續對稱性都對應一個守恒流”這一核心物理洞察。 第二部分:時空與彎麯幾何——廣義相對論的幾何語言 本部分將物理學的焦點從歐幾裏得或閔可夫斯基時空中的力學問題,轉移到由物質和能量決定的彎麯時空的描述上。這部分內容完全建立在微分幾何的語言之上,但不引入抽象的群論工具。 1. 黎曼幾何的初步: 我們將介紹描述彎麯時空所必需的數學結構。重點在於流形(Manifolds)的概念,以及在流形上定義張量(Tensors)的必要性。我們將詳細解釋度規張量(Metric Tensor) $g_{mu
u}$ 如何定義時空中的距離和角度,以及它如何成為描述引力場的核心對象。 2. 協變微分與測地綫: 在彎麯空間中,我們不能使用常規的偏導數。因此,我們將引入協變微分(Covariant Derivative)的概念,並通過它定義剋裏斯托費爾符號(Christoffel Symbols)。讀者將理解剋裏斯托費爾符號如何描述“平坦”的參考係如何隨位置變化,而非代錶引力本身。隨後,我們將探討測地綫方程(Geodesics Equation),即自由落體的路徑在彎麯時空中的推廣,這直接構成瞭廣義相對論的基礎動力學。 3. 物質與時空的耦閤: 我們將介紹裏奇張量(Ricci Tensor)和裏奇標量(Ricci Scalar)的計算方法,這些是衡量時空麯率的關鍵量。隨後,我們將討論愛因斯坦場方程(Einstein Field Equations, EFE),將其視為物質分布(應力-能量張量 $T_{mu
u}$)與時空幾何(麯率)之間的幾何關係式。我們將分析這些方程的結構,展示它們如何是非綫性的偏微分方程組,並討論靜態球對稱解的結構(如史瓦西解的性質),而不涉及對這些方程的群論求解技巧。 4. 經典物理定律的協變形式: 本部分最後會重述拉格朗日量和哈密頓量在廣義相對論背景下的錶現形式,強調所有物理定律必須以協變(Covariant)的形式寫齣,以確保它們在任意坐標變換下都保持形式不變。我們將探討相對論中能量-動量守恒的幾何錶達。 結論:物理直覺與數學工具的整閤 本書的最終目標是使讀者能夠運用堅實的經典力學和微分幾何基礎,去理解和解析復雜的物理係統。我們強調物理直覺與嚴謹數學錶達的結閤,通過對相空間、作用量原理、度規幾何的深入剖析,讀者將建立起一個強大的分析框架,為未來接觸更抽象的理論(如規範場論或量子場論)做好準備,即便這些理論依賴於更先進的代數工具。全書內容旨在深化對“物理定律的形式不變性”這一核心思想的理解,而無需依賴對特定對稱群的詳細代數研究。