Definition 17.2.1 (Calderón Space).label Let $S = \bracs{z \in \complex| \text{Re}(z) \in (0, 1)}$ and $(E_{0}, E_{1})$ be a compatible couple of Banach spaces over $\complex$, then the Calderón space $\cf(E_{0}, E_{1})$ is the Banach space of functions $f: \ol S \to E_{0} + E_{1}$ such that:
- (1)
$f$ is holomorphic on $S$.
- (2)
$f$ is continuous on $\ol S$.
- (3)
For each $t \in \real$, $f(it) \in E_{0}$, and $\lim_{|t| \to \infty}\norm{f(it)}_{E_0}= 0$.
- (4)
For each $t \in \real$, $f(1 + it) \in E_{1}$, and $\lim_{|t| \to \infty}\norm{f(1 + it)}_{E_1}= 0$.
equipped with the norm
Proof. By the Maximum Modulus Theorem applied to $f$ as a function in $H(S; E_{0} + E_{1})$, $\norm{\cdot}_{\cf(E_0, E_1)}$ is a norm.
By the Maximum Modulus Theorem, Proposition 28.4.2, and Proposition 7.3.2, $\cf(E_{0}, E_{1})$ is complete.$\square$
Post a Comment