On the Volume Formulas of Cones and Orthogonal Multi-cones in S~n(1) and H~n(-1)

In the study of n-dimensional spherical or hyperbolic geometry, n ≥3, the volume of various objects such as simplexes, convex polytopes, etc. often becomes rather difficult to deal with. In this paper, we use the method of infinitesimal symmetrization to provide a systematic way of obtaining volume formulas of cones and orthogonal multiple cones in Sn(l) and Hn(-1).     

Transformations and non-degenerate maps

We shall prove the equivalences of a non-degenerate circle-preserving map and a Mobius transformation in Rn, of a non-degenerate geodesic-preserving map and an isometry in Hn, of a non-degenerate line-preserving map and an affine transformation in Rn. That a map is non-degenerate means that the image of the whole space under the map is not a circle, or geodesic or line respectively. These results hold without either injective or surjective, or even continuous assumptions, which are new and of a fundamental nature in geometry.     

ON THE TOPOLOGY,VOLUME,DIAMETER AND GAUSS MAP IMAGE OF SUBMANIFOLDS IN A SPHERE

In this paper, the author uses Gauss map to study the topology, volume and diameter of submanifolds in a sphere. It is proved that if there exist ε, 1≥ε > 0 and a fixed unit simple p-vector a such that the Gauss map g of an n-dimensional complete and connected submanifold M in Sn p satisfies (g, a) ≥ε, then M is diffeomorphic to Sn, and the volume and diameter of M satisfy εnvol(Sn) ≤vol(M) ≤ vol(Sn)/ε and επ ≤diam(M) ≤ π/ε, respectively. The author also characterizes the case where these inequalities become equalities. As an application, a differential sphere theorem for compact submanifolds in a sphere is obtained.     

Hypersurfaces with isotropic para-Blaschke tensor

Let Mnbe an n-dimensional submanifold without umbilical points in the(n + 1)-dimensional unit sphere Sn+1.Four basic invariants of Mnunder the Moebius transformation group of Sn+1are a 1-form Φ called moebius form,a symmetric(0,2) tensor A called Blaschke tensor,a symmetric(0,2) tensor B called Moebius second fundamental form and a positive definite(0,2) tensor g called Moebius metric.A symmetric(0,2) tensor D = A + μB called para-Blaschke tensor,where μ is constant,is also an Moebius invariant.We call the para-Blaschke tensor is isotropic if there exists a function λ such that D = λg.One of the basic questions in Moebius geometry is to classify the hypersurfaces with isotropic para-Blaschke tensor.When λ is not constant,all hypersurfaces with isotropic para-Blaschke tensor are explicitly expressed in this paper.     

On complete submanifolds with parallel mean curvature in negative pinched manifolds

A rigidity theorem for oriented complete submanifolds with parallel mean curvature in a complete and simply connected Riemannian (n p)-dimensional manifold Nn p with negative sectional curvature is proved. For given positive integers n(≥ 2), p and for a constant H satisfying H ＞ 1 there exists a negative number τ(n,p, H) ∈ (-1, 0) with the property that if the sectional curvature of N is pinched in [-1, τ(n,p, H)], and if the squared length of the second fundamental form is in a certain interval, then Nn p is isometric to the hyperbolic space Hn p(-1). As a consequence, this submanifold M is congruent to Sn(1/ H2-1) or theVeronese surface in S4(1/√H2-1).     

On the Uniqueness Theorems for the Closed Convex Hypersurfaces in a Space of Constant Curvature

In this paper we generalized the uniqueness theorem of. Alexadroff-Fenchel-Jessen, the cohn-Vossen theorem and the Hilbert-Liebmann-Hsiung theorem to hypersurfaces in a sphere S~(n+1) or a hyperbolic space H~(n+1)     

The Convergence of the Sums of Independent Random Variables Under the Sub-linear Expectations

Let {Xn;n≥1} be a sequence of independent random variables on a probability space(Ω,F,P) and Sn=∑k=1n Xk.It is well-known that the almost sure convergence,the convergence in probability and the convergence in distribution of Sn are equivalent.In this paper,we prove similar results for the independent random variables under the sub-linear expectations,and give a group of sufficient and necessary conditions for these convergence.For proving the results,the Levy and Kolmogorov maximal inequalities for independent random variables under the sub-linear expectation are established.As an application of the maximal inequalities,the sufficient and necessary conditions for the central limit theorem of independent and identically distributed random variables are also obtained.     

A PRIORI L_2 ERROR ESTIMATES FOR A NONLINEAR PARABOLIC SYSTEM BASED ON COMBINING THE METHOD OF CHARACTERISTICS WITH MIXED FINITE ELEMENT PROCEDURE

A nonlinear parabolic system is derived to describe incompressible nuclear waste-disposal contamination in porous media. A sequential implicit tirne-stepping is defined, in which the pressure and Darcy velocity of the mixture are approximated simultaneously by a mixed finite element method and the brine, radionuclid and heat are treated by a combination of a Galerkin finite element method and the method of characteristics. Optimal-order convergence in L2 is proved. Time-truncation errors of standard procedures are reduced by time stepping along the characteristics of the hyperbolic part of the brine, radionuclide and heal equalios, temporal and spatial error are lossened by direct compulation of the velocity in the mixed method, as opposed to differentiation of the pressure.     

