コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

局所可積分函数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
局所可積分関数から転送)

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

定義

[編集]

通常の定義

[編集]

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

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

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

代替的な定義

[編集]

定義 2.[6] Ω をユークリッド空間 n 内のある開集合とする。このとき、各テスト函数 φ ∈ Cc (Ω) に対して

を満たす函数 f : Ω → ℂ は、局所可積分と呼ばれる。またそのような函数の集合は L1,loc(Ω) と記述される。ここで Cc (Ω) は、Ω に含まれるコンパクトな台を持つすべての無限回微分可能な函数 φ : Ω → ℝ の集合を表す。

この定義の由来は、ニコラ・ブルバキとその学派によって発展された、ある位相ベクトル空間上の連続線型汎函数の概念に基づく測度と積分の理論にある[7]。またこの定義は、Strichartz (2003)Maz'ya & Shaposhnikova (2009, p. 34) によって用いられた[8]。この「超函数理論的な」定義は、前述の通常の定義と同値である。実際、次の補題が成立する。

補題 1. 与えられた函数 f : Ω → ℂ が定義 1 の意味で局所可積分であることと、定義 2 の意味で局所可積分であることは同値である。すなわち、次が成り立つ。

一般化:局所 p-可積分函数

[編集]

定義 3.[9] Ω をユークリッド空間 ℝn 内のある開集合とし、f : Ω → ℂ をあるルベーグ可測函数とする。1 ≤ p ≤ +∞ を満たす与えられた p に対し、f

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

前述の場合と同様に、代替的な定義も与えられ、それらは同値であることが示される[10]。それらは高い一般性を備えるものであるように見えるが、局所 p-可積分函数は 1 < p ≤ +∞ を満たすすべての p に対して局所可積分函数の部分集合を形成する[11]

記法

[編集]

局所可積分函数の集合の記法には、大文字 L字体の差の他に[12]、次のようないくつかの異なるものが存在する。

性質

[編集]

すべての p ≥ 1 に対して Lp,loc は完備距離空間

[編集]

定理 1[13] Lp,loc完備距離化可能空間である。すなわち、その位相は次の計量によって生成される:

ここで {ωk}k≥1 は、次の性質を満たす空でない開集合の族である。

  • ωk ⊂⊂ ωk+1。すなわち ωkωk+1 に厳密に含まれている。このことは、コンパクトな閉包を持つ集合が高次の集合に厳密に含まれていることを意味する。
  • kωk = Ω.
  • , k ∈ ℕ は、次で定義される半ノルム添え字付きの族である:

