A sharp form of Poincaré type inequalities on balls and spheres

Summary Letu be a real valued function on ann-dimensional Riemannian manifoldM ⁿ. We consider an inequality between theL ^q-norm ofu minus its mean value overM ⁿ and theL ^p-norm of the gradient ofu.The best constant in such inequality is exhibited in the following cases: i)M ⁿ is an open ball inIR ⁿ andp=1, 0<qn/(n–1); ii)M ⁿ is a sphere inIR ⁿ +1 and eitherp=1, 0<qn/(n–1) orp>n,q=.

---

Sunto Siau una funzione a valori reali dafinita su una varietà riemannianan-dimensionaleM ⁿ. Si considera una disuguaglianza tra la normaL ^q diu meno il suo valor medio suM ⁿ e la normaL ^p del gradiente diu.Si determina la costante ottimale in tale disuguaglianza nei seguenti casi: i)M ⁿ è un disco aperto inIR ⁿ ep=1, 0<qn/(n–1); ii)M ⁿ è una sfera inIR ⁿ +1 ep=1, 0<qn/(n–1) oppurep>n,q=.

     

Weakly Associated Prime Filtration

Let R be a (not necessarily Noetherian) commutative ring and let M be a (not necessarily finitely generated) R-module. We characterize the modules with only finitely many weakly associated primes as those modules M admitting a chain 0 = M ₀ M ₁ ... M _n = M of submodules together with prime ideals p₁, p₂,...,p _n such that the set of weakly associated primes of M _i /M _i-1 is equal to {p _i } for all 1 i n. Let M = gr_a(M) = _n0a ⁿ M/a ⁿ⁺¹ M be the corresponding graded module over the graded ring R = gr_a(R) = _n0a ⁿ /a ⁿ⁺¹. It is shown that the union of the set of weakly associated primes of.....     

Surjectivité de l'application restriction à un compact dans des classes de fonctions ultradifférentiables

Résumé Etant donnée {M _p } _p0 une suite de réels strictement positifs, on considère la classe de CarlemanC{p!M _p } (resp. BeurlingB{p!M _p }) des fonctionsf indéfiniment dérivables sur ⁿ . SoitE un sous ensemble compact de ⁿ ; on peut associer à la classeC{p!M _p } (resp.B{p!M _p }) la classe des jets de Whitney surE,C _E {p!M _p }, (resp.B _E {p!M _p }) et on a une application de restriction naturelle deC{p!M _p } dansC _E {p!M _p } (resp.B{p!M _p } dansB _E {p!M _p }).Dans ce travail, on donne des conditions sur deux suites {M _p } _p0 et {M _p } _p0 pour que l'on ait les inclusions suivantes ou Ceci est, en quelque sorte, une généralisation du problème de prolongement de Whitney.

---

     

Rigidity theorem for harmonic maps from Riemannian manifold to Grassmannian manifold

We first study the Grassmannian manifoldG _n (R^n+p)as a submanifold in Euclidean space ⁿ (R ^n+p). Then we give a local expression for each map from Riemannian manifoldM toG ⁿ (R ^n+p) ⁿ (R ^n+p), and use the local expression to establish a formula which is satisfied by any harmonic map fromM toG _n (R ^n+p). As a consequence of this formula we get a rigidity theorem.     

On the Equivalence of Spectra of Linear Partial Differential Operators in Certain Function Spaces

For linear differential operators with coefficients of class C on ⁿ, we prove theorems on the simultaneous invertibility and equivalence of spectra in the Lebesgue space L ^p, Stepanov space M ^p, and in a particular Banach space V ^p L ^p, p 1     

Osserman Conjecture in dimension <Emphasis Type="Italic">n</Emphasis> ≠ 8, 16

Let Mⁿ be a Riemannian manifold and R its curvature tensor. For a point p Mⁿ and a unit vector X T_pMⁿ, the Jacobi operator is defined by R_X=R(X,·)X. The manifold Mⁿ is called pointwise Osserman if, for every p Mⁿ, the spectrum of the Jacobi operator does not depend of the choice of X, and is called globally Osserman if it depends neither of X, nor of p. Osserman conjectured that globally Osserman manifolds are two-point homogeneous. We prove the Osserman Conjecture for n8, 16, and its pointwise version for n2, 4, 8, 16. Partial result in the case n=16 is also given.Mathematics Subject Classification (2000): 53B20Work supported by MRDGS internal grant and by ARC grant S6005288.     

