Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

Pappus type theorems for hypersurfaces in a space form

In order to get further insight on the Weyl’s formula for the volume of a tubular hypersurface, we consider the following situation. Letc(t) be a curve in a space formM _λ ⁿ of sectional curvature λ. LetP ₀ be a totally geodesic hypersurface ofM _λ ⁿ throughc(0) and orthogonal toc(t). LetC ₀ be a hypersurface ofP ₀. LetC be the hypersurface ofM _λ ⁿ obtained by a motion ofC ₀ alongc(t). We shall denote it byC ^PorC ^Fif it is obtained by a parallel or Frenet motion, respectively. We get a formula for volume(C). Among other consequences of this formula we get that, ifc(0) is the centre of mass ofC ₀, then volume(C) ≥ volume(C),^P),and the equality holds whenC ₀ is contained in a geodesic sphere or the motion corresponds to a curve contained in a hyperplane of the Lie algebraO(n−1) (whenn=3, the only motion with these properties is the parallel motion). Work partially supported by a DGES Grant No. PB97-1425 and a AGIGV Grant No. GR0052.     

Kähler hyperbolicity and the Euler number of a compact manifold with geodesic flow of Anosov type

 Let M be a 2m-dimensional compact Riemannian manifold with Anosov geodesic flow. We prove that every closed bounded k form, k≥2, on the universal covering of M is d(bounded). Further, if M is homotopy equivalent to a compact K?hler manifold, then its Euler number χ(M) satisfies (−1) ^m χ(M)>0. Received: 25 September 2001 / Published Online: 16 October 2002     

Sets of rigged paths with Virasoro characters

Let {M _r,s ^(p,p′)}_{1≤r≤p−1,1≤s≤p′−1} be the irreducible Virasoro modules in the (p,p′)-minimal series. In our previous paper, we have constructed a monomial basis of ⊕ _r=1 ^p−1 M _r,s ^(p,p′) in the case 1<p′/p<2. By ‘monomials’ we mean vectors of the form , where φ _−n ^(r′,r):M _r,s ^(p,p′)→M _r′,s ^(p,p′) are the Fourier components of the (2,1)-primary field and |r ₀,s〉 is the highest weight vector of . In this article, we introduce for all p<p′ with p≥3 and s=1 a subset of such monomials as a conjectural basis of ⊕ _r=1 ^p−1 M _r,1^(p,p′). We prove that the character of the combinatorial set labeling these monomials coincides with the character of the corresponding Virasoro module. We also verify the conjecture in the case p=3.      

On critical Fujita exponents for heat equations with nonlinear flux conditions on the boundary

We consider nonnegative solutions of initial-boundary value problems for parabolic equationsu _t=u_xx, u_t=(u^m)_xxand (m>1) forx>0,t>0 with nonlinear boundary conditions−u _x=u^p,−(u ^m)_x=u^pand forx=0,t>0, wherep>0. The initial function is assumed to be bounded, smooth and to have, in the latter two cases, compact support. We prove that for each problem there exist positive critical valuesp ₀,p_c(withp ₀<p_c)such that forp∃(0,p ₀],all solutions are global while forp∃(p₀,p_c] any solutionu≢0 blows up in a finite time and forp>p _csmall data solutions exist globally in time while large data solutions are nonglobal. We havep _c=2,p _c=m+1 andp _c=2m for each problem, whilep ₀=1,p ₀=1/2(m+1) andp ₀=2m/(m+1) respectively. This work was done during visits of the first author to Iowa State University and the Institute for Mathematics and its Applications at the University of Minnesota. The second author was supported in part by NSF Grant DMS-9102210.     

On semigroups generated by restrictions of elliptic operators to invariant subspaces

Let A be the closed unbounded operator inL _p(G) that is associated with an elliptic boundary value problem for a bounded domainG. We prove the existence of a spectral projectionE determined by the set Γ = {λ;θ ₁≦argλ≦θ ₂} and show thatAE is the infinitesimal generator of an analytic semigroup provided that the following conditions hold: 1<p<∞; the boundary ϖΓ of Γ is contained in the resolvent setp(A) ofA;π/2≦θ<θ ₂≦3π/2 ; and there exists a constantc such that (I)││(λ-A)^-1││≦c/│λ│ for λ∈ϖΓ. The following consequence is obtained: Suppose that there exist constantsM andc such that λ∈p(A) and estimate (I) holds provided that |λ|≧M and Re λ=0. Then there exist bounded projectionE ⁻ andE ⁺ such thatA is completely reduced by the direct sum decompositionL _p(G)=E⁻L_p (G) ⊕E⁺L_p (G) and each of the operatorsAE ⁻ and—AE ⁺ is the infinitestimal generator of an analytic semigroup.     

