UNIFORM CONVERGENCE OF CESARO MEANS OF NEGATIVE ORDER OF DOUBLE TRIGONOMETRIC FOURIER SERIES

In this paper we prove that iff ∈ C([-π,π]2) and the function f is bounded partial p-variation for some p ∈ [1, ∞), then the double trigonometric Fourier series of a function f is uniformly (C;-α,-β) summable (α β＜ 1/p,α,β＞ 0) in the sense of Pringsheim. If α β≥ 1/p, then there exists a continuous function f0 of bounded partial double trigonometric Fourier series of fo diverge over cubes.     

Homotopy Types of Stabilizers and Orbits of Morse Functions on Surfaces

Let M be a smooth compact surface, orientable or not, with boundary or without it, P either the real line ℝ ¹ or the circle S ¹, and D(M) the group of diffeomorphisms of M acting on C^∞(M, P) by the rule h⋅ f = f ∘ h ⁻¹ for h ∊ D(M) and f ∊ C^∞ (M,P). Let f: M → P be an arbitrary Morse mapping, Σ _f the set of critical points of f, D(M,Σ _f ) the subgroup of D(M) preserving Σ _f , and S(f), S (f,Σ _f ), O(f), and O(f,Σ _f ) the stabilizers and the orbits of f with respect to D(M) and D(M,Σ _f ). In fact S(f) = S(f,Σ _f ).In this paper we calculate the homotopy types of S(f), O(f) and O(f,Σ _f ). It is proved that except for few cases the connected components of S(f) and O(f,Σ _f ) are contractible, π _k O(f) = π _k M for k ≥ 3, π₂ O(f) = 0, and π₁ O(f) is an extension of π₁ D(M) ⊕ Z ^k (for some k ≥ 0) with a (finite) subgroup of the group of automorphisms of the Kronrod-Reeb graph of f.We also generalize the methods of F. Sergeraert to give conditions for a finite codimension orbit of a tame smooth action of a tame Lie group on a tame Fréchet manifold to be a tame Fréchet manifold itself. In particular, we obtain that O(f) and O(f, Σ _f ) are tame Fréchet manifolds. Communicated by Peter Michor Vienna Mathematics Subject Classifications (2000): 37C05, 57S05, 57R45.     

Composition of fractional Orlicz maximal operators and A 1-weights on spaces of homogeneous type

For a Young function θ with 0 ≤α 〈 1, let Mα,θ be the fractional Orlicz maximal operator defined in the context of the spaces of homogeneous type （X, d, μ） by Mα,θf（x） = supx∈（B）α ｜｜f｜｜θ,B, where ｜｜f｜｜θ,B is the mean Luxemburg norm of f on a ball B. When α= 0 we simply denote it by Me. In this paper we prove that if Ф and ψare two Young functions, there exists a third Young function θ such that the composition Mα,ψ o MФ is pointwise equivalent to Mα,θ. As a consequence we prove that for some Young functions θ, if Mα,θf 〈∞a.e. and δ ∈（0,1） then （Mα,θf）δ is an A1-weight.     

On some generalized difference paranormed sequence spaces associated with multiplier sequence defined by modulus function

In this article we introduce the paranormed sequence spaces(f,Λ,△m,p),c0(f,Λ,△m,p) and ■∞(f,Λ,△m,p),associated with the multiplier sequence Λ =(λk),defined by a modulus function f.We study their different properties like solidness,symmetricity,completeness etc.and prove some inclusion results.     

A Generalized Cubic Functional Equation

In this paper, we determine the general solution of the functional equation f1 （2x ＋ y） ＋ f2（2x - y） = f3（x ＋ y） ＋ f4（x - y） ＋ f5（x） without assuming any regularity condition on the unknown functions f1,f2,f3, f4, f5 ： R→R. The general solution of this equation is obtained by finding the general solution of the functional equations f（2x ＋ y） ＋ f（2x - y） = g（x ＋ y） ＋ g（x - y） ＋ h（x） and f（2x ＋ y） - f（2x - y） = g（x ＋ y） - g（x - y）. The method used for solving these functional equations is elementary but exploits an important result due to Hosszfi. The solution of this functional equation can also be determined in certain type of groups using two important results due to Szekelyhidi.     