Incidence Structures of Type (p, n)

Every incidence structure (understood as a triple of sets (G, M, I), I G×M) admits for every positive integer p an incidence structure where G ^p (M ^p) consists of all independent p-element subsets in G (M) and I ^p is determined by some bijections. In the paper such incidence structures are investigated the 's of which have their incidence graphs of the simple join form. Some concrete illustrations are included with small sets G and M.     

Rigidity of compact minimal submanifolds in a unit sphere

LetM be ann-dimensional compact minimal submanifold of a unit sphereS ^n+p (p2); and letS be a square of the length of the second fundamental form. IfS2/3n everywhere onM, thenM must be totally geodesic or a Veronese surface.     

Mapping Properties of the Laplacian in Sobolev Spaces of Forms on Complete Hyperbolic Manifolds

For a complete manifold M with constant negative curvature, weprove that the rough Laplacian _R defines topological isomorphisms in the scale of Sobolev spaces H _p ^s (M) ofp-forms for all p, 0 < p< n. For the de Rham Laplacian and M= ⁿ , the Poincaréhyperbolic space, this is shown too for 0 pn,pn/2, p (n± 1)/2.     

A solution of Hadwiger's covering problem for zonoids

For a convex body M ⁿ byb(M) the least integerp is denoted, such that there are bodiesM ₁, ...,M _p each of which is homothetic toM with a positive ratiok<1 andM ₁...M _p M. H. Martini has proved [7] thatb(M)<-3·2 ^n–2 for every zonotope M ⁿ , which is not a parallelotope.In the paper this Martini's result is extended to zonoids. In the proof some notions and facts of real functions theory are used (points of density, approximative continuity).     

Optimal Sobolev estimates for ¯∂ on convex domains of finite type

We prove that solutions for ¯ get 1/M-derivatives more than the data in L^p-Sobolev spaces on a bounded convex domain of finite type M by means of the integral kernel method. Also we prove that the Bergman projection is invariant under the L^p-Sobolev spaces of fractional orders by different methods from McNeal-Stein's. By using these results, we can get L^p-Sobolev estimates of order 1/M for the canonical solution for ¯. The author was supported by grant No. R01-2000-000-00001-0 from the Basic Research Program of the Korea Science&Engineering Foundation.     

A problem of Kreck on Poincaré manifolds

An 1-connected closed manifold M is called a Poincaré manifold if any other 1-connected closed manifold with the same homology as that of M is homeomorphic to M. In the metastable range 3pq<2p–3 we answer the question raised by Kreck : for which p and q is the product of two spheres S ^p ×S ^q a Poincaré manifold ?. The second named author is partially supported by the 973 program of China.     

A Note on Common Zeroes of Laplace–Beltrami Eigenfunctions

Let u+u=v+v= 0, where isthe Laplace–Beltrami operator on a compact connected smoothmanifold M and > 0. If H ¹(M) = 0then there exists pM such that u(p)=v(p) = 0 For homogeneous M,H ¹(M) 0 implies the existence of a pair u,v as above that has no common zero.     

Lower bounds for the merit factors of trigonometric polynomials from Littlewood classes

With the notation ,

we prove the following result.Theorem 1. Assume that p is a trigonometric polynomial of degree at most n with real coefficients that satisfies

||p||_L2(K)An^1/2 and ||p′||_L2(K)Bn^3/2.

Then

M₄(p)−M₂(p)M₂(p)

with

We also prove that

and

M₂(p)−M₁(p)10⁻³¹M₂(p)

for every , where denotes the collection of all trigonometric polynomials of the form

     

Extended iterative methods for the solution of operator equations

