Vector-Valued Holomorphic Functions and Abstract Fubini-Type Theorems

Bernhard H. Haak,Markus Haase

2024-05-22

Abstract:Let $f = f(z,t)$ be a function holomorphic in $z \in O \subseteq {\mathbb C}^d$ for fixed $t\in \Omega$ and measurable in $t$ for fixed $z$ and such that$z \mapsto f(z,\cdot)$ is bounded with values in$E := L_{p}(\Omega)$, $1\le p \le \infty$. It is proved (among other things) that \[ \langle t\mapsto \varphi( f(\cdot,t) ) , \mu \rangle= \varphi(z \mapsto \langle f(z, \cdot) , \mu\rangle )\] whenever $\mu \in E'$ and $\varphi$ is a linear functional on $H^\infty(O)$ that is sequentially continuous with respect to bounded pointwise convergence in $H^\infty(O)$.

Functional Analysis

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to establish a connection between vector - valued holomorphic functions and abstract Fubini - type theorems. Specifically, the paper explores how to prove a result similar to Fubini's theorem when the function \( f = f(z, t) \) satisfies the following conditions:

1. For a fixed \( t\in\Omega \), the function \( f \) is holomorphic in \( z\in O\subseteq\mathbb{C}^d \).
2. For a fixed \( z \), the function \( f \) is measurable in \( t \).
3. The function \( z\mapsto f(z,\cdot) \) is bounded and takes values in \( E := L^p(\Omega) \), where \( 1\leq p\leq\infty \).

The main objective of the paper is to prove that under these conditions, for any \( \mu\in E' \) and \( \phi \) a bp - continuous linear functional on \( H^\infty(O) \), the following equality holds:
\[
\langle t\mapsto\phi(f(\cdot, t)),\mu\rangle=\phi(z\mapsto\langle f(z,\cdot),\mu\rangle)
\]

This result can be regarded as an abstract Fubini - type theorem because it involves the problem of the interchangeability of the order of integration with respect to two variables. The paper also discusses special cases in \( L^p \) spaces and presents specific proof methods. In addition, the paper reviews Mattner's related results and shows how to use these results to prove the case when \( p = 1 \).