前言
之前看 PRML 时碰到了 变分相关的问题,所以找了一本书特地来学习一下
1 第一章 变分法基础
1.1 泛函 与 一些简单的变分问题
该节引出泛函的定义 ,介绍一个基本的泛函问题 并且 沿用经典的微积分有限元分析,对泛函做出类似的分析
变化量(variable quantities)被称为 泛函
,指的是 自变量本身是一个函数的函数
例如 J [ y ] = ∫ a b y ′ 2 ( x ) d x J[y]=\int_a^b y^{\prime 2}(x) d x J[y]=∫aby′2(x)dx 定义了一个泛函
一个更加一般的情形是
J [ y ] = ∫ a b F [ x , y ( x ) , y ′ ( x ) ] d x J[y]=\int_a^b F\left[x, y(x), y^{\prime}(x)\right] d x J[y]=∫abF[x,y(x),y′(x)]dx
涉及泛函概念的问题的特定实例在三百多年前就被考虑过了,事实上,这一领域的第一个重要结果要归功于欧拉(1707 - 1783)。然而,迄今为止,"函数微积分 "仍不具备可与经典分析方法(即普通的 “函数微积分”)相媲美的通用方法。
要理解变分问题和方法的基本含义 要理解变分微积分的问题和方法的基本含义,很重要的一点是要了解它们与经典微分析的关系,即与 n个变量函数的关系。 因此,考虑一个形式为
J [ y ] = ∫ a b F ( x , y , y ′ ) d x , y ( a ) = A , y ( b ) = B J[y]=\int_a^b F\left(x, y, y^{\prime}\right) d x, \quad y(a)=A, \quad y(b)=B J[y]=∫abF(x,y,y′)dx,y(a)=A,y(b)=B
的泛函。
沿用经典微积分理论,我们可以切分 [ a , b ] [a,b] [a,b] 区间 进行求和
a = x 0 , x 1 , … , x n , x n + 1 = b , a=x_0, \quad x_1, \ldots, \quad x_n, \quad x_{n+1}=b, a=x0,x1,…,xn,xn+1=b,
J ( y 1 , … , y n ) = ∑ i = 1 n + 1 F ( x i , y i , y i − y i − 1 h ) h J\left(y_1, \ldots, y_n\right)=\sum_{i=1}^{n+1} F\left(x_i, y_i, \frac{y_i-y_{i-1}}{h}\right) h J(y1,…,yn)=i=1∑n+1F(xi,yi,hyi−yi−1)h
where
y i = y ( x i ) , h = x i − x i − 1 . y_i=y\left(x_i\right), \quad h=x_i-x_{i-1} . yi=y(xi),h=xi−xi−1