Asymptotic symmetries for conformal scalar curvature equations with singularity

We give conditions on a positive Hölder continuous function C²such that every C ² positive solution u((x)) of the conformal scalar curvature equation in a punctured neighborhood of the origin in R ⁿ either has a removable singularity at the origin or satisfies for some positive singular solution u ₀(|x|) of where is the Hölder exponent of K.Mathematics Subject Classification (2000) Primary 35J60, 53C21     

Explicit construction of a Chern–Moser connection for CR manifolds of codimension two

In the present paper we suggest an explicit construction of a Cartan connection for an elliptic or hyperbolic CR manifold M of dimension six and codimension two, i.e. a pair , consisting of a principal bundle over M and of a Cartan connection form over P, satisfying the following property: the (local) CR transformations are in one to one correspondence with the (local) automorphisms for which . For any , this construction determines an explicit monomorphism of the stability subalgebra Lie (Aut(M)_x) into the Lie algebra of the structure group H of P. Mathematics Subject Classification (2000) Primary 32V05, Secondary 53C15, 53A55     

Hyperbolic Function Theory in the Clifford Algebra {\mathcal {C}}\ell_{n+1, 0}

The aim of this paper is to give the basic principles of hyperbolic function theory on the Clifford algebra . The structure of the theory is quite similar to the case of Clifford algebras with negative generators, but the proofs are not obvious. The (real) Clifford algebra is generated by unit vectors with positive squares e²_i = + 1. The hyperbolic Dirac operator is of the form where Q₀f is represented by the composition . If is a solution of H_kf = 0, then f is called k-hypergenic in Ω, where is an open set. We introduce some basic results of hyperbolic function theory and give some representation theorems on . Received: October, 2007. Accepted: February, 2008.     

A solution to Curry and Hindley’s problem on combinatory strong reduction

It has often been remarked that the metatheory of strong reduction , the combinatory analogue of βη-reduction in λ-calculus, is rather complicated. In particular, although the confluence of is an easy consequence of being confluent, no direct proof of this fact is known. Curry and Hindley’s problem, dating back to 1958, asks for a self-contained proof of the confluence of , one which makes no detour through λ-calculus. We answer positively to this question, by extending and exploiting the technique of transitivity elimination for ‘analytic’ combinatory proof systems, which has been introduced in previous papers of ours. Indeed, a very short proof of the confluence of immediately follows from the main result of the present paper, namely that a certain analytic proof system G _e [] , which is equivalent to the standard proof system CL _ext of Combinatory Logic with extensionality, admits effective transitivity elimination. In turn, the proof of transitivity elimination—which, by the way, we are able to provide not only for G _e [] but also, in full generality, for arbitrary analytic combinatory systems with extensionality—employs purely proof-theoretical techniques, and is entirely contained within the theory of combinators.      

Fourth order approximation of harmonic maps from surfaces

Let be a compact Riemannian surface and let be a compact Riemannian manifold, both without boundary, and assume that N is isometrically embedded into some ℝ ^l . We consider a sequence of critical points of the functional with uniformly bounded energy. We show that this sequence converges weakly in and strongly away from finitely many points to a smooth harmonic map. One can perform a blow-up to show that there separate at most finitely many non-trivial harmonic two-spheres at these finitely many points. Finally we prove the so called energy identity for this approximation in the case that ↪ ℝ ^l . Mathematics Subject Classification (2000) 58E20, 35J60, 53C43     

Convex sets with semidefinite representation

We provide a sufficient condition on a class of compact basic semialgebraic sets for their convex hull co(K) to have a semidefinite representation (SDr). This SDr is explicitly expressed in terms of the polynomials g _j that define K. Examples are provided. We also provide an approximate SDr; that is, for every fixed , there is a convex set such that (where B is the unit ball of ), and has an explicit SDr in terms of the g _j ’s. For convex and compact basic semi-algebraic sets K defined by concave polynomials, we provide a simpler explicit SDr when the nonnegative Lagrangian L _f associated with K and any linear is a sum of squares. We also provide an approximate SDr specific to the convex case.      

<Emphasis Type="Italic">h</Emphasis>-Principles for curves and knots of constant curvature

We prove that curves of constant curvature satisfy, in the sense of Gromov, the relative -dense h-principle in the space of immersed curves in Euclidean space R ^{n ≥ 3}. In particular, in the isotopy class of any given knot f there exists a knot f͂ of constant curvature which is -close to f. More importantly, we show that if f is , then the curvature of f͂ may be set equal to any constant c which is not smaller than the maximum curvature of f. We may also require that f͂ be tangent to f along any finite set of prescribed points, and coincide with f over any compact set with an open neighborhood where f has constant curvature c. The proof involves some basic convexity theory, and a sharp estimate for the position of the average value of a parameterized curve within its convex hull. The author’s research was supported in part by NSF CAREER award DMS-0332333.     

