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. (1)

    $f$ is holomorphic on $S$.

  2. (2)

    $f$ is continuous on $\ol S$.

  3. (3)

    For each $t \in \real$, $f(it) \in E_{0}$, and $\lim_{|t| \to \infty}\norm{f(it)}_{E_0}= 0$.

  4. (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

\[\norm{f}_{\cf(E_0, E_1)}= \max\braks{\sup_{t \in \real}\norm{f(it)}_{E_0}, \sup_{t \in \real}\norm{f(1 + it)}_{E_1}}\]

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

Name:Email:
Please enter the tag of the current page (YN) to post the comment.
Tag: