Representation of measurable functions by series in Walsh subsystems

For any sequence {ω(n)} _n∈ℕ tending to infinity we construct a “quasiquadratic” representation spectrum Λ = {n ² + o(ω(n))} _n∈ℕ: for any almost everywhere (a. e.) finite measurable function f(x) there exists a series in the form $ \mathop \sum \limits_{k \in \Lambda } $ \mathop \sum \limits_{k \in \Lambda } α _k ω _k (x) that converges a. e. to this function, where {w _k (x)} _k∈ℕ is the Walsh system. We find representation spectra in the form {n ^l + o(n ^l )} _n∈ℕ, where l ∈ {2 ^k } _k∈ℕ.     

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     

On weak positive supercyclicity

A bounded linear operator T on a separable complex Banach space X is called weakly supercyclic if there exists a vector x ∈ X such that the projective orbit {λT ⁿ x: n ∈ ℕ λ ∈ ℂ} is weakly dense in X. Among other results, it is proved that an operator T such that σ _p (T ^*) = 0, is weakly supercyclic if and only if T is positive weakly supercyclic, that is, for every supercyclic vector x ∈ X, only considering the positive projective orbit: {rT ⁿ x: n ∈ ℂ, r ∈ ℝ₊} we obtain a weakly dense subset in X. As a consequence it is established the existence of non-weakly supercyclic vectors (non-trivial) for positive operators defined on an infinite dimensional separable complex Banach space. The paper is closed with concluding remarks and further directions. Partially supported by MEC MTM2006-09060 and MTM2006-15546, Junta de Andalucía FQM-257 and P06-FQM-02225. Partially supported by Junta de Andalucía FQM-257, and P06-FQM-02225     

On a method for interpolating functions on chaotic nets

Supposem, n ∈ℕ,m≡n (mod 2),K(x)=|x| ^m form odd,K(x)=|x| ^m In |x| form even (x∈ℝ ⁿ ),P is the set of real polynomials inn variables of total degree ≤m/2, andx ₁,...,x _N ∈ℝ ⁿ . We construct a function of the form

Spectral synthesis in the sobolev space generated by an integral metric

Let l ∈ ℕ, A ⊂ ℝⁿ . The main goal of this paper is to describe (in inner terms) the closure of the set {f ∈ W ₁ ^l : f=0 in a neighborhood of the set A} with respect to the norm of the space W ₁ ^l (ℝⁿ). Bibliography: 9 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 217, 1994, pp. 92–111.     

Localization of small zeros of sine and cosine Fourier transforms of a finite positive nondecreasing function

Let a function f be integrable, positive, and nondecreasing in the interval (0, 1). Then by Polya’s theorem all zeros of the corresponding cosine and sine Fourier transforms are real and simple; in this case positive zeros lie in the intervals (π(n−1/2), π(n+1/2)), (πn, π(n+1)), n ∈ ℕ, respectively. In the case of sine transforms it is required that f cannot be a stepped function with rational discontinuity points. In this paper, zeros of the function with small numbers are included into intervals being proper subsets of the corresponding Polya intervals. A localization of small zeros of the Mittag-Leffler function E _1/2(−z ²; μ), μ ∈ (1, 2) ∪ (2, 3) is obtained as a corollary.     

Second module cohomology group of inverse semigroup algebras

Let S be a commutative inverse semigroup and let E be its subsemigroup of idempotents. In this paper we define the n-th module cohomology group of Banach algebras and we show that H²_l¹(E)(l¹(S),l¹(S)⁽ⁿ⁾)\mathcal {H}^{2}_{\ell^{1}(E)}(\ell^{1}(S),\ell^{1}(S)^{(n)}) is a Banach space for every odd n∈ℕ.     

A remark on the unconditional structure ofL (E,F)

We present a sequence of symmetric Banach spacesE _n ,n εN, withd (E _n , ),n ∈N, unbounded and ubc(L(E*_n,E _n )),n ∈N, uniformly bounded. During the preparation of this paper the author was supported by the Deutsche Forschungsgemeinschaft.     

Oscillation theorems for second-order nonlinear neutral delay dynamic equations on time scales

