Algebraic projective descriptions and the Fantappiè transformation (Q326717): Difference between revisions

Let \(Q\subseteq\mathbb C^N\) be a convex locally closed set (i.e., each point has a neighborhood in \(\mathbb C^N\) which intersects \(Q\) in a closed set) and \((Q_n)_{n\in\mathbb N}\) a compact exhaustion. The space \(H(Q)\) of holomorphic functions on \(Q\) is \(\bigcap_n H(Q_n)\) where each space \(H(Q_n)\) of germs is naturally an inductive limit of Banach spaces. Therefore, the dual \(H(Q)'\) becomes an inductive limit of Fréchet spaces which, by Laplace transformation, can be described as a weighted LF-space \[ VH(\mathbb C^N)=\bigcup_n \bigcap_k \{f\in H(\mathbb C^N): fv_{n,k} \text{ is bounded}\} \] with weights \(v_{n,k}(z)=\exp(-H_n(z)-|z|/k)\) where \(H_n\) is the support functional of \(Q_n\). The main result of the article is an almost characterization in terms of ``strict convexity conditions of \(Q\) at the boundary'' when \(VH(\mathbb C^N)\) can be described as \[ H\overline V(\mathbb C^N)=\{f\in H(\mathbb C^N): f \bar v \text{ is bounded for all } \bar v \in \overline V\} \] where \(\overline V=\{\bar v:\mathbb C^N \to [0,\infty): \forall\, n\in\mathbb N\;\exists\, k\in \mathbb N\) such that \(v/v_{n,k}\) is bounded\(\}\). For similar weights coming from the Paley-Wiener-Schwartz theorem for \(\mathscr D(\mathbb R^N)\) such (algebraic and topological) projective descriptions of weighted spaces of entire functions played an important role in Ehrenpreis' approach to fundamental solutions for partial differential operators, and such problems were intensively studied by Bierstedt, Bonet, Meise, Momm, Melikhov, Summers, and others.