路径积分

维基百科,自由的百科全书

跳转到: 导航, 搜索

数学中,路径积分曲线积分积分的一种。积分函数的取值沿的不是区间,而是特定的曲线,称为积分路径。路径积分有很多种类,当积分路径为闭合曲线时,称为环路积分围道积分

在路径积分中,被积的函数可以是标量函数或向量函数。积分的值是路径各点上的函数值乘上相应的权重(一般是弧长,在积分函数是向量函数时,一般是函数值与曲线微元向量的标量积)后的黎曼和。带有权重是路径积分与一般区间上的积分的主要不同点。物理学中的许多简单的公式(比如说W=\vec F\cdot\vec d)在推广之后都是以路径积分的形式出现(W=\int_C \vec F\cdot d\vec s)。路径积分在物理学中是很重要的工具,例如计算电场重力场中的做功,或量子力学中计算粒子出现的概率

目录

[编辑] 矢量分析

简单来说,矢量分析中的路径积分可以看成向量场在特定路径上的累积效果。

[编辑] 标量场的路径积分

设有标量场F : URn \to Rn,则对于路径CUF的路径积分是:

\int_C \mathbf{F}(\mathbf{r})\cdot\,d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt.

其中, r: [a, b] \to C 是一个一一参量化函数,并且r(a) 和 r(b) 分别是路径曲线 C 的两个端点

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


[编辑] 向量场的路径积分

设有向量场F : URn \to Rn,则其在路径 CU上关于方向 r的路径积分是:

\int_C \mathbf{F}(\mathbf{r})\cdot\,d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt.

其中, r: [a, b] \to C 是一个一一参量化函数,并且r(a) 和 r(b) 分别是路径曲线 C 的两个端点。这时路径积分值的绝对值与参量化函数r无关,但其方向与参量化函数r的选择有关。特别地,当方向相反时,积分值也相反。

[编辑] 与路径无关的条件

如果向量场 F 是一个标量场 G梯度,即:

\nabla G = \mathbf{F},

那么,由 Gr 组成的复合函数的导数是:

\frac{dG(\mathbf{r}(t))}{dt} = \nabla G(\mathbf{r}(t)) \cdot \mathbf{r}'(t) = \mathbf{F}(\mathbf{r}(t)) \cdot \mathbf{r}'(t)

于是对路径C就有:

\int_C \mathbf{F}(\mathbf{r})\cdot\,d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt = \int_a^b \frac{dG(\mathbf{r}(t))}{dt}\,dt = G(\mathbf{r}(b)) - G(\mathbf{r}(a)).

用文字表示,就是说若F 是一个梯度场,那么F 的路径积分与所取的路径无关,而只与路径的起点和终点的选取有关。

[编辑] 应用

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

[编辑] 路径积分与复分析的关系

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

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

[编辑] 复路径积分

路径积分是复分析中的基本工具。令U为复数集 C 中的一个开子集γ : [a, b]\to U 是一个可求长函数。设有函数:f : U \to C ,则路径积分:

\int_\gamma f(z)\,dz

可以定义为区间分划a = t0 < t1 < ... < tn = b 后的和:

\sum_{1 \le k \le n} f(\gamma(t_k)) ( \gamma(t_k) - \gamma(t_{k-1}) ).

路径积分是这个极限

γ为闭合曲线时,积分的起点和终点重合,这时的路径积分通常记作

\oint_\gamma f(z)\,dz

复函数的路径积分有很多技巧。将复函数分作实部和虚部,可以将问题简化为两个实值函数的路径积分。其它情况下可以用柯西积分公式。如果积分路径是闭合的,并且积分函数在区域中是解析的且没有奇点,那么它的路径积分是零,这是柯西积分定理的推论。根据残值定理,可以用复平面上的围道积分计算实质函数在实区间上的积分。

[编辑] 例子

考虑复函数f(z)=1/z,设积分路径 C单位圆(模长为1的复数的集合)。我们使用eit来参量化路径,其中t从0到πt \in [0, 2\pi])。代入积分式就得到:

\oint_C f(z)\,dz = \int_0^{2\pi} {1\over e^{it}} ie^{it}\,dt = i\int_0^{2\pi} e^{-it}e^{it}\,dt
=i\int_0^{2\pi}\,dt = i(2\pi-0)=2\pi i

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

[编辑] 量子力学

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

[编辑] 外部链接

个人工具