有界変動函数

解析学における有界変動の函数（ゆうかいへんどうのかんすう、英: function of bounded variation）あるいは有界変動函数（ $BV$ -function; BV函数）は、その変動が有界、すなわち全変動（英語版）が有限値となるような実数値函数を言う。この性質は函数のグラフが以下に述べる意味において素性のよい (well behaved) ものであることを述べるものである。話を一変数の連続函数に限定すれば、有界変動であることはその連続函数のグラフ上を奔る動点の（ $x$ -軸方向への寄与分は無視して） $y$ -軸方向への移動距離が有限であることを意味する。多変数の連続函数の場合にもこれは同様の意味を持つのであるが、考えるべき動点の辿る連続な路としては、与えられた函数のグラフ全体（今の場合これは超曲面になる）を取ることができないという事実があるので、函数のグラフと固定された $x$ -軸および $y$ -軸に平行な任意の超平面との交叉を取る必要がある。

有界変動の函数があれば、その函数に関するリーマン–スティルチェス積分が任意の連続函数に対して定められる。
別な特徴付けとして、有界閉区間（コンパクト区間）上の有界変動函数は二つの有界単調増大函数の差として表される。

多変数の場合、開集合上定義された函数が有界変動となるのは、その函数の弱微分（超函数の意味での微分）がベクトル値の有限ラドン測度となるときである。

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

歴史

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

定義

一変数の場合

定義 1.1. (全変動): 実数直線内の区間 $[a, b] \subset ℝ$ 上で定義された実数値（あるいはより一般に複素数値）函数 $f$ の全変動（英語版） $V b a (f) (= V [a, b] (f) = V (f, [a, b]))$ は $V_{a}^{b}(f):=\sup _{P\in {\mathcal {P}}}\sum _{i=0}^{n_{P}-1}|f(x_{i+1})-f(x_{i})|$ で定義される量である。ここに上限（英語版）は与えられた区間の分割の全体 $𝒫 = {P = {x 0, \dots, x n P} : P は区間 [a, b] の分割}$ に亙ってとるものとする。

