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

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