By employing the generalized Riccati transformation technique, we will establish some new oscillation criteria and study the asymptotic behavior of the nonoscillatory solutions of the second-order nonlinear neutral delay dynamic equation

IBN rings and orderings on grothendieck groups

LetR be a ring with an identity element.R∈IBN means thatR ^m⋟Rⁿ impliesm=n, R∈IBN ₁ means thatR ^m⋟Rⁿ⊕K impliesm≥n, andR∈IBN ₂ means thatR ^m⋟R^m⊕K impliesK=0. In this paper we give some characteristic properties ofIBN ₁ andIBN ₂, with orderings on the Grothendieck groups. In addition, we obtain the following results: (1) IfR∈IBN ₁ and all finitely generated projective leftR-modules are stably free, then the Grothendieck groupK ₀(R) is a totally ordered abelian group. (2) If the pre-ordering of the Grothendieck groupK ₀(R) of a ringR is a partial ordering, thenR∈IBN ₁ orK ₀(R)=0. Supported by National Nature Science Foundation of China.     

The range of a projection of small norm inl 1 n

It is proved that there exists a positive function Φ(∈) defined for sufficiently small ∈ 〉 0 and satisfying lim_t→0 Φ(∈) =0 such that for any integersn 〉>0, ifQ is a projection ofl ₁ ⁿ onto ak-dimensional subspaceE with ‖|Q‖|≦1+∈ then there is an integerh〉=k(1−Φ(∈)) and anh-dimensional subspaceF ofE withd(F,l ₁ ^h ) 〈= 1+Φ (∈) whered(X, Y) denotes the Banach-Mazur distance between the Banach spacesX andY. Moreover, there is a projectionP ofl ₁ ⁿ ontoF with ‖|P‖| ≦1+Φ(∈). Author was partially supported by the N.S.F. Grant MCS 79-03042.     

Asymptotic results on infinite tandem queueing networks

We consider an infinite tandem queueing network consisting of ·/GI/1/∞ stations with i.i.d. service times. We investigate the asymptotic behavior of t(n, k), the inter-arrival times between customers n and n + 1 at station k, and that of w(n, k), the waiting time of customer n at station k. We establish a duality property by which w(n, k) and the “idle times”y(n, k) play symmetrical roles. This duality structure, interesting by itself, is also instrumental in proving some of the ergodic results. We consider two versions of the model: the quadrant and the half-plane. In the quadrant version, the sequences of boundary conditions {w(0,k), k∈ℕ} and {t(n, 0), n∈ℕ}, are given. In the half-plane version, the sequence {t(n, 0), n∈ℕ} is given. Under appropriate assumptions on the boundary conditions and on the services, we obtain ergodic results for both versions of the model. For the quadrant version, we prove the existence of temporally ergodic evolutions and of spatially ergodic ones. Furthermore, the process {t(n, k), n∈ℕ} converges weakly with k to a limiting distribution, which is invariant for the queueing operator. In the more difficult half plane problem, the aim is to obtain evolutions which are both temporally and spatially ergodic. We prove that 1/n∑ _k=1 ⁿ w(0, k) converges almost surely and in L ₁ to a finite constant. This constitutes a first step in trying to prove that {t(n,k), n∈ℤ} converges weakly with k to an invariant limiting distribution. Received: 23 March 1999 / Revised version: 5 January 2000 / Published online: 12 October 2000     

Nonexistence of invariant graphs in all supercritical energy levels of mechanical Lagrangians in T 2

Let (T², g) be a smooth Riemannian structure in the torus T². We show that given ε > 0 and any C^∞ function U : T² → ℝ there exists a C¹ function U_ε with Lipschitz derivatives that is ε-C⁰ close to U for which there are no continuous invariant graphs in any supercritical energy level of the mechanical Lagrangian L_ε : TT² → ℝ given by . We also show that given n ∈ ℕ, the set of C^∞ potentials U : T² → ℝ for which there are no continuous invariant graphs in any supercritical energy level E ≤ n of is C⁰ dense in the set of C^∞ functions. Partially supported by CNPq, FAPERJ-Cientistas do nosso estado.     

