|  |
| --- |
| 系列條目 |
| 微积分学 |
|  |
| 
* 函数
* 极限论
* 微分学
* 积分

* 微积分基本定理
* 微积分发现权之争（英语：）

 |
| 基础概念（含极限论和级数论）

| 
實數性質 |
| --- |
| 函数 · 单调性 · 初等函数 · 數列 · 极限 · 实数的构造（1=0.999…） · 无穷（銜尾蛇） · 無窮小量 · ε-δ語言 · 实无穷（英语：） · 大O符号 · 最小上界 · 收敛数列 · 芝诺悖论 · 柯西序列 · 单调收敛定理 · 夹挤定理 · 波尔查诺-魏尔斯特拉斯定理 · 斯托尔兹-切萨罗定理 · 上极限和下极限 · 函數極限 · 渐近线 · 邻域 · 连续 · 連續函數 · 不连续点 · 狄利克雷函数 · 稠密集 · 一致连续 ·  · 海涅-博雷尔定理 · 支撑集 · 欧几里得空间 · 点积 · 外积 · 三重积 · 拉格朗日恒等式 · 等价范数 · 坐標系 · 多元函数 · 凸集 · 巴拿赫不动点定理 · 级数 · 收敛级数（英语：） · 几何级数 · 调和级数 · 項測試 · 格兰迪级数 · 收敛半径 · 审敛法 · 柯西乘积 · 黎曼级数重排定理 · 函数项级数（英语：） · 一致收斂 · 迪尼定理 |
| 
數列與級數 |
| 
連續 |
| 
函數 |

 |
| 一元微分

|  |
| --- |
| 差分 · 均差 · 微分 · 微分的线性（英语：） · 导数（流数法 · 二阶导数 · 光滑函数 · 高阶微分 · 莱布尼兹记号（英语：） · 幽灵似的消失量） · 介值定理 · 中值定理（罗尔定理 · 拉格朗日中值定理 · 柯西中值定理） · 泰勒公式 · 求导法则（乘积法则 · 广义莱布尼茨定则（英语：） · 除法定则 · 倒数定则 · 链式法则） · 洛必达法则 · 反函数的微分 · Faà di Bruno公式（英语：） · 对数微分法 · 导数列表 · 导数的函数应用（单调性 · 切线 · 极值 · 驻点 · 拐点 · 求导检测（英语：） · 凸函數 · 凹函數 · 簡森不等式 · 曲线的曲率 · 埃尔米特插值） · 达布定理 · 魏尔施特拉斯函数 |

 |
| 一元积分

|  |
| --- |
| * 积分表
 |
| 
定义 |
| * 不定积分
* 定积分
* 黎曼积分
* 达布积分
* 勒贝格积分
* 积分的线性
 |
| 
求积分的技巧（换元积分法 · 三角换元法 · 分部积分法 · 部分分式积分法 · 降次积分法） 微元法 · 积分第一中值定理 · 积分第二中值定理 · **微积分基本定理** · 反常積分 · 柯西主值 · 積分函數（Β函数 · Γ函数 · 古德曼函数 · 椭圆积分） · 數值積分（矩形法 · 梯形公式 · 辛普森積分法 · 牛顿-寇次公式） · 积分判别法 · 傅里叶级数（狄利克雷定理 · 周期延拓） · 魏尔施特拉斯逼近定理 · 帕塞瓦尔定理 · 刘维尔定理 |

 |
| 多元微积分

