局所可積分函数

数学において局所可積分函数（きょくしょかせきぶんかんすう、Locally integrable function）とは、その定義域に含まれる任意のコンパクト部分集合上で可積分（したがって積分が有限）であるような函数のことを言う。しばしば局所総和可能函数（locally summable function）とも呼ばれる。そのような函数は、Lp空間と似ているがその元の無限大での振舞いについて制限を要さないような函数空間に属するという点において、重要となる。言い換えると、局所可積分函数は、無限大において任意に早く増大することも許されるが、通常の可積分函数とある意味似た方法によって依然として扱うことが出来るものとなっている。

**定義**

**通常の定義**
. 
をユークリッド空間 ℝn 内のある開集合とし、f : Ω → ℂ をルベーグ可測函数とする。Ω 上の f が次を満たすとき、局所可積分と呼ばれる。

ただし K は Ω の任意のコンパクト部分集合であり、したがって f はそのような全てのコンパクト集合上で有限となる。そのような函数の集合は L1,loc(Ω) と記述される：

ここで f K は f の集合 K への制限である。局所可積分函数の古典的な定義は測度論的および位相空間論的な概念のみを含むものであり、ある位相的な測度空間 (X, Σ, μ) 上の複素数値函数へと抽象的に拡張されるものであった。しかし、そのような函数の最も基本的な応用はユークリッド空間上の超函数に対するものであったので、以下の定義および節ではその重要な場合について明らかな形で扱う。

**代替的な定義**
. Ω をユークリッド空間 ℝn 内のある開集合とする。このとき、各テスト函数 φ ∈ Cc∞ (Ω) に対して

を満たす函数 f : Ω → ℂ は、局所可積分と呼ばれる。またそのような函数の集合は L1,loc(Ω) と記述される。ここで Cc∞ (Ω) は、Ω に含まれるコンパクトな台を持つすべての無限回微分可能な函数 φ : Ω → ℝ の集合を表す。
この定義の由来は、ニコラ・ブルバキとその学派によって発展された、ある位相ベクトル空間上の連続線型汎函数の概念に基づく測度と積分の理論にある。またこの定義は、2003 や p=34 によって用いられた。この「超函数理論的な」定義は、前述の通常の定義と同値である。実際、次の補題が成立する。
. 与えられた函数 f : Ω → ℂ が定義 1 の意味で局所可積分であることと、定義 2 の意味で局所可積分であることは同値である。すなわち、次が成り立つ。


**一般化：局所 p-可積分函数**
. Ω をユークリッド空間 ℝn 内のある開集合とし、f : Ω → ℂ をあるルベーグ可測函数とする。1 ≤ p ≤ +∞ を満たす与えられた p に対し、f が

を満たすなら、f は局所 p-可積分あるいは p-局所可積分と呼ばれる。ただしこの条件は、f が Ω 内のすべてのコンパクト部分集合 K に対してLp空間|Lp(K)に属することを意味する。そのようなすべての函数の集合は Lp,loc(Ω) と記述される：

前述の場合と同様に、代替的な定義も与えられ、それらは同値であることが示される。それらは高い一般性を備えるものであるように見えるが、局所 p-可積分函数は math|1 p,loc は完備距離空間**

は完備距離化可能空間である。すなわち、その位相は次の計量によって生成される：

ここで  は、次の性質を満たす空でない開集合の族である。- ωk ⊂⊂ ωk+1。すなわち ωk は ωk+1 に厳密に含まれている。このことは、コンパクトな閉包を持つ集合が高次の集合に厳密に含まれていることを意味する。- .- , k ∈ ℕ は、次で定義される半ノルムの添え字付きの族である：
:
参考文献 p=147、 p=5、p=6 および p=2 において、この定理は述べられているが形式的な証明は与えられていない。より一般の結果に対する完全な証明は、p=40 に見られる。

**すべての p ≥ 1 に対して Lp は L1,loc の部分空間**
を ℝn の開部分集合とする。Lp(Ω), 1 ≤ p ≤ +∞ に属するすべての函数 f は局所可積分である。
証明  の場合は自明であるので省略し、以下では 1 K を考える。このとき、p ≤ +∞ に対して

