有界変動函数

解析学における有界変動の函数あるいは有界変動函数は、その変動が有界、すなわち全変動が有限値となるような実数値函数を言う。この性質は函数のグラフが以下に述べる意味において素性のよい  ものであることを述べるものである。話を一変数の連続函数に限定すれば、有界変動であることはその連続函数のグラフ上を奔る動点のy}}-軸方向への移動距離が有限であることを意味する。多変数の連続函数の場合にもこれは同様の意味を持つのであるが、考えるべき動点の辿る連続な路としては、与えられた函数のグラフ全体を取ることができないという事実があるので、函数のグラフと固定された x}}-軸および y}}-軸に平行な任意の超平面との交叉を取る必要がある。

有界変動の函数があれば、その函数に関するリーマン&ndash;スティルチェス積分が任意の連続函数に対して定められる。
別な特徴付けとして、有界閉区間上の有界変動函数は二つの有界単調増大函数の差として表される。多変数の場合、開集合上定義された函数が有界変動となるのは、その函数の弱微分がベクトル値の有限ラドン測度となるときである。

有界変動函数の最も重要な側面の一つは、その全体が殆ど至る所一階微分の存在する不連続函数の成す函数環に一致することである。この事実により、数学・物理学・工学などにおける汎函数・常および偏微分方程式を含む非線型問題の弱解を定めるのに有界変動函数を用いることが可能で、しばしば用いられる。超函数の乗法問題やより一般の超函数に対する一般非線型演算の定義問題を考えるとき、有界変動函数の環は、乗法の結果を保つ任意の超函数空間に埋め込まれるべき最小の函数環である。

1. 歴史
-----

Boris Golubov によれば、一変数の有界変動函数を初めて導入したのはカミーユ・ジョルダンで、フーリエ級数の収束を扱った論文 Jordan においてである。多変数函数に対する有界変動の概念の一般化に成功した最初の段階はレオニダ・トネリによるもの で、トネリは1926年に、変分法における問題の解を求めるための、自身の直接法を多変数に拡張するために、連続有界変動函数のクラスを導入したCesari。Cesari はトネリの定義における連続性の仮定をより制限の緩い「可積分性」の要求に置き換えて、全く一般の多変数有界変動函数のクラスを初めて得ている。ジョルダンがかつてしたように、チェザリはこれをフーリエ級数の収束問題の解法に用いたが、それは「二変数」の函数に対するものであった。チェザリ以降、さまざまな数学者たちが、有界変動函数を多変数のフーリエ級数、幾何学的測度論、変分法および数理物理学に応用した。レナート・カッチョポリとエンニオ・デ・ジョルジは、集合の滑らかでない境界の測度を定義するために有界変動函数を用いた。Oleinik は非線型偏微分方程式に対する弱解として有界変動函数の空間 BV}} から取った函数を見る観点を導入し、論文 Oleinik で一階偏微分方程式の有界変動な弱解の構成に成功した。Conway は一変数の一階非線型双曲型偏微分方程式の研究に有界変動函数を応用し、そのような方程式のコーシー問題の解が有界変動函数であることを示した。アイザック・イサコヴィッチ・フォルペルトは有界変動函数に対するより広汎な解析学を展開した。論文 Vol'pert において有界変動函数に対する連鎖律が証明され、弟子との共著 Hudjaev において有界変動函数の性質とその応用について広く調べられている。この連鎖律の公式は後に Ambrosio によって拡張されている。

2. 定義
-----

2.1. 一変数の場合
-----------

定義 1 : 実数直線内の区間 closed-closed 上で定義された実数値函数 f}} の全変動 1=subsup は で定義される量である。ここに上限と下限は与えられた区間の分割の全体 1=unicode に亙ってとるものとする。f}} が微分可能かつその導函数がリーマン可積分ならば、f}} の全変動はグラフの弧長の垂直成分 に等しい。

定義 2 : 実数直線上で定義された実数値函数 f}} が、与えられた区間 closed-closed 上で有界変動であるとは、その区間における f}} の全変動が有限となるときに言う。記号で書けば、実函数 ƒ}} が closed-closed 上で有界変動となるための必要十分条件が、bracket 上で広義単調増大な二つの函数の差 1=//ƒ// = //ƒ//sub に書けることであることが示せる。このような差への分解をジョルダン分解 と呼び、測度のジョルダン分解と関連する。

スティルチェス積分を考えることにより、閉区間 closed-closed 上の任意の有界変動函数は連続函数の空間 //C//closed-closed 上の有界線型汎函数を定める。その特別の場合として、リースの表現定理は任意の有界線型汎函数がこの方法で一意に得られることを述べる。正規化された正値函数あるいは確率測度は広義単調増大下半連続な正値函数に対応する。このような観点はスペクトル論において、特に常微分方程式のスペクトル論への応用において重要である。

2.2. 多変数の場合
-----------

