A minimal area problem in conformal mapping II

LetS denote the usual class of functionsf holomorphic and univalent in the unit diskU. For 0<r<1 andr(1+r)⁻²<b<r(1−r)⁻², letS(r, b) be the subclass of functionsf∈S such that |f(r)|=b. In Theorem 1, we solve the problem of minimizing the Dirichlet integral inS(r, b). The first main ingredient of the solution is the establishment of sufficient regularity of the domains onto whichU is mapped by extremal functions, and here techniques of symmetrization and polarization play an essential role. The second main ingredient is the identification of all Jordan domains satisfying a certain kind of functional equation (called “quadrature identities”) which are encountered by applying variational techniques. These turn out to be conformal images ofU by mappings of a special form involving a logarithmic function. In Theorem 2, this aspect of our work is generalized to encompass analogous minimal area problem when a larger number of initial data are prescribed. The third author thanks for its hospitality the Mittag-Leffler Institute of Royal Swedish Academy of Sciences where this work was finalized. This author was supported in part by the Swedish Institute and by the Russian Fund for Fundamental Research, grant no. 97-01-00259.     

Interpolation by holomorphic automorphisms and embeddings in Cn

Let n > 1 and let C ⁿ denote the complex n-dimensional Euclidean space. We prove several jet-interpolation results for nowhere degenerate entire mappings F:C ⁿ →C ⁿ and for holomorphic automorphisms of C ⁿ on discrete subsets of C ⁿ.We also prove an interpolation theorem for proper holomorphic embeddings of Stein manifolds into C ⁿ.For each closed complex submanifold (or subvariety) M ⊂ C ⁿ of complex dimension m < n we construct a domain Ω ⊂C ⁿ containing M and a biholomorphic map F: Ω → C ⁿ onto C ⁿ with J F ≡ 1such that F(M) intersects the image of any nondegenerate entire map G:C ^n−m →C ⁿ at infinitely many points. If m = n − 1, we construct F as above such that C ⁿ ∖F(M) is hyperbolic. In particular, for each m ≥ 1we construct proper holomorphic embeddings F:C ^m →C ^m−1 such that the complement C ^m+1 ∖F(C ^m )is hyperbolic.     

Intersecting Curves in the Plane

 We prove that for every family of n pairwise intersecting simple closed planar curves in general position, at least (4/5)n ²−O(n) points lie on more than one curve. This improves the previous lower bound of (3/4)n ²−O(n) due to Richter and Thomassen. Received: March 29, 2000 Final version received: August 30, 2001 RID="*" ID="*" Research supported in part by NSF grant DMS-9970325 Acknowledgments. I thank Bruce Richter for informing me about this problem, Gelasio Salazar for reading a preliminary version of the paper, and a Referee for useful comments. Current Address: Microsoft Research, One Microsoft Way, Redmond, WA 98052-6399, USA. e-mail: mubayi@microsoft.com 1991 Mathematics Subject Classification. 05C35, 52C10     

Weierstrass factorizations in compact Riemann surfaces

Letν′ be the complementary in a compact Riemann surface ν of a point (or a finite set). In this paper are characterized the subfields, of the field of meromorphic functions inν′, containing sufficient functions to verify a factorization property, similar to that of the classical Weierstrass theorem. It is also seen that the field generated by the Baker functions is not of this type, and the problem is solved of determining the divisors, inν′, of the holomorphic functions admiting Weierstrass factorizations with Baker functions as factors. As an application, a theorem is obtained characterizing the infinite products, of meromorphic functions in ν with bounded degree, which converge normally inν′. The first-named author is partially supported by PB91-0188.     

Genus two extremal surfaces: Extremal discs, isometries and Weierstrass points

It is known that the largest disc that a compact hyperbolic surface of genusg may contain has radiusR=cosh⁻¹(1/2sin(π/(12g−6))). It is also known that the number of such (extremal) surfaces, although finite, grows exponentially withg. Elsewhere the authors have shown that for genusg>3 extremal surfaces contain only one extremal disc. Here we describe in full detail the situation in genus 2. Following results that go back to Fricke and Klein we first show that there are exactly nine different extremal surfaces. Then we proceed to locate the various extremal discs that each of these surfaces possesses as well as their set of Weierstrass points and group of isometries. Both authors partially supported by Grant BFM2000-0031 of the SGPI.MCYT.     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

Approximation of analytic functions with prescribed boundary conditions by circle-packing maps

We use recent advances in circle-packing theory to develop a constructive method for the approximation of an analytic functionF: Ω →C by circle packing maps providing we have only been given ΩF’_dΩ, and the set of critical points ofF. This extends the earlier results of Carter and Rodin and of Colin de Verdière and Mathéus, for functionsF with no critical points. The author gratefully acknowledges support of the Tennessee Science Alliance and the National Science Foundation. Research at MSRI is supported in part by Grant No. DMS-9022140.     

Wellposedness of abstract Cauchy problems for second order differential equations

