In mathematics, a locally integrable function (sometimes also called locally summable function) is a function which is integrable (so its integral is finite) on every compact subset of its domain of definition. The importance of such functions lies in the fact that their function space is similar to p-integrable function spaces ( L p {\textstyle L^{p}} spaces), but its members are not required to satisfy any growth restriction on their behaviour at the boundary of their domain (at infinity if the domain is unbounded): in other words, locally integrable functions can grow arbitrarily fast at the domain boundary, but are still manageable in a way similar to ordinary integrable functions.
Definition
Standard definition Definition 1. Let Ω {\textstyle \Omega } be an open set in the Euclidean space R n {\textstyle \mathbb {R} ^{n}} and f : Ω → C {\textstyle f:\Omega \to {\mathbb {C}}} be a Lebesgue measurable function. If f {\textstyle f} on Ω {\textstyle \Omega } is such that
∫ K | f | d x < + ∞ , {\displaystyle \int _{K}|f|\,\mathrm {d} x<+\infty ,}
i.e. its Lebesgue integral is finite on all compact subsets K {\textstyle K} of Ω {\textstyle \Omega } , then f {\textstyle f} is called locally integrable. The set of all such functions is denoted by L 1 , loc ( Ω ) {\textstyle L_{1,{\text{loc}}}(\Omega )} :
L 1 , l o c ( Ω ) = { f : Ω → C measurable : f | K ∈ L 1 ( K ) ∀ K ⊂ Ω , K compact } , {\displaystyle L_{1,\mathrm {loc} }(\Omega )={\bigl \{}f\colon \Omega \to \mathbb {C} {\text{ measurable}}:f|_{K}\in L_{1}(K)\ \forall \,K\subset \Omega ,\,K{\text{ compact}}{\bigr \}},}
where f | K {\textstyle \left.f\right|_{K}} denotes the restriction of f {\textstyle f} to the set K {\textstyle K} .
An alternative definition Definition 2. Let Ω {\textstyle \Omega } be an open set in the Euclidean space R n {\textstyle \mathbb {R} ^{n}} . Then a function f : Ω → C {\textstyle f:\Omega \to \mathbb {C} } such that
∫ Ω | f φ | d x < + ∞ , {\displaystyle \int _{\Omega }|f\varphi |\,\mathrm {d} x<+\infty ,}
for each test function φ ∈ C c ∞ ( Ω ) {\textstyle \varphi \in C_{c}^{\infty }(\Omega )} is called locally integrable, and the set of such functions is denoted by L 1 , loc ( Ω ) {\textstyle L_{1,{\text{loc}}}(\Omega )} . Here, C c ∞ ( Ω ) {\textstyle C_{c}^{\infty }(\Omega )} denotes the set of all infinitely differentiable functions φ : Ω → R {\textstyle \varphi \colon \Omega \to {\mathbb {R}}} with compact support contained in Ω {\textstyle \Omega } . This definition has its roots in the approach to measure and integration theory based on the concept of a continuous linear functional on a topological vector space, developed by the Nicolas Bourbaki school. It is also the one adopted by Strichartz (2003) and by Maz'ya & Shaposhnikova (2009, p. 34). This "distribution theoretic" definition is equivalent to the standard one, as the following lemma proves: Lemma 1. A given function f : Ω → C {\textstyle f:\Omega \to \mathbb {C} } is locally integrable according to Definition 1 if and only if it is locally integrable according to Definition 2, i.e.,
… excerpt ends here. Continue reading the full article.