多変数の函数が有界変動であるとは、その超函数微分が有限測度ラドン測度となるときに言う。より精確に:

定義 3 : Ω}} を ℝsup の開集合とする。可積分函数 //u// ∈ [[ルベーグ空間 が有界変動、すなわち //u// ∈ //BV//}} であるとは、有限測度ベクトル値ラドン測度 //Du// ∈ ℳ(Ω, Rsup が存在して、以下の等式 を満たすときに言う。つまり、u}} は積分により Ω}} に含まれるコンパクト台を持つ連続的微分可能ベクトル値函数の空間 subsup 上の線型汎函数を定めるが、したがってベクトル測度 Du}} はシュヴァルツ超函数としての u}} の微分あるいは弱勾配である。

全変動による同値な定義もできる:

定義 4 : 可積分函数 //u// ∈ [[ルベーグ空間 の Ω}} における全変動 は で定義される。ここに、norm は Ω}} 上の本質的上限ノルムである。 カチョッポリ集合の理論などでは、これが u}} の弱勾配 Du}} の全変動であることを強調するために 1=intmath のように書くこともある。同じ記号は u}} が //C//sup-級のときにも用いられ、この場合には実際に u}} の勾配の絶対値の積分になっている。 このとき、有界変動函数全体の成す空間は と定義することができる。この二つの定義が同値であることは以下のようにしてわかる。//V// < +∞}} ならば したがって //φ// mapsto}} intmath は空間 subsup 上の連続線型汎函数を定める。subsup は線型部分空間であるから、ハーン&ndash;バナッハの定理により、先ほどの連続線型汎函数は //C//sup の全体まで連続かつ線型に延長できる。従って、この連続線型汎函数はリース–マルコフ–角谷の表現定理によりラドン測度を定義する。

2.3. 局所有界変動
-----------

先の定義 2, 3, 4 において、大域可積分函数を考える代わりに局所可積分函数の空間 subsup を考えれば局所有界変動函数の空間が定まる。具体的に、定義 4 に対してこのような考えを適用するとき、Ω}} の前コンパクト開部分集合 //U// ∈ //unicode における局所変動  は として定義され、対応する局所有界変動函数のクラスが として定まる。//

2.4. 記法についての注意
--------------

局所および大域の有界変動函数の空間を表す記号法について、基本的には二つの異なる規約が存在し、困ったことにそれら二つはよく似ている。一つは本項でも用いた記法であり、例えば Giusti , Hudjaev , Giaquinta で用いられているものだが、

//BV//}} は大域有界変動函数の空間を表し
//BV//sub が局所有界変動函数の空間を表すというものである。いま一つは、Vol'pert および Maz'ya  で用いられたもので、

overline で大域有界変動函数の空間を表し、
//BV//}} が局所有界変動函数の空間を表すというものである。

3. 一般化
------

3.1. 重み付き有界変動函数
---------------

全変動の概念を一般化して、重み付き全変動を考えることができる。より精確に、任意の単調増大函数 //φ//: closed-open で 1=//φ// = //φ// = underset を満たすものを重み函数とし、//f//: closed-closed は実数直線内の区間 closed-closed 上で定義されノルム空間 X}} に値を取る函数とする。このとき、f}} の closed-closed 上の φ}}-変動は で定義される。ここで、ふつうは、上限 sup は区間 closed-closed の有限分割全てを亙ってとる。

もともとの全変動は重み函数 φ}} が恒等写像で与えられる特別な種類の φ}}-変動として考えることができる。そこで可積分函数 f}} が重み φ}} に関する重み付き有界変動函数あるいは重み φ}}-付き有界変動函数、φ}}-BV函数とは、その φ}}-変動が有限となることと定める。

空間 //BV//sub はノルム に関して位相線型空間を成す。ただし、norm は f}} の上限ノルムである。重み付き有界変動函数を導入し完全に一般に研究したのは Musielak である。

3.2. 特殊有界変動函数
-------------

特殊有界変動函数は自由不連続性変分問題を扱った論文 Ambrosio で導入された。与えられた開集合 Ω ⊂ ℝsup に対して特殊有界変動函数の空間 //SBV//}} は //BV//}} の真の部分空間になる。というのも、その空間に属する各函数の弱勾配は、以下の定義に見るように、 n}}-次元の台と }}-次元の台を持つ測度の和に表されるからである。

定義: 局所可積分函数 u}} が //SBV//}} に属するとは、以下の二条件がともに満足されることを言う:# 二つのボレル可測函数 //f//, //g//: Ω → ℝexp が存在して を満たす。
Ω}} に含まれるコンパクト台を持つ任意の連続的微分可能ベクトル値函数 φ}}, すなわち任意の //φ// ∈ subsup に対して、等式 が成り立つ。 ここで Hsup は α}}-次元ハウスドルフ測度である。特殊有界変動函数の性質の詳細は参考文献節に挙げられた文献を参照、特に論文 De Giorgi には有用な参考文献が挙げられている。

