Une Remarque sur une Formule Sommatoire liée à la Somme des Chiffres

Let g ≥ 2 be an integer, and let s(n) be the sum of the digits of n in basis g. Let f(n) be a complex valued function defined on positive integers, such that ?_{n ￡ x} f(n)=o(x)\sum_{n\le x} f(n)=o(x) . We propose sufficient conditions on the function f to deduce the equality ?_{n ￡ x} f(s(n))=o(x)\sum_{n\le x} f(s(n))=o(x) . Applications are given, for instance, on the equidistribution mod 1 of the sequence (s(n))^α, where α is a positive real number.     

On simultaneous approximation to a differentiable function and its derivative by inverse Pal-Type interpolation polynomials

Let ξ_{n −1} < ξ_{n −2} < ξ_{n − 2} < ... < ξ₁ be the zeros of the the (n−1)-th Legendre polynomial P_n−1(x) and −1=x_n<x_n−1<...<x₁=1, the zeros of the polynomial . By the theory of the inverse Pal-Type interpolation, for a function f(x)∈C _[−1,1] ¹ , there exists a unique polynomial R_n(x) of degree 2n−2 (if n is even) satisfying conditions R_n(f, ξ_k) = f (ε_k) (1 ⩽ k ⩽ n −1); R¹ _n(f,x_k)=f¹(x_k)(1≤k≤n). This paper discusses the simultaneous approximation to a differentiable function f by inverse Pal-Type interpolation polynomial {R_n(f, x)} (n is even) and the main result of this paper is that if f∈C _[1,1] ^r , r≥2, n≥r+2, and n is even then |R¹ _n(f,x)−f¹(x)|=0(1)|W_n(x)|h(x)·n^3−r·E_2n−r−3(f^(r)) holds uniformly for all x∈[−1,1], where .     

The (Lp, Lq) bilinear Hardy-Littlewood function for the tail

Let (X, B, μ, T) be a measure preserving dynamical system on a finite measure space. Consider the maximal function

Propertyf −1(S) =g −1(S) for entire and meromorphicP-adic functions

LetW be an algebraically closed filed of characteristic zero, letK be an algebraically closed field of characteristic zero, complete for an ultrametric absolute value, and letA(K) (resp. ℳ(K)) be the set of entire (resp. meromorphic) functions inK. For everyn≥7, we show that the setS _n(b) of zeros of the polynomialx ⁿ−b (b≠0) is such that, iff, g ∈W[x] or iff, g ∈A(K), satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), thenf ⁿ=g ⁿ. For everyn≥14, we show thatS _n(b) is such that iff, g ∈W({tx}) or iff, g ∈ ℳ(K) satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), then eitherf ⁿ=g ⁿ, orfg is a constant. Analogous properties are true for complex entire and meromorphic functions withn≥8 andn≥15, respectively. For everyn≥9, we show that the setY _n(c) of zeros of the polynomial , (withc≠0 and 1) is an ursim ofn points forW[x], and forA(K). For everyn≥16, we show thatY _n(c) is an ursim ofn points forW(x), and for ℳ(K). We follow a method based on thep-adic Nevanlinna Theory and use certain improvement of a lemma obtained by Frank and Reinders.     

A new proof of certain littlewood-paley inequalities