が成立する。ただし- q は、与えられた 1 ≤ p ≤ +∞ に対して 1/p + 1/q = 1 を満たすようなある正の数である。- μ(K) はコンパクト集合 K のルベーグ測度である。
このときヘルダーの不等式より、積 fχK は可積分である。すなわち、L1(Ω) に属すとともに、次を満たす。

したがって

である。ここで、不等式

が成立するため、定理は局所 p-可積分函数の空間にのみ属する函数 f に対しても成立することに注意されたい。したがって、定理は次の結果を意味する。
, 1 1,loc(Ω) に属する。

**L1,loc は絶対連続測度の密度函数の空間**
函数 f が絶対連続測度の密度函数であるための必要十分条件は、f ∈L1,loc であることである。
この結果の証明は p=18 に見られる。内容を解釈し直すと、この定理ではすべての局所可積分函数はある絶対連続測度を定義し、逆にすべての絶対連続測度はある局所可積分函数を定義することが主張されている。これはまた、抽象的測度論の枠組みにおいて、Stanisław Saks の学術論文で与えられた重要なラドン＝ニコディムの定理として現れる。

**例**
 実軸上で定義される定数函数 1 は局所可積分であるが、大域的には可積分ではない。より一般に、定数、連続函数および可積分函数は局所可積分である。- 函数

 は  において局所可積分でない。実際、その点を含まない任意のコンパクト集合上での積分は有限であるので、その点の近くでは局所可積分である。形式的に表すと、1/x ∈ L1,loc(ℝ\0) ということになる。しかし、この函数はコーシーの主値として ℝ 全体上での超函数に拡張することが出来る。- 上記の例より次の疑問が生じる：Ω ⊊ ℝ 内で局所可積分であるようなすべての函数は、超函数として ℝ 全体へと拡張することが出来るか？この問の答えはノーであり、実際その反例として次の函数が考えられる：

この函数は ℝ 上のどのような超函数も定義しない。- 次の例も上述のものと同様に、Regular singular pointを伴う微分作用素への超函数の理論の応用に現れる初等的な反例であるような L1,loc(ℝ\0) に属する函数である：

ここで k1 と k2 は複素定数で、次の初等的な一階の非フックス型微分方程式の一般解である。
:
k1 あるいは k2 がゼロでないなら、その函数はふたたび ℝ 全体上でのどのような超函数も定義しない。したがってそのような方程式における唯一つの超函数的な大域解はゼロである。このことは微分方程式の一分野において超函数理論的な手法は、特に定数係数の線型微分方程式の理論のような他の一分野と同じように上手く働くものとは限らないことを意味する。

**応用**
局所可積分函数は超函数の理論において主要な役割を果たすとともに、有界変動函数のような様々な函数や函数空間のクラスの定義に現れる。さらに局所可積分函数は、全ての測度の絶対連続な部分を特徴付けることによって、ラドン＝ニコディムの定理にも現れる。

**関連項目**
 コンパクト集合- 超函数- ルベーグの密度定理- ルベーグの微分定理- ルベーグ積分- Lp空間

**注釈**

**参考文献**
. Measure and integration (as the English translation of the title reads) is a definitive monograph on integration and measure theory: the treatment of the limiting behavior of the integral of various kind of :en:sequences of measure-related structures (measurable functions, :en:measurable sets, measures and their combinations) is somewhat conclusive.
*. Translated from the original 1958 Russian edition by Eugene Saletan, this is an important monograph on the theory of :en:generalized functions, dealing both with distributions and analytic functionals.
*.- (available also as ISBN 3-540-52343-X).- (available also as ISBN 0-387-13589-8).
*.
*.
*.
*.
*. English translation by :en:Laurence Chisholm Young, with two additional notes by :en:Stefan Banach: the :en:Mathematical Reviews number refers to the :en:Dover Publications 1964 edition, which is basically a reprint.
*.
*.
*. A monograph on the theory of :en:generalized functions written with an eye towards their applications to :en:several complex variables and :en:mathematical physics, as is customary for the Author.

**外部リンク**
urlname=LocallyIntegrable
*urlname=Locally_integrable_function