×

Boundary Morera theorems for holomorphic functions of several complex variables. (English) Zbl 0760.32002

Sei \(D\subset\mathbb{C}^ N\) ein beschränktes Gebiet und \(A(D):=C(\overline D)\cap{\mathcal O}(D)\). In der Arbeit geht es um die Frage, wann eine Funktion \(f\in C(\partial D)\) nach \(D\) holomorph fortsetzbar, d.h. Beschränkung einer Funktion aus \(A(D)\) ist. Eine notwendige und unter geeigneten Voraussetzungen auch hinreichende Bedingung ist die Fortsetzbarkeit von \(f\) auf Schnitten von \(D\) mit komplexen Geraden. Es geht um Verschärfungen derartiger Ergebnisse.
Im ersten Abschnitt werden technische Hilfsmittel aus der geometrischen Maßtheorie zusammengestellt.
Im zweiten Abschnitt werden beschränkte Gebiete \(D\subset\mathbb{C}^ N\) mit \(C^ 2\)-Rand studiert. Sei \(f\in C(\partial D)\) und \(1\leq k\leq N- 1\).
\(f\) besitze die Eigenschaft (TCR), wenn \(f\) die schwachen tangentiellen Cauchy-Riemann-Gleichungen auf \(\partial D\) erfüllt, d.h., wenn für jede glatte \((N,N-2)\)-form \(\alpha\) auf \(\mathbb{C}^ N\) gilt: \[ \int_{\partial D}f\partial\overline\alpha=0. \] \(f\) besitze die Eigenschaft \((M_ k)\), wenn \(f\) bzgl. jeder komplexen \(k\)-Ebene \(\Lambda\), welche \(\partial D\) transversal schneidet, die Morera Eigenschaft besitzt, d.h., wenn für jede \((k,k-1)\)-Form \(\beta\) auf \(\mathbb{C}^ N\) gilt:
\[ \int_{\Lambda\cap\partial D}f\beta=0. \] Ist \(f\) nach \(D\) holomorph fortsetzbar, so besitzt \(f\) die Eigenschaften (TCR) und \((M_ k)\). Besitzt \(f\) die Eigenschaft (TCR) und ist \(\partial D\) zusammenhängend, so ist \(f\) nach \(D\) holomorph fortsetzbar. Mit Hilfe der Fouriertransformation und des Satzes von Fubini zeigen die Autoren:
Theorem: Besitzt \(f\) die Eigenschaft \((M_ k)\), so besitzt \(f\) die Eigenschaft (TCR), ist also nach \(D\) holomorph fortsetzbar, wenn \(\partial D\) zusammenhängend ist.
Das Studium des Beweises legt die Betrachtung sogenannter komplexer \(k\)- Wellen nahe. \(\varphi:\mathbb{C}^ N\to\mathbb{C}\) heißt eine \(k\)-Welle, wenn nach einem geeigneten linearen Koordinatenwechsel \(\varphi\) nur noch von den Variablen \(z_ 1,\dots,z_ k\) abhängt. Die Autoren beweisen Approximationssätze für \(C^ \infty\)-Funktionen durch Linearkombinationen von \(k\)-Wellen. Sie leiten damit Verschärfungen des Theorems ab, die darauf abzielen, beim Testen der Eigenschaft \((M_ k)\) nicht alle transversalen komplexen \(k\)-Ebenen zu benutzen. Zum Beispiel:
Theorem: Sei \(K\subset D\) kompakt. Besitzt \(f\) bzgl. jeder \(k\)-Ebene, die \(\partial D\) transversal schneidet und \(K\) nicht trifft, die Morera Eigenschaft, so besitzt \(f\) die Eigenschaft (TCR).
Für den Ball \(D=\mathbb{B}_ 2\) in \(\mathbb{C}^ 2\) wird ein wesentlich schärferes Ergebnis abgeleitet.
Im dritten Abschnitt werden beschränkte konvexe Gebiete \(D\subset\mathbb{C}^ N\) behandelt, wobei keine Differenzierbarkeitsforderungen an \(\partial D\) gestellt werden. Die Autoren beweisen die folgenden Theoreme:
Theorem: Sei \(\Pi\subset\mathbb{C}^ N\) eine reelle Hyperfläche, die \(D\) trifft, sei \(\Gamma\) eine Komponente von \(\partial D\backslash\Pi\) und sei \(f\in C(\Gamma)\). Mit \(\text{conv} \Gamma\) bezeichnen wir die konvexe Hülle von \(\Gamma\). Besitzt \(f\) die Morera Eigenschaft bzgl. der komplexen \(k\)-Ebenen, die \(D\) treffen und \(\Gamma\) in einer kompakten Menge schneiden, so gibt es eine holomorphe Funktion auf dem Innern von \(\text{conv} \Gamma\), welche längs \(\Gamma\) durch \(f\) stetig ergänzt wird.
Theorem: Seien \(\Pi,\Gamma\) wie oben und \(f\in C(\Gamma)\). \(f\) besitze auf \(\Gamma\) die Eigenschaft (TCR). Dann gibt es eine stetige Funktion \(F\) auf \(\text{conv} \Gamma\), die holomorph auf dem Innern von \(\text{conv} \Gamma\) ist und auf \(\Gamma\) mit \(f\) übereinstimmt. Ist \(f\) auf \(\overline\Gamma\) stetig fortsetzbar, so ist \(F\) auf \(\text{conv} \overline\Gamma\) stetig fortsetzbar.
Mit einigen Anmerkungen und Fragen im 4. Abschnitt beschließen die Autoren ihre Arbeit.

