刘维尔定理揭示了具有初等原函数的初等函数的本质特征。其最早由约瑟夫·刘维尔于十九世纪三四十年代提出,经后人推广到一般的微分域上,并被进一步推广运用在常微分方程组初等首次积分的研究上。 初等函数的原函数并不总是初等函数,例如 e − x 2 {\displaystyle e^{-x^{2}}}...
9 KB (2,028 words) - 03:10, 7 July 2023
刘维尔定理,可能指 复分析中的刘维尔定理; 哈密顿力学中的刘维尔定理; 数论中,任何刘维尔数都是超越数,或丢番图逼近中的引理; 微分代数中的刘维尔定理...
361 bytes (46 words) - 07:43, 9 March 2015
斯托克斯定理(英文:Stokes' theorem),也被称作广义斯托克斯定理、斯托克斯–嘉当定理(Stokes–Cartan theorem)、旋度定理(Curl Theorem)、开尔文-斯托克斯定理(Kelvin-Stokes theorem),是微分几何中关于微分形式的积分的定理,因為維...
10 KB (1,203 words) - 12:10, 29 April 2024
伯特兰-切比雪夫定理 贝亚蒂定理 贝叶斯定理 博特周期性定理 闭图像定理 伯恩斯坦定理 不动点定理 布列安桑定理 布朗定理 贝祖定理 博苏克-乌拉姆定理 巴拿赫不动点定理 布尔素理想定理 贝尔纲定理 布劳威尔不动点定理 本迪克森-杜拉克定理 本原元定理 垂径定理 陈氏定理 采样定理 迪尼定理 等周定理 代数基本定理...
7 KB (1,114 words) - 03:16, 15 May 2023
微积分学 (category 自2016年3月维基百科需要风格编辑的条目)
定理。 牛頓的老師伊薩克·巴羅雖然知道微分和積分之間有互逆的關係,但他不能體會此種關係的意義,其原因之一就是求導數還沒有一套有系統的計算方法。古希臘平面幾何的成功對西方數學影響極其深遠:一般認為唯有幾何的論證方法才是嚴謹、真正的數學,代數...
40 KB (6,629 words) - 21:24, 14 June 2025
在某一点的全微分(英語:total derivative)是指该函数在该点附近关于其自变量的最佳线性近似。与偏微分不同,全微分反映了函数关于其所有自变量的线性近似,而非单个自变量。 全微分可視為單變數函數的微分在多變數函數上的推廣:单变量函数的全微分与其微分的定義相同;而多變數函數在某點的全微分...
4 KB (943 words) - 01:26, 29 October 2024
Risch算法 (category 微分代数)
LabahnRisch所著的《電腦代数的算法》(Algorithms for Computer Algebra)中將Risch算法加以摘要,篇幅超過一百頁。Risch–Norman算法(得名自 A. C. Norman)在1976年提出,速度較快但威力較小。 符號積分 积分表 不完全Γ函數 刘维尔定理 (微分代数)...
1 KB (170 words) - 00:56, 3 February 2025
中值定理包括微分中值定理和积分中值定理。 微分中值定理分为罗尔中值定理、拉格朗日中值定理和柯西中值定理,内容粗略的说是指平面上一段固定端點的可微曲线,兩端點之中必然有一点,它的斜率與連接兩端點的直線斜率相同(严格的数学表达参见下文)。 當提到均值定理時在沒有特別說明下一般指拉格朗日均值定理。 如果函数...
8 KB (1,846 words) - 05:04, 13 April 2025
以法国数学家米歇尔·罗尔命名的罗尔中值定理(英語:Rolle's theorem)是微分学中一条重要的定理,是三大微分中值定理之一,叙述如下:如果函数 f ( x ) {\displaystyle f(x)} 满足 在闭区间 [ a , b ] {\displaystyle [a,b]} 上连续;...
4 KB (800 words) - 13:20, 9 January 2025
微积分基本定理(英語:Fundamental theorem of calculus)描述了微积分的两个主要运算──微分和积分之间的关系。 定理的第一部分,称为微积分第一基本定理,此定理表明:給定任一連續函數,可以(利用積分)構造出該函數的反導函數。這一部分定理的重要之處在於它保證了連續函數的反導函數的存在性。...
14 KB (2,915 words) - 17:10, 10 March 2024
在一元微积分中,微积分基本定理建立了导数与积分的联系。多元微积分中导数与积分之间的联系,体现为矢量微积分的积分定理: 梯度定理 斯托克斯定理 高斯散度定理 格林公式 在对多元微积分更深层次的研究中,可以认为以上四条定理是一个更一般的定理的具体表现,即广义斯托克斯定理,后者适用于在流形上对微分形式进行积分。...
12 KB (1,691 words) - 19:41, 26 June 2022
约瑟夫·刘维尔(法語:Joseph Liouville,法語:[ʒozɛf ljuvil],1809年3月24日—1882年9月8日)是19世纪的法国数学家,生于加来海峡省的圣奥梅尔。刘维尔一生从事数学、力学和天文学的研究,涉足广泛,成果丰富,尤其对双周期椭圆函数、微分方程边值问题、数论中代数...
9 KB (1,265 words) - 15:10, 5 May 2025
那么当 x 0 ≤ x ≤ x 1 {\displaystyle \,x_{0}\leq x\leq x_{1}\,\,} 时, 根据全微分公式和微积分基本定理, 该积分对 x {\displaystyle x} 的导数为 d d x F ( x , a ( x ) , b ( x ) ) = (...
10 KB (2,117 words) - 06:14, 9 December 2022
雷諾傳輸定理也稱為萊布尼茲-雷諾傳輸定理或雷諾输运定理,是以積分符號內取微分聞名的萊布尼茲積分的三維推廣。 雷諾傳輸定理得名自奧斯鮑恩·雷諾(1842–1912),用來調整積分量的微分,用來推導連續介質力學的基礎方程。 考慮在時變的區域 Ω ( t ) {\displaystyle \Omega (t)}...
11 KB (914 words) - 06:33, 23 September 2023
与饶胜、杨晓奎合作,构建了卡拉比-丘成桐流形上可积贝尔曲勒密微分的整体展开公式和卡-丘流形的形变空间上的一族整体全纯微分形式。 与管峰、Todorov合作,证明卡拉比-丘流形模空间的整体Torelli定理。 人民网—刘克峰:我们都属于“陈类” (页面存档备份,存于互联网档案馆) 刘克峰:我的数学人生 刘克峰:知识,技巧与想象力 (页面存档备份,存于互联网档案馆)...
6 KB (809 words) - 10:57, 27 August 2024
向量分析 (category 包含NDL标识符的维基百科条目)
大多数分析结果都可以通过微分几何机制轻松理解,向量分析是其子集。梯度、散度、梯度定理、散度定理、拉普拉斯算子(产生调和分析)可轻易推广到其他维度,而旋度和叉积则不能直接推广。 从一般观点来看,(3维)向量分析中的各种场被统一视作k向量场:标量场是0-向量场,向...
15 KB (1,882 words) - 05:48, 14 July 2024
微分在向量值多變數函數的推廣,在這種情況下,雅可比矩陣也被稱作函數 f 在點 x 的微分或者導數。 在代数几何中,代数曲线的雅可比行列式表示雅可比簇(英语:Jacobian variety):伴随该曲线的一个代數群,曲线可以嵌入其中。 它们全部都以普魯士数学家卡爾·雅可比命名。 假設某函數從...
11 KB (2,262 words) - 14:25, 27 November 2024
分部積分法 (category 分析定理)
分部積分法又稱作部分積分法(英語:Integration by parts),是一種積分的技巧。它是由微分的乘法定則和微積分基本定理推導而來的。其基本思路是将不易求得结果的积分形式,转化为等价的但易于求出结果的积分形式。 假設 h ( x ) {\displaystyle h(x)\ } 與 k...
8 KB (1,957 words) - 18:29, 12 January 2025
隐函数 (category 微分拓扑学)
{\displaystyle a_{i}(x)} 為 x {\displaystyle x} 的多項式函數。 代數函數在數學分析和代数几何中扮演重要角色,我們再拿單位圓方程式來當作代數函數的範例: x 2 + y 2 − 1 = 0. {\displaystyle x^{2}+y^{2}-1=0...
6 KB (1,581 words) - 15:32, 8 February 2025
微分。若以圖示表示,函數在某一點的微分是函数图形在那一點的切線斜率(前提是在那一點的導數存在而且有定義)。針對單實數變數的實值函數(英语:Real-valued function)而言,函數在某一點的導數也就可以決定在那一點最佳的线性近似。微分和積分的關係可以由微积分基本定理來說明,此定理說明微分是積分的逆運算。...
21 KB (3,197 words) - 13:26, 26 June 2024
封閉形式 (category 代数)
代數伽羅瓦理論的對應,對這方面的研究又稱微分伽羅瓦理論。 微分伽羅瓦理論的基本定理最初由約瑟夫·劉維爾於1830至40年代發展出來,因此被稱作劉維爾定理。 一個反微分不能表達成封閉形式的初等函數的例子: e − x 2 , {\displaystyle e^{-x^{2}},} 這函數的反微分即所謂的誤差函數,其形式如次:...
13 KB (1,820 words) - 19:02, 28 April 2025
函数的微分(英語:Differential of a function)是指对函数的局部变化的一种线性描述。微分可以近似地描述当函数自变量的取值作足够小的改变时,函数的值是怎样改变的。 微分在数学中的定义:由 y {\displaystyle y} 是 x {\displaystyle x} 的函数(...
13 KB (2,859 words) - 08:00, 9 December 2024
伽羅瓦理論 (category 维基共享资源分类链接由维基数据提供)
数学中,特别是抽象代数理论中,得名于法國數學家埃瓦里斯特·伽罗瓦的伽罗瓦理论提供了域论和群论之间的联系,即伽罗瓦理论基本定理。这样可以将域论中的某些问题还原到群论,使其更简单、更易理解。 若方程的根可用只涉及有限次整数、方根与4种基本算术运算的式子表示,就称方程是根式可解的。伽罗瓦将多项式的根引入...
28 KB (4,569 words) - 03:57, 6 May 2025
空间 (数学) (category 维基共享资源分类链接由维基数据提供)
定理:这样的密铺中,风筝和飞镖的每个有限片段出现的频率都无限多,因此不能通过观察有限部分来区分两个彭罗斯密铺。彭罗斯密铺确定了非交换C*-代数,所以可用非交换几何工具来解决。另一个例子也是微分几何中非常有趣的例子,来自流形的叶状结构。流形分割为低维...
49 KB (8,330 words) - 13:01, 7 April 2024
陈省身 (category 沃尔夫数学奖得主)
墓碑。2011年6月,陈省身墓园在南开大学省身楼前落成。 陈省身结合微分几何与拓扑方法,先后完成了两项划时代的重要工作:其一为黎曼流形的陳-高斯-博內定理,另一为埃尔米特流形的示性类论。他引进的一些概念、方法与工具,已远远超出微分几何与拓扑学的范围而成为整个现代数学中的重要构成部分。由於這些重要工...
28 KB (2,898 words) - 17:12, 13 June 2025
}f(t)\right]} 方向导数在无穷维向量空间如巴拿赫空间和弗雷歇空间上可以推广为加托导数和弗雷歇导数。二者都经常用于形式化泛函导数的概念,常见于物理学,特别是量子场论。 微分代数中有导子的概念。导子是具备了微分算子的某些特征的运算子,例如向量场的李导数,或非交换代数中的交换子。给定一个环或域 R {\displaystyle...
50 KB (9,807 words) - 21:29, 7 May 2025
theorem)、散度定理(Divergence Theorem)、高斯散度定理(Gauss's Divergence Theorem)、高斯-奥斯特罗格拉德斯基公式或高-奥公式,是指在向量分析中,一个把向量场通过闭合曲面的流动(即通量)与曲面内部的向量场的表现联系起来的定理。该定理与斯托克斯定理(Stokes'...
12 KB (2,126 words) - 05:27, 13 June 2023
但这些算子的子环:D的常系数多项式是交换的。它可以另一种方式刻画:它由平移不变算子组成。 微分算子也服从移位定理(shift theorem)。 同样的构造可对偏导数也成立,关于不同的变量微分给出可交换的算子。 在微分几何与代数几何中,通常习惯于对两个向量丛之间的微分算子有一个坐标无关描述。设 E {\displaystyle...
8 KB (1,627 words) - 15:55, 28 June 2023
初等函数 (category 微分代数)
之所以称这些函数为“初等函数”或“基本函数”(法语:fonction élémentaire),需要从微分代数的角度考虑。尽管“初等函数”这个概念最初是由约瑟夫·刘维尔引入的,但目前的通行定义是由约瑟夫·里特给出的: 一个微分域 F {\displaystyle F} ,定义为某一个域 F 0 {\displaystyle...
7 KB (1,049 words) - 09:30, 11 March 2025
数学上,微分拓扑的外微分算子,把一个函数的微分的概念推广到更高阶的微分形式的微分。它在流形上的积分理论中极为重要,并且是德拉姆上同调和Alexander-Spanier上同调中所使用的微分算子。其现代形式是由嘉当发明的。 一个k阶的微分形式的外微分是一个k+1阶的微分形式。 对于一个k-形式ω = ΣI...
5 KB (1,069 words) - 13:27, 8 November 2021
此定理又稱毕氏定理、商高定理、畢達哥拉斯定理、新娘座椅定理或百牛定理。「畢氏」所指的是其中一個發現這個定理的古希臘數學家畢達哥拉斯,但歷史學家相信這個定理早在畢達哥拉斯出生的一千年前已經在世界各地廣泛應用。不過,現代西方數學界統一稱呼它為「畢達哥拉斯定理」。日本除了翻譯西方的「畢達哥拉斯之定理」外亦有「三平方之定理」的稱呼。...
23 KB (3,476 words) - 03:40, 25 March 2025