The aim of this article is to give a new proof of the L^p-inequalities for the Littlewood-Paley g_*-function. Our main tool is a pointwise equality, relating a function f, and the associated functional g_*(f), which has the form f²=h(f)+g _* ² (f), where h(f) is an explicit function. We obtain this equality as a particular case of a more general one, which is reminiscent of a well-known identity in the stochastic calculus setting, namely the Itô formula. Once the above equality is proved, L^p-estimates for g_*(f) are obviously equivalent to L^p/2-estimates for h(f). We obtain these last estimates (more precisely, H^p/2-estimates for h(f) by using a slight extension of the Coifman-Meyer-Stein theorem relating the so-called tent-spaces and the Hardy spaces. We observe that our methods clearly show that the restriction p>2n/n+1 is closely related to cancellation and size properties of the gradient of the Poisson kernel.     

Approximation of function by Euler means

Let 蒖_n $$(q, f, x) = \frac{1}{{(1 + q)^n }}\sum\limits_{k = 0}^n {(_k^n )q^{n - k} s_k (f, x)} $$ denote the Euler means of the Fourier series of the 2π-perodic function f(x). For an integer q>0 and a function f(x)∈H^ω?C([0, 2π]), the main term of deviationf(x)-蒖_n(q, f, x) is calculated in this note. Asymptoteaally exact order 3 of decrease of the upper bound of such deviations over the class H^ω is also obtained.     

Regularity of functional equations on manifolds

Summary. In this paper the regularity properties of the functional equation¶¶ f (t) = h(t, y, f (g₁(t, y)), ... , f (g_n(t,y))) f (t) = h(t, y, f (g_{1}(t, y)), ... , f (g_{n}(t,y))) ¶ on a \Cal C^￥ {\Cal C}^\infty manifold for the unknown function f are treated. Under general conditions it is proved that solutions which are measurable or have the Baire property are in \Cal C^￥ {\Cal C}^\infty .     

Zeros in Tables of Characters for the Groups <Emphasis Type="Italic">S</Emphasis><Subscript>n</Subscript> and <Emphasis Type="Italic">A</Emphasis><Subscript>n</Subscript>. II

Let P(n) be the set of all partitions of a natural number n. In the representation theory of symmetric groups, for every partition α ∈ P(n), the partition h(α) ∈ P(n) is defined so as to produce a certain set of zeros in the character table for S_n. Previously, the analog f(α) of h(α) was obtained pointing out an extra set of zeros in the table mentioned. Namely, h(α) is greatest (under the lexicographic ordering ≤) of the partitions β of n such that χ^α(g_β) ≠ 0, and f(α) is greatest of the partitions γ of n that are opposite in sign to h(α) and are such that χ^α(g_γ) ≠ 0, where χ^α is an irreducible character of S_n, indexed by α, and g_β is an element in the conjugacy class of S_n, indexed by β. For α ∈ P(n), under some natural restrictions, here, we construct new partitions h′(α) and f′(α) of n possessing the following properties. (A) Let α ∈ P(n) and n ⩾ 3. Then h′(α) is identical is sign to h(α), χ^α(g_h′(α)) ≠ 0, but χ^α(g_γ) = 0 for all γ ∈ P(n) such that the sign of γ coincides with one of h(α), and h′(α) < γ < h(α). (B) Let α ∈ P(n), α ≠ α′, and n ⩾ 4. Then f′(α) is identical in sign to f(α), χ^α(g_f′(α)) ≠ 0, but χ^α(g_γ) = 0 for all γ ∈ P(n) such that the sign of γ coincides with one of f(α), and f′(α) < γ < f(α). The results obtained are then applied to study pairs of semiproportional irreducible characters in A_n. Supported by RFBR grant No. 04-01-00463. __________ Translated from Algebra i Logika, Vol. 44, No. 6, pp. 643–663, November–December, 2005.     

The domain of regularity of the limit function of a sequence of analytic functions

Letf (z) be an entire function λ_n(n=0,1,2,...) complex numbers, such that the system f(λ_{n n=0} ^∞ is not complete in the circle ¦z¦n(z) have the form \(\sum\nolimits_{k = 0}^{p_n } {\alpha _{nk} } f(\lambda _k \cdot z)\) . We study the properties of the limit function of the sequence Q_n(z) in the case when $$f(z) = 1 + \sum\nolimits_{n = 1}^\infty {\frac{{z^n }}{{P(1)P(2)...P(n)}}} ,$$ . where P(z) is a polynomial having at least one negative integral root.     

A family of Bernstein quasi-interpolants on [0,1]

Suppose that we want to approximate f∈C[0,1] by polynomials inP, using only its values on X_n={i/n, 0≤i≤n}. This can be done by the Lagrange interpolant L_n f or the classical Bernstein polynomial B_n f. But, when n tends to infinity, L_n f does not converge to f in general and the convergence of B_n f to f is very slow. We define a family of operators B _n ^(k) , n≥k, which are intermediate ones between B _n ⁽⁰⁾ =B _n ⁽¹⁾ =B_n and B _n ⁽ⁿ⁾ =L_n, and we study some of their properties. In particular, we prove a Voronovskaja-type theorem which asserts that B _n ^(k) f−f=O(n^−[(k+2)/2]) for f sufficiently regular. Moreover, B _n ^(k) f uses only values of B_n f and its derivaties and can be computed by De Casteljau or subdivision algorithms.     

Regularity property of Donsker's delta function

LetL be the space of rapidly decreasing smooth functions on ? andL ^* its dual space. Let (L ²)⁺ and (L ²)^? be the spaces of test Brownian functionals and generalized Brownian functionals, respectively, on the white noise spaceL ^* with standard Gaussian measure. The Donsker delta functionδ(B(t)?x) is in (L ²)^? and admits the series representation $$\delta (B(t) - x) = (2\pi t)^{ - 1/2} \exp ( - x^2 /2t)\sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} H_n (x/\sqrt {2t} )} \times H_n (B(t)/\sqrt {2t} )$$ , whereH _n is the Hermite polynomial of degreen. It is shown that forφ in (L ²)⁺,g _t,φ(x)≡〈δ(B(t)?x), φ〉 is inL and the linear map takingφ intog _t,φ is continuous from (L ²)⁺ intoL. This implies that forf inL ^* is a generalized Brownian functional and admits the series representation $$f(B(t)) = (2\pi t)^{ - 1/2} \sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} \langle f,\xi _{n, t} \rangle } H_n (B(t)/\sqrt {2t} )$$ , whereξ _n,t is the Hermite function of degreen with parametert. This series representation is used to prove the Ito lemma forf inL ^*, $$f(B(t)) = f(B(u)) + \int_u^t {\partial _s^ * } f'(B(s)) ds + (1/2)\int_u^t {f''} (B(s)) ds$$ , where? _s ^* is the adjoint of \(\dot B(s)\) -differentiation operator? _s .     

