第二十一章 变分法初步.docVIP

F4 x21.1 泛 函 的 概 念 第 2 页 x21.1 泛 函 的 概 念 泛函，简单地说，就是以整个函数为自变量的函数．这个概念，可以看成是函数概念的 推广． 所谓函数，是指给定自变量x(定义在某区间内)的任一数值，就有一个y与之对应．y称 为x的函数，记为y = f(x)． 设在x; y平面上有一簇曲线y(x)，其长度 Z Z x1 q L = ds = 1 + y02dx: x0 显然，y(x)不同，L也不同，即L的数值依赖于整个函数y(x)而改变．L和函数y(x)之间 的这种依赖关系，称为泛函关系． 类似的例子还可以举出许多．例如，闭合曲线围成的面积，平面曲线绕固定轴 而生成的旋转体体积或表面积，等等．它们也都定了各自的泛函关系． 设对于(某一函数集合内的)任意一个函数y(x)，有另一个数J[y]与之对应，则称J[y]为y(x)的 泛函． 这里的函数集合，即泛函的定义域，通常包含要求y(x) 满足一定的边界条件，并且具有 连续的二阶导数．这样的y(x)称为可取函数． 泛函不同于复合函数，例如g = g(f(x))． 对于后者，给定一个x值，仍然是有一个g值与之对应； 对于前者，则必须给出某一区间上的函数y(x)，才能得到一个泛函值J[y]． (定义在同一区间上的)函数不同，泛函值当然不同． 为了强调泛函值J[y]与函数y(x)之间的依赖关系，常常又把函数y(x)称为变量函 数． 泛函的形式可以是多种多样的，但是，在本书中我们只限于用积分 Z x1 J[y] = F (x; y; y0) dx x0 定义的泛函，其中的F 是它的宗量的已知函数，具有连续的二阶偏导数． 如果变量函数是二元函数u(x; y)，则泛函为 ZZ J[u] = F (x; y; u; ux; uy) dxdy; S 其中ux ′ @u=@x; uy ′ @u=@y． 对于更多个自变量的多元函数，也可以有类似的定义．  x21.1 泛 函 的 概 念 第 3 页 图　21.1 例1 如图21.1所示，在重力作用下，一个质点从(x0; y0)点沿平面曲线y(x)无摩擦地自由 下滑到(x1; y1)点，则所需要的时间 (x1;y1)dsx1T =1 + y02=dx(x0;y0)2g(y0y)x02g(y0y)Zp?Zp?就是y(x)的泛函．这里，要求变量函数y(x)一定通过端点(x0; y0)和(x1; y1)． (此问题最早 由Galileo Galilei提出) 例2 弦的横振动问题．设在弦上隔离出足够短的一段弦，则该段弦的 动能 =1μ@u?2势能 =1μ@u?2? x;T x;2@t2@x 其中u(x; t)是弦的横向位移，?是弦的线密度，T 是张力．这样，弦的Hamilton作用量 t1x1 1@u2@u2S = Zt0dt Zx0h? μ?? T μ?idx2@t@x也是位移u(x; t)的泛函．x1 1@u2@u2L = Zx0h? μ?? T μ?idx2@t@x称为Lagrange量(Lagrangian)，而被积函数 12 h? μ@u@t ?2 ? T μ@u@x ?2 i 称为Lagrange量密度．  x21.2 泛 函 的 极 值 第 4 页 x21.2 泛 函 的 极 值 何谓泛函极值？ 泛函取极值的必要条件？ 先回忆一下有关函数极值的概念． 所谓函数f(x)在x0点取极小值，是指当x在x0点及其附近jx ? x0j 时，恒有 f(x) ? f(x0); 而如果恒有 f(x) · f(x0); 则称函数f(x)在x0点取极大值． 函数f(x)在x0点取极值(极小或极大)的必要条件是在该点的导数为0， f0(x0) = 0: 可以用同样的方法定义泛函的极值． “当变量函数为y(x)时，泛函J[y]取极小值”的含义就是：对于极值函数y(x)及其“附 近”的变量函数y(x) + ±y(x)，恒有 J[y + ±y] ? J[y]: 所谓函数y(x) + ±y(x)在另一个函数y(x)的