Total Curvature for <Emphasis Type="Italic">C</Emphasis><Superscript>∞</Superscript>-Singular Surfaces with Limiting Tangent Bundle

The total curvature of a compact C^∞-immersed surface in Euclidean 3-space ³ can be interpreted as the average number of critical points for a linear ‘height’ function. The Morse inequalities provide an intrinsic topological lower bound for the total curvature and ‘tight’ surfaces, which realize equality, have been an active topic of research. The objective of this paper is to describe the natural notion of total curvature for C^∞-singular surfaces which fail to immerse on C^∞-embedded closed curves, but which have a C^∞-globally defined unit normal (e.g. caustics, or critical images for mappings of 3-manifolds into Euclidean 3-space). For such surfaces total curvature consists of a sum of two-dimensional and one-dimensional integrals, which have various lower bounds. Large sets of LT-surfaces which realize equality are then constructed. As an application, the orthogonal projection of an immersed tight hypersurface in Euclidean 4-space is shown to have LT-tight critical image, and several related inequalities are given. Mathematics Subject Classifications (2000): 57N65, 14P99, 53C21, 53B25, 53B20.     

Certain 4-manifolds with non-negative sectional curvature

In this paper, we study certain compact 4-manifolds with non-negative sectional curvature K. If s is the scalar curvature and W. is the self-dual part of Weyl tensor, then it will be shown that there is no metric g on S ^• × S ^• with both (i) K > 0 and (ii) ÷ s − W _• ⩾ 0. We also investigate other aspects of 4-manifolds with non-negative sectional curvature. One of our results implies a theorem of Hamilton: “If a simply-connected, closed 4-manifold M^• admits a metric g of non-negative curvature operator, then M^• is one of S^•, ℂP^• and S^•×S^•”. Our method is different from Hamilton’s and is much simpler. A new version of the second variational formula for minimal surfaces in 4-manifolds is proved.      

Bakry–Emery Curvature Operator and Ricci Flow

In this paper, we introduce some techniques of Bakry–Emery curvature operator to Ricci flow and prove the evolution equation for the Bakry–Emery scalar curvature. As its application, we can easily derive the Perelman’s entropy functional monotonicity formula. We also discuss some gradient estimates of Ricci curvature and L ²– estimates of scalar curvature.Project partially supported by Yumiao Fund of Putian University.     

Gluing constructions amongst constant mean curvature hypersurfaces in $${\mathbb {S}^{n+1}}$$

Four constructions of constant mean curvature (CMC) hypersurfaces in \mathbb Sⁿ⁺¹{\mathbb {S}^{n+1}} are given, which should be considered analogues of ‘classical’ constructions that are possible for CMC hypersurfaces in Euclidean space. First, Delaunay-like hypersurfaces, consisting roughly of a chain of hyperspheres winding multiple times around an equator, are shown to exist for all the values of the mean curvature. Second, a hypersurface is constructed which consists of two chains of spheres winding around a pair of orthogonal equators, showing that Delaunay-like hypersurfaces can be fused together in a symmetric manner. Third, a Delaunay-like handle can be attached to a generalized Clifford torus of the same mean curvature. Finally, two generalized Clifford tori of equal but opposite mean curvature of any magnitude can be attached to each other by symmetrically positioned Delaunay-like ‘arms’. This last result extends Butscher and Pacard’s doubling construction for generalized Clifford tori of small mean curvature.     

Roof duality,complementation and persistency in quadratic 0–1 optimization

The paper is concerned with the ‘primal’ problem of maximizing a given quadratic pseudo-boolean function. Four equivalent problems are discussed—the primal, the ‘complementation’, the ‘discrete Rhys LP’ and the ‘weighted stability problem of a SAM graph’. Each of them has a relaxation—the ‘roof dual’, the ‘quadratic complementation,’ the ‘continuous Rhys LP’ and the ‘fractional weighted stability problem of a SAM graph’. The main result is that the four gaps associated with the four relaxations are equal. Furthermore, a solution to any of these problems leads at once to solutions of the other three equivalent ones. The four relaxations can be solved in polynomial time by transforming them to a bipartite maximum flow problem. The optimal solutions of the ‘roof-dual’ define ‘best’ linear majorantsp(x) off, having the following persistency property: if theith coefficient inp is positive (negative) thenx _i=1 (0) in every optimum of the primal problem. Several characterizations are given for the case where these persistency results cannot be used to fix any variable of the primal. On the other hand, a class of gap-free functions (properly including the supermodular ones) is exhibited.     

Addenda to “The entropy formula for linear heat equation”

