泛函与变分
泛函 变分
泛函变分泛函和变分是数学中重要的概念和工具，在各个领域都有广泛的应用。
本文将从基本概念入手，介绍泛函和变分的定义、性质以及应用。
一、泛函的概念和定义泛函是一类将函数映射到实数的映射。
具体而言，对于给定的函数空间，泛函可以将其中的每个函数映射到一个实数。
泛函常常用来描述函数的某种性质或者衡量函数的某种特征。
二、变分的概念和定义变分是泛函的一种特殊情况，它是一类将函数的微小变动映射到实数的映射。
变分可以用来求解极值问题，即找到使得泛函取得极大或极小值的函数。
三、泛函与变分的关系泛函和变分密切相关，它们在数学中经常一起出现。
泛函描述了函数的整体性质，而变分则是对函数的微小变动进行分析和求解。
通过变分的方法，可以求解泛函的极值问题，进而得到满足特定条件的函数。
四、泛函的性质和应用泛函具有一些重要的性质，如可加性、线性性等。
这些性质使得泛函能够在各个领域中得到广泛的应用。
在数学分析中，泛函可以用来描述函数的连续性、可导性等性质。
例如，利用泛函可以定义函数的Lipschitz连续性，这对于研究函数的性质和解的存在性有重要意义。
在变分法中，泛函和变分被广泛应用于物理学和工程学中的优化问题。
例如，通过变分的方法可以求解力学中的最小作用量原理，从而得到物体的运动方程。
在工程学中，泛函和变分可以用来求解最优控制问题，从而实现系统的优化和性能改善。
泛函和变分还在偏微分方程中发挥重要作用。
通过泛函和变分的理论，可以得到偏微分方程的解的存在性、唯一性以及一些性质。
例如，通过变分的方法可以得到椭圆型偏微分方程的变分形式，从而研究其解的性质和存在性。
五、总结泛函和变分是数学中重要的概念和工具。
泛函是一类将函数映射到实数的映射，而变分是对函数的微小变动进行分析和求解。
泛函和变分在数学分析、物理学、工程学以及偏微分方程等领域中都有广泛的应用。
通过泛函和变分的理论和方法，可以求解极值问题、优化问题以及研究函数和方程的性质。
这些都使得泛函和变分成为数学中重要的研究方向。
数学中的泛函方程与变分法
数学中的泛函方程与变分法泛函方程与变分法是数学中重要的概念和方法，广泛应用于物理学、工程学等领域。
本文将介绍泛函方程的定义和变分法的基本原理，并通过实例来说明其在数学中的应用。
一、泛函方程的定义泛函方程是指以函数为未知量的方程。
与常见的代数方程不同，泛函方程涉及到函数的变化与整体性质，需要运用变分法来求解。
以泛函方程的典型形式为例，设函数空间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, λ]，可以将边界值问题转化为极值问题。
数学的泛函分析与变分法
数学的泛函分析与变分法泛函分析是数学中的一门重要学科，它研究的是函数的变换与性质。
而变分法是泛函分析的一个重要应用领域，用于求解函数的极值。
本文将介绍泛函分析的基本概念和变分法的原理，并探讨它们在实际问题中的应用。
一、泛函分析的基本概念1. 范数与内积在泛函分析中，范数和内积是两个基本的概念。
范数是定义在向量空间上的一种函数，它满足非负性、零向量的范数为零、标量与向量乘积的齐次性和三角不等式。
而内积是一种满足对称性、线性性和正定性的二元运算。
范数和内积可以衡量向量空间中的距离和角度。
2. 巴拿赫空间巴拿赫空间是一种具有完备性的向量空间，即其中的柯西序列必有极限。
在巴拿赫空间中，可以定义连续性、收敛性和收缩原理等重要概念。
巴拿赫空间在泛函分析中有广泛的应用，如函数空间和算子空间等。
3. 算子理论算子是泛函分析中的一个重要概念，它是从一个向量空间映射到另一个向量空间的操作。
算子可以分为线性算子和非线性算子，并且可以进行加法、乘法和复合等运算。
算子理论在泛函分析中具有重要的地位，可以用来描述函数的性质和变换。
二、变分法的原理1. 极值问题变分法主要用于求解函数的极值问题。
极值问题是指在给定约束条件下，找到使目标函数取得最大值或最小值的函数。
变分法通过引入变分函数，将极值问题转化为求解变分函数的欧拉方程，再通过边界条件确定最优解。
2. 欧拉-拉格朗日方程欧拉-拉格朗日方程是变分法中的关键方程，它描述了变分函数满足的条件。
根据欧拉-拉格朗日方程，可以将变分问题转化为求解常微分方程或偏微分方程的问题。
欧拉-拉格朗日方程在物理学、力学和优化等领域都有广泛的应用。
3. 约束条件在应用变分法求解极值问题时，通常需要考虑约束条件。
约束条件可以是等式约束或者不等式约束，通过引入拉格朗日乘子法或者松弛变分法进行处理。
约束条件的引入可以对极值问题进行限制，得到更加准确的结果。
三、泛函分析与变分法的应用1. 物理学中的应用泛函分析和变分法在物理学中有广泛的应用。
偏微分方程中的泛函与变分法
偏微分方程中的泛函与变分法在偏微分方程中，泛函与变分法是一种常用的数学工具和方法。
泛函是一个将函数映射到实数的函数，而变分法则是一种求解泛函的方法。
本文将介绍泛函和变分法在偏微分方程中的应用以及其原理和技巧。
通过对泛函的定义和变分法的基本理论的阐述，希望读者能够理解泛函和变分法在偏微分方程中的重要性和应用。
一、泛函的定义与性质在偏微分方程中，我们常常需要研究一个函数的变化对一个泛函的影响。
因此，我们首先要定义什么是泛函。
泛函是一个将一类函数映射到实数的函数。
假设我们有一个函数空间V，其中的函数可以满足某种条件，例如连续性、可微性等。
那么对于一个泛函J，它的定义可以写作J[y]=\int_a^b F(x,y(x),y'(x))dx，其中y(x)是函数y的表达式，F是关于x、y、y'的函数。
对于泛函，我们还常常需要研究它的性质。
例如，我们可以研究泛函的可微性、连续性、有界性等。
这些性质对于进一步分析泛函的性质和求解偏微分方程都非常重要。
二、变分法的基本原理变分法是一种以泛函为基础的求解方法。
对于一个给定的泛函J[y]，我们希望找到一个函数y(x)，使得J[y]取得极值。
为了求解极值问题，我们使用变分法。
变分法的基本思想是在一个函数空间中寻找一个函数y(x)，使得J[y]取得极值。
为了寻找这个函数，我们引入一个变分函数ε(t)，并对y(x)进行微小的变动，即y(x)+ε(t)。
然后利用一些数学运算，如极限、导数等，将泛函转化为一个可以求解的问题。
对于变分法的应用，我们常常需要使用变分法的基本原理。
例如，我们可以利用分部积分的方法，将泛函J[y]进行变形。
通过适当选择变分函数ε(t)，我们可以得到求解极值问题的一些等式和条件。
通过这些等式和条件，我们就可以利用数学技巧求解问题。
三、泛函与偏微分方程在偏微分方程的研究中，泛函和变分法是非常重要的工具和方法。
它们可以用于研究偏微分方程的解的存在性、唯一性以及特定解的性质等问题。
微积分中的泛函分析与变分法
微积分是数学中的一门重要学科，研究连续变化的对象和变化率。
在微积分的研究中，泛函分析和变分法被广泛应用于求解特殊函数的极值问题。
泛函分析是函数解析的延伸，它的基本思想是将函数看作一个整体，而不是一点一点地看待。
在泛函分析中，一个函数被看作是一个映射，它将定义域上的元素映射到值域上的元素。
泛函的定义域是一个函数空间，而值域是一个数域。
泛函分析研究了函数空间中的性质和结构，以及函数的连续性、可微性、积分性等。
变分法是泛函分析的重要应用之一，它是求解变分问题的一种方法。
变分问题是在给定边界条件下，求解泛函的极值问题。
它的基本思想是假设一个函数类，使得在这个函数类中，求解泛函的极值问题等价于解欧拉-拉格朗日方程。
变分法在物理学、工程学和经济学等领域有着广泛的应用。
在微积分中，泛函分析和变分法常常被用来研究特殊函数的极值问题。
对于一般的实函数，我们可以将其看作是一个实数的函数，通过微积分的方法求解其极值问题。
但对于泛函，由于其定义域是一个函数空间，常规的微积分方法无法直接应用。
在这种情况下，泛函分析和变分法的引入就非常有必要了。
以最简单的例子来说明，假设我们有一个泛函J，它的定义域是所有满足一定边界条件的函数空间。
我们的目标是寻找一个函数f(x)使得J取得最小值。
通过变分法，我们可以假设一个函数类，比如所有满足一定条件的连续可微函数集合。
然后，我们可以通过变分法的求极值定理，求解这个最小值问题。
在泛函分析和变分法的应用中，有两个重要的概念需要引入，分别是变分和泛函导数。
变分是对于一个函数的微小改变，而泛函导数是对于泛函在某个函数处的斜率。
通过变分和泛函导数的概念，我们可以将极值问题转化为求解一类泛函方程。
总之，微积分中的泛函分析和变分法是一门重要的分支学科，它们为求解特殊函数的极值问题提供了一种有效的方法。
通过引入泛函分析和变分法的概念，我们可以将函数的整体性质考虑在内，求解一般微积分方法无法解决的问题。
变分法和泛函分析的研究
变分法和泛函分析的研究变分法和泛函分析是数学中的两个重要分支。
变分法是研究函数极值问题的数学方法，泛函分析则是研究无限维函数空间及其性质的数学方法。
本篇文章将简单讨论这两个领域的研究方向和应用。
一、变分法变分法是研究函数极值问题的数学方法，主要应用于微积分，控制论，力学，量子力学等领域。
它的主要思想是将函数极值问题转化为求函数满足一定条件下使得某一个积分或泛函取得最小值。
在变分法中，关键是如何寻找函数使得积分或泛函取得最小值。
常见的变分法问题有：1. 线性泊松方程问题。
研究在区域Ω内满足边界条件和齐次边界条件的调和函数u(x,y)的最大值和最小值。
2. 自然边界问题。
研究在区域Ω内满足边界条件和齐次边界条件的函数u(x,y)的最大值和最小值。
3. 牛顿优化问题。
研究带有约束条件的非线性优化问题。
4. 最小化曲线问题。
研究如何使得曲率最小的曲线，或满足特定要求的曲线。
在变分法中，最重要的数学工具是变分和变分运算。
a. 变分对于一个函数f，定义其变分为δf。
变分的数学表达式为：δf= lim(ε→0) (f(x+ε)-f(x))/ε，其中ε为一个很小的正数，x为函数的自变量。
b. 变分运算变分运算就是利用变分对函数进行改变，以求出最小值或最大值。
变分运算有以下几种形式：1. 线性变分对于一个函数f(x)，它的线性变分为：δf= ∫ δf(x)φ(x)dx其中φ为一个定义在R上的函数。
2. 泛函的导数对于一个泛函F(f)，它的导数为：dF(f)/dt= lim(ε→0) [F(f+εh)-F(f)]/ε其中h为定义在R上的函数。
3. 求极值将要求的极值代入泛函的导数中，得到求极值的条件。
dF(f)/dt=0以上就是变分法的基本理论和方法。
二、泛函分析泛函分析是研究无限维函数空间及其性质的数学方法。
它的研究对象是无限维的函数空间和在此空间上的函数，例如Sobolev空间，L2空间等。
泛函分析发展起来的原因是线性代数和实变函数分析的方法无法处理无限维空间中的问题。
有限元基础(泛函、变分与变分法)
在伽辽金提法中，对应于此类边界条件的任意函 数 w 按以下对应关系取：
在此情况下，对原问题的 Galerkin 提法进行 m 次分部积分后，将得到如下形式的变分原理：
（u）＝ 0
其中
例1：二维热传导问题
问题的伽辽金提法在事先满足强制边界条件的情 况下为
（1.3.27）
分部积分得
1.3.3 里兹（Ritz）方法
由于 y 与 y, y, , y(n) 无关，所以
另外在微分学中， 自变量的微分 dx = x，所以 dkx = 0，（k2） 同理有：
k y(m) = 0，（k 2，m = 0，1，，n）
4. 泛函的变分
定义泛函
（7）
则泛函 J 的各阶变分：
（8）
显然，变分和定积分的顺序是可交换的
由变分 y 引起的泛函 J 的增量为：
内积也表示为
(1.3.18)
伴随算子
算子L(u)与任意函数v的内积如果可以表示为
则称算子L*为算子L的伴随算子 其中 b.t.(u,v) 为分部积分得到的边界项 若L*=L则称算子是自伴随的
例 证明算子L( ) =
构造内积，并行分部积分
是自伴随的
2. 泛函的构造
设原问题的微分方程和边界条件为 (1.3.20)
5. 变分法
= 0
充分条件：J = 0 且：2J >0 极小值 2J < 0 极大值
变分法基本预备定理：
设 (x) 是闭区间 a ≤x≤b 上的连续函数，y 是该区间上自变函数 y(x) 的变分，如果 y 在满足 约束条件的前提下任意变化时，下式始终成立
B(a, b)
目标：寻找能使T取极小值的滑轨形状 y (x) 其中 y (x) 必须经过A、B两点。
数学分析中的泛函与变分法
数学分析是数学的一门基础学科，其核心是研究函数与数列的性质、极限和连续，以及这些概念之间的相互关系。
在数学分析中，泛函与变分法是重要的研究工具。
泛函理论研究的是函数的函数，即将函数映射到实数或复数的映射。
而变分法则用来求取泛函的最值问题。
泛函理论的研究对象是函数的集合，泛函可以看作是这个函数集合上的运算，它将每个函数映射到一个实数或复数。
通常用J[y]表示泛函，其中y是一类函数，称为变量函数。
泛函的定义域是包含该函数的特定集合。
在泛函中，存在函数的极小值或最大值，变分法的目标就是求取这个最值。
变分法是一种专门用来求泛函的最值问题的数学方法。
它通过对变量函数进行微小的变分，即将变量函数加上一个微小的扰动，然后计算泛函在扰动后的变量函数上的变化。
通过对变分的计算，我们可以得到泛函的极值方程，从而求得泛函的最小值或最大值。
在变分法的推导中，我们需要用到欧拉-拉格朗日方程，它给出了泛函的极值方程。
根据欧拉-拉格朗日方程，泛函的极值满足以下条件：对于任意的变分函数y(x)，当泛函在y(x)处取得极值时，它满足以下方程：[ \frac{\partialF}{\partial y}-\frac{d}{dx}\left(\frac{\partial F}{\partialy'}\right)=0 ]其中F是泛函，y'是y关于x的导数。
变分法在数学和物理学中都有广泛的应用。
在数学中，变分法常用于求解极值问题，比如最短路径、最低能量等。
在物理学中，变分法常用于求解泛函积分方程，如哈密顿原理和变分原理。
变分法在经典力学、量子力学、电动力学等领域都有重要的应用。
最后，要注意的是，泛函与变分法是数学分析中的重要工具，但它们本身也是一个独立的数学分支。
泛函分析研究的是泛函的性质、连续性和收敛性等问题；变分法研究的是如何求解泛函的最值问题。
它们不仅具有理论研究的价值，而且在科学研究和工程应用中都有广泛的应用。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第1章 泛函和变分1.1引言以前我们在微积分中遇到的都是类似下面的函数极值问题: 一个足够光滑的连续函数12(,,...,)n y f x x x =，其在区域n R Ω⊂内任何一点12(,,...,)T n x x x =x 都可以作以下的Taylor 展开21212()()()()(||||)(),,...,T T T Tn f f f f o f f f f x x x +∆=+∆+∆∆+∆⎛⎫∂∂∂= ⎪∂∂∂⎝⎭x x x x x x D x x x x ∇∇ (函数在某一点有极值的必要条件是但是，我们这们课程中要讨论的则是另一类极值问题—泛函的极值问题(泛函简单地讲， 就是函数的函数，详细见后面)。
例1.1 一个简单的变分问题: 最短线问题图1.1最短线问题假设经过,A B 两点距离最短的曲线方程为*()y y x =(另有一任意的连续可导函数()x ηη=，()x η满足两端固定的边界条件01()()0x x ηη== (显然()()y y x x αη=+依旧是过固定两点,A B 的连续曲线，其对应的长度为1()x x L x α=⎰(当0α=,()y y x =时()L α取到极小值，也就是说0d ()|0d L ααα== ( 把(, 展开后有()()1011100011000033d ()||d |d ''''''d d 0x x x x x x x x x x x x L y x y y y x x y y y y y x xααααηηη==='⎛⎫==-⎛⎫ ⎪=-=-⎪⎪⎭=⎰⎰⎰⎰⎰ (由于( 对于任意的()x ηη=都成立，根据变分引理(见, 我们可以得到()3''0y = (意味着12y C x C =+ (因此, 在平面上过固定两点距离最近的光滑曲线是直线。
下面我们来看几类比较典型的变分问题。
例1.2 最速降线问题图1.2最速降线问题我们在该铅直平面上取一直角坐标系，以A 为坐标原点，水平为x 轴，向下为y 轴。
曲线的方程为()y y x =， A 点坐标00(,)(0,0)x y =, B 点坐标11(,)x y 。
曲线上任意一点P 时的速度为d d sv t==( d d s t x v ==== (因此，重物沿该曲线从A 点滑到B 点所需要的总时间为[]d x x T y t x ==⎰⎰([]T y 我们也称之为泛函。
该曲线参数形式为1122(sin ),(1cos )x C y C θθθ=-=-( 短程线问题短程线问题可以描述为：给定一个光滑曲面(,,)0x y z φ=，在该曲面上有两个固定A 和B ，要求在曲面上找到一根连接该两点的最短曲线。
记A 和B 的坐标分别为111(,,)x y z 和222(,,)x y z ，连接该两点的曲线方程为 (),()y y x z z x ==(它们满足(,,)0x y z φ=(那么该曲线的长度为21[,]x x L y z x =⎰(因此，短程线问题所对应的变分问题为：在连接A 111(,,)x y z 和B 222(,,)x y z 而且满足(,,)0x y z φ=的光滑曲线()y y x =，()z z x =中，找到其中的一条，使得([,]L y z和前面速降线问题中不同的是，这里的自变函数()y y x =，()z z x =不是自由的，它们受到约束条件(,,)0x y z φ=的限制，因此短程线问题对所应的是个泛函的条件极值问题，其约束条件是代数关系。
例1.4 等周问题用参数表示的平面曲线方程为(),()x x s y y s ==(参数s 可以理解为曲线从起点的长度。
如果曲线的长度为l ,那么[0,]s l ∈。
由于曲线是封闭，所以有边界条件(0)(),(0)()x x l y y l ==(而该曲线的长度为l s =⎰(该曲线所围成的面积为(根据Green 公式)1212[,]d d (d d )('')d A x y x y x y y x xy yx s==-=-⎰⎰⎰⎰ÑÑ (因此, 等周问题所对应的变分问题可以描述为: 在所有满足(0)(),(0)()x x l y y l ==以及约束条件0ll s =⎰的曲线中, 找到其中一根使得([,]A x y ，等周变分问题是泛函的条件极值问题，其约束条件是个积分等式。
例1.5 最优控制问题 状态方程为0()[(),(),],[,]f t t t t t t t =∈x f x u &(其中n R ∈x 为状态向量, 0()t x 为初始状态, ()f t x 为终止状态, mR ∈u 为输入向量。
要求寻找合适的()(,)t t =u g x ，使得[(),(),]d min ft t J L t t t t =→⎰x u(其中J 是一个性能泛函。
和上面几个问题不同的，这是一个带微分约束(1.2 泛函定义1.1 记{()}C y x =是给定的函数集合，如果对于该集合中的任何一个函数)(x y ，都有一个数(在本讲义中全部为实数)与之相对应，我们记为)]([x y J 或者][y J 。
这样我们说][y J 是定义在函数集合)}({x y 上的一个泛函。
简单地讲，泛函就是以函数集合为定义域的实值映射。
泛函的定义域是指泛函定义中的函数集合。
如例1.2中最速降线中的泛函([]d x T y t x ==⎰⎰，其定义域为此外，在等周问题中泛函( 中的定义域为象短程线问题中的( 、等周问题中的( 、最优控制问题中的(，一般不被视为泛函定义域中对函数的限制，而被认为是一种外加的约束，这样的约束称为条件。
以上定义还可以推广到依赖于多元函数或多个函数的泛函。
举两个例子。
{(,)(,)}C z x y x y =∈Ω是定义在区域Ω上连续函数的集合，那么下式就定义了一个泛函如果1{(),(),[,]}C y x z x y z C a b =∈是定义在区间[[,]a b 上的一阶连续可微函数对的集合，那么下式就定义了一个泛函当然0[()]()J y x y x =也可视为一种泛函；不过，以后提到的泛函主要是指具有上述积分形式的泛函。
线性泛函对于泛函][•J ， 如果对于泛函定义域中任意两个函数f 和g 以及任意两个实数a 和b ，始终成立那么称泛函][•J 为定义域上的线性泛函。
1.3 自变函数的变分定义1.2 在同一泛函定义域上的两个函数)(x y 、)(x m ，若彼此任意接近，那么)(x m 与)(x y 之差()()()y x m x y x δ=-称为函数)(x y 的变分。
显然函数变分y δ也是关于x 的函数，它和函数的增量y ∆是有差别的。
变分y δ反应了整个函数的变化，而函数增量y ∆反应的是同一个函数由于自变量的取值不同所引起的变化。
图2.1变分y δ和函数的增量y ∆自变函数变分的一个重要性质下面我们来讨论函数变分的一个重要性质：求变分和求导数可以交换次序'''''()[()()]()()()y m x y x m x y x y δδ=-=-= (如果自变函数),(y x w 是个多元函数，那么求偏导数和求变分也可以交换次序, 就是说()()x w w xδδ∂=∂ ( w w δδ∆=∆)(, 222222x y z∂∂∂∆=++∂∂∂ (()δφδφ=∇∇, x y z∂∂∂=++∂∂∂ij k ∇ ( 1.4 泛函的变分对于一个足够光滑的函数，如果我们在某一点x 附近作泰勒展开， 那么其增量的线性部分 称为函数的一阶微分，而称为函数的两阶微分。
其中d f 是x ∆的线性函数，而2d f 是x ∆的两次函数。
对于任意一个泛函][y J , 函数变分所引起的泛函增加量为 如果可以展开为212![,][,](||||)J L y y Q y y o y δδδ∆=++ (其中],[y y L δ是关于y δ的线性泛函，也就是说R C C ∈∀21,],[],[],[22112211y y L C y y L C y C y C y L δδδδ+=+ (而],[y y Q δ为y δ的两次泛函。
那么，可以定义定义1.3 泛函的一阶变分为],[y y L J δδ= (而泛函的两阶变分为],[2y y Q J δδ= (我们看下面一个比较简单的泛函如果给函数)(x y 一个变分y δ，也就是说新的函数为)()()(x y x y x y δ+=， 那么对应于新函数的泛函为 显然，泛函的变化量为假如)',,(y y x F 是充分光滑的， 那么根据多元函数Tayler 展开公式，上式可以表示成其中'''''22''2[]d [()2()]d by y abyy yy y y aJ F y F y xJ F y F y y F y xδδδδδδδδ=+=++⎰⎰ (分别是关于变分y δ及其导数'y δ的一次齐式和两次齐式。
我们把J δ和J 2δ分别称为泛函][y J 的一阶变分和两阶变分。
在不引起混淆时，我们就把一阶变分称为泛函的变分。
泛函变分的另一种求法对于任意给定的一个齐次函数)(x η(当然该函数有一些其他诸如可微或者其他一些限制条件，具体视泛函的定义域而定)，也就是说它在边界上的值为零，那么对于任意小的一个实数ε)1(<<ε，显然)()()(x x y x y εη+=也在泛函的定义域内。
那么如果更进一步，令)(x εη就是函数的变分y δ，那么从泛函变分的定义中就可以知道，上式的第一部分就是泛函的一阶变分J δ，而第一部分就是泛函的两阶变分J 2δ。
也就是说22212!2d []|d d []|d J y J J y J εεεηδεεεηδεε==+=+= （ 1.5 泛函变分的性质(1) 2121)(F F F F δδδ+=+(2)212121)(F F F F F F δδδ+=(3) F nF F n nδδ1)(-=(4) 22212121)(F F F F F F F δδδ-= (5) )()()(n n F F δδ=(6) (,,')d (,,')d bb aaF x y y x F x y y x δδ=⎰⎰这表明，求泛函变分可以用类似求复合函数求微分的方式进行。
下面我们来看两个例子： 例1.6 已知泛函 求J δ。
解∶这里被积函数内还包含着自变函数变分的偏导数，需要进一步简化，我们在后面会详细进行讨论。