参考文献 (Gilbarg & Trudinger 1998, p. 147)、 (Maz'ya & Poborchi 1997, p. 5)、(Maz'ja 1985, p. 6) および (Maz'ya 2011, p. 2) において、この定理は述べられているが形式的な証明は与えられていない[14]。より一般の結果に対する完全な証明は、(Meise & Vogt 1997, p. 40) に見られる。

すべての p ≥ 1 に対して LpL1,loc の部分空間

[編集]

定理 2 Ω を ℝn開部分集合とする。Lp(Ω), 1 ≤ p ≤ +∞ に属するすべての函数 f は局所可積分である。

証明 p = 1 の場合は自明であるので省略し、以下では 1 < p ≤ +∞ を仮定して証明を続ける。Ω のあるコンパクトな部分集合 K に対し、その特性函数 χK を考える。このとき、p ≤ +∞ に対して

が成立する。ただし

このときヘルダーの不等式より、 K可積分である。すなわち、L1(Ω) に属すとともに、次を満たす。

したがって

である。ここで、不等式

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

系 1 Lp,loc(Ω), 1 < p ≤ +∞ 内のすべての函数 f は局所可積分である。すなわち、L1,loc(Ω) に属する。

L1,loc は絶対連続測度の密度函数の空間

[編集]

定理 3 函数 f絶対連続測度の密度函数であるための必要十分条件は、fL1,loc であることである。

この結果の証明は (Schwartz 1998, p. 18) に見られる。内容を解釈し直すと、この定理ではすべての局所可積分函数はある絶対連続測度を定義し、逆にすべての絶対連続測度はある局所可積分函数を定義することが主張されている。これはまた、抽象的測度論の枠組みにおいて、Stanisław Saks の学術論文で与えられた重要なラドン=ニコディムの定理として現れる[15]

[編集]
  • 実軸上で定義される定数函数 1 は局所可積分であるが、大域的には可積分ではない。より一般に、定数連続函数[16]および可積分函数は局所可積分である[17]
  • 函数
x = 0 において局所可積分でない。実際、その点を含まない任意のコンパクト集合上での積分は有限であるので、その点の近くでは局所可積分である。形式的に表すと、1/xL1,loc(ℝ\0) ということになる[18]。しかし、この函数はコーシーの主値として ℝ 全体上での超函数に拡張することが出来る[19]
  • 上記の例より次の疑問が生じる:Ω ⊊ ℝ 内で局所可積分であるようなすべての函数は、超函数として ℝ 全体へと拡張することが出来るか?この問の答えはノーであり、実際その反例として次の函数が考えられる:
この函数は ℝ 上のどのような超函数も定義しない[20]
ここで k1k2複素定数で、次の初等的な一階の非フックス型微分方程式の一般解である。
k1 あるいは k2 がゼロでないなら、その函数はふたたび ℝ 全体上でのどのような超函数も定義しない。したがってそのような方程式における唯一つの超函数的な大域解はゼロである。このことは微分方程式の一分野において超函数理論的な手法は、特に定数係数の線型微分方程式の理論のような他の一分野と同じように上手く働くものとは限らないことを意味する[21]

応用

[編集]

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

関連項目

[編集]

注釈

[編集]
  1. ^ Gel'fand & Shilov (1964, p. 3) による。
  2. ^ a b 例えば (Schwartz 1998, p. 18) や (Vladimirov 2002, p. 3) を参照。
  3. ^ Vladimirov (2002, p. 1) によって選ばれた、この定義の他のバージョンでは、K ⋐ Ω(あるいは Gilbarg & Trudinger (2001, p. 9) の記法である K ⊂⊂ Ω)を使って、Ω に厳密に含まれる K という条件のみが課されている。これはすなわち、そのような集合はコンパクトな閉包を与えられた全空間に持つことを意味する。
  4. ^ コンパクト性の概念は、与えられた抽象的測度空間上で明白に定義される必要がある。
  5. ^ これは例えば Cafiero (1959, pp. 285–342) や Saks (1937, chapter I) によって発展された手法で、局所可積分の場合を陽的に扱うことはされていなかった。
  6. ^ 例えば (Strichartz 2003, pp. 12–13) を参照。
  7. ^ その理論における手法は、その有用性を訴えた Schwartz (1998, pp. 16–17) によって評価された。しかし彼は局所可積分函数を定義する際には Definition 1 を使った。
  8. ^ Maz'ya と Shaposhnikova はソボレフ空間 Wk,p(Ω) のある局所化されたものに対してのみ、陽的な定義を与えたことに注意されたい。しかしその本では、特に 44 ページで導入されている Lp,loc(Ω) のように、他のすべてのバナッハ空間の局所化されたものに対しても同様の手法が利用できると主張されている。
  9. ^ a b 例えば (Vladimirov 2002, p. 3) や (Maz'ya & Poborchi 1997, p. 4) を参照。
  10. ^ 前節で注意されているように、この手法は Maz'ya & Shaposhnikova (2009) によって初等的な詳細については省かれながら採用された。
  11. ^ 正確に言うと、それらは L1,loc(Ω)部分ベクトル空間を形成する。Corollary 1 から Theorem 2 を参照。
  12. ^ 例えば (Vladimirov 2002, p. 3) では書体 が用いられている
  13. ^ この内容については (Gilbarg & Trudinger 1998, p. 147) や (Maz'ya & Poborchi 1997, p. 5) を参照されたい。また簡単な注釈については (Maz'ja 1985, p. 6) や (Maz'ya 2011, p. 2) を参照されたい。
  14. ^ Gilbarg & Trudinger (1998, p. 147) および Maz'ya & Poborchi (1997, p. 5) は証明法について非常に簡潔に触れただけであり、(Maz'ja 1985, p. 6) および (Maz'ya 2011, p. 2) ではそれを既知の結果として認め、その後の議論を展開している。
  15. ^ Saks (1937, p. 36) では次のことが述べられている。「E が有限測度の集合か、より一般に有限測度の (μ) の集合の列の和であるなら、E 上の集合 (𝔛) の加法的函数が E 上で絶対連続であるための必要十分条件は、ある集合に対するその函数が E 内のある点の可積分函数の不定積分であることである」。(μ) をルベーグ測度と仮定すれば、それら二つの内容は同値となることが分かる。
  16. ^ 例えば (Hörmander 1990, p. 37) を参照。
  17. ^ (Strichartz 2003, p. 12) を参照。
  18. ^ (Schwartz 1998, p. 19) を参照
  19. ^ (Vladimirov 2002, pp. 19–21) を参照。
  20. ^ (Vladimirov 2002, p. 21) を参照。
  21. ^ この例に関する簡潔な議論については (Schwartz 1998, pp. 131–132) を参照されたい。

参考文献

[編集]

外部リンク

[編集]

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