The 2-circle and 2-disk problems on trees

Our purpose here is to consider on a homogeneous tree two Pompeiutype problems which classically have been studied on the plane and on other geometric manifolds. We obtain results which have remarkably the same flavor as classical theorems. Given a homogeneous tree, letd(x, y) be the distance between verticesx andy, and letf be a function on the vertices. For each vertexx and nonnegative integern let Σ _n f(x) be the sum Σ _{d(x, y)=n} f(y) and letB _n f(x)=Σ _{d(x, y)≦n} f(y). The purpose is to study to what extent Σ _n f andB _n f determinef. Since these operators are linear, this is really the study of their kernels. It is easy to find nonzero examples for which Σ _n f orB _n f vanish for one value ofn. What we do here is to study the problem for two values ofn, the 2-circle and the 2-disk problems (in the cases of Σ _n andB _n respectively). We show for which pairs of values there can exist non-zero examples and we classify these examples. We employ the combinatorial techniques useful for studying trees and free groups together with some number theory.     

Finding rational points on bielliptic genus 2 curves

We discuss a technique for trying to find all rational points on curves of the form Y ²=f ₃ X ⁶+f ₂ X ⁴+f ₁ X ²+f ₀, where the sextic has nonzero discriminant. This is a bielliptic curve of genus 2. When the rank of the Jacobian is 0 or 1, Chabauty's Theorem may be applied. However, we shall concentrate on the situation when the rank is at least 2. In this case, we shall derive an associated family of elliptic curves, defined over a number field ℚα. If each of these elliptic curves has rank less than the degree of ℚα : ℚ, then we shall describe a Chabauty-like technique which may be applied to try to find all the points (x,y) defined over ℚα) on the elliptic curves, for which x∈ℚ. This in turn allows us to find all ℚ-rational points on the original genus 2 curve. We apply this to give a solution to a problem of Diophantus (where the sextic in X is irreducible over ℚ), which simplifies the recent solution of Wetherell. We also present two examples where the sextic in X is reducible over ℚ. Received: 27 November 1998 / Revised version: 4 June 1999     

Remarks on g-functions on H^n

In this paper, the authors study some properties of Littlewood-Paley g-functions gψ（f）,Lusin area functions Sψ,α（f） and Littlewood-Paley gψ^＊,λ（f） functions defined on H^n, where α,λ 〉 0 and ψ, f are suitable functions. They are the generalization of the corresponding operators on R^n.     

Incompleteness and minimality of complex exponential system

A necessary and sufficient condition is obtained for the incompleteness of a complex exponential system E(A,M)in C_α,where C_αis the weighted Banach space consisting of all complex continuous functions f on the real axis R with f(t)exp(-α(t))vanishing at infinity,in the uniform norm‖f‖_α=sup{|f(t)e~(-α(t))|:t∈R}with respect to the weightα(t).If the incompleteness holds, then the complex exponential system E(?)is minimal and each function in the closure of the linear span of complex exponential system E(?)can be extended to an entire function represented by a Taylor-Dirichlet series.     

A descent method for submodular function minimization

We show a descent method for submodular function minimization based on an oracle for membership in base polyhedra. We assume that for any submodular function f: ?→R on a distributive lattice ?⊆2 ^V with ?,V∈? and f(?)=0 and for any vector x∈R ^V where V is a finite nonempty set, the membership oracle answers whether x belongs to the base polyhedron associated with f and that if the answer is NO, it also gives us a set Z∈? such that x(Z)>f(Z). Given a submodular function f, by invoking the membership oracle O(|V|²) times, the descent method finds a sequence of subsets Z ₁,Z ₂,···,Z _k of V such that f(Z ₁)>f(Z ₂)>···>f(Z _k )=min{f(Y) | Y∈?}, where k is O(|V|²). The method furnishes an alternative framework for submodular function minimization if combined with possible efficient membership algorithms. Received: September 9, 2001 / Accepted: October 15, 2001?Published online December 6, 2001     