MSC:

32A10 Holomorphic functions of several complex variables
32A40 Boundary behavior of holomorphic functions of several complex variables
32D15 Continuation of analytic objects in several complex variables
32W05 \(\overline\partial\) and \(\overline\partial\)-Neumann operators
32A25 Integral representations; canonical kernels (Szegő, Bergman, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] M. L. Agranovskiĭ and A. M. Semenov, Boundary analogues of the Hartogs theorem , Sibirsk. Mat. Zh. 32 (1991), no. 1, 168-170, 222. · Zbl 0732.32006 · doi:10.1007/BF00970171
[2] L. A. Aĭ zenberg and Sh. A. Dautov, Differential forms orthogonal to holomorphic functions or forms, and their properties , Translations of Mathematical Monographs, vol. 56, American Mathematical Society, Providence, R.I., 1983. · Zbl 0511.32002
[3] I. A. Aĭ zenberg and A. P. Yuzhakov, Integral representations and residues in multidimensional complex analysis , Translations of Mathematical Monographs, vol. 58, American Mathematical Society, Providence, RI, 1983. · Zbl 0537.32002
[4] E. M. Chirka, Complex analytic sets , Mathematics and its Applications (Soviet Series), vol. 46, Kluwer Academic Publishers Group, Dordrecht, 1989. · Zbl 0683.32002
[5] H. Federer, Geometric measure theory , Die Grundlehren der math. Wiss., Band 153, Springer-Verlag New York Inc., New York, 1969. · Zbl 0176.00801
[6] I. M. Gelfand, M. I. Graev, and N. Ya. Vilenkin, Generalized functions. Vol. 5 , Academic Press [Harcourt Brace Jovanovich Publishers], New York, 1966 [1977]. · Zbl 0144.17202
[7] I. M. Gelfand and G. E. Shilov, Generalized functions. Vol. 2 , Academic Press [Harcourt Brace Jovanovich Publishers], New York, 1968 [1977]. · Zbl 0159.18301
[8] J. Globevnik, On boundary values of holomorphic functions on balls , Proc. Amer. Math. Soc. 85 (1982), no. 1, 61-64. JSTOR: · Zbl 0484.32003 · doi:10.2307/2043282
[9] J. Globevnik, On holomorphic extensions from spheres in \(\mathbf C^2\) , Proc. Roy. Soc. Edinburgh Sect. A 94 (1983), no. 1-2, 113-120. · Zbl 0512.32012 · doi:10.1017/S030821050001619X
[10] J. Globevnik, A family of lines for testing holomorphy in the ball of \(\mathbf C^ 2\) , Indiana Univ. Math. J. 36 (1987), no. 3, 639-644. · Zbl 0631.32010 · doi:10.1512/iumj.1987.36.36035
[11] J. Globevnik, A support theorem for the X-ray transform , to appear in J. Math. Anal. Appl. · Zbl 0755.44003 · doi:10.1016/0022-247X(92)90079-S
[12] P. Griffiths and J. Harris, Principles of algebraic geometry , Wiley-Interscience [John Wiley & Sons], New York, 1978. · Zbl 0408.14001
[13] E. Grinberg, On images of Radon transforms , Duke Math. J. 52 (1985), no. 4, 939-972. · Zbl 0623.44005 · doi:10.1215/S0012-7094-85-05251-2
[14] E. Grinberg, Euclidean Radon transforms: ranges and restrictions , Integral geometry (Brunswick, Maine, 1984), Contemp. Math., vol. 63, Amer. Math. Soc., Providence, RI, 1987, pp. 109-133. · Zbl 0626.47050
[15] E. Grinberg, A boundary analogue of Morera’s theorem in the unit ball of \(\mathbf C^ n\) , Proc. Amer. Math. Soc. 102 (1988), no. 1, 114-116. JSTOR: · Zbl 0651.32006 · doi:10.2307/2046041
[16] R. C. Gunning and H. Rossi, Analytic functions of several complex variables , Prentice-Hall Inc., Englewood Cliffs, N.J., 1965. · Zbl 0141.08601
[17] S. Helgason, The Radon transform , Progress in Mathematics, vol. 5, Birkhäuser Boston, Mass., 1980. · Zbl 0453.43011
[18] G. M. Henkin and E. M. Chirka, Boundary properties of holomorphic functions of several complex variables , J. Soviet. Math. 5 (1976), 612-687. · Zbl 0375.32005 · doi:10.1007/BF01091908
[19] G. M. Henkin and J. Leiterer, Andreotti-Grauert theory by integral formulas , Progress in Mathematics, vol. 74, Birkhäuser Boston Inc., Boston, MA, 1988. · Zbl 0654.32002
[20] L. Hörmander, The analysis of linear partial differential operators. I , Grundlehren der Math. Wiss. [Fundamental Principles of Mathematical Sciences], vol. 256, Springer-Verlag, Berlin, 1983. · Zbl 0521.35001
[21] J. Horváth, Topological vector spaces and distributions. Vol. I , Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1966. · Zbl 0143.15101
[22] D. Ludwig, The Radon transform on euclidean space , Comm. Pure Appl. Math. 19 (1966), 49-81. · Zbl 0134.11305 · doi:10.1002/cpa.3160190207
[23] G. Lupacciolu, A theorem on holomorphic extension of CR-functions , Pacific J. Math. 124 (1986), no. 1, 177-191. · Zbl 0597.32014 · doi:10.2140/pjm.1986.124.177
[24] A. Nagel and W. Rudin, Moebius-invariant function spaces on balls and spheres , Duke Math. J. 43 (1976), no. 4, 841-865. · Zbl 0343.32017 · doi:10.1215/S0012-7094-76-04365-9
[25] F. Natterer, The mathematics of computerized tomography , B. G. Teubner, Stuttgart, 1986. · Zbl 0617.92001
[26] I. I. Priwalow, Randeigenschaften analytischer Funktionen , Zweite, unter Redaktion von A. I. Markuschewitsch überarbeitete und ergänzte Auflage. Hochschulbücher für Mathematik, Bd. 25, VEB Deutscher Verlag der Wissenschaften, Berlin, 1956. · Zbl 0073.06501
[27] R. M. Range, Holomorphic functions and integral representations in several complex variables , Graduate Texts in Mathematics, vol. 108, Springer-Verlag, New York, 1986. · Zbl 0591.32002
[28] A. V. Romanov, Spectral analysis of the Martinelli-Bochner operator for the ball in \(\mathbf C\spn\), and its applications , Funktsional. Anal. i Prilozhen. 12 (1978), no. 3, 86-87, Functional Anal. Applications 12 (1978), 232-234. · Zbl 0401.47023
[29] J.-P. Rosay and E. L. Stout, Radó’s theorem for CR-functions , Proc. Amer. Math. Soc. 106 (1989), no. 4, 1017-1026. · Zbl 0674.32007 · doi:10.2307/2047287
[30] H. Rossi, A generalization of a theorem of Hans Lewy , Proc. Amer. Math. Soc. 19 (1968), 436-440. JSTOR: · Zbl 0182.41404 · doi:10.2307/2035545
[31] W. Rudin, Function theory in the unit ball of \(\mathbf C\spn\) , Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Science], vol. 241, Springer-Verlag, New York, 1980. · Zbl 0495.32001
[32] A. M. Semenov, Holomorphic extension from spheres into \(\mathbf C^ n\) , Sibirsk. Mat. Zh. 30 (1989), no. 3, 124-130, 219. · Zbl 0694.32009 · doi:10.1007/BF00971499
[33] K. T. Smith, Primer of modern analysis , 2nd ed. ed., Undergraduate Texts in Mathematics, Springer-Verlag, New York, 1983. · Zbl 0517.26001
[34] D. Solmon, 27 June 1990, letter to J. Globevnik.
[35] E. L. Stout, The boundary values of holomorphic functions of several complex variables , Duke Math. J. 44 (1977), no. 1, 105-108. · Zbl 0355.32016 · doi:10.1215/S0012-7094-77-04405-2
[36] E. L. Stout, Analytic continuation and boundary continuity of functions of several complex variables , Proc. Roy. Soc. Edinburgh Sect. A 89 (1981), no. 1-2, 63-74. · Zbl 0491.32007 · doi:10.1017/S0308210500032364
[37] R. Sulanke and P. Wintgen, Differentialgeometrie und Faserbündel , Birkhäuser Verlag, Basel, 1972. · Zbl 0271.53035
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.