On F-Sobolev and Orlicz-Sobolev inequalities

Let F ∈ C([0,∞)) be a positive increasing function such that Φ(s):= |s|F(|s|) is a Young function. In general, the F-Sobolev inequality and the Φ-Orlicz-Sobolev inequality are not equivalent. In this paper, a growth condition on F is presented for these two inequalities to be equivalent. The main result generalizes the corresponding known one for F(s) = log^δ(1 + s) (δ > 0). As an application, some criteria are presented for the F-Sobolev inequality to hold.     

Some extensions of the Kantorovich inequality and statistical applications

Kantorovich gave an upper bound to the product of two quadratic forms, (X′AX) (X′A⁻¹X), where X is an n-vector of unit length and A is a positive definite matrix. Bloomfield, Watson and Knott found the bound for the product of determinants |X′AX| |X′A⁻¹X| where X is n × k matrix such that X′X = I_k. In this paper we determine the bounds for the traces and determinants of matrices of the type X′AYY′A⁻¹X, X′B²X(X′BCX)⁻¹ X′C²X(X′BCX)⁻¹ where X and Y are n × k matrices such that X′X = Y′Y = I_k and A, B, C are given matrices satisfying some conditions. The results are applied to the least squares theory of estimation.     

Markov-type inequalities on certain irrational arcs and domains

Let denote the set of real algebraic polynomials of d variables and of total degree at most n. For a compact set KR^d set Then the Markov factors on K are defined by (Here, as usual, S^d-1 stands for the Euclidean unit sphere in R^d.) Furthermore, given a smooth curve ΓR^d, we denote by D_TP the tangential derivative of P along Γ (T is the unit tangent to Γ). Correspondingly, consider the tangential Markov factor of Γ given by Let . We prove that for every irrational number α>0 there are constants A,B>1 depending only on α such that for every sufficiently large n.Our second result presents some new bounds for M_n(Ω_α), where (d=2,α>1). We show that for every α>1 there exists a constant c>0 depending only on α such that M_n(Ω_α)n^clogn.     

Hardy Inequality and Heat Semigroup Estimates for Riemannian Manifolds with Singular Data

Upper bounds are obtained for the heat content of an open set D in a geodesically complete Riemannian manifold M with Dirichlet boundary condition on ?D, and non-negative initial condition. We show that these upper bounds are close to being sharp if (i) the Dirichlet-Laplace-Beltrami operator acting in L ²(D) satisfies a strong Hardy inequality with weight δ², (ii) the initial temperature distribution, and the specific heat of D are given by δ^?α and δ^?β respectively, where δ is the distance to ?D, and 1 < α <2, 1 < β <2.     

Generalized Transportation-Cost Inequalities and Applications

For μ: = e ^V(x)dx a probability measure on a complete connected Riemannian manifold, we establish a correspondence between the Entropy-Information inequality and the transportation-cost inequality for μ(f ²) = 1, where Φ and Ψ are increasing functions. Moreover, under the curvature–dimension condition, a Sobolev type HWI (entropy-cost-information) inequality is established. As applications, explicit estimates are obtained for the Sobolev constant and the diameter of a compact manifold, which either extend or improve some corresponding known results. Supported in part by NNSFC(10721091) and the 973-project in China.     

The Nicolas and Robin inequalities with sums of two squares

In 1984, G. Robin proved that the Riemann hypothesis is true if and only if the Robin inequality σ(n) < e ^γ n log log n holds for every integer n > 5040, where σ(n) is the sum of divisors function, and γ is the Euler–Mascheroni constant. We exhibit a broad class of subsets of the natural numbers such that the Robin inequality holds for all but finitely many . As a special case, we determine the finitely many numbers of the form n = a ² + b ² that do not satisfy the Robin inequality. In fact, we prove our assertions with the Nicolas inequality n/φ(n) < e ^γ log log n; since σ(n)/n < n/φ(n) for n > 1 our results for the Robin inequality follow at once.      

Functional inequalities on arbitrary Riemannian manifolds

