3变分法与hamilton原理(中科大)哈密顿原理.docxVIP

12-10-25, 04:27 第 3 章 变分法与 HAMILTON 原理 一、 泛函与变分 1. 泛函 普通函数是从数到数的映射 ( ) 泛函是普通函数概念的推广，自变量可以为任意集合， 集合 数学物理中常见的泛函自变量常取为函数， [ ] 。 例 ( ) 是函数； [ ] ( )是泛函，并且有 [ ] [ ] [ ] 例 [ ] ∫ ( ) ，则 ( ) [ ] [ ] ( ) 例 [ ] ∫ { ( ) } 泛函可类比于多变量函数， ( ) { } [ ] { ( )| 的定义域} 这里的 ( )相当于前面多变量函数的自变量 ， ；泛函 [ ]是以不可数无穷多个变 量 ( ) ( ) 作为自变量的函数。 例 复合函数可以看成是一族泛函， ( ) [ ] ( ( ( ?( )) ))，其中 是参数。 2. 泛函的连续性 对于泛函 [ ]，给定函数 ( )，如果能够满足 1 / 34 ，当| ( ) ( )| | ( ) ( )| | ( )( ) ( )( )| 时，有 | [ ] [ ]| 则称泛函 [ ]在 处 阶接近的连续。 3. 变分 泛函可类比于多变量函数， 多变量函数 ( )，自变量的微分为 ； 泛函 [ ]的自变量为{ ( )| 定义域}，自变量的变分 ( ) ( ) ( )，即函 数的无穷小改变。 小参量法的定义为 ( ) ( )，其中 为任意无穷小量， ( )为任意连续有界函数。类似于数 学分析中的 - 语言，这是严格的数学定义。下面的叙述我们不追求数学上的严格性。 函数的微分 ( ) ( ) ( ) 泛函的变分 [ ] [ ] [ ] 例 [ ] ( ) [ ] ( ) ( ) ( ) ( ) 例 位 移 ? [ ] ? ( ( ) ( ) ) ， 虚 位 移 ? ? ( ( ) ( ) ) ? ( ( ) ) ? ( )。 例 [ ] ∫ ( ) ( ) ，（变分与积分可交换在后面证明） [ ] [ ] [ ] ∫ ( )( )( )( ) ∫ ( ) ( ) ∫ { ( ) ( ) ( ) ( )} 4. LAGRANGE 变分基本引理 2 / 34 设 ( )在区间[ ]上连续， ( )及其 2 阶导数在[ ]上连续，且在端点处 ( ) ( ) 。如果任意这样的函数 ( )均满足∫ ( ) ( ) ，则必有 [ ] ( ) 。 用反证法很容易证明：反设 ( ) ( ) ，不妨设 ( ) 。由于 ( )连续， 存在 点的邻域[ ] [ ]，在[ ]上 ( ) 。现在构造 ( )为 [ ] ( ) { ( ( ))( ( )) [ ] 则 ∫ ( ) ( ) ∫ ( ) ( ) ∫ ( ) 与∫ ( ) ( ) 矛盾，所以