91Ó°ÊÓ

The Hardy space, denoted as \( H^2 \), is a fundamental concept in functional analysis, particularly in the study of holomorphic functions within the unit disk \( \mathbb{D} \). In mathematical terms, "holomorphic" means that the functions are complex differentiable at every point in \( \mathbb{D} \). Think of it as an infinite-dimensional space of complex functions, each represented by a power series. The criterion for a function to belong to \( H^2 \) is that the sum of the squares of its Taylor series coefficients must be finite. This can be mathematically understood using the formula:

• Function \( f \) can be written as \( f(z) = \sum_{n=0}^{\infty} a_n z^n \)
• Condition: \( \sum_{n=0}^{\infty} |a_n|^2 < \infty \)
• Norm: \( \|f\|^2 = \sum_{n=0}^{\infty} |a_n|^2 \)

This norm represents a way to measure the "size" of \( f \) in the Hardy space, similarly to how length is measured in physical space. An important feature of functions in \( H^2 \) is their behavior at the boundary of \( \mathbb{D} \), where they are often well-behaved (nonturbulent) due to the nature of holomorphic functions. In this context, we often focus on the value of the function at particular points within \( \mathbb{D} \), which can be articulated using evaluation maps.

A bounded linear functional is a map that linearly assigns a number to each function in a space, yet is constrained in the 'size' of its output relative to the 'size' of the input. In the Hardy space \( H^2 \), this involves evaluating a function at a given point \( w \in \mathbb{D} \). This map, denoted as \( f \mapsto f(w) \), should satisfy certain properties:

• Linearity: \( f(w) = \alpha g(w) + \beta h(w) \) for \( f = \alpha g + \beta h \)
• Boundedness: \( |f(w)| \leq C \|f\| \) for some constant \( C \)

A central part of the solution to the exercise involves showing that such an evaluation is indeed bounded. The process makes use of calculating the norm of a certain kernel associated with \( w \), called the reproducing kernel, and then applying the Cauchy-Schwarz inequality. By establishing that there exists a constant such that the inequality holds, we prove that evaluating at \( w \) is bounded, thus ensuring the map is a functional that remains well-behaved across \( H^2 \). This supports the notion that evaluating at \( w \) doesn't accidentally estimate a function to be arbitrarily large, maintaining stability in analysis.

The Cauchy-Schwarz inequality is a pivotal tool in mathematics that helps establish estimates relating to inner products — a concept akin to angle measures in vector spaces. In the context of Hardy spaces, particularly \( H^2 \), this inequality is employed to bound the value of \( f(w) \) in terms of the norm \( \|f\| \). The inequality posits:

• For functions or vectors \( u \) and \( v \), \( |(u, v)| \leq \|u\| \|v\| \)
• In our scenario: \( |f(w)| = |(f, k_w)| \leq \|f\| \|k_w\| \)

The ability to express \( f(w) \) as \( (f, k_w) \) is significant because it requires understanding \( k_w \), the reproducing kernel, whose norm was calculated in a step of the exercise. Then, by using the Cauchy-Schwarz inequality, we show: \[ |f(w)| \leq \|f\| \left(\frac{1}{1-|w|^2}\right)^{1/2} \]This insight not only supports why evaluation at \( w \) is a bounded linear functional but also demonstrates the practicality of the Cauchy-Schwarz inequality beyond simple algebraic explanations, serving as a bridge between abstract mathematical concepts and their application in functional analysis.