Displaying similar documents to “On functions with bounded remainder”

On the representation of functions by orthogonal series in weighted L p spaces

M. Grigorian (1999)

Studia Mathematica

Similarity:

It is proved that if φ n is a complete orthonormal system of bounded functions and ɛ>0, then there exists a measurable set E ⊂ [0,1] with measure |E|>1-ɛ, a measurable function μ(x), 0 < μ(x) ≤ 1, μ(x) ≡ 1 on E, and a series of the form k = 1 c k φ k ( x ) , where c k l q for all q>2, with the following properties: 1. For any p ∈ [1,2) and f L μ p [ 0 , 1 ] = f : ʃ 0 1 | f ( x ) | p μ ( x ) d x < there are numbers ɛ k , k=1,2,…, ɛ k = 1 or 0, such that l i m n ʃ 0 1 | k = 1 n ɛ k c k φ k ( x ) - f ( x ) | p μ ( x ) d x = 0 . 2. For every p ∈ [1,2) and f L μ p [ 0 , 1 ] there are a function g L 1 [ 0 , 1 ] with g(x) = f(x) on E and numbers δ k , k=1,2,…, δ k = 1 or 0,...

Algebraic independence over p

Peter Bundschuh, Kumiko Nishioka (2004)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let f ( x ) be a power series n 1 ζ ( n ) x e ( n ) , where ( e ( n ) ) is a strictly increasing linear recurrence sequence of non-negative integers, and ( ζ ( n ) ) a sequence of roots of unity in ¯ p satisfying an appropriate technical condition. Then we are mainly interested in characterizing the algebraic independence over p of the elements f ( α 1 ) , ... , f ( α t ) from p in terms of the distinct α 1 , ... , α t p satisfying 0 &lt; | α τ | p &lt; 1 for τ = 1 , ... , t . A striking application of our basic result says that, in the case e ( n ) = n , the set { f ( α ) | α p , 0 &lt; | α | p &lt; 1 } is algebraically independent over p if...

On some singular integral operatorsclose to the Hilbert transform

T. Godoy, L. Saal, M. Urciuolo (1997)

Colloquium Mathematicae

Similarity:

Let m: ℝ → ℝ be a function of bounded variation. We prove the L p ( ) -boundedness, 1 < p < ∞, of the one-dimensional integral operator defined by T m f ( x ) = p . v . k ( x - y ) m ( x + y ) f ( y ) d y where k ( x ) = j 2 j φ j ( 2 j x ) for a family of functions φ j j satisfying conditions (1.1)-(1.3) given below.

An almost-sure estimate for the mean of generalized Q -multiplicative functions of modulus 1

Jean-Loup Mauclaire (2000)

Journal de théorie des nombres de Bordeaux

Similarity:

Let Q = ( Q k ) k 0 , Q 0 = 1 , Q k + 1 = q k Q k , q k 2 , be a Cantor scale, 𝐙 Q the compact projective limit group of the groups 𝐙 / Q k 𝐙 , identified to 0 j k - 1 𝐙 / q j 𝐙 , and let μ be its normalized Haar measure. To an element x = { a 0 , a 1 , a 2 , } , 0 a k q k + 1 - 1 , of 𝐙 Q we associate the sequence of integral valued random variables x k = 0 j k a j Q j . The main result of this article is that, given a complex 𝐐 -multiplicative function g of modulus 1 , we have lim x k x ( 1 x k n x k - 1 g ( n ) - 0 j k 1 q j 0 a q j g ( a Q j ) ) = 0 μ -a.e .

On invariant measures for power bounded positive operators

Ryotaro Sato (1996)

Studia Mathematica

Similarity:

We give a counterexample showing that ( I - T * ) L ¯ L + = 0 does not imply the existence of a strictly positive function u in L 1 with Tu = u, where T is a power bounded positive linear operator on L 1 of a σ-finite measure space. This settles a conjecture by Brunel, Horowitz, and Lin.

On normal lattice configurations and simultaneously normal numbers

Mordechay B. Levin (2001)

Journal de théorie des nombres de Bordeaux

Similarity:

Let q , q 1 , , q s 2 be integers, and let α 1 , α 2 , be a sequence of real numbers. In this paper we prove that the lower bound of the discrepancy of the double sequence ( α m q n , , α m + s - 1 q n ) m , n = 1 M N coincides (up to a logarithmic factor) with the lower bound of the discrepancy of ordinary sequences ( x n ) n = 1 M N in s -dimensional unit cube ( s , M , N = 1 , 2 , ) . We also find a lower bound of the discrepancy (up to a logarithmic factor) of the sequence ( α 1 q 1 n , , α s q s n ) n = 1 N (Korobov’s problem).

A lifting theorem for locally convex subspaces of L 0

R. Faber (1995)

Studia Mathematica

Similarity:

We prove that for every closed locally convex subspace E of L 0 and for any continuous linear operator T from L 0 to L 0 / E there is a continuous linear operator S from L 0 to L 0 such that T = QS where Q is the quotient map from L 0 to L 0 / E .

Tauberian theorems for Cesàro summable double sequences

Ferenc Móricz (1994)

Studia Mathematica

Similarity:

( s j k : j , k = 0 , 1 , . . . ) be a double sequence of real numbers which is summable (C,1,1) to a finite limit. We give necessary and sufficient conditions under which ( s j k ) converges in Pringsheim’s sense. These conditions are satisfied if ( s j k ) is slowly decreasing in certain senses defined in this paper. Among other things we deduce the following Tauberian theorem of Landau and Hardy type: If ( s j k ) is summable (C,1,1) to a finite limit and there exist constants n 1 > 0 and H such that j k ( s j k - s j - 1 , k - s j - 1 , k + s j - 1 , k - 1 ) - H , j ( s j k - s j - 1 , k ) - H and k ( s j k - s j , k - 1 ) - H whenever j , k > n 1 , then...

Geometric study of the beta-integers for a Perron number and mathematical quasicrystals

Jean-Pierre Gazeau, Jean-Louis Verger-Gaugry (2004)

Journal de Théorie des Nombres de Bordeaux

Similarity:

We investigate in a geometrical way the point sets of     obtained by the   β -numeration that are the   β -integers   β [ β ]   where   β   is a Perron number. We show that there exist two canonical cut-and-project schemes associated with the   β -numeration, allowing to lift up the   β -integers to some points of the lattice   m   ( m =   degree of   β ) lying about the dominant eigenspace of the companion matrix of   β  . When   β   is in particular a Pisot number, this framework gives another proof of the fact...

Nonconvolution transforms with oscillating kernels that map 1 0 , 1 into itself

G. Sampson (1993)

Studia Mathematica

Similarity:

We consider operators of the form ( Ω f ) ( y ) = ʃ - Ω ( y , u ) f ( u ) d u with Ω(y,u) = K(y,u)h(y-u), where K is a Calderón-Zygmund kernel and h L (see (0.1) and (0.2)). We give necessary and sufficient conditions for such operators to map the Besov space 1 0 , 1 (= B) into itself. In particular, all operators with h ( y ) = e i | y | a , a > 0, a ≠ 1, map B into itself.