arxiv:179.3168v1 [math.ca] 1 Sep 217 On moduli of smoothness and averaged differences of fractional order Yurii Kolomoitsev 1 Abstract. We consider two types of fractional integral moduli of smoothness, which are widely used in theory of functions and approximation theory. In particular, we obtain new equivalences between these moduli of smoothness and the classical moduli of smoothness. It turns out that for fractional integral moduli of smoothness some pathological effects arise. 1. Introduction Let T = [, 2π) be the circle. As usual, the space L p T), < p <, consists of measurable functions which are 2π-periodic and ) 1 1 f p = fx) p p dx <. 2π T For simplicity, by L T) we denote the space of all 2π-periodic continuous functions on T which is equipped with the norm f = max x T fx). The classical fractional) modulus of smoothness of a function f L p T), < p, of order > and step h > is defined by 1.1) ω f, h) p = sup δ f p, <δ<h where ν) = 1)... ν+1) ν!, δ fx) = ) = 1. ν= ) 1) ν fx + νδ), ν 21 Mathematics Subject Classification. Primary 26A33; Secondary 47B39, 33E3, 42A45, 42A1. Key words and phrases. modulus of smoothness, averaged differences, fractional order, Fourier multipliers. 1 Universität zu Lübeck, Institut für Mathematik, Ratzeburger Allee 16, 23562 Lübeck. E-mail address: kolomoitsev@math.uni-luebeck.de. 1
2 YURII KOLOMOITSEV For solving particular problems, the usage of the classical modulus of smoothness may be technically very difficult or its application cannot give sharp and meaningful results. Therefore, it arises the necessity to employ modifications of the classical moduli of smoothness. Thus, in the papers [4], [8], [9], [12], [13], [23], [22] different means of averaging of finite differences and their modifications have been studied and applied for solving several problems of approximation theory. As a rule, to construct such modifications special moduli of smoothness) one replaces the shift operator τ h fx) = fx + h) by some smoothing operator, for example, by the Steklov means. In this paper, we consider two types of special moduli of smoothness given by the following formulas: 1.2) w f, h) p = 1 h and 1.3) ω f, h) p = 1 h h h ) 1 p 1 δ f p 1 p dδ δ f )dδ p, where >, h >, and p 1 = min1, p). Sometimes, the moduli 1.2) and 1.3) are called the integral moduli of smoothness or averaged differences. The modulus w f, h) p is well known and it has been often applied for solving different problems of approximation theory, see e.g. [3, Ch. 6, 5], [4], [12], [13]. The modulus ω f, h) p has been introduced and studied in [21], see also [22] and [24, Ch.8], in which it is also called the linearized modulus of smoothness. Some applications of the modulus ω f, h) p as well as some of its modifications can be found in [1], [6], [9], [1], and [23]. Note that 1.2) has sense for all function f L p T) with < p, while 1.3) can be defined only for integrable functions f. At the same time, 1.3) has some advantages. One of them concerns the direct application of the method of Fourier multipliers. Recall that a numerical sequence {λ k } k Z is a Fourier multiplier in L p T), if for all functions f L p T), 1 p, the series k Z λ k fk e ikx, fk = 1 2π 2π is the Fourier series of a function Λf L p T) and fx)e ikx dx, {λ k } Mp = Λ Lp Lp = sup Λf p < f p 1 see, e.g., [16, Ch. I and Ch. VI]). Let us illustrate how the method of Fourier multipliers can be used in relation to the modulus ω f, h) p. It is easy to see that the Fourier series of the averaged difference 1 h h δ 1.4) fx)dδ can be written as follows ψ kh) f k e ikx, k Z
ON MODULI OF SMOOTHNESS AND AVERAGED DIFFERENCES 3 where the function ψ is defined by ψ t) = 1 1 e itϕ ) dϕ here and throughout, we use the principal branch of the logarithm). Thus, if we want to obtain, for example, an inequality of the form λ k h) f p k e ikx Cp, ) ω f, h) p, k Z we need only to verify that the sequence {λ k h)/ψ hk)} k Z is a Fourier multiplier in L p T) and { sup λk h) Cp, ), h> ψ kh)} M p see also Lemma 3.5 below. This method has been used, e.g., in [9] and [23], see also [24, Ch. 8]. In approximation theory, it is important to ascertain whether a special modulus of smoothness is equivalent to the classical modulus of smoothness ω f, h) p. For the moduli of smoothness 1.2) and 1.3) with N, this problem is well studied. In particular, for all f L p T), 1 p, N, and h >, we have 1.5) w f, h) p ω f, h) p ω f, h) p, where is a two-sided inequality with positive constants independent of f and h. The equivalence w f, h) p ω f, h) p, which also holds in the case < p < 1, was proved in [3, p. 185], see also [12, Theorem 1] and [13, Theorem 3.1]. The proof of the second equivalence in 1.5) can be found in [22] see also [24, Theorem 8.4.1] for similar results in the Hardy spaces H p ). The main purpose of this paper is to investigate relations 1.5) for positive N. Is easy to see that for any > and 1 p, by Minkovsky s inequality and trivial estimates, we have 1.6) ω f, h) p w f, h) p ω f, h) p. Concerning the inverse inequalities, we have an unexpected result. In Theorem 2.2 below, we show that there exist f x) const, >, and h > such that 1.7) ω f, h ) p =. Since ω f, h) p > for all fx) const and h >, 1.7) implies that for any C > and particular > the inequality ω f, h) p C ω f, h) p does not hold in general. At the same time, we have a standard situation for w f, h) p : for all f L p T), < p, >, and h > see Theorem 2.1 below). ω f, h) p Cp, )w f, h) p
4 YURII KOLOMOITSEV In the paper, we propose several ways to overcome the pathological property 1.7). In particular, we show that the following modification of 1.3) can be used instead of the modulus ω f, h) p, ωf, h) p = 1 h h p δ 1 {} δ 2 f )dδ 1 dδ 2, h 2 where and {} are the floor and the fractional part functions of, respectively. In Theorem 2.5 below, we prove that ω f, h) p is equivalent to the classical modulus of smoothness for all >. At the same time, ω f, h) p is a convenient modulus in the sense of applications of Fourier multipliers. Finally, we note that property 1.7) seems to be very unnatural for moduli of smoothness. However, even in the study of the approximation of functions by some classical methods, for example by Bernstein-Stechkin polynomials, it has been arisen the necessity to construct special moduli of smoothness for which a condition of type 1.7) holds see [23]). One has a similar situation for some non-classical methods of approximation see [1]). The paper is organized as follows. In Section 2, we present the main results. In Section 3, we formulate and prove auxiliary results. In Section 4, we prove the main results of the paper. We denote by C some positive constant depending on the indicated parameters. As usual, Af, h) Bf, h) means that there exists a positive constant C such that C 1 Af, h) Bf, h) CAf, h) for all f and h. 2. Main results We start from the modulus w f, h) p, for which we have a quite standard result in the following theorem. Theorem 2.1. Let f L p T), < p, N 1/p 1 1, ), and h, 1). Then w f, h) p ω f, h) p. The next theorem is the key result of the paper. Theorem 2.2. There exists a set { k } k= such that 4, 5), k as k, and the following assertions hold: i) for each function f L p T), 1 p, and for all, ) N and h, 1) we have ω f, h) p ω f, h) p ; ii) for each k Z + there exists t k > 2π such that for any n Z \ {} we have 1 h h k δ e nx)dδ =, x T, where e n x) = e inx and h = t k / n. In particular, for all < p, we have 2.1) ω k e n, h) p =.
ON MODULI OF SMOOTHNESS AND AVERAGED DIFFERENCES 5 Theorem 2.2 implies that, for small values of, the modulus 1.3) has the same properties as the classical modulus of smoothness 1.1), but for some > 4 the modulus 1.3) has a pathological behaviour. In the next results, we show several ways to overcome the effect of 2.1). In particular problems of approximation theory, it is enough to know the behaviour of moduli of smoothness on a set of trigonometric polynomials. It turns out that one can reduce the influence of property 2.1) in such situation. Let T n be the set of all trigonometric polynomials of order at most n, { n } T n = T x) = c ν e iνx : c ν C. ν= n Theorem 2.3. Let 1 p, >, and n N. Then for each T n T n and for each h, 1/n) we have ω T n, h) p ω T n, h) p. Remark 2.1. Theorem 2.3 is also true in the case < p < 1. This follows from the proof of Theorem 2.3 presented below and the corresponding results in [7]. Another way to reduce the effect of 2.1) is adding to ω f, h) p a quantity that has a better behaviour than the classical modulus of smoothness. For this purpose, one may use the error of the best approximation. As usual, the error of the best approximation of a function f in L p by trigonometric polynomials of order at most n is given by E n f) p = inf T T n f T p. Recall the well-known Jackson inequality: for all f L p, < p, r N, and n N we have 2.2) E n f) p Cω r f, 1 ) n where C is a constant independent of f and n see [15] for 1 p and [18] for < p < 1; see also [5], [13], and [17]). Theorem 2.4. Let f L p T), 1 p, >, and h, 1). Then, p ω f, h) p ω f, h) p + E [1/h] f) p. Finally, let us consider a modification of 1.3). Let > α >. Denote ω; αf, h) p = 1 h h p α δ 1 α δ 2 f )dδ 1 dδ 2. h 2 It is easy to see that is the main parameter in the above modulus of smoothness. Theorem 2.5. Let f L p T), 1 p, and > and α, 4] be such that α Z +. Then for all h, 1) we have ω ; αf, h) p ω f, h) p.
6 YURII KOLOMOITSEV 3. Auxiliary results 3.1. Properties of the differences and moduli of smoothness. Let us recall several basic properties of the differences and moduli of smoothness of fractional order see [2, 3, 14, 19]). For f, f 1, f 2 L p T), < p, h >, and α, N 1/p 1 1, ), we have a) h f 1 + f 2 )x) = h f 1x) + h f 2x); b) α h hf)x) = α+ h fx); c) h f p C, p) f p ; d) ω f, δ) p is a non-negative non-decreasing function of δ such that lim δ + ω f, δ) p = ; e) ω f 1 + f 2, δ) p 2 1 1 ) p 1 ω f 1, δ) p + ω f 2, δ) p ; f) ω α+ f, δ) p Cα, p)ω f, δ) p ; g) for λ 1 and N, ω f, λδ) p C, p)λ + 1 p 1 1 ω f, δ) p. We will use the following Boas type inequality. Lemma 3.1. Let < p, >, n N, and < δ, h π/n. Then for each T n T n we have h h T n p δ δ T n p, where is a two-sided inequality with absolute constants independent of T n, h, and δ. In the case 1 p, Lemma 3.1 follows from [2, 4.8.6 and 4.12.18] for integer ), and [19] for any positive ). In the case < p < 1, it follows from [4] for integer ) and from [7] for any positive ). 3.2. Properties of the function ψ t). Everywhere below we set z t) = tψ t) = t 1 e iϕ ) dϕ. The next lemma is a key result for proving Theorem 2.2 i). Lemma 3.2. See [22]). Let > and ψ t) for t R \ {}. Then for each function f L p T), 1 p, and h > we have ω f, h) p C) ω f, h) p. The following result was proved in [24, 8.3.5 b)] by using Lindemann s classical theorem about the transcendence of values of the exponential function. Lemma 3.3. If N, then ψ t) for all t R \ {}. Thus, combining Lemma 3.3 and Lemma 3.2, we get the proof of Theorem 2.2 i) for N. Below, we obtain some unexpected properties of ψ for non-integer. The following lemma is the main auxiliary result for proving Theorem 2.2 in the case N.
ON MODULI OF SMOOTHNESS AND AVERAGED DIFFERENCES 7 Lemma 3.4. There exists a set { k } k= such that 4, 5), k as k, and i) for all, ) we have 3.1) z t) for t R \ {}; ii) for each k Z + there exists t k > 2π such that z k t k ) = ; iii) for all, ) we have z t) for < t < π. Proof. The proof of i). First let us derive basic properties of the function z. By simple calculation, we get ) ν sin νt 3.2) x t) = Re z t) = t + 1) ν ν and These equalities imply that y t) = Im z t) = ν=1 ν=1 ) ν 1 cos νt 1). ν ν 3.3) x t) = x t) and y t) = y t), t R. Thus, to prove the lemma, it is enough to consider only the case t >. It is easy to see that for t [, 2π] we have 3.4) x t) = 2π x 2π t) = x 2π + t) 2π, 3.5) y t) = y 2π t) = y 2π + t), and Denote x πk) = πk, y 2πk) =, k Z +. γ,k = {z t), 2πk t < 2πk + 1)} and γ = γ,k. Equalities 3.4) and 3.5) imply that the curve γ, is symmetric with respect to the line x = π on the complex plane C. We also have that 3.6) γ,k+1 = γ,k + 2π, k Z +. See on Figure 1 the form of the curves γ,k in the cases = 4 and k =, 1, 2. Note that for t [, 2π] the following equalities hold 3.7) x t) = 2 t π)/2 cos ϕ 2 cos ϕ ) dϕ and 3.8) y t) = 2 π/2 t π)/2 π/2 sin ϕ 2 cos ϕ ) dϕ. k=
8 YURII KOLOMOITSEV Therefore, x t) = cos t π) 2 2 sin t ) and y t π) 2 t) = sin 2 sin t. 2 2) Below, these two equalities will be often used to indicate intervals of monotonicity of the functions x and y. By Lemma 3.3, we have that if N, then z t) for all t. Now, we show that z t) for, 4) \ N and t >. We split the proof of this fact into several cases. The simplest case is, 1). Indeed, by 3.7) and 3.6), we have that x t) > for t >. This obviously implies 3.1). The next case 1, 2) is also simple. In this case, by 3.8), 3.5), and 3.6), we get that y t) < for all t R + \ {2πk} k Z+, and x 2πk) = 2πk, k Z +. Hence, z t) for all t >. In what follows we deal only with the case 3, 4). The proof of the lemma in the case 2, 3) is similar to the arguments presented below. First, let us consider the curve γ, for 3, 4). Let and I 1 =, π1 3/)] I j = π1 5 j)/), π1 4 j)/)], j = 2, 3, 4. We are going to show that for each j {1, 2, 3, 4} 3.9) z t), t I j. 1) The case j = 1. In this case, 3.9) easily follows from the fact that the functions x and y are strictly increasing and positive on I 1. 2) The case j = 2. We have x π 1 2 )) = 2 < 2 π π/2 2 cos 3π 2 cos ϕ 2 cos ϕ ) dϕ ) sin π 2 <. Thus, the function x is strictly decreasing and changes the sign from + to on I 2. At the same time, the function y is strictly increasing and positive on I 2. The last fact implies 3.9) for j = 2. )) 3) The case j = 3. Let us show that y π 1 1 <. We have 2 y π 1 1 )) = { 3π/2 π = + + π/2 3π/2 = S 1 + S 2 + S 3. π/2 π/2 π/2 sin ϕ 2 cos ϕ ) dϕ π } sin ϕ 2 cos ϕ ) dϕ
ON MODULI OF SMOOTHNESS AND AVERAGED DIFFERENCES 9 One can estimate the integrals S i, i = 1, 2, 3, by the following way: S 1 < 2 cos 3π ) cos π 2 2 < 2 cos 3π 8 S 2 = < { 5π/4 3π/2 2 cos 5π 16 ) 3 = 2 2) 3/2, } π + sin ϕ 2 cos ϕ ) dϕ 5π/4 ) 4 1 2 + 2 cos π ) 1 1/ 2), and { 3π/4 S 3 = + < π π/2 3π/4 } 2 cos π ) 1/ 2 1) sin ϕ 2 cos ϕ ) dϕ 2 cos π ) 3 1 2. 4 Combining the above estimates for S i, we get y π 1 1 )) < 2 [ 2 2) 3/2 + 1 2 cos 5π ) 4 )] 2 3/2 <. 3 2 16 We have that the functions x and y are strictly decreasing, the function y changes the sign from + to, but x is negative on I 3. Combining these facts, we get that 3.9) holds for j = 3. 4) The case j = 4. We have that the function y is strictly decreasing and negative on I 4, the function x is strictly increasing and changes the sign from to + on this interval. Therefore, z t) for all t I 4. Thus, we have shown that z t) for all t, π]. Taking into account that the curve γ, is symmetric with respect to the line x = π, we get that z t) for all t π, 2π], too. Now let us consider the curves γ,k for k N. In view of 3.6), to finish the proof of part i) we need to show that 3.1) γ,1 {z C : Re z > }. Note that γ,1 = γ, + 2π. Thus, to verify 3.1) we only need to investigate the extremal points of the function x t) for all 3, 4) and 2π t 4π. From the results obtained above, it follows that the points τ = π3 3/), τ 1 = π3 1/), τ 2 = π3 + 1/), and τ 3 = π3 + 3/) are extremal for x t). It is easy to see that it is enough to consider x at the points τ 1 and τ 3 see Figure 1).
1 YURII KOLOMOITSEV Figure 1. Simple estimates show that x τ 3 ) = 4π x π1 3/)) >. We also have 3.11) x τ 1 ) = 2π + x π 1 1 )). Using 3.7), we get 3.12) x π 1 1 )) { 3π/2 = + π/2 = S 1 + S 2. π/2 3π/2 } 2 cos ϕ 2 cos ϕ ) dϕ It is evident that S 1 >. The integral S 2 can be estimated by the following way S 2 = 2 5 πk/4 cos ϕ 2 cos ϕ ) dϕ 3.13) > 2 = 2 k=2 5 k=2 πk+1)/4 2 cos πk 16 ) πk/4 [ 1 1 2 ){ 2 cos 5π 16 cos ϕdϕ πk+1)/4 + 1 2 { 2 cos π 4 ) + 2 cos π 8 ) } ) + 2 cos 3π ) }]. 16 From 3.13), taking into account that the function fx) = a x /x is increasing for a > 1 and x > 1, we get S 2 > 1 [ 1 1 ){ 2 cos 5π ) 4 + } 2 + 2) 2 2 2 16 + 1 2 {2 2 + 2 cos 3π ) 4 }] > 2π. 16 The last estimate together with 3.12) and 3.11) implies that x τ 1 ) >. Therefore, we have 3.1). Finally, combining 3.1) and 3.6), we prove the first part of Lemma 3.4.
ON MODULI OF SMOOTHNESS AND AVERAGED DIFFERENCES 11 The proof of ii). To prove the second part of the lemma, it is enough to investigate the curve Γ,1 = {z t) : π3 2/) t 3π} for [4, 5] see Figure 2 below). By analogy with the proof of the first part of the lemma, taking into account the equality we get Γ,1 = {z t) : π1 2/) t π} + 2π, 3.14) y π3 2/)) > and y 3π) < for all [4, 5]. Moreover, the functions x and y are strictly decreasing on [π3 2/), π3 1/)). At the same time, we see that the function x is strictly increasing and y is strictly decreasing on [π3 1/), 3π]. Combining these facts, we have that the curve Γ,1 intersects the line y = only once. Thus, one can define the function ϑ : [4, 5] π3 2/), 3π) by the rule 3.15) y [π3 2/),3π] ϑ)) =, where y A denotes a restriction of the function y on some set A. Let us consider the function F ) = x ϑ)). We need to verify that F ) is a continuous function on the interval 4, 5). First, let us show that the function ϑ) is continuous on 4, 5). Let 4 < 5. Without loss of generality, we can suppose that ϑ ) < ϑ ). Using 3.15), 3.5), and 3.8), we obtain 3.16) y ϑ )) y ϑ )) = y ϑ )) = y ϑ )) y ϑ )) = y ϑ ) 2π) y ϑ ) 2π) = 2 2 ϑ ) 3π) sin ϕ 2 cos ϕ ) dϕ. 2 ϑ ) 3π) By 3.16) and the mean value theorem, there exists a point ξ ϑ ) 3π)/2, ϑ ) 3π)/2) such that 3.17) y ϑ )) y ϑ )) = sin ξ 2 cos ξ ) ϑ ) ϑ )). By 3.14) and continuity of y t), there exists a sufficiently small δ > such that π 3 2/) + δ < ϑ) < 3π δ. Therefore, we get π + 2δ < π + δ 2 < ξ < δ 2 < 2δ.
12 YURII KOLOMOITSEV Taking into account these inequalities, we obtain 3.18) sin ξ 2 cos ξ ) π > sin2δ) 2 cos 4 δ )) 4 = Cδ) >. 2 Thus, by 3.17) and 3.18), we have 3.19) ϑ ) ϑ ) < 1 Cδ) y ϑ )) y ϑ )). Since y t) is a continuous function of, from 3.19), we get that the function ϑ) is also continuous on 4, 5). Now, taking into account that x t) is continuous on 4, 5) 2π, 3π), we get that the function F ) is continuous on 4, 5). Next, from 3.1), we get that F 4) >. Thus, if we show that F 5) <, then, by the intermediate value theorem, we can find 4, 5) such that F ) =. This and 3.15) will imply that z f )) =. Indeed, it is easy to see that the functions x 5 and y 5 are strictly decreasing on 13π/5, 3π). Thus, to prove the existence of a point t 13π/5, 3π) such that x 5 t ) < and y 5 t ) =, it is enough to verify that the origin of Γ 5,1 lies in the first quadrant, the extremal point of the curve relating to the extremal point of the function x 5 ) lies in the third quadrant, and there exists an intermediate point that lies in the second quadrant. Figure 2. Performing simple calculation, we can verify that the origin of the curve Γ 5,1 takes the value z 5 13π/5) 3.622 + i2.327, that is it belongs to the first quadrant; since z 5 14π/5) 2.83 i5.632, the point z 5 14π/5), which is the extremal point of the curve Γ 5,1, belongs to the third quadrant; since z 5 27π/1).413 + i.54, the intermediate point z 5 27π/1) belongs to the second quadrant see also Figure 2 in which 4 < < 4.5 and 4.85).
ON MODULI OF SMOOTHNESS AND AVERAGED DIFFERENCES 13 Now, let us prove assertion ii) for any k N. First, we show that for each > 4 3.2) y π 1 2 )) > and y π 1 1 )) <. Let us verify the first inequality. The second one can be proved similarly. Let k be the smallest natural number such that π/2 2k + 1)π. Then, using 3.8), we have 2 y π 1 2 )) { π2k +1) 1 = + π 2 = S 1 + S 2. k=k 2k 1)π 2k+1)π } sin ϕ 2 cos ϕ ) dϕ It is evident that S 1. Thus, to verify 3.2), it is enough to show that S 2 >. But this easily follows from the fact that for each k N we have 2k 1)π sin ϕ 2 cos ϕ ) dϕ 2k+1)π > 2 cos 2πk ) { 2kπ + 2k+1)π 2k 1)π 2kπ } sin ϕdϕ =. By analogy with the proof of part i), we see that the function y is strictly decreasing and changes the sign from + to on π1 2/), π) for all > 5. Therefore, as above, for any > 5 one can define a function θ : [5, ) π 1 2/), π 1 1/)) by the rule y π1 2/),π1 1/)) θ)) =. Let us show that for n N one has 3.21) x 2n π 1 1 )) as n. n Indeed, 3.2) implies that x 2n π 1 1 )) = π 1 1 ) + n n 2n ν=1 Using the formula ) 2n ν = 2n ) n ν = 2n ν+n), we derive 2n ν=1 ) 2n 1) ν sin π ν ν 1 1 n ) ν = = 2n ν=1 ) 2n 1) ν sin π 1 1 ) ν. ν ν n n ν=1 ) 2n 1 ν ν 2n ν sin πν n ) 1 ν 1 ν + n ) sin πν n.
14 YURII KOLOMOITSEV Combining these equalities and the well-known asymptotic of the binomial coefficients ) 2n 4n as n, n πn we obtain that 3.21) is fulfilled. Now, the decreasing of the function x t) on π 1 2/), π 1 1/)) and 3.21) imply that for any N 2N one can find N 1 2N such that )) x N1 θn 1 )) < x N1 π 1 2N1 < x N θn )). At that, choosing N 1 to be sufficiently large number, we obtain that x N θn )) x N1 θn 1 )) > 2π. Then, taking into account 3.6), one can choose k 1 N such that 3.22) x N1 θn 1 ) + 2πk 1 ) < and x N θn ) + 2πk 1 ) >. Denote F 1 ) = x θ) + 2πk 1 ). By analogy with the above proof of ii) in the case k =, we can show that the function F 1 ) = x θ) + 2πk 1 ) is continuous. Then, taking into account 3.22) and applying the intermediate value theorem to F 1, we can find the points t 1 > π1 2/N ) + 2πk 1 and 1 > such that z 1 t 1 ) =. Repeating this scheme, we obtain infinite sets of points { k } k Z+ and {t k } k Z+, for which assertion ii) holds. The proof of iii). Suppose to the contrary that there exists t, π) such that for some > 4 one has 3.23) ψ t ) =. Then from 3.7) and 3.8), we get This equality implies that 2 t and, therefore, one has 3.24) 2πl ϕ 2 t e iϕ sin ϕ ) dϕ =. sinϕ ϕ ) sin ϕ ) dϕ = sin ϕ sin ϕ ϕ ) dϕ =, where we put ϕ = 2πl t /2 and l = min{l N : t /2 2πl}.
ON MODULI OF SMOOTHNESS AND AVERAGED DIFFERENCES 15 From 3.24), we obtain 2π sin ϕ ϕ ) sin ϕdϕ ϕ 3.25) l 1 2πj+1) + sin ϕ ϕ ) sin ϕdϕ = j=1 2πj if l = 1, then this sum contains only one term). It is easy to see that all summands in the above sum are negative. Indeed, it is obvious that for ϕ [π, 2π) we have 2π sin ϕ ϕ ) sin ϕdϕ <. At the same time, if ϕ [, π), then 2π sin ϕ ϕ ) { π sin ϕdϕ = ϕ < sin π ϕ ) π sin ϕdϕ + ϕ ϕ 2π + ϕ π sin π ϕ } sin ϕ ϕ ) sin ϕdϕ ) 2π sin ϕdϕ <. By analogy, we can prove that for any l > 1 and j = 1,..., l 1 one has 2πj+1) sin ϕ ϕ ) sin ϕdϕ <. 2πj Thus, the sum in 3.25) is negative, which is a contradiction to 3.23). 3.3. Properties of Fourier multipliers. To prove Theorems 2.3 and 2.5, we need some facts about Fourier multipliers {λ k } k Z. In the case λ k = gεk), g CR), ε >, it is important to ascertain whether the function g lies in the Banach algebra BR) = { g : gt) = e itu dµu), π } g B = varµ <, where µ is a complex Borel measure which is finite on R, and var µ is the total variation of µ. The point is that for any 1 p, we have sup ε> {gεk)} Mp sup {gεk)} M1 = g B ε> see [16] or [24, Ch. 7]). In what follows, we will use the following comparison principle see [24, 7.1.11 and 7.1.14]). Lemma 3.5. Let ϕ and ψ belong to CR) and Φ ε f; x) k Z ϕεk) f k e ikx, Ψ ε f; x) k Z ψεk) f k e ikx, f L 1 T),
16 YURII KOLOMOITSEV where the series on the right are Fourier series. f L p T), 1 p, and ε > we have Φ ε f) p g B Ψ ε f) p. If g = ϕ/ψ BR), then for all To verify that the function g belongs to BR), one can use the following Beurling s sufficient condition see [24, 6.4.2] or the survey [11]). Lemma 3.6. Let a function g be locally absolutely continuous on R, g L 2 R), and g L 2 T). Then g B C g L2 R) + g L2 R)). 4. Proofs of the main results Proof of Theorem 2.1. The inequality w f, h) p Cω f, h) p is obvious. Let us prove the converse inequality. Let n N be such that n = [1/h] and let T n T n be polynomials of the best approximation of f in L p T), that is f T n p = E n f) p. By properties e) and f) of the modulus of smoothness and Lemma 3.1 for δ h/2, h), we obtain 4.1) ω f, h) p 1 p ω f T n, h) p 1 p + ω T n, h) p 1 p C f T n p 1 h p + δ C f T n p 1 p + δ f p 1 p ) p1 δ T n p 1 p ). ) Integrating inequality 4.1) by δ over h/2, h) and applying the Jackson inequality 2.2) and g), we get ω f, h) p 1 p C E n f) p 1 p + 1 h ) δ h f p 1 p dδ 4.2) C C ω r f, 1 ) p1 n p ω r f, h) p 1 p + 1 h h/2 h + 1 h h δ f p 1 p dδ ) δ f p 1 p dδ, where we take r = + α N with α > 1/p 1 1. Next, using the first equivalence from 1.5) for all < p and c), we obtain 4.3) ω r f, h) p 1 p C h C h h h r δf p 1 p dδ = C h δ f p 1 p dδ. h ) α δ δ f p 1 p dδ Finally, combining 4.2) and 4.3), we get ω f, h) p Cw f, h) p.
ON MODULI OF SMOOTHNESS AND AVERAGED DIFFERENCES 17 Proof of Theorem 2.2. The proof of i) easily follows from Lemma 3.2, Lemma 3.4 i), and 1.5). The proof of ii). By 1.4), we have 1 h h k δ e nx)dδ = ψ k sign n t k )e n x). It remains only to take into account that by Lemma 3.4 ii) and equalities 3.3) one has ψ k ±t k ) =. Proof of Theorem 2.3. It is obvious that ω T n, h) p ω T n, h) p. Let us show 4.4) ω T n, h) p C ω T n, h) p for all h, 1/n). Denote g θ t) = 1 eiθt ) vt), θ, 1), ψ t) where v C R), vt) = 1 for t 1 and vt) = for t > 2. Note that 4.5) δ fx) k Z1 e ikδ ) fk e ikx, f L 1 T). Thus, by Lemma 3.5, to prove 4.4) it is enough to verify 4.6) sup g θ B <. θ,1) By Lemma 3.4 iii) we have that ψ t) for < t < π. Moreover, it is easy to see that g θ C R) and sup θ,1) g k) θ L R) < for each k Z +. Thus, using Lemma 3.6 we see that 4.6) holds. Proof of Theorem 2.4. In view of 1.6), we only need to verify that 4.7) ω f, h) p C ω f, h) p + E [1/h] f) p ). Let n = [1/h] and let T n T n be such that f T n p = E n f) p. Using properties e) and f) and Theorem 2.3, we obtain ω f, h) p ω f T n, h) p + ω T n, h) p C f T n p + ω T n, h) p C f T n p + ω f, h) p C ω f, h) p + E [1/h] f) p ). Thus, we have 4.7). Proof of Theorem 2.5. First let us prove that 4.8) ω ; αf, h) p Cω f, h) p.
18 YURII KOLOMOITSEV Let n = [1/h] and let T n T n be such that f T n p = E n f) p. Then, by properties a), b), c), and g), and the Jackson inequality 2.2), we derive ω ; αf, h) p ω ; αf T n, h) p + ω ; αt n, h) p 4.9) C f T n p + ω ; αt n, h) p Cω f, h) p + ω ; αt n, h) p. Thus, it remains to show 4.1) ω ; αt n, h) p Cω f, h) p. By Lemma 3.1 with < δ 1, δ 2 < h and by b) and c), we obtain 4.11) α δ 1 α δ 2 T n p C α h α δ 1 T n p = C α δ 1 α h T n p C h T n p Cω T n, h) p. At the same time, as above, by e), f), and 2.2), we get 4.12) ω T n, h) p C f T n p + ω f, h) p Cω f, h) p. Now, by the definition of ω ; α f, h) p, 4.11), and 4.12), inequality 4.1) easily follows. Combining 4.9) and 4.1), we get 4.8). To prove the converse inequality 4.13) ω f, h) p Cω ; αf, h) p, we use the de la Vallée-Poussin means of f given by V h f; x) = k Z v kh) f k e ikx, where the function v is defined in the proof of Theorem 2.4 in addition we suppose that vt) 1 for all t R). By property e), we have ω f, h) p ω V h f), h) p + ω f V h f), h) p. Therefore, the proof of 4.13) will follows from the following two inequalities and ω V h f), h) p Cω ; αf, h) p 4.14) ω f V h f), h) p Cω ; αf, h) p. The first inequality can be verified by repeating the proof of Theorem 2.3 with the function g 1,θ t) = 1 eiθt ) vt) ψ α t)ψ α t) instead of g θ. Let us verify that 4.14) holds. By Lemma 3.5 and 4.5) it is enough to check that g 2,θ t) = 1 eiθt ) 1 vt)) ψ α t)ψ α t) BR)
and ON MODULI OF SMOOTHNESS AND AVERAGED DIFFERENCES 19 4.15) sup g 2,θ B <. θ,1) Indeed, it is easy to see that 4.16) 1 e iθ ) ) B 2. At the same time we have that ψ α BR), ψ α t) for t R \ {}, and lim t ψ α t) = 1. Thus, by the Wiener-Lévy theorem see [11, Theorem 4.4]), we get 4.17) By analogy, we have 4.18) 1 vt)) 1/2 ψ α t) 1 vt)) 1/2 ψ α t) BR). BR). Finally, combining 4.16) 4.18) and taking into account that BR) is the Banach algebra, we derive 4.15) and, therefore, 4.14). Theorem 2.5 is proved. Acknowledgements The author thanks to R.M. Trigub for the proposed problem and to A.A. Dovgoshey for the valuable discussions. This research has received funding from the European Union s Horizon 22 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 743. References [1] R. Akgün, Realization and characterization of modulus of smoothness in weighted Lebesgue spaces. St. Petersburg Math. J. 26, No 5 215), 741 756. [2] P.L. Butzer, H. Dyckhoff, E. Görlich, R.L. Stens, Best trigonometric approximation, fractional order derivatives and Lipschitz classes. Can. J. Math. 29 1977), 781 793. [3] R.A. DeVore, G.G. Lorentz, Constructive Approximation. Springer-Verlag, New York 1993). [4] Z. Ditzian, V. Hristov, K. Ivanov, Moduli of smoothness and K-functional in L p, < p < 1. Constr. Approx. 11 1995), 67 83. [5] V.I. Ivanov, Direct and inverse theorems of approximation theory in the metrics L p for < p < 1. Math. Notes 18, No 5 1975), 972 982. [6] V. Kokilashvili, S. Samko, A refined inverse inequality of approximation in weighted variable exponent Lebesgue spaces. Proc. A. Razmadze Math. Inst. 151 29), 134 138. [7] Yu. Kolomoitsev, The inequality of Nikolskii-Stechkin-Boas type with fractional derivatives in L p, < p < 1. Russian) Tr. Inst. Prikl. Mat. Mekh. 15 27), 115 119. [8] Yu. Kolomoitsev, On moduli of smoothness and K-functionals of fractional order in the Hardy spaces. J. Math. Sci. 181, No 1 212), 78 97; translation from Ukr. Mat. Visn. 8, No 3 211), 421 446.
2 YURII KOLOMOITSEV [9] Yu.S Kolomoitsev, Approximation properties of generalized Bochner-Riesz means in the Hardy spaces H p, < p 1. Russian) Mat. Sb. 23, No 8 212), 79 96; translation in Sb. Math. 23, No 7-8 212) 1151 1168. [1] Yu.S. Kolomoitsev, R.M. Trigub, On the nonclassical approximation method for periodic functions by trigonometric polynomials. J. Math. Sci. N. Y.) 188, No 2 213), 113 127. [11] E. Liflyand, S. Samko, R. Trigub, The Wiener algebra of absolutely convergent Fourier integrals: an overviev, Anal. Math. Phys. 2, No 1 212), 1 68. [12] N.N. Pustovoitov, An estimate for the best approximations of periodic functions by trigonometric polynomials in terms of averaged differences, and the multidimensional Jackson theorem. Russian) Mat. Sb. 188, No 1 1997), 95 18; translation in Sb. Math. 188, No 1 1997), 157 152. [13] K.V. Runovskii, On approximation by families of linear polynomial operators in the spaces L p, < p < 1. Russian) Mat. Sb. 185, No 8 1994), 81 12; translation in Russian Acad. Sci. Sb. Math. 82, No 2 1995), 441 459. [14] S.G. Samko, A.A. Kilbas, O.I. Marichev, Fractional Integrals and Derivatives. Theory and Applications. Gordon & Breach Science Publishers, New-York 1993). [15] S.B. Stechkin, On the order of the best approximations of continuous functions. Russian) Izv. Akad. Nauk SSSR Ser. Mat. 15, No 3 1951), 219 242. [16] E. Stein, G. Weiss, Introduction to Fourier Analysis on Euclidean Spaces. Princeton University Press, Princeton 1971). [17] E.A. Storozhenko, V.G. Krotov, P. Oswald, Direct and converse theorems of Jackson type in L p spaces, < p < 1. Math. USSR-Sb. 27 1975), 355 374. [18] E.A. Storozhenko, P. Oswald, Jackson s theorem in the spaces L p R k ), < p < 1. Russian) Sibirsk. Mat. Z. 19, No 4 1978), 888 91. [19] R. Taberski, Differences, moduli and derivatives of fractional orders. Commentat. Math. 19 1976-77), 389 4. [2] A.F. Timan, Theory of approximation of functions of a real variable, International Series of Monographs on Pure and Applied Mathematics, Vol. 34, Pergamon Press, Oxford etc. 1963). [21] R.M. Trigub, Summability of Fourier series and certain questions of Approximation Theory. Deposited in VINITI, 5145-8 198) Russian). [22] R.M. Trigub, Fourier multipliers and K-functionals in spaces of smooth functions. Russian) Ukr. Mat. Visn. 2, No 2 25), 236 28; translation in Ukr. Math. Bull. 2, No 2 25), 239 284. [23] R.M. Trigub, The exact order of approximation of periodic functions by Bernstein- Stechkin polynomials. Russian) Mat. Sb. 24, No 12 213), 127 146; translation in Sb. Math. 24, No 11-12 213), 1819 1838. [24] R.M. Trigub, E.S. Belinsky, Fourier Analysis and Approximation of Functions. Kluwer- Springer 24).