In the study of real analysis and measure theory, understanding which functions are Lebesgue integrable is fundamental, but it is equally important to recognize functions that are not Lebesgue integrable. While the Lebesgue integral extends the scope of integrable functions far beyond the Riemann integral, not all measurable functions can be assigned a finite Lebesgue integral. Functions that fail to meet certain criteria regarding absolute convergence, behavior at infinity, or singularities may fall outside the class of Lebesgue integrable functions. Analyzing these functions helps in distinguishing integrable cases from non-integrable ones and provides insight into the limitations of Lebesgue integration in practical applications.
Definition of Lebesgue Integrability
To understand which functions are not Lebesgue integrable, it is essential to first define what it means for a function to be Lebesgue integrable. A function f defined on a measurable set E is Lebesgue integrable if the integral of its absolute value is finite
∫_E |f| dμ < ∞
This condition ensures that the function’s positive and negative contributions do not diverge. If a function fails this test, even if it is measurable, it cannot be considered Lebesgue integrable. Therefore, non-integrable functions are typically those for which the absolute value has infinite measure under integration.
Measurable but Non-Integrable Functions
One common class of functions that are not Lebesgue integrable are measurable functions whose absolute values have infinite integral. Measurability alone is not sufficient for integrability; the function must also decay or behave in a way that prevents the integral from diverging. For instance, functions with unbounded growth or severe singularities may be measurable but not Lebesgue integrable. Understanding the behavior of these functions is crucial for applying Lebesgue integration correctly.
Examples of Functions Not Lebesgue Integrable
Several classic examples illustrate functions that are not Lebesgue integrable. These examples demonstrate common reasons for non-integrability, such as divergence at infinity, oscillatory behavior, or singularities.
1. Functions with Divergence at Infinity
Consider the function f(x) = 1/x defined on the interval [1, ∞). Its absolute value is |f(x)| = 1/x. The integral of |f(x)| over [1, ∞) is
∫_1^∞ (1/x) dx = ∞
Since the integral diverges, f(x) is not Lebesgue integrable on [1, ∞). Functions that decay too slowly at infinity often fail to meet the Lebesgue integrability condition.
2. Functions with Singularities
Functions with singularities within the domain can also be non-integrable. For example, consider f(x) = 1/√x on the interval [0,1]. The absolute value is |f(x)| = 1/√x, and the integral is
∫_0^1 (1/√x) dx = 2
In this particular case, the integral converges, so f(x) is Lebesgue integrable. However, if we consider f(x) = 1/x on [0,1], the integral
∫_0^1 (1/x) dx = ∞
diverges, making f(x) non-integrable. The presence of singularities that are too strong near certain points can lead to non-integrability.
3. Oscillatory Functions with Non-Absolute Convergence
Some functions may be conditionally integrable in the Riemann sense but fail absolute convergence, which is required for Lebesgue integration. For instance, the function f(x) = sin(x)/x defined on [1, ∞) oscillates infinitely but decays slowly. While its improper Riemann integral converges conditionally, the Lebesgue integral of |f(x)| diverges because
∫_1^∞ |sin(x)/x| dx = ∞
Hence, this function is not Lebesgue integrable, illustrating that absolute convergence is essential for Lebesgue integration.
Criteria for Non-Integrability
Several criteria can be used to identify functions that are not Lebesgue integrable
- Unbounded GrowthFunctions that increase without bound over an infinite measure set often have divergent integrals.
- Strong SingularitiesPoints where the function diverges too strongly, such as f(x) = 1/x near x=0, can prevent integrability.
- Lack of Absolute ConvergenceFunctions with oscillatory behavior that fail to converge absolutely are non-integrable.
- Infinite Measure of SupportIf the set where the function is nonzero has infinite measure and the function does not decay sufficiently, the integral may diverge.
Implications in Analysis
Recognizing non-Lebesgue integrable functions is important for several areas of mathematical analysis. In probability theory, for example, expectation values require Lebesgue integrable random variables. Non-integrable functions cannot serve as valid probability density functions. In functional analysis, spaces like L¹ consist of Lebesgue integrable functions, and non-integrable functions lie outside these spaces. Understanding the limitations of Lebesgue integration allows mathematicians to work within appropriate function spaces and avoid incorrect conclusions.
Strategies for Handling Non-Integrable Functions
In some cases, non-Lebesgue integrable functions can still be analyzed using alternative approaches
- TruncationRestricting the domain to a finite interval or excluding singular points can create an integrable approximation.
- Weighted IntegrationMultiplying the function by a suitable weight that decays at infinity may render the integral finite.
- Distribution TheoryFunctions that are not integrable in the traditional sense may be treated as distributions, allowing generalized notions of integration.
Functions that are not Lebesgue integrable provide important examples that highlight the boundaries of measure-theoretic integration. Common causes of non-integrability include divergence at infinity, strong singularities, oscillatory behavior without absolute convergence, and infinite measure of the support set. Identifying these functions is crucial in analysis, probability theory, and functional analysis to ensure correct application of integration techniques. While Lebesgue integration significantly extends the class of integrable functions compared to Riemann integration, understanding its limitations helps mathematicians and students avoid pitfalls and apply integrals appropriately. By exploring examples and criteria for non-integrability, learners gain a deeper appreciation of the subtleties involved in real analysis and measure theory.