We add two sections to [8] and answer some questions asked there. In the first section we give another derivation of Theorem 1.1 of [8], which reveals the relation between the entropy formula, (1.4) of [8], and the well-known Li-Yau ’s gradient estimate. As a by-product we obtain the sharp estimates on ‘Nash’s entropy’ for manifolds with nonnegative Ricci curvature. We also show that the equality holds in Li-Yau’s gradient estimate, for some positive solution to the heat equation, at some positive time, implies that the complete Riemannian manifold with nonnegative Ricci curvature is isometric to ℝ ⁿ .In the second section we derive a dual entropy formula which, to some degree, connects Hamilton’s entropy with Perelman ’s entropy in the case of Riemann surfaces.     

A Canonical Compatible Metric for Geometric Structures on Nilmanifolds

Let (N, γ) be a nilpotent Lie group endowed with an invariant geometric structure (cf. symplectic, complex, hypercomplex or any of their ‘almost’ versions). We define a left invariant Riemannian metric on N compatible with γ to be minimal, if it minimizes the norm of the invariant part of the Ricci tensor among all compatible metrics with the same scalar curvature. We prove that minimal metrics (if any) are unique up to isometry and scaling, they develop soliton solutions for the ‘invariant Ricci’ flow and are characterized as the critical points of a natural variational problem. The uniqueness allows us to distinguish two geometric structures with Riemannian data, giving rise to a great deal of invariants.Our approach proposes to vary Lie brackets rather than inner products; our tool is the moment map for the action of a reductive Lie group on the algebraic variety of all Lie algebras, which we show to coincide in this setting with the Ricci operator. This gives us the possibility to use strong results from geometric invariant theory.Communicated by: Nigel Hitchin (Oxford) Mathematics Subject Classifications (2000): Primary: 53D05, 53D55; Secondary: 22E25, 53D20, 14L24, 53C30.     

On the Conditions of Extending Mean Curvature Flow

The authors consider a family of smooth immersions F(·,t):Mn → Rn+1 of closed hypersurfaces in Rn+1 moving by the mean curvature flow F∈(pt,t)=-H(p,t)·ν(p,t) for t ∈ [0,T).They show that if the norm of the second fundamental form is bounded above by some power of mean curvature and the certain subcritical quantities concerning the mean curvature integral are bounded,then the flow can extend past time T.The result is similar to that in [6-9].     

Nonnegative curvature and cobordism type

We show that in each dimension n = 4k, k≥ 2, there exist infinite sequences of closed simply connected Riemannian n-manifolds with nonnegative sectional curvature and mutually distinct oriented cobordism type. W. Tuschmann’s research was supported in part by a DFG Heisenberg Fellowship.     

S-convexity revisited (fuzzy): long version

In this revisional article, we criticize (strongly) the use made by Medar et al., and those whose work they base themselves on, of the name ‘convexity’ in definitions which intend to relate to convex functions, or cones, or sets, but actually seem to be incompatible with the most basic consequences of having the name ‘convexity’ associated to them. We then believe to have fixed the ‘denominations’ associated with Medar’s (et al.) work, up to a point of having it all matching the existing literature in the field [which precedes their work (by long)]. We also expand his work scope by introducing s ₁-convexity concepts to his group of definitions, which encompasses only convex and its proper extension, s ₂-convex, so far. This article is a long version of our previous review of Medar’s work, published by FJMS (Pinheiro, M.R.: S-convexity revisited. FJMS, 26/3, 2007).     

An assessment of streamline curvature effects on the mixing region of a turbulent plane jet in crossflow

The flow field of a turbulent plane jet in a weak or moderate crossflow, which is characterised by mild streamline curvature, has been investigated computationally. The values of the jet-to-crossflow velocity ratios chosen are 6, 9 and 10. The time-averaged Navier–Stokes equations are solved on a staggered Cartesian grid using the standard k–ϵ model and the k–ϵ model with streamline curvature modification. The predictions using both the models are compared with available experimental data. It has been shown that by accounting for the effect of streamline curvature in the k–ϵ model results in good prediction of this flow configuration.     

Finsler metrics with constant （or scalar） flag curvature

A Finsler metric on a manifold M with its flag curvature K is said to be almost isotropic flag curvature if K =3c + σ where σ and c are scalar functions on M.In this paper,we establish the intrinsic re...     

Extending the Ehresmann-Schein-Nambooripad Theorem

We extend the ‘∨-premorphisms’ part of the Ehresmann-Schein-Nambooripad Theorem to the case of two-sided restriction semigroups and inductive categories, following on from a result of Lawson (J. Algebra 141:422–462, 1991) for the ‘morphisms’ part. However, it is so-called ‘∧-premorphisms’ which have proved useful in recent years in the study of partial actions. We therefore obtain an Ehresmann-Schein-Nambooripad-type theorem for (ordered) ∧-premorphisms in the case of two-sided restriction semigroups and inductive categories. As a corollary, we obtain such a theorem in the inverse case.     

Ploucquet’s “Refutation” of the Traditional Square of Opposition

