Small families of complex lines for testing holomorphic extendibility

DOI10.1353/AJM.2012.0045MaRDI QIDQ2851603zbMATH OpenOpenAlexFDO

Authors Josip Globevnik

Publication date 14 October 2013

Published in American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0911.5088

zbMATH Keywords

complex linesEuclidean ballextension of holomorphic functions

Mathematics Subject Classification ID

Continuation of analytic objects in several complex variables (32D15)

Abstract: Let B be the open unit ball in C^2 and let a, b be two points in B. It is known that for every positive integer k there is a function f in C^k(bB) which extends holomorphically into B along any complex line passing through either a or b yet f does not extend holomorphically through B. In the paper we show that there is no such function in C^infty (bB). Moreover, we obtain a fairly complete description of pairs of points a, b in C^2 such that if a function f in C^infty(bB) extends holomorphically into B along each complex line passing through either a or b that meets B, then f extends holomorphically through B.

Review text

Let \(B\subset\mathbb C^2\) be the unit Euclidean ball and let \(a, b\in\mathbb C^2\), \(a\neq b\). Denote by \(\mathcal L(a)\) the family of all complex lines passing through \(a\). We say that \(\mathcal L(a)\cup\mathcal L(b)\) is a test family for holomorphic extendibility for \(\mathcal C^k(\partial B)\) if every function \(f\in\mathcal C^k(\partial B)\) that extends holomorphically along each line in \(\mathcal L(a)\cup\mathcal L(b)\) that meets \(B\), extends holomorphically to \(B\). The author shows that there exist \(a, b\in B\), \(a\neq b\), such that \(\mathcal L(a)\cup\mathcal L(b)\) is not a test family for holomorphic extendibility for \(\mathcal C^k(\partial B)\) with \(k\in\mathbb N\). The main result of the paper characterizes the situation when \(k=+\infty\).NEWLINENEWLINE--- Assume that one of the points \(a, b\) is contained in \(B\). Then \(\mathcal L(a)\cup\mathcal L(b)\) is a test family for holomorphic extendibility for \(\mathcal C^\infty(\partial B)\) iff \(\langle a|b\rangle\neq1\).NEWLINENEWLINE--- Assume \(a, b\notin B\), \(a\neq b\), and let \(\varLambda(a,b)\) be the complex line passing through \(a\) and \(b\). Then:NEWLINENEWLINE(B1) If \(\varLambda(a,b)\cap B\neq\emptyset\), then \(\mathcal L(a)\cup\mathcal L(b)\) is a test family for holomorphic extendibility for \(\mathcal C^\infty(\partial B)\).NEWLINENEWLINE(B2) If \(\varLambda(a,b)\cap\overline B=\emptyset\), then \(\mathcal L(a)\cup\mathcal L(b)\) is not a test family for holomorphic extendibility for \(\mathcal C^\infty(\partial B)\).

Recommendations

• Testing families of complex lines for the unit ball
• scientific article; zbMATH DE number 4025822
• Minimal dimension families of complex lines sufficient for holomorphic extension of functions
• Orthogonal testing families and holomorphic extension from the sphere to the ball
• On families of complex lines sufficient for holomorphic extension

Cited in

(21)

• Testing families of complex lines for the unit ball
• Orthogonal testing families and holomorphic extension from the sphere to the ball
• Meromorphic extensions from small families of circles and holomorphic extensions from spheres
• HARTOGS' SEPARATE ANALYTICITY THEOREM FOR CR FUNCTIONS
• Holomorphic extension of functions along finite families of complex straight lines in an \(n\)-circular domain
• Separate real analyticity and CR extendibility
• scientific article; zbMATH DE number 4025822 (Why is no real title available?)
• Separate holomorphic extension along lines and holomorphic extension from the sphere to the ball
• Holomorphic continuation of functions along finite families of complex lines in the ball
• On the Multidimensional Boundary Analogue of the Morera Theorem
• Fréchet-valued meromorphic extension along a pencil of complex lines
• An analog of the Hartogs theorem in a ball of
• Analog of a theorem of Forelli for boundary values of holomorphic functions on the unit ball of C^n
• Characterization of polyanalytic functions by meromorphic extensions from chains of circles
• Minimal dimension families of complex lines sufficient for holomorphic extension of functions
• Holomorphic Extension of Continuous Functions Along Finite Families of Complex Lines in a Ball
• Multidimensional Boundary Analog of the Hartogs Theorem in Circular Domains
• On Holomorphic Continuation Integrable Functions of Along Finite Families of Complex Lines in n-circular Domain
• Functions with the One-dimensional Holomorphic Extension Property
• Testing families of analytic discs in the unit ball of \(\mathbb{C}^2\)
• Holomorphic extension from the sphere to the ball

This page was built for publication: Small families of complex lines for testing holomorphic extendibility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851603)