For any connected (not necessarily complete) Riemannian manifold, we construct a probability measure of type , where dx is the Riemannian volume measure and V is a function C^∞-smooth outside a closed set of zero volume, satisfying Poincaré–Sobolev type functional inequalities. In particular, V is C^∞-smooth on the whole manifold when the Poincaré and the super-Poincaré inequalities are considered. The Sobolev inequality for infinite measures are also studied.     

Hardy and Rellich-Type Inequalities for Metrics Defined by Vector Fields

Let {X _i }, i=1,...,m be a system of locally Lipschitz vector fields on DR ⁿ , such that the corresponding intrinsic metric is well-defined and continuous w.r.t. the Euclidean topology. Suppose that the Lebesgue measure is doubling w.r.t. the intrinsic balls, that a scaled L¹ Poincaré inequality holds for the vector fields at hand (thus including the case of Hörmander vector fields) and that the local homogeneous dimension near a point x ₀ is sufficiently large. Then weighted Sobolev–Poincaré inequalities with weights given by power of (,x ₀) hold; as particular cases, they yield non-local analogues of both Hardy and Sobolev–Okikiolu inequalities. A general argument which shows how to deduce Rellich-type inequalities from Hardy inequalities is then given: this yields new Rellich inequalities on manifolds and even in the uniformly elliptic case. Finally, applications of Sobolev–Okikiolu inequalities to heat kernel estimates for degenerate subelliptic operators and to criteria for the absence of bound states for Schrödinger operators H=–L+V are given.     

Wolff's Inequality for Radially Nonincreasing Kernels and Applications to Trace Inequalities

We extend Th. Wolff's inequality to a general class of radially decreasing convolution kernels. As an application we obtain characterizations of nonnegative Borel measures on R ⁿ such that the trace inequality holds for every f in L ^p (dx).     

Kolmogorov Width of Classes of Smooth Functions on the Sphere

Let ^d−1{(x₁,…,x_d) ^d:x²₁+···+x²_d=1} be the unit sphere of the d-dimensional Euclidean space ^d. For r>0, we denote by B^r_p (1p∞) the class of functions f on ^d−1 representable in the formwhere dσ(y) denotes the usual Lebesgue measure on ^d−1, and P^λ_k(t) is the ultraspherical polynomial.For 1p,q∞, the Kolmogorov N-width of B^r_p in L^q( ^d−1) is given bythe left-most infimum being taken over all N-dimensional subspaces X_N of L^q( ^d−1).The main result in this paper is that for r2(d−1)²,where A_NB_N means that there exists a positive constant C, independent of N, such that C⁻¹A_NB_NCA_N.This extends the well-known Kashin theorem on the asymptotic order of the Kolmogorov widths of the Sobolev class of the periodic functions.     

BMO spaces associated to generalized parabolic sections

Parabolic sections were introduced by Huang[1] to study the parabolic MongeAmpère equation.In this note,we introduce the generalized parabolic sections P and define BMOPq spaces related to these sections.We then establish the John-Nirenberg type inequality and verify that all BMOqP are equivalent for q ≥ 1.     

General Hardy’s inequalities for functions nonzero on the boundary

Consider Hardy’s inequalities with general weight ϕ for functions nonzero on the boundary. By an integral identity in C ¹( ), define Hilbert spaces H _k ¹ (Ω, ϕ) called Sobolev-Hardy spaces with weight ϕ. As a corollary of this identity, Hardy’s inequalities with weight ϕ in C ¹ ( ) follow. At last, by Hardy’s inequalities with weight ϕ = 1, discuss the eigenvalue problem of the Laplace-Hardy operator with critical parameter (N − 2)²/4 in H ¹ ₁ (Ω).      

A Nonsymmetric Correlation Inequality for Gaussian Measure

Letμbe a Gaussian measure (say, onRⁿ) and letK,LRⁿbe such thatKis convex,Lis a “layer” (i.e.,L={x: ax, ub} for somea, bRanduRⁿ), and the centers of mass (with respect toμ) ofKandLcoincide. Thenμ(K∩L)μ(K)·μ(L). This is motivated by the well-known “positive correlation conjecture” for symmetric sets and a related inequality of Sidak concerning confidence regions for means of multivariate normal distributions. The proof uses the estimateΦ(x)> 1−((8/π)^1/2/(3x+(x²+8)^1/2))e^−x2/2,x>−1, for the (standard) Gaussian cumulative distribution function, which is sharper than the classical inequality of Komatsu.     

