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

《基于几类空间中微分概念的研究》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、基于几类空间中微分概念的研究摘要：木篇文章将映射的微分的一些相关概念分别在有限维空间和无限维空间，函数空间和泛函空间中进行了比较，并将偏微分，全微分，梯度等概念在无限维空间和泛函的距离空间中进行了一定的推广，在泛函空间中，按照形式，给出了方向导数、偏导数、全微分、梯度的定义；在冇限维空间与无限维空间屮，给出了两种空间下方向导数与全微分之间的关系。关键词：方向导数、全微分、Gateaux导数、Frechet微分、变分、线性泛函我们知道，同一种概念，在不同的两类空间中，往往是两种截然不同的形式。而对于空间的分类而

2、言，通过从其结构的不同属性入手，可以将空间分为多种类别，例如，欧几里得空间、双曲空间、黎曼空间、各种函数空间、拓扑空间等等。这里我们就先从较为简单的屈性一空间的维度入手，即从两类空间有限维和无限维空间入手，比较在这样两类空间中同一种概念的相关性质，并将冇限维函数空间的与微分相关的某些概念推广到无限维空间中。而映射的连续性与映射的微分，作为分析学屮两个最基木的概念，我们不妨先从映射的微分入手，來比较它们在有限维空间跟无限维空间的形式和结构。有限维空间的微分在数学分析中，我们知道了一元函数的导数概念，为了讨论多元

3、函数的可微性与相关应用，我们引入了全微分的概念；进一•步通过多元函数屮偏导数的概念知道了函数在处标轴方向上的变化率，然而为了知道其他特定方向上的变化率，在数分里介绍方向导数的概念，在这里我们先简单的介绍一卜•它们的定义。1.1全微分设函数g=盜）心（切"”帀）dD处的全增量抵（其中A,B,c是仅与点Po有关的常数，，则称函数f在可微，并将关于昨的线性函数为函数f在心处的全微分，记作@dz

4、匸二=杆偽讥；：=』駅+Blv♦Clz而偏导数作为多元函数在其屮一个自变量的增量，定义如下：设函数g=ffx.y,z）,,

5、若，且fUyo.^o）在咖的菜一邻域内有定义，则当极限存在时，称这个极限为函数f在点（xqJSEq）关于巾的偏导数，记作帀）。从图像上來看，rtl偏导数的概念，我们知道了在坐标轴方向上函数的变化率，然而为了知道各个方向上的变化率，又进一步给岀方向导数的定义。方向导数设设三元函数f在点弘（•巾"（P巾）的某领域u（f）上有定义，2为从点珀出发的射线，Pgy.z）加上且含冇U&Q［内的任意一点，以少表示I与珀两点间的距离，若极限存在，贝U称此极限为函数f在点％沿方向】的方向导数，记作•页卩”丑或£（珀）。通过定义

6、显然可知，函数全微分与偏导数Z间的关系如下：一个函数作为各个偏增量线性组合的全微分也可以记作偏导数的线性组合。因此要探究全微分与方向导数之间的关系，等价于探究偏导数跟方向导数之间的关系，故引入以下定理以及梯度的概念，从而方便探究函数全微分与方向导数Z间的关系。定理1.1若函数fD?0沿任一方向】=人（％）2恥+&（・％）C哪+£0。）阳*英中他&2親W5F为方向f的方向余弦。同时，称向量附二您鴻（恥応矶。为函数f的梯度，记作gJ'W=姑二（耐Xfy总），&扯））。若记函数在帀）处的增量为他，记z方向的单位向虽

7、b=（g為边鈴2$F），则函数可微吋，函数的全微分和方向导数可以表示为下述内积的形式：因此，当函数在一点处可微时，函数在该点处的全微分和方向导数都可以表示成梯度与另一向屋的内积的形式，并通过这种形式联系在了一起。下面将上述的概念推广至无穷维空间中，而在非线性泛函分析中，介绍了两种最常见的微分,分别是Gateaux意义下的弱微分以及Frechet意义下的强微分，它们分别是数学分析中方向导数和全微分在无穷维空间上的推广，故先介绍这两种概念。在这里先介绍一下这两种概念进行对比，将有限维空间中的方向导数推广到无限维空

8、间中，那就是所谓的Gateaux导数,其定义如下：切II称映射在处沿hIX方向是Gateaux可微的，简称沿h方向是G—可微的或弱可微的，如果极限存在。此吋，称Df(x0:h)为f在切处沿I方向的G■微分或弱微分。若f在切处沿任何方向都是GateauxnJ微的，贝ij称f在吨处Gateaux4®,简称G"J•微或弱町微。但一般来说Gateaux导数Df(x0;h)关于h是齐次的，但一般情况不是线性的。以Gateaux导数的定义为基础，我们试着推广出无穷维空间中偏导数的概念：定理2.1设是单位处标向量，设，此时

9、Gateaux导数审⑷(叨为f在;V对心的偏导数。证明:则兀=也・“条』=+・・・+和n,x+let=^161+・・・+(a£++洱％务于是则根据数学分析中偏导数的定义，即Df矗)=雰即证。接下來，我们给出Frechet微分的定义：定义2.2设如果DfUo；h)关于h是线性有界的，则它可以表示为Df：；%0;h)=Df(v0)h口口具屮X、Y为实线性赋范空间，U为X的子集，L(X,n表示从X到Y屮的