This paper concerns the abstract Cauchy problem (ACP) for an evolution equation of second order in time. LetA be a closed linear operator with domainD(A) dense in a Banach spaceX. We first characterize the exponential wellposedness of ACP onD(A ^k+1),k teN. Next let {C(t);t teR} be a family of generalized solution operators, on [D(A ^k)] toX, associated with an exponentially wellposed ACP onD(A ^k+1). Then we define a new family {T(t); Ret>0} by the abstract Weierstrass formula. We show that {T(t)} forms a holomorphic semigroup of class (H _k) onX. Research of the second-named author was partially supported by Grant-in-Aid for Scientific Research (No. 63540139), Ministry of Education, Science and Culture.     

Integral representation with weights II, division and interpolation

Let f be a r×m-matrix of holomorphic functions that is generically surjective. We provide explicit integral representation of holomorphic ψ such that ϕ=f ψ, provided that ϕ is holomorphic and annihilates a certain residue current with support on the set where f is not surjective. We also consider formulas for interpolation. As applications we obtain generalizations of various results previously known for the case r=1. The author was partially supported by the Swedish Research Council     

Reverse hypercontractivity over manifolds

Suppose thatX is a vector field on a manifoldM whose flow, exptX, exists for all time. If μ is a measure onM for which the induced measuresμ _t ≡(exptX)_* μ are absolutely continuous with respect to μ, it is of interest to establish bounds on theL ^p (μ) norm of the Radon-Nikodym derivativedμ _t /dμ. We establish such bounds in terms of the divergence of the vector fieldX. We then specilizeM to be a complex manifold and derive reverse hypercontractivity bounds and reverse logarithmic Sololev inequalities in some holomorphic function spaces. We give examples onC ^m and on the Riemann surface forz ^1/n . Research supported in part by CONACyT, Mexico, grant 32725-E. Research supported in part by CONACyT, Mexico, grant 32146-E.     

L-functions of second-order cusp forms

We discuss equivalent definitions of holomorphic second-order cusp forms and prove bounds on their Fourier coefficients. We also introduce their associated L-functions, prove functional equations for twisted versions of these L-functions and establish a criterion for a Dirichlet series to originate from a second order form. In the last section we investigate the effect of adding an assumption of periodicity to this criterion. 2000 Mathematics Subject Classification Primary—11F12, 11F66 G. Mason: Research supported in part by NSF Grant DMS 0245225. C. O’Sullivan: Research supported in part by PSC CUNY Research Award No. 65453-00 34.     

Preimages of CR submanifolds with generic holomorphic maps

We investigate the notion of CR transversality of a generic holomorphic map f: ℂ ⁿ → ℂ ^m to a smooth CR submanifold M of ℂ ^m . We construct a stratification of the set of non-CR transversal points in the preimage M′ = f ⁻¹ (M) by smooth submanifolds, consisting of points where the CR dimension of M′ is constant. We show the existence of a Whitney stratification for sets which are locally diffeomorphic to the product of an open set and an analytic set. Work on this paper was supported by ARRS, Republic of Slovenia.     

Measure-valued Markov branching processes conditioned on non-extinction

We consider a particular class of measure-valued Markov branching processes that are constructed as “superprocesses” over some underlying Markov process. Such a processX dies out almost surely, so we introduce various conditioning schemes which keepX alive at large times. Under suitable hypotheses, which include the convergence of the semigroup for the underlying process to some limiting probability measureν, we show that the conditional distribution oft ⁻¹ X _t converges to that ofZν ast → ∞, whereZ is some strictly positive, real random variable. Research supported in part by NSF grant DMS 8701212. Research supported in part by an NSERC operating grant.     

A microscopic convexity principle for nonlinear partial differential equations

We study microscopic convexity property of fully nonlinear elliptic and parabolic partial differential equations. Under certain general structure condition, we establish that the rank of Hessian ∇ ² u is of constant rank for any convex solution u of equation F(∇ ² u,∇ u,u,x)=0. The similar result is also proved for parabolic equations. Some of geometric applications are also discussed. Research of the first author was supported in part by NSFC No.10671144 and National Basic Research Program of China (2007CB814903). Research of the second author was supported in part by an NSERC Discovery Grant.     

Weak type estimates for maximal operators with a cylindric distance function

We establish sharp weak-type estimates for the maximal operators T^λ_* associated with cylindric Riesz means for functions on H^p(ℝ³) when 4/5 <p<1 and λ=3/p−5/2, and when p=4/5 and λ>3/p−5/2. The first author was supported by the Korean Research Foundation Grant funded by the Korean Government (MOEHRD) No. R04-2002-000-20028-0. The third author was supported by a Korea University Grant.     

On the constructibility of a negatively curved complete surface of constant mean curvature in H<Superscript>3</Superscript> determined by a prescribed Hopf differential

