在数学中，柯西-利普希茨定理（Cauchy-Lipschitz Theorem），又称皮卡-林德勒夫定理（Picard-Lindelöf Theorem），保证了一階常微分方程的局部解以至最大解的存在性和唯一性。此定理最早由奧古斯丁·路易·柯西于1820年发表，但直到1868年，才由鲁道夫·利普希茨...

利普希茨的数学研究涉及数论、贝塞尔函数论、傅里叶级数论、常微分方程、分析力学、位势理论及黎曼微分几何，其中在微分方程和微分几何方面尤为突出。1873年他对柯西提出的微分方程初值问题解的存在惟一性定理作出改进，提出著名的“利普希茨条件”。存在性定理的证明有力地推进了对微分方程定性理论以及解的近似计算的研究。...

积分第二中值定理 夹挤定理 卷积定理 极值定理 基尔霍夫定理 角平分线定理 嘉当-迪厄多内定理 吉洪诺夫定理 柯西定理 克莱尼不动点定理 康托尔定理 柯西中值定理 可靠性定理 克莱姆法则 柯西-利普希茨定理 戡根定理 康托尔-伯恩斯坦-施罗德定理 凯莱-哈密顿定理 克纳斯特-塔斯基定理 卡迈克尔定理 柯西积分定理...

的解（关于最大解的存在性和唯一性，参见柯西-利普希茨定理）。 庞加莱-本迪克松定理的一个重要推论是二维平面上的动力系统不能产生奇异吸引子，如果系统内存在一个奇异吸引子，那么它可以在相空间内被一个有界封闭的区域包住。当这个包围的区域足够小的时候，区域里面将不会有任何稳定点。但根据庞加莱-本迪克松定理，这个区域里的 C...

中值定理包括微分中值定理和积分中值定理。 微分中值定理分为罗尔中值定理、拉格朗日中值定理和柯西中值定理，内容粗略的说是指平面上一段固定端點的可微曲线，兩端點之中必然有一点，它的斜率與連接兩端點的直線斜率相同（严格的数学表达参见下文）。 當提到均值定理時在沒有特別說明下一般指拉格朗日均值定理。 如果函数...

在数学中, 特别是在常微分方程的研究中，皮亚诺存在定理（又称为皮亚诺定理、柯西-皮亚诺定理）是以数学家朱塞佩·皮亚诺的名字命名的一个定理。这个定理是常微分方程研究中的基本定理之一，保证了微分方程在一定的初始条件下的解的存在性。 这个定理最早由数学家朱塞佩·皮亚诺在1886年发表，但是他给出的证明是...

古爾丁定理（英語：Guldinus theorem），最初由古希臘的帕普斯發現，後來在16世紀保羅·古爾丁（英语：Paul Guldin）又重新發現了這個定理。 有一條平面曲線，跟它的同一個平面上有一條軸。由該平面曲線以該條軸與旋轉而產生的旋轉曲面的表面積 A {\displaystyle A} ，等於曲線的長度...

