光滑函数

✍ dations ◷ 2025-07-11 22:30:48 #微分学,数学分析,光滑函数

光滑函数(smooth function)在数学中特指无穷可导的函数,也就是说,存在所有有限阶导数。若一函数是连续的,则称其为 C 0 {\displaystyle C^{0}} 函数;若函数存在导函数,且其导函数连续,则称为连续可导,记为 C 1 {\displaystyle C^{1}} 函数;若一函数 n {\displaystyle n} 阶可导,并且其 n {\displaystyle n} 阶导函数连续,则为 C n {\displaystyle C^{n}} 函数( n 1 {\displaystyle n\geq 1} )。而光滑函数是对所有 n {\displaystyle n} 都属于 C n {\displaystyle C^{n}} 函数,特称其为 C {\displaystyle C^{\infty }} 函数。

例如,指数函数显然是光滑的,因为指数函数的导数是指数函数本身。

构造在给定区间外为零但在区间内非零的光滑函数经常很有用。这是可以达到的;另一方面来讲,一个幂级数不可能有这样的属性。这表明光滑和解析函数之间存在着巨大的鸿沟;所以泰勒定理一般不可以应用到展开光滑函数。

要给出这样的函数的显式构造,我们从构造如下的函数开始

开始先对 x > 0 {\displaystyle x>0} 定义。我们不但有

而且对于所有多项式 P {\displaystyle P} ,有

因为负指数的指数增长起支配作用。这意味着对于 x < 0 {\displaystyle x<0} 设定 f ( x ) = 0 {\displaystyle f(x)=0} 将给出一个光滑函数。像 f ( x ) f ( 1 x ) {\displaystyle f(x)f(1-x)} 这样的组合可以以任何给定区间为支撑构成;在这个特例中,该区间是 {\displaystyle } 。这样的函数从 0 {\displaystyle 0} 开始有特别慢的‘启动’。

参看非解析无穷可微函数。

用复分析的术语考虑,如下的函数

对于 z {\displaystyle z} 取任何实数值是光滑的,但在 z = 0 {\displaystyle z=0} 有一个本质奇点。也就是,在 z = 0 {\displaystyle z=0} 附近的行为不好;但恰巧只看实参数时无法让我们发现这一点。

给定闭支撑的光滑函数用于构造光滑单位分解(参看拓扑学术语单位分解条目);这在光滑流形的研究中有基本的作用,例如在证明黎曼度量可以从他们的局部存在性全局的定义时。一个简单的情形是实直线上的一个突起函数,一个光滑函数 f {\displaystyle f} 在区间 {\displaystyle } 外为 0 {\displaystyle 0} ,并且使得

给定一些直线上的互相重叠的区间,可以在每个区间上构造突起函数,在半无限区间( , c ] {\displaystyle -\infty ,c]} [ d , + {\displaystyle [d,+\infty } )上也可以,以覆盖整条直线,使得函数的和总是 1 {\displaystyle 1}

根据前面所说,单位分解不适用于全纯函数;它们的对于存在性和解析连续的不同行为是层论的根源之一。作为对比,光滑函数的层趋向于不包含很多拓扑信息。

光滑流形之间的光滑映射可以用坐标图的方式来定义。因为函数的光滑性的概念和特定的坐标图的选取无关。这样的映射有一个一阶导数,定义在切向量上;它给出了在切丛的级别上的对应纤维间的线性映射。

在需要讨论所有无穷可微函数的集合时,以及该空间的元素在微分和积分、求和、取极限时的行为时,人们发现所有光滑函数的空间不是一个合适的选择,因为它在这些操作下不是完备和闭合的。对于这个情况的一个正确处理,我们可以采用索伯列夫空间(Sobolev space)的概念。

相关

  • 古生代古生代(Paleozoic,符号PZ)是地质时代中的一个代,开始于同位素年龄542±0.3百万年(Ma),结束于251±0.4Ma。古生代是显生宙的第一个代,上一个代是元古宙的新元古代,下一个代是中生代。
  • 埃及神话人物列表埃及古物学者现今大多支持弗林德斯·皮特里爵士的论点:埃及宗教是多神论的。然而,他同时期的对手华利斯·巴奇,所持观点则是认为埃及宗教起初是一神论,众神皆为神祇拉的延伸,类似
  • 大日本帝国陆军大日本帝国陆军(日语:大日本帝国陸軍/だいにっぽんていこくりくぐん  */?)是日本军的陆上武装部队,1871年(明治4年)成立、1945年(昭和20年)解散。略称为帝国陆军,一般常以日本陆军称
  • 全富岛全富岛,越方称之为�花岛(越南语:Đảo Ốc Hoa/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKS
  • 永琅镶黄旗满洲都统(乾隆五十一年~五十二年) 盟长(乾隆五十一年~?年) 镶蓝旗满洲都统(乾隆五十二年~五十九年) 正黄旗满洲都统(乾隆五十九年~?年)怡恭亲王永琅(1746年6月23日-1799年9月29日),满洲
  • 大卫·伍达德大卫·伍达德(英语:David Woodard,发音 而被人熟知,包括写作有关物种间因果报应、植物自我意识和巴拉圭的殖民地新日耳曼尼亚的文章。伍达德曾就读于加利福尼亚大学圣塔芭芭拉分
  • 崇绶崇绶(1785年-19世纪?),字鹏衔,号蓝坡,章佳氏,满洲正白旗人。嘉庆甲子恩科举人,十年乙丑恩科进士,选翰林院庶吉士,散馆后改任侍卫,官至理藩院刑部主事,兵部员外郎。父那彦宝,堂叔那彦成为乾
  • 橱子瓮橱子(冲绳语:ジーシガーミ)是琉球群岛丧葬时使用的一种金斗瓮(拾骨葬盛载遗骨的容器),分为橱子瓮、板橱子、石橱子等多种形式。日语及琉球语中“橱子”的意思是椟。同东南亚、中国
  • 黄河夺淮黄河夺淮指的是黄河在南宋建炎二年(1128年)至清咸丰五年(1855年)间以淮河的河道作出海口的历史。北宋之前,黄河与淮河大抵相安无事。虽自西汉以来,淮河多为黄河所侵,“多在泗(州)、凤
  • 1540年欧洲旱灾1540年欧洲旱灾(英语:1540 European drought)是欧洲的一次气候事件。当代学者使用各种古气候学分析方法,重建当时的温度和降雨模式,并与现代气候条件进行比较。根据历史纪录,威特