The role that a prescribed holomorphic Hopf (Quadratic) differential A(z) dz dz plays in the construction of a negatively curved immersed simply connected complete surface ∑₀ of prescribed constant mean curvature c ∈ (−1, 1)in the hyperbolic 3-Space H ³ is investigated in this work. When a holomorphic function A(z), which is the coefficient function of the Hopf differential, is prescribed on a unit disk |z| < 1,it is shown that the unit disk |z| < 1can be immersed in the hyperbolic 3-Space H ³ as a negatively curved complete surface of constant mean curvature c ∈ (−1, 1),provided that |A(z)| satisfies a certain growth condition. Moreover, it is shown that the unit disk |z| < 1can be uniquely embedded in H ³ when the holomorphic function A(z) has a certain admissible structure.     

On geometric optimization with few violated constraints

We investigate the problem of finding the best solution satisfying all butk of the given constraints, for an abstract class of optimization problems introduced by Sharir and Welzl—the so-calledLP-type problems. We give a general algorithm and discuss its efficient implementations for specific geometric problems. For instance for the problem of computing the smallest circle enclosing all butk of the givenn points in the plane, we obtain anO(n logn+k ³ n ^ε) algorithm; this improves previous results fork small compared withn but moderately growing. We also establish some results concerning general properties ofLP-type problems. This research was supported in part by Charles University Grant No. 351 and Czech Republic Grant GAČR 201/93/2167. Part of this research was performed while the author was visting the Computer Science Institute, Free University Berlin, and it was supported by the German-Israeli Foundation of Scientific Research and Development (G.I.F.), and part while visiting the Max-Planck Institute for Computer Science in Saarbrücken.     

Castles in the air revisited

We show that the total number of faces bounding any one cell in an arrangement ofn (d−1)-simplices in ℝ ^d isO(n ^d−1 logn), thus almost settling a conjecture of Pach and Sharir. We present several applications of this result, mainly to translational motion planning in polyhedral environments. We than extend our analysis to derive other results on complexity in arrangements of simplices. For example, we show that in such an arrangement the total number of vertices incident to the same cell on more than one “side” isO(n ^d−1 logn). We, also show that the number of repetitions of a “k-flap,” formed by intersectingd−k given simplices, along the boundary of the same cell, summed over all cells and allk-flaps, isO(n ^d−1 log² n). We use this quantity, which we call theexcess of the arrangement, to derive bounds on the complexity ofm distinct cells of such an arrangement. Work on this paper by the first author has been partially supported by National Science Foundation Grant CCR-92-11541. Work on this paper by the second author has been supported by Office of Naval Research Grant N00014-90-J-1284, by National Science Foundation Grants CCR-89-01484 and CCR-91-22103, and by grants from the U.S.-Israeli Binational Science Foundation, the G.I.F.—the German-Israeli Foundation for Scientific Reseach and Development, and the Fund for Basic Research administered by the Israeli Academy of Sciences.     

Optimization of convex functions on w*-compact sets

We give a direct, self-contained, and iterative proof that for any convex, Lipschitz andw ^*-lower semicontinuous function ϕ defined on aw ^*-compact convex setC in a dual Banach spaceX ^* and for any ε>0 there is anx∈X, with ‖x‖≤ε, such that ϕ+x attains its supremum at an extreme point ofC. This result is implicitly contained in the work of Lindenstrauss [9] and the work of Ghoussoub and Maurey on strongw ^*−H _σ sets [8]. In addition, we discuss the applications of this result to the geometry of convex sets. Research supported in part by the NSERC of Canada under grant OGP41983 for the first author and grant OGP7926 for the second author.     

Efficient Algorithms for Maximum Regression Depth

We investigate algorithmic questions that arise in the statistical problem of computing lines or hyperplanes of maximum regression depth among a set of n points. We work primarily with a dual representation and find points of maximum undirected depth in an arrangement of lines or hyperplanes. An O(n ^d ) time and O(n ^d−1) space algorithm computes undirected depth of all points in d dimensions. Properties of undirected depth lead to an O(nlog ² n) time and O(n) space algorithm for computing a point of maximum depth in two dimensions, which has been improved to an O(nlog n) time algorithm by Langerman and Steiger (Discrete Comput. Geom. 30(2):299–309, [2003]). Furthermore, we describe the structure of depth in the plane and higher dimensions, leading to various other geometric and algorithmic results. A preliminary version of this paper appeared in the proceedings of the 15th Annual ACM Symposium on Computational Geometry (1999) M. van Kreveld partially funded by the Netherlands Organization for Scientific Research (NWO) under FOCUS/BRICKS grant number 642.065.503. J.S.B. Mitchell’s research largely conducted while the author was a Fulbright Research Scholar at Tel Aviv University. The author is partially supported by NSF (CCR-9504192, CCR-9732220), Boeing, Bridgeport Machines, Sandia, Seagull Technology, and Sun Microsystems. M. Sharir supported by NSF Grants CCR-97-32101 and CCR-94-24398, by grants from the U.S.–Israeli Binational Science Foundation, the G.I.F., the German–Israeli Foundation for Scientific Research and Development, and the ESPRIT IV LTR project No. 21957 (CGAL), and by the Hermann Minkowski—MINERVA Center for Geometry at Tel Aviv University. J. Snoeyink supported in part by grants from NSERC, the Killam Foundation, and CIES while at the University of British Columbia.