Recurrence in unipotent groups and ergodic nonabelian group extensions

LetT be a measure-preserving and ergodic transformation of a standard probability space (X,S, μ) and letf:X → SUT _d (ℝ) be a Borel map into the group of unipotent upper triangulard ×d matrices. We modify an argument in [12] to obtain a sufficient condition for the recurrence of the random walk defined byf, in terms of the asymptotic behaviour of the distributions of the suitably scaled mapsf(n,x)=(fT ⁿ⁻¹·fT ⁿ⁻²…fT·f). We give examples of recurrent cocycles with values in the continuous Heisenberg group H₁(ℝ)=SUT₃(ℝ), and we use a recurrent cocycle to construct an ergodic skew-product extension of an irrational rotation by the discrete Heisenberg group H₁(ℤ)=SUT₃(ℤ). The author was partially supported by the FWF research project P16004-MAT.     

A generalization of bounded variation

Generalized Wiener classes are considered. For these classes the exact order of Fourier coefficients with respect to the trigonometric system is established and the estimation of ‖S _n(·, f)-f(·)‖_{C [0,2π]} where S _n(·, f) are the Fourier partial sums, is given. In particular, a uniform convergence criterion for the Fourier trigonometric series is obtained. This revised version was published online in August 2006 with corrections to the Cover Date.     

Minimax goodness-of-fit testing in multivariate nonparametric regression

We consider an unknown response function f defined on Δ = [0, 1] ^d , 1 ≤ d ≤ ∞, taken at n random uniform design points and observed with Gaussian noise of known variance. Given a positive sequence r _n → 0 as n → ∞ and a known function f ₀ ∈ L ₂(Δ), we propose, under general conditions, a unified framework for goodness-of-fit testing the null hypothesis H ₀: f = f ₀ against the alternative H ₁: f ∈ $ \mathcal{F} $ \mathcal{F} , ∥f − f ₀∥ ≥ r _n , where $ \mathcal{F} $ \mathcal{F} is an ellipsoid in the Hilbert space L ₂(Δ) with respect to the tensor product Fourier basis and ∥ · ∥ is the norm in L ₂(Δ). We obtain both rate and sharp asymptotics for the error probabilities in the minimax setup. The derived tests are inherently non-adaptive. Several illustrative examples are presented. In particular, we consider functions belonging to ellipsoids arising from the well-known multidimensional Sobolev and tensor product Sobolev norms as well as from the less-known Sloan-Woźniakowski norm and a norm constructed from multivariable analytic functions on the complex strip.     

On linguistic dynamical systems,families of graphs of large girth,and cryptography

The paper is devoted to the study of a linguistic dynamical system of dimension n ≥ 2 over an arbitrary commutative ring K, i.e., a family F of nonlinear polynomial maps f _α : K ⁿ → K ⁿ depending on “time” α ∈ {K − 0} such that f _α ⁻¹ = f _−αM, the relation f _α1 (x) = f _α2 (x) for some x ∈ Kⁿ implies α₁ = α₂, and each map f _α has no invariant points. The neighborhood {f _α (υ)∣α ∈ K − {0}} of an element v determines the graph Γ(F) of the dynamical system on the vertex set Kⁿ. We refer to F as a linguistic dynamical system of rank d ≥ 1 if for each string a = (α₁, υ, α₂), s ≤ d, where α_i + α_i+1 is a nonzero divisor for i = 1, υ, d − 1, the vertices υ _a = f _α1 × ⋯ × f _αs (υ) in the graph are connected by a unique path. For each commutative ring K and each even integer n ≠= 0 mod 3, there is a family of linguistic dynamical systems L_n(K) of rank d ≥ 1/3n. Let L(n, K) be the graph of the dynamical system L_n(q). If K = F_q, the graphs L(n, F_q) form a new family of graphs of large girth. The projective limit L(K) of L(n, K), n → ∞, is well defined for each commutative ring K; in the case of an integral domain K, the graph L(K) is a forest. If K has zero divisors, then the girth of K drops to 4. We introduce some other families of graphs of large girth related to the dynamical systems L_n(q) in the case of even q. The dynamical systems and related graphs can be used for the development of symmetric or asymmetric cryptographic algorithms. These graphs allow us to establish the best known upper bounds on the minimal order of regular graphs without cycles of length 4n, with odd n ≥ 3. Bibliography: 42 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 326, 2005, pp. 214–234.     

