On the absolute convergence of multiple fourier series

Let f: R ^N → C be a periodic function with period 2π in each variable. We prove suffcient conditions for the absolute convergence of the multiple Fourier series of f in terms of moduli of continuity, of bounded variation in the sense of Vitali or Hardy and Krause, and of the mixed partial derivative in case f is an absolutely continuous function. Our results extend the classical theorems of Bernstein and Zygmund from single to multiple Fourier series. This research was started while the first author was a visiting professor at the Department of Mathematics, Texas A&M University, College Station during the fall semester in 2005; and it was also supported by the Hungarian National Foundation for Scientific Research under Grant T 046 192.     

On additive functionals of Markov chains

Let{S _n } _n=0 ^∞ be a Harris-recurrent Markov chain on a measurable state space. We prove strong approximation results for the additive functionals . Research supported by the Hungarian National Foundation for Scientific Research, Grant No. 1905. Mathematical Institute of the Hungarian Academy of Sciences, Budapest, P.O.B. 127, H-1364, Hungary. Research supported by an NSERC Canada Grant, Carleton University. Department of Mathematics and Statistics, Carleton University, Ottawa, Canada K1S 5B6.     

On certain functional equations related to Jordan triple (q, f){(\theta, \phi)}-derivations on semiprime rings

The main purpose of this paper is to prove the following result. Let R be a 2-torsion free semiprime ring with symmetric Martindale ring of quotients Q _s and let q{\theta} and f{\phi} be automorphisms of R. Suppose T:R? R{T:R\rightarrow R} is an additive mapping satisfying the relation T(xyx)=T(x)q(y)q(x)-f(x)T(y)q(x)+f(x)f(y)T(x){T(xyx)=T(x)\theta (y)\theta (x)-\phi (x)T(y)\theta (x)+\phi (x)\phi (y)T(x)}, for all pairs x,y ? R{x,y\in R}. In this case T is of the form 2T(x)=qq(x)+f(x)q{2T(x)=q\theta (x)+\phi (x)q}, for all x ? R{x\in R} and some fixed element q ? Q_s{q\in Q_{s}}.     

On finite Moufang polygons

We show that a finite generalized polygon Γ is Moufang with respect to a groupG if and only if for every flag {x, y} of Γ, the subgroupG ₁(x, y) ofG fixing every element incident with one ofx, y acts transitively on the set of apartments containing the elementsu, x, y, w, whereu≠y (resp.w≠x) is an arbitrary element incident withx (resp.y). Research Associate at the National Fund of Scientific Research of Belgium. Research partially supported by NSF Grant DMS-8901904.     

Computing the link center of a simple polygon

The link center of a simple polygonP is the set of pointsx insideP at which the maximal link-distance fromx to any other point inP is minimized. Here the link distance between two pointsx, y insideP is defined to be the smallest number of straight edges in a polygonal path insideP connectingx toy. We prove several geometric properties of the link center and present an algorithm that calculates this set in timeO(n ²), wheren is the number of sides ofP. We also give anO(n logn) algorithm for finding an approximate link center, that is, a pointx such that the maximal link distance fromx to any point inP is at most one more than the value attained from the true link center.Work on this paper by the second author has been supported by National Science Foundation Grant DMS-8501947. Work by the third author has been supported by the Canadian National Science and Engineering Research Council, Grant A0332. Work by the fifth author has been supported by Office of Naval Research Grant N00014-82-K-0381, National Science Foundation Grant DCR-83-20085, and by grants from the Digital Equipment Corporation, and the IBM Corporation. Work by the seventh author has been supported by a Killam Senior Research Fellowship from the Canada Council, and work by the ninth author has been supported by the National Science Foundation Grants DCR-84-01898 and DCR-84-01633. Part of the work on this paper has been carried out at the Workshop on Movable Separability of Sets at the Bellairs Research Institute of McGill University, Barbados, February 1986. Further acknowledgments can be obtained from the tenth author upon request.     

Measured creatures

We prove that two basic questions on outer measure are undecidable. First we show that consistently every sup-measurable functionf: ℝ² → ℝ is measurable. The interest in sup-measurable functions comes from differential equations and the question for which functionsf: ℝ² → ℝ the Cauchy problemy′=f(x,y), y(x₀)=y₀ has a unique almost-everywhere solution in the classAC _t(ℝ) of locally absolutely continuous functions on ℝ. Next we prove that consistently every functionf: ℝ → ℝ is continuous on some set of positive outer Lebesgue measure. This says that in a strong sense the family of continuous functions (from the reals to the reals) is dense in the space of arbitrary such functions. For the proofs we discover and investigate a new family of nicely definable forcing notions (so indirectly we deal with nice ideals of subsets of the reals—the two classical ones being the ideal of null sets and the ideal of meagre ones). Concerning the method, i.e., the development of a family of forcing notions, the point is that whereas there are many such objects close to the Cohen forcing (corresponding to the ideal of meagre sets), little has been known on the existence of relatives of the random real forcing (corresponding to the ideal of null sets), and we look exactly at such forcing notions. The first author thanks The Hebrew University of Jerusalem for support during his visits to Jerusalem and the KBN (Polish Committee of Scientific Research) for partial support through grant 2P03A03114. The research of the second author was partially supported by the Israel Science Foundation. Publication 736.     

