局所可積分函数

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

定義

通常の定義

テンプレート:EquationRef. Ω をユークリッド空間 ℝⁿ 内のある開集合とし、f : Ω → ℂ をルベーグ可測函数とする。Ω 上の f が次を満たすとき、局所可積分と呼ばれる。

[math] \int_K | f |\, \mathrm{d}x \lt +\infty. [/math]

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

[math]L_{1,\mathrm{loc}}(\Omega)=\bigl\{f:\Omega\to\mathbb{C}\text{ measurable}\,\big|\, f|_K \in L_1(K)\ \forall\, K \subset \Omega,\, K \text{ compact}\bigr\}.[/math]

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

代替的な定義

テンプレート:EquationRef. Ω をユークリッド空間 ℝⁿ 内のある開集合とする。このとき、各テスト函数 φ ∈ C_c^∞ (Ω) に対して

[math] \int_\Omega | f \varphi|\, \mathrm{d}x \lt +\infty [/math]

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

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

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

[math] \int_K | f |\, \mathrm{d}x \lt +\infty \quad \forall\, K \subset \Omega,\, K \text{ compact} \quad \Longleftrightarrow \quad \int_\Omega | f \varphi|\, \mathrm{d}x \lt +\infty \quad \forall\, \varphi \in C^\infty_{\mathrm{c}}(\Omega).[/math]

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

テンプレート:EquationRef. Ω をユークリッド空間 ℝⁿ 内のある開集合とし、f : Ω → ℂ をあるルベーグ可測函数とする。1 ≤ p ≤ +∞ を満たす与えられた p に対し、f が

[math] \int_K | f|^p \,\mathrm{d}x \lt +\infty [/math]

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

[math]L_{p,\mathrm{loc}}(\Omega)=\left\{f:\Omega\to\mathbb{C}\text{ measurable }\left|\ f\in L_p(K),\ \forall\, K \subset \Omega, K \text{ compact}\right.\right\}.[/math]

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

記法

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