On the Greatest Common Divisor of u ? 1 and v ? 1 with u and v Near S{\cal S}-units

In [2], it was shown that if a and b are multiplicatively independent integers and ɛ > 0, then the inequality gcd (aⁿ − 1,bⁿ − 1) < exp(ɛn) holds for all but finitely many positive integers n. Here, we generalize the above result. In particular, we show that if f(x),f₁(x),g(x),g₁(x) are non-zero polynomials with integer coefficients, then for every ɛ > 0, the inequality gcd (f(n)aⁿ+g(n), f₁(n)bⁿ+g₁(n)) < exp(ne){\rm gcd}\, (f(n)a^n+g(n), f_1(n)b^n+g_1(n)) < \exp(n\varepsilon) holds for all but finitely many positive integers n.     

A problem on simultaneous approximation and a conjecture of Hasson

In 1980, M. Hasson raised a conjecture as follows: Let N≥1, then there exists a function f₀(x)∈C _[−1,1] ^2N , for N+1≤k≤2N, such that p _n ^(k) (f₀,1)→f ₀ ^(k) (1), n→∞, where p_n(f,x) is the algebraic polynomial of best approximation of degree ≤n to f(x). In this paper, a, positive answer to this conjecture is given.     

Une Remarque sur une Formule Sommatoire liée à la Somme des Chiffres

