内容简介
《非线性物理科学:变换群和李代数(英文版)》为作者在俄罗斯、美国、南非和瑞典多年讲述变换群和李群分析课程的讲义。书中所讨论的局部李群方法提供了求解非线性微分方程解析解通用且非常有效的方法,而近似变换群可以提高构造含少量参数的微分方程的技巧。《非线性物理科学:变换群和李代数(英文版)》通俗易懂、叙述清晰,并提供丰富的模型,能帮助读者轻松地逐步深入各种主题。
作者简介
伊布拉基莫夫(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)的形式写出,以确保它们在任意坐标变换下都保持形式不变。我们将探讨相对论中能量-动量守恒的几何表达。 结论:物理直觉与数学工具的整合 本书的最终目标是使读者能够运用坚实的经典力学和微分几何基础,去理解和解析复杂的物理系统。我们强调物理直觉与严谨数学表达的结合,通过对相空间、作用量原理、度规几何的深入剖析,读者将建立起一个强大的分析框架,为未来接触更抽象的理论(如规范场论或量子场论)做好准备,即便这些理论依赖于更先进的代数工具。全书内容旨在深化对“物理定律的形式不变性”这一核心思想的理解,而无需依赖对特定对称群的详细代数研究。