Skip to main content
Became Hot Network Question
Minor formatting
Source Link
Daniele Tampieri
  • 6.4k
  • 7
  • 30
  • 45

I'm looking for an example of a function $u \in H_2$ such that $u \notin H_\infty$, where $H_p$ is the Hardy space on the right-half plane. Since this notation is perhaps not standard, here is a complete definition.

Let $\mathbb{C}^+ := \{s\in \mathbb{C} \mid \text{Re}(s) > 0 \}$ and $\bar{\mathbb{C}}^+ := \{s\in \mathbb{C} \mid \text{Re}(s) \geq 0 \}$ denotes the open and closed right-half plane, respectively.

Let $u:\bar{\mathbb{C}}^+\to \mathbb{C}$ be a function. Consider the following four conditions:

  1. $u$ is analytic in the open right-half plane $\mathbb{C}^+$.
  2. For almost all $\omega\in\mathbb{R}$, we have $\displaystyle \lim_{\sigma \to 0^+} u(\sigma+i\omega) = u(i\omega)$
  3. $\displaystyle \sup_{\sigma \geq 0} \int_{-\infty}^\infty |u(\sigma+j\omega)|^2\,\mathrm{d}\omega < \infty$
  4. $\displaystyle \text{ess}\sup_{s \in \bar{\mathbb{C}}^+} |u(s)| < \infty\qquad$$\displaystyle \text{ess}\sup_{s \in \bar{\mathbb{C}}^+} |u(s)| < \infty\;$ (this is the essential supremum, so ignoring any sets of measure zero)

We say that $u\in H_2$ if conditions 1,2,3 hold. We say that $u\in H_\infty$ if conditions 1,2,4 hold. Note that when conditions 1 and 2 hold, the suprema in conditions 3 and 4 will occur on the imaginary axis.

I'm looking for an example of a function $u \in H_2$ such that $u \notin H_\infty$, where $H_p$ is the Hardy space on the right-half plane. Since this notation is perhaps not standard, here is a complete definition.

Let $\mathbb{C}^+ := \{s\in \mathbb{C} \mid \text{Re}(s) > 0 \}$ and $\bar{\mathbb{C}}^+ := \{s\in \mathbb{C} \mid \text{Re}(s) \geq 0 \}$ denotes the open and closed right-half plane, respectively.

Let $u:\bar{\mathbb{C}}^+\to \mathbb{C}$ be a function. Consider the following four conditions:

  1. $u$ is analytic in the open right-half plane $\mathbb{C}^+$.
  2. For almost all $\omega\in\mathbb{R}$, we have $\displaystyle \lim_{\sigma \to 0^+} u(\sigma+i\omega) = u(i\omega)$
  3. $\displaystyle \sup_{\sigma \geq 0} \int_{-\infty}^\infty |u(\sigma+j\omega)|^2\,\mathrm{d}\omega < \infty$
  4. $\displaystyle \text{ess}\sup_{s \in \bar{\mathbb{C}}^+} |u(s)| < \infty\qquad$ (this is the essential supremum, so ignoring any sets of measure zero)

We say that $u\in H_2$ if conditions 1,2,3 hold. We say that $u\in H_\infty$ if conditions 1,2,4 hold. Note that when conditions 1 and 2 hold, the suprema in conditions 3 and 4 will occur on the imaginary axis.

I'm looking for an example of a function $u \in H_2$ such that $u \notin H_\infty$, where $H_p$ is the Hardy space on the right-half plane. Since this notation is perhaps not standard, here is a complete definition.

Let $\mathbb{C}^+ := \{s\in \mathbb{C} \mid \text{Re}(s) > 0 \}$ and $\bar{\mathbb{C}}^+ := \{s\in \mathbb{C} \mid \text{Re}(s) \geq 0 \}$ denotes the open and closed right-half plane, respectively.

Let $u:\bar{\mathbb{C}}^+\to \mathbb{C}$ be a function. Consider the following four conditions:

  1. $u$ is analytic in the open right-half plane $\mathbb{C}^+$.
  2. For almost all $\omega\in\mathbb{R}$, we have $\displaystyle \lim_{\sigma \to 0^+} u(\sigma+i\omega) = u(i\omega)$
  3. $\displaystyle \sup_{\sigma \geq 0} \int_{-\infty}^\infty |u(\sigma+j\omega)|^2\,\mathrm{d}\omega < \infty$
  4. $\displaystyle \text{ess}\sup_{s \in \bar{\mathbb{C}}^+} |u(s)| < \infty\;$ (this is the essential supremum, so ignoring any sets of measure zero)

We say that $u\in H_2$ if conditions 1,2,3 hold. We say that $u\in H_\infty$ if conditions 1,2,4 hold. Note that when conditions 1 and 2 hold, the suprema in conditions 3 and 4 will occur on the imaginary axis.

Source Link

Hardy space inclusion in the right-half plane

I'm looking for an example of a function $u \in H_2$ such that $u \notin H_\infty$, where $H_p$ is the Hardy space on the right-half plane. Since this notation is perhaps not standard, here is a complete definition.

Let $\mathbb{C}^+ := \{s\in \mathbb{C} \mid \text{Re}(s) > 0 \}$ and $\bar{\mathbb{C}}^+ := \{s\in \mathbb{C} \mid \text{Re}(s) \geq 0 \}$ denotes the open and closed right-half plane, respectively.

Let $u:\bar{\mathbb{C}}^+\to \mathbb{C}$ be a function. Consider the following four conditions:

  1. $u$ is analytic in the open right-half plane $\mathbb{C}^+$.
  2. For almost all $\omega\in\mathbb{R}$, we have $\displaystyle \lim_{\sigma \to 0^+} u(\sigma+i\omega) = u(i\omega)$
  3. $\displaystyle \sup_{\sigma \geq 0} \int_{-\infty}^\infty |u(\sigma+j\omega)|^2\,\mathrm{d}\omega < \infty$
  4. $\displaystyle \text{ess}\sup_{s \in \bar{\mathbb{C}}^+} |u(s)| < \infty\qquad$ (this is the essential supremum, so ignoring any sets of measure zero)

We say that $u\in H_2$ if conditions 1,2,3 hold. We say that $u\in H_\infty$ if conditions 1,2,4 hold. Note that when conditions 1 and 2 hold, the suprema in conditions 3 and 4 will occur on the imaginary axis.