$f$ が微分可能かつその導函数がリーマン可積分ならば、 $f$ の全変動はグラフの弧長の垂直成分 ${\textstyle V_{a}^{b}(f)=\int _{a}^{b}|f'(x)|\,{\mathit {dx}}}$ に等しい。

定義 1.2. (有界変動函数): 実数直線上で定義された実数値函数 $f$ が、与えられた区間 $[a, b] \subset ℝ$ 上で有界変動であるとは、その区間における $f$ の全変動が有限となるときに言う。記号で書けば、 $f\in BV([a,b]){\stackrel {\text{def}}{{}\iff {}}}V_{a}^{b}(f)<+\infty .$

実函数 $ƒ$ が $[a, b]$ 上で有界変動となるための必要十分条件が、 $[a, b]$ 上で広義単調増大な二つの函数の差 $ƒ = ƒ 1 - ƒ 2$ に書けることであることが示せる。このような差への分解を（函数の）ジョルダン分解^[2] と呼び、測度のジョルダン分解と関連する。

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

多変数の場合

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

定義 2.1. (多変数の有界変動函数): $Ω$ を $ℝ n$ の開集合とする。可積分函数 $u \in L 1 (Ω)$ が有界変動、すなわち $u \in BV (Ω)$ であるとは、有限（英語版）ベクトル値ラドン測度 $Du \in ℳ(Ω, R n)$ が存在して、以下の等式 $\int _{\Omega }u(x)\operatorname {div} \varphi (x){\mathit {dx}}=-\int _{\Omega }\langle \varphi ,Du(x)\rangle \quad (\forall \varphi \in C_{c}^{1}(\Omega ,\mathbb {R} ^{n})$ を満たすときに言う。

つまり、 $u$ は積分により $Ω$ に含まれるコンパクト台を持つ連続的微分可能ベクトル値函数の空間 $C 1 c (Ω, R n)$ 上の線型汎函数を定めるが、したがってベクトル測度 $Du$ はシュヴァルツ超函数としての $u$ の微分あるいは弱勾配である。

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

定義 2.2. (多変数の全変動): 可積分函数 $u \in L 1 (Ω)$ の $Ω$ における全変動（英語版）は $V(u,\Omega )=V_{\Omega }(u):=\sup \left\{\int _{\Omega }u(x)\,\operatorname {div} \varphi (x){\mathit {dx}}:\varphi \in C_{c}^{1}(\Omega ,\mathbb {R} ^{n}),\,\|\varphi \|_{\infty }\leq 1\right\}$ で定義される。ここに、 $‖ • ‖ \infty$ は $Ω$ 上の本質的上限ノルムである。; カチョッポリ集合（英語版）の理論などでは、これが $u$ の弱勾配 $Du$ の全変動であることを強調するために $\int Ω ‖ Du ‖ := V (u, Ω)$ のように書くこともある。同じ記号は $u$ が $C 1$ -級（つまり連続かつ微分可能であって、導函数も連続）のときにも用いられ、この場合には実際に $u$ の（真の）勾配の絶対値の積分になっている。; このとき、有界変動函数全体の成す空間は $BV(\Omega )=\{u\in L^{1}(\Omega )\colon V(u,\Omega )<+\infty \}$ と定義することができる。

この二つの定義が同値であることは以下のようにしてわかる。 $V (u, Ω) < +\infty$ ならば $\left|\int _{\Omega }u(x)\operatorname {div} \varphi (x){\mathit {dx}}\right|\leq V(u,\Omega )\Vert \varphi \Vert _{\infty }\quad (\forall \varphi \in C_{c}^{1}(\Omega ,\mathbb {R} ^{n}),$ したがって $φ \mapsto \int Ω u (x) div φ (x) dx$ は空間 $C 1 c (Ω, R n)$ 上の連続線型汎函数を定める。 $C 1 c (Ω, R n \subset C 0 (Ω, R n)$ は線型部分空間であるから、ハーン–バナッハの定理により、先ほどの連続線型汎函数は $C 0 (Ω, R n)$ の全体まで連続かつ線型に延長できる。従って、この連続線型汎函数はリース–マルコフの定理（英語版）によりラドン測度を定義する。

局所有界変動

先の定義 1.2, 2.1, 2.2 において、大域可積分函数を考える代わりに局所可積分函数の空間 $L 1 loc (Ω)$ を考えれば局所有界変動函数の空間が定まる。具体的に、定義 2.2 に対してこのような考えを適用するとき、 $Ω$ の（有限次元線型空間の標準位相に関する）前コンパクト開部分集合 $U \in 𝒪 c (Ω)$ における局所変動 (local variation) は $V(u,U)=V_{U}(u):=\sup \left\{\int _{\Omega }u(x)\operatorname {div} \varphi (x){\mathit {dx}}:\varphi \in C_{c}^{1}(U,\mathbb {R} ^{n}),\,\Vert \varphi \Vert _{\infty }\leq 1\right\}$ として定義され、対応する局所有界変動函数のクラスが $BV_{\text{loc}}(\Omega )=\{u\in L_{\text{loc}}^{1}(\Omega ):V(u,U)<+\infty \;(\forall U\in {\mathcal {O}}_{c}(\Omega ))\}$ として定まる。

記法についての注意

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

$BV (Ω)$ は大域有界変動函数の空間を表し
$BV loc (Ω)$ が局所有界変動函数の空間を表す

というものである。いま一つは、Vol'pert (1967) および Maz'ya (1985) (partially) で用いられたもので、

$BV (Ω)$ で大域有界変動函数の空間を表し、
$BV (Ω)$ が局所有界変動函数の空間を表す

というものである。

一般化

重み付き有界変動函数

全変動（英語版）の概念を一般化して、重み付き全変動を考えることができる。より精確に、任意の単調増大函数 $φ : [0, +\infty) \to [0, +\infty)$ で $φ (0) = φ (0+) = lim x \to+0 φ (x) = 0$ を満たすものを重み函数（英語版）とし、 $f : [0, T] \to X$ は実数直線内の区間 $[0, T] \subset ℝ$ 上で定義されノルム空間 $X$ に値を取る函数とする。このとき、 $f$ の $[0, T]$ 上の $φ$ -変動は $V_{\varphi ,[0,T]}(f):=\sup \sum _{j=0}^{k}\varphi (\|f(t_{j+1})-f(t_{j})\|_{X})$ で定義される。ここで、ふつうは、上限 sup は区間 $[0, T]$ の有限分割（すなわち $0 = t 0 < t 1 < \dots < t k = T$ を満たす実数 $t i$ からなる有限集合）全てを亙ってとる。

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

f\in BV_{\varphi }([0,T];X)\iff V_{\varphi ,[0,T]}(f)<+\infty .

空間 $BV φ ([0, T]; X)$ はノルム $\|f\|_{BV_{\varphi }}:=\|f\|_{\infty }+V_{\varphi ,[0,T]}(f)$ に関して位相線型空間を成す。ただし、 $‖ f ‖ \infty$ は $f$ の上限ノルムである。重み付き有界変動函数を導入し完全に一般に研究したのは Musielak & Orlicz (1959) である（Laurence Chisholm Young は正整数 $p$ に対する $φ (x) = x p$ の場合に先駆的な研究を残した）。

特殊有界変動函数

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

定義: 局所可積分函数 $u$ が $SBV (Ω)$ に属するとは、以下の二条件がともに満足されることを言う:

二つのボレル可測函数（英語版） $f, g : Ω \to ℝ n$ が存在して $\int _{\Omega }\vert f\vert dH^{n}+\int _{\Omega }\vert g\vert dH^{n-1}<+\infty$ を満たす。 $Ω$ に含まれるコンパクト台を持つ任意の連続的微分可能ベクトル値函数 $φ$ , すなわち任意の $φ \in C 1 c (Ω, R n)$ に対して、等式 $\int _{\Omega }u\operatorname {div} \phi \,dH^{n}=\int _{\Omega }\langle \phi ,f\rangle dH^{n}+\int _{\Omega }\langle \phi ,g\rangle dH^{n-1}$ が成り立つ。: ここで $H α$ は $α$ -次元ハウスドルフ測度（英語版）である。

特殊有界変動函数の性質の詳細は参考文献節に挙げられた文献を参照、特に論文 (De Giorgi 1992) には有用な参考文献が挙げられている。

有界変動数列

バナハ空間の例として Dunford & Schwartz (1958, Chapter IV) は有界変動函数の空間に加えて有界変動数列の空間を考える。実または複素数列 $x = (x i)$ の全変動は $V_{T}(x)=\sum _{i=1}^{\infty }|x_{i+1}-x_{i}|$ で定義される。全変動が有限であるような数列全体の成す空間 $bv$ は $\|x\|_{bv}=|x_{1}|+V_{T}(x)=|x_{1}|+\sum _{i=1}^{\infty }|x_{i+1}-x_{i}|$ で定められるノルムに関してバナッハ空間を成す。

全変動それ自体も $bv$ の適当な部分空間上のノルムを定める。すなわち、 $lim n \to\infty x n = 0$ なる数列 $x = (x n)$ 全体の成す空間 $bv 0$ 上のノルムが $\|x\|_{bv_{0}}=V_{T}(x)=\sum _{i=1}^{\infty }|x_{i+1}-x_{i}|$ で与えられる。このノルムに関して $bv 0$ もバナッハ空間となる。

有界変動測度

可測空間 $(X, Σ)$ 上の符号付き測度（あるいは複素測度） $μ$ が有界変動であるとは、その全変動（英語版） $‖ μ ‖ = | μ |(X)$ が有限となるときに言う（詳細は Halmos (1950, p. 123), Kolmogorov & Fomin (1969, p. 346) を参照）。

注

^ トネリが導入したものは、今日ではトネリに因んでトネリ平面変動 (Tonelli plane variation) と呼ばれるものである。この概念および関連するほかの一般化に関する解析は全変動（英語版）の項を参照せよ。
^ Hazewinkel, Michiel, ed. (2001), “Jordan decomposition of a function”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
^ 例えば Kolmogorov & Fomin (1969, pp. 374–376).
^ この話題に関する一般論は Riesz & Szőkefalvi-Nagy (1990) 参照.

参考文献

理論

Ambrosio, Luigi; Fusco, Nicola; Pallara, Diego (2000), Functions of bounded variation and free discontinuity problems, Oxford Mathematical Monographs, Oxford: The Claredon Press / Oxford University Press, pp. xviii+434, ISBN 978-0-19-850245-6, MR1857292, Zbl 0957.49001 .
Brudnyi, Yuri (2007), “Multivariate functions of bounded $(k, p)$ –variation”, in Randrianantoanina, Beata; Randrianantoanina, Narcisse, Banach Spaces and their Applications in Analysis. Proceedings of the international conference, Miami University, Oxford, OH, USA, May 22--27, 2006. In honor of Nigel Kalton's 60th birthday, Berlin–Boston: Walter De Gruyter, pp. 37–58, doi:10.1515/9783110918298.37, ISBN 978-3-11-019449-4, MR2374699, Zbl 1138.46019
Dunford, Nelson; Jacob T., Schwartz (1958), Linear operators. Part I: General Theory, Pure and Applied Mathematics, VII, New York-London-Sydney: Wiley-Interscience, ISBN 0-471-60848-3, Zbl 0084.10402 . Includes a discussion of the functional-analytic properties of spaces of functions of bounded variation.
Giaquinta, Mariano; Modica, Giuseppe; Souček, Jiří (1998), Cartesian Currents in the Calculus of Variation I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, 37, Berlin-Heidelberg-New York: Springer Verlag, ISBN 3-540-64009-6, Zbl 0914.49001 .
Giusti, Enrico (1984), Minimal surfaces and functions of bounded variations, Monographs in Mathematics, 80, Basel-Boston-Stuttgart: Birkhäuser Verlag, pp. XII+240, ISBN 978-0-8176-3153-6, MR775682, Zbl 0545.49018 , 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.
Halmos, Paul (1950), Measure theory, Van Nostrand and Co., ISBN 978-0-387-90088-9, Zbl 0040.16802 . The link is to a preview of a later reprint by Springer-Verlag.
Hudjaev, Sergei Ivanovich; Vol'pert, Aizik Isaakovich (1985), Analysis in classes of discontinuous functions and equations of mathematical physics, Mechanics: analysis, 8, Dordrecht–Boston–Lancaster: Martinus Nijhoff Publishers, ISBN 90-247-3109-7, MR785938, Zbl 0564.46025 . 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.
Kannan, Rangachary; Krueger, Carole King (1996), Advanced analysis on the real line, Universitext, Berlin–Heidelberg–New York: Springer Verlag, pp. x+259, ISBN 978-0-387-94642-9, MR1390758, Zbl 0855.26001 . 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.
Kolmogorov, Andrej N.; Fomin, Sergej V. (1969), Introductory Real Analysis, New York: Dover Publications, pp. xii+403, ISBN 0-486-61226-0, MR0377445, Zbl 0213.07305 .
Màlek, Josef; Nečas, Jindřich; Rokyta, Mirko; Růžička, Michael (1996), Weak and measure-valued solutions to evolutionary PDEs, Applied Mathematics and Mathematical Computation, 13, London-Weinheim-New York-Tokyo-Melbourne-Madras: Chapman & Hall/CRC Press, pp. xi+331, ISBN 0-412-57750-X, MR1409366, Zbl 0851.35002 . One of the most complete monographs on the theory of Young measures, strongly oriented to applications in continuum mechanics of fluids.
Maz'ya, Vladimir G. (1985), Sobolev Spaces, Berlin-Heidelberg-New York: Springer-Verlag, ISBN 0-387-13589-8, Zbl 0692.46023 ; particularly chapter 6, "On functions in the space $BV (Ω)$ ". One of the best monographs on the theory of Sobolev spaces.
Moreau, Jean Jacques (1988), “Bounded variation in time”, in Moreau, J.J.; Panagiotopoulos, P.D.; Strang, G., Topics in nonsmooth mechanics, Basel-Boston-Stuttgart: Birkhäuser Verlag, pp. 1–74, ISBN 3-7643-1907-0, Zbl 0657.28008
Musielak, Julian; Orlicz, Władysław (1959), “On generalized variations (I)”, Studia Mathematica (Warszawa-Wrocław) 18: 13–41, Zbl 0088.26901 . In this paper, Musielak and Orlicz developed the concept of weighted $BV$ functions introduced by Laurence Chisholm Young to its full generality.
Riesz, Frigyes; Szőkefalvi-Nagy, Béla (1990), Functional Analysis, New York: Dover Publications, ISBN 0-486-66289-6, Zbl 0732.47001
Vol'pert, Aizik Isaakovich (1967), “Spaces $BV$ and quasi-linear equations” (Russian), Matematicheskii Sbornik, (N.S.) 73(115) (2): 255–302, MR216338, Zbl 0168.07402 . 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 “Spaces $BV$ and quasi-linear equations”, Mathematics USSR-Sbornik 2 (2): 225–267, (1967), doi:10.1070/SM1967v002n02ABEH002340, MR216338, Zbl 0168.07402 .

歴史

Adams, C. Raymond; Clarkson, James A. (1933), “On definitions of bounded variation for functions of two variables”, Transactions of the American Mathematical Society 35 (4): 824–854, doi:10.1090/S0002-9947-1933-1501718-2, MR1501718, Zbl 0008.00602 .
Alberti, Giovanni; Mantegazza, Carlo (1997), “A note on the theory of SBV functions”, Bollettino dell'Unione Matematica Italiana, IV Serie 11 (2): 375–382, MR1459286, Zbl 0877.49001 . In this paper, the authors prove the compactness of the space of SBV functions.
Ambrosio, Luigi; Dal Maso, Gianni (1990), “A General Chain Rule for Distributional Derivatives”, Proceedings of the American Mathematical Society 108 (3): 691–691, doi:10.1090/S0002-9939-1990-0969514-3, MR969514, Zbl 0685.49027 . A paper containing a very general chain rule formula for composition of BV functions.
Ambrosio, Luigi; De Giorgi, Ennio (1988), “Un nuovo tipo di funzionale del calcolo delle variazioni” (Italian), Atti della Accademia Nazionale dei Lincei, Rendiconti della Classe di Scienze Fisiche, Matematiche e Naturali, 8 82 (2): 199–210, MR1152641, Zbl 0715.49014 (with English summary). "A new kind of functional in the calculus of variations" (English translation of the title) is the first paper on the $SBV$ functions and related variational problems.
Cesari, Lamberto (1936), “Sulle funzioni a variazione limitata” (Italian), Annali della Scuola Normale Superiore, Serie II, 5 (3–4): 299–313, MR1556778, Zbl 0014.29605 . Available at Numdam. In the paper "On the functions of bounded variation" (English translation of the title) Cesari he extends the now called Tonelli plane variation concept to include in the definition a subclass of the class of integrable functions.
Cesari, Lamberto (1986), “L'opera di Leonida Tonelli e la sua influenza nel pensiero scientifico del secolo”, in Montalenti, G.; Amerio, L.; Acquaro, G. et al. (Italian), Convegno celebrativo del centenario della nascita di Mauro Picone e Leonida Tonelli (6–9 maggio 1985), Atti dei Convegni Lincei, 77, Roma: Accademia Nazionale dei Lincei, pp. 41–73 . "The work of Leonida Tonelli and his influence on scientific thinking in this century" (English translation of the title) 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 (held in Rome on May 6–9, 1985).
Conway, Edward D.; Smoller, Joel A. (1966), “Global solutions of the Cauchy problem for quasi–linear first–order equations in several space variables”, Communications on Pure and Applied Mathematics 19 (1): 95–105, doi:10.1002/cpa.3160190107, MR0192161, Zbl 0138.34701 . 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.
De Giorgi, Ennio (1992), “Problemi variazionali con discontinuità libere”, in Amaldi, E.; Amerio, L.; Fichera, G. et al. (Italian), Convegno internazionale in memoria di Vito Volterra (8–11 ottobre 1990), Atti dei Convegni Lincei, 92, Roma: Accademia Nazionale dei Lincei, pp. 39–76, ISSN 0391-805X, MR1783032, Zbl 1039.49507 . "Free-discontinuity variational problems" (English translation of the title) is a survey paper on free-discontinuity variational problems including several details on the theory of SBV functions, their applications and a rich bibliography.
Faleschini, Bruno (1956a), “Sulle definizioni e proprietà delle funzioni a variazione limitata di due variabili. Nota I.” (Italian), Bollettino dell'Unione Matematica Italiana, Serie III 11 (1): 80–92, MR80169, Zbl 0071.27901 . "On the definitions and properties of functions of bounded variation of two variables" (English translation of the title) is a paper surveying the many different definitions of "Total variation" and associated functions of bounded variation: this is the first part (Note I).
Faleschini, Bruno (1956b), “Sulle definizioni e proprietà delle funzioni a variazione limitata di due variabili. Nota II.” (Italian), Bollettino dell'Unione Matematica Italiana, Serie III 11 (2): 260–75, MR80169, Zbl 0073.04501 . "On the definitions and properties of functions of bounded variation of two variables" (English translation of the title) is a paper surveying the many different definitions of "Total variation" and associated functions of bounded variation: this is the second part (Note II).
Jordan, Camille (1881), “Sur la série de Fourier”, Comptes rendus hebdomadaires des séances de l'Académie des sciences 92: 228–230 (at Gallica). This is, according to Boris Golubov, the first paper on functions of bounded variation.
Oleinik, Olga A. (1957), “Discontinuous solutions of non-linear differential equations”, Uspekhi Matematicheskikh Nauk 12 (3(75)): 3–73, Zbl 0080.07701 (in Russian). An important paper where the author describes generalized solutions of nonlinear partial differential equations as $BV$ functions.
Oleinik, Olga A. (1959), “Construction of a generalized solution of the Cauchy problem for a quasi-linear equation of first order by the introduction of "vanishing viscosity"”, Uspekhi Matematicheskikh Nauk 14 (2(86)): 159–164, Zbl 0096.06603 (in Russian). 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 Jianhong (Jackie) Shen (2005), Image Processing and Analysis - Variational, PDE, Wavelet, and Stochastic Methods, SIAM Publisher, ISBN 0-89871-589-X (with in-depth coverage and extensive applications of Bounded Variations in modern image processing, as started by Rudin, Osher, and Fatemi).

外部リンク

理論

Golubov, Boris I.; Vitushkin, Anatolii G. (2001), “Variation of a function”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
BV function - PlanetMath.org（英語） .
Rowland, Todd and Weisstein, Eric W. "Bounded Variation". mathworld.wolfram.com (英語).
Function of bounded variation at Encyclopedia of Mathematics

その他

Luigi Ambrosio home page at the Scuola Normale Superiore, Pisa. Academic home page (with preprints and publications) of one of the contributors to the theory and applications of BV functions.
Research Group in Calculus of Variations and Geometric Measure Theory, Scuola Normale Superiore, Pisa.

この記事は、クリエイティブ・コモンズ・ライセンス表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目BV functionの本文を含む

[1] トネリが導入したものは、今日ではトネリに因んでトネリ平面変動 (Tonelli plane variation) と呼ばれるものである。この概念および関連するほかの一般化に関する解析は全変動（英語版）の項を参照せよ。

[2] Hazewinkel, Michiel, ed. (2001), “Jordan decomposition of a function”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

[3] 例えば Kolmogorov & Fomin (1969, pp. 374–376).

[4] この話題に関する一般論は Riesz & Szőkefalvi-Nagy (1990) 参照.

[1]

[2]

[3]

[4]

歴史

定義