Laguerre geometry of hypersurfaces in $$\mathbb{R}^{n}$$

Laguerre geometry of surfaces in is given in the book of Blaschke [Vorlesungen über Differentialgeometrie, Springer, Berlin Heidelberg New York (1929)], and has been studied by Musso and Nicolodi [Trans. Am. Math. soc. 348, 4321–4337 (1996); Abh. Math. Sem. Univ. Hamburg 69, 123–138 (1999); Int. J. Math. 11(7), 911–924 (2000)], Palmer [Remarks on a variation problem in Laguerre geometry. Rendiconti di Mathematica, Serie VII, Roma, vol. 19, pp. 281–293 (1999)] and other authors. In this paper we study Laguerre differential geometry of hypersurfaces in . For any umbilical free hypersurface with non-zero principal curvatures we define a Laguerre invariant metric g on M and a Laguerre invariant self-adjoint operator : TM → TM, and show that is a complete Laguerre invariant system for hypersurfaces in with n≥ 4. We calculate the Euler–Lagrange equation for the Laguerre volume functional of Laguerre metric by using Laguerre invariants. Using the Euclidean space , the semi-Euclidean space and the degenerate space we define three Laguerre space forms , and and define the Laguerre embeddings and , analogously to what happens in the Moebius geometry where we have Moebius space forms S ⁿ , and (spaces of constant curvature) and conformal embeddings and [cf. Liu et al. in Tohoku Math. J. 53, 553–569 (2001) and Wang in Manuscr. Math. 96, 517–534 (1998)]. Using these Laguerre embeddings we can unify the Laguerre geometry of hypersurfaces in , and . As an example we show that minimal surfaces in or are Laguerre minimal in .C. Wang Partially supported by RFDP and Chuang-Xin-Qun-Ti of NSFC.     

An extension of Takahashi theorem for the linearized operators of the higher order mean curvatures