CONSTRAINT-PRESERVING ENERGY-STABLE SCHEME FOR THE 2D SIMPLIFIED ERICKSEN-LESLIE SYSTEM

Here we consider the numerical approximations of the 2D simplified Ericksen-Leslie system.We first rewrite the system and get a new system.For the new system,we propose an easy-to-implement time discretization scheme which preserves the sphere constraint at each node,enjoys a discrete energy law,and leads to linear and decoupled elliptic equations to be solved at each time step.A discrete maximum principle of the schemc in the finite element form is also proved.Some numerical simulations are performed to validate the scheme and simulate the dynamic motion of liquid crystals.     

Normal projection: deterministic and probabilistic algorithms

We consider the following problem： for a collection of points in an n-dimensional space, find a linear projection mapping the points to the ground field such that different points are mapped to different values. Such projections are called normal and are useful for making algebraic varieties into normal positions. The points may be given explicitly or implicitly and the coefficients of the projection come from a subset S of the ground field. If the subset S is small, this problem may be hard. This paper deals with relatively large S, a deterministic algorithm is given when the points are given explicitly, and a lower bound for success probability is given for a probabilistic algorithm from in the literature.     

n维双曲空间和n维球面空间中的正弦定理及应用

本文研究了n维双曲空间和n维球面空间中单形的正弦定理和相关几何不等式. 应用距离几何的理论和方法, 给出了n维双曲空间和n维球面空间中一种新形式的正弦定理, 利用建立的正弦定理获得了Hadamard 型和Veljan-Korchmaros型不等式. 另外, 建立了涉及两个n维双曲单形和n维球面单形的"度量加"的一些几何不等式.     

On meromorphic univalent functions omitting a disc

The class Σ_b is defined to consist of meromorphic univalent functionsH omitting a disc with the radiusb:H(z)=z+ Σ ₀ ^∞ A _n z ⁻ⁿ ,z>1,H(b)>b ∈ (0, 1). By aid of FitzGerald inequalities the inverse coefficients of odd Σ_b-functions are maximized. The result extends the corresponding estimation, due to Netanyahu and Schober, fromb=0 to the whole interval (0, 1). The author wishes to express her gratitude to Professor O. Tammi for valuable discussions connected with the problem. This work was supported by a grant from the Finnish Ministry of Education.     

On the Volume Formulas of Cones and Orthogonal Multi-cones in S^n（1） and H^n（-1）

Abstract In the study of n-dimensional spherical or hyperbolic geometry, n≥ 3, the volume of various objects such as simplexes, convex polytopes, etc. often becomes rather difficult to deal with. In this paper, we use the method of infinitesimal symmetrization to provide a systematic way of obtaining volume formulas of cones and orthogonal multiple cones in Sⁿ(1) and Hⁿ(—1). (Dedicated to the memory of Shiing-Shen Chern)     

Geometrization of 3-dimensional Coxeter orbifolds and Singer’s conjecture

Associated to any Coxeter system (W, S), there is a labeled simplicial complex L and a contractible CW-complex Σ _L (the Davis complex) on which W acts properly and cocompactly. Σ _L admits a cellulation under which the nerve of each vertex is L. It follows that if L is a triangulation of , then Σ _L is a contractible n-manifold. In this case, the orbit space, K _L := Σ _L /W, is a Coxeter orbifold. We prove a result analogous to the JSJ-decomposition for 3-dimensional manifolds: Every 3-dimensional Coxeter orbifold splits along Euclidean suborbifolds into the characteristic suborbifold and simple (hyperbolic) pieces. It follows that every 3-dimensional Coxeter orbifold has a decomposition into pieces which have hyperbolic, Euclidean, or the geometry of . (We leave out the case of spherical Coxeter orbifolds.) A version of Singer’s conjecture in dimension 3 follows: That the reduced ℓ ²-homology of Σ _L vanishes.      

On the divisor function of sets with even partition functions

Summary For P∈ F₂[z] with P(0)=1 and deg(P)≧ 1, let A =A(P) be the unique subset of N (cf. [9]) such that Σ_n≧0 p(A,n)zⁿ ≡ P(z) mod 2, where p(A,n) is the number of partitions of n with parts in A. To determine the elements of the set A, it is important to consider the sequence σ(A,n) = Σ _{d|n, d∈A} d, namely, the periodicity of the sequences (σ(A,2^kn) mod 2^k+1)_n≧1 for all k ≧ 0 which was proved in [3]. In this paper, the values of such sequences will be given in terms of orbits. Moreover, a formula to σ(A,2^kn) mod 2^k+1 will be established, from which it will be shown that the weight σ(A₁,2^kz_i) mod 2^k+1 on the orbit <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>z_i$ is moved on some other orbit z_j when A₁ is replaced by A₂ with A₁= A(P₁) and A₂= A(P₂) P₁ and P₂ being irreducible in F₂[z] of the same odd order.     

Smooth and path connected Banach submanifold Σ r of B(E,F) and a dimension formula in B(ℝ n ,ℝ m )

