The Bar-Radical of a Class of Almost Alternative Baric Algebras

In this article we prove that, if (U, ω) is a finite dimensional baric algebra of (γ, δ) type over a field F of characteristic ≠ 2,3,5 such that γ² ? δ² + δ = 1 and δ ≠ 0,1, then rad(U) = R(U) ∩ (bar(U))², where R(U) is the nilradical (maximal nil ideal) of U.     

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     

The maximal (C, α, β) operator of two-parameter walsh-fourier series

The two-parameter dyadic martingale Hardy spacesH _p are introduced and it is proved that the maximal operator of the (C, α, β) means of a two-dimensional Walsh-Fourier series is bounded from H_p to L_p (1/(α+1), 1/(β+1)<p<∞) and is of weak type (H ₁ ^# , L₁), where the Hardy space H ₁ ^# is defined by the hybrid maximal function. As a consequence, we obtain that the (C, α, β) means of a function f∈H ₁ ^# converge a.e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on H_p whenever 1/(α+1), 1/(β+1)<p<∞. Thus in case f∈H_p, the (C, α, β) means converge to f in H_p norm. The same results are proved for the conjugate (C, α, β) means, too.     

Greedy Algorithms with Regard to Multivariate Systems with Special Structure

The question of finding an optimal dictionary for nonlinear m -term approximation is studied in this paper. We consider this problem in the periodic multivariate (d variables) case for classes of functions with mixed smoothness. We prove that the well-known dictionary U ^d which consists of trigonometric polynomials (shifts of the Dirichlet kernels) is nearly optimal among orthonormal dictionaries. Next, it is established that for these classes near-best m -term approximation, with regard to U ^d , can be achieved by simple greedy-type (thresholding-type) algorithms. The univariate dictionary U is used to construct a dictionary which is optimal among dictionaries with the tensor product structure. June 22, 1998. Date revised: March 26, 1999. Date accepted: March 22, 1999.     

Haar measures on HopfC *-algebras

In this paper, we first use Markov-Kakutani's fixed point theorem to prove the existence and uniqueness of Haar measures on cocommutative HopfC ^*-algebras. Also we show that in the commutative case, there exists a natural one-to-one correspondence between the Haar measure on a given HopfC ^*-algebra and Haar measures on the associated semigroup. Finally, we show that for HopfC ^*-algebras with Peter-Weyl property, they have Haar measures.Work supported in part by the NSF.     

A homotopy operator for Spencer’s sequence in the C ∞-case

The main result of the formal theory of overdetermined systems of differential equations says that any regular system Au = f with smooth coefficients on an open set U ⊂ ℝ ⁿ admits a solution in smooth sections of the bundle of formal power series provided that f satisfies a compatibility condition in U. Our contribution consists in detailed study of the dependence of formal solutions on the point of the base U of the bundle. We also parameterize these solutions by their Cauchy data. In doing so, we prove that, under absence of topological obstructions, there is a formal solution which smoothly depends on the point of the base. This leads to a concept of a finitely generated system (do not mix up it with holonomic or finite -type systems) for which we then prove a C ^∞-Poincaré lemma. The text was submitted by the authors in English.     

On the necessity of property (α) for some vector-valued multiplier theorems

The notion of R-bounded operator families has proven to be crucial to several aspects of vector-valued Harmonic Analysis and its applications to PDEs. Concrete and important R-bounded sets have been identified among operators acting on UMD Banach spaces, which in addition enjoy G. Pisier’s property (α). We prove the necessity of (α) for a number of conclusions of this kind, complementing analogous results of G. Lancien in the product-space theory of Fourier multipliers and H ^∞-calculus. Received: 24 January 2007 Revised: 1 June 2007     

On constructing new expansions of functions using linear operators

Let T,U be two linear operators mapped onto the function f such that U(T(f))=f, but T(U(f))≠f. In this paper, we first obtain the expansion of functions T(U(f)) and U(T(f)) in a general case. Then, we introduce four special examples of the derived expansions. First example is a combination of the Fourier trigonometric expansion with the Taylor expansion and the second example is a mixed combination of orthogonal polynomial expansions with respect to the defined linear operators T and U. In the third example, we apply the basic expansion U(T(f))=f(x) to explicitly compute some inverse integral transforms, particularly the inverse Laplace transform. And in the last example, a mixed combination of Taylor expansions is presented. A separate section is also allocated to discuss the convergence of the basic expansions T(U(f)) and U(T(f)).     

Transplanting maximal inequalities between Laguerre and Hankel multipliers

We supplement our previous paper [9] by adding a theorem that transplantsL ^p -norm maximal inequalities for Laguerre multipliers. As an immediate consequence we obtain negative results concerningL ^p -estimates of partial sum maximal operators for Laguerre expansions.Research supported in part by KBN grant No. 2 PO3A 030 09.     

On the curvatures of bounded complete spacelike hypersurfaces in the Lorentz–Minkowski space

In this paper we characterize the spacelike hyperplanes in the Lorentz–Minkowski space L ^{n +1} as the only complete spacelike hypersurfaces with constant mean curvature which are bounded between two parallel spacelike hyperplanes. In the same way, we prove that the only complete spacelike hypersurfaces with constant mean curvature in L ^{n +1} which are bounded between two concentric hyperbolic spaces are the hyperbolic spaces. Finally, we obtain some a priori estimates for the higher order mean curvatures, the scalar curvature and the Ricci curvature of a complete spacelike hypersurface in L ^{n +1} which is bounded by a hyperbolic space. Our results will be an application of a maximum principle due to Omori and Yau, and of a generalization of it. Received: 5 July 1999     

Struttura delle fibrazioni di una classe di piani di André generalizzati finiti di ordineq 1+1

Every finite generalized André plane is associated with a spreadF′ of the projective spacePG(2t+1,q), which is obtained from a regular preadF replacing in a switching setU some of the subspaces ofF. The construction ofU is realized by an opportune setA of non-identical automorphisms of the fieldGF(q ^t+1). In this paper we characterize the irreducible components ofU, whenU is obtained by a setA consisting of two automorphisms. In the second paragraph we prove that such switching sets are only of two types. In the third paragraph we provide a constructive rule which is a necessary and sufficient condition for the existence of both the types. In such a way we describe the structure of the spreadF′ associated with any finite generalized André plane such that |A|=2.      

Minimal Order Semihypergroups of Type U on the Right

We study existence and possible uniqueness of special semihypergroups of type U on the right. In particular, we prove that there exists a unique proper semihypergroup of this kind having order 6, apart of isomorphisms; the least order for a hypergroup of type U on the right to have a stable part which is not a subhypergroup is 9; and the minimal cardinality of a proper semihypergroup of that kind whose heart and derived semihypergroup are proper and nontrivial is 12. Contextually, we analyze properties of the kernel of homomorphisms g : H ↦ G, where H is a finite semihypergroup of type U on the right and G is a group. In this way, we obtain results that are immediately applicable both to the heart and to the derived of such semihypergroups.      

Star-group identities and groups of units

Analogous to *-identities in rings with involution we define *-identities in groups. Suppose that G is a torsion group with involution * and that F is an infinite field with char F ≠ 2. Extend * linearly to FG. We prove that the unit group U{\mathcal{U}} of FG satisfies a *-identity if and only if the symmetric elements U⁺{\mathcal{U}^+} satisfy a group identity.     

Hypersurfaces with constant mean curvature and prescribed area

Summary We consider—in the setting of geometric measure theory—hypersurfacesT (of codimension one) with prescribed boundaryB in Euclideann+1 space which maximize volume (i.e.T together with a fixed hypersurfaceT ₀ encloses oriented volume) subject to a mass constraint. We prove existence and optimal regularity of solutionsT of such variational problems and we show that, on the regular part of its support,T is a classical hypersurface of constant mean curvature. We also prove that the solutionsT become more and more spherical as the valuem of the mass constraint approaches ∞. This work was done at the Centre for Mathematics and its Applications at the Australian National University, Canberra while the author was a visiting member This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag.     

On the Local Structure of Generalized Elliptic Pseudodifferential Operators and the Gauss Method

In this paper, we study the class of operators whose dominant parts admit elliptic factorizations in a conic domain U from T'(X), i.e., they can be represented as the composition of diagonal operators and operators of zero order, elliptic in U. We denote this class by ELF ^°(U). It arises in the process of microlocalization of the notion of generalized ellipticity. We analyze the problem concerning the simplest factorization of the dominant part of the operator BAC, where A EFL ^°(U) and the operators B and C are chosen from the class EL ^°(U_q)(elliptic operators in a neighborhood U _q of the point q U). For A from the subclass denoted by BEL ^°(U), the dominant part BAC can be reduced to a single diagonal operator. In general, for operators from the class EFL ^°(U) such a representation may not exist. However, there always exists a representation whose dominant part BAC is composed of a finite number of diagonal operators, permutation matrices, and lower triangular matrices having units on the main diagonal. We prove this fact by using an analog of the Gauss method, which we introduce for the algebra of pseudodifferential operators. Bibliography: 5 titles.     

Integral-type operators on continuous function spaces on the real line

In this paper we introduce some new sequences of positive linear operators, acting on a sufficiently large space of continuous functions on the real line, which generalize Gauss–Weierstrass operators.We study their approximation properties and prove an asymptotic formula that relates such operators to a second order elliptic differential operator of the form Lu?αu^′′+βu^′+γu.Shape-preserving and regularity properties are also investigated.     

Extension of holomorphic vector bundles across a boundary point

Let U ? C ⁿ , n ≥ 3, be a domain and P ∈ ?U such that U is 2-concave at P. Here we prove the existence of a holomorphic vector bundle on U which does not extend across P, but it extends across every Q ∈ ?U with Q ≠ P. We also prove a similar result taking a Stein space X instead of C ⁿ .     

Converse Sturm–Hurwitz–Kellogg theorem and related results

We prove that if Vⁿ is a Chebyshev system on the circle and f is a continuous real-valued function with at least n + 1 sign changes then there exists an orientation preserving diffeomorphism of S¹ that takes f to a function L²-orthogonal to V. We also prove that if f is a function on the real projective line with at least four sign changes then there exists an orientation preserving diffeomorphism of that takes f to the Schwarzian derivative of a function on . We show that the space of piecewise constant functions on an interval with values ± 1 and at most n + 1 intervals of constant sign is homeomorphic to n-dimensional sphere. To V. I. Arnold for his 70th birthday     

Differential Posets and Smith Normal Forms

We conjecture a strong property for the up and down maps U and D in an r-differential poset: DU + tI and UD + tI have Smith normal forms over . In particular, this would determine the integral structure of the maps U, D, UD, DU, including their ranks in any characteristic. As evidence, we prove the conjecture for the Young-Fibonacci lattice Y F studied by Okada and its r-differential generalizations Z(r), as well as verifying many of its consequences for Young’s lattice Y and the r-differential Cartesian products Y ^r .     

Matrix Characterization of 4-Ary Algebraic Operations of Idempotent Algebras

Let (U; F) be an idempotent algebra. There is an r-ary essentially algebraic operation in F where there is not any (r + 3)-ary algebraic operation depending on at least r + 1 variables. In this paper, we prove that the set of all 4-ary algebraic operations of this algebras forms a finite De Morgan algebra, and then we characterize this De Morgan algebra.