Presenting affine <Emphasis Type="Italic">q</Emphasis>-Schur algebras

We obtain a presentation of certain affine q-Schur algebras in terms of generators and relations. The presentation is obtained by adding more relations to the usual presentation of the quantized enveloping algebra of type affine . Our results extend and rely on the corresponding result for the q-Schur algebra of the symmetric group, which were proved by the first author and Giaquinto.     

<Emphasis Type="Italic">p</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-sequences of algebras with one fundamental operation

We show that if (p₀, p₁, ...) is the p_n-sequence of a nontrivial algebra with one fundamental operation, then p₁ ≥ p₀. Moreover, if , then p₁ > 2p₀. Received April 21, 2003; accepted in final form November 28, 2005.     

<Emphasis Type="Italic">hp</Emphasis>-Discontinuous Galerkin methods for strongly nonlinear elliptic boundary value problems

In this paper, we have analyzed a one parameter family of hp-discontinuous Galerkin methods for strongly nonlinear elliptic boundary value problems with Dirichlet boundary conditions. These methods depend on the values of the parameter , where θ = + 1 corresponds to the nonsymmetric and θ = −1 corresponds to the symmetric interior penalty methods when and f(u,∇u) = −f, that is, for the Poisson problem. The error estimate in the broken H ¹ norm, which is optimal in h (mesh size) and suboptimal in p (degree of approximation) is derived using piecewise polynomials of degree p ≥ 2, when the solution . In the case of linear elliptic problems also, this estimate is optimal in h and suboptimal in p. Further, optimal error estimate in the L ² norm when θ = −1 is derived. Numerical experiments are presented to illustrate the theoretical results. Supported by DST-DAAD (PPP-05) project.     

Multigrid and multilevel methods for quadratic spline collocation

Multigrid methods are developed and analyzed for quadratic spline collocation equations arising from the discretization of one-dimensional second-order differential equations. The rate of convergence of the two-grid method integrated with a damped Richardson relaxation scheme as smoother is shown to be faster than 1/2, independently of the step-size. The additive multilevel versions of the algorithms are also analyzed. The development of quadratic spline collocation multigrid methods is extended to two-dimensional elliptic partial differential equations. Multigrid methods for quadratic spline collocation methods are not straightforward: because the basis functions used with quadratic spline collocation are not nodal basis functions, the design of efficient restriction and extension operators is nontrivial. Experimental results, with V-cycle and full multigrid, indicate that suitably chosen multigrid iteration is a very efficient solver for the quadratic spline collocation equations. Supported by Communications and Information Technology Ontario (CITO), Canada. Supported by the Mathematical, Information, and Computational Sciences Division subprogram of the Office of Computational and Technology Research, U.S. Department of Energy, under Contract W-31-109-Eng-38.     

Commutativity of Almost <Emphasis Type="Italic">F</Emphasis>-algebras

Let A be an Archimedean vector lattice, let be its Dedekind completion and let B be a Dedekind complete vector lattice. If Ψ ₀:A × A→ B is a positive orthosymmetric bimorphism, then there exists a positive bimorphism extension Ψ of Ψ ₀ to × in B which is orthosymmetric. This leads to a new and short proof of the commutativity of the almost f-algebras multiplications.     

Optimal Domains and Integral Representations of Convolution Operators in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>(<Emphasis Type="Italic">G</Emphasis>)

Given , a compact abelian group G and a function , we identify the maximal (i.e. optimal) domain of the convolution operator (as an operator from L^p(G) to itself). This is the largest Banach function space (with order continuous norm) into which L^p(G) is embedded and to which has a continuous extension, still with values in L^p(G). Of course, the optimal domain depends on p and g. Whereas is compact, this is not always so for the extension of to its optimal domain. Several characterizations of precisely when this is the case are presented.     

Modulus hyperinvariant subspaces for quasinilpotent operators at a non-zero positive vector on <Emphasis Type="Italic">l</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Spaces

In 1993, Y. A. Abramovich, C. D. Aliprantis and O. Burkinshaw showed that every continuous operator with modulus on an l_p-space (1 ≤ p < ∞) whose modulus commutes with a non-zero positive operator T on l_p that is quasinilpotent at a non-zero positive vector x₀ has a non-trivial invariant closed subspace. In this paper, it is proved that if is a collection of continuous operators with moduli on l_p that is finitely modulus-quasinilpotent at a non-zero positive vector x ₀ then and its right modulus sub-commutant have a common non-trivial invariant closed subspace. In particular, all continuous operators with moduli on l _p whose moduli commute with a non-zero positive operator I on l _p that is quasinilpotent at a non-zero positive vector x ₀ have a common non-trivial invariant closed subspace, so that all positive operators on l _p which commute with a non-zero positive operator S on l _p that is quasinilpotent at a non-zero positive vector x ₀ have a common non-trivial invariant closed subspace. This research was supported by the Natural Science Foundation of Hunan Province of P. R. China (04JJ6004), the Foundation of Education Department of Hunan Province of P. R. China (04C002) and the Natural Science Foundation of P. R. China (10671147). Received: 4 December 2005 Revised: 19 June 2006     

<Emphasis Type="Italic">V</Emphasis>-semirings

We investigate the semirings over which all simple semimodules are injective. In ring and module theory, the rings with an analogous condition are called V-rings. Therefore it is natural to call the semirings under consideration V-semirings. We obtain the semiring analogs of some well-known results on V-rings, including an analog of Kaplansky’s theorem on commutative V-rings.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-maximal regularity for second order Cauchy problems

