On the algebra of $A^k$-functions
Mathematica Bohemica, Tome 131 (2006) no. 1, pp. 49-61

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
For a domain $\Omega \subset {\mathbb{C}}^n$ let $H(\Omega )$ be the holomorphic functions on $\Omega $ and for any $k\in \mathbb{N}$ let $A^k(\Omega )=H(\Omega )\cap C^k(\overline{\Omega })$. Denote by ${\mathcal{A}}_D^k(\Omega )$ the set of functions $f\: \Omega \rightarrow [0,\infty )$ with the property that there exists a sequence of functions $f_j\in A^k(\Omega )$ such that $\lbrace |f_j|\rbrace $ is a nonincreasing sequence and such that $ f(z)=\lim _{j\rightarrow \infty }|f_j(z)|$. By ${\mathcal{A}}_I^k(\Omega )$ denote the set of functions $f\: \Omega \rightarrow (0,\infty )$ with the property that there exists a sequence of functions $f_j\in A^k(\Omega )$ such that $\lbrace |f_j|\rbrace $ is a nondecreasing sequence and such that $ f(z)=\lim _{j\rightarrow \infty }|f_j(z)|$. Let $k\in \mathbb{N}$ and let $\Omega _1$ and $\Omega _2$ be bounded $A^k$-domains of holomorphy in $\mathbb{C}^{m_1}$ and $\mathbb{C}^{m_2}$ respectively. Let $g_1\in {\mathcal{A}}_D^k(\Omega _1)$, $g_2\in {\mathcal{A}}_I^k(\Omega _1)$ and $h\in {\mathcal{A}}_D^k(\Omega _2)\cap {\mathcal{A}}_I^k(\Omega _2)$. We prove that the domains $\Omega =\left\rbrace (z,w)\in \Omega _1\times \Omega _2\: g_1(z)
For a domain $\Omega \subset {\mathbb{C}}^n$ let $H(\Omega )$ be the holomorphic functions on $\Omega $ and for any $k\in \mathbb{N}$ let $A^k(\Omega )=H(\Omega )\cap C^k(\overline{\Omega })$. Denote by ${\mathcal{A}}_D^k(\Omega )$ the set of functions $f\: \Omega \rightarrow [0,\infty )$ with the property that there exists a sequence of functions $f_j\in A^k(\Omega )$ such that $\lbrace |f_j|\rbrace $ is a nonincreasing sequence and such that $ f(z)=\lim _{j\rightarrow \infty }|f_j(z)|$. By ${\mathcal{A}}_I^k(\Omega )$ denote the set of functions $f\: \Omega \rightarrow (0,\infty )$ with the property that there exists a sequence of functions $f_j\in A^k(\Omega )$ such that $\lbrace |f_j|\rbrace $ is a nondecreasing sequence and such that $ f(z)=\lim _{j\rightarrow \infty }|f_j(z)|$. Let $k\in \mathbb{N}$ and let $\Omega _1$ and $\Omega _2$ be bounded $A^k$-domains of holomorphy in $\mathbb{C}^{m_1}$ and $\mathbb{C}^{m_2}$ respectively. Let $g_1\in {\mathcal{A}}_D^k(\Omega _1)$, $g_2\in {\mathcal{A}}_I^k(\Omega _1)$ and $h\in {\mathcal{A}}_D^k(\Omega _2)\cap {\mathcal{A}}_I^k(\Omega _2)$. We prove that the domains $\Omega =\left\rbrace (z,w)\in \Omega _1\times \Omega _2\: g_1(z)$ are $A^k$-domains of holomorphy if $\mathop {\mathrm int}\overline{\Omega }=\Omega $. We also prove that under certain assumptions they have a Stein neighbourhood basis and are convex with respect to the class of $A^k$-functions. If these domains in addition have $C^1$-boundary, then we prove that the $A^k$-corona problem can be solved. Furthermore we prove two general theorems concerning the projection on ${\mathbb{C}}^n$ of the spectrum of the algebra $A^k$.
DOI : 10.21136/MB.2006.134082
Classification : 32A38, 32D05, 46J10
Keywords: $A^k$-domains of holomorphy; $A^k$-convexity
Backlund, Ulf; Fällström, Anders. On the algebra of $A^k$-functions. Mathematica Bohemica, Tome 131 (2006) no. 1, pp. 49-61. doi: 10.21136/MB.2006.134082
@article{10_21136_MB_2006_134082,
     author = {Backlund, Ulf and F\"allstr\"om, Anders},
     title = {On the algebra of $A^k$-functions},
     journal = {Mathematica Bohemica},
     pages = {49--61},
     year = {2006},
     volume = {131},
     number = {1},
     doi = {10.21136/MB.2006.134082},
     mrnumber = {2211003},
     zbl = {1109.32004},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2006.134082/}
}
TY  - JOUR
AU  - Backlund, Ulf
AU  - Fällström, Anders
TI  - On the algebra of $A^k$-functions
JO  - Mathematica Bohemica
PY  - 2006
SP  - 49
EP  - 61
VL  - 131
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2006.134082/
DO  - 10.21136/MB.2006.134082
LA  - en
ID  - 10_21136_MB_2006_134082
ER  - 
%0 Journal Article
%A Backlund, Ulf
%A Fällström, Anders
%T On the algebra of $A^k$-functions
%J Mathematica Bohemica
%D 2006
%P 49-61
%V 131
%N 1
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2006.134082/
%R 10.21136/MB.2006.134082
%G en
%F 10_21136_MB_2006_134082

