Total Scalar Curvature and L 2 Harmonic 1-Forms on a Minimal Hypersurface in Euclidean Space

Let M ⁿ , n 3, be a complete oriented immersed minimal hypersurface in Euclidean space R ⁿ⁺¹. We show that if the total scalar curvature on M is less than the n/2 power of 1/C _s , where C _s is the Sobolev constant for M, then there are no L ² harmonic 1-forms on M. As corollaries, such a minimal hypersurface contains no nontrivial harmonic functions with finite Dirichlet integral and so it has only one end. This implies finally that M is a hyperplane.     

A Modification of the Lyons-Sullivan Discretization of Positive Harmonic Functions

A modification of the Lyons-Sullivan discretization of positive harmonic functions on a Riemannian manifold M is proposed. This modification, depending on a choice of constants C = {C _n :n = 1,2,..}, allows for constructing measures n_x^C, x ? M\nu_x^\mathbf{C},\ x\in M, supported on a discrete subset Γ of M such that for every positive harmonic function f on M

On the Boundary Behaviour of Poisson Integrals of Finite Measures in (n + 1)-dimensional Half Space

It is well known that the harmonic functions u on the Euclidean upper (n + 1)-dimensional half-space E⁺ _n+1 = {(x, y) = (x ₁,…,x_n,y) ? E _n+1: y > 0} satisfying sup _y>0 ||u(·,y)||₁ < ∞ are precisely the Poisson-integrals u(x,y) = ∫ _En P(x - t,y)dμ(t) with respect to a measure μ of finite variation on E_n , and that (Fatou's theorem in E⁺ _n+1) in almost every point x ? E_n the non-tangential boundary limit of u exists and coincides with du/dλ. While this is a special case of a general assertion in potential theory, it is shown that the proof of Fatou's theorem for harmonic functions on a ball may readily be transferred to the given setup and that the influence of a singular component of μ on the boundary behaviour of u may also be established without recourse to the existence of the derivative dμ/dλ. Finally the C ₀-property of u is characterized by suitable conditions on μ.     

Almost Isometries of Balls

Let f be a bi-Lipschitz mapping of the Euclidean ball B ^_n into ℓ₂ with both Lipschitz constants close to one. We investigate the shape of f(B ^_n). We give examples of such a mapping f, which has the Lipschitz constants arbitrarily close to one and at the same time has in the supremum norm the distance at least one from every isometry of ⁿ.     

Conditions for Error Bounds and Bounded Level Sets of Some Merit Functions for the Second-Order Cone Complementarity Problem

Recently this author studied several merit functions systematically for the second-order cone complementarity problem. These merit functions were shown to enjoy some favorable properties, to provide error bounds under the condition of strong monotonicity, and to have bounded level sets under the conditions of monotonicity as well as strict feasibility. In this paper, we weaken the condition of strong monotonicity to the so-called uniform P ^*-property, which is a new concept recently developed for linear and nonlinear transformations on Euclidean Jordan algebra. Moreover, we replace the monotonicity and strict feasibility by the so-called R ₀₁ or R ₀₂-functions to keep the property of bounded level sets. This work is partially supported by National Science Council of Taiwan.     

Minimal helix surfaces in <Emphasis Type="Italic">N</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>×ℝ

An immersed surface M in N ⁿ ×ℝ is a helix if its tangent planes make constant angle with ∂ _t . We prove that a minimal helix surface M, of arbitrary codimension is flat. If the codimension is one, it is totally geodesic. If the sectional curvature of N is positive, a minimal helix surfaces in N ⁿ ×ℝ is not necessarily totally geodesic. When the sectional curvature of N is nonpositive, then M is totally geodesic. In particular, minimal helix surfaces in Euclidean n-space are planes. We also investigate the case when M has parallel mean curvature vector: A complete helix surface with parallel mean curvature vector in Euclidean n-space is a plane or a cylinder of revolution. Finally, we use Eikonal f functions to construct locally any helix surface. In particular every minimal one can be constructed taking f with zero Hessian.     

Universal harmonic functions

In this paper, we prove that there exists an infinite dimensional closed vector space M of harmonic functions in R ⁿ such that each v ? M \{0} is a universal harmonic function.     

The eigenvalue distribution for a degenerate elliptic operator — div {(1−|x|2)grad·}

We sharpen the remainder estimate of the asymptotic formula for the eigenvalue distribution for the degenerate operator -div{(1−|x|²)grad·} in the unit ball of the Euclidean spaceR ⁿ . In particular we find the second term whenn=2.     

Gleason's problem for harmonic Bergman and Bloch functions on half-spaces

On the setting of the half-spaceR ^n–1×R ₊, we investigate Gleason's problem for harmonic Bergman and Bloch functions. We prove that Gleason's problem for the harmonicL ^p -Bergman space is solvable if and only ifp>n. We also prove that Gleason's problem for the harmonic (little) Bloch space is solvable.     

Spherical 7-Designs in 2 n -Dimensional Euclidean Space

We consider a finite subgroup _n of the group O(N) of orthogonal matrices, where N = 2 ⁿ , n = 1, 2 .... This group was defined in [7]. We use it in this paper to construct spherical designs in 2 ⁿ -dimensional Euclidean space R ^N . We prove that representations of the group _n on spaces of harmonic polynomials of degrees 1, 2 and 3 are irreducible. This and the earlier results [1–3] imply that the orbit _n,2 x ^t of any initial point x on the sphere S _{N – 1} is a 7-design in the Euclidean space of dimension 2 ⁿ .     

Metrics with harmonic spinors

We show that every closed spin manifold of dimensionn 3 mod 4 with a fixed spin structure can be given a Riemannian metric with harmonic spinors, i.e. the corresponding Dirac operator has a non-trivial kernel (Theorem A). To prove this we first compute the Dirac spectrum of the Berger spheresS ⁿ ,n odd (Theorem 3.1). The second main ingredient is Theorem B which states that the Dirac spectrum of a connected sumM ₁#M ₂ with certain metrics is close to the union of the spectra ofM ₁ and ofM ₂.Partially supported by SFB 256 and by the GADGET program of the EU     

Smooth convex bodies with proportional projection functions

For a convex body K ⊂ ℝⁿ and i ∈ {1, …, n − 1}, the function assigning to any i-dimensional subspace L of ℝⁿ, the i-dimensional volume of the orthogonal projection of K to L, is called the i-th projection function of K. Let K, K ₀ ⊂ ℝⁿ be smooth convex bodies with boundaries of class C ² and positive Gauss-Kronecker curvature and assume K ₀ is centrally symmetric. Excluding two exceptional cases, (i, j) = (1, n − 1) and (i, j) = (n − 2, n − 1), we prove that K and K ₀ are homothetic if their i-th and j-th projection functions are proportional. When K ₀ is a Euclidean ball this shows that a convex body with C ² boundary and positive Gauss-Kronecker with constant i-th and j-th projection functions is a Euclidean ball. The second author was supported in part by the European Network PHD, FP6 Marie Curie Actions, RTN, Contract MCRN-511953.     

A Note on the Wong-Rosay Theorem in Complex Manifolds

The authors prove a version, in utmost generality, of the Bun Wong-Rosay theorem on a complex manifold M. The essence of the result is that a domain Ω?M with non-compact automorphism group and boundary orbit accumulation point that is strongly pseudoconvex must be biholomorphic to the unit ball in C ⁿ .     

The torsion of a submanifold of a Riemannian manifold

For a submanifoldM ⁿ of a Riemannian manifoldM ^q, the concept of a torsion bivector at the point x M ⁿ for given one- and two-dimensional directions fromT _x M ⁿ is introduced using only the first and second fundamental forms ofM ⁿ. Its relation to the concept of Gaussian torsion is then established. It is proved that: 1) equality to zero of the torsion bivector is necessary and, whenM ⁿ is a nondevelopable surface of a space of constant curvature with nonzero second fundamental form, is also sufficient for the "flattening" ofM ⁿ into some totally geodesicM ⁿ⁺¹ inM ^q; 2) when n = 2, the independence of the nonzero torsion bivector of direction characterizes a minimalM ² inM ^q.Translated from Ukrainskii Geometricheskii Sbornik, No. 34, pp. 39–42, 1991.     

