Let D be a bounded domain in the complex plane whose boundary consists of m pairwise disjoint simple closed curves where m is greater than one. Let A(bD) be the algebra of all continuous functions on bD which extend holomorphically through D. We show that a continuous function f on bD belongs to A(bD) if for each g in A(bD) the harmonic extension of Re(fg) to D has a single valued conjugate.
We construct an example of a holomorphic motion of a five-point subset of the Riemann sphere over an annulus such that it satisfies the zero winding number condition but is not fully extendable.
Let M be a finite Riemann surface and let A(bM) be the algebra of all continuous functions on bM which extend holomorphically through M. We prove that a continuous function F on bM belongs to A(bM) if for each f, g in A(bM) such that fF+g has no zero the change of argument of fF+g along bM is nonnegative.
Let D be a bounded, finitely connected domain in the complex plane without isolated points in the boundary and let f be a continuous function on the boundary bD. Let F be a continuous extension of f to the closure of D. We prove that f extends holomorphically through D if and only if the degree of F+h is nonnegative for every holomorphic function h on D such that F+h is bounded away from zero near bD.
The paper gives the following characterization of the disc algebra in terms of the argument principle: A continuous function f on the unit circle T extends holomorphically through the unit disc if and only if for each polynomial P such that f+P has no zero on T the change of argument of f+P around T is nonnegative.
Let D be a bounded domain in the complex plane whose boundary consists of finitely many pairwise disjoint simple closed curves. Give bD the standard orientation and let A(D) be the algebra of all continuous functions on the closure of D which are holomorphic on D. In the paper we prove that a continuous function f on bD extends to a function in A(D) if and only if for each g in A(D) such that f+g has no zero on bD the change of argument of f+g along bD is nonnegative.
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 holomor…
Let M be a smooth generic submanifold of C^n. Tumanov showed that the direction of CR extendability parallel propagates with respect to a certain differential geometric partial connection in a quotient bundle of the normal bundle to M. M is said to be globally minimal at a point z in M if the CR orbit of z contains a neighborhood of z in M. It is shown that the vector space generated by the directions of CR-extendability of CR functions on M is preserved by the induced composed flow between two points in the same CR orbit. As an application, the main result of this paper, conjectured by J.-M. …
Let D be a bounded domain in the complex plane whose boundary bD consists of finitely many pairwise disjoint real analytic simple closed curves. Let f be an integrable function on bD. In the paper we show how to compute the candidates for poles of a meromorphic extension of f through D and thus reduce the question of meromorphic extendibility to the question of holomorphic extendibility. Let A(D) be the algebra of all continuous functions on the closure of D which are holomorphic on D. For continuous functions f on bD we obtain a characterization of meromorphic extendibility in terms of the ar…
Since the nonlinear integral transforms $J_α[f](z) = \int_{0}^{z}(f'(u))^α du$ and $I_α[f](z) =\int_0^z (f(u)/u)^α du$ with a complex number $α$ have been introduced, a great number of studies were dedicated to deriving sufficient conditions for univalence on the unit disk. On the other hand, little is known about the conditions that $J_α[f]$ or $I_α[f]$ produces a holomorphic univalent function in the unit disk which extends to a quasiconformal map on the complex plane. In this paper we discuss quasiconformal extendibility of the integral transforms $J_α[f]$ and $I_α[f]$ for holomorphic funct…
Let D be the open unit disc in C. The paper deals with the following conjecture: If f is a continuous function on bD such that the change of argument of Pf+1 around bD is nonnegative for every polynomial P such that Pf+1 has no zero on bD then f extends holomorphically through D. We prove a related result on meromorphic extendibility for smooth functions with finitely many zeros of finite order, which, in particular, implies that the conjecture holds for real analytic functions.
In $\C^2=\R^2+i\R^2$ with coordinates $z=(z_1,z_2), z=x+iy$, we consider a function $f$ continuous on a domain $Ω$ of $\R^2$ separately real analytic in $x_1$ and CR extendible to $y_2$ (resp. CR extendible to $y_2>0$). This means that $f(\cdot,x_2)$ extends holomorphically for $|y_1|<ε_{x_2}$ and $f(x_1,\cdot)$ for $| y_2|<ε$ (resp. $0\leq y_2<ε$ continuous up to $y_2=0$) with $ε$ independent of $x_1$. We prove in Theorem 3.4 that $f$ is then real analytic (resp. in Theorem 3.5 that it extends holomorphically to a "wedge" $W= Ω+iΓ_ε$ where $Γ_ε$ is an open cone trumcated by $|y|<ε$ and contai…
We study the holomorphic extendibility of $\text{Op}(p)u$, when $p$ is an analytic symbol, and explicit information is available on the domains of holomorphic extendibility of both $p$ and $u$. By a contour deformation argument, we obtain a precise local estimate of the domain of holomorphy of $\text{Op}(p)u$ in terms of the information on $p$ and $u$.
In this paper we characterize compact Hankel operators with conjugate holomorphic symbols on the Bergman space of bounded convex Reinhardt domains in $\mathbb{C}^2$. We also characterize compactness of Hankel operators with conjugate holomorphic symbols on smooth bounded pseudoconvex complete Reinhardt domains in $\mathbb{C}^2$.
Recently Herbig, McNeal, and Straube have showed that the Bergman projection of conjugate holomorphic functions is smooth up to the boundary on a class of pseudoconvex domains. We show that a further smoothing property holds on a family of Reinhardt domains; namely, the Bergman projection of conjugate holomorphic functions is holomorphic past the boundary.
Let $Ω\Subset\mathbb{C}^{n}$ be a domain with smooth boundary, $k\in\mathbb{N}$. It is shown that the integral of a holomorphic function in $L^1(Ω)$ may be represented as the integral of this function against a smooth function vanishing to order $k-1$ on $bΩ$. An application for a smoothing property of the Bergman projection for conjugate holomorphic functions is given.
Let $Ω\subset\mathbb{C}^n$ be a bounded domain with smooth boundary, whose Bergman projection $B$ maps the Sobolev space $H^{k_{1}}(Ω)$ (continuously) into $H^{k_{2}}(Ω)$. We establish two smoothing results: (i) the full Sobolev norm $\|Bf\|_{k_{2}}$ is controlled by $L^2$ derivatives of $f$ taken along a single, distinguished direction (of order $\leq k_{1}$), and (ii) the projection of a conjugate holomorphic function in $L^{2}(Ω)$ is automatically in $H^{k_{2}}(Ω)$. There are obvious corollaries for when $B$ is globally regular.
We prove some sharp inequalities for complex harmonic functions on the unit disk. The results extend a M. Riesz conjugate function theorem and some well-known estimates for holomorphic functions. We apply some of results to the isoperimetric inequality for harmonic mappings.
We study the behaviour (in the infinitesimal neighbourhood of the singularity) of a singular plane branch under the action of holomorphic flows. The techniques we develop provide a new elementary, geometric and dynamical solution to Zariski's moduli problem for singular branches in $({\mathbb C}^{2},0)$. Furthermore, we study whether elements of the same class of analytic conjugacy are conjugated by a holomorphic flow; in particular we show that there exists an analytic class that is not complete: meaning that there are two elements of the class that are not analytically conjugated by a local …
This is an extensive (published) survey on CR geometry, whose major themes are: formal analytic reflection principle; generic properties of Systems of (CR) vector fields; pairs of foliations and conjugate reflection identities; Sussmann's orbit theorem; local and global aspects of holomorphic extension of CR functions; Tumanov's solution of Bishop's equation in Hoelder classes with optimal loss of smoothness; wedge-extendability on C^2,a generic submanifolds of C^n consisting of a single CR orbit; propagation of CR extendability and edge-of-the-wedge theorem; Painlevé problem; metrically thin …
Let f and g be holomorphic function-germs vanishing at the origin of a complex analytic germ of dimension three. Suppose that they have no common irreducible component and that the real analytic map-germ given by the multiplication of f by the conjugate of g has an isolated critical value at 0. We give necessary and sufficient conditions for the real analytic map-germ to have a Milnor fibration and we prove that in this case the boundary of its Milnor fibre is a Waldhausen manifold. As an intermediate milestone we describe geometrically the Milnor fibre of map-germs given by the multiplication…
D. Khavinson and G. Swiatek proved that harmonic polynomials p(z)+q(z), where p is holomorphic, q is antiholomorphic, and deg p = n > 1 = deg q, can have at most 3n-2 complex zeros. We show that this bound is sharp for all n by proving a conjecture of Sarason and Crofoot about the existence of holomorphic polynomials p which map all critical points to their complex conjugates. We also count the number of equivalence classes of real polynomials solving this system of equations. The methods employed rely on Thurston's characterization of post-critically finite rational maps, in particular the re…
We prove that a holomorphic fixed point germ in two complex variables, tangent to the identity, and whose only characteristic direction is non-degenerate, has a domain of attraction on which the map is conjugate to a translation. In the case of a global automorphism, the corresponding domain of attraction is a Fatou-Bieberbach domain.
An almost periodic function in finite-dimensional space extends to a holomorphic bounded function in a tube domain with a cone in the base if and only if the spectrum belongs to the conjugate cone. Also, an almost periodic function in finite-dimensional space has the bounded spectrum if and only if it extends to an entire function of exponential type.
The Brjuno function arises naturally in the study of one--dimensional analytic small divisors problems. It belongs to $\hbox{BMO}({\Bbb T}^{1})$ and it is stable under Hölder perturbations. It is related to the size of Siegel disks by various rigorous and conjectural results. In this work we show how to extend the Brjuno function to a holomorphic function on ${\Bbb H}/{\Bbb Z}$, the complex Brjuno function. This has an explicit expression in terms of a series of transformed dilogarithms under the action of the modular group. The extension is obtained using a complex analogue of the continued f…