在微积分中,积分基本定理告诉我们怎样定义积分,具体形式如下所示∫abF′(x)dx=F(b)−F(a)\int_a^b F^{\prime}(x)dx=F(b)-F(a)∫abF′(x)dx=F(b)−F(a)则向量场的路径积分定理如下所示:
定理1: 假定CCC是一个由r→(t) (a≤t≤b)\overrightarrow{r}(t)\text{ }(a\le t\le b)r(t) (a≤t≤b)给定的平滑曲线。假定fff是一个函数,它的梯度向量∇f\nabla f∇f在曲线CCC中是连续的。此时则有∫C∇f⋅dr→=f(r→(b))−f(r→(a))\int\limits _C \nabla f \cdot d \overrightarrow{r}=f(\overrightarrow{r}(b))-f(\overrightarrow{r}(a))C∫∇f⋅dr=f(r(b))−f(r(a))
其中r→(a)\overrightarrow{r}(a)r(a)表示的是曲线CCC的起始点,r→(b)\overrightarrow{r}(b)r(b)表示曲线CCC的终止点。需要注意的是,该定理并没有指定函数的变量数量,因为这对定理来说并不重要。不管函数中变量的数量是多少,这个定理都成立。
证明: 以下证明是在三维空间中展开进行的,线积分公式如下所示:∫C∇f⋅dr→=∫ab∇f(r→(t))⋅r→′(t)dt=∫ab(∂f∂xdxdt+∂f∂ydydt+∂f∂z∂z∂t)dt\begin{aligned}\int\limits_{C}\nabla f\cdot d \overrightarrow{r}&=\int_a^b \nabla f(\overrightarrow{r}(t))\cdot \overrightarrow{r}^{\prime}(t)dt\\&=\int_a^b \left(\frac{\partial f}{\partial x}\frac{dx}{dt}+\frac{\partial f}{\partial y}\frac{d y}{d t}+\frac{\partial f}{\partial z}\frac{\partial z}{\partial t}\right)dt\end{aligned}C∫∇f⋅dr=∫ab∇f(r(t))⋅r′(t)dt=∫ab(∂x∂fdtdx+∂y∂fdtdy+∂z∂f∂t∂z)dt利用链式法则可以简化这个积分为∫C∇f⋅dr→=∫ab(∂f∂xdxdt+∂f∂ydydt+∂f∂zdzdt)dt=∫abddt[f(r→(t))]dt\begin{aligned}\int\limits_{C}\nabla f \cdot d \overrightarrow{r}&=\int_a^b\left(\frac{\partial f}{\partial x}\frac{d x}{dt}+\frac{\partial f}{\partial y}\frac{dy}{dt}+\frac{\partial f}{\partial z}\frac{dz}{dt}\right)dt\\&=\int_a^b \frac{d}{dt}[f(\overrightarrow{r}(t))]dt\end{aligned}C∫∇f⋅dr=∫ab(∂x∂fdtdx+∂y∂fdtdy+∂z∂fdtdz)dt=∫abdtd[f(r(t))]dt使用微积分基本定理可知:∫C∇f⋅dr→=f(r→(b))−f(r→(a))\int\limits_{C}\nabla f \cdot d \overrightarrow{r}=f(\overrightarrow{r}(b))-f(\overrightarrow{r}(a))C∫∇f⋅dr=f(r(b))−f(r(a))