Groups of Isometries of Hardy-Type Spaces of Analytic Functionals in the Unit Ball of the Space~L p

The tensor structure of spaces L _p (R ⁿ ) of summable functions of several variables is described. A scale of Hardy-type spaces of analytic functionals defined in the unit ball of the space L _p (R ¹) of summable functions of one variable is introduced. One-parameter groups of isometries of such spaces of analytic functionals are investigated.     

Weighted Integrals of Holomorphic Functions in C n

In this paper we generalize a number of known integral inequalities for analytic functions defined on the unit ball B ? C ⁿ or on the polydisk Uⁿ .     

Testing monotonicity over graph products

We consider the problem of monotonicity testing over graph products. Monotonicity testing is one of the central problems studied in the field of property testing. We present a testing approach that enables us to use known monotonicity testers for given graphs G₁, G₂, to test monotonicity over their product G₁ × G₂. Such an approach of reducing monotonicity testing over a graph product to monotonicity testing over the original graphs, has been previously used in the special case of monotonicity testing over [n]^d for a limited type of testers; in this article, we show that this approach can be applied to allow modular design of testers in many interesting cases: this approach works whenever the functions are boolean, and also in certain cases for functions with a general range. We demonstrate the usefulness of our results by showing how a careful use of this approach improves the query complexity of known testers. Specifically, based on our results, we provide a new analysis for the known tester for [n]^d which significantly improves its query complexity analysis in the low‐dimensional case. For example, when d = O(1), we reduce the best known query complexity from O(log ²n/ε) to O(log n/ε). © 2008 Wiley Periodicals, Inc. Random Struct. Alg., 2008     