Given two Banach spaces E,F, let B(E,F) be the set of all bounded linear operators from E into F, Σ _r the set of all operators of finite rank r in B(E,F), and Σ _r ^# the number of path connected components of Σ _r . It is known that Σ _r is a smooth Banach submanifold in B(E,F) with given expression of its tangent space at each A ∈ Σ _r . In this paper,the equality Σ _r ^# = 1 is proved. Consequently, the following theorem is obtained: for any nonnegative integer r, Σ _r is a smooth and path connected Banach submanifold in B(E,F) with the tangent space T _A Σ _r = {B ∈ B(E,F): BN(A) ⊂ R(A)} at each A ∈ Σ _r if dim F = ∞. Note that the routine method can hardly be applied here. So in addition to the nice topological and geometric property of Σ _r the method presented in this paper is also interesting. As an application of this result, it is proved that if E = ℝ ⁿ and F = ℝ ^m , then Σ _r is a smooth and path connected submanifold of B(ℝ ⁿ , ℝ ^m ) and its dimension is dimΣ _r = (m+n)r−r ² for each r, 0 <- r < min {n,m}. Supported by the National Science Foundation of China (Grant No.10671049 and 10771101).     

Isoperimetric inequalities on minimal submanifolds of space forms

For a domainU on a certaink-dimensional minimal submanifold ofS ⁿ orH ⁿ, we introduce a “modified volume”M(U) ofU and obtain an optimal isoperimetric inequality forU k ^k ω _k M (D) ^k-1 ≤Vol(∂D) ^k , where ω _k is the volume of the unit ball ofR ^k . Also, we prove that ifD is any domain on a minimal surface inS ₊ ⁿ (orH ⁿ, respectively), thenD satisfies an isoperimetric inequality2π A≤L ²+A² (2π A≤L²−A² respectively). Moreover, we show that ifU is ak-dimensional minimal submanifold ofH ⁿ, then(k−1) Vol(U)≤Vol(∂U). Supported in part by KME and GARC     

On the general additive divisor problem

We obtain a new upper bound for the sum Σ _h≤H Δ _k (N, h) when 1 ≤ H ≤ N, k ∈ ℕ, k ≥ 3, where Δ _k (N, h) is the (expected) error term in the asymptotic formula for Σ _N<n≤2N d _k (n)d _k (n + h), and d _k (n) is the divisor function generated by ζ(s) ^k . When k = 3, the result improves, for H ≥ N ^1/2, the bound given in a recent work of Baier, Browning, Marasingha and Zhao, who dealt with the case k = 3.     

The relation of Banach-Alaoglu theorem and Banach-Bourbaki-Kakutani-Šmulian theorem in complete random normed modules to stratification structure

Let (Ω,A,μ) be a probability space, K the scalar field R of real numbers or C of complex numbers,and (S,X) a random normed space over K with base (ω,A,μ). Denote the support of (S,X) by E, namely E is the essential supremum of the set {A ∈ A: there exists an element p in S such that X _p (ω) > 0 for almost all ω in A}. In this paper, Banach-Alaoglu theorem in a random normed space is first established as follows: The random closed unit ball S ^*(1) = {f ∈ S ^*: X ^* _f ⩽ 1} of the random conjugate space (S ^*,X ^*) of (S,X) is compact under the random weak star topology on (S ^*,X ^*) iff E∩A=: {E∩A | A ∈ A} is essentially purely μ-atomic (namely, there exists a disjoint family {A _n : n ∈ N} of at most countably many μ-atoms from E ∩ A such that E = ∪ _n=1^∞ A _n and for each element F in E ∩ A, there is an H in the σ-algebra generated by {A _n : n ∈ N} satisfying μ(FΔH) = 0), whose proof forces us to provide a key topological skill, and thus is much more involved than the corresponding classical case. Further, Banach-Bourbaki-Kakutani-Šmulian (briefly, BBKS) theorem in a complete random normed module is established as follows: If (S,X) is a complete random normed module, then the random closed unit ball S(1) = {p ∈ S: X _p ⩽ 1} of (S,X) is compact under the random weak topology on (S,X) iff both (S,X) is random reflexive and E ∩ A is essentially purely μ-atomic. Our recent work shows that the famous classical James theorem still holds for an arbitrary complete random normed module, namely a complete random normed module is random reflexive iff the random norm of an arbitrary almost surely bounded random linear functional on it is attainable on its random closed unit ball, but this paper shows that the classical Banach-Alaoglu theorem and BBKS theorem do not hold universally for complete random normed modules unless they possess extremely simple stratification structure, namely their supports are essentially purely μ-atomic. Combining the James theorem and BBKS theorem in complete random normed modules leads directly to an interesting phenomenum: there exist many famous classical propositions that are mutually equivalent in the case of Banach spaces, some of which remain to be mutually equivalent in the context of arbitrary complete random normed modules, whereas the other of which are no longer equivalent to another in the context of arbitrary complete random normed modules unless the random normed modules in question possess extremely simple stratification structure. Such a phenomenum is, for the first time, discovered in the course of the development of random metric theory.