Strict Inequality In Fatou's Lemma

Strict Inequality in Fatou's Lemma: When the Limit is Less Than the Integral of the Limit

Fatou's Lemma is a cornerstone result in measure theory and integration, providing a powerful tool for dealing with limits of integrals. It states that for a sequence of non-negative measurable functions {fₙ}, the integral of the lim inf of the sequence is less than or equal to the lim inf of the integrals of the sequence. While incredibly useful, a crucial aspect often overlooked is the strict inequality condition – when the inequality becomes a strict '<' rather than '≤'. Worth adding: understanding when this strict inequality holds is vital for applying Fatou's Lemma effectively and avoiding erroneous conclusions. This article delves deep into the conditions leading to strict inequality in Fatou's Lemma, providing examples and explanations to solidify your understanding.

Understanding Fatou's Lemma

Let's first formally state Fatou's Lemma:

Let (X, Σ, μ) be a measure space, and let {fₙ} be a sequence of non-negative measurable functions on X. Then

∫ lim infₙ→∞ fₙ dμ ≤ lim infₙ→∞ ∫ fₙ dμ

This seemingly simple inequality has profound implications in analysis. In practice, it allows us to bound the integral of a limit inferior by the limit inferior of integrals, even without assuming convergence of the sequence {fₙ}. The non-negativity condition is crucial; the lemma doesn't hold for general measurable functions.

When Strict Inequality Holds: Exploring the Gap

The key question is: when does the inequality become strict, i.e., when do we have:

∫ lim infₙ→∞ fₙ dμ < lim infₙ→∞ ∫ fₙ dμ

This occurs when there's a "loss of mass" in the limit. Intuitively, this happens when some "portion" of the integral "escapes" to infinity as n grows. Let's explore the conditions that contribute to this "escape":

1. Mass Shifting: Imagine a sequence of functions where the "mass" (integral) is continuously shifted across the space. Consider functions on the real line. Let fₙ(x) be a function that integrates to 1, but its support (the region where the function is non-zero) moves further and further to the right as n increases. The lim inf of this sequence will be 0, resulting in a strict inequality because the right-hand side is 1 while the left-hand side is 0.

2. Oscillations and Convergence Failures: If the sequence {fₙ} oscillates wildly, it may prevent pointwise convergence to a function with a manageable integral. Consider a sequence where fₙ(x) alternates between 1 and 0 at each point, depending on whether n is even or odd. The lim inf of fₙ(x) is 0 for all x, but the integral of each fₙ might be substantial, leading to strict inequality.

3. Non-Uniform Convergence: Even if the sequence converges pointwise almost everywhere, if the convergence is not uniform, the "loss of mass" can still occur. Uniform convergence implies that the difference between fₙ and the limit function becomes arbitrarily small across the entire space simultaneously as n increases. If this doesn't happen, then there might be portions of the space where the integral of fₙ remains significantly larger than the integral of the limit function, leading to the strict inequality.

Examples Illustrating Strict Inequality

Let's illustrate these concepts with concrete examples:

Example 1 (Mass Shifting):

Consider the sequence of functions fₙ(x) on [0, ∞) defined as:

fₙ(x) = 1 if n ≤ x ≤ n + 1, and 0 otherwise.

Each fₙ integrates to 1 (∫fₙ(x)dx = 1). Even so, lim infₙ→∞ fₙ(x) = 0 for all x. Because of this, ∫ lim infₙ→∞ fₙ(x) dx = 0, while lim infₙ→∞ ∫ fₙ(x) dx = 1. We have a strict inequality: 0 < 1. The "mass" of 1 is effectively "lost" at infinity.

Example 2 (Oscillations):

Consider fₙ(x) = sin²(nx) on [0, π]. The lim inf of the integrals will depend on how you pick your subsequence. The sequence doesn't converge pointwise to a meaningful function, however. Each fₙ is integrable. The lim inf is 0, which integrates to 0. The integrals of fₙ are fluctuating. Depending on the subsequence, you may or may not end up with strict inequality.

Example 3 (Non-Uniform Convergence):

For more on this topic, read our article on words that start with y and end in k or check out why is dna more stable than rna.

Consider fₙ(x) = xⁿ on [0, 1]. Here's the thing — this sequence converges pointwise to f(x) = 0 for 0 ≤ x < 1 and f(1) = 1. The integral of f is 0. The integral of fₙ is 1/(n+1), whose limit is 0. On the flip side, it doesn't converge uniformly. Although we might not have a strict inequality in this case, this example shows how non-uniform convergence can lead to situations where a significant portion of the integral could potentially "escape" if we modified this example slightly.

The Role of Integrability and Convergence

The strict inequality is closely tied to the integrability of the limit inferior and the convergence behavior of the sequence.

• Integrability of the Limit Inferior: If lim infₙ→∞ fₙ is integrable, then the inequality may still be strict. The key factor is whether the "mass" shifts or oscillates away in a way that escapes the limit.
• Pointwise Convergence: Pointwise almost everywhere convergence is not sufficient to guarantee equality. Uniform convergence is a stronger condition that ensures equality. The lack of uniform convergence can create the conditions for "mass loss."

Beyond the Basics: Deeper Implications

The strict inequality in Fatou's Lemma highlights a subtle but crucial point: the limit of integrals is not always equal to the integral of the limits. This difference underscores the importance of understanding the nuances of convergence and the potential for "mass loss" when dealing with sequences of functions and their integrals. This is critically important in many areas of analysis, including:

• Probability Theory: Fatou's lemma plays a significant role in proving various results related to expectations and convergence of random variables. The understanding of strict inequality helps in avoiding mistakes when dealing with limiting distributions.
• Partial Differential Equations: Fatou's lemma and its variants are often used in the study of PDEs, where the convergence properties of solution sequences are crucial. Understanding when strict inequality holds is important for accurate analysis.
• Optimization Problems: In optimization problems, Fatou's lemma can be used to find lower bounds for the value of certain optimization problems. A better understanding of the strict inequality would help find tighter bounds.

Frequently Asked Questions (FAQ)

Q1: Is there a simple condition to determine when strict inequality holds?

A1: There isn't a single, easily verifiable condition. Examining the behavior of the sequence, particularly regarding mass shifting, oscillations, and convergence uniformity, is crucial.

Q2: Can we modify Fatou's Lemma to handle functions that are not non-negative?

A2: No, the non-negativity condition is essential for the lemma to hold. For general measurable functions, you might need other convergence theorems, such as the Dominated Convergence Theorem.

Q3: What is the practical significance of understanding the strict inequality?

A3: Understanding when strict inequality holds helps avoid incorrect conclusions when applying Fatou's Lemma. It also allows for a more refined analysis of convergence behavior in various mathematical contexts.

Conclusion

Fatou's Lemma is a powerful tool in analysis, but its application requires a deep understanding of its nuances. In practice, the possibility of strict inequality emphasizes the importance of carefully analyzing the behavior of the sequence of functions involved. By understanding the conditions leading to strict inequality – primarily related to mass shifting, oscillations, and non-uniform convergence – we can avoid pitfalls and apply Fatou's Lemma correctly and effectively in various mathematical contexts. This nuanced understanding is crucial for rigorous and accurate applications in numerous fields. Think about it: the examples provided offer a clear illustration of these conditions and their impact on the integral of the limit inferior. Remember, while the lemma provides a powerful bound, the strict inequality highlights the limitations of simply taking the limit inside the integral without considering the underlying behavior of the sequence.