We introduce the concept of L^p-maximal regularity for second order Cauchy problems. We prove L^p-maximal regularity for an abstract model problem and we apply the abstract results to prove existence, uniqueness and regularity of solutions for nonlinear wave equations. The author acknowledges with thanks the support provided by the Department ofApplied Analysis, University of Ulm, and the travel grants provided by NBMH India and MSF Delhi, India.     

(<Emphasis Type="Italic">s</Emphasis>, <Emphasis Type="Italic">t</Emphasis>, <Emphasis Type="Italic">d</Emphasis>)-bi-Koszul algebras

The paper focuses on the 1-generated positively graded algebras with non-pure resolutions and mainly discusses a new kind of algebras called(s,t,d)-bi-Koszul algebras as the generalization of bi-Koszul algebras. An(s,t,d)-bi-Koszul algebra can be obtained from two periodic algebras with pure resolutions. The generation of the Koszul dual of an(s,t,d)-bi-Koszul algebra is discussed. Based on it,the notion of strongly(s,t,d)-bi-Koszul algebras is raised and their homological properties are further discussed.     

<Emphasis Type="Italic">N</Emphasis>-commutators

The N-commutator is conjecturally a well-defined nontrivial operation on for x = (x ₁, ... , x _n ) if and only if N = n ² + 2n - 2. This is proved for n = 2 and confirmed by computer experiments for n < 5. Under 2- and 5-commutators the algebra of divergence-free vector fields in two dimensions is an sh-Lie (strong homotopic Lie) algebra in the sense of Stasheff. Similarly, W(2) is an sh-Lie algebra with respect to 2- and 6-commutators.     

The <Emphasis Type="Italic">p</Emphasis>-version of the boundary element method for weakly singular operators on piecewise plane open surfaces

We study piecewise polynomial approximations in negative order Sobolev norms of singularities which are inherent to Neumann data of elliptic problems of second order in polyhedral domains. The worst case of exterior crack problems in three dimensions is included. As an application, we prove an optimal a priori error estimate for the p-version of the BEM with weakly singular operators on polyhedral Lipschitz surfaces and piecewise plane open screens. The work of A. Bespalov was supported by the London Mathematical Society. The work of N. Heuer was supported by the FONDAP Programme in Applied Mathematics and Fondecyt project no. 1040615, both Chile. Dedicated to Professor Wolfgang L. Wendland on the occasion of his 70th birthday.     

Upper bounds for prime <Emphasis Type="Italic">k</Emphasis>-tuples of size log <Emphasis Type="Italic">N</Emphasis> and oscillations

We prove the estimate for the number E_k(N) of k-tuples (n + a₁,..., n + a_k) of primes not exceeding N, for k of size c₁ log N and N sufficiently large. A bound of this strength was previously known in the special case < only, (Vaughan, 1973). For general a_i this is an improvement upon the work of Hofmann and Wolke (1996). The number of prime tuples of this size has considerable oscillations, when varying the prime pattern. Received: 20 December 2002     

Cohomology with compact supports for cohomologically<Emphasis Type="Italic">q</Emphasis>-convex spaces

We show that if X is a complex space of dimension n which is cohomologically q-convex (resp., cohomologically q-complete), then $ H^{i}_{c} (X, \mathbb{C}) $ is a finite dimensional vector space (resp., vanishes) for $ i \leq \nu_{q}(X)-q $, where the number $ \nu_{q}(X) $ depends on the nature of singularities of X and equals n if X is smooth.     

Maximal regularity for evolution equations in weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

Let X be a Banach space and let A be a closed linear operator on X. It is shown that the abstract Cauchy problem enjoys maximal regularity in weighted L _p -spaces with weights , where , if and only if it has the property of maximal L _p -regularity. Moreover, it is also shown that the derivation operator admits an -calculus in weighted L _p -spaces. Received: 26 February 2003     

On the <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-conjecture for locally compact groups

Let G be a locally compact group. For 1 < p < ∞, it is well-known that f * g exists and belongs to L^p(G) for all f, g L^p (G) if and only if G is compact. Here, for 2 < p < ∞, we show that f * g exists for all f, g L^p(G) if and only if G is compact. We also show that this result does not remain true for 1 < p ≤ 2. Received: 23 April 2006     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-Invariants of finite aspherical CW-complexes

Let X be a finite aspherical CW-complex whose fundamental group π ₁(X) possesses a subnormal series with a non-trivial elementary amenable group G ₀. We investigate the L ²-invariants of the universal covering of such a CW-complex X. The main result is the proof of the vanishing of the L ²-torsion under the condition that π ₁(X) has semi-integral determinant. We further show that the Novikov–Shubin invariants are positive.     

Some isomorphism results for Thompson-like groups <Emphasis Type="Italic">V</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">G</Emphasis>)

The natural automorphism group of a translation surface is its group of translations. For finite translation surfaces of genus g ≥ 2 the order of this group is naturally bounded in terms of g due to a Riemann–Hurwitz formula argument. In analogy with classical Hurwitz surfaces, we call surfaces which achieve the maximal bound Hurwitz translation surfaces. We study for which g there exist Hurwitz translation surfaces of genus g.     

Rate of convergence to stationarity of the system <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">N</Emphasis>/<Emphasis Type="Italic">N</Emphasis>+<Emphasis Type="Italic">R</Emphasis>

We consider the M/M/N/N+R service system, characterized by N servers, R waiting positions, Poisson arrivals and exponential service times. We discuss representations and bounds for the rate of convergence to stationarity of the number of customers in the system, and study its behaviour as a function of R, N and the arrival rate λ, allowing λ to be a function of N.