3.3. 有界変動数列
-----------

バナハ空間の例として Dunford は有界変動函数の空間に加えて有界変動数列の空間を考える。実または複素数列 1=//x// = (//xind の全変動は で定義される。全変動が有限であるような数列全体の成す空間 bv}} は で定められるノルムに関してバナッハ空間を成す。//

全変動それ自体も bv}} の適当な部分空間上のノルムを定める。すなわち、1=underset なる数列 1=//x// = (//xind 全体の成す空間 //bv//sub 上のノルムが で与えられる。このノルムに関して //bv//ind もバナッハ空間となる。//

3.4. 有界変動測度
-----------

可測空間 }} 上の符号付き測度μ}} が有界変動であるとは、その測度の全変動 1=norm が有限となるときに言う。

4. 関連項目
-------

エンニオ・デ・ジョルジ
ヘリーの選択定理
局所可積分函数
ルベーグ空間
ルベーグ&ndash;スティルチェス積分
ラドン測度
リーマン&ndash;スティルチェス積分

5. 注
----

6. 参考文献
-------

6.1. 理論
-------

last =Ambrosio.

last = Dunford. Includes a discussion of the functional-analytic properties of spaces of functions of bounded variation.

last = Giaquinta.

last = Giusti, particularly part I, chapter 1 "//Functions of bounded variation and Caccioppoli sets//". A good reference on the theory of Caccioppoli sets and their application to the Minimal surface problem.

last = Halmos. The link is to a preview of a later reprint by Springer-Verlag.

last = Hudjaev. The whole book is devoted to the theory of //BV//}} functions and their applications to problems in mathematical physics involving discontinuous functions and geometric objects with non-smooth boundaries.

last = Kannan. Maybe the most complete book reference for the theory of //BV//}} functions in one variable: classical results and advanced results are collected in chapter 6 "//Bounded variation//" along with several exercises. The first author was a collaborator of Lamberto Cesari.

first=Andrej N..

last = Màlek. One of the most complete monographs on the theory of Young measures, strongly oriented to applications in continuum mechanics of fluids.

last = Maz'ya particularly chapter 6, "On functions in the space //BV//}}". One of the best monographs on the theory of Sobolev spaces.
last = Musielak. In this paper, Musielak and Orlicz developed the concept of weighted //BV//}} functions introduced by Laurence Chisholm Young to its full generality.

last = Vol'pert. A seminal paper where Caccioppoli sets and //BV//}} functions are thoroughly studied and the concept of functional superposition is introduced and applied to the theory of partial differential equations: it was also translated in English as title = Spaces math.

6.2. 歴史
-------

last = Adams.

last = Alberti. In this paper, the authors prove the compactness of the space of SBV functions.

last = Ambrosio. A paper containing a very general chain rule formula for composition of BV functions.

last = Ambrosio. "//A new kind of functional in the calculus of variations//"  is the first paper on the //SBV//}} functions and related variational problems.

last = Cesari. Available at [1]. In the paper "//On the functions of bounded variation//"  Cesari he extends the now called //Tonelli plane variation// concept to include in the definition a subclass of the class of integrable functions.

first = Lamberto. "//The work of Leonida Tonelli and his influence on scientific thinking in this century//"  is an ample commemorative article, reporting recollections of the Author about teachers and colleagues, and a detailed survey of his and theirs scientific work, presented at the //International congress in occasion of the celebration of the centenary of birth of Mauro Picone and Leonida Tonelli// .

last = Conway. An important paper where properties of //BV// functions were applied to obtain a global in time existence theorem for //single// hyperbolic equations of first order in any number of variables.

first = Ennio. "//Free-discontinuity variational problems//"  is a survey paper on free-discontinuity variational problems including several details on the theory of //SBV// functions, their applications and a rich bibliography.

last = Faleschini. "//On the definitions and properties of functions of bounded variation of two variables//"  is a paper surveying the many different definitions of "//Total variation//" and associated functions of bounded variation: this is the first part .

last = Faleschini. "//On the definitions and properties of functions of bounded variation of two variables//"  is a paper surveying the many different definitions of "//Total variation//" and associated functions of bounded variation: this is the second part .

last = Jordan. This is, according to Boris Golubov, the first paper on functions of bounded variation.

last = Oleinik. An important paper where the author describes generalized solutions of nonlinear partial differential equations as //BV//}} functions.

last = Oleinik. An important paper where the author constructs a weak solution in //BV// for a nonlinear partial differential equation with the method of vanishing viscosity.

Tony F. Chan and [2] , [3], SIAM Publisher, ISBN 0-89871-589-X .

7. 外部リンク
--------

7.1. 理論
-------

id=6969.
[4] at [5]

7.2. その他
--------

Luigi Ambrosio [6] at the Scuola Normale Superiore, Pisa. Academic home page  of one of the contributors to the theory and applications of BV functions.
[7], Scuola Normale Superiore, Pisa.