Sampling theorem of Hermite type and aliasing error on the Sobolev class of functions

Denote by B _2σ,p (1 < p < ∞) the bandlimited class p-integrable functions whose Fourier transform is supported in the interval [−σ, σ]. It is shown that a function in B _2σ,p can be reconstructed in L _p(ℝ) by its sampling sequences {f (κπ / σ)} _κ∈ℤ and {f’ (κπ / σ)} _κ∈ℤ using the Hermite cardinal interpolation. Moreover, it will be shown that if f belongs to L _p ^r (ℝ), 1 < p < ∞, then the exact order of its aliasing error can be determined. Project supported by the Scientific Research Common Program of Beijing Municipal Commission of Education under grant number KM 200410009010 and by the Natural Science Foundation of China under grant number 10071006     

On some quadrature rules with Laplace end corrections

We investigate quadrature rules with Laplace end corrections that depend on a parameter β. Specific values of β yield sixth order rules. We apply our results to approximating the sum of slowly converging series s = Σ _i=1^∞ f(i + 1/2) where f ∈ C ⁶ with its sixth derivative of constant sign on [m, ∞) and ∫ _m ^∞ f(x)dx is known for m ∈ ℕ. Several examples show the efficiency of this method. This paper continues the results from [Solak W., Szydełko Z., Quadrature rules with Gregory-Laplace end corrections, J. Comput. Appl. Math., 1991, 36(2), 251–253].     

Commutator equations in free groups

Letf ₁, …,f _n be free generators of a free groupF. We consider the equation [z ₁, …,z _n]_ω. where ω and ω′ indicate the disposition of brackets in the higher commutators [z ₁, …,z _n]_ω and [f ₁, …,f _n]_ω. We give a necessary and sufficient condition on ω and ω′ for the existence of solutions of this equation. It is also shown that for any solutionz ₁=r₁, …,z _z=r _n we have <r ₁, …,r _n>=〈f ₁, …f _n〉.     

Hankel operators in Schatten ideals

We study membership to Schatten ideals S _E , associated with a monotone Riesz–Fischer space E, for the Hankel operators H _f defined on the Hardy space H ²(∂D). The conditions are expressed in terms of regularity of its symbol: we prove that H _f ∈S _E if and only if f∈B _E , the Besov space associated with a monotone Riesz–Fischer space E(dλ) over the measure space (D,dλ) and the main tool is the interpolation of operators. Received: December 17, 1999; in final form: September 25, 2000?Published online: July 13, 2001     

On the degree of iterates of automorphisms¶of the affine plane

For a polynomial automorphism f of ?² _ℂ, we set τ = deg f ²)/(deg f). We prove that τ≤ 1 if and only if f is triangularizable. In this situation, we show (by using a deep result from number theory known as the theorem of Skolem–Mahler–Lech) that the sequence (deg f ⁿ ) _{n ∈ℕ} is periodic for large n. In the opposite case, we prove that τ is an integer (τ≥ 2) and that the sequence (deg f ⁿ ) _{n ∈ℕ} is a geometric progression of ratio τ. In particular, if f is any automorphism, we obtain the rationality of the formal series . Received: 1 December 1997