|  |
| --- |
| 偏导数 · 隐函数 · 全微分（微分的形式不变性） · 二阶导数的对称性 · 全微分 · 方向導數 · 标量场 · 向量場 · 梯度（Nabla算子） · 多元泰勒公式 · 拉格朗日乘数 · 黑塞矩陣 · 鞍點 · 多重积分（逐次积分 · 积分顺序（英语：）） · 积分估值定理 · 旋转体 · 帕普斯-古尔丁中心化旋转定理 · 祖暅-卡瓦列里原理 · 托里拆利小号 · 雅可比矩阵 · 广义多重积分（高斯积分） · 若尔当曲线 · 曲线积分 · 曲面积分（施瓦茨的靴（俄语：）） · 散度 · 旋度 · 通量 · 可定向性 · **格林公式** · **高斯散度定理** · **斯托克斯定理**及其外微分形式 · 若尔当测度 · 隐函数定理 · 皮亚诺-希尔伯特曲线 · 积分变换 · 卷积定理 · 积分符号内取微分 (莱布尼茨积分定则（英语：）) · 多变量原函数的存在性（全微分方程） · 外微分的映射原像存在性（恰当形式） · 向量值函数 · 向量空间内的导数推广（英语：）（加托导数 · 弗雷歇导数 · 矩阵的微积分（英语：）） · 弱微分 |

 |
| 微分方程

|  |
| --- |
| 常微分方程 · 柯西-利普希茨定理 · 皮亚诺存在性定理 · 分离变数法 · 级数展开法 · 积分因子 · 拉普拉斯算子 · 欧拉方法 · 柯西-欧拉方程 · 伯努利微分方程 · 克莱罗方程 · 全微分方程 · 线性微分方程 · 叠加原理 · 特徵方程式 · 朗斯基行列式 · 微分算子法 · 差分方程 · 拉普拉斯变换 · 偏微分方程（拉普拉斯方程 · 泊松方程） · 施图姆-刘维尔理论 · N体问题 · 积分方程 |

 |
| 相关数学家
牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅 · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 約翰·白努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦（英语：） · 婆什迦羅第二 · 阿涅西 · 阿基米德
 |
| 历史名作
从无穷小量分析来理解曲线（英语：） · 分析学教程（英语：） · 无穷小分析引论 · 用无穷级数做数学分析（英语：） · 流形上的微积分（英语：） · 微积分学教程 · 纯数学教程（英语：） · 机械原理方法论（英语：）
 |
| 分支学科

|  |
| --- |
| 实变函数论 · 複分析 · 傅里叶分析 · 变分法 · 特殊函数 · 动力系统 · 微分几何 · 微分代数 · 向量分析 · 分数微积分 · 玛里亚温微积分（英语：） · 随机分析 · 最优化 · 非标准分析 |

 |
| * 
* 论
* 编
 |

在数学中，**线积分**（英語：）是积分的一种。积分函数的取值沿的不是区间，而是被称为积分路径的特定曲线。

在曲线积分中，被积的函数可以是标量函数或向量函数。當被積函數是純量函數時，积分的值是積分路径各点上的函数值乘上該點切向量的長度，在被积分函数是向量函数时，積分值是積分向量函数与曲线切向量的內積。在函數是純量函數的情形下，可以把切向量的絕對值（長度）看成此曲線把該點附近定義域的極小區間，在對應域內拉長了切向量絕對值的長度，這也是曲线积分与一般区间上的积分的主要不同点。物理学中的许多簡潔公式（例如*W*=**F**·**s**）在推广之后都是以曲线积分的形式出现

{\displaystyle W=\int \_{C}\mathbf {F} \cdot \mathrm {d} \mathbf {s} }。

曲线积分在物理学中是很重要的工具，例如计算电场或重力场中的做功。

向量分析
----

大致來說，向量分析中的曲线积分可以看成在某一场中沿特定路径的累积效果。更具体地说，如果曲線{\displaystyle C\subseteq \mathbb {R} ^{2}}，标量场的曲线积分可以想成某個曲线（不是{\textstyle C}）向下切割出的面积，这可以通过建立函數*z* = *f*(*x*,*y*)和*x*-*y*平面内的曲线*C*来想像這個曲面，可以把{\displaystyle x{\text{-}}y}平面上的曲線{\displaystyle C}想成屏風的底座，{\displaystyle f}代表在該點屏風的高度（這裡假設{\displaystyle f\geq 0}），則{\displaystyle f}的曲线积分就是該"屏風"的面积，也就是前面所說曲線{\textstyle (x(t),y(t),f(x,y))}向下切割的面積，其中{\textstyle (x(t),y(t))}是曲線{\textstyle C}的參數化。