Strong approximation of additive functionals

LetX ₁,X ₂,...be a sequence of i.i.d. random variables and putS ₀=0,S _n =X ₁+...+X _n . A strong approximation type result is given forA _N = _i=1 ^N f(S _i ) whereF(x),xR is a real valued function. A similar result is given for ₀ ^t g(B(s))ds. Some weak convergence type implications are also discussed.1991 Mathematics Subject Classification: Primary: 60F15, Secondary: 60J15.Supported by the Hungarian National Foundation for Scientific Research, Grant No. 1905.Supported by an NSERC Canada Grant at Carleton University.Supported by a PSC CUNY Grant No.662349.     

Extremely noncommutative elements in rings

We study rings and K-algebras in which all elements or all noncentral elements have smallest possible centralizer. Our principal result asserts that a ring R must be either finite or commutative if each noncentral element a has centralizer equal to the subring generated by a. Supported by the Natural Sciences and Engineering Research Council of Canada, Grant 3961. Authors’ addresses: Howard E. Bell, Department of Mathematics, Brock University, St. Catharines, Ontario, Canada L2S 3A1; Abraham A. Klein, Sackler Faculty of Exact Sciences, School of Mathematical Sciences, Tel Aviv University, Tel Aviv 69978, Israel     

Chebyshevian multistep methods for ordinary differential equations

Summary In this paper some theory of linear multistep methods fory ^(r) (x)=f(x,y) is extended to include smooth, stepsize-dependent coefficients. Treated in particular is the case where exact integration of a given set of functions is desired.Work on this paper was supported in part by U.S. Army Research Office (Durham) Grant DA-ARO(D)-31-124-G1050 and National Science Foundation Grant GP-23655 with The University of Texas at Austin.     

Smash products and outer derivations

LetR be a prime ring andL a Lie algebra acting onR as “Q-outer” derivations (if charR=p≠0, assume thatL is restricted). We study ideals and the center of the smash productR #U(L) (respectivelyR #u(L) ifL is restricted) and use these results to study the relationship betweenR and the ring of constantsR ^L . More generally, for any finite-dimensional Hopf algebraH acting onR such thatR #H satisfies the “ideal intersection property”, we useR #H to study the relationship betweenR and the invariant ringR ^H . The first author wishes to thank the University of Southern California for its hospitality while this work was being done. Research of the second author was partially supported by NSF Grant MCS 83-01393.     

A coefficient inequality for Bloch functions with applications to uniformly locally univalent functions

We give a Fekete-Szeg? type inequality for an analytic function on the unit disk with Bloch seminorm ≤1. As an application of it, we derive a sharp inequality for the third coefficient of a uniformly locally univalent function f(z) = z + a ₂ z ² + a ₃ z ³ + ⋯ on the unit disk with pre-Schwarzian norm ≤λ for a given λ > 0. The first author was partially supported by the JSPS Grant-in-Aid for Scientific Research (B), 17340039. Authors’ addresses: T. Sugawa and T. Terada, Department of Mathematics, Graduate School of Science, Hiroshima University, Higashi-Hiroshima 739-8526, Japan Current address: T. Sugawa, Division of Mathematics, Graduate School of Information Sciences, Tohoku University, Sendai 980-8579, Japan     

On accuracy and unconditional stability of linear multistep methods for second order differential equations

Linear multistep methods for solution of the equationy=f(t, y) are studied by means of the test equationy=–² y, with real. It is shown that the order of accuracy cannot exceed 2 for an unconditionally stable method.This work was supported by the NASA-Ames Research Center, Moffett Field, California, under Interchange No. NCA2-OR745-712, while the author was a visitor at the Computer Science Department, Stanford University, Stanford, California.     

Constrained extrema of bilinear functionals

LetA be an operator on a finite dimensional unitary space. This paper contains results on the set of values taken on by the conjugate bilinear functional (A x, y) asx andy range over all unit vectors with prescribed inner product. By analyzing the same problem for the induced functional on the Grassmannian, results on non-principal subdeterminants are also obtained.The research of this author was supported by the U.S. Air Force Office of Scientific Research under Grant AFOSR 72-2164.     

A second order,non-linear elliptic boundary value problem with generalized Goursat data

Summary In this paper the case of generalized Goursat data is considered for the non-linear partial differential equation Δu = f(x, y, u, u_x, u_y). The existence and uniqueness of a solution is demonstrated, under certain conditions, by employing the contraction mapping method in a suitable Banach space. This research was supported in part at the Institute for Fluid Dynamics and Applied Mathematics, University of Maryland, by the National Science Foundation under Grants GP-2067, GP-3937, and in part by the Air Force Office of Scientific Research under Grant AFOSR 400-64, and at Georgetown University, Washington, D.C., by the National Science Foundation under Grant GP-1650 and GP-5023.     