Ricci curvature and the topology of open manifolds

In this paper, we prove that an open Riemannian n-manifold with Ricci curvature and for some is diffeomorphic to a Euclidean n-space if the volume growth of geodesic balls around p is not too far from that of the balls in . We also prove that a complete n-manifold M with is diffeomorphic to if , where is the volume of unit ball in . Received 5 May, 1997     

Rigidity theorem for harmonic maps from Riemannian manifold to Grassmannian manifold

We first study the Grassmannian manifoldG _n (R^n+p)as a submanifold in Euclidean space ⁿ (R ^n+p). Then we give a local expression for each map from Riemannian manifoldM toG ⁿ (R ^n+p) ⁿ (R ^n+p), and use the local expression to establish a formula which is satisfied by any harmonic map fromM toG _n (R ^n+p). As a consequence of this formula we get a rigidity theorem.     

Quasi-nearly subharmonic functions in locally uniformly homogeneous spaces

We define nonnegative quasi-nearly subharmonic functions on so called locally uniformly homogeneous spaces. We point out that this function class is rather general. It includes quasi-nearly subharmonic (thus also subharmonic, quasisubharmonic and nearly subharmonic) functions on domains of Euclidean spaces \mathbbRⁿ{{\mathbb{R}}^n}, n ≥ 2. In addition, quasi-nearly subharmonic functions with respect to various measures on domains of \mathbbRⁿ{{\mathbb{R}}^n}, n ≥ 2, are included. As examples we list the cases of the hyperbolic measure on the unit ball B ⁿ of \mathbbRⁿ{{\mathbb{R}}^n}, the M{{\mathcal{M}}}-invariant measure on the unit ball B ²ⁿ of \mathbbCⁿ{{\mathbb{C}}^n}, n ≥ 1, and the quasihyperbolic measure on any domain D ì \mathbbRⁿ{D\subset {\mathbb{R}}^n}, D 1 \mathbbRⁿ{D\ne {\mathbb{R}}^n}. Moreover, we show that if u is a quasi-nearly subharmonic function on a locally uniformly homogeneous space and the space satisfies a mild additional condition, then also u ^p is quasi-nearly subharmonic for all p > 0.