局所可積分函数

数学において局所可積分函数（きょくしょかせきぶんかんすう、英: Locally integrable function）とは、その定義域に含まれる任意のコンパクト部分集合上で可積分（したがって積分が有限）であるような函数のことを言う。しばしば局所総和可能函数（locally summable function）とも呼ばれる。そのような函数は、Lp空間と似ているがその元の無限大での振舞いについて制限を要さないような函数空間に属するという点において、重要となる。言い換えると、局所可積分函数は、無限大において任意に早く増大することも許されるが、通常の可積分函数とある意味似た方法によって依然として扱うことが出来るものとなっている。 定義１. Ω をユークリッド空間 ℝn 内のある開集合とし、f : Ω → ℂ をルベーグ可測函数とする。Ω 上の f が次を満たすとき、局所可積分と呼ばれる。 ∫ K | f | d x < + ∞ . {\displaystyle \int _{K}|f|\,\mathrm {d} x<+\infty .} ただし K は Ω の任意のコンパクト部分集合であり、したがって f はそのような全てのコンパクト集合上で有限となる。そのような函数の集合は L1,loc(Ω) と記述される： L 1 , l o c ( Ω ) = { f : Ω → C  measurable | f | K ∈ L 1 ( K )   ∀ K ⊂ Ω , K  compact } . {\displaystyle 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 \}}.} ここで f |K は f の集合 K への制限である。局所可積分函数の古典的な定義は測度論的および位相空間論的な概念のみを含むものであり、ある位相的な測度空間 (X, Σ, μ) 上の複素数値函数へと抽象的に拡張されるものであった。しかし、そのような函数の最も基本的な応用はユークリッド空間上の超函数に対するものであったので、以下の定義および節ではその重要な場合について明らかな形で扱う。 定義 2. Ω をユークリッド空間 ℝn 内のある開集合とする。このとき、各テスト函数 φ ∈ Cc∞ (Ω) に対して ∫ Ω | f φ | d x < + ∞ {\displaystyle \int _{\Omega }|f\varphi |\,\mathrm {d} x<+\infty } を満たす函数 f : Ω → ℂ は、局所可積分と呼ばれる。またそのような函数の集合は L1,loc(Ω) と記述される。ここで Cc∞ (Ω) は、Ω に含まれるコンパクトな台を持つすべての無限回微分可能な函数 φ : Ω → ℝ の集合を表す。 この定義の由来は、ニコラ・ブルバキとその学派によって発展された、ある位相ベクトル空間上の連続線型汎函数の概念に基づく測度と積分の理論にある。またこの定義は、Strichartz (2003) や Maz'ya & Shaposhnikova (2009, p. 34) によって用いられた。この「超函数理論的な」定義は、前述の通常の定義と同値である。実際、次の補題が成立する。 補題 1. 与えられた函数 f : Ω → ℂ が定義 1 の意味で局所可積分であることと、定義 2 の意味で局所可積分であることは同値である。すなわち、次が成り立つ。 ∫ K | f | d x < + ∞ ∀ K ⊂ Ω , K  compact ⟺ ∫ Ω | f φ | d x < + ∞ ∀ φ ∈ C c ∞ ( Ω ) . {\displaystyle \int _{K}|f|\,\mathrm {d} x<+\infty \quad \forall \,K\subset \Omega ,\,K{\text{ compact}}\quad \Longleftrightarrow \quad \int _{\Omega }|f\varphi |\,\mathrm {d} x<+\infty \quad \forall \,\varphi \in C_{\mathrm {c} }^{\infty }(\Omega ).} 定義 3. Ω をユークリッド空間 ℝn 内のある開集合とし、f : Ω → ℂ をあるルベーグ可測函数とする。1 ≤ p ≤ +∞ を満たす与えられた p に対し、f が ∫ K | f | p d x < + ∞ {\displaystyle \int _{K}|f|^{p}\,\mathrm {d} x<+\infty } を満たすなら、f は局所 p-可積分あるいは p-局所可積分と呼ばれる。ただしこの条件は、f が Ω 内のすべてのコンパクト部分集合 K に対してLp(K)に属することを意味する。そのようなすべての函数の集合は Lp,loc(Ω) と記述される： L p , l o c ( Ω ) = { f : Ω → C  measurable  |   f ∈ L p ( K ) ,   ∀ K ⊂ Ω , K  compact } . {\displaystyle 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\}.} 前述の場合と同様に、代替的な定義も与えられ、それらは同値であることが示される。それらは高い一般性を備えるものであるように見えるが、局所 p-可積分函数は 1 < p ≤ +∞ を満たすすべての p に対して局所可積分函数の部分集合を形成する。 局所可積分函数の集合の記法には、大文字 L の字体の差の他に、次のようないくつかの異なるものが存在する。 L l o c p ( Ω ) {\displaystyle L_{\mathrm {loc} }^{p}(\Omega )} は (Hörmander 1990, p. 37)、(Strichartz 2003, pp. 12–13) や (Vladimirov 2002, p. 3) で用いられている。 L p , l o c ( Ω ) {\displaystyle L_{p,\mathrm {loc} }(\Omega )} は (Maz'ya & Poborchi 1997, p. 4) や　Maz'ya & Shaposhnikova (2009, p. 44) で用いられている。 L p ( Ω , l o c ) {\displaystyle L_{p}(\Omega ,\mathrm {loc} )} は (Maz'ja 1985, p. 6) や (Maz'ya 2011, p. 2) で用いられている。 定理 1 Lp,loc は完備距離化可能空間である。すなわち、その位相は次の計量によって生成される： d ( u , v ) = ∑ k ≥ 1 1 2 k ‖ u − v ‖ p , ω k 1 + ‖ u − v ‖ p , ω k u , v ∈ L p , l o c ( Ω ) . {\displaystyle 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 ).} ここで {ωk}k≥1 は、次の性質を満たす空でない開集合の族である。 ωk ⊂⊂ ωk+1。すなわち ωk は ωk+1 に厳密に含まれている。このことは、コンパクトな閉包を持つ集合が高次の集合に厳密に含まれていることを意味する。 ∪kωk = Ω. ‖ ⋅ ‖ p , ω k → R + {\displaystyle \scriptstyle {\Vert \cdot \Vert _{p,\omega _{k}}}\to \mathbb {R} ^{+}} , k ∈ ℕ は、次で定義される半ノルムの添え字付きの族である： ‖ u ‖ p , ω k = ∫ ω k | u | p d x ∀ u ∈ L p , l o c ( Ω ) . {\displaystyle {\Vert u\Vert _{p,\omega _{k}}}=\int _{\omega _{k}}|u|^{p}\,\mathrm {d} x\qquad \forall \,u\in L_{p,\mathrm {loc} }(\Omega ).} 参考文献 (Gilbarg & Trudinger 1998, p. 147)、 (Maz'ya & Poborchi 1997, p. 5)、(Maz'ja 1985, p. 6) および (Maz'ya 2011, p. 2) において、この定理は述べられているが形式的な証明は与えられていない。より一般の結果に対する完全な証明は、(Meise & Vogt 1997, p. 40) に見られる。 定理 2 Ω を ℝn の開部分集合とする。Lp(Ω), 1 ≤ p ≤ +∞ に属するすべての函数 f は局所可積分である。 証明 p = 1 の場合は自明であるので省略し、以下では 1 < p ≤ +∞ を仮定して証明を続ける。Ω のあるコンパクトな部分集合 K に対し、その特性函数 χK を考える。このとき、p ≤ +∞ に対して | ∫ Ω | χ K | q d x | 1 / q = | ∫ K d x | 1 / q = | μ ( K ) | 1 / q < + ∞ {\displaystyle \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}<+\infty } が成立する。ただし q は、与えられた 1 ≤ p ≤ +∞ に対して 1/p + 1/q = 1 を満たすようなある正の数である。 μ(K) はコンパクト集合 K のルベーグ測度である。 このときヘルダーの不等式より、積 fχK は可積分である。すなわち、L1(Ω) に属すとともに、次を満たす。 ∫ K | f | d x = ∫ Ω | f χ K | d x ≤ | ∫ Ω | f | p d x | 1 / p | ∫ K d x | 1 / q = ‖ f ‖ p | μ ( K ) | 1 / q < + ∞ . {\displaystyle {\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}<+\infty .} したがって f ∈ L 1 , l o c ( Ω ) {\displaystyle f\in L_{1,\mathrm {loc} }(\Omega )} である。ここで、不等式 ∫ K | f | d x = ∫ Ω | f χ K | d x ≤ | ∫ K | f | p d x | 1 / p | ∫ K d x | 1 / q = ‖ f ‖ p | μ ( K ) | 1 / q < + ∞ {\displaystyle {\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}<+\infty } が成立するため、定理は局所 p-可積分函数の空間にのみ属する函数 f に対しても成立することに注意されたい。したがって、定理は次の結果を意味する。 系 1 Lp,loc(Ω), 1 < p ≤ +∞ 内のすべての函数 f は局所可積分である。すなわち、L1,loc(Ω) に属する。 定理 3 函数 f が絶対連続測度の密度函数であるための必要十分条件は、f ∈L1,loc であることである。 この結果の証明は (Schwartz 1998, p. 18) に見られる。内容を解釈し直すと、この定理ではすべての局所可積分函数はある絶対連続測度を定義し、逆にすべての絶対連続測度はある局所可積分函数を定義することが主張されている。これはまた、抽象的測度論の枠組みにおいて、Stanisław Saks の学術論文で与えられた重要なラドン＝ニコディムの定理として現れる。 実軸上で定義される定数函数 1 は局所可積分であるが、大域的には可積分ではない。より一般に、定数、連続函数および可積分函数は局所可積分である。 函数 f ( x ) = { 1 / x x ≠ 0 0 x = 0 {\displaystyle f(x)={\begin{cases}1/x&x\neq 0\\0&x=0\end{cases}}} は x = 0 において局所可積分でない。実際、その点を含まない任意のコンパクト集合上での積分は有限であるので、その点の近くでは局所可積分である。形式的に表すと、1/x ∈ L1,loc(ℝ\0) ということになる。しかし、この函数はコーシーの主値として ℝ 全体上での超函数に拡張することが出来る。 上記の例より次の疑問が生じる：Ω ⊊ ℝ 内で局所可積分であるようなすべての函数は、超函数として ℝ 全体へと拡張することが出来るか？この問の答えはノーであり、実際その反例として次の函数が考えられる： f ( x ) = { e 1 / x x ≠ 0 0 x = 0. {\displaystyle f(x)={\begin{cases}e^{1/x}&x\neq 0\\0&x=0.\end{cases}}} この函数は ℝ 上のどのような超函数も定義しない。 次の例も上述のものと同様に、不確定特異点（英語版）を伴う微分作用素への超函数の理論の応用に現れる初等的な反例であるような L1,loc(ℝ\0) に属する函数である： f ( x ) = { k 1 e 1 / x 2 x > 0 0 x = 0 k 2 e 1 / x 2 x < 0 . {\displaystyle f(x)={\begin{cases}k_{1}e^{1/x^{2}}&x>0\\0&x=0\\k_{2}e^{1/x^{2}}&x<0\end{cases}}.} ここで k1 と k2 は複素定数で、次の初等的な一階の非フックス型微分方程式の一般解である。 x 3 d f d x + 2 f = 0. {\displaystyle x^{3}{\frac {\mathrm {d} f}{\mathrm {d} x}}+2f=0.} k1 あるいは k2 がゼロでないなら、その函数はふたたび ℝ 全体上でのどのような超函数も定義しない。したがってそのような方程式における唯一つの超函数的な大域解はゼロである。このことは微分方程式の一分野において超函数理論的な手法は、特に定数係数の線型微分方程式の理論のような他の一分野と同じように上手く働くものとは限らないことを意味する。 局所可積分函数は超函数の理論において主要な役割を果たすとともに、有界変動函数のような様々な函数や函数空間のクラスの定義に現れる。さらに局所可積分函数は、全ての測度の絶対連続な部分を特徴付けることによって、ラドン＝ニコディムの定理にも現れる。 コンパクト集合 超函数 ルベーグの密度定理 ルベーグの微分定理 ルベーグ積分 Lp空間 ^ Gel'fand & Shilov (1964, p. 3) による。 ^ a b 例えば (Schwartz 1998, p. 18) や (Vladimirov 2002, p. 3) を参照。 ^ Vladimirov (2002, p. 1) によって選ばれた、この定義の他のバージョンでは、K ⋐ Ω（あるいは Gilbarg & Trudinger (2001, p. 9) の記法である K ⊂⊂ Ω）を使って、Ω に厳密に含まれる K という条件のみが課されている。これはすなわち、そのような集合はコンパクトな閉包を与えられた全空間に持つことを意味する。 ^ コンパクト性の概念は、与えられた抽象的測度空間上で明白に定義される必要がある。 ^ これは例えば Cafiero (1959, pp. 285–342) や Saks (1937, chapter I) によって発展された手法で、局所可積分の場合を陽的に扱うことはされていなかった。 ^ 例えば (Strichartz 2003, pp. 12–13) を参照。 ^ その理論における手法は、その有用性を訴えた Schwartz (1998, pp. 16–17) によって評価された。しかし彼は局所可積分函数を定義する際には Definition 1 を使った。 ^ Maz'ya と Shaposhnikova はソボレフ空間 Wk,p(Ω) のある局所化されたものに対してのみ、陽的な定義を与えたことに注意されたい。しかしその本では、特に 44 ページで導入されている Lp,loc(Ω) のように、他のすべてのバナッハ空間の局所化されたものに対しても同様の手法が利用できると主張されている。 ^ a b 例えば (Vladimirov 2002, p. 3) や (Maz'ya & Poborchi 1997, p. 4) を参照。 ^ 前節で注意されているように、この手法は Maz'ya & Shaposhnikova (2009) によって初等的な詳細については省かれながら採用された。 ^ 正確に言うと、それらは L1,loc(Ω) の部分ベクトル空間を形成する。Corollary 1 から Theorem 2 を参照。 ^ 例えば (Vladimirov 2002, p. 3) では書体 ℒ が用いられている ^ この内容については (Gilbarg & Trudinger 1998, p. 147) や (Maz'ya & Poborchi 1997, p. 5) を参照されたい。また簡単な注釈については (Maz'ja 1985, p. 6) や (Maz'ya 2011, p. 2) を参照されたい。 ^ Gilbarg & Trudinger (1998, p. 147) および Maz'ya & Poborchi (1997, p. 5) は証明法について非常に簡潔に触れただけであり、(Maz'ja 1985, p. 6) および (Maz'ya 2011, p. 2) ではそれを既知の結果として認め、その後の議論を展開している。 ^ Saks (1937, p. 36) では次のことが述べられている。「E が有限測度の集合か、より一般に有限測度の (μ) の集合の列の和であるなら、E 上の集合 (𝔛) の加法的函数が E 上で絶対連続であるための必要十分条件は、ある集合に対するその函数が E 内のある点の可積分函数の不定積分であることである」。(μ) をルベーグ測度と仮定すれば、それら二つの内容は同値となることが分かる。 ^ 例えば (Hörmander 1990, p. 37) を参照。 ^ (Strichartz 2003, p. 12) を参照。 ^ (Schwartz 1998, p. 19) を参照 ^ (Vladimirov 2002, pp. 19–21) を参照。 ^ (Vladimirov 2002, p. 21) を参照。 ^ この例に関する簡潔な議論については (Schwartz 1998, pp. 131–132) を参照されたい。 Cafiero, Federico (1959) (Italian), Misura e integrazione, Monografie matematiche del en:Consiglio Nazionale delle Ricerche, 5, Roma: Edizioni Cremonese, pp. VII+451, MR0215954, 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, MR0166596, Zbl 0115.33101, https://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, MR1814364, Zbl 1042.35002, https://books.google.co.jp/books?id=eoiGTf4cmhwC&printsec=frontcover&hl=it&source=gbs_ge_summary_r&redir_esc=y#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, MR1065136, 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, MR817985, 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, MR2777530, 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, MR1643072, 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, MR2457601, Zbl 1157.46001, https://books.google.co.jp/books?id=QN8uP6Mn0yQC&printsec=frontcover&redir_esc=y&hl=ja#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, MR1483073, 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, MR0167578, 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, MR0209834, 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, MR2000535, Zbl 1029.46039, https://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, MR2012831, Zbl 1078.46029, https://books.google.co.jp/books?id=hlumB8fkX0UC&pg=PR1&dq=Methods+of+the+theory+of+generalized+functions&redir_esc=y&hl=ja . 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.wolfram.com (英語). Vinogradova, I.A. (2001), “Locally integrable function”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Locally_integrable_function  この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Locally integrable functionの本文を含む