Measure of local oscillation behavior
数学 において 、 全変化は、 関数 または 測度 の 余域の（ 局所的 または大域的な）構造 に関連する、わずかに異なるいくつかの概念を識別します 。 区間 [ a , b ] ⊂ R 上で定義された 実数値 連続関数 fの場合、定義区間におけるその全変化は、 x ∈ [ a , b ] に対して媒介変数方程式 x ↦ f ( x ) を持つ曲線の 1次元 弧長の測度です。全変化が有限である関数は 、有界変化の関数 と呼ばれます 。
歴史的注記 実変数1変数関数の全変分の概念は、 カミーユ・ジョルダンの 論文（Jordan 1881） [1] で初めて導入されました。彼はこの新しい概念を用いて、変分が 有界である 不連続 周期関数 の フーリエ級数 の収束定理を証明しました 。しかし、この概念を多変数関数に拡張することは、様々な理由から容易ではありません。
定義
1つの実変数の関数の全変化 定義1.1 実 数値（またはより一般的には 複素数 値） 関数 の 区間 上で定義される 全 変化 は
、 f {\displaystyle f} [ a , b ] ⊂ R {\displaystyle [a,b]\subset \mathbb {R} }
V a b ( f ) = sup P ∑ i = 0 n P − 1 | f ( x i + 1 ) − f ( x i ) | , {\displaystyle V_{a}^{b}(f)=\sup _{\mathcal {P}}\sum _{i=0}^{n_{P}-1}|f(x_{i+1})-f(x_{i})|,} ここで、 最大値は 与えられた 区間 のすべての 分割の 集合 にわたっています 。つまり、 となります 。 P = { P = { x 0 , … , x n P } ∣ P is a partition of [ a , b ] } {\displaystyle {\mathcal {P}}=\left\{P=\{x_{0},\dots ,x_{n_{P}}\}\mid P{\text{ is a partition of }}[a,b]\right\}} a = x 0 < x 1 < . . . < x n P = b {\displaystyle a=x_{0}<x_{1}<...<x_{n_{P}}=b}
関数の全変動 n > 1 実変数 定義1.2. [2] Ωを R n の 開部分 集合とする 。L 1 ( Ω )に属する 関数 f が与えられたとき、 Ω における f の 全変分 は次のように定義される 。
V ( f , Ω ) := sup { ∫ Ω f ( x ) div ϕ ( x ) d x : ϕ ∈ C c 1 ( Ω , R n ) , ‖ ϕ ‖ L ∞ ( Ω ) ≤ 1 } , {\displaystyle V(f,\Omega ):=\sup \left\{\int _{\Omega }f(x)\operatorname {div} \phi (x)\,\mathrm {d} x\colon \phi \in C_{c}^{1}(\Omega ,\mathbb {R} ^{n}),\ \Vert \phi \Vert _{L^{\infty }(\Omega )}\leq 1\right\},} どこ
C c 1 ( Ω , R n ) {\displaystyle C_{c}^{1}(\Omega ,\mathbb {R} ^{n})} は、に含まれる コンパクト台 を持つ 連続微分可能な ベクトル関数 の 集合 である 。 Ω {\displaystyle \Omega } ‖ ‖ L ∞ ( Ω ) {\displaystyle \Vert \;\Vert _{L^{\infty }(\Omega )}} は 本質的な最高 規範 であり、 div {\displaystyle \operatorname {div} } は発散 演算子です 。 この定義では、 与えられた関数の 定義域 が 有界集合である 必要はありません 。 Ω ⊆ R n {\displaystyle \Omega \subseteq \mathbb {R} ^{n}}
測度論における全変動
古典的な全変異の定義 Saks (1937, p. 10)に従って、 測定可能な空間 上の 符号付き測度を考えてみましょう。すると、2つの 集合関数 を定義でき 、 それぞれ 上変分 と 下変分 と呼ばれ、次のように
表されます。 μ {\displaystyle \mu } ( X , Σ ) {\displaystyle (X,\Sigma )} W ¯ ( μ , ⋅ ) {\displaystyle {\overline {\mathrm {W} }}(\mu ,\cdot )} W _ ( μ , ⋅ ) {\displaystyle {\underline {\mathrm {W} }}(\mu ,\cdot )}
W ¯ ( μ , E ) = sup { μ ( A ) ∣ A ∈ Σ and A ⊂ E } ∀ E ∈ Σ {\displaystyle {\overline {\mathrm {W} }}(\mu ,E)=\sup \left\{\mu (A)\mid A\in \Sigma {\text{ and }}A\subset E\right\}\qquad \forall E\in \Sigma } W _ ( μ , E ) = inf { μ ( A ) ∣ A ∈ Σ and A ⊂ E } ∀ E ∈ Σ {\displaystyle {\underline {\mathrm {W} }}(\mu ,E)=\inf \left\{\mu (A)\mid A\in \Sigma {\text{ and }}A\subset E\right\}\qquad \forall E\in \Sigma } 明らかに
W ¯ ( μ , E ) ≥ 0 ≥ W _ ( μ , E ) ∀ E ∈ Σ {\displaystyle {\overline {\mathrm {W} }}(\mu ,E)\geq 0\geq {\underline {\mathrm {W} }}(\mu ,E)\qquad \forall E\in \Sigma } 定義1.3 符号付き測度の変分（絶対変分とも呼ばれる） は 集合 関数 で ある μ {\displaystyle \mu }
| μ | ( E ) = W ¯ ( μ , E ) + | W _ ( μ , E ) | ∀ E ∈ Σ {\displaystyle |\mu |(E)={\overline {\mathrm {W} }}(\mu ,E)+\left|{\underline {\mathrm {W} }}(\mu ,E)\right|\qquad \forall E\in \Sigma } そしてその 全変動 は定義空間全体におけるこの測度の値として定義される。すなわち
‖ μ ‖ = | μ | ( X ) {\displaystyle \|\mu \|=|\mu |(X)}
全変動ノルムの現代的な定義 サックス（1937, p. 11）は、 ハーン・ジョルダン分解を 証明するために上変分と下変分を用いている。彼の定理によれば、上変分と下変分はそれぞれ 非負の 測度と 非正の 測度 である。より現代的な記法を用いると、
μ + ( ⋅ ) = W ¯ ( μ , ⋅ ) , {\displaystyle \mu ^{+}(\cdot )={\overline {\mathrm {W} }}(\mu ,\cdot )\,,} μ − ( ⋅ ) = − W _ ( μ , ⋅ ) , {\displaystyle \mu ^{-}(\cdot )=-{\underline {\mathrm {W} }}(\mu ,\cdot )\,,} と は 、 以下の 2つの非負 測度である。 μ + {\displaystyle \mu ^{+}} μ − {\displaystyle \mu ^{-}}
μ = μ + − μ − {\displaystyle \mu =\mu ^{+}-\mu ^{-}} | μ | = μ + + μ − {\displaystyle |\mu |=\mu ^{+}+\mu ^{-}} 最後の小節は、 表記法の誤用 により、 全変動小節 と呼ばれることもあります。
複合測度の総変動ノルム 測度 が 複素数値、すなわち 複素測度 である場合 、その上限と下限の変化は定義できず、ハーン・ジョルダン分解定理は実部と虚部にのみ適用できる。しかし、Rudin (1966, pp. 137–139) に従って、複素数値測度の全変化を 以下のように
定義することは可能である。 μ {\displaystyle \mu } μ {\displaystyle \mu }
定義1.4 複素数値測度の 変 分は 集合関数 である μ {\displaystyle \mu }
| μ | ( E ) = sup π ∑ A ∈ π | μ ( A ) | ∀ E ∈ Σ {\displaystyle |\mu |(E)=\sup _{\pi }\sum _{A\in \pi }|\mu (A)|\qquad \forall E\in \Sigma } ここで、 上限は、 測定可能な集合 を 可算数の互いに素な測定可能な部分集合に 分割するすべての部分集合にわたって取られます。 π {\displaystyle \pi } E {\displaystyle E}
この定義は、実数値の符号付き測度の場合の 上記の定義と一致します。 | μ | = μ + + μ − {\displaystyle |\mu |=\mu ^{+}+\mu ^{-}}
ベクトル値測度の全変動ノルム このように定義された変分は 正の測度 であり（Rudin (1966, p. 139) を参照）、 が 符号付き測度 である とき、 1.3で定義された変分と一致する。その全変分は上記のように定義される。この定義は が ベクトル測度 である 場合にも成り立つ 。その場合、変分は次の式で定義される。 μ {\displaystyle \mu } μ {\displaystyle \mu }
| μ | ( E ) = sup π ∑ A ∈ π ‖ μ ( A ) ‖ ∀ E ∈ Σ {\displaystyle |\mu |(E)=\sup _{\pi }\sum _{A\in \pi }\|\mu (A)\|\qquad \forall E\in \Sigma } ここで、上限は上記の通りである。この定義は、 空間 の 有限分割のみを考慮する必要があるため、Rudin (1966, p. 138) の定義よりも若干一般化されている。これは、 有限加法測度 の全変分を定義するためにも使用できることを意味する 。 X {\displaystyle X}
確率測度の総変動 あらゆる確率測度 の全変動は ちょうど1であるため、そのような測度の性質を調べる手段としては興味深くない。しかし、μとνが 確率測度 である場合、 確率測度の全変動距離は 次のように定義できる。 ここで、ノルムは符号付き測度の全変動ノルムである。 という性質を用いることで 、最終的に等価な定義が得られる。 ‖ μ − ν ‖ {\displaystyle \|\mu -\nu \|} ( μ − ν ) ( X ) = 0 {\displaystyle (\mu -\nu )(X)=0}
‖ μ − ν ‖ = | μ − ν | ( X ) = 2 sup { | μ ( A ) − ν ( A ) | : A ∈ Σ } {\displaystyle \|\mu -\nu \|=|\mu -\nu |(X)=2\sup \left\{\,\left|\mu (A)-\nu (A)\right|:A\in \Sigma \,\right\}} そして、その値は自明ではない。上記の係数は通常省略される（ 確率測度の全変動距離の 記事における慣例による）。非公式には、これは2つの 確率分布が 同じ事象に割り当てることができる 確率間の最大差である。 カテゴリ分布 の場合、全変動距離は次のように表すことができる。 2 {\displaystyle 2}
δ ( μ , ν ) = ∑ x | μ ( x ) − ν ( x ) | . {\displaystyle \delta (\mu ,\nu )=\sum _{x}\left|\mu (x)-\nu (x)\right|\;.} 次のように、前の定義を半分にすることで、 の値に正規化することもできます。 [ 0 , 1 ] {\displaystyle [0,1]}
δ ( μ , ν ) = 1 2 ∑ x | μ ( x ) − ν ( x ) | {\displaystyle \delta (\mu ,\nu )={\frac {1}{2}}\sum _{x}\left|\mu (x)-\nu (x)\right|} [3]
基本的なプロパティ
微分可能関数の全変化 関数 の全変化は、 定義 1.1 と 1.2の 関数 の 上限 としてではなく、与えられた関数を含む 積分 として表すことができます 。 C 1 ( Ω ¯ ) {\displaystyle C^{1}({\overline {\Omega }})} f {\displaystyle f}
定理1. 区間 で定義された 微分可能関数 の 全 変化は 、 がリーマン積分 可能であれば次の式で表される。 f {\displaystyle f} [ a , b ] ⊂ R {\displaystyle [a,b]\subset \mathbb {R} } f ′ {\displaystyle f'}
V a b ( f ) = ∫ a b | f ′ ( x ) | d x {\displaystyle V_{a}^{b}(f)=\int _{a}^{b}|f'(x)|\mathrm {d} x} が微分可能かつ 単調 であれば 、上記は次のように簡略化される。 f {\displaystyle f}
V a b ( f ) = | f ( a ) − f ( b ) | {\displaystyle V_{a}^{b}(f)=|f(a)-f(b)|} 任意の微分可能関数 について 、定義域区間 を 、 が局所的に単調である部分区間 ( ) に分解することができます。この場合、 における の全変化は、 これらの部分区間上の局所的変化の合計として表すことができます。 f {\displaystyle f} [ a , b ] {\displaystyle [a,b]} [ a , a 1 ] , [ a 1 , a 2 ] , … , [ a N , b ] {\displaystyle [a,a_{1}],[a_{1},a_{2}],\dots ,[a_{N},b]} a < a 1 < a 2 < ⋯ < a N < b {\displaystyle a<a_{1}<a_{2}<\cdots <a_{N}<b} f {\displaystyle f} f {\displaystyle f} [ a , b ] {\displaystyle [a,b]}
V a b ( f ) = V a a 1 ( f ) + V a 1 a 2 ( f ) + ⋯ + V a N b ( f ) = | f ( a ) − f ( a 1 ) | + | f ( a 1 ) − f ( a 2 ) | + ⋯ + | f ( a N ) − f ( b ) | {\displaystyle {\begin{aligned}V_{a}^{b}(f)&=V_{a}^{a_{1}}(f)+V_{a_{1}}^{a_{2}}(f)+\,\cdots \,+V_{a_{N}}^{b}(f)\\[0.3em]&=|f(a)-f(a_{1})|+|f(a_{1})-f(a_{2})|+\,\cdots \,+|f(a_{N})-f(b)|\end{aligned}}}
定理2. 有界 開集合 上に定義された 関数 が与えられ 、 が クラスである場合 、 の全変化は 次の式で表される。 C 1 ( Ω ¯ ) {\displaystyle C^{1}({\overline {\Omega }})} f {\displaystyle f} Ω ⊆ R n {\displaystyle \Omega \subseteq \mathbb {R} ^{n}} ∂ Ω {\displaystyle \partial \Omega } C 1 {\displaystyle C^{1}} f {\displaystyle f}
V ( f , Ω ) = ∫ Ω | ∇ f ( x ) | d x {\displaystyle V(f,\Omega )=\int _{\Omega }\left|\nabla f(x)\right|\mathrm {d} x} 。
証拠 証明の最初のステップは、まず ガウス・オストログラツキーの定理 から導かれる等式を証明することです。
補題 定理の条件の下では、次の等式が成り立ちます。
∫ Ω f div φ = − ∫ Ω ∇ f ⋅ φ {\displaystyle \int _{\Omega }f\operatorname {div} \varphi =-\int _{\Omega }\nabla f\cdot \varphi }
補題の証明 ガウス・オストログラツキーの定理 より ：
∫ Ω div R = ∫ ∂ Ω R ⋅ n {\displaystyle \int _{\Omega }\operatorname {div} \mathbf {R} =\int _{\partial \Omega }\mathbf {R} \cdot \mathbf {n} } を代入すると 次のようになります。 R := f φ {\displaystyle \mathbf {R} :=f\mathbf {\varphi } }
∫ Ω div ( f φ ) = ∫ ∂ Ω ( f φ ) ⋅ n {\displaystyle \int _{\Omega }\operatorname {div} \left(f\mathbf {\varphi } \right)=\int _{\partial \Omega }\left(f\mathbf {\varphi } \right)\cdot \mathbf {n} } 定義により の境界でゼロとなる 場所は次のとおりです。 φ {\displaystyle \mathbf {\varphi } } Ω {\displaystyle \Omega }
∫ Ω div ( f φ ) = 0 {\displaystyle \int _{\Omega }\operatorname {div} \left(f\mathbf {\varphi } \right)=0} ∫ Ω ∂ x i ( f φ i ) = 0 {\displaystyle \int _{\Omega }\partial _{x_{i}}\left(f\mathbf {\varphi } _{i}\right)=0} ∫ Ω φ i ∂ x i f + f ∂ x i φ i = 0 {\displaystyle \int _{\Omega }\mathbf {\varphi } _{i}\partial _{x_{i}}f+f\partial _{x_{i}}\mathbf {\varphi } _{i}=0} ∫ Ω f ∂ x i φ i = − ∫ Ω φ i ∂ x i f {\displaystyle \int _{\Omega }f\partial _{x_{i}}\mathbf {\varphi } _{i}=-\int _{\Omega }\mathbf {\varphi } _{i}\partial _{x_{i}}f} ∫ Ω f div φ = − ∫ Ω φ ⋅ ∇ f {\displaystyle \int _{\Omega }f\operatorname {div} \mathbf {\varphi } =-\int _{\Omega }\mathbf {\varphi } \cdot \nabla f}
等式の証明 定理の条件の下では、補題から次のことが分かります。
∫ Ω f div φ = − ∫ Ω φ ⋅ ∇ f ≤ | ∫ Ω φ ⋅ ∇ f | ≤ ∫ Ω | φ | ⋅ | ∇ f | ≤ ∫ Ω | ∇ f | {\displaystyle \int _{\Omega }f\operatorname {div} \mathbf {\varphi } =-\int _{\Omega }\mathbf {\varphi } \cdot \nabla f\leq \left|\int _{\Omega }\mathbf {\varphi } \cdot \nabla f\right|\leq \int _{\Omega }\left|\mathbf {\varphi } \right|\cdot \left|\nabla f\right|\leq \int _{\Omega }\left|\nabla f\right|} 最後の部分は 省略できます。定義によりその本質的な上限は最大でも 1 だからです。 φ {\displaystyle \mathbf {\varphi } }
一方、 と を考えます。 これは における の 、同じ積分による 近似値 です。 は において稠密なので、これは可能です 。ここで、 を補題に代入すると、次のようになります。 θ N := − I [ − N , N ] I { ∇ f ≠ 0 } ∇ f | ∇ f | {\displaystyle \theta _{N}:=-\mathbb {I} _{\left[-N,N\right]}\mathbb {I} _{\{\nabla f\neq 0\}}{\frac {\nabla f}{\left|\nabla f\right|}}} θ N ∗ {\displaystyle \theta _{N}^{*}} ε {\displaystyle \varepsilon } θ N {\displaystyle \theta _{N}} C c 1 {\displaystyle C_{c}^{1}} C c 1 {\displaystyle C_{c}^{1}} L 1 {\displaystyle L^{1}}
lim N → ∞ ∫ Ω f div θ N ∗ = lim N → ∞ ∫ { ∇ f ≠ 0 } I [ − N , N ] ∇ f ⋅ ∇ f | ∇ f | = lim N → ∞ ∫ [ − N , N ] ∩ { ∇ f ≠ 0 } ∇ f ⋅ ∇ f | ∇ f | = ∫ Ω | ∇ f | {\displaystyle {\begin{aligned}&\lim _{N\to \infty }\int _{\Omega }f\operatorname {div} \theta _{N}^{*}\\[4pt]&=\lim _{N\to \infty }\int _{\{\nabla f\neq 0\}}\mathbb {I} _{\left[-N,N\right]}\nabla f\cdot {\frac {\nabla f}{\left|\nabla f\right|}}\\[4pt]&=\lim _{N\to \infty }\int _{\left[-N,N\right]\cap {\{\nabla f\neq 0\}}}\nabla f\cdot {\frac {\nabla f}{\left|\nabla f\right|}}\\[4pt]&=\int _{\Omega }\left|\nabla f\right|\end{aligned}}} これは、 の収束する数列があり、 であることが 分かっていることを意味します 。QED ∫ Ω f div φ {\textstyle \int _{\Omega }f\operatorname {div} \mathbf {\varphi } } ∫ Ω | ∇ f | {\textstyle \int _{\Omega }\left|\nabla f\right|} ∫ Ω f div φ ≤ ∫ Ω | ∇ f | {\textstyle \int _{\Omega }f\operatorname {div} \mathbf {\varphi } \leq \int _{\Omega }\left|\nabla f\right|}
証明から、最高値が達成されるのは
φ → − ∇ f | ∇ f | . {\displaystyle \varphi \to {\frac {-\nabla f}{\left|\nabla f\right|}}.} 関数の全変化が有限である場合、その 関数は 有界変化 であると言われます 。 f {\displaystyle f}
測定値の総変動 全変動は、有界変動の測度空間上で定義される ノルム である。集合のσ-代数上の測度空間は 、このノルムに対する バナッハ空間 （ca空間） である。これは、同じノルムを持つ 有限加法 測度（可算加法測度とは対照的に） からなる、より大きなバナッハ空間（ ba空間）に含まれる。ノルムに関連付けられた 距離関数は、2つの測度 μ と ν 間の全変動距離を生じる 。
R 上の有限測度について 、測度 μ の全変化と関数の全変化の関係は、上で述べたように、次のようになる。 μ が与えられたとき、関数を 次のように
定義する。 φ : R → R {\displaystyle \varphi \colon \mathbb {R} \to \mathbb {R} }
φ ( t ) = μ ( ( − ∞ , t ] ) . {\displaystyle \varphi (t)=\mu ((-\infty ,t])~.} すると、符号付き測度μ の全変化は 、上記の意味での関数の全変化に等しい。一般に、符号付き測度の全変化は、 ジョルダンの分解定理 を用いて次のように 定義できる。 φ {\displaystyle \varphi }
‖ μ ‖ T V = μ + ( X ) + μ − ( X ) , {\displaystyle \|\mu \|_{TV}=\mu _{+}(X)+\mu _{-}(X)~,} 可測空間上の 任意の符号付き測度 μ に対して。 ( X , Σ ) {\displaystyle (X,\Sigma )}
アプリケーション 全変分は、 実数値 関数 空間 （一変数関数の場合）または 積分可能関数 空間（多変数関数の場合）上で定義される 非負 実 数値 関数と見ることができます。関数として、全変分は 最適制御 、 数値解析 、 変分 法など、ある問題の解がその値を 最小化する 必要がある数学や工学の様々な分野で応用されています。例えば、全変分関数は、以下の2種類の問題でよく使用されます。
微分方程式の数値解析： 微分方程式 の近似解を求める科学です。これらの問題への全変分法の応用については、「 全変分法の減少 」 という記事で詳しく説明されています。 画像ノイズ除去 ： [4] 画像処理 において、ノイズ除去とは、 データ伝送 や センシング などの電子的手段によって得られたデータから再構成された 画像 の ノイズを 低減するために使用される一連の手法を指します 。「 全変動ノイズ除去 」とは、全変動を画像ノイズ低減に適用することを指します。詳細は、(Rudin, Osher & Fatemi 1992)および(Caselles, Chambolle & Novaga 2007)の論文に記載されています。このモデルをカラー画像に拡張した実用的なモデルは、(Blomgren & Chan 1998)に記載されています。
参照
注記 ^ Golubov & Vitushkin (2001) による。 ^ アンブロジオ, ルイージ; フスコ, ニコラ; パララ, ディエゴ (2000). 有界変分関数と自由不連続問題. オックスフォード大学出版局. p. 119. doi :10.1093/oso/9780198502456.001.0001. ISBN 9780198502456 。 ^ ギブス、アリソン 、フランシス・エドワード・スー (2002). 「確率指標の選択と境界設定について」 (PDF) . p. 7. 2017年 4月8日 閲覧 。 ^ https://arxiv.org/pdf/1603.09599 2024年12月15日閲覧
歴史的参照 アルゼラ、チェーザレ (1905 年 5 月 7 日)、「Sulle funzioni di due variabili a variazione limitata (有限変動の 2 つの変数の関数について)」、 Rendiconto delle Sessioni della Reale Accademia delle Scienze dell'Istituto di Bologna 、Nuova serie (イタリア語)、 IX (4): 100–107 、 JFM 36.0491.02、2007 年 8 月 7 日にオリジナルからアーカイブ 。 ゴルボフ、ボリス・I. (2001) [1994]、「アルゼラ変分法」、 数学百科事典 、 EMSプレス 。 ゴルボフ、ボリス・I. (2001) [1994]、「フレシェ変分」、 数学百科事典 、 EMSプレス 。 ゴルボフ、ボリス・I. (2001) [1994]、「ハーディ変分」、 数学百科事典 、 EMSプレス 。 ゴルボフ、ボリス・I. (2001) [1994]、「ピアポント変分」、 数学百科事典 、 EMSプレス 。 ゴルボフ、ボリス・I. (2001) [1994]、「ヴィタリ変分」、 数学百科事典 、 EMSプレス 。 ゴルボフ、ボリス・I. (2001) [1994]、「トネリ平面変化」、 数学百科事典 、 EMSプレス 。 ゴルボフ、ボリス・I.; ヴィトゥシュキン、アナトリ・G. (2001) [1994]、「関数の変分」、 数学百科事典 、 EMSプレス Jordan、Camille (1881)、「Sur la série de Fourier」、 Comptes rendus hebdomadaires des séances de l'Académie des Sciences (フランス語)、 92 : 228–230 、 JFM 13.0184.01 （ Gallica で入手可能）。ボリス・ゴルボフによれば、これは有界変分関数に関する最初の論文である。 ハーン、ハンス (1921)、理論理論 (ドイツ語)、ベルリン: Springer Verlag、pp. VII+600、 JFM 48.0261.09 。 Vitali、Giuseppe (1908) [1907 年 12 月 17 日]、「Sui gruppi di punti e sulle funzioni di variabili reali (実変数の点と関数のグループについて)」、 Atti dell'Accademia delle Scienze di Torino (イタリア語)、 43 : 75–92 、 JFM 39.0101.05、アーカイブ済み2009-03-31 のオリジナルより ヴィタリ被覆定理 の最初の証明を含む論文 。
参考文献 アダムズ、C. レイモンド; クラークソン、ジェームズ A. (1933)、「二変数関数の有界変分の定義について」 アメリカ数学会誌 、 35 (4): 824– 854、 doi : 10.1090/S0002-9947-1933-1501718-2 、 JFM 59.0285.01、 MR 1501718、 Zbl 0008.00602 。 Cesari、Lamberto (1936)、「Sulle funzioni a variazione limitata (限界変動の関数について)」、 Annali della Scuola Normale Superiore 、II (イタリア語)、 5 ( 3–4 ): 299–313 、 JFM 62.0247.03、 MR 1556778、 Zbl 0014.29605 . Numdamで入手可能。
外部リンク 1つの変数
1つ以上の変数
測度論
アプリケーション Caselles, Vicent; Chambolle, Antonin; Novaga, Matteo (2007), The discontinuity set of solutions of the TV denoising problem and some extensions, SIAM , Multiscale Modeling and Simulation, vol. 6 n. 3, archived from the original on 2011-09-27 （画像処理 のノイズ除去問題における全変動適用を扱った作品 ）。 Rudin, Leonid I.; Osher, Stanley; Fatemi, Emad (1992)、「非線形全変動に基づくノイズ除去アルゴリズム」、 Physica D: Nonlinear Phenomena 、 60 ( 1– 4)、Physica D: Nonlinear Phenomena 60.1: 259-268: 259– 268、 Bibcode :1992PhyD...60..259R、 doi :10.1016/0167-2789(92)90242-F 。 Blomgren, Peter; Chan, Tony F. (1998)、「カラーテレビ：ベクトル値画像の復元のための全変動法」、 IEEE Transactions on Image Processing 、 7 (3)、画像処理、IEEE Transactions on、vol. 7、no. 3: 304-309: 304– 309、 Bibcode :1998ITIP....7..304B、 doi :10.1109/83.661180、 PMID 18276250 。 Tony F. Chan とJackie (Jianhong) Shen (2005)、「画像処理と解析 - 変分法、PDE、ウェーブレット、および確率的手法」、 SIAM 、 ISBN 0-89871-589-X (Rudin、Osher、Fatemi によって始められた現代の画像処理における Total Variations の詳細な解説と幅広い応用が含まれています)。 
![{\displaystyle [a,b]\subset \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a659536067aaaac2db1c44613a09a715f0cf7246)
![{\displaystyle {\mathcal {P}}=\left\{P=\{x_{0},\dots ,x_{n_{P}}\}\mid P{\text{ は }}[a,b]\right\}} の分割である](https://wikimedia.org/api/rest_v1/media/math/render/svg/92752998109b83c4e369a57e35b3a5a420382a88)
![{\displaystyle [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/738f7d23bb2d9642bab520020873cccbef49768d)
![{\displaystyle [a,b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
![{\displaystyle [a,a_{1}],[a_{1},a_{2}],\dots ,[a_{N},b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42923d76f397481bf7aa71b391ce205426c1cc50)
![{\displaystyle {\begin{aligned}V_{a}^{b}(f)&=V_{a}^{a_{1}}(f)+V_{a_{1}}^{a_{2}}(f)+\,\cdots \,+V_{a_{N}}^{b}(f)\\[0.3em]&=|f(a)-f(a_{1})|+|f(a_{1})-f(a_{2})|+\,\cdots \,+|f(a_{N})-f(b)|\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbd29e6a29f9d85a967feabb7d366f6428e7b2f9)
![{\displaystyle \theta _{N}:=-\mathbb {I} _{\left[-N,N\right]}\mathbb {I} _{\{\nabla f\neq 0\}}{\frac {\nabla f}{\left|\nabla f\right|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6d95bf9d95132230ccaf3af9196b1c45f28fa00)
![{\displaystyle {\begin{aligned}&\lim _{N\to \infty }\int _{\Omega }f\operatorname {div} \theta _{N}^{*}\\[4pt]&=\lim _{N\to \infty }\int _{\{\nabla f\neq 0\}}\mathbb {I} _{\left[-N,N\right]}\nabla f\cdot {\frac {\nabla f}{\left|\nabla f\right|}}\\[4pt]&=\lim _{N\to \infty }\int _{\left[-N,N\right]\cap {\{\nabla f\neq 0\}}}\nabla f\cdot {\frac {\nabla f}{\left|\nabla f\right|}}\\[4pt]&=\int _{\Omega }\left|\nabla f\right|\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/463f3c5b1ed80954483b0b794762ded3990c36bf)
![{\displaystyle \varphi (t)=\mu ((-\infty ,t])~.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c351e788d819177544477304f92d385ad49fe788)