Density of smooth maps in Wk, p(M, N) for a close to critical domain dimension

Assuming m − 1 < kp < m, we prove that the space C ^∞(M, N) of smooth mappings between compact Riemannian manifolds M, N (m = dim M) is dense in the Sobolev space W ^k,p (M, N) if and only if π _m−1(N) = {0}. If π _m−1(N) ≠ {0}, then every mapping in W ^k,p (M, N) can still be approximated by mappings M → N which are smooth except in finitely many points.     

On number system constructions

We investigate various number system constructions. After summarizing earlier results we prove that for a given lattice Λ and expansive matrix M: Λ → Λ if ρ(M ⁻¹) < 1/2 then there always exists a suitable digit set D for which (Λ, M, D) is a number system. Here ρ means the spectral radius of M ⁻¹. We shall prove further that if the polynomial f(x) = c ₀ + c ₁ x + ··· + c _k x ^k ∈ Z[x], c _k = 1 satisfies the condition |c ₀| > 2 Σ _i=1 ^k |c _i | then there is a suitable digit set D for which (Z ^k , M, D) is a number system, where M is the companion matrix of f(x). The research was supported by OTKA-T043657 and Bolyai Fellowship Committee.     

UNIFORM CONVERGENCE OF CESARO MEANS OF NEGATIVE ORDER OF DOUBLE TRIGONOMETRIC FOURIER SERIES

In this paper we prove that iff ∈ C([-π,π]2) and the function f is bounded partial p-variation for some p ∈ [1, ∞), then the double trigonometric Fourier series of a function f is uniformly (C;-α,-β) summable (α β＜ 1/p,α,β＞ 0) in the sense of Pringsheim. If α β≥ 1/p, then there exists a continuous function f0 of bounded partial double trigonometric Fourier series of fo diverge over cubes.     

Groups of typeF a,b,−c

For integersa, b andc, the groupF ^a,b,−c is defined to be the group 〈R, S : R ²=RS ^aRS^bRS^−c=1〉. In this paper we identify certain subgroups of the group of affine linear transformations of finite fields of orderp ⁿ (for certainp andn) as groups of typeF ^a,b,−c for certain (not unique) choices ofa, b andc.     

Pseudo-Riemannian manifolds modelled on symmetric spaces

We construct irreducible pseudo-Riemannian manifolds (M, g) of arbitrary signature (p, q) with the same curvature tensor as a pseudo-Riemannian symmetric space which is a direct product of a two-dimensional Riemannian space form M ₂(c) and a pseudo-Euclidean space with the signature (p, q − 2), or (p − 2, q), respectively.     

Weakly stable constant mean curvature hypersurfaces

Let M^n be an n-dimensional complete noncompact oriented weakly stable constant mean curvature hypersurface in an （n ＋ 1）-dimensional Riemannian manifold N^n＋1 whose （n - 1）th Ricci curvature satisfying Ric^N（n-1） （n - 1）c. Denote by H and φ the mean curvature and the trace-free second fundamental form of M respectively. If ｜φ｜^2 - （n- 2）√n（n- 1）｜H｜｜φ｜＋ n（2n - 1）（H^2＋ c） 〉 0, then M does not admit nonconstant bounded harmonic functions with finite Dirichlet integral. In particular, if N has bounded geometry and c ＋ H^2 〉 0, then M must have only one end.     

Weak Morrey spaces and strong solutions to the Navier-Stokes equations

We consider the Cauchy problem of Navier-Stokes equations in weak Morrey spaces. We first define a class of weak Morrey type spaces Mp*,λ(Rn) on the basis of Lorentz space Lp,∞ = Lp*(Rn)(in particular, Mp*,0(Rn) = Lp,∞, if p ＞ 1), and study some fundamental properties of them; Second,bounded linear operators on weak Morrey spaces, and establish the bilinear estimate in weak Morrey spaces. Finally, by means of Kato's method and the contraction mapping principle, we prove that the Cauchy problem of Navier-Stokes equations in weak Morrey spaces Mp*,λ(Rn) (1＜p≤n) is time-global well-posed, provided that the initial data are sufficiently small. Moreover, we also obtain the existence and uniqueness of the self-similar solution for Navier-Stokes equations in these spaces, because the weak Morrey space Mp*,n-p(Rn) can admit the singular initial data with a self-similar structure. Hence this paper generalizes Kato's results.     

Instability of a planar liquid layer in an alternating longitudinal magnetic field with non-zero mean