Summary Given an iterative methodM ₀, characterized byx ^(k+1=G ₀(x( ^k )) (k0) (x(⁰) prescribed) for the solution of the operator equationF(x)=0, whereF:XX is a given operator andX is a Banach space, it is shown how to obtain a family of methodsM _p characterized byx ^(k+1=G _p (x( ^k )) (k0) (x(⁰) prescribed) with order of convergence higher than that ofM _o. The infinite dimensional multipoint methods of Bosarge and Falb [2] are a special case, in whichM ₀ is Newton's method.Analogues of Theorems 2.3 and 2.36 of [2] are proved for the methodsM _p, which are referred to as extensions ofM ₀. A number of methods with order of convergence greater than two are discussed and existence-convergence theorems for some of them are proved.Finally some computational results are presented which illustrate the behaviour of the methods and their extensions when used to solve systems of nonlinear algebraic equations, and some applications currently being investigated are mentioned.     

Summability Kernels for <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Multipliers

In this article we study the problem of extending Fourier Multipliers on L ^p (T) to those on L ^p (R) by taking convolution with a kernel, called a summability kernel. We characterize the space of such kernels for the cases p = 1 and p = 2. For other values of p we give a necessary condition for a function to be a summability kernel. For the case p = 1, we present properties of measures which are transferred from M(T) to M(R) by summability kernels. Furthermore it is shown that every l _p sequence can be extended to some L ^q (R) multipliers for certain values of p and q.     

Note on function spaces with the topology of pointwise convergence

The note contains two examples of function spaces C _p (X) endowed with the pointwise topology. The first example is C _p (M), M being a planar continuum, such that C _p (M) ^m is uniformly homeomorphic to C _p (M) ⁿ if and only if m = n. This strengthens earlier results concerning linear homeomorphisms. The second example is a non-Lindelöf function space C _p (X), where X is a monolithic perfectly normal compact space all linearly orderable closed subspaces of which are metrizable. This example is obtained under the additional set-theoretical axiom . This solves a problem of Arhangelskiĭ.     

Finite jet determination of local analytic CR automorphisms and their parametrization by 2-jets in the finite type case

We show that germs of local real-analytic CR automorphisms of a real-analytic hypersurface M in $\mathbb{C}$² at a point p M are uniquelydetermined by their jets of some finite order at p if and only if M is not Levi-flat near p. This seems to be the first necessary and sufficient result on finite jet determination and the first result of this kind in the infinite type case.If M is of finite type at p, we prove a stronger assertion: the local real-analytic CR automorphisms of M fixing p are analytically parametrized (and hence uniquely determined) by their 2-jets at p. This result is optimal since the automorphisms of the unit sphere are not determined by their 1-jets at a point of the sphere. The finite type condition is necessary since otherwise the needed jet order can be arbitrarily high [Kow1,2], [Z2]. Moreover, we show, by an example, that determination by 2-jets fails for finite type hypersurfaces already in $\mathbb{C)$³.We also give an application to the dynamics of germs of local biholomorphisms of $\mathbb{C)$².     

Extensions for Sobolev mappings between manifolds

We consider two compact Riemannian manifoldsM andN, such thatM has a boundary (but notN). We address the extension problem in the Sobolev class, namely, we investigate the question: foru W ^1–1/p,pM,N is there a mapV inW ^1/p(M,N) such thatV=u on M. Various results are given, and an emphasis is put on the special (simple) caseN=S ¹.     

On weakly p-harmonic maps to a closed hemisphere

We consider weakly p-harmonic maps (p2) from a compact connected Riemannian manifold M^m(m2) to the the standard sphere Sⁿ with values in the closed hemisphere Sⁿ₊ = {x Sⁿ : x_n+1 0 } (n 2). We first prove that if u=(u₁,...,u_n+1):MSⁿ is a weakly p-harmonic map satisfying u_n+1(x)>0 a.e. on M, then it is a minimizing p-harmonic map. Next, we give a necessary and sufficient condition for the boundary data : M Sⁿ₊ to achieve uniqueness; and when this condition fails, we are able to describe the set of all minimizers. When M is without boundary, we obtain a Liouville type Theorem for weakly p-harmonic maps.Mathematics Subject Classification (2000): 58E20; 35J70