[1] Hans J. Bremermann: Über die Äquivalenz der pseudokonvexen Gebiete und der Holomorphiegebiete im Raum von $n$ komplexen Veränderlichen. Math. Ann. 128 (1954), 63–91. | DOI | MR

[2] David Catlin: Boundary behavior of holomorphic functions on pseudoconvex domains. J. Differential Geom. 15 (1980 1981), 605–625. | DOI | MR

[3] Henri Cartan, Peter Thullen: Zur Theorie der Singularitäten der Funktionen mehrerer komplexen Veränderlichen: Regularitäts- und Konvergenzbereiche. Math. Ann 106 (1932), 617–647. | DOI | MR

[4] Theodore W. Gamelin: Uniform algebras. Prentice-Hall Inc., Englewood Cliffs, N. J., 1969. | MR

[5] Monique Hakim, Nessim Sibony: Spectre de ${A}(\bar{\omega })$ pour des domaines bornés faiblement pseudoconvexes réguliers. J. Funct. Anal. 37 (1980), 127–135. | DOI | MR

[6] Marek Jarnicki, Peter Pflug: On $n$-circled ${H}^\infty $-domains of holomorphy. Ann. Polon. Math. 65 (1997), 253–264. | DOI | MR

[7] François Norguet: Sur les domaines d’holomorphie des fonctions uniformes de plusieurs variables complexes. (Passage du local au global.). Bull. Soc. Math. France 82 (1954), 137–159. | DOI | MR

[8] Kiyoshi Oka: Sur les fonctions de plusieurs variables. ix. domaines finis sans points critique interieur. Jap. J. Math. 23 (1953), 97–155. | DOI | MR

[9] Boris V. Shabat: Introduction to complex analysis. Part II, American Mathematical Society, Providence, RI, 1992, Functions of several variables, Translated from the third (1985) Russian edition by J. S. Joel. | MR

[10] Nessim Sibony: Prolongement analytique des fonctions holomorphes bornées. C. R. Acad. Sci. Paris Sér. A–B 275 (1972), A973–A976. | MR

[11] Peter Thullen: Zur Theorie der Funktionen zweier komplexer Veränderlichen. Die Regularitätshullen. Math. Ann. 106 (1932), 64–72. | DOI | MR

Cité par Sources :