In the 18th century, Gottfried Ploucquet developed a new syllogistic logic where the categorical forms are interpreted as set-theoretical identities, or diversities, between the full extension, or a non-empty part of the extension, of the subject and the predicate. With the help of two operators ‘O’ (for “Omne”) and ‘Q’ (for “Quoddam”), the UA and PA are represented as ‘O(S) – Q(P)’ and ‘Q(S) – Q(P)’, respectively, while UN and PN take the form ‘O(S) > O(P)’ and ‘Q(S) > O(P)’, where ‘>’ denotes set-theoretical disjointness. The use of the symmetric operators ‘–’ and ‘>’ gave rise to a new conception of conversion which in turn lead Ploucquet to consider also the unorthodox propositions O(S) – O(P), Q(S) – O(P), O(S) > Q(P), and Q(S) > Q(P). Although Ploucquet’s critique of the traditional theory of opposition turns out to be mistaken, his theory of the “Quantification of the Predicate” is basically sound and involves an interesting “Double Square of Opposition”. My thanks are due to Hanno von Wulfen for helpful discussions and for transforming the word-document into a Latex-file.     

Proper Submanifolds in Product Manifolds

The authors obtain various versions of the Omori-Yau's maximum principle on complete properly immersed submanifolds with controlled mean curvature in certain product manifolds,in complete Riemannian manifolds whose k-Ricci curvature has strong quadratic decay,and also obtain a maximum principle for mean curvature flow of complete manifolds with bounded mean curvature.Using the generalized maximum principle,an estimate on the mean curvature of properly immersed submanifolds with bounded projection in N1 in the product manifold N1 ×N2 is given.Other applications of the generalized maximum principle are also given.     

Isotonic tests for spread and tail

Summary One-sample test problem for ‘stochastically more (or less) spread’ is defined and a family of tests with isotonic power is given. The problem is closely related to that for ‘longer (or shorter) tail’ in the reliability theory and the correspondence between them is shown. To characterize the tests three spread preorders inR ⁿ and corre-sponding tail preorders inR ₊ ⁿ are introduced. Functions which are ‘monotone’ in these orders, and subsets which are ‘centrifugal’ or ‘centripetal’ with respect to these orders are studied. These notions generalize the Schur convexity. The Institute of Statistical Mathematics     

The <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">G</Emphasis>/∞ system revisited: finiteness,summability, long range dependence,and reverse engineering

We explore M/G/∞ systems ‘fed’ by Poissonian inflows with infinite arrival rates. Three processes – corresponding to the system's state, workload, and queue-size – are studied and analyzed. Closed form formulae characterizing the system's stationary structure and correlation structure are derived. And, the issues of queue finiteness, workload summability, and Long Range Dependence are investigated. We then turn to devise a ‘reverse engineering’ scheme for the design of the system's correlation structure. Namely: how to construct an M/G/∞ system with a pre-desired ‘target’ workload/queue auto-covariance function. The ‘reverse engineering’ scheme is applied to various examples, including ones with infinite queues and non-summable workloads. AMS Subject Classifications Primary: 60K25; Secondary: 60G55, 60G10     

Eigenvalue bounds for Orr-Sommerfeld equation ‘No backward wave’ theorem

Theoretical estimates of the phase velocityC _r of an arbitrary unstable, marginally stable or stable wave derived on the basis of the classical Orr-Sommerfeld eigenvalue problem governing the linear instability of plane Poiseuille flow (U(z)=1−z ²,−1≤z≤+1), leave open the possibility of these phase velocities lying outside the rangeU _min<C _r <U _max, but not a single experimental or numerical investigation in this regard, which are concerned with unstable or marginally stable waves has supported such a possibility as yet,U _min andU _max being respectively the minimum and the maximum value ofU(z) forz∈[−1, +1]. This gap between the theory on one side and the experiment and computation on the other has remained unexplained ever since Joseph derived these estimates, first, in 1968, and has even led to the speculation of a negative phase velocity (or rather,C _r <U _min=0) and hence the possibility of a ‘backward’ wave as in the case of the Jeffery-Hamel flow in a diverging channel with back flow ([1]). A simple mathematical proof of the non-existence of such a possibility is given herein by showing that the phase velocityC _r of an arbitrary unstable or marginally stable wave must satisfy the inequalityU _min<C _r <U _max. It follows as a consequence stated here in this explicit form for the first time to the best of our knowledge, that ‘overstability’ and not the ‘principle of exchange of stabilities’ is valid for the problem of plane Poiseuille flow.     

Convex mean curvature flow with a forcing term in direction of the position vector

A smooth, compact and strictly convex hypersurface evolving in ℝ ⁿ⁺¹ along its mean curvature vector plus a forcing term in the direction of its position vector is studied in this paper. We show that the convexity is preserving as the case of mean curvature flow, and the evolving convex hypersurfaces may shrink to a point in finite time if the forcing term is small, or exist for all time and expand to infinity if it is large enough. The flow can converge to a round sphere if the forcing term satisfies suitable conditions which will be given in the paper. Long-time existence and convergence of normalization of the flow are also investigated.