第2章泛函变分基础概念(16K).docVIP

(整理)第2章泛函变分的基础概念(16K) (整理)第2章泛函变分的基础概念(16K) PAGE / NUMPAGES (整理)第2章泛函变分的基础概念(16K) 而言是极大（极小）值，而且对于那 y y0 ( x) 曲线上有强极大（极小） 精品文档 第 2 章 泛函极值问题的一些基本概念 §2.1 泛函的极大值和极小值问题 如 果 函 数 y( x) 在 x x0 附 近 的 任 意 点 上 的 值 都 不 大 （ 小 ） 于 y( x0 ) ， 也 即 dy y( x) y(x0 ) 0( 0) 时，则称函数 y( x) 在 x x0 上达到极大（极小） ，而且在 x x0 上，有 dy 0 （ 2-1） 对于泛函 [ y(x)] , 也有类似的定义。如果泛函 [ y(x)] 在任何一条与 y y0 (x) 接近的 曲线上的值不大 （或不小）于 [ y0 ( x)] ，也就是，如果 δ[ y( x)] [ y0 ( x)] 0（或 0） 时，则称泛函 [ y( x)] 在曲线 y y0 ( x) 上达到极大值（或极小值） ，而且在 y y0 ( x) 上， 有 δ 0 （ 2-2） 在这里，对于泛函的极值概念有进一步说明的必要，凡说到泛函的极大（或极小）值，主要是说泛函的相对的极大（或极小）值，也就是说，从互相接近的许多曲线来研究一个最大（或最小）的泛函值，但是曲线的接近有不同的接近度。因此，在泛函的极大极小的定义 里，还应说明这些曲线有几阶的接近度。 如同一般函数极大（极小）讨论一样，如果泛函在 值，不仅对于那些既是函数接近而且导数也接近的 y(x) 些只是函数接近但导数不接近的 y(x) 而言，也是极大（极小）值，所以泛函在 y y0 (x) 曲 线上是强极大（极小）值时，也必在 y y0 (x) 上是弱极大（极小）值。反之，则不然，即 泛函在 y y0 (x) 曲线上有弱极大（极小）值时，不一定是强极大（极小）值，因为有可能 对于那些只是函数接近但导数不接近的 y( x) 而言，有一个比函数与导数都接近的 y(x) 所求 的极大 （极小） 更大（小） 的极大（极小） 值存在。 所以弱极大 （极小），不能满足强极大 （极小）的要求。 这一概念可以推广到包含多个函数的泛函中去。 §2.2 求解泛函极值的欧拉方程 变分法的早期工作是如何将泛函驻值问题转化为微分方程问题。当把泛函的驻值问题转化为微分方程时，第一步工作就结束了，下一步是如何求解这一微分方程。这种求解方法在实际应用上碰到很大的困难。自从里兹提出直接求泛函极值的近似法（里兹法）以后，人们才认识到直接从泛函极值出发，而避免从微分方程式出发更为有效与方便，这样的处理方法可以充分利用电子计算机的作用。于是人们研究的目标有所转移，即把原来从泛函驻值问题 化为微分方程问题， 转变为把微分方程问题转变为定义一个泛函， 而成为泛函求驻值的问题。对于前一种问题由欧拉、拉格朗日等已建立了一套比较成熟、比较系统的方法，而对于后一 类问题，虽然正在大力进行工作，但尚不成熟。目前用的多的方法，还是根据微分方程物理和工程背景，采取尝试和核对的方法，即先试猜一个泛函的极值和驻值问题，然后再核对一下，看它是否与原来的微分方程问题等价。这种方法在以后的变分原理中将经常用到。 精品文档 精品文档 现在研究最简单泛函（ 2-3）式的极值问题所得到的欧拉方程，其中能确定泛函极值曲线 y y( x) 的边界是固定不变的，而且有 y( x1 ) y1 ， y( x2 ) y2 ，函数 F (x, y, y ) 将认为是 三阶可微的。 x2 F[ x, y( x), y ( x)]dx （2-3） x1 首先让我们用拉格朗日法来求泛函的变分 [ y εδy] x2 F [ x, y εδy,y εδy]dx x1 于是有 [ y εδy] x2 F[ x, y εδy,y εδy]δy { ε x1 y y F [ x, y εδy,y εδy]δy } dx 让 ε 0 ，得 δ [ y εδy] |ε 0 [ F δy F δy ]dx （ 2-4） x2 x1 y y 其中 F F (x, y, y ) ， F F ( x, y, y ) y y y y 而且 F δy dx { d [ F δy] d ( F )δy} dx x2 x2 x1 y x1 dx y dx y 对于固定边界条件，因为有 δ( x2 ) δ ( x1 ) 0 ，所以 y y x2 F δy dx x2 d ( F )δydx （2-5） x1 y x1 dx y 将（ 2-5）式代入（ 2-4）式，得到变分极值条件 δ x2 [ F d ( F