### 标量场的曲线积分

梯度場中的曲線積分
#### 定义

设有标量场：**F** : *U* ⊆ **R***n* {\displaystyle \to } **R**，则对于路径*C* ⊂ *U*，**F**的曲线积分是：

{\displaystyle \int \_{C}f\,\mathrm {d} s=\int \_{a}^{b}f(\mathbf {r} (t))|\mathbf {r} '(t)|\,\mathrm {d} t.}
其中，**r**: [a, b] {\displaystyle \to } *C* 是一个一一對應的参数方程，并且**r**(*a*)和**r**(*b*)分别是路径曲线*C*的两个端点。

*f*称为**积分函数**，*C*是积分路径。不严格地说，*ds*可以被看作积分路径上的一段很小的"弧长"。曲线积分的结果不依赖于参量化函数**r**。

几何上，当标量场*f*定义在一个平面（*n*=2）上时，它的图像是空间中一个曲面*z*=*f*(*x*,*y*)，曲线积分就是以曲线*C*为界的有符号的截面面积。参见动画演示。

#### 推导

对于标量场上的**曲线积分**，

### 向量场的曲线积分

向量场的曲线积分
设有向量场：**F** : *U* ⊆ **R***n* {\displaystyle \to } **R***n*，则其在路径*C* ⊂ *U*上关于方向**r**的曲线积分是： 

{\displaystyle \int \_{C}\mathbf {F} (\mathbf {r} )\cdot \,\mathrm {d} \mathbf {r} =\int \_{a}^{b}\mathbf {F} (\mathbf {r} (t))\cdot \mathbf {r} '(t)\,\mathrm {d} t.}
其中，**r**: [a, b] {\displaystyle \to } *C* 是一个一一的参量化函数，并且**r**(*a*)和**r**(*b*)分别是路径曲线*C*的两个端点。这时曲线积分值的绝对值与参量化函数**r**无关，但其方向与参量化函数**r**的选择有关。特别地，当方向相反时，积分值也相反。

### 与路径无关的条件

如果向量场**F**是一个标量场**G**的梯度，即：

{\displaystyle \nabla G=\mathbf {F} ,}
那么，由**G**和**r**组成的复合函数的导数是：

{\displaystyle {\operatorname {d} \over \operatorname {d} \!t}G{\bigl (}\mathbf {r} (t){\bigr )}=\nabla G{\bigl (}\mathbf {r} (t){\bigr )}\cdot \mathbf {r} '(t)=\mathbf {F} {\bigl (}\mathbf {r} (t){\bigr )}\cdot \mathbf {r} '(t)}
于是对路径**C**就有：

{\displaystyle \int \_{C}\mathbf {F} (\mathbf {r} )\cdot \,\mathrm {d} \mathbf {r} =\int \_{a}^{b}\mathbf {F} {\bigl (}\mathbf {r} (t){\bigr )}\cdot \mathbf {r} '(t)\,\mathrm {d} t=\int \_{a}^{b}{\frac {\mathrm {d} G{\bigl (}\mathbf {r} (t){\bigr )}}{\mathrm {d} t}}\,\mathrm {d} t=G{\bigl (}\mathbf {r} (b){\bigr )}-G{\bigl (}\mathbf {r} (a){\bigr )}}。
用文字表示，就是说若**F**是一个梯度场，那么**F**的曲线积分与所取的路径无关，而只与路径的起点和终点的选取有关。

### 应用

在各种保守力的场都是路径无关的，一个常见的例子就是重力场或电场。在计算这种场的做功时，可以选择适当的路径进行积分，使得计算变得简单。

### 曲线积分与复分析的关系

如果将复数看作二维的向量，那么二维向量场的曲线积分就是相应复函数的共轭函数在同样路径上的积分值的实部。

根据柯西-黎曼方程，一个全纯函数的共轭函数所对应的向量场的旋度是0。

複曲线积分
-----

在複分析中，曲线积分是通过复数的加法和乘法定义的。令*U*为複数集 **C** 的一个开子集，*f* : *U* {\displaystyle \to } **C**是一个函数，{\displaystyle L\subset U}是一个参数为{\displaystyle \gamma :[a,b]\to L}的可求长曲线，其中{\displaystyle \gamma (t)=x(t)+iy(t)}。则曲线积分：

{\displaystyle \int \_{L}f(z)\,\mathrm {d} z}
可以通过将区间[*a*, *b*]分划为*a* = *t*0 < *t*1 < ... < *t**n* = *b*来定义。考虑下式：

{\displaystyle \sum \_{k=1}^{n}f(\gamma (t\_{k}))[\gamma (t\_{k})-\gamma (t\_{k-1})]=\sum \_{k=1}^{n}f(\gamma \_{k})\Delta \gamma \_{k}.}
曲线积分是区间分划的长度趋于零时这个黎曼和的极限。

当{\displaystyle \gamma }连续可微时，曲线积分可以用一个实变函数的积分表示：

{\displaystyle \int \_{L}f(z)\,\mathrm {d} z=\int \_{a}^{b}f{\bigl (}\gamma (t){\bigr )}\,\gamma \,'(t)\,\mathrm {d} t.}
当{\displaystyle L}为闭合曲线时，积分的起点和终点重合，这时*f*沿{\displaystyle L}的曲线积分通常记作

{\displaystyle \oint \_{L}f(z)\,dz}
对于共轭微分算子{\displaystyle {\overline {dz}}}的曲线积分定义为

{\displaystyle \int \_{L}f{\overline {\mathrm {d} z}}={\overline {\int \_{L}{\overline {f}}\mathrm {d} z}}=\int \_{a}^{b}f{\bigl (}\gamma (t){\bigr )}\,{\overline {\gamma '(t)}}\,\mathrm {d} t.}
複函数的曲线积分有很多技巧。将複函数分作实部和虚部，可以将问题简化为两个实值函数的曲线积分。其它情况下可以用柯西积分公式。如果积分路径是闭合的，并且积分函数在区域中是解析的且没有奇点，那么它的曲线积分是零，这是柯西积分定理的推论。根据留数定理，可以用复平面上的围道积分计算实值函数在实区间上的积分。

### 例子

考虑复函数*f*(*z*)=1/*z*，设积分路径*L*为单位圆（模长为1的复数的集合）。我们使用γ(*t*)=*e**it*来将路径参数化，其中*t*在[0, 2π]内。代入积分式就得到：

{\displaystyle {\begin{aligned}\oint \_{L}f(z)\,\mathrm {d} z&=\int \_{0}^{2\pi }{1 \over e^{it}}ie^{it}\,\mathrm {d} t=i\int \_{0}^{2\pi }e^{-it}e^{it}\,\mathrm {d} t\\&=i\int \_{0}^{2\pi }\,\mathrm {d} t=i(2\pi -0)=2\pi i.\end{aligned}}}

用柯西积分定理也可以得到结果。

量子力学
----

条目：路徑積分表述
量子力学中的"曲线积分形式"和**曲线积分**并不相同，因为曲线积分形式中所用的积分是函数空间上的泛函积分，即关于空间中每个路径的概率函数进行积分。然而，曲线积分在量子力学中仍有重要作用，比如说复围道积分常常用来计算量子散射理论中的概率振幅。

参看
--

* 费曼－卡茨公式
* 传播子，费恩曼传播子使用复平面的曲线积分
* 留数定理，使用复平面的曲线积分

参考文献
----

1. ↑  Ahlfors, Lars. . : 103.

外部链接
----

* A pictoral explanation of the path integral
* Solved problems on path integrals
* Contour Integrals Module by John H. Mathews