再论Pedoe不等式的高维推广及应用

本文对欧氏空间E~n中的两个n维单形,给出了著名的Pedoe不等式的一个实质性推广,并讨论了它的应用.     

Smooth diameter and eigenvalue rigidity in positive Ricci curvature

A recent injectivity radius estimate and previous sphere theorems yield the following smooth diameter sphere theorem for manifolds of positive Ricci curvature: For any given and there exists a positive constant 0$">such that any -dimensional complete Riemannian manifold with Ricci curvature , sectional curvature and diameter is Lipschitz close and diffeomorphic to the standard unit -sphere. A similar statement holds when the diameter is replaced by the first eigenvalue of the Laplacian.

     

Consistency,stability and convergence of the finite-difference equations for flow about a rotating sphere in an axial stream

The finite-difference equations which have previously been developed to solve the problem of laminar boundary layer flow about a rotating sphere in an axial stream are analysed according to the available numerical stability theories. This analysis is necessary to determine the restrictions on velocities and mesh sizes required to obtain a convergent numerical solution. Convergence can be achieved if both consistency and stability of the finite-difference equations are fulfilled. The analysis reported in the present paper shows that the developed finite-difference equations are consistent with their original partial differential equations. Also, the analysis proves that the developed finite-difference procedure is numerically stable for all mesh sizes as long as the downstream meridional velocity is non-negative, i.e.as long as no flow reversals occur within the domain of solution.     

Weighted Fourier–Laplace transforms in reproducing kernel Hilbert spaces on the sphere

We study the action of a weighted Fourier–Laplace transform on the functions in the reproducing kernel Hilbert space (RKHS) associated with a positive definite kernel on the sphere. After defining a notion of smoothness implied by the transform, we show that smoothness of the kernel implies the same smoothness for the generating elements (spherical harmonics) in the Mercer expansion of the kernel. We prove a reproducing property for the weighted Fourier–Laplace transform of the functions in the RKHS and embed the RKHS into spaces of smooth functions. Some relevant properties of the embedding are considered, including compactness and boundedness. The approach taken in the paper includes two important notions of differentiability characterized by weighted Fourier–Laplace transforms: fractional derivatives and Laplace–Beltrami derivatives.     

Quadrangulations of sphere and ball quotients

We give a classification of sphere quadrangulations satisfying a condition of non‐negative curvature, following Thurston's classification of sphere triangulations under the same condition. The generic family of quadrangulations is parametrized by the points of positive square‐norm of an integral Gaußian lattice in the six‐dimensional complex Lorentz space. There is a subgroup of automorphisms of acting on this lattice whose orbits parametrize sphere quadrangulations in a one‐to‐one manner. This group acts discretely on the corresponding five‐dimensional complex hyperbolic space; is of finite co‐volume; its ball quotient is the moduli space of unordered 8 points on the Riemann sphere, and also appears in Picard‐Terada‐Deligne‐Mostow list. Both Thurston's lattice and our lattice may be thought of as parametrizations of certain families of subgroups of the modular group; equivalently, of certain families of dessins. These families also parametrize points of a moduli space.     

Optimal lower bounds for cubature error on the sphere

We show that the worst-case cubature error E(Q_m;H^s) of an m-point cubature rule Q_m for functions in the unit ball of the Sobolev space H^s=H^s(S²),s>1, has the lower bound , where the constant c_s is independent of Q_m and m. This lower bound result is optimal, since we have established in previous work that there exist sequences of cubature rules for which with a constant independent of n. The method of proof is constructive: given the cubature rule Q_m, we construct explicitly a ‘bad’ function f_mH^s, which is a function for which Q_mf_m=0 and . The construction uses results about packings of spherical caps on the sphere.     

Manifolds with minimal radial curvature bounded from below and big volume

We prove that a convergence in the Gromov-Hausdorff distance of manifolds with minimal radial curvature bounded from below by 1 to the standard sphere is equivalent to a volume convergence.