We study hypersurfaces in Euclidean space whose position vector x satisfies the condition L _k x = Ax + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed , is a constant matrix and is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature and open pieces of round hyperspheres and generalized right spherical cylinders of the form , with . This extends a previous classification for hypersurfaces in satisfying , where is the Laplacian operator of the hypersurface, given independently by Hasanis and Vlachos [J. Austral. Math. Soc. Ser. A 53, 377–384 (1991) and Chen and Petrovic [Bull. Austral. Math. Soc. 44, 117–129 (1991)].      

Characterization of order 3 algebraic immersed minimal surfaces of <Emphasis Type="Italic">S</Emphasis><Superscript>3</Superscript>

In this paper we prove that if is a minimal immersion of a compact surface and , for some homogeneous polynomial f of degree 3 on R ⁴, then, M is a torus and is one of the examples given by Lawson (1970, Complete minimal surfaces in S ³. Ann. Math. 92(2), 335–374).      

An Extension of Sums of Squares Relaxations to Polynomial Optimization Problems Over Symmetric Cones

This paper is based on a recent work by Kojima which extended sums of squares relaxations of polynomial optimization problems to polynomial semidefinite programs. Let and be a finite dimensional real vector space and a symmetric cone embedded in ; examples of and include a pair of the N-dimensional Euclidean space and its nonnegative orthant, a pair of the N-dimensional Euclidean space and N-dimensional second-order cones, and a pair of the space of m × m real symmetric (or complex Hermitian) matrices and the cone of their positive semidefinite matrices. Sums of squares relaxations are further extended to a polynomial optimization problem over , i.e., a minimization of a real valued polynomial a(x) in the n-dimensional real variable vector x over a compact feasible region , where b(x) denotes an - valued polynomial in x. It is shown under a certain moderate assumption on the -valued polynomial b(x) that optimal values of a sequence of sums of squares relaxations of the problem, which are converted into a sequence of semidefinite programs when they are numerically solved, converge to the optimal value of the problem. Research supported by Grant-in-Aid for Scientific Research on Priority Areas 16016234.     

A subdiffusive behaviour of recurrent random walk in random environment on a regular tree

We are interested in the random walk in random environment on an infinite tree. Lyons and Pemantle (Ann. Probab. 20, 125–136, 1992) give a precise recurrence/transience criterion. Our paper focuses on the almost sure asymptotic behaviours of a recurrent random walk (X _n ) in random environment on a regular tree, which is closely related to Mandelbrot’s (C. R. Acad. Sci. Paris 278, 289–292, 1974) multiplicative cascade. We prove, under some general assumptions upon the distribution of the environment, the existence of a new exponent such that behaves asymptotically like . The value of ν is explicitly formulated in terms of the distribution of the environment.      

On the Structure and Symmetry Properties of Almost $$\cal{S}$$-manifolds

We prove that any simply connected -manifold of CR-codimension s 2 is noncompact by showing that the complete, simply connected -manifolds are all the CR products N × ^{s-1} with N Sasakian, endowed with a suitable product metric. N is a Sasakian -symmetric space if and only if M is CR-symmetric. The locally CR-symmetric -manifolds are characterized by

Chern–Simons forms on associated bundles,and boundary terms

Let E be a principle bundle over a compact manifold M with compact structural group G. For any G-invariant polynomial P, the transgressive forms defined by Chern and Simons in (Ann. Math. 99:48–69, 1974) are shown to extend to forms on associated bundles B with fiber a quotient F = G/H of the group. These forms satisfy a heterotic formula relating the characteristic form to a fiber-curvature characteristic form. For certain natural bundles B, , giving a true transgressive form on the associated bundle, which leads to the standard obstruction properties of characteristic classes as well as natural expressions for boundary terms. These forms also yield new secondary characteristic classes giving refined information about the associated bundles B.      

Boundary Harnack principle for Brownian motions with measure-valued drifts in bounded Lipschitz domains

Let be such that each is a signed measure on R ^d belonging to the Kato class K _{d, 1}. A Brownian motion in R ^d with drift is a diffusion process in R ^d whose generator can be informally written as . When each is given by U ⁱ (x)dx for some function U ⁱ , a Brownian motion with drift is a diffusion in R ^d with generator . In Kim and Song (Ill J Math 50(3):635–688, 2006), some properties of Brownian motions with measure-value drifts in bounded smooth domains were discussed. In this paper we prove a scale invariant boundary Harnack principle for the positive harmonic functions of Brownian motions with measure-value drifts in bounded Lipschitz domains. We also show that the Martin boundary and the minimal Martin boundary with respect to Brownian motions with measure-valued drifts coincide with the Euclidean boundary for bounded Lipschitz domains. The results of this paper are also true for diffusions with measure-valued drifts, that is, when is replaced by a uniformly elliptic divergence form operator with C ¹ coefficients or a uniformly elliptic non-divergence form operator with C ¹ coefficients. The research of R. Song is supported in part by a joint US-Croatia grant INT 0302167. The research of P. Kim is supported by Research Settlement Fund for the new faculty of Seoul National University.     

Partial geometries pg (s, t, 2) with an abelian Singer group and a characterization of the van Lint-Schrijver partial geometry

Let be a proper partial geometry pg(s,t,2), and let G be an abelian group of automorphisms of acting regularly on the points of . Then either t≡2±od s+1 or is a pg(5,5,2) isomorphic to the partial geometry of van Lint and Schrijver (Combinatorica 1 (1981), 63–73). This result is a new step towards the classification of partial geometries with an abelian Singer group and further provides an interesting characterization of the geometry of van Lint and Schrijver.The author is Postdoctoral Fellow of the Fund for Scientific Research Flanders (FWO-Vlaanderen).     

An Extension of the Admissibility-Type Conditions for the Exponential Dichotomy of C 0-Semigroups

In the present paper we obtain a sufficient condition for the exponential dichotomy of a strongly continuous, one-parameter semigroup , in terms of the admissibility of the pair . It is already known the equivalence between the -admissibility condition and and the hyperbolicity of a C ₀-semigroup , when we assume a priori that the kernel of the dichotomic projector (denoted here by X ₂) is T(t)-invariant and is an invertible operator. We succeed to prove in this paper that the admissibility of the pair still implies the existence of an exponential dichotomy for a C ₀-semigroup even in the general case where the kernel of the dichotomic projector, X ₂, is not assumed to be T(t)-invariant.      

Hilbert Geometry for Strictly Convex Domains

We prove in this paper that the Hilbert geometry associated with a bounded open convex domain in R ⁿ whose boundary is a ² hypersuface with nonvanishing Gaussian curvature is bi-Lipschitz equivalent to the n-dimensional hyperbolic space H ⁿ . Moreover, we show that the balls in such a Hilbert geometry have the same volume growth entropy as those in H ⁿ .     

Orbits of the hyperoctahedral group as Euclidean designs

The hyperoctahedral group H in n dimensions (the Weyl group of Lie type B _n ) is the subgroup of the orthogonal group generated by all transpositions of coordinates and reflections with respect to coordinate hyperplanes.With e ₁ , ..., e _n denoting the standard basis vectors of ⁿ and letting x _k = e ₁ + ··· + e _k (k = 1, 2, ..., n), the set