泛函、变分与欧拉-拉格朗日方程
1. 泛函
设
C
C
C是一个由函数组成的集合,对于
C
C
C中的任何一个元素
y
(
x
)
y(x)
y(x),数集
B
B
B中都有一个元素
F
F
F与之对应,称F是
y
(
x
)
y(x)
y(x)的泛函(functional),记作
F
=
F
[
y
(
x
)
]
F=F[y(x)]
F=F[y(x)]。
一般情况下,泛函式常用积分形式表示:
J
[
y
(
x
)
]
=
∫
x
0
x
1
F
(
x
,
y
,
y
′
)
d
x
J[y(x)]=\int_{x_0}^{x_1}F(x,y,y')dx
J[y(x)]=∫x0x1F(x,y,y′)dx
式中,被积函数
F
(
x
,
y
,
y
′
)
F(x,y,y')
F(x,y,y′)称为核。
由此可见,泛函是从函数组成的一个向量空间到标量域的映射。
函数、泛函、算子概念区别
- 函数:从数域到数域的映射;
- 泛函:从向量空间到数域的映射;
- 算子:从向量空间到向量空间的映射。
2. 变分
对泛函求极值的问题称为变分问题。使泛函取极值的函数称为变分问题的解,也称为极值函数。
3. 欧拉-拉格朗日方程
对连续函数求极值,可以通过费马引理,即通过求函数导数为零点求解。类似的,变分法可以通过欧拉-拉格朗日方程求得。
F
y
−
d
d
x
F
y
′
=
0
F_y - \frac{d}{dx}F_{y'} = 0
Fy−dxdFy′=0
欧拉-拉格朗日方程的意义在于如果泛函取得极值,该公式都成立。
4. 两点之间直线最短的证明
如上图所示,设
A
、
B
A、B
A、B两点之间的连接曲线为
y
=
y
(
x
)
y=y(x)
y=y(x),其曲线 长度为
S
S
S,那么有:
d
S
=
1
+
(
d
y
d
x
)
2
d
x
S
=
∫
x
0
x
1
(
1
+
1
+
(
d
y
d
x
)
2
)
d
x
令
y
′
=
d
y
d
x
S
=
∫
x
0
x
1
(
1
+
1
+
y
′
2
)
d
x
\begin{aligned} dS & = \sqrt{1+(\frac{dy}{dx})^2}dx \\ S &= \int_{x_0}^{x_1}\Big(1+\sqrt{1+(\frac{dy}{dx})^2}\Big)dx \\ 令\ y'&=\frac{dy}{dx}\\ S &= \int_{x_0}^{x_1}(1+\sqrt{1+y'^2})dx \end{aligned}
dSS令 y′S=1+(dxdy)2dx=∫x0x1(1+1+(dxdy)2)dx=dxdy=∫x0x1(1+1+y′2)dx
要求两点之间最短路径,即
S
S
S最小,那么就是一个变分问题了。
且其核为:
F
=
1
+
1
+
y
′
2
F = 1+\sqrt{1+y'^2}
F=1+1+y′2
由欧拉-拉格朗日方程可得:
∵
F
y
=
0
∴
d
d
x
F
y
′
=
0
F
y
′
=
1
2
(
1
+
y
′
2
)
−
1
2
(
2
y
′
)
=
y
′
(
1
+
y
′
2
)
−
1
2
d
d
x
F
y
′
=
y
′
′
(
1
+
y
′
2
)
−
1
2
+
y
′
(
−
1
2
)
(
1
+
y
′
2
)
−
3
2
(
2
y
′
)
y
′
′
=
y
′
′
(
1
+
y
′
2
)
−
3
2
=
0
y
′
′
=
0
y
′
=
C
y
=
C
1
x
+
C
2
\begin{aligned} \because &F_y = 0 \\ \therefore &\frac{d}{dx}F_{y'} =0 \\ F_{y'} &= \frac{1}{2} ( 1+y'^2) ^{-\frac{1}{2}}(2y') \\ &= y' ( 1+y'^2) ^{-\frac{1}{2}} \\ \frac{d}{dx}F_{y'} &= y'' ( 1+y'^2) ^{-\frac{1}{2}} + y'( -\frac{1}{2} )( 1+y'^2) ^{-\frac{3}{2}} (2y')y{''} \\ &= y{''}( 1+y'^2) ^{-\frac{3}{2}} = 0 \\ y{''} &= 0 \\ y' &= C \\ y & = C_1x + C_2 \end{aligned}
∵∴Fy′dxdFy′y′′y′yFy=0dxdFy′=0=21(1+y′2)−21(2y′)=y′(1+y′2)−21=y′′(1+y′2)−21+y′(−21)(1+y′2)−23(2y′)y′′=y′′(1+y′2)−23=0=0=C=C1x+C2
即曲线
S
S
S为直线。借助两点坐标,
C
1
,
C
2
C_1,C_2
C1,C2也可求了。