经典噌噌

变分法基础（二） 泛函的变分法本质上是为了求得函数的极值点，与传统的函数极值点类似：在函数极值点附件的一阶偏导都为0；那么类推到泛函的极值点问题上，泛函在极值点附近的变分为0。从这个角度看，变分法是对传统微分的一种推广，从一般线性空间到函数空间。一般来说，我们使用变分法都是为了求得某个以函数为变量的泛函的极值（有点儿绕，我们看看形式化的表达）。 定义1： 给定赋范线性空间$\mathcal{D}$，$h\in\mathcal{D}$，令$\phi[h]$是$\mathcal{D}$上的一个泛函。那么当下列条件满足时，$\phi[h]$被称为连续线性泛函： $\phi[\alpha h]=\alpha \phi[h], \alpha \in \mathcal{R}$ $\phi[h_1+h_2]=\phi[h_1]+\phi[h_2]$ $\phi[h]$是连续的 当$\mathcal{D}$是向量空间时，上述定义不难理解；在变分法里，$\mathcal{D}$一般都取做函数空间，那么$h$是一个函数，而$\phi[h]$就是以函数为变量的泛函，这正是我们要求极值的目标函数，下面举个例子。 例1： $\mathcal{D} = \mathcal{C}(a,b)$（所有在a,b上连续的函数），令 $$\phi[h] = \int_a^b h(x)\mathrm{d}x$$ 当我们想要求$\phi[h]$的极值时（当然，该例子中不存在极值），我们就需要变分法了。再引入变分法前，我们先介绍一些积分的性质以便之后使用。 引理1： 如果$\alpha(x)$在$[a, b]$上连续，且对于所有的$h \in \mathcal{C}(a,b), h(a)=h(b)$， $$\int_a^b \alpha(x) h(x) \mathrm{d} x = 0$$ 都成立，那么$\alpha = 0$。 这个证明不难，反证法假设$\alpha$有非零点，那么根据$\alpha$连续的性质总能构造出一个$h$使得$\alpha(x) h(x) \mathrm{d} x$在零点附近的积分不为0；除此之外的部分设$h(x)=0$即可，那么总体的积分不为0，与假设矛盾。 引理2： 如果$\alpha(x)$在$[a, b]$上是...

变分法基础（一） 最近由于研究需要的关系，来看了看变分法。变分法的历史最早是从物理中的最速下降曲线来的，而后发展为一类独立的数学方法，可以说是历史悠久。 之前我也学习过一些泛函分析的东西，所以不是很吃力，这里做一些简单的基础的介绍。 赋范向量空间 先回忆我们熟知的向量空间，一个集合$\mathcal{D}$被称作一个线性空间，当它上面的运算加和乘法满足以下性质：（$x, y \in \mathcal{D}$，$\alpha, \beta \in \mathcal{R}$） $x + y = y +x$ $(x + y) + z = x + (y + z)$ 存在0元，使得$x + 0 = x, \forall x \in \mathcal{D}$ $\forall x, \exists -x$ such that $x + (-x) = 0$ $1 \cdot x = x$ $\alpha(\beta x) = \beta(\alpha x)$ $\alpha(x + y) = \alpha x + \alpha y$ 一个线性空间被称为赋范的，当其上赋有范数$\| \cdot \|$，满足： $\|x\| = 0$当且仅当$x =0$ $\|\alpha x\| = |\alpha| \|x\|$\|x + y\| \leq \|x\| + \|y\| 函数空间 我们可以给出一系列的函数组成的集合，使得它也满足上述性质，只是向量的加法变成了函数之间的加法，向量的数乘变成了函数的数乘。对于函数$f,g$数值$\alpha,\beta$上述这两个运算一般都是： $(f+g)(x) = f(x)+g(x), (\alpha\cdot f)(x) = \alpha f(x)$ 可以检验，性质1，2，5，6，7都是满足的；而性质3，4则要求我们的函数空间定义必须严谨。 同样，函数空间上也可以给出一些范数，这里举个例子：再$\mathcal{C}(a,b)$上（所有在[a, b]上连续的函数组成的函数空间），给出范数 $$\|f\| = \max_{a \leq x \leq b} |f(x)|$$ 可以验证上述三条性质该范数都是满足的。之后我们会使用$J[y]$这样的符号来表示一个泛函J。...

测试新博客的可用性 Latex: $1x<2y$ 换行公式：$E=mc^2$ 恭喜新博客成立~\(≧▽≦)/~