Approximation and asymptotics of eigenvalues of unbounded self-adjoint Jacobi matrices acting in <Emphasis Type="Italic">l</Emphasis><Superscript>2</Superscript> by the use of finite submatrices

We consider the problem of approximation of eigenvalues of a self-adjoint operator J defined by a Jacobi matrix in the Hilbert space l ²(ℕ) by eigenvalues of principal finite submatrices of an infinite Jacobi matrix that defines this operator. We assume the operator J is bounded from below with compact resolvent. In our research we estimate the asymptotics (with n → ∞) of the joint error of approximation for the eigenvalues, numbered from 1 to N; of J by the eigenvalues of the finite submatrix J _n of order n × n; where N = max{k ∈ ℕ: k ≤ rn} and r ∈ (0; 1) is arbitrary chosen. We apply this result to obtain an asymptotics for the eigenvalues of J. The method applied in this research is based on Volkmer’s results included in [23].     

A counterexample in copositive approximation

The present paper gives a converse result by showing that there exists a functionf ∈C _[−1,1], which satisfies that sgn(x)f(x) ≥ 0 forx ∈ [−1, 1], such that {fx75-1} whereE _n ⁽⁰⁾ (f, 1) is the best approximation of degreen tof by polynomials which are copositive with it, that is, polynomialsP withP(x(f(x) ≥ 0 for allx ∈ [−1, 1],E _n(f) is the ordinary best polynomial approximation off of degreen.     

Manifolds polarized by vector bundles

LetX be a complex projective manifold of dimension n and let ε be an ample vector bundle of rank r. Let also τ = τ (X,ε) = min {t ∈ ℝ : K_X + t det ε is nef} be the nef value of the pair (X, ε). In this paper we classify the pairs (X, ε) such that{ Mathematics Subject Classification (2000)14J60; 14J40; 14E30     

A characterization of the higher dimensional groups associated with continuous wavelets

A subgroup D of GL (n, ℝ) is said to be admissible if the semidirect product of D and ℝ ⁿ , considered as a subgroup of the affine group on ℝ ⁿ , admits wavelets ψ ∈ L²(ℝ ⁿ ) satisfying a generalization of the Calderón reproducing, formula. This article provides a nearly complete characterization of the admissible subgroups D. More precisely, if D is admissible, then the stability subgroup D_x for the transpose action of D on ℝ ⁿ must be compact for a. e. x. ∈ ℝ ⁿ ; moreover, if Δ is the modular function of D, there must exist an a ∈ D such that |det a| ≠ Δ(a). Conversely, if the last condition holds and for a. e. x ∈ ℝ ⁿ there exists an ε > 0 for which the ε-stabilizer D _x ^ε is compact, then D is admissible. Numerous examples are given of both admissible and non-admissible groups.     

Entire functions having a concordant value sequence

A classic theorem of Pólya shows that 2 ^z is, in a strong sense, the “smallest” transcendental entire function that is integer valued on ℕ. An analogous result of Gel’fond concerns entire functions that are integer valued on the setX _a={a ⁿ:n ∈ ℕ}, wherea ∈ ℕ,|a|≥ 2. LetX=ℕ orX=X _a andκ ∈ ℕ orκ=∞. This paper pursues analogous results for entire functionsf having the following property: on any finite subsetD ofX with#D≤κ+1, the valuesf(z),z ∈D admit interpolation by an element of ℤ[z]. The results obtained assert that if the growth off is suitably restricted then the restriction off toX must be a polynomial. WhenX=X _a andκ<∞ a “smallest” transcendental entire function having the requisite property is constructed.     

Decrease rate of the probabilities ofε-deviations for the means of stationary processes

The asymptotic behavior asn → ∞ of the normed sumsσn =n ⁻¹ Σ _k ⁼⁰ⁿ⁻¹ Xk for a stationary processX = (X _n ,n ∈ ℤ) is studied. For a fixedε > 0, upper estimates for P(sup _k≥n |σ _k | ≥ε) asn → ∞ are obtained. Translated fromMatematicheskie Zametki, Vol. 64, No. 3, pp. 366–372, September, 1998.