A blowing-up branch of solutions for a mean field equation

We consider the equation

Functional Inequalities for the Decay of Sub-Markov Semigroups

A general functional inequality is introduced to describe various decays of semigroups. Our main result generalizes the classical one on the equivalence of the L ²-exponential decay of a sub-Markov semigroup and the Poincaré inequality for the associated Dirichlet form. Conditions for the general inequality to hold are presented. The corresponding isoperimetric inequality is studied in the context of diffusion and jump processes. In particular, Cheeger's inequality for the principal eigenvalue is generalized. Moreover, our results are illustrated by examples of diffusion and jump processes.     

Cubic Diophantine Inequalities

Let λ₁, λ₂,..., λ₇ be real numbers satisfying λ _i ≥ 1. In this paper, we prove there are integers x ₁,..., x ₇ such that the inequalities |λ₁ x ³ ₁ + λ₂ x ³ ₂ + ⋯ + λ₇ x ³ ₇| < 1 and hold simultaneously. Received November 18, 1997, Accepted October 23, 1998     

On Kirchberg's Inequality for Compact Kähler Manifolds of Even Complex Dimension

In 1986 Kirchberg showed that each eigenvalue of the Dirac operator on a compact Kähler manifold of even complex dimension satisfies the inequality , where by S we denote the scalar curvature. It is conjectured that the manifolds for the limiting case of this inequality are products T ²×N, where T ² is a flat torus and N is the twistor space of a quaternionic Kähler manifold of positive scalar curvature. In 1990 Lichnerowicz announced an affirmative answer for this conjecture (cf. [11]), but his proof seems to work only when assuming that the Ricci tensor is parallel. The aim of this note is to prove several results about manifolds satisfying the limiting case of Kirchberg's inequality and to prove the above conjecture in some particular cases.     

Some basic inequalities in higher dimensional non-Euclid space

In this paper, the concept of a finite mass-points system∑N(H(A))(N>n) being in a sphere in an n-dimensional hyperbolic space Hn and a finite mass-points system∑N(S(A))(N>n) being in a hyperplane in an n-dimensional spherical space Sn is introduced, then, the rank of the Cayley-Menger matrix AN(H)(or a AN(S)) of the finite mass-points system∑∑N(S(A))(or∑N(S(A))) in an n-dimensional hyperbolic space Hn (or spherical space Sn) is no more than n 2 when∑N(H(A))(N>n) (or∑N(S(A))(N>n)) are in a sphere (or hyperplane). On the one hand, the Yang-Zhang's inequalities, the Neuberg-Pedoe's inequalities and the inequality of the metric addition in an n-dimensional hyperbolic space Hn and in an n-dimensional spherical space Sn are established by the method of characteristic roots. These are basic inequalities in hyperbolic geometry and spherical geometry. On the other hand, some relative problems and conjectures are brought.     

On the first eigenvalue of the linearized operator of ther-th mean curvature of a hypersurface

We generalize Reilly's inequality for the first eigenvalue of immersed submanifolds ofIR ^m +¹ and the total (squared) mean curvature, to hypersurfaces ofIR ^m +¹ and the first eigenvalue of the higher order curvatures. We apply this to stability problems. We also consider hypersurfaces in hyperbolic space.     

Restriction of Stable Rank Two Vector Bundles in Arbitrary Characteristic

Let X be a smooth variety defined over an algebraically closed field of arbitrary characteristic and 𝒪 _X (H) be a very ample line bundle on X. We show that for a semistable X-bundle E of rank two, there exists an integer m depending only on Δ(E) · H ^dim(X)?2 and H ^dim(X) such that the restriction of E to a general divisor in |mH| is again semistable. As corollaries, we obtain boundedness results, and weak versions of Bogomolov's Theorem and Kodaira's vanishing theorem for surfaces in arbitrary characteristic.