Rings with nil and power centralK-th commutators

We define thek-th commutator forx, y in a ringR inductively as follows: [x,y]₁=[x,y]=xy−yx and [x,y] _k =[[x,y] _{k−1, y} ]. Assume thatR is a ring without nonzero nil onesided ideals. The following are shown: (1) If [x,y] _k is nilpotent for allx,y∈R, thenR must be commutative. (2) If [x,y] _k is power central for allx,y∈R, thenR must satisfy the standard polynomial of degree 4. 1980 Mathematics Subject Classification (1985 Revision). Primary 16A70, Secondary 16A12.     

Rings radical over subrings

LetR be a ring with a subringA such that a power of every element ofR lies inA. The following results are proved: IfR has no nonzero nil right ideals, neither doesA; if moreoverR is prime,A is also prime. IfR is semiprime Goldie, so isA. IfA has no nonzero nilpotent elements, then the nilpotent elements ofR form an ideal. Finally ifR has no nil right ideals andA is Goldie, thenR is Goldie. This work was supported by the National Research Council of Brazil (CNPq) at the University of Chicago. The author wishes to express his gratitude to Professor I. N. Herstein for his advise and encouragement.     

The Relative Brauer Group of an Affine Double Plane

We study algebra classes and divisor classes on a normal affine surface of the form z ² = f(x, y). The affine coordinate ring is T = k[x, y, z]/(z ² ? f), and if R = k[x, y][f ^?1] and S = R[z]/(z ² ? f), then S is a quadratic Galois extension of R. If the Galois group is G, we show that the natural map H¹(G, Cl(T)) → H¹(G, Pic(S)) factors through the relative Brauer group B(S/R) and that all of the maps are onto. Sufficient conditions are given for H¹(G, Cl(T)) to be isomorphic to B(S/R). The groups and maps are computed for several examples.     

Optimal and one-complemented subspaces

Let X be a real Banach space and let V ⊂ X be a closed linear subspace. In [4, Prop. 5] it has been proven that if X is strictly convex, reflexive and smooth and V is an optimal subset of X then V is one-complemented in X. In this note we would like to extend this result to non-smooth Banach spaces. In particular, we show that any existence subspace of c,c _o and l ₁ is one-complemented. Also some results concerning non-smooth Musielak-Orlicz sequence spaces equipped with the Luxemburg norm will be presented. The first author was supported by Polish State Committee for Scientific Research Grant KBN 1 PO3A O10 26. Authors’ addresses: Grzegorz Lewicki, Department of Mathematics, Jagiellonian University, 30-059 Kraków, Reymonta 4, Poland; Giulio Trombetta, Department of Mathematics, University of Calabria, 87036 Arcavacata di Rende, Cosenza, Italy     

Assouad-Nagata dimension via Lipschitz extensions

In the first part of the paper we show how to relate several dimension theories (asymptotic dimension with Higson property, asymptotic dimension of Gromov and capacity dimension of Buyalo [7]) to Assouad-Nagata dimension. This is done by applying two functors on the Lipschitz category of metric spaces: microscopic and macroscopic. In the second part we identify (among spaces of finite Assouad-Nagata dimension) spaces of Assouad-Nagata dimension at most n as those for which the n-sphere S ⁿ is a Lipschitz extensor. Large scale and small scale analogues of that result are given. The author was partially supported by Grant No.2004047 from the United States-Israel Binational Science Foundation (BSF), Jerusalem, Israel. The author was supported by Grant AP2004-2494 from the Ministerio de Educacion y Ciencia, Spain. He thanks the Department of Mathematics of University of Tennessee for their hospitality.     

Complete harmonic stable minimal hypersurfaces in a Riemannian manifold

In this paper, we will introduce the notion of harmonic stability for complete minimal hypersurfaces in a complete Riemannian manifold. The first result we prove, is that a complete harmonic stable minimal surface in a Riemannian manifold with non-negative Ricci curvature is conformally equivalent to either a plane R ² or a cylinder R × S ¹, which generalizes a theorem due to Fischer-Colbrie and Schoen [12]. The second one is that an n ≥ 2-dimensional, complete harmonic stable minimal, hypersurface M in a complete Riemannian manifold with non-negative sectional curvature has only one end if M is non-parabolic. The third one, which we prove, is that there exist no non-trivial L ²-harmonic one forms on a complete harmonic stable minimal hypersurface in a complete Riemannian manifold with non-negative sectional curvature. Since the harmonic stability is weaker than stability, we obtain a generalization of a theorem due to Miyaoka [20] and Palmer [21]. Research partially Supported by a Grant-in-Aid for Scientific Research from the Ministry of Education, Culture, Sports, Science and Technology, Japan. The author’s research was supported by grant Proj. No. KRF-2007-313-C00058 from Korea Research Foundation, Korea. Authors’ addresses: Qing-Ming Cheng, Department of Mathematics, Faculty of Science and Engineering, Saga University, Saga 840-8502, Japan; Young Jin Suh, Department of Mathematics, Kyungpook National University, Taegu 702-701, South Korea