In the paper new representations are obtained for duals and dual hulls of the classes of analytic functions. The Ruscheweyh duality principle is shown to hold under somewhat weaker assumptions. For a compact class of functions its subclass is constructed having the same dual as the original one.
The notion of the projective hull of a compact set in a complex projective space was introduced by Harvey and Lawson in 2006. In this paper we describe the projective hull by Poletsky sequences of analytic discs, in analogy to the known descriptions of the holomorphic and the plurisubharmonic hull.
A generalization of a result of Wermer concerning the existence of polynomial hulls without analytic discs is presented. As a consequence it is shown that there exists a Cantor set $X$ in ${\mathbb C}^3$ whose polynomial hull is strictly larger than $X$ but contains no analytic discs.
We discuss the relation between pluripolar hulls and fine analytic structure. Our main result is the following. For each non polar subset $S$ of the complex plane $\mathbb C$ we prove that there exists a pluripolar set $E \subset (S \times \mathbb C)$ with the property that the pluripolar hull of $E$ relative to $\mathbb C^2$ contains no fine analytic structure and its projection onto the first coordinate plane equals $\mathbb C$.
We prove two disc formulas for the Siciak-Zahariuta extremal function of an arbitrary open subset of complex affine space. We use these formulas to characterize the polynomial hull of an arbitrary compact subset of complex affine space in terms of analytic discs. Similar results in previous work of ours required the subsets to be connected.
We show that if the graph of a bounded analytic function in the unit disk $\mathbb D$ is not complete pluripolar in $\mathbb C^2$ then the projection of the closure of its pluripolar hull contains a fine neighborhood of a point $p \in \partial \mathbb D$. On the other hand we show that if an analytic function $f$ in $\mathbb D$ extends to a function $\mathcal{F}$ which is defined on a fine neighborhood of a point $p \in \partial \mathbb D$ and is finely analytic at $p$ then the pluripolar hull of the graph of $f$ contains the graph of $\mathcal{F}$ over a smaller fine neighborhood of $p$. We g…
In this paper we study the pluripolar hulls of analytic sets. In particular, we show that hulls of graphs of analytic functions can be multiple sheeted and sheets can be separated by a set of zero dimension.
Using a recent result of Lárusson and Poletsky regarding plurisubharmonic subextensions we prove a disc formula for the quasiplurisubharmonic global extremal function for domains in complex projective space. As a corollary we get a characterization of the projective hull for connected compact sets in complex projective space by the existence of analytic discs.
Extensions of the notions of polynomially and rationally convex hulls are introduced. Using these notions, a generalization of a result of Duval and Levenberg on polynomially convex hulls containing no analytic discs is presented. As a consequence it is shown that there exists a Cantor set $X$ in ${\mathbb C}^3$ with a nontrivial polynomially convex hull that contains no analytic discs. Using this Cantor set, it is shown that there exist arcs and curves in ${\mathbb C}^4$ with nontrivial polynomially convex hulls that contain no analytic discs. This answers a question raised a few years ago by…
In the spirit of very recent articles by J. Bonet, W. Lusky and J. Taskinen we are studying the so-called solid hulls and cores of spaces of weighted entire functions when the weights are given in terms of associated weight functions coming from weight sequences. These sequences are required to satisfy certain (standard) growth and regularity properties which are frequently arising and used in the theory of ultradifferentiable and ultraholomorphic function classes (where also the associated weight function plays a prominent role). Thanks to this additional information we are able to see which …
We use our disc formula for the Siciak-Zahariuta extremal function to characterize the polynomial hull of a connected compact subset of complex affine space in terms of analytic discs.
We study the (global) Bishop problem for small perturbations of $\mathbf{S}^n$ --- the unit sphere of $\mathbb{C}\times\mathbb{R}^{n-1}$ --- in $\mathbb{C}^n$. We show that if $S\subset\mathbb{C}^n$ is a sufficiently-small perturbation of $\mathbf{S}^n$ (in the $\mathcal{C}^3$-norm), then $S$ bounds an $(n+1)$-dimensional ball $M\subset\mathbb{C}^n$ that is foliated by analytic disks attached to $S$. Furthermore, if $S$ is either smooth or real analytic, then so is $M$ (upto its boundary). Finally, if $S$ is real analytic (and satisfies a mild condition), then $M$ is both the envelope of holom…
Walter Rudin, in 1966, characterized analytic functions in the unit disk in terms of the maximum principle relative to the boundary. We conjecture a generalization of this result when the disk is replaced by the punctured disk, and we prove a special case of this conjecture, making use of the notion of projective hull in P^n introduced by R. Harvey and B. Lawson.
A primary goal in this paper is to study the question that asks when a real analytic submanifold $M$ in ${\mathbb{C}}^{n+1}$ bounds a real analytic (up to $M$) Levi-flat hypersurface $\hat{M}$ near $p\in M$ such that $\hat{M}$ is foliated by a family of complex hypersurfaces moving along the normal direction of $M$ at $p$, and gives the invariant local hull of holomorphy of $M$ near $p$. This question is equivalent to the holomorphic flattening problem for $M$ near $p$. We will give an affirmative answer to above question when $p$ is a real complex tangent point with at least one elliptic dire…
Examples by Poletsky and the author and by Zwonek show the existence nowhere extendable holomorphic functions with the property that the pluripolar hull of their graphs is much larger than the graph of the respective functions and contains multiple sheets. We will explain this phenomenon by fine analytic continuation of the function over part of a Cantor-type set involved. This gives more information on the hull, and allows for weakening and effectiveness of the conditions in the original examples.
We show that a complex manifold M in the boundary of a smooth bounded pseudoconvex domain in C^n is an obstruction to compactness of the d-bar-Neumann operator on the domain, provided that at some point of M, the Levi form has the maximal possible rank n-1-dim(M) (i.e. the domain is strictly pseudoconvex in the directions transverse to M). In particular, an analytic disc is an obstruction, provided that at some point of the disc, the Levi form has only one zero eigenvalue. We also show that a boundary point where the Levi form has only one zero eigenvalue can be picked up by the plurisubharmon…
Let X be a complex manifold and c a simple closed curve in X. We address the question: What conditions on c ensure the existence of a 1-dimensional complex subvariety V with boundary c in X. When X = C^n, an answer to this question involves the polynomial hull of gamma. When X = P^n, complex projective space, the projective hull hat{c} of c comes into play. One always has V contained in hat{c}, and for analytic curves they conjecturally coincide. In this paper we establish an approximate analogue of this idea which holds without the analyticity of c. We characterize points in hat{c} as those w…
We prove three sharp estimates for the generalized Zalcman coefficient functional: one for the Hurwitz class, another for the Noshiro-Warschawski class, and yet another for the functions in the closed convex hull of convex univalent functions. In each case the extremal functions are identified. We also observe that an asymptotic version of the Zalcman conjecture is true.
The projective hull X^ of a subset X in complex projective space P^n is an analogue of the classical polynomial hull of a set in C^n. If X is contained in an affine chart C^n on P^n, then the affine part of X^ is the set of points x in C^n for which there exists a constant M=M_x so that |p(x)| < M^d sup{|p(y)| : y in X} for all polynomials p of degree less than or equal to d, and any d > 0. Let X^(M) be the set of points x where M_x can be chosen < M. Using an argument of E. Bishop, we show the following. Let G be a compact real analytic curve (not necessarily connected) in C^2. Then for any l…
We say that a subset of C^n is hypoconvex if its complement is the union of complex hyperplanes. Let D be the closed unit disk in C, T the unit circle. We prove two conjectures of Helton and Marshall. (See ``Frequency domain design and analytic selections,'' Indiana Univ. Math. J. 39, no. 1 (1990), 157-184.) Let p:T X C^n --> R+ be a smooth function whose sublevel sets have compact hypoconvex fibers over T. Then, with some restrictions on p, if Y is the set where p is less than or equal to 1, the polynomial convex hull of Y is the union of graphs of analytic vector-valued functions with bounda…
Let $f$ be analytic in the unit disk $\mathbb D$ and normalized so that $f(z)=z+a_2z^2+a_3z^3+\cdots$. In this paper, we give upper bounds of the Hankel determinant of second order for the classes of starlike functions of order $α$, Ozaki close-to-convex functions and two other classes of analytic functions. Some of the estimates are sharp.
Radius constants for several classes of analytic functions on the unit disk are obtained. These include the radius of starlikeness of a positive order, radius of parabolic starlikeness, radius of Bernoulli lemniscate starlikeness, and radius of uniform convexity. In the main, the radius constants obtained are sharp. Conjectures on the non-sharp constants are given.
We consider normalized analytic function $f$ on the open unit disk for which either $\operatorname{Re} f(z)/g(z)>0$, $|f(z) /g(z) - 1|<1$ or $\operatorname{Re} (1-z^2) f(z) /z>0$ for some analytic function $g$ with $\operatorname{Re} (1-z^2) g(z) /z>0$. We have obtained the radii for these functions to belong to various subclasses of starlike functions. The subclasses considered include the classes of starlike functions of order $α$, lemniscate starlike functions and parabolic starlike functions.
In the present paper we introduce and studied two subclasses of multivalent functions denoted by $\mathcal{M}^λ_{p,n}(γ;β)$ and $\mathcal{N}^λ_{p,n}(μ,η;δ)$. Further, by giving specific values of the parameters of our main results, we will find some connection between these two classes, and moreover, several consequences of main results are also discussed.
Let $\mathcal{A}$ denote the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ normalized by $f(0)=0$, $f'(0)=1$. In the present article, we obtain the sharp estimates of the Schwarzian norm for functions in the classes $\mathcal{G}(β)=\{f\in \mathcal{A}:{\rm Re\,}[1+zf''(z)/f'(z)]<1+β/2\}$, where $β>0$ and $\mathcal{F}(α)=\{f\in \mathcal{A}:{\rm Re\,}[1+zf''(z)/f'(z)]>α\}$, where $-1/2\le α\le 0$. We also establish two-point distortion theorem for functions in the classes $\mathcal{G}(β)$ and $\mathcal{F}(α)$.
The subject considered in this paper has, at least, three points of interest. Suppose that we have a sequence of one-dimensional analytic varieties in a domain in $\Bbb C^n$. The cluster of this sequence consists from all points in the domains such that every neighbourhood of such points intersects with infinitely many different varieties. The first question is: what analytic properties does the cluster inherit from varieties? We give a sufficient criterion when the cluster contains an analytic disk, but it follows from examples of Stolzenberg and Wermer that, in general, clusters can contain …
In this paper, we introduce and investigate two new subclasses of analytic functions in the open unit disk in the complex plane. Several interesting properties of the functions belonging to these classes are examined. Here, sufficient, and necessary and sufficient conditions for the functions belonging to these classes are also given. Moreover, coefficient bound estimates for the functions belonging to these classes are obtained.
In this paper we study an algebraic and topological structure inside the following sets of special functions: Bloch functions defined on the open unit disk that are unbounded and analytic functions of bounded type defined a Banach algebra E into E, which are not Lorch-analytic.
A space of analytic functions in the unit disc with uniformly continuous derivatives is said to be quasianalytic if the boundary value of a non-zero function from the class can not have a zero of infinite multiplicity. Such classes were described in the 1950-s and 1960-s by Carleson, Rodrigues-Salinas and Korenblum. A non-zero function from a quasianalytic space of analytic functions can only have a finite number of zeros in the closed disc. Recently, Borichev, Frank, and Volberg proved an explicit estimate on the number of zeros, for the case of quasianalytic Gevrey classes. Here, an estimate…