Problem 2 - A (terse) introduction to Lebesgue integration

Question

Suppose \(f_{n}:[a, b] \rightarrow \mathbb{C}, n \in \mathbb{N}\) is a sequence of measurable functions and \(u_{n}(x)=\Re\left(f_{n}(x)\right)\) and \(v_{n}(x)=\Im\left(f_{n}(x)\right)\). Prove that \(\lim _{n \rightarrow \infty} f_{n}=f\) in \(L_{c}^{2}[-\pi, \pi]\) if and only if \(\lim _{n \rightarrow \infty} u_{n}=\Re(f)\) and \(\lim _{n \rightarrow \infty} v_{n}=\Im(f)\) in \(L^{2}[-\pi, \pi]\)

Step-by-Step Solution

Answer

The conditions for \(L_c^2\) and \(L^2\) convergence are equivalent, as the magnitudes involve both real and imaginary parts adding to the total complex magnitude.

Step 1: Understanding the Problem

The problem involves proving the equivalence of a sequence of complex functions converging in a specific space, \(L_c^2[-\pi, \pi]\), and their corresponding real and imaginary parts converging in \(L^2[-\pi, \pi]\). Our goal is to show this equivalence.

Step 2: Definition of Convergence in \(L^2\)

Recall that a sequence \(f_n\) of functions converges to \(f\) in \(L^2[-\pi, \pi]\) if \(\lim_{n \to \infty} \int_{-\pi}^{\pi} |f_n(x) - f(x)|^2 \, dx = 0\). This criterion is essential for handling both the complex sequence and its real and imaginary components.

Step 3: Express \(L^2\) Convergence in Real and Imaginary Parts

Since \(f_n(x)\) is a complex function with real part \(u_n(x) = \Re(f_n(x))\) and imaginary part \(v_n(x) = \Im(f_n(x))\), the convergence of \(f_n\) involves both \(\Re(f_n)\) and \(\Im(f_n)\). We have \(\lim_{n \to \infty} \int_{-\pi}^{\pi} |\Re(f_n)(x) - \Re(f)(x)|^2 \, dx = 0\) and \(\lim_{n \to \infty} \int_{-\pi}^{\pi} |\Im(f_n)(x) - \Im(f)(x)|^2 \, dx = 0\).

Step 4: Breaking Down the \(L_c^2\) Convergence

\(L_c^2\) involves integrating the square of the magnitude of the complex difference: \(\lim_{n \to \infty} \int_{-\pi}^{\pi} |f_n(x) - f(x)|^2 \, dx = 0\). This can be expanded using \(|f_n(x) - f(x)|^2 = (\Re(f_n) - \Re(f))^2 + (\Im(f_n) - \Im(f))^2\).

Step 5: Establishing Equivalence of Convergences

Show the equivalence: If \(\lim_{n \to \infty} (\Re(f))_n = \Re(f)\) and \(\lim_{n \to \infty} (\Im(f))_n = \Im(f)\), then \( \lim_{n \to \infty} |f_n - f|^2 = \lim_{n \to \infty} (|\Re(f_n) - \Re(f)|^2 + |\Im(f_n) - \Im(f)|^2) = 0 \). Similarly, if the right-hand side is true, it implies convergence of both real and imaginary components, proving the statement.

Key Concepts

Complex Functions

Complex functions are fascinating mathematical constructs involving both a real and an imaginary component. The real part of a complex function can be represented by \( \Re(f(x)) \), and the imaginary part is represented as \( \Im(f(x)) \). Together, they combine to form a complex number, depicted as \( f(x) = \Re(f(x)) + i \Im(f(x)) \). Here, \( i \) is the imaginary unit, satisfying \( i^2 = -1 \).

These functions extend real-valued functions into the complex plane, allowing for the exploration of more intricate behaviors than those found within real numbers alone. When dealing with sequences of complex functions \( f_n(x) \), each function in the sequence may vary in their real and imaginary components. It becomes crucial to analyze these parts separately to understand how the sequence behaves as \( n \approaches \infty \).

In mathematical analyses, one can often break down the properties of complex functions into their real and imaginary parts to facilitate understanding and solve complex problems.

Convergence in L2 Space

The concept of convergence in \( L^2 \) space is pivotal when discussing integrable functions, particularly complex-valued functions. For a function sequence \( f_n \) to converge to \( f \) in \( L^2[-\pi, \pi] \), it must satisfy the condition: \[\lim_{n \to \infty} \int_{-\pi}^{\pi} |f_n(x) - f(x)|^2 \, dx = 0.\]This equation ensures that the sequence becomes indistinguishably close to \( f \), considering the squared differences over the interval \([-\pi, \pi]\).

In essence, \( L^2 \) convergence means that, on average, the distance between \( f_n \) and \( f \) squared tends to zero as \( n \approaches \infty \). This scalar "distance" measure considers the entire domain of the functions and is essential in understanding the behavior of function sequences under various conditions.

Applying this to complex functions, \( L^2 \) convergence implies that both the real and imaginary components of \( f_n \) must converge in \( L^2 \) manner to the real and imaginary parts of \( f \) respectively. This ensures that as \( f_n \) approaches \( f \), each of its components individually also reaches their target components of \( f \).

Real and Imaginary Parts

In the context of complex-valued functions, recognizing the significance of their real and imaginary parts is crucial for comprehensive analysis. Each component contributes uniquely to the overall function, and in many mathematical tasks, each part can be examined separately to simplify the problem.

Given a complex sequence \( f_n(x) \), decomposing it into its real and imaginary parts gives rise to two sequences:

• \( u_n(x) = \Re(f_n(x)) \)
• \( v_n(x) = \Im(f_n(x)) \)

To claim that \( f_n \) converges in the \( L^2 \) sense to a function \( f \), we must illustrate that both \( u_n(x) \) approaches \( \Re(f(x)) \) and \( v_n(x) \) approaches \( \Im(f(x)) \) in their respective \( L^2 \) sense.

Mathematically, these conditions correspond to:

• \( \lim_{n \to \infty} \int_{-\pi}^{\pi} |u_n(x) - \Re(f(x))|^2 \, dx = 0 \)
• \( \lim_{n \to \infty} \int_{-\pi}^{\pi} |v_n(x) - \Im(f(x))|^2 \, dx = 0 \)

Thus, convergence of the real and imaginary components is both necessary and sufficient for the convergence of the entire complex sequence.