第二章-泛函极值及变分法(补充内容)
- 格式:doc
- 大小:1.57 MB
- 文档页数:38
变分法求泛函极值-概述说明以及解释1.引言1.1 概述概述部分的内容可以介绍本篇文章的主题和背景,以及变分法在数学和实际应用中的重要性。
概述:变分法是一种用于求解泛函极值的重要数学方法。
泛函是一个对函数进行操作的函数,如积分、微分等运算。
在数学领域,变分法广泛应用于各个领域,包括微分方程、优化问题、控制理论等。
在实际应用中,变分法被广泛用于物理学、工程学、经济学等学科中的模型建立和问题求解。
本篇文章旨在介绍变分法及其在求解泛函极值问题中的应用。
文章将从变分法的基本概念开始,进一步探讨其在求解泛函极值中的具体应用,以及相关的数学原理。
通过对变分法的深入分析和讨论,我们将探索变分法在求解泛函极值中的意义和局限性,并对未来研究方向进行展望。
通过阅读本篇文章,读者将能够了解变分法的基本概念和数学原理,并掌握如何应用变分法求解泛函极值的方法和技巧。
同时,本篇文章还将对变分法在实际应用中的意义和局限性进行讨论,以及未来研究方向的展望,为读者提供更深入的思考和研究的方向。
下一节将介绍本文的结构和各个部分的内容。
1.2 文章结构本文共分为三个主要部分:引言、正文和结论。
每个部分都有特定的目标和内容。
引言部分主要介绍本文的背景、研究意义和目的。
首先,我们将对变分法的基本概念和相关术语进行简要的介绍,以便读者对后续内容有初步的了解。
其次,我们将说明本文的结构和章节安排,帮助读者快速了解文章的整体框架和逻辑。
正文部分是本文的核心内容,主要包括三个小节。
首先,我们将详细介绍变分法的基本概念,包括泛函、变分和变分问题的定义。
然后,我们将探讨变分法在求泛函极值中的应用,介绍一些典型的例子和实际问题。
最后,我们将解释变分法的数学原理,包括欧拉-拉格朗日方程和变分问题的极值条件。
结论部分对本文的主要内容进行总结,并进行进一步的讨论和展望。
首先,我们将对整个文章进行简要回顾,概括出变分法求泛函极值的关键点。
然后,我们将探讨变分法在求泛函极值中的意义和局限性,以及对未来研究方向的展望。
数学中的泛函方程与变分法泛函方程与变分法是数学中重要的概念和方法,广泛应用于物理学、工程学等领域。
本文将介绍泛函方程的定义和变分法的基本原理,并通过实例来说明其在数学中的应用。
一、泛函方程的定义泛函方程是指以函数为未知量的方程。
与常见的代数方程不同,泛函方程涉及到函数的变化与整体性质,需要运用变分法来求解。
以泛函方程的典型形式为例,设函数空间F中的函数为y(x),泛函方程可写为:J[y]=∫(a, b) F(x, y, y') dx = 0其中,a和b是给定的常数;F是一个关于x、y和y'(即y的导数)的已知函数。
二、变分法的基本原理变分法是通过对泛函进行极值问题的求解方法,其基本原理是最小作用量原理,即作用量的极值对应于物理系统的真实运动。
对于泛函J[y],设有函数y(x)在区间[a, b]上有连续的变分δy(x),则可定义泛函的变分为:δJ = J[y + δy] - J[y]根据变分的数学性质,可以将δJ展开为:δJ = ∫(a, b) [∂F/∂y δy + ∂F/∂y' δy'] dx其中,δy和δy'分别是y和y'的变分。
根据变分法的基本原理,要使泛函J[y]取得极值,必须满足变分δJ=0的条件。
三、泛函方程与变分法的应用举例1. 最小作用量原理最小作用量原理是变分法的典型应用之一。
以经典力学中的拉格朗日力学为例,根据哈密顿原理,系统的运动轨迹为使作用量S取极值的轨迹。
作用量S可以表示为:S = ∫(t1, t2) L(q, q', t) dt其中,q是广义坐标;q'是广义速度;L是拉格朗日函数。
根据变分法的原理,要使作用量S取得极小值,即变分δS=0。
通过对作用量S进行变分运算,可以得到系统的欧拉-拉格朗日方程,从而求解系统的运动方程。
2. 微分方程的边界值问题变分法还可以应用于求解微分方程的边界值问题。
考虑一个一维边界值问题,设函数y(x)在区域[a, b]上满足微分方程和边界条件:F(x, y, y') = 0, G(y(a), y(b)) = 0通过引入拉格朗日乘子λ(x)和一个新的泛函K[y, λ],可以将边界值问题转化为极值问题。
微积分是数学中的一门重要学科,研究连续变化的对象和变化率。
在微积分的研究中,泛函分析和变分法被广泛应用于求解特殊函数的极值问题。
泛函分析是函数解析的延伸,它的基本思想是将函数看作一个整体,而不是一点一点地看待。
在泛函分析中,一个函数被看作是一个映射,它将定义域上的元素映射到值域上的元素。
泛函的定义域是一个函数空间,而值域是一个数域。
泛函分析研究了函数空间中的性质和结构,以及函数的连续性、可微性、积分性等。
变分法是泛函分析的重要应用之一,它是求解变分问题的一种方法。
变分问题是在给定边界条件下,求解泛函的极值问题。
它的基本思想是假设一个函数类,使得在这个函数类中,求解泛函的极值问题等价于解欧拉-拉格朗日方程。
变分法在物理学、工程学和经济学等领域有着广泛的应用。
在微积分中,泛函分析和变分法常常被用来研究特殊函数的极值问题。
对于一般的实函数,我们可以将其看作是一个实数的函数,通过微积分的方法求解其极值问题。
但对于泛函,由于其定义域是一个函数空间,常规的微积分方法无法直接应用。
在这种情况下,泛函分析和变分法的引入就非常有必要了。
以最简单的例子来说明,假设我们有一个泛函J,它的定义域是所有满足一定边界条件的函数空间。
我们的目标是寻找一个函数f(x)使得J取得最小值。
通过变分法,我们可以假设一个函数类,比如所有满足一定条件的连续可微函数集合。
然后,我们可以通过变分法的求极值定理,求解这个最小值问题。
在泛函分析和变分法的应用中,有两个重要的概念需要引入,分别是变分和泛函导数。
变分是对于一个函数的微小改变,而泛函导数是对于泛函在某个函数处的斜率。
通过变分和泛函导数的概念,我们可以将极值问题转化为求解一类泛函方程。
总之,微积分中的泛函分析和变分法是一门重要的分支学科,它们为求解特殊函数的极值问题提供了一种有效的方法。
通过引入泛函分析和变分法的概念,我们可以将函数的整体性质考虑在内,求解一般微积分方法无法解决的问题。
第2章 泛函极值问题的一些基本概念§2.1 泛函的极大值和极小值问题如果函数)(x y 在0x x =附近的任意点上的值都不大(小)于)(0x y ,也即)0(0)()(d 0≥≤-=x y x y y 时,则称函数)(x y 在0x x =上达到极大(极小),而且在0x x =上,有0d =y (2-1)对于泛函)]([x y ∏,也有类似的定义。
如果泛函)]([x y ∏在任何一条与)(0x y y =接近的曲线上的值不大(或不小)于)]([0x y ∏,也就是,如果0)]([)]([δ0≤∏-∏=∏x y x y (或0≥)时,则称泛函)]([x y ∏在曲线)(0x y y =上达到极大值(或极小值),而且在)(0x y y =上,有0δ=∏ (2-2)在这里,对于泛函的极值概念有进一步说明的必要,凡说到泛函的极大(或极小)值,主要是说泛函的相对的极大(或极小)值,也就是说,从互相接近的许多曲线来研究一个最大(或最小)的泛函值,但是曲线的接近有不同的接近度。
因此,在泛函的极大极小的定义里,还应说明这些曲线有几阶的接近度。
如同一般函数极大(极小)讨论一样,如果泛函在)(0x y y =曲线上有强极大(极小)值,不仅对于那些既是函数接近而且导数也接近的)(x y 而言是极大(极小)值,而且对于那些只是函数接近但导数不接近的)(x y 而言,也是极大(极小)值,所以泛函在)(0x y y =曲线上是强极大(极小)值时,也必在)(0x y y =上是弱极大(极小)值。
反之,则不然,即泛函在)(0x y y =曲线上有弱极大(极小)值时,不一定是强极大(极小)值,因为有可能对于那些只是函数接近但导数不接近的)(x y 而言,有一个比函数与导数都接近的)(x y 所求的极大(极小)更大(小)的极大(极小)值存在。
所以弱极大(极小),不能满足强极大(极小)的要求。
这一概念可以推广到包含多个函数的泛函中去。
第二章 泛函极值及变分法(补充内容)2.1 变分的基本概念2.1.1 泛函和变分泛函是一种广义的函数,是指对于某一类函数{y (x )}中的每一个函数y (x ),变量J 有一值与之对应,或者说数J 对应于函数y (x )的关系成立,则我们称变量J 是函数y (x )的泛函,记为J [y (x )]。
例1:如果表示两固定端点A (x A ,y A ),B (x B ,y B )间的曲线长度J (图2.1.1),则由微积分相关知识容易得到:dx dx dy J BAx x ⎰+=2)/(1 (2.1.1)显然,对于不同的曲线y (x ),对应于不同的长度J ,即J 是函数y (x )的函数,J =J [y (x )]。
图2.1.1 两点间任一曲线的长度例2:历史上著名的变分问题之一——最速降线问题,如果2.1.2所示。
设在不同铅垂线上的两点P 1与P 2连接成某一曲线,质点P 在重力作用下沿曲线由点P 1自由滑落到点P 2,这里不考虑摩擦作用影响,希望得到质点沿什么样的曲线滑落所需时间最短。
图2.1.2 最速降线问题选取一个表示曲线的函数y (x ),设质点从P 1到P 2沿曲线y =y (x )运动,则其运动速度为:dsv dt ==其中,S 表示曲线的弧长,t 表示时间,于是:dt =设重力加速度为g ,则gy v 2=。
因为P 1和P 2点的横坐标分别为x 1到x 2,那么质点从P 1到P 2所用时间便为:1[()]x x J y x =⎰211/2211[()]2[()()]x x y x dx g y x y x ⎧⎫'+=⎨⎬-⎩⎭⎰(2.1.2)则最速降线问题对应于泛函J [y (x )]取最小值。
回顾函数的微分:对于函数的微分有两种定义: 一种是通常的定义,即函数的增量:),()()()(x x x x A x y x x y y ∆+∆=-∆+=∆ρ (2.1.3) 其中A (x )与∆x 无关,且有∆x →0时ρ(x ,∆x )→0,于是就称函数y (x )是可微的,其线性部分称为函数的微分()()dy A x x y x x '=∆=∆,函数的微分就是函数增量的主部。
§ 7.2 泛函极值与变分法变分法是解决泛函极值的基本方法。
1. 泛函例 指标 0[(),(),]d [()]Tt J F x t u t t t S x T =+⎰的值依()x t 、0(),[,]u t t t T ∈是函数的函数 泛函 ()x t 和()u t 作为泛函的“自变量”,称为泛函的宗量例7.1 最短弧长问题:设()y y x =过11(,())A x y x 和22(,())B x y x若()y x 连续可微,则 2121d x x J yx =+⎰,(7.5) 是()y x 的泛函. 2. 泛函极值 设 (())J J y x =,(){}y x Y ∈=函数集若有y Y *∈,使()min ()y YJ y J y ∈*=或()max ()y YJ y J y ∈*=,则称泛函J 有极小值或极大值。
xo y))(,(22x y x B ))(,(11x y x A ∙∙)(x y 7.1图3. 变分 ≈函数的微分 宗量变分:在()y x 处的增量()()()y x yx y x δ=- Ox()y x ()y x ()yx ()()()y x yx y x δ =-O x泛函增量:[()][()]J J yx J y x ∆=- [()()][()]J y x y x J y x δ=+-泛函变分: 若[(),()][(),()],J L y x y x r y x y x ∆δδ=+式中:[(),()]L y x y x δ是()y x δ的线性连续泛函,即[(),()][(),()]L y x k y x k L y x y x δδ⋅=⋅ [(),()]r y x y x δ是()y x δ的高阶无穷小项,则称泛函J 是可微的,而称[(),()]L y x y x δ为泛函的变分,记为[(),()]J L y x y x δδ=。
引理7.1 若泛函可微,则变分[]()()a J J y x a y x aδδ=∂=+∂.证[]0()()a J y x a y x aδ=∂+∂0lima Ja∆→=00[(),()][(),()]lim lim a a L y x a y x r y x a y x a aδδ→→=+00[(),()][(),()]lim lim ()()[(),()]a a aL y x y x r y x a y x y x a a y x L y x y x J δδδδδδ。
微分方程中的泛函变分与变分法微分方程是许多科学领域中常见的数学工具,用于描述自然界中的各种物理现象和现象。
变分法是一种求解微分方程的有效方法,它使用变分运算符来找到一个函数使得泛函取极值。
在本文中,我们将探讨微分方程中的泛函变分与变分法。
一、泛函变分的基本概念在微分方程中,泛函是一个函数到实数集的映射。
它通常涉及到函数的积分或导数,例如能量泛函、作用量泛函等。
泛函变分是指对泛函进行微小变化,并通过求取变分导数来确定其极值。
二、变分法的基本原理变分法基于计算泛函的极值。
具体而言,我们可以通过泛函的欧拉-拉格朗日方程来推导出变分方程。
对于给定的泛函J[y],我们希望找到一个函数y使得J[y]取极值。
根据欧拉-拉格朗日方程,变分方程可以写为:δJ[y] = 0其中δ表示变分运算符,即对函数y进行微小变化。
三、求解变分方程的步骤通过变分法求解微分方程的一般步骤如下:1. 确定泛函J[y],并计算其变分。
2. 将变分代入泛函,得到关于变分的表达式。
3. 求取变分导数,并令其为零。
4. 解变分方程,得到函数y的表达式。
5. 检验解是否满足边界条件和附加条件。
四、应用示例:最小作用量原理最小作用量原理是变分法在经典力学中的一个重要应用。
它指出,在受力作用下,质点的路径使得作用量达到极小值。
作用量定义为质点的能量与时间的积分。
我们以一个简单的例子来说明最小作用量原理的应用。
考虑一个质点在无外力作用下的自由落体运动。
根据牛顿第二定律,我们可以得到该质点的运动方程。
然而,通过最小作用量原理,我们可以用变分法来求解该自由落体问题。
1. 确定泛函J[y],即作用量的表达式。
J[y] = ∫(L - mgy)dt其中L是质点的拉格朗日函数,m是质点的质量,g是重力加速度,y是质点的位置函数。
2. 将变分代入泛函,得到关于变分的表达式。
δJ[y] = ∫(δL - mgδy)dt3. 求取变分导数,并令其为零。
δJ[y] = ∫(∂L/∂y - mg)δy dt = 04. 解变分方程,得到y的表达式。
第2章 泛函的极值在讨论泛函的极值以前, 我们先来回顾一下函数的极值问题。
2.1函数的极值性质2.1.1 函数的连续性任意一个多元函数12(),(,,...,)T nn f x x x R =∈x x , 0>∀ε, 如果0)(>=∃εδδ, 当0δ-<x x (或者说0(,)O δ∈x x )时, 有0()()f f ε-<x x那么, 我们称()f x 在0x 处是连续的, 记为00()lim ()f f →=x x x x 。
2.1.2 函数的可微性更进一步, 如果存在1(,,)T n n A A R ∃=∈A , 使得01000(,,,,)()lim,1i n i i if x x x f A i n x x →-=∀≤≤-x x x那么我们称()f x 在0x 处是可微的, 或者说存在(一阶)导数,记为'()f =x A或者记为12'(),,...,Tn f f f f f x x x ⎛⎫∂∂∂== ⎪∂∂∂⎝⎭x ∇其中∇为梯度算子(或者Hamilton 算子, 见附1)。
同理, 可以定义该函数的两阶导数"()f x2222112122222122222222"()n n n n n ff f x x x x x f f f f f x x x x x f f f x x x x x ⎡⎤∂∂∂⎢⎥∂∂∂∂∂⎢⎥⎢⎥∂∂∂⎢⎥==∂∂∂∂∂⎢⎥⎢⎥⎢⎥⎢⎥∂∂∂⎢⎥∂∂∂∂∂⎣⎦D x及更高阶导数。
这里f D 也称为Jacobi 矩阵。
如果函数()f x 在某点0x 足够光滑, 那么我们就可以在该点附近把函数作以下的展开221002!020(d )()d d (d )d d ()d d ()d T T f f f f o f f f f +=+++==x x x x x x x D x x∇其中()o ⋅为高阶小量, 2d ,d f f 分别为函数()f x 的一阶微分和两阶微分。
数学中的泛函分析与变分法泛函分析和变分法是数学中重要的分支领域,它们在多个学科领域中有广泛的应用,尤其在物理学、工程学和经济学中。
本文将介绍泛函分析和变分法的基本概念、主要应用以及其在数学研究中的重要性。
一、泛函分析的基本概念泛函分析是研究函数空间及其上的泛函的数学分支。
在泛函分析中,函数被视为向量,函数空间被视为向量空间。
泛函是将函数映射到实数域的运算。
泛函分析的基本概念包括:1. 函数空间:函数空间是一组函数的集合,常用的函数空间有无限可微函数空间、连续函数空间和Lebesgue可积函数空间等。
2. 泛函:泛函是将函数映射到实数的映射,常见的泛函有函数的积分、导数和极限等。
3. 内积空间:内积空间是指具有内积运算的向量空间,它能够定义向量之间的夹角和长度。
4. 范数:范数是向量空间上的度量,它能够衡量向量的大小。
二、泛函分析的主要应用泛函分析在许多学科领域中有广泛的应用,以下是其中的几个主要应用:1. 物理学:泛函分析在量子力学中的应用非常重要,可以描述量子力学的态矢量和算符。
它还在经典力学中的变分原理和哈密顿力学中起到关键作用。
2. 工程学:泛函分析在工程学中的应用包括信号处理、图像处理、控制论和优化问题等。
例如,优化问题中的最优控制和最优化方法都是基于泛函分析的算法。
3. 经济学:泛函分析在经济学中的应用主要集中在最优化理论和均衡分析等方面。
它可以通过建立合适的目标函数和约束条件,来研究经济系统中的最优决策和均衡状态。
4. 数学研究:泛函分析在数学研究中非常重要,它为其他分支领域提供了理论支撑。
例如,在偏微分方程的研究中,泛函分析提供了强大的工具和方法。
三、变分法的基本原理变分法是一种用于求解泛函极值的数学方法,它是泛函分析中的重要内容。
通过变分法,可以求解函数的极值问题,对于约束条件下的极值问题也同样适用。
变分法的基本原理包括:1. 变分问题的建立:首先建立一个泛函,然后将其转化为一个求解极值问题。
第2章变分法第二章变分法变分法(variationalcalculus)是研究泛函极值的数学方法,早在十七世纪末,几何学、力学等领域相继提出了一些泛函极值问题(最速降线问题、最小旋转曲面问题等),导致了变分法的形成和发展。
本章我们介绍变分法及其在最优控制中的应用。
第一节和泛函及其极值我们首先给出泛函的定义定义1.1设?为一函数的子集,若对于每一个函数x(t)??,都存有一个实数j与之对应,则表示j就是定义在?上的和泛函,记作j(x(t))。
?称作j的允许函数子集,x(t)??称作宗量。
例1对于xy平面上过定点a(x1,y1)和b(x2,y2)的每一条光滑曲线y(x),拖x轴转动得一旋转体,旋转体的侧面积就是曲线y(x)的和泛函2(x))dx,j(y(x))??2?y(x)(1?yx1x2容许函数集合可表示为{y(x)y(x)?c1[x1,x2],y(x1)?y1,y(x2)?y2}.第一章中介绍的三个性能指标1)终端型性能指标也表示麦耶(mayer)型性能指标j(x)??(x(t1),t1),2)分数型性能指标还表示拉格郎日(lagrange)型性能指标t1?(t))dt,j(x)??f0(t,x(t),xt03)混合型性能指标也叫包尔查(bolza)型性能指标(t))dt,j(x)??(x(t1),t1)??f0(t,x(t),xt0t1它们都就是和泛函,并且它们之间可以相互转变。
9引入代莱函数x0(t),它就是如下微分方程初值问题的求解0(t)f0(t,x(t),x(t)),xx0(t0)0.则拉格郎日(lagrange)型性能指标就化为t1(t))dt,?(x(t1),t1)?x0(t1)??f0(t,x(t),xt0变成麦耶(mayer)型性能指标。
引入函数(t))f0(t,x(t),x我们有d?(t)??t(x(t),t),?(x(t),t)??x(x(t),t)xdtt1?(t))dt,?(x(t1),t1)??(x(t0),t0)??f 0(t,x(t),xt0其中?(x(t0),t0)就是未知常数,可以换成,这样就将麦耶(mayer)型性能指标转变为拉格郎日(lagrange)型性能指标。
第二章 泛函极值及变分法(补充内容)2.1 变分的基本概念2.1.1 泛函和变分泛函是一种广义的函数,是指对于某一类函数{y (x )}中的每一个函数y (x ),变量J 有一值与之对应,或者说数J 对应于函数y (x )的关系成立,则我们称变量J 是函数y (x )的泛函,记为J [y (x )]。
例1:如果表示两固定端点A (x A ,y A ),B (x B ,y B )间的曲线长度J (图2.1.1),则由微积分相关知识容易得到:dx dx dy J BAx x ⎰+=2)/(1(2.1.1) 显然,对于不同的曲线y (x ),对应于不同的长度J ,即J 是函数y (x )的函数,J =J [y (x )]。
图2.1.1 两点间任一曲线的长度例2:历史上著名的变分问题之一——最速降线问题,如果2.1.2所示。
设在不同铅垂线上的两点P 1与P 2连接成某一曲线,质点P 在重力作用下沿曲线由点P 1自由滑落到点P 2,这里不考虑摩擦作用影响,希望得到质点沿什么样的曲线滑落所需时间最短。
图2.1.2 最速降线问题选取一个表示曲线的函数y (x ),设质点从P 1到P 2沿曲线y =y (x )运动,则其运动速度为:dsv dt ==其中,S 表示曲线的弧长,t 表示时间,于是:dt =设重力加速度为g ,则gy v 2=。
因为P 1和P 2点的横坐标分别为x 1到x 2,那么质点从P 1到P 2所用时间便为:1[()]x x J y x =⎰211/2211[()]2[()()]x x y x dx g y x y x ⎧⎫'+=⎨⎬-⎩⎭⎰(2.1.2)则最速降线问题对应于泛函J [y (x )]取最小值。
回顾函数的微分:对于函数的微分有两种定义: 一种是通常的定义,即函数的增量:),()()()(x x x x A x y x x y y ∆+∆=-∆+=∆ρ (2.1.3) 其中A (x )与∆x 无关,且有∆x →0时ρ(x ,∆x )→0,于是就称函数y (x )是可微的,其线性部分称为函数的微分()()dy A x x y x x '=∆=∆,函数的微分就是函数增量的主部。
函数微分的另外一种定义:通过引入一小参数ε,对)(x x y ∆+ε关于ε求导数,并令ε→0的途径得到,即:dy x x y x x x y d x x dy =∆'=∆∆+'=∆+→→)()()(00εεεεε(2.1.4)上式说明)(x x y ∆+ε在ε=0处关于ε的导数就是函数y (x )在x 处的微分。
相应地,在泛函J [y (x )]中,变量函数y (x )的增量在其很小时称为变分,用δy (x )或δy 表示,指y (x )与它相接近的y 1(x )的差,即:)()()(1x y x y x y -=δ。
泛函的变分也有类似的两个定义:对于函数y (x )的变分δy (x )所引起的泛函的增量为)]([)]()([x y J x y x y J J -+=∆δ,当0)(→x y δ时泛函增量的线性主部就称为泛函J 在函数y (x )处的变分,记为δJ ,即:{})](),([)]([)]()([0x y x y L x y J x y x y J J y δδδδ=-+=→ (2.1.5)其中L [y (x ),δy (x )]是泛函增量的线性主部,而且其对于变分δy (x )是线性的。
另一种定义:拉格朗日的泛函变分定义为:泛函变分是)]()([x y x y J εδ+对ε的导数在ε=0时的值,即:)](),([)]()([0x y x y L x y x y J J δεδεδε=+∂∂=→ (2.1.6)首先,我们进行泛函:⎰'==21))(),(,()]([x x dx x y x y x F x y J J (2.1.7)的变分。
此泛函的增量可以用Taylor 展式表示为:()()21,()(),()(),(),()x x J F x y x y x y x y x F x y x y x dx '''∆=⎡+∆+∆-⎤⎣⎦⎰ 2122222221()()2()x x F F F F F y y y y y y dx y y y y y y ⎧⎫⎡⎤∂∂∂∂∂⎪⎪'''=∆+∆+∆+∆∆+∆+⎨⎬⎢⎥'''∂∂∂∂∂∂⎪⎪⎣⎦⎩⎭⎰L (2.1.8)当0→∆y ,上式积分中的前两项是增量的线性主部,后面的项为高阶无穷小量。
根据变分的定义,该泛函的变分为:⎰⎪⎪⎭⎫ ⎝⎛''∂∂+∂∂=21x x dx y y Fy y F J δδδ (2.1.9) (2.1.9)也称为泛函J 的一阶变分,而(2.1.8)式的后三项为二阶变分,记作δ2J ,即:⎰⎥⎦⎤⎢⎣⎡''∂∂+''∂∂∂+∂∂=2122222222)()()(x x dx y y F y y y y F y y FJ δδδδδ (2.1.10) 也可以通过拉格朗日泛函变分的定义,得到:[]⎰→→⎥⎦⎤⎢⎣⎡'+'+∂∂=+∂∂=210),,()()(x x dx y y y y x F x y x y J J εεεδεδεεδεδ dx y y Fy y F x x ⎰''∂∂+∂∂=21)(δδ (2.1.11)此结果与(2.1.9)是相同的。
类似地,如果泛函的值决定于两个函数,并且这些函数是两个变量的函数,如:[](,),(,)(,,,,,,,)s x y x y J J u x y v x y F x y u v u u v v ds ==⎰(2.1.12) 其变分为:s x y x y x y x y F F F F F FJ u v u u v v ds uv u u v v δδδδδδδ⎡⎤∂∂∂∂∂∂=+++++⎢⎥∂∂∂∂∂∂⎢⎥⎣⎦⎰(2.1.13)依此类推,不难得到多个多元函数的变分。
此处,泛函的变分满足下面的一些运算规律:(1)[][]{}[][]1212()()()()J y x J y x J y x J y x δδδ+=+(2.1.14a )(2)[][]{}[][][][]121212()()()()()()J y x J y x J y x J y x J y x J y x δδδ⋅=⋅+⋅(2.1.14b )(3)[][][][][][][]{}11212222()()()()()()()J y x J y x J y x J y x J y x J y x J y x δδδ⎧⎫⋅-⋅⎪⎪=⎨⎬⎪⎪⎩⎭(2.1.14c )(4)[]{}[]{}[]1()()()nn J y x n J y x J y x δδ-=⋅(2.1.14d )2.1.2 泛函的极值和变分问题本节将讨论泛函的极值和变分。
微积分知识:函数取极值的必要条件(但不是充分条件):对于一个连续可导函数,如果其在定义域的某(些)点函数有极值,那么这个函数的一阶导数在这(些)点等于零,这个(些)点就是函数的极值点或驻点。
对于泛函的极值问题,也有类似的结论,即泛函取极值的必要条件是其一阶变分0=J δ。
简要证明:假设函数y (x )是泛函J 所定义的函数集合中的任一函数,这里不妨设泛函J [y (x )]在函数y (x )处有极大值,那么对于任一实变量α,必有:[][])()(≥)(x y x y J x y J αδ+(2.1.15)令[])()()(x y x y J f αδα+=,则有:[][]0()()()()()f J y x J y x y x f αααδα==≥+= (2.1.16)上式表示)(αf 在0=α处有极大值,根据函数取极值的必要条件:()0df d ααα==,得到:[]0)()()(00==+===J d x y x y dJ d df δααδαααα(2.1.17)由此就得到泛函取极大值的必要条件是其一阶变分为零。
同样的方法可以证明,泛函取极小值的必要条件也是其一阶变分为零。
泛函实现局部极大或极小值的充要条件:泛函实现局部极大或极小值的充要条件与函数取极值的充要条件类似,除了其一阶变分为零外,还需要考察二阶变分的情况:1) 若泛函J [y (x )]在y (x )处取局部极大值,其充分必要条件为:[],0)(=x y J δ []<0)(2x y J δ (2.1.18) 2) 若泛函J [y (x )]在y (x )处取局部极小值,其充分必要条件为:[],0)(=x y J δ []>0)(2x y J δ (2.1.19) 通常,我们将求泛函极值的问题称为变分问题。
变分法的基本预备定理:如果函数F (x )在线段(x 1,x 2)上连续,且对于只满足某些一般条件的任意选取的函数)(x y δ,有:⎰=210)()(x x dx x y x F δ (2.1.20)则在线段(x 1,x 2)上有:0)(=x F (2.1.21) 这里)(x y δ满足的一般条件为: ① 一般或若干阶可微; ② 在(x 1,x 2)的端点外为0;③ ()y x δε<或()()y x y x δεδε'<<和等。
对于多变量问题,也有类似的变分定理。
二维:函数F (x ,y )在(x ,y )平面S 内连续,设),(y x u δ在S 的边界上为零,,,y u u u δεδεδε<<<且满足连续性以及一阶或若干阶的可微性,对于这样选取的(,)u x y δ,若有:(,)(,)0sF x y u x y dxdy δ=⎰(2.1.22)则在区域S 内有:0),(=y x F (2.1.23) 现在我们来研究最简单的泛函:[]()⎰'==21)(),(,)(x x dx x y x y x F x y J J (2.1.24)的极值问题。
其中F 为x ,y 和y '的函数,且),,(y y x F '是三阶可微的。
确定泛函极值的曲线)(x y y =的边界是固定不变的,且有:2211)(,)(y x y y x y == (2.1.25) 采用拉格朗日法来求其泛函变分,有:[]⎰'+'+=+21),,(x x dx y y y y x F y y J εδεδεδ (2.1.26)令:.,y y y y y y '+'='+=--εδεδ (利用复合函数求导法则)[]21(,,)(,,)x x J y y F x y y y y y F x y y y y y dx y y εδεδεδδεδεδδε--⎡⎤∂∂∂⎢⎥'''''+=+++++∂⎢⎥'∂∂⎣⎦⎰(2.1.27)令0→ε,则:[]dx y y F y y Fy y J J x x ⎰⎥⎦⎤⎢⎣⎡''∂∂+∂∂=+∂∂=→210δδεδεδε(2.1.28) 其中:),,(),,,(y y x F yy F y y x F y y F ''∂∂='∂∂'∂∂=∂∂(利用分部积分)⎰⎰⎰⎰⎰-=-=b ababababavdu uv vdu uv d udv .)(⎰⎰⎥⎦⎤⎢⎣⎡⎪⎪⎭⎫ ⎝⎛'∂∂-⎪⎪⎭⎫ ⎝⎛'∂∂=''∂∂2121x x x x dx y y F dx d y y F dx d dx y y Fδδδ ⎰⎪⎪⎭⎫⎝⎛'∂∂-=21x x ydx y F dx d δ (2.1.29)上式中利用到了固定边界条件0)()(21==x y x y δδ。