УДК 517.55
Functions with the One-dimensional Holomorphic Extension Property
Simona G. Myslivets*
Institute of Mathematics and Computer Science Siberian Federal University Svobodny, 79, Krasnoyarsk, 660041
Russia
Received 16.03.2019, received in revised form 26.03.2019, accepted 06.05.2019 In this paper we consider different families of complex lines, sufficient for holomorphic extension the functions f, defined on the boundary of a domain D С Cn, n > 1, into this domain, and possessing the one-dimensional holomorphic extension property along this complex lines.
Keywords: holomorphic extension.
DOI: 10.17516/1997-1397-2019-12-4-439-443.
This paper presents some results related to the holomorphic extension of functions f, defined on the boundary of a domain D C Cn, n > 1, into this domain. It is about functions with the one-dimensional holomorphic extension property along complex lines.
The first result related to this subject was obtained M. L. Agranovsky and R. E. Valsky in [1], who studied functions with the one-dimensional holomorphic extension property into a ball. The proof was based on the automorphism group properties of a sphere.
E. L. Stout in [2] used complex Radon transformation to generalize the Agranovsky and Valsky theorem for an arbitrary bounded domain with a smooth boundary. An alternative proof of the Stout theorem was obtained by A. M.Kytmanov in [3] by applying the Bochner-Martinelli integral. The idea of using the integral representations (Bochner-Martinelli, Cauchy-Fantappie, logarithmic residue) has been useful in the study of the functions with the one-dimensional holomorphic extension property (see review [4]).
The question of finding various families of complex lines sufficient for holomorphic extension was put in [5]. As shown in [6], a family of complex lines passing through a finite number of points, generally speaking, is not sufficient. Thus, a simple analog theorem of Hartogs should be not expected.
Various other families are given in [7-11]. In [12-16] it is shown that for holomorphic extension of continuous functions defined on the boundary of a ball there is enough n +1 points inside the ball that do not lie on a complex hyperplane. By the author and A. Kytmanov this result was generalized for n-circular [17] and circular domains [18].
In this paper we formulate some results about various sufficient families of complex lines sufficient for holomorphic extension.
Let D be a bounded domain in Cn with a smooth boundary. Consider a complex line of the form
lz,b = {Z e Cn : Z = z + bt,t e C} = {(Zi,... Zn) : Zj = Zj + bj tj = 1,2,...,n,t e C},
where z e Cn, b e CPn_1.
We shall say that a function f e C(dD) has the one-dimensional holomorphic extension property along the complex line lz,b, if dD n lz,b = 0 and there exists a function Fiz b with the following properties:
* [email protected] © Siberian Federal University. All rights reserved
1) Fizb eC(B n
2) Flzb = f on the set dD n lzb,
3) function Fiz b is holomorphic at the interior (with respect to the topology of lz,b) points of the set D n lz,b.
Let r be a set in Cn. Denote by Lr the set of all complex lines lz,b such that z e r and b e CP"-1, i.e., the set of all complex lines passing through z e r.
We shall say that a function f e C(dD) has the one-dimensional holomorphic extension property along the family Lr, if it has the one-dimensional holomorphic extension property along any complex line lz,b e Lr.
We shall say set Lr sufficient for holomorphic extension, if the function f e C(dD) has the one-dimensional holomorphic extension property along all complex lines of the family Lr, and then the function f extends holomorphically into D (i.e., f is a Cfl-function on dD).
In what follows we will need the definition of a domain with the Nevanlinna property [19]. Let G C C be a simply connected domain and t = k(r) be a conformal mapping of the unit circle A = {r : \r| < 1} on G.
Domain G is a domain with the Nevanlinna property, if there are bounded holomorphic functions u and v in G such that almost everywhere on S = dA, the equality
t( ) u(k(T)) k(T) = tu w
v(k(T ))
holds in terms of the angular boundary values. Essentially this means
k u(t)
t = —— on dG.
v(t)
Let us give a characterization of domains with the Nevanlinna property (Proposition 3.1 in [19]). A domain G is a domain with the Nevanlinna property if and only if k(T) admits a holomorphic pseudocontinuation through S in C \ A, i.e., there are bounded holomorphic functions u1 and v1 " u 1 ( t )
such that the function k(r) = —— coincides almost everywhere with the function k(T) on S.
V1(T )
The above definition and statement will be applied to bounded domains G with a boundary of class C2, therefore (due to the principle of correspondence of boundaries) the function k(r) extends to A as a function of class C 1(A) and k(r) extends to C\ A as a function of class C(C\A). — u(r)
Therefore, the function t = is a meromorphic function in C. Various example of domains
v(r)
with the Nevanlinna property are given in [19]. For example, if dG is real-analytic, then k(r) is a rational function with no poles on the closure of A.
In our further consideration we will need the domain G to possess the strengthened Nevanlinna property, that is the function u1(r) = 0 in C \ A and k has at infinity zero of no more than first
order. If G = A then r = — on dA. Therefore the meromorphic function — has a zero of the
r r
first order at to.
For example, such domain include domains for which k(r) is a rational function with no poles on A and no zeros in C \ A.
We shall to say that a domain D C Cn possesses the strengthened Nevanlinna property in the point z e D if the section D n lz,b possesses the strengthened Nevanlinna property for any b e CP"-1.
We now formulate some results about the different families of complex lines sufficient for holomorphic extension.
We consider families of complex lines passing through a generic manifold. The real dimension of such a manifold is at least n. Recall that a smooth manifold r of class Cis said to be generic if the complex linear span of the tangent space Tz (r) coincides with Cn for each point z e r. We denote the family of all complex lines intersecting r by Lr.
Theorem 1. Let r be a germ of a generic manifold in Cn \ D and the function f e C(dD) have the one-dimensional holomorphic extension property along the family Lr, then the function f extends holomorphically into the domain D.
Here we consider a generic manifold r lying in the domain D.
Theorem 2. Let r be a germ of a generic manifold in D and a function f e C(dD) have the one-dimensional holomorphic extension property along the family Lr and the connected components of the intersection D n l be domains with the strengthened Nevanlinna property, then the function f extends holomorphically into the domain D.
Let r be the germ of a complex manifold of dimension (n — 1) in Cn, which lies outside D. Having done the shift and unitary transformation, we can assume that 0 e r, 0 e D and that the complex hypersurface r in some neighborhood U of 0 has the form
r = {z e U : Zn = p(z'), zZ = (zi,..., Zn-i)},
d
where p is the holomorphic function in a neighborhood of zero in Cn-i and p(0) = 0, —^-(0) = 0,
dzk
k = 1,. .. ,n — 1.
We will assume that there is a direction b0 = 0 such that
(b°,()=0 for all Z e D. (1)
Theorem 3. Let D be a simply connected bounded domain and condition (1) be fulfilled and the function f e C(dD) have the one-dimensional holomorphic extension property along the family Lr, then the function f extends holomorphically into the domain D.
Let B = {z e Cn : \z\ < 1} be a unit ball in Cn centered at the origin and let S = dB be the boundary of the ball.
We denote by A the set of points ak e D C Cn, k = 1,... ,n + 1, which do not lie on the complex hyperplane in Cn.
Theorem 4. Let a function f e C(S) have the one-dimensional holomorphic extension property along the family La, then the function f extends holomorphically into the ball B.
This theorem was proved for circular domains with the strengthened Nevanlinna property.
Theorem 5. Let D be a bounded strictly convex circular domain with twice smooth boundary in Cn and possess the strengthened Nevanlinna property in the points from the set A and a function f e C(dD) have the one-dimensional holomorphic extension property along the family La, then the function f extends holomorphically into the domain D.
The research for this paper was supported by RFBR, grant 18-51-41011, Uzb-t.
References
[1] M.L.Agranovsky, R.E.Valsky, Maximality of invariant algebras of functions, Sib. Mat. J., 12(1971), no. 1, 3-12.
[2] E.L.Stout, The boundary values of holomorphic functions of several complex variables, Duke Math. J., 44(1977), no. 1, 105-108.
[3] L.A.Aizenberg, A.P.Yuzhakov, Integral Representations and Residues in Multidimensional Complex Analysis, Tranclantions of Mathematical Monographs, Vol. 58, American Mathematical Society, Providence, RI, 1983.
[4] A.M.Kytmanov, S.G.Myslivets, Higher-dimensional boundary analogs of the Morera theorem in problems of analytic continuation of functions, J. Math. Sci., 120(2004), no. 6, 1842-1867.
[5] J.Globevnik, E.L.Stout, Boundary Morera theorems for holomorphic functions of several complex variables, Duke Math. J., 64(1991), no. 3, 571-615.
[6] A.M.Kytmanov, S.G.Myslivets, On the families of complex lines, sufficient for holomorphic continuations, Math. Notes, 83(2008), no. 4, 545-551.
[7] A.M.Kytmanov, S.G.Myslivets, V.I.Kuzovatov, Families of complex lines of the minimal dimension, sufficient for holomorphic continuation of functions, Sib. Math. J., 52(2011), no. 2, 256-266.
[8] M.Agranovsky, Propagation of boundary СД-foliations and Morera type theorems for manifolds with attached analytic discs, Advan. in Math., 211(2007), no. 1, 284-326.
[9] M.Agranovsky, Analog of a theorem of Forelli for boundary values of holomorphic functions on the unit ball of Cn, J. d'Anal. Math., 13(2011), no. 1, 293-304.
10] L.Baracco, Holomorphic extension from the sphere to the ball, J. Math. Anal. Appl., 388(2012), no. 2, 760-762.
11] J.Globevnik, Small families of complex lines for testing holomorphic extendibility, Am.. J. Math., 134(2012), no. 6, 1473-1490.
12] L.Baracco, Separate holomorphic extension along lines and holomorphic extension from the sphere to the ball, Am. J. Math, 135(2013), no. 2, 493-497.
13] J.Globevnik, Meromorphic extensions from small families of circles and holomorphic extensions from spheres, Trans. Am. Math. Soc,. 364(2012), no. 11, 5857-5880.
14] A.M.Kytmanov, S.G.Myslivets, Holomorphic extension of functions along finite families of complex linea in a ball, J. Sib. Fed. Univ. Math. and Phys., 5(2012), no. 4, 547-557.
15] A.M.Kytmanov, S.G.Myslivets, An analog of the Hartogs theorem in a ball of Cn, Math. Nahr., 288(2015), no. 2-3, 224-234.
16] A.M.Kytmanov, S.G.Myslivets, Multidimensional Integral Representations, Springer Inter. Publ. Switzarland, 2015.
17] A.M.Kytmanov, S.G.Myslivets, Holomorphic extension of functions along finite families of complex linea in a n-circular domain, Sib. Math. J., 57(2016), no. 4, 618-631.
18] A.M.Kytmanov, S.G.Myslivets, On functions with one-dimensional holomorphic extension property in circular domains, Math. Nahr., Verssion on line, 15.01.2019.
19] J.J.Carmona, P.V.Paramonov, K.Yu.Fedorovskii, On uniform approximation by polyana-lytic polynomials and the Dirichlet problem for bianalytic functions, Sb. Math., 193(2002), 1469-1492.
Функции со свойством одномерого голоморфного продолжения
Симона Г. Мысливец
Институт математики и фундаментальной информатики Сибирский федеральный университет Свободный, 79, Красноярск, 660041
Россия
В данной работе 'рассматриваются различные семейства комплексных прямых, достаточные для голоморфного продолжения функций f, заданных на границе области Б С Сп, п > 1, в эту область и обладающих свойством одномерного голоморфного продолжения вдоль этих комплексных прямых.
Ключевые слова: голоморфное продолжение.