斯通-魏尔施特拉斯逼近定理（Stone–Weierstrass theorem）有两个： 闭区间上的连续函数可用多项式级数一致逼近。 闭区间上周期为 2 π {\displaystyle 2\pi } 的连续函数可用三角函数级数一致逼近。 第一逼近定理可以推广至 R n {\displaystyle...

原點的小鄰域，映到 p {\displaystyle p} 在流形上的某鄰域內。原因是，測地線之所以存在（和唯一），藉賴常微分方程解的柯西-利普希茨定理，但該定理是僅在局部成立。若指數映射在切丛處處有定義，則該線性聯絡稱為完備。 本節可參考Kobayashi & Nomizu (1975，§III...

在数学分析中，介值定理（英語：intermediate value theorem，又稱中间值定理）描述了連續函數在兩點之間的連續性： 假設 f : [ a , b ] → R {\displaystyle f:[a,b]\to \mathbb {R} } 為一連續函數。若一實數 u {\displaystyle...

xx'+yy'=0.\,} 在物理学的应用中，I和J通常不仅是连续的，也是连续可微的。施瓦茨定理（也称为克莱罗定理）提供了势函数存在的一个必要条件。对于定义在单连通集合上的微分方程，这个条件也是充分的，我们便得出以下的定理： 给定以下形式的微分方程： I ( x , y ) d x + J ( x , y...

定理的第二部分，称为微积分第二基本定理或牛顿-莱布尼茨公式，表明某函數的定积分可以用該函數的任意一個反導函數来计算。这一部分是微積分或數學分析中相當關鍵且應用很廣的一個定理，因为它大大简化了定积分的计算。 该定理的一个特殊形式，首先由詹姆斯·格里高利（1638-1675）证明和出版。定理的一般形式，则由艾萨克·巴罗完成证明。...

柯西-尤拉方程是形式如 x 2 y ″ + b x y ′ + c y = 0 {\displaystyle x^{2}y''+bxy'+cy=0} （其中 b , c {\displaystyle b,c} 是常數）的二階變係數常微分方程。 觀察可知 y = x r {\displaystyle y=x^{r}}...

以法国数学家米歇尔·罗尔命名的罗尔中值定理（英語：Rolle's theorem）是微分学中一条重要的定理，是三大微分中值定理之一，叙述如下：如果函数 f ( x ) {\displaystyle f(x)} 满足 在闭区间 [ a , b ] {\displaystyle [a,b]} 上连续； 在开区间...

克希荷夫生于东普鲁士首府柯尼斯堡的一个律师家庭。是弗里德里希·克希荷夫和乔安娜·亨里埃特·维特克的儿子。他就读於柯尼斯堡大学，曾参加卡尔·雅可比、弗兰茨·恩斯特·诺伊曼（英语：Franz Ernst Neumann）和弗里德里希·尤利乌斯·里什洛（英语：Friedrich...

斯托克斯定理（英文：Stokes' theorem），也被称作广义斯托克斯定理、斯托克斯–嘉当定理（Stokes–Cartan theorem）、旋度定理（Curl Theorem）、开尔文-斯托克斯定理（Kelvin-Stokes theorem），是微分几何中关于微分形式的积分的定理...

积分形式下的不等式可以有几种不同的写法。 格朗沃尔不等式常常被用来估计常微分方程的解的取值范围。比如，它可以用来证明初值问题的解的唯一性（见柯西-利普希茨定理）。 格朗沃尔不等式的名称来自多玛·哈肯·格朗沃尔。格朗沃尔是一位瑞典的数学家，后来移居美国。 格朗沃尔不等式的微分形式首先由格朗沃尔在19...

在複分析中，留数定理，又叫残数定理（英語：Residue theorem），是用来计算解析函数沿着闭曲线的路径积分的一个有力的工具，也可以用来计算实函数的积分。它是柯西积分定理和柯西积分公式的推论。 假设 U {\displaystyle U} 是复平面上的一个单连通开子集， a 1 , ⋯ , a...

針對常微分方程的初值問題，皮亚诺存在性定理可判別解的存在性，柯西-利普希茨定理則可以判別解的存在性及唯一性。 針對偏微分方程，柯西-克瓦列夫斯基定理（英语：Cauchy–Kowalevski theorem）可以判別解的存在性及唯一性。 皮亚诺存在性定理可以判斷常微分方程初值問題的解是否存在。...

夾擠定理（英語：squeeze theorem），又稱夹逼定理、夹极限定理、三明治定理、逼近定理、迫敛定理，是有關函數的極限的数学定理。指出若有兩個函數在某點的極限相同，且有第三個函數的值在這兩個函數之間，则第三個函數在該點的極限也相同。 設 I {\displaystyle I} 為包含某點 a...

斯托尔兹－切萨罗定理（英語：Stolz–Cesàro theorem）是数学分析学中的一個用于證明數列收歛的定理。该定理以奥地利人奥托·施托尔茨（英语：Otto Stolz）和意大利人恩纳斯托·切萨罗命名。 令 ( a n ) n ≥ 1 {\displaystyle (a_{n})_{n\geq 1}}...

integration） Shell integration（英语：Shell integration） 托里拆利小號 雅可比矩阵 海森矩阵 曲率 格林公式 高斯散度定理 斯托克斯定理 级数 泰勒级数, 泰勒级数 傅里叶级数 欧拉-麦克劳林求和公式 Adequality（英语：Adequality）...

满足以上不等式的最小的q有时称为利普希茨常数。 注意对于所有不同的x和y都有d(Tx, Ty) < d(x, y)的要求，一般来说是不足以保证不动点的存在的，例如映射T : [1,∞) → [1,∞)，T(x) = x + 1/x，就没有不动点。但是，如果空间X是紧的，则这个较弱的假设也能保证不动点的存在。 当实际应用这个定理...

梯度定理（英語：gradient theorem），也叫线积分基本定理，是说标量场梯度沿曲线的积分可用标量场在该曲线两端的值之差来计算。 设函数 φ : U ⊆ R n → R {\displaystyle \varphi :U\subseteq \mathbb {R} ^{n}\to \mathbb...

theorem）、散度定理（Divergence Theorem）、高斯散度定理（Gauss's Divergence Theorem）、高斯－奥斯特罗格拉德斯基公式或高－奥公式，是指在向量分析中，一个把向量场通过闭合曲面的流动（即通量）与曲面内部的向量场的表现联系起来的定理。该定理与斯托克斯定理（Stokes'...

萊昂哈德·歐拉 (1707–1783) 加斯帕尔·蒙日 (1746–1818) —— 画法几何 约翰·普莱费尔 (1748–1819) —— 欧几里得几何 卡爾·弗里德里希·高斯 (1777–1855) —— 絕妙定理 西莫恩·德尼·泊松 (1781–1840) 让-维克托·彭赛列 (1788–1867) ——...

\mathbb {R} ^{2}\to \mathbb {R} ^{2}} 的映射时，四个偏导数处处存在且满足柯西-黎曼方程。该定理由卢曼于1923年提出，于1931年由缅绍夫给出完整证明。虽然定理涉及初等数学领域，但其证明需运用现代实变函数理论。 定义在复平面内的区域上的复解析函数 f ( x + i...

）。一般會將導數早期的發展歸功於伊萨克·巴罗，不過牛頓和莱布尼茨仍在微分學的歷史上有重要的貢獻，其中也包括了牛頓將微分用在理论物理学中，而莱布尼茨發展的符號到現今仍在普遍使用。 自從17世紀起，許多數學家都對微分学有所貢獻。在19世紀時，在奧古斯丁·路易·柯西（1789年–1857年）、波恩哈德·黎曼（182...

利普希茨連續的條件．則皮卡-林德勒夫定理可保證在一個包括t0的區間有唯一解。 此定理的證明需將問題變成等價的積分方程，積分可視為將一個函數映射為另一個函數的運算子，因此其解為運算子的不動點，再利用巴拿赫不动点定理證明有一個唯一的不動點．即為初值問題的解。 較早期證明皮卡-林德勒夫定理...

格雷斯·埃格尔顿、菲利普·埃格尔顿（剑桥大学，1927年）；赛勒斯·费斯克、耶拉普拉伽达·苏巴拉奥（英语：Yellapragada Subbarow）（哈佛医学院，1927年） 塔斯基不可定义定理 – 库尔特·哥德尔；阿尔弗雷德·塔斯基 自然演绎 – 格哈德·根岑；斯坦尼斯瓦夫·亚希科夫斯基（均1934年）...

费曼－卡茨公式是一个数学公式与定理，得名于理查德·费曼和马克·卡茨，将随机过程和抛物型偏微分方程结合在一起。使用费曼－卡茨公式可以通过将某些抛物型偏微分方程的解写成随机过程的条件期望的方式，从而将求此类微分方程的数值解转化为模拟随机过程的路径。反过来，此一类随机过程的期望可以通过确定性的计算（偏微分方程求解）得到。考虑偏微分方程：...