第一型曲線積分的可積性條件及其應用

汪林

摘 要 類比定積分可積性條件，給出了第一型曲線積分的上和與下和概念，并通過研究上和與下和的性質，得到了第一型曲線積分的可積性條件（包括必要條件、充分條件和充要條件）及其性質，完善了第一型曲線積分可積性理論。在文章最后給出了第一型曲線積分性質的簡單應用。

關鍵詞 第一型曲線積分 可積性條件 性質 積分上和 積分下和

中圖分類號：0175.5 文獻標識碼：A DOI：10.16400/j.cnki.kjdkx.2017.07.0010

Integrable Condition of the First Type Curve Integral and Its Application

WANG Lin

（Institute of Mathematics and Economics， Chongqing University of Arts and Sciences， Chongqing 402160）

Abstract Through analog integral integrability conditions， this paper gives concept of upper and lower sum for the first type curve integral. The integrability conditions including the necessary and sufficient conditions are obtained. Theory of the first type curve integral integrability is improved. At the end of the paper， a simple application of the integral property of the first type curve integral is given.

Keywords first type curve integral； integrable condition； property； upper sum； lower sum

0 引言

從現有關于第一型曲線積分的研究現狀來看，可以發現關于第一型曲線積分可積性條件的研究與證明較少。然而在定積分中，要計算一個函數的積分，運用某些性質，證明一些關于函數可積的問題是非常關鍵重要的。在此之前，必須弄清這個函數是否可積。這就說明研究它的可積性條件（包括它的必要條件，充要條件，充分條件）是非常必要的。第一型曲線積分作為積分學中的一個重要的積分類型，很有必要對它的可積性條件及性質進行深入的研究，以便對第一型曲線積分有更加全面的了解，在此基礎上，甚至可以將其推廣至第一型曲面積分上，再做更加深入透徹的研究，對它們之間的聯系與轉化將會更加清楚。

1 可積的必要條件

定理1： 函數 在曲線上可積，則 在上必定有界。

證假設 在上無界，則對的任一分割，必存在屬于的某一曲線段， 使得 在 上無界。在的各個曲線段上任意取定點 ，并記（其中表示的弧長）

對，因為 在上無界，故 ，使得 從而

這表明函數 的積分和的絕對值可以大于任意預先給定的正數，與 可積性定義矛盾，從而結論成立。

2 上和、下和的定義與性質

函數 在曲線上是否可積，可以通過定義考察它的積分和是否能無限接近于某一個常數來判斷，但由于積分和的復雜性和那個常數不易預知，要想用定義來證明可積性在很多時候很有難度。下面給出的可積性準則只與被積函數本身有關，而不涉及其積分的值。對于給出的性質，介于篇幅有限，這里不予以詳細的證明，有興趣的讀者可參照華東師版教材第九章第六節的介紹。

定義1 設 在上可積，為對的任一分割。在每一個曲線段存在上、下確界：， 。稱關于分割的上和與下和，其中。

由定義1易見，對于任給的分割， 顯然有

與積分和相比較，上和與下和只與分割有關，而與點集無關。由不等式（*），就能通過討論上和與下和當時的極限來揭示 的可積性。

性質1：上和單調不增，下和單調不減，即對的任一分割及在下添加個新分點所得到的分割來說，有：

（1）

（2）

性質2 若與為任意兩個分割，記與的所有分點合并在一起得到的分割為（重復的分點只取一次），則有

（3）

（4）

性質3 對任意的兩個分割與，總有

性質3表明任意一個分割的下和總不大于另一個分割的上和。因此所有下和有上界，所有上和有下界，從而分別存在上、下確界，將其記作：，分別記為在上的上、下積分。

性質4：上、下積分是上和與下和在時的極限，即：

3 可積的充要條件

定理2 函數在上可積的充要條件是：在上的上積分與下積分相等。即。

證必要性設在可積，，由定義，對，當時，有。又因與分別為積分和的上、下確界，所以當時，，這就說明當時，與都以為極限，由性質4可得。

充分性設，由性質4，，從而對，當時滿足，從而函數在上可積，且。

定理3 函數在在可積的充要條件是：，存在對的一個分割，使得，即 。其中表示第個曲線段上的振幅，。

證由定理2易得。

4 可積的充分條件

定理4 若函數在上連續，則函數在可積。

證由于在上連續，且為光滑可求長的曲線，故在上一致連續。即，對于上的任意兩點，，，只要，便有，所以只要對所作的分割滿足的條件下，在所屬的任一小曲線段上，都有，從而有，由定理3知函數在上可積。

5 可積的性質

乘積性質 若，為定義在平面上可求長度的曲線段上的函數，且、、都存在，則也存在。

證由于在上都可積，則在上都有界，不妨設

若，結論顯然成立。故不妨令。對，由于在上可積，則必定存在分割，使得 ，記，對于上的所屬每一個曲線段，有

于是。

則在 在上也可積。

6 應用

例設函數在在上有定義，且對，存在上的可積函數，使得，。證明在上可積。

證 由已知，函數上可積，則對，存在一個分割，使得。又

可得到。由定理3可知，函數在上可積。

7 結論

本文通過類比一元函數定積分的可積性條件和性質的基礎上，給出了第一型曲線積分的上和與下和概念。第一型曲線積分的上和與下和的性質完全類似于一元函數定積分的上和與下和。通過對第一型曲線積分的上和與下和的研究可以看出，第一型曲線積分的可積性條件（包括必要條件、充分條件和充要條件）及其性質可以從一元函數定積分的可積條件和性質進行推廣，這為完善第一型曲線積分可積性理論有一定的參考價值。鑒于篇幅所限，第一型曲線積分的性質沒有一一列出，有興趣的讀者可以仿照本文的推導進行考慮，不再贅述。

基金項目：重慶文理學院科研項目[編號：XSKY2016030]

參考文獻

[1] 范國良.兩類曲線積分解題方法比較及錯誤分析[J].數學學習與研究，2016（11）：108.

[2] 華東師范大學數學系.數學分析（上冊）第四版[M].北京：高等教育出版社，2010.7：209-212，234-239.