Partition relations for uncountable ordinals

Partition relations of the form α→(α,m)², where α is an ordinal andm is a positive integer, are considered. Let κ be a cardinal. The following are proved: If κ is singular and 2^K=K ⁺ then (K⁺)²?((K⁺)²,3)². If κ is a strong limit cardinal, then², iff ((cfκ)²→((cfκ)²,m)². If κ is regular and K²→(K²,3)², then the κ-Souslin hypothesis holds. If K^ω<α+ and cfα=cfκ>ω, then α?(α,3)².     

Weak Covering at Large Cardinals

We show that weakly compact cardinals are the smallest large cardinals k where k⁺ < k⁺ is impossible provided 0^# does not exist. We also show that if k^+Kc < k⁺ for some k being weakly compact (where K^c is the countably complete core model below one strong cardinal), then there is a transitive set M with M ? ZFC + “there is a strong cardinal”.     

Further results on the reverse-order law

An explicit expression is obtained for a pair of generalized inverses (B^?,A^?) such that B^?A^?=(AB)⁺_MN, and a class of pairs (B^?,A^? of this property is shown. A necessary and sufficient condition for (AB)^? to have the expression B^?A^? is also given.     

Endpoint estimates for the commutator of pseudo-differential operators

It is well known that the commutator Tb of the Calderón-Zygmund singular integral operator is bounded on L^p(Rⁿ) for 1 < p < +∞ if and only if b ∈ BMO [1]. On the other hand, the commutator T_b is bounded from H¹(Rⁿ) into L¹(Rⁿ) only if the function b is a constant [2]. In this article, we will discuss the boundedness of commutator of certain pseudo-differential operators on Hardy spaces H¹. Let T^σ be the operators that its symbol is S⁰_1,δ with 0 ≤ δ < 1, if b ∈ LMO_∞, then, the commutator [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) and from L¹(Rⁿ) into BMO(Rⁿ); If [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) or L¹(Rⁿ) into BMO(Rⁿ), then, b ∈ LMO_loc.     

New examples of Cantor sets in <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> that are not <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-minimal

Although every Cantor subset of the circle (S¹) is the minimal set of some homeomorphism of S¹, not every such set is minimal for a C¹ diffeomorphism of S¹. In this work, we construct new examples of Cantor sets in S¹ that are not minimal for any C¹-diffeomorphim of S¹.     

Complete hypersurfaces with constant mean curvature and finite L p norm curvature in Euclidean spaces

In this paper, we consider complete hypersurfaces in R ⁿ⁺¹ with constant mean curvature H and prove that M ⁿ is a hyperplane if the L ² norm curvature of M ⁿ satisfies some growth condition and M ⁿ is stable. It is an improvement of a theorem proved by H. Alencar and M. do Carmo in 1994. In addition, we obtain that M ⁿ is a hyperplane (or a round sphere) under the condition that M ⁿ is strongly stable (or weakly stable) and has some finite L ^p norm curvature. Received: 14 July 2007     

Associative Cones and Integrable Systems

Abstract We identify ℝ⁷ as the pure imaginary part of octonions. Then the multiplication in octonions gives a natural almost complex structure for the unit sphere S⁶. It is known that a cone over a surface M in S⁶ is an associative submanifold of ℝ⁷ if and only if M is almost complex in S⁶. In this paper, we show that the Gauss-Codazzi equation for almost complex curves in S⁶ are the equation for primitive maps associated to the 6-symmetric space G₂=T², and use this to explain some of the known results. Moreover, the equation for S¹-symmetric almost complex curves in S⁶ is the periodic Toda lattice, and a discussion of periodic solutions is given. (Dedicated to the memory of Shiing-Shen Chern) * Partially supported by NSF grant DMS-0529756.     

Cylindricity of tangent bundles of strongly parabolic metrics and strongly parabolic surfaces

It is proved that if the intrinsic zero-index of the Sasaki metric of a tangent bundleTM ⁿ isk, thenk is even andM ⁿ is the metric product of a Riemannian manifoldM ^n–k/2 by a Euclidean spaceE ^k/2, whileTM ⁿ is the metric product ofTM ^n–k/2 byE ^k . An expression is obtained for the second fundamental forms of the imbeddingTF ^l TM ⁿ in terms of the second fundamental forms of the imbeddingF ^l M ⁿ and the curvature tensor ofM ⁿ . It is proved thatTF ^l is totally geodesic inTM ⁿ if and only ifF ^l is totally geodesic inM ⁿ .Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 12–32.     

On the homogenization of some linear problems in domains weakly connected by a system of traps

The aim of the paper is to study the asymptotic behaviour of solutions of second‐order elliptic and parabolic equations, arising in modelling of flow in cavernous porous media, in a domain Ω^ε weakly connected by a system of traps ??^ε, where ε is the parameter that characterizes the scale of the microstructure. Namely, we consider a strongly perforated domain Ω^ε ?Ω a bounded open set of ?³ such that Ω^ε =Ω₁^ε ∪Ω₂^ε ∪??^ε ∪ W^ε, where Ω₁^ε, Ω₂^ε are non‐intersecting subdomains strongly connected with respect to Ω, ??^ε is a system of traps and meas W^ε → 0 as ε → 0. Without any periodicity assumption, for a large range of perforated media and by means of variational homogenization, we find the homogenized models. The effective coefficients are described in terms of local energy characteristics of the domain Ω^ε associated with the problem under consideration. The resulting homogenized problem in the parabolic case is a vector model with memory terms. An example is presented to illustrate the methodology. Copyright © 2007 John Wiley & Sons, Ltd.     

Infinitesimal Generators of C *-Algebras

We develop the method introduced previously, to construct infinitesimal generators on locally compact group C ^*-algebras and on tensor product of C ^*-algebras. It is shown in particular that there is a C ^* -algebra A such that the C ^*-tensor product of A and an arbitrary C ^*-algebra B can have a non-approximately inner strongly one parameter group of ^*-automorphisms.     

Comparison of Two Generalized Trigonometric Integrals

The P ²-integral of James is compared with the T ²-integral. A trigonometric series convergent almost everywhere to a function which is T ²-integrable but not P ²-integrable is constructed.     

On the Riemann Summability of Fourier Integrals and Real Hardy Spaces

We consider the Riemann means of single and multiple Fourier integrals of functions belonging to L¹ or the real Hardy spaces defined on ℝⁿ, where n ≥ 1 is an integer. We prove that the maximal Riemann operator is bounded both from H¹(ℝ) into L¹(ℝ) and from L¹(ℝ) into weak –L¹(ℝ). We also prove that the double maximal Riemann operator is bounded from the hybrid Hardy spaces H^(1,0)(ℝIsup2), H^(0,1)(ℝ²⁾ into weak –L¹(ℝ²). Hence pointwise Riemann summability of Fourier integrals of functions in H^(1,0) ∪ H^(0,1)(ℝ²) follows almost everywhere.The maximal conjugate Riemann operators as well as the pointwise convergence of the conjugate Riemann means are also dealt with.     

On pseudoinverses of operator products

The analytical structure of the Moore-Penrose pseudoinverse of the product ab of any two operators over finite-dimensional unitary spaces is studied. The existence of the unique representation of the form (ab)⁺=b⁺(h+g)a⁺ is proved. Here h:= (a⁺abb⁺)⁺ is an (oblique) projector and g is an operator with a number of special properties. In particular, h+g is a projector, g is orthogonal to h in some metric, and g³=0. A necessary and sufficient condition for the case (ab)⁺=b⁺ha⁺ is established. This case contains the classical one (ab)⁺=b⁺a⁺ (the reverse-order law). For the latter a new necessary and sufficient condition is given.     

Internal conversion coefficients of E2 transitions

An analysis of K-conversion coefficients of E2 transitions of the type 2⁺→0⁺, 0⁺→2⁺, 4⁺→2⁺, 6⁺→4⁺, and 8⁺→6⁺ together with their methods of determination has been carried out. The ratios of experimental to theoreticalα _k values are plotted against the atomic weights and it is seen that there is no similar behaviour among these transitions.     

On the solutions of the Moisil–Théodoresco system

A structure theorem is proved for the solutions to the Moisil–Théodoresco system in open subsets of ?³. Furthermore, it is shown that the Cauchy transform maps L₂(?², ?_{0, 2}⁺) isomorphically onto H²(?₊³, ?_{0, 3}⁺), thus proving an elegant generalization to ?² of the classical notion of an analytic signal on the real line. Copyright © 2008 John Wiley & Sons, Ltd.     

Transformation de Fourier des distributions de type positif sur un groupe de Lie unimodulaire

Call a locally compact group G, C¹-unique, if L¹(G) has exactly one (separating) C¹-norm. It is easy to see that a ¹-regular group G is C¹-unique and that a C¹-unique group is amenable. For connected groups G it is proved that G is C¹-unique, if the interior R(G)⁰ of a certain part R(G) of Prim(G), called the regular part of Prim(G), is dense in Prim(G), and that C¹-uniqueness of G implies the density of R(G) in Prim(G). From this it is derived that a connected group of type I is C¹-unique if and only if R(G)⁰ is dense in Prim(G). For exponential G, a quite explicit version of this result in terms of the Lie algebra of G is given. As an easy consequence, examples of amenable groups, which are not C¹-unique, and C¹-unique groups, which are not ¹-regular are obtained. Furthermore it is shown that a connected locally compact group G is amenable if and only if L¹(G) has exactly one C¹-norm, which is invariant under the isometric ¹-automorphisms of L¹(G).     

Weyl quantization of Lebesgue spaces

We study boundedness and compactness properties for the Weyl quantization with symbols in L^q (?^2d ) acting on L^p (?^d ). This is shown to be equivalent, in suitable Banach space setting, to that of the Wigner transform. We give a short proof by interpolation of Lieb's sufficient conditions for the boundedness of the Wigner transform, proving furthermore that these conditions are also necessary. This yields a complete characterization of boundedness for Weyl operators in L^p setting; compactness follows by approximation. We extend these results defining two scales of spaces, namely L_*^q (?^2d ) and L_?^q (R^2d ), respectively smaller and larger than the L^q (?^2d ),and showing that the Weyl correspondence is bounded on L_*^q (R^2d ) (and yields compact operators), whereas it is not on L_?^q (R^2d ). We conclude with a remark on weak‐type L^p boundedness (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The pinched Veronese is Koszul

In this paper we prove that the coordinate ring of the pinched Veronese, k[X ³,X ² Y,XY ²,Y ³,X ² Z,Y ² Z,XZ ²,YZ ²,Z ³], is Koszul. The result is obtained by combining the use of a flat deformation induced by a distinguished weight together with a generalization of the notion of Koszul filtrations.     

Derivations On a C∞-ring

The main purpose of this paper is to provide several results on objects lying between differential geometry and algebraic geometry such as C^∞-rings and derivations on a C^∞-ring. A C^∞-ring is defined as a set with operations by C^∞-functions on Euclidean spaces. A derivation on a C^∞-ring is defined in two method, an ?-derivation and a C^∞-derivation. The main result of this paper is to show that any ?-derivation is a C^∞-derivation for some classes of C^∞-rings (Theorems 3.1, 3.2).