Let g ≥ 2 be an integer, and let s(n) be the sum of the digits of n in basis g. Let f(n) be a complex valued function defined on positive integers, such that . We propose sufficient conditions on the function f to deduce the equality . Applications are given, for instance, on the equidistribution mod 1 of the sequence (s(n))^α, where α is a positive real number.     

Best monotone approximation and the Hardy-Littlewood maximal function

If f∈L₂[0, 1] and g^*∈L₂[0, 1] is the best non-decreasing approximation to f, then it's shown that ‖f−g^*‖₂=‖f−θ(f)‖₂, where θ(f) denotes the Hardy-Littlewood maximal function of f.     

A theorem of the Wiener—Tauberian type forL 1(H n)

The Heisenberg motion groupHM(n), which is a semi-direct product of the Heisenberg group Hⁿ and the unitary group U(n), acts on Hⁿ in a natural way. Here we prove a Wiener-Tauberian theorem for L¹ (Hⁿ) with this HM(n)-action on Hⁿ i.e. we give conditions on the “group theoretic” Fourier transform of a functionf in L¹ (Hⁿ) in order that the linear span of^gf : g∈HM(n) is dense in L¹(Hⁿ), where^gf(z, t) =f(g·(z, t)), forg ∈ HM(n), (z,t)∈Hⁿ.     

Solutions of functional equations having bounded variation

Summary. We prove that a solution f of the functional equation¶¶f(t)=h(t,y,f(g₁(t,y)),...,f(g_n(t,y))) f(t)=h(t,y,f(g_1(t,y)),\dots,f(g_n(t,y))) ¶ having locally bounded variation is a C^￥ {\cal C}^\infty -function.     

On approximation of a function and its derivatives by a polynomial and its derivatives

Let g∈C~q[-1, 1] be such that g~((k))(±1)=0 for k=0,…,q. Let P_n be an algebraic polynomialof degree at most n, such that P_n~((k))(±1)=0 for k=0,…,[_2~ (q+1)]. Then P_n and its derivativesP_n~((k)) for k≤q well approximate g and its respective derivatives, provided only that P_n well approxi-mates g itself in the weighted norm ‖g(x)-P_n(x) (1-x~2)~(1/2)~q‖This result is easily extended to an arbitrary f∈C~q[-1, 1], by subtracting from f the polynomial ofminnimal degree which interpolates f~((0))…,f~((q)) at±1. As well as providing easy criteria for judging the simultaneous approximation properties of a givenPolynomial to a given function, our results further explain the similarities and differences betweenalgebraic polynomial approximation in C~q[-1, 1] and trigonometric polynomial approximation in thespace of q times differentiable 2π-periodic functions. Our proofs are elementary and basic in character,permitting the construction of actual error estimates for simultaneous approximation proedures for smallvalues of q.     

Local Approximations Based on Orthogonal Differential Operators

Let M be a symmetric positive definite moment functional and let be the family of orthonormal polynomials that corresponds to M. We introduce a family of linear differential operators , called the chromatic derivatives associated with M, which are orthonormal with respect to a suitably defined scalar product. We consider a Taylor type expansion of an analytic function f(t), with the values f⁽ⁿ⁾ (t₀) of the derivatives replaced by the values of these orthonormal operators, and with monomials (t − t₀)ⁿ/n! replaced by an orthonormal family of "special functions" of the form , where . Such expansions are called the chromatic expansions. Our main results relate the convergence of the chromatic expansions to the asymptotic behavior of the coefficients appearing in the three term recurrence satisfied by the corresponding family of orthogonal polynomials P^M_n(ω). Like the truncations of the Taylor expansion, the truncations of a chromatic expansion at t = t₀ of an analytic function f(t) approximate f(t) locally, in a neighborhood of t₀. However, unlike the values of f⁽ⁿ⁾(t₀), the values of the chromatic derivatives Kⁿ[f](t₀) can be obtained in a noise robust way from sufficiently dense samples of f(t). The chromatic expansions have properties which make them useful in fields involving empirically sampled data, such as signal processing.