中文数学 Wiki
Advertisement

有界變差函數(function of finite variation, BV function)是一種藉助描述函數震盪快慢的量而定義的函數。向量值測度的有界變差性在泛函分析中經常會用到,詳見向量值測度#變差

這個頁面主要介紹一元函數的有界變差函數,多元函數的情形參見/多元函數

概念[]

定義在區間上,做一個分劃,稱以下數值

為函數上的變差,而
稱為上的全變差,即取所有變差的上確界。如果
我們就說上的有界變差函數。所有有界變差函數的全體記作

展開例子摺疊例子

  1. 上的有界單調函數滿足是有界變差函數。
  2. 上的可微函數也是有界變差函數。
  3. 函數則不是任意包含原點的區間上的有界變差函數。

Jordan 分解定理[]

當且僅當存在上的遞增實值函數使得實際上,

由上式定義的函數
上的遞增函數。

,那麼上幾乎處處可微,且

假設同上,如果連續,那麼也在處連續。

基本性質[]

  1. 有界單調函數是有界變差的。
  2. 同一區間上的有界變差函數的和與差依然是有界變差的。
  3. 有界變差函數一定是有界的。
  4. ,則有
  5. 當且僅當上的常值函數。
  6. ,那麼
  7. ,那麼
  8. 上是 Lipschitz 連續的,那麼
  9. ,級數上收斂,那麼
  10. 有界變差函數列的極限函數若存在,則其為有界變差函數。

測度情形[]

測度的有界變差性質可以通過 Jordan 分解來給出。關於符號測度著名的 Hahn-Jordan 分解定理指出:給定可測空間上的符號測度,首先我們定義如下非負單調規範的集函數

那麼存在測度和有限測度使得
上述分解稱為的 Jordan 分解,這種分解是唯一的。測度分別稱為的上變差和下變差,而稱為全變差,它們都是測度。如果是有限的,我們就稱是有界變差測度。

函數空間[]

有界變差函數可以在一定意義下構成賦范線性空間,我們以一維的有界變差函數為例說明:

假設是區間上的實值或復值有界變差函數全體構成的空間,線性運算按照通常函數加法和數乘進行,這是一個線性空間,然而注意一個區間上的有界變差函數在其跳躍間斷點(若有)上可以任意改變其值,要避免這樣的情況所帶來的麻煩(要讓下面定義的範數滿足其定義的正定性質),我們可以把有界變差函數規範化為左連續函數,令

這樣定義其上的範數
可以驗證它確實是範數,因此賦范線性空間,同時可以證明它還是 Banach 空間

它的一個子空間或記作的範數就是全變差。這個空間和全體完全可加的 Borel 可測集函數(即 Borel 符號測度)構成的空間是等距同構的,因此空間連續函數空間對偶空間。這個思想十分重要,它為我們將有界變差函數推廣到多元函數的情形中去提供了一種定義推廣的方法。

等距同構。
關於這個定理/命題的證明,單擊這裏以顯示/摺疊
  1. 給定一個完全可加的 Borel 可測集函數,定義,這樣是規範的左連續的有界變差函數。
    1. 左連續性質:由 Heine 定理,對任意中單調遞增趨近於的數列而言,我們需要說明,這是測度的下連續性
    2. 有界變差性質:由 Hahn-Jordan 分解可知存在測度使得,我們說明都是單調遞增的進而由#Jordan 分解定理得到結果,不妨考察,由測度的飛赴性質立即得到是單調遞增的,進而是有界變差的。
  2. 考察上述映射的逆:對於規範的左連續的有界變差函數
    1. 先考察單調遞增的函數,定義
      由於中生成了全體 Borel 集,於是上述定義的就決定了上的一個 Borel 集函數,下面我們說明它是測度。
      1. 非負性有單調遞增性質得到。
      2. 可列可加性:由於,進而對任意 Borel 集成立
    2. 對一般的規範的左連續有界變差函數,由#Jordan 分解定理可知存在單調遞增,規範,左連續且是有界變差的,這樣應用剛才的結果得到兩個測度,於是是符號測度。
  3. 映射的等距性質取決於上定義的如下和全變差等價的範數:
    這裏的全變差,這個範數的等價刻畫參見變差#複測度情形

下面我們將指出上述對應於實際上就是的廣義導數。

假設,那麼上述同構的(作為一個上的函數)的廣義導數
關於這個定理/命題的證明,單擊這裏以顯示/摺疊

Lebesgue 分解存在使得

  1. 絕對連續。
  2. 是純原子測度,進而由此決定的函數是單調遞增的分段常值函數。
  3. 奇異,且對任意成立,這也就是說是連續的非常值的有界變差函數,同時具有幾乎處處為零的弱導數。

由於共軛空間,由共軛算子的範數的定義有

注意到決定了同一個測度,這就是說
於是

上面這個定理可以引導我們在中定義有界變差函數,參見/多元函數

參考資料

  1. 周民強, 《實變函數論(第三版)》, 北京大學出版社, 北京, 2016-10, ISBN 978-7-3012-7647-1.
  2. Lawrence C. Evans, Ronald F. Gariepy, Measure Theory and Fine Properties of Functions(4th Ed.), Studies in Advanced Mathematics Vol.5, CRC Press, 1991, ISBN 978-0-8493-7157-8.
  3. 張恭慶, 《變分學講義》, 高等教育出版社, 北京, 2011-06, ISBN 978-7-0403-1958-3.
Advertisement