• [math]L^p_{\mathrm{loc}}(\Omega)[/math] は {{#invoke:Footnotes | harvard_citation }}、{{#invoke:Footnotes | harvard_citation }} や {{#invoke:Footnotes | harvard_citation }} で用いられている。
• [math]L_{p,\mathrm{loc}}(\Omega)[/math] は {{#invoke:Footnotes | harvard_citation }} や　Maz'ya & Shaposhnikova (2009, p. 44) で用いられている。
• [math]L_p(\Omega,\mathrm{loc})[/math] は {{#invoke:Footnotes | harvard_citation }} や {{#invoke:Footnotes | harvard_citation }} で用いられている。

性質

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

テンプレート:EquationRef L_p,loc は完備距離化可能空間である。すなわち、その位相は次の計量によって生成される：

[math]d(u,v)=\sum_{k\geq 1}\frac{1}{2^k}\frac{\Vert u - v\Vert_{p,\omega_k}}{1+\Vert u - v\Vert_{p,\omega_k}}\qquad u, v\in L_{p,\mathrm{loc}}(\Omega).[/math]

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

• ω_k ⊂⊂ ω_k+1。すなわち ω_k は ω_k+1 に厳密に含まれている。このことは、コンパクトな閉包を持つ集合が高次の集合に厳密に含まれていることを意味する。
• ∪_kω_k = Ω.
• [math]\scriptstyle{\Vert\cdot\Vert_{p,\omega_k}}\to\mathbb{R}^+[/math], k ∈ ℕ は、次で定義される半ノルムの添え字付きの族である：

[math] {\Vert u \Vert_{p,\omega_k}} = \int_{\omega_k} | u|^p \,\mathrm{d}x\qquad\forall\, u\in L_{p,\mathrm{loc}}(\Omega).[/math]

参考文献 {{#invoke:Footnotes | harvard_citation }}、 {{#invoke:Footnotes | harvard_citation }}、{{#invoke:Footnotes | harvard_citation }} および {{#invoke:Footnotes | harvard_citation }} において、この定理は述べられているが形式的な証明は与えられていない。より一般の結果に対する完全な証明は、{{#invoke:Footnotes | harvard_citation }} に見られる。

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

テンプレート:EquationRef Ω を ℝⁿ の開部分集合とする。L_p(Ω), 1 ≤ p ≤ +∞ に属するすべての函数 f は局所可積分である。

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

[math]\left|{\int_\Omega|\chi_K|^q\,\mathrm{d}x}\right|^{1/q}=\left|{\int_K \mathrm{d}x}\right|^{1/q}=|\mu(K)|^{1/q}\lt +\infty [/math]

が成立する。ただし

• q は、与えられた 1 ≤ p ≤ +∞ に対して 1/p + 1/q = 1 を満たすようなある正の数である。
• μ(K) はコンパクト集合 K のルベーグ測度である。

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

[math]{\int_K|f|\,\mathrm{d}x}={\int_\Omega|f\chi_K|\,\mathrm{d}x}\leq\left|{\int_\Omega|f|^p\,\mathrm{d}x}\right|^{1/p}\left|{\int_K \mathrm{d}x}\right|^{1/q}=\|f\|_p|\mu(K)|^{1/q}\lt +\infty. [/math]

したがって

[math]f\in L_{1,\mathrm{loc}}(\Omega) [/math]

である。ここで、不等式

[math]{\int_K|f|\,\mathrm{d}x}={\int_\Omega|f\chi_K|\,\mathrm{d}x}\leq\left|{\int_K|f|^p \,\mathrm{d}x}\right|^{1/p}\left|{\int_K \mathrm{d}x}\right|^{1/q}=\|f\|_p|\mu(K)|^{1/q}\lt +\infty [/math]

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

テンプレート:EquationRef L_p,loc(Ω), 1 < p ≤ +∞ 内のすべての函数 f は局所可積分である。すなわち、L_1,loc(Ω) に属する。

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

テンプレート:EquationRef 函数 f が絶対連続測度の密度函数であるための必要十分条件は、f ∈L_1,loc であることである。

この結果の証明は {{#invoke:Footnotes | harvard_citation }} に見られる。内容を解釈し直すと、この定理ではすべての局所可積分函数はある絶対連続測度を定義し、逆にすべての絶対連続測度はある局所可積分函数を定義することが主張されている。これはまた、抽象的測度論の枠組みにおいて、Stanisław Saks の学術論文で与えられた重要なラドン＝ニコディムの定理として現れる。

例

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

[math] f(x)= \begin{cases} 1/x &x\neq 0\\ 0 & x=0 \end{cases} [/math]

は x = 0 において局所可積分でない。実際、その点を含まない任意のコンパクト集合上での積分は有限であるので、その点の近くでは局所可積分である。形式的に表すと、1/x ∈ L_1,loc(ℝ\0) ということになる。しかし、この函数はコーシーの主値として ℝ 全体上での超函数に拡張することが出来る。

• 上記の例より次の疑問が生じる：Ω ⊊ ℝ 内で局所可積分であるようなすべての函数は、超函数として ℝ 全体へと拡張することが出来るか？この問の答えはノーであり、実際その反例として次の函数が考えられる：

[math] f(x)= \begin{cases} e^{1/x} &x\neq 0\\ 0 & x=0. \end{cases} [/math]

この函数は ℝ 上のどのような超函数も定義しない。

• 次の例も上述のものと同様に、不確定特異点を伴う微分作用素への超函数の理論の応用に現れる初等的な反例であるような L_1,loc(ℝ\0) に属する函数である：

[math] f(x)= \begin{cases} k_1 e^{1/x^2} &x\gt 0\\ 0 & x=0\\ k_2 e^{1/x^2} &x\lt 0 \end{cases}. [/math]

ここで k₁ と k₂ は複素定数で、次の初等的な一階の非フックス型微分方程式の一般解である。

[math]x^3\frac{\mathrm{d}f}{\mathrm{d}x}+2f=0.[/math]

k₁ あるいは k₂ がゼロでないなら、その函数はふたたび ℝ 全体上でのどのような超函数も定義しない。したがってそのような方程式における唯一つの超函数的な大域解はゼロである。このことは微分方程式の一分野において超函数理論的な手法は、特に定数係数の線型微分方程式の理論のような他の一分野と同じように上手く働くものとは限らないことを意味する。

応用

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

関連項目

• コンパクト集合
• 超函数
• ルベーグの密度定理
• ルベーグの微分定理
• ルベーグ積分
• Lp空間

参考文献

• Cafiero, Federico (1959) (Italian), Misura e integrazione, Monografie matematiche del en:Consiglio Nazionale delle Ricerche, 5, Roma: Edizioni Cremonese, pp. VII+451, MR 0215954, Zbl 0171.01503 . 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.
• Gel'fand, I. M.; Shilov, G. E. (1964) [1958], Generalized functions. Vol. I: Properties and operations, New York–London: en:Academic Press, pp. xviii+423, ISBN 978-0-12-279501-5, MR 0166596, Zbl 0115.33101, http://books.google.com/books?id=QoWBSgAACAAJ . 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.
• Gilbarg, David; Trudinger, Neil S. (2001) [1998], Elliptic partial differential equations of second order, Classics in Mathematics (Revised 3rd printing of 2nd ed.), Berlin – Heidelberg – New York: Springer Verlag, pp. xiv+517, ISBN 3-540-41160-7, MR 1814364, Zbl 1042.35002, http://books.google.com/books?id=eoiGTf4cmhwC&printsec=frontcover&hl=it&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=true .
• Hörmander, Lars (1990), The analysis of linear partial differential operators I, Grundlehren der Mathematischen Wissenschaft, 256 (2nd ed.), Berlin-en:Heidelberg-en:New York: Springer-Verlag, pp. xii+440, ISBN 0-387-52343-X, MR 1065136, Zbl 0712.35001  (available also as ISBN 3-540-52343-X).
• Maz'ja, Vladimir G. (1985), Sobolev Spaces, Berlin–Heidelberg–New York: Springer-Verlag, pp. xix+486, ISBN 3-540-13589-8, MR 817985, Zbl 0692.46023  (available also as ISBN 0-387-13589-8).
• Maz'ya, Vladimir G. (2011) [1985], Sobolev Spaces. With Applications to Elliptic Partial Differential Equations., Grundlehren der Mathematischen Wissenschaften, 342 (2nd revised and augmented ed.), Berlin–Heidelberg–New York: Springer Verlag, pp. xxviii+866, ISBN 978-3-642-15563-5, MR 2777530, Zbl 1217.46002 .
• Maz'ya, Vladimir G.; Poborchi, Sergei V. (1997), Differentiable Functions on Bad Domains, Singapore–New Jersey–London–Hong Kong: en:World Scientific, pp. xx+481, ISBN 981-02-2767-1, MR 1643072, Zbl 0918.46033 .
• Maz'ya, Vladimir G.; Shaposhnikova, Tatyana O. (2009), Theory of Sobolev multipliers. With applications to differential and integral operators, Grundlehren der Mathematischen Wissenschaft, 337, en:Heidelberg: Springer-Verlag, pp. xiii+609, ISBN 978-3-540-69490-8, MR 2457601, Zbl 1157.46001, http://books.google.com/books?id=QN8uP6Mn0yQC&printsec=frontcover#v=onepage&q&f=true .
• Meise, Reinhold; Vogt, Dietmar (1997), Introduction to Functional Analysis, Oxford Graduate Texts in Mathematics, 2, Oxford: en:Clarendon Press, pp. x+437, ISBN 0-19-851485-9, MR 1483073, Zbl 0924.46002 .
• Saks, Stanisław (1937), Theory of the Integral, en:Monografie Matematyczne, 7 (2nd ed.), en:Warszawa-en:Lwów: G.E. Stechert & Co., pp. VI+347, JFM 63.0183.05, MR 0167578, Zbl 0017.30004, http://pldml.icm.edu.pl/mathbwn/element/bwmeta1.element.dl-catalog-42a56b61-37f4-4c6b-a42b-ea95a98e407a?q=0f71728c-851f-486a-bc43-e8507297cea3$1&qt=IN_PAGE . 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.
• Schwartz, Laurent (1998) [1966] (French), Théorie des distributions, Publications de l'Institut de Mathématique de l'Université de Strasbourg, No. IX–X (Nouvelle ed.), Paris: Hermann Éditeurs, pp. xiii+420, ISBN 2-7056-5551-4, MR 0209834, Zbl 0149.09501 .
• Strichartz, Robert S. (2003), A Guide to Distribution Theory and Fourier Transforms (2nd printing ed.), en:River Edge, NJ: World Scientific Publishers, pp. x+226, ISBN 981-238-430-8, MR 2000535, Zbl 1029.46039, http://books.google.it/books?id=T7vEOGGDCh4C&printsec=frontcover&dq=A+Guide+to+Distribution+Theory+and+Fourier+Transforms#v=onepage&q=&f=false .
• Vladimirov, V. S. (2002), Methods of the theory of generalized functions, Analytical Methods and Special Functions, 6, London–New York: en:Taylor & Francis, pp. XII+353, ISBN 0-415-27356-0, MR 2012831, Zbl 1078.46029, http://books.google.com/?id=hlumB8fkX0UC&pg=PR1&dq=Methods+of+the+theory+of+generalized+functions . 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.

外部リンク

• Rowland, Todd. “Locally integrable”. MathWorld（英語）.
• テンプレート:Springer