基于几类空间中微分概念的研究..docxVIP

基于几类空间中微分概念的研究摘要:本篇文章将映射的微分的一些相关概念分别在有限维空间和无限维空间，函数空间和泛函空间中进行了比较，并将偏微分，全微分，梯度等概念在无限维空间和泛函的距离空间中进行了一定的推广，在泛函空间中，按照形式，给出了方向导数、偏导数、全微分、梯度的定义；在有限维空间与无限维空间中，给出了两种空间下方向导数与全微分之间的关系。关键词：方向导数、全微分、Gateaux导数、Frechet微分、变分、线性泛函引言我们知道，同一种概念，在不同的两类空间中，往往是两种截然不同的形式。而对于空间的分类而言，通过从其结构的不同属性入手，可以将空间分为多种类别，例如，欧几里得空间、双曲空间、黎曼空间、各种函数空间、拓扑空间等等。这里我们就先从较为简单的属性—空间的维度入手，即从两类空间有限维和无限维空间入手，比较在这样两类空间中同一种概念的相关性质，并将有限维函数空间的与微分相关的某些概念推广到无限维空间中。而映射的连续性与映射的微分，作为分析学中两个最基本的概念，我们不妨先从映射的微分入手，来比较它们在有限维空间跟无限维空间的形式和结构。有限维空间的微分在数学分析中，我们知道了一元函数的导数概念，为了讨论多元函数的可微性与相关应用，我们引入了全微分的概念；进一步通过多元函数中偏导数的概念知道了函数在坐标轴方向上的变化率，然而为了知道其他特定方向上的变化率，在数分里介绍方向导数的概念，在这里我们先简单的介绍一下它们的定义。1.1全微分设函数在点的某领域上有定义，对于中的点，若函数在点处的全增量表示为其中A,B,C是仅与点有关的常数，，则称函数f在可微，并将关于的线性函数为函数f在处的全微分，记作。而偏导数作为多元函数在其中一个自变量的增量，定义如下：设函数，，若，且在的某一邻域内有定义，则当极限存在时，称这个极限为函数在点关于的偏导数，记作。从图像上来看，由偏导数的概念，我们知道了在坐标轴方向上函数的变化率，然而为了知道各个方向上的变化率，又进一步给出方向导数的定义。方向导数设设三元函数在点的某领域上有定义，为从点出发的射线，为上且含有内的任意一点，以表示与两点间的距离，若极限存在，则称此极限为函数在点沿方向的方向导数，记作或。通过定义显然可知，函数全微分与偏导数之间的关系如下：一个函数作为各个偏增量线性组合的全微分也可以记作偏导数的线性组合。因此要探究全微分与方向导数之间的关系，等价于探究偏导数跟方向导数之间的关系，故引入以下定理以及梯度的概念，从而方便探究函数全微分与方向导数之间的关系。定理1.1 若函数在点可微，则在点沿任一方向的方向导数都存在，且，其中为方向的方向余弦。同时，称向量为函数的梯度，记作。若记函数在处的增量为，记方向的单位向量，则函数可微时，函数的全微分和方向导数可以表示为下述内积的形式:()。因此，当函数在一点处可微时，函数在该点处的全微分和方向导数都可以表示成梯度与另一向量的内积的形式，并通过这种形式联系在了一起。下面将上述的概念推广至无穷维空间中，而在非线性泛函分析中，介绍了两种最常见的微分，分别是Gateaux意义下的弱微分以及Frechet意义下的强微分，它们分别是数学分析中方向导数和全微分在无穷维空间上的推广，故先介绍这两种概念。在这里先介绍一下这两种概念进行对比，将有限维空间中的方向导数推广到无限维空间中，那就是所谓的Gateaux 导数，其定义如下：称映射在处沿方向是Gateaux可微的，简称沿h方向是G—可微的或弱可微的，如果极限存在。此时，称为在处沿方向的G-微分或弱微分。若在处沿任何方向都是Gateaux可微的，则称在处Gateaux可微，简称G-可微或弱可微。但一般来说Gateaux导数关于h是齐次的，但一般情况不是线性的。以Gateaux导数的定义为基础，我们试着推广出无穷维空间中偏导数的概念:定理2.1设是单位坐标向量，设，此时Gateaux导数为在对的偏导数。证明：则，于是则根据数学分析中偏导数的定义，即.即证。接下来，我们给出Frechet微分的定义:定义2.2设如果关于h是线性有界的，则它可以表示为，，其中X、Y为实线性赋范空间，U为X的子集，表示从X到Y中的有界线性算子全体构成的线性赋范空间。Frechet微分称映射在处是Frechet可微的，简称F—可微的，或可微的，如果存在有界线性算子，使得当，时，有，其中，即。这时称A为在处的Frechet导算子，简称为F—导算子或F—导数。根据Frechet微分和Gateaux导数的概念，下面我们尝试着推出它们间存在着何种联系。定理2.3 假设在为Frechet可微，则在处必为Gateaux可导，且。证明：设存在，则有即有从而 (2.1)即证。当时，证明过程类似定理2.3。那么在此基础上讨论Frechet