The conducting liquid interface is found to undulate in an alternating magnetic field. It was shown earlier that ifM =B ₀ ²/μηω, B₀, ω, μ andη being the amplitude (complex) of the alternating longitudinal magnetic field imposed at the interface, the angular frequency of the field, the magnetic permeability and the viscosity respectively, and ifM _c was the critical value ofM then the planar layer was stable or unstable according asM < M _c orM > M _c. In this paper we have determined the stability criterion when in addition to the alternating longitudinal field there acts a uniform field in the same direction. After comparing our results with those obtained earlier, in the absence of the uniform field, we find that the additional uniform field has a significant destabilizing effect.     

Boundedness Properties of Pseudo-Differential and Calderón-Zygmund Operators on Modulation Spaces

In this article, we study the boundedness of pseudo-differential operators with symbols in S _ρ,δ ^m on the modulation spaces M ^p,q . We discuss the order m for the boundedness Op(S _ρ,δ ^m )⊂ℒ(M ^p,q ) to be true. We also prove the existence of a Calderón-Zygmund operator which is not bounded on the modulation space M ^p,q with q≠2. This unboundedness is still true even if we assume a generalized T(1) condition. These results are induced by the unboundedness of pseudo-differential operators on M ^p,q whose symbols are of the class S _1,δ ⁰ with 0<δ<1.      

Comparing the relative volume with a revolution manifold as a model

Given a pair (P, M), whereM is ann-dimensional connected compact Riemannian manifold andP is a connected compact hypersurface ofM, the relative volume of (P, M) is the quotient volume(P)/volume(M). In this paper we give a comparison theorem for the relative volume of such a pair, with some bounds on the Ricci curvature ofM and the mean curvature ofP, with respect to that of a model pair where ℳ is a revolution manifold and a “parallel” of ℳ. Work partially supported by a DGICYT Grant No. PB91-0324.     

Estimating a general function of a quadratic function

Let be an observation from a spherically symmetric distribution with unknown location parameter . For a general non-negative function c, we consider the problem of estimating c(||x − θ||²) under the usual quadratic loss. For p ≥ 5, we give sufficient conditions for improving on the unbiased estimator γ₀ of c(||x − θ||²) by competing estimators γ _s = γ₀ + s correcting γ₀ with a suitable function s. The main condition relies on a partial differential inequality of the form k Δs + s ² ≤ 0 for a certain constant k ≠ 0. Our approach unifies, in particular, the two problems of quadratic loss estimation and confidence statement estimation and allows to derive new results for these two specific cases. Note that we formally establish our domination results (that is, with no recourse to simulation).      

Harmonic Functions,Entropy, and a Characterization of the Hyperbolic Space

Let (M ⁿ ,g) be a compact Riemannian manifold with Ric ≥−(n−1). It is well known that the bottom of spectrum λ ₀ of its universal covering satisfies λ ₀≤(n−1)²/4. We prove that equality holds iff M is hyperbolic. This follows from a sharp estimate for the Kaimanovich entropy. The author was partially supported by NSF Grant 0505645.     

Discretization of Compact Riemannian Manifolds Applied to the Spectrum of Laplacian

For κ ⩾ 0 and r₀ > 0 let ℳ(n, κ, r₀) be the set of all connected, compact n-dimensional Riemannian manifolds (Mⁿ, g) with Ricci (M, g) ⩾ −(n−1) κ g and Inj (M) ⩾ r₀. We study the relation between the kth eigenvalue λ_k(M) of the Laplacian associated to (Mⁿ,g), Δ = −div(grad), and the kth eigenvalue λ_k(X) of a combinatorial Laplacian associated to a discretization X of M. We show that there exist constants c, C > 0 (depending only on n, κ and r₀) such that for all M ∈ ℳ(n, κ, r₀) and X a discretization of for all k < |X|. Then, we obtain the same kind of result for two compact manifolds M and N ∈ ℳ(n, κ, r₀) such that the Gromov–Hausdorff distance between M and N is smaller than some η > 0. We show that there exist constants c, C > 0 depending on η, n, κ and r₀ such that for all . Mathematics Subject Classification (2000): 58J50, 53C20 Supported by Swiss National Science Foundation, grant No. 20-101 469     

A remark on polynomials and the transfinite diameter

The main result is the following theorem: LetE be the point set for which |Π _v=1 ⁿ (Z-Z _V)|<1. If the zerosz _ν (ν=1, …,n) belong to a bounded, closed and connected set whose transfinite diameter is 1−c (0<c<1), thenE contains a disk of positive radius ρ, dependent only onc.