Approximation de fonctions holomorphes d'un nombre infini de variables. (Approximation of holomorphic functions of infinitely many variables.) (Q1294743): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Richard Martin Aron / rank | |||
Property / reviewed by | |||
Property / reviewed by: Richard Martin Aron / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2324369474 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holomorphic functions with values in locally convex spaces and applications to integral formulas / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3943468 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4257163 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Dolbeault complex in infinite dimensions II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5664409 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holomorphic Mappings on l 1 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:39, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Approximation de fonctions holomorphes d'un nombre infini de variables. (Approximation of holomorphic functions of infinitely many variables.) |
scientific article |
Statements
Approximation de fonctions holomorphes d'un nombre infini de variables. (Approximation of holomorphic functions of infinitely many variables.) (English)
0 references
10 August 1999
0 references
The author's motivation comes from the following open problem: Let \(B(R)\subset X\) be the \(R\)-ball centered at \(0\) in a complex Banach space \(X\), let \(f:B(R)\to \mathbb{C}\) be a holomorphic function, and let \(0< r< R\). Given \(\varepsilon> 0\), does there exist an entire function \(g\) on \(X\) such that \(\|f- g\|_{B(r)}< \varepsilon\)? (Note that \(f\) may well be unbounded on \(B(R)\), so that \(f\) is not in general uniformly approximable by partial sums of its Taylor series.) In the first part of this note, the author solves a special case of this problem: Let \(M\) be a Stein (finite-dimensional) variety, let \(K\subset M\) be a holomorphically convex compact set, and let \(G\subset M\) be an open precompact neighborhood of \(K\). Further, let \(X\) and \(V\) be locally convex spaces, and let \(f\in{\mathcal O}(G\times X,V)\), that is a \(V\)-valued holomorphic mapping on \(G\times X\). Theorem: For any bounded subset \(B\subset X\), any continuous seminorm \(p\) on \(V\), and any \(\varepsilon> 0\), there is \(g\in{\mathcal O}(M\times X,V)\) such that \(\sup_{K\times B}p(f- g)< \varepsilon\). The proof makes use of work of \textit{L. Bungart} [Trans. Am. Math. Soc. 111, 317-344 (1964) and ibid. 113, 547 (1964; both Zbl 0142.33902)]. The major part of this paper deals with the case \(X= \ell^1(\Gamma)\). Let \(M\) be a Stein variety, let \(R: M\to (0,\infty)\) be continuous, and let \(\Omega= \{(\zeta, z)\in M\times \ell^1(\Gamma):\|z\|< R(\zeta)\}\). Let \({\mathcal C}_{\mathcal O}(\Omega, V)\) be the space of continuous functions \(f:\Omega\to V\) such that for each \(\zeta\in M\), \(f(\zeta,\cdot)\) is holomorphic. After describing the monomial development of elements of \({\mathcal C}_{\mathcal O}(\Omega, V)\) [cf. \textit{R. A. Ryan}, Trans. Am. Math. Soc. 302, 797-811 (1987; Zbl 0637.46045) and the author's paper, J. Am. Math. Soc. 12, No. 3, 775-793 (1999; Zbl 0926.32048)], the author proves the following approximation theorem. Let \(K\) be a compact subset of \(M\) which is \({\mathcal O}(M)\)-convex, let \(M'\subset M\) be an open neighborhood of \(K\), and let \(r,R: M'\to (0,\infty)\) be continuous functions such that \(r< R\). Let \(\Omega= \{(\zeta, z)\in M'\times \ell^1(\Gamma):\|z\|< R(\zeta)\}\) and \(A= \{(\zeta, z)\in \Omega:\|z\|\leq r(\zeta)\}\). Theorem. Let \(V\) be a locally convex space and let \(p\) be a continuous seminorm on \(V\). For any \(f\in{\mathcal O}(\Omega, V)\) and any \(\varepsilon> 0\), there is \(g\in{\mathcal O}(M\times \ell^1(\Gamma), V)\) such that \(\sup_Ap(f- g)<\varepsilon\).
0 references
holomorphic functions
0 references
Banach spaces
0 references
holomorphically convex compact set
0 references
Stein variety
0 references
approximation theorem
0 references
0 references