局所可積分函数
数学において局所可積分函数（きょくしょかせきぶんかんすう、）とは、その定義域に含まれる任意のコンパクト部分集合上で可積分（したがって積分が有限）であるような函数のことを言う。しばしば局所総和可能函数（locally summable function）とも呼ばれる。そのような函数は、Lp空間と似ているがその元の無限大での振舞いについて制限を要さないような函数空間に属するという点において、重要となる。言い換えると、局所可積分函数は、無限大において任意に早く増大することも許されるが、通常の可積分函数とある意味似た方法によって依然として扱うことが出来るものとなっている。
をユークリッド空間 内のある開集合とし、 をルベーグ可測函数とする。 上の が次を満たすとき、局所可積分と呼ばれる。
ただし は の任意のコンパクト部分集合であり、したがって はそのような全てのコンパクト集合上で有限となる。そのような函数の集合は と記述される：
ここで は の集合 への制限である。局所可積分函数の古典的な定義は測度論的および位相空間論的な概念のみを含むものであり、ある位相的な測度空間 上の複素数値函数へと抽象的に拡張されるものであった。しかし、そのような函数の最も基本的な応用はユークリッド空間上の超函数に対するものであったので、以下の定義および節ではその重要な場合について明らかな形で扱う。
. をユークリッド空間 内のある開集合とする。このとき、各テスト函数 に対して
を満たす函数 は、局所可積分と呼ばれる。またそのような函数の集合は と記述される。ここで は、 に含まれるコンパクトな台を持つすべての無限回微分可能な函数 の集合を表す。
この定義の由来は、ニコラ・ブルバキとその学派によって発展された、ある位相ベクトル空間上の連続線型汎函数の概念に基づく測度と積分の理論にある。またこの定義は、 や によって用いられた。この「超函数理論的な」定義は、前述の通常の定義と同値である。実際、次の補題が成立する。
. 与えられた函数 が定義 1 の意味で局所可積分であることと、定義 2 の意味で局所可積分であることは同値である。すなわち、次が成り立つ。
. をユークリッド空間 ℝ"" 内のある開集合とし、ℂ をあるルベーグ可測函数とする。 を満たす与えられた に対し、 が
を満たすなら、 は局所 -可積分あるいは -局所可積分と呼ばれる。ただしこの条件は、 が 内のすべてのコンパクト部分集合 に対してに属することを意味する。そのようなすべての函数の集合は と記述される：
前述の場合と同様に、代替的な定義も与えられ、それらは同値であることが示される。それらは高い一般性を備えるものであるように見えるが、局所 -可積分函数は を満たすすべての に対して局所可積分函数の部分集合を形成する。
局所可積分函数の集合の記法には、大文字 "L" の字体の差の他に、次のようないくつかの異なるものが存在する。
は完備距離化可能空間である。すなわち、その位相は次の計量によって生成される：
ここで は、次の性質を満たす空でない開集合の族である。
参考文献 、 、 および において、この定理は述べられているが形式的な証明は与えられていない。より一般の結果に対する完全な証明は、 に見られる。
を ℝ"" の開部分集合とする。, に属するすべての函数 は局所可積分である。
証明 の場合は自明であるので省略し、以下では を仮定して証明を続ける。 のあるコンパクトな部分集合 に対し、その特性函数 を考える。このとき、 に対して
が成立する。ただし
このときヘルダーの不等式より、積 は可積分である。すなわち、 に属すとともに、次を満たす。
である。ここで、不等式
が成立するため、定理は局所 -可積分函数の空間にのみ属する函数 に対しても成立することに注意されたい。したがって、定理は次の結果を意味する。
, 内のすべての函数 は局所可積分である。すなわち、 に属する。
函数 が絶対連続測度の密度函数であるための必要十分条件は、 であることである。
この結果の証明は に見られる。内容を解釈し直すと、この定理ではすべての局所可積分函数はある絶対連続測度を定義し、逆にすべての絶対連続測度はある局所可積分函数を定義することが主張されている。これはまた、抽象的測度論の枠組みにおいて、 の学術論文で与えられた重要なラドン＝ニコディムの定理として現れる。局所可積分函数は超函数の理論において主要な役割を果たすとともに、有界変動函数のような様々な函数や函数空間のクラスの定義に現れる。さらに局所可積分函数は、全ての測度の絶対連続な部分を特徴付けることによって、ラドン＝ニコディムの定理にも現れる。