共查询到20条相似文献,搜索用时 46 毫秒
1.
Horst Alzer 《Proceedings of the American Mathematical Society》2000,128(1):141-147
We prove the following two theorems:
(i) Let be the th power mean of and . The inequality
holds for all if and only if , where denotes Euler's constant. This refines results established by W. Gautschi (1974) and the author (1997).
(ii) The inequalities
are valid for all if and only if and , while holds for all if and only if and . These bounds for improve those given by G. D. Anderson an S.-L. Qiu (1997).
2.
Paola Cellini 《Proceedings of the American Mathematical Society》2000,128(6):1633-1639
Let be a Coxeter system with set of reflections . It is known that if is a total reflection order for , then, for each , and its complement are stable under conjugation by . Moreover the upper and lower -conjugates of are still total reflection orders. For any total order on , say that is stable if is stable under conjugation by for each . We prove that if and all orders obtained from by successive lower or upper -conjugations are stable, then is a total reflection order.
3.
Y. Bahturin A. Giambruno M. Zaicev 《Proceedings of the American Mathematical Society》1999,127(1):63-69
Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.
4.
Jin-Hong Kim 《Proceedings of the American Mathematical Society》2000,128(3):865-871
In this article we show that when the structure group of the reducible principal bundle is and is an -subbundle of , the rank of the holonomy group of a connection which is gauge equivalent to its conjugate connection is less than or equal to , and use the estimate to show that for all odd prime , if the holonomy group of the irreducible connection as above is simple and is not isomorphic to , , or , then it is isomorphic to .
5.
Myoungho Moon 《Proceedings of the American Mathematical Society》2000,128(7):1885-1892
Let be either a free product with amalgamation or an HNN group where is isomorphic to a free abelian group of finite rank. Suppose that both and have no nontrivial, finitely generated, normal subgroups of infinite indices. We show that if contains a finitely generated normal subgroup which is neither contained in nor free, then the index of in is finite. Further, as an application of this result, we show that the fundamental group of a torus sum of -manifolds and , the interiors of which admit hyperbolic structures, have no nontrivial, finitely generated, nonfree, normal subgroup of infinite index if each of and has at least one nontorus boundary.
6.
Vladimir G. Troitsky 《Proceedings of the American Mathematical Society》2000,128(2):521-525
We show that the celebrated Lomonosov theorem cannot be improved by increasing the number of commuting operators. Specifically, we prove that if is the operator without a non-trivial closed invariant subspace constructed by C. J. Read, then there are three operators , and (non-multiples of the identity) such that commutes with , commutes with , commutes with , and is compact. It is also shown that the commutant of contains only series of .
7.
Paolo Lipparini 《Proceedings of the American Mathematical Society》2000,128(2):605-609
We prove the following: Theorem A. If is a -regular ultrafilter, then either
- (a)
- is -regular, or
- (b)
- the cofinality of the linear order is , and is -regular for all .
8.
Novica Blazic Neda Bokan Zoran Rakic 《Proceedings of the American Mathematical Society》2000,128(1):245-253
Let be a Riemannian manifold with the Jacobi operator, which has constant eigenvalues, independent on the unit vector and the point . Osserman conjectured that these manifolds are flat or rank-one locally symmetric spaces (). It is known that for a general pseudo-Riemannian manifold, the Osserman-type conjecture is not true and 4-dimensional Kleinian Jordan-Osserman manifolds are curvature homogeneous. We show that the length of the first covariant derivative of the curvature tensor is isotropic, i.e. . For known examples of 4-dimensional Osserman manifolds of signature we check also that . By the presentation of a class of examples we show that curvature homogeneity and do not imply local homogeneity; in contrast to the situation in the Riemannian geometry, where it is unknown if the Osserman condition implies local homogeneity.
9.
Ferenc Weisz 《Proceedings of the American Mathematical Society》2000,128(8):2337-2345
The -dimensional dyadic martingale Hardy spaces are introduced and it is proved that the maximal operator of the means of a Walsh-Fourier series is bounded from to and is of weak type , provided that the supremum in the maximal operator is taken over a positive cone. As a consequence we obtain that the means of a function converge a.e. to the function in question. Moreover, we prove that the means are uniformly bounded on whenever . Thus, in case , the means converge to in norm. The same results are proved for the conjugate means, too.
10.
Erkki Laitinen Krzysztof Pawalowski 《Proceedings of the American Mathematical Society》1999,127(1):297-307
Using smooth one-fixed-point actions on spheres and a result due to Bob Oliver on the tangent representations at fixed points for smooth group actions on disks, we obtain a similar result for perfect group actions on spheres. For a finite group , we compute a certain subgroup of the representation ring . This allows us to prove that a finite perfect group has a smooth -proper action on a sphere with isolated fixed points at which the tangent representations of are mutually nonisomorphic if and only if contains two or more real conjugacy classes of elements not of prime power order. Moreover, by reducing group theoretical computations to number theory, for an integer and primes , we prove similar results for the group , , or . In particular, has Smith equivalent representations that are not isomorphic if and only if , , .
11.
Let be an integer and let be a domain of . Let be an injective mapping which takes hyperspheres whose interior is contained in to hyperspheres in . Then is the restriction of a Möbius transformation.
12.
We consider the problem of the classification of semisimple Hopf algebras of dimension where are two prime numbers. First we prove that the order of the group of grouplike elements of is not , and that if it is , then . We use it to prove that if and its dual Hopf algebra are of Frobenius type, then is either a group algebra or a dual of a group algebra. Finally, we give a complete classification in dimension , and a partial classification in dimensions and .
13.
Massimo Grossi 《Proceedings of the American Mathematical Society》2000,128(6):1665-1672
We prove that the least-energy solution of the problem
where is a ball, and if , if , is unique (up to rotation) if is small enough.
14.
Given a Banach space and an integer , the existence of an -homogeneous polynomial which is not uniformly continuous with respect to the polynomial topology on is investigated. We provide a complete characterization for some classical Banach spaces, while for others a surprising unresolved difficulty is encountered for a certain value of (depending on ).
15.
Nobuhiko Fujii Akihiro Nakamura Ray Redheffer 《Proceedings of the American Mathematical Society》1999,127(6):1815-1818
For let be complex numbers such that is bounded. For define , where . Then the excesses in the sense of Paley and Wiener satisfy .
16.
D. H. Armitage 《Proceedings of the American Mathematical Society》2000,128(1):85-92
Suppose that is harmonic on an open half-ball in such that the origin 0 is the centre of the flat part of the boundary . If has non-negative lower limit at each point of and tends to 0 sufficiently rapidly on the normal to at 0, then has a harmonic continuation by reflection across . Under somewhat stronger hypotheses, the conclusion is that . These results strengthen recent theorems of Baouendi and Rothschild. While the flat boundary set can be replaced by a spherical surface, it cannot in general be replaced by a smooth -dimensional manifold.
17.
Elijah Liflyand Ferenc Mó ricz 《Proceedings of the American Mathematical Society》2000,128(5):1391-1396
We prove that the Hausdorff operator generated by a function is bounded on the real Hardy space . The proof is based on the closed graph theorem and on the fact that if a function in is such that its Fourier transform equals for (or for ), then .
18.
Matthias Hieber Sylvie Monniaux 《Proceedings of the American Mathematical Society》2000,128(4):1047-1053
In this paper, we show that a pseudo-differential operator associated to a symbol ( being a Hilbert space) which admits a holomorphic extension to a suitable sector of acts as a bounded operator on . By showing that maximal -regularity for the non-autonomous parabolic equation is independent of , we obtain as a consequence a maximal -regularity result for solutions of the above equation.
19.
Let denote the Schlumprecht space. We prove that
(1) is finitely disjointly representable in ;
(2) contains an -spreading model;
(3) for any sequence of natural numbers, is isomorphic to the space .
20.
G. A. Willis 《Proceedings of the American Mathematical Society》2000,128(1):111-118
Let be a discrete group, and let be a normal subgroup of . Then the quotient map induces a group algebra homomorphism . It is shown that the kernel of this map may be decomposed as , where is a closed right ideal with a bounded left approximate identity and is a closed left ideal with a bounded right approximate identity. It follows from this fact that, if is a closed two-sided ideal in , then is closed in . This answers a question of Reiter.