Estimates of <svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" style="vertical-align:-6.80586pt;width:22.85px;" id="M1" height="24.112499" version="1.1" viewBox="0 0 22.85 24.112499" width="22.85">
	
		
			<g transform="matrix(.022,-0,0,-.022,.062,14.638)"><path id="x1D43F" d="M559 163q-23 -66 -68 -163h-474l6 26q62 4 79.5 19.5t28.5 75.5l78 409q7 35 8.5 49t-8 25t-24 13t-51.5 5l5 28h266l-6 -28q-65 -5 -79.5 -18t-25.5 -74l-76 -406q-10 -57 14 -75q12 -13 96 -13q93 0 126 29q41 40 76 109z"></path></g>

			<g transform="matrix(.016,-0,0,-.016,12.862,20.012)"><path id="x1D45D" d="M570 304q0 -108 -87 -199q-40 -42 -94.5 -74t-105.5 -43q-41 0 -65 11l-29 -141q-9 -45 -1.5 -58t45.5 -16l26 -2l-5 -29l-241 -10l4 26q51 10 67.5 24t26.5 60l113 520q-54 -20 -89 -41l-7 26q38 28 105 53l11 49q20 25 77 58l8 -7l-17 -77q39 14 102 14q82 0 119 -36
t37 -108zM482 289q0 114 -113 114q-26 0 -66 -7l-70 -327q12 -14 32 -25t39 -11q59 0 118.5 81.5t59.5 174.5z"></path></g>

		
	
</svg> Modulus of Continuity of Generalized  Bounded Variation Classes

Wang, Heping; Wu, Zhaoyang

doi:https://doi.org/10.1155/2014/201801

Journal of Function Spaces

On this page

Abstract Introduction Acknowledgments References Copyright Related Articles

Special Issue

Some Classes of Function Spaces, Their Properties, and Their Applications 2014

View this Special Issue

Research Article | Open Access

Volume 2014 | Article ID 201801 | https://doi.org/10.1155/2014/201801

Estimates of Modulus of Continuity of Generalized Bounded Variation Classes

Heping Wang¹and Zhaoyang Wu²

Academic Editor: Józef Banaś

Received28 Feb 2014

Accepted11 Apr 2014

Published04 May 2014

Abstract

Some sharp estimates of the modulus of continuity of classes of -bounded variation are obtained. As direct applications, we obtain estimates of order of Fourier coefficients of functions of -bounded variation, and we also characterize some sufficient and necessary conditions for the embedding relations . Our results include the corresponding known results of the class as a special case.

1. Introduction and Main Results

To generalize the notion of functions of bounded variation, Wiener [1] introduced the class of functions of -bounded variation. Young [2] introduced the notion of functions of -bounded variation, and Waterman [3] studied a class of -bounded variations. Combining the notion of -bounded variation with that of -bounded variation, Leindler [4] introduced the class of functions of -bounded variation, and both classes of -bounded variation and -bounded variation are its special cases. Actually the class first appeared in Schramm and Waterman’s paper [5], and some restrictions are imposed on in their definition. Here we adopt Leindler’s definition.

Definition 1. Let be a nondecreasing function with , and let be a nondecreasing sequence of positive numbers such that . Let be the set of all sequences of nonoverlapping subintervals in . If for any , a real valued function satisfies the condition then is said to be of -bounded variation, and this fact is denoted by . And the quantity is said to be -total variation of .
In the special case when , is said to be of -bounded variation, and we write and , and if , is said to be of -bounded variation, and we denote and .
In the case , we get the class of -bounded variation, and is said to be of -bounded variation, and we denote . More specifically, when , we say that is of -bounded variation, and we denote and . The class is also called the Wiener class and is the well- known class of bounded variation .
It is easily seen from the definition that functions are bounded; that is, , and the discontinuities of a function are simple and therefore at most denumerable, where denotes the class of bounded real valued functions on .
Let be a nondecreasing sequence of positive numbers such that . If a continuous and nondecreasing function on such that , and , , then we say that generates . By the nondecreasing property of , it is easily verified that if generates , then
Let be a nonnegative real-valued function on . If there exists such that , for some positive constant , then we say that satisfies the condition . If generates and satisfies the condition , we say that satisfies the condition . Obviously the condition here is a very weak restriction on and .
Let be a modulus of continuity, that is, a continuous and nondecreasing function on satisfying and for nonnegative and . As usual, for , denote by the class of functions for which , where is the modulus of continuity of . We write instead of and instead of , the Lipschitz class, for brevity.
Functions of classes , , , and are considered in trigonometric Fourier series and some of them share good approximative properties (see [1–3, 6–11], etc.). What we mention here is the following theorem proved by Shiba [12], Schramm and Waterman [5], and Wang [13]:

Theorem A. (a) If , , , and where , then the Fourier series of converges absolutely.
(b) If is , , , , and where , then the Fourier series of converges absolutely.

Embedding relations between various generalized bounded variation classes and the class (or the Lipschitz class ) are also investigated in recent years. It is well known that . For , the estimates of modulus of continuity of had been given in [13] for and in [9, 14] for . Furthermore, Goginava in [15] and Li and Wang in [9] proved that, for , For more detailed results on this topic, we refer readers to [4, 9, 10, 14–25].

In this paper, we obtain some sharp estimates of modulus of continuity of the classes in the case of that is convex. More specifically, our results include estimates of modulus of continuity of the classes , estimates of modulus of continuity of the classes , and specially estimates of modulus of the classes . Our results extend and include the corresponding known results of the class as a special case and are also sharp in most cases. As direct applications, we obtain estimates of order of Fourier coefficients of functions of -bounded variation, and we also characterize some sufficient and necessary conditions for the embedding relations and .

Now we state our main results, and in what follows, without loss of generality, we always assume that , and functions in various generalized bounded variation classes are periodic.

Theorem 2. Let be the class of functions of -bounded variation, and let generate , where is convex and is the inverse function of . Then, for , and this estimate is sharp in the sense of order provided that satisfies the condition .

Corollary 3 is a direct result of Theorem 2 by choosing and , respectively.

Corollary 3. (a) Let be the class of functions of -bounded variation, and let generate . Then, for , and this estimate is sharp in the sense of order provided that satisfies the condition .
(b) Let be the class of functions of -bounded variation, where is convex. Then, for , and this estimate is sharp in the sense of order.

The first part of Corollary 3(a) is due to Wang [13].

For special ’s, one has

Corollary 4. Let and be convex. Then(a)for , (b)for , (c)for , (d)for , (e)for , (f)for ,
The above estimates are sharp in the sense of order.

Let be an integrable function on and let its Fourier coefficients be defined as follows: We note that Theorem 2 implies the following estimates of Fourier coefficients.

Corollary 5. (a) Let be the class of functions of -bounded variation, and let generate , where is convex and is the inverse function of . Then, for ,
(b) Let be the class of functions of -bounded variation, where is convex and is the inverse function of . Then for

Corollary 5(a) includes Wang’s result [13] for the class as a special case of .

Theorem 6. Let be class of functions of -bounded variation, and let generate . Set and assume .
(a) For , and this estimate is sharp in the sense of order provided that satisfies the condition .
(b) For ,
(c) If, for some , is bounded on , then

Unfortunately we cannot assert the sharpness of our estimates in (b) and (c) of Theorem 6 for the case . Our next theorems concern some important special case of the class and elaborate on the estimates in Theorem 6. Among the classes considered here are and .

Theorem 7. (a) Let be the class of functions of -bounded variation. Then, for and , one has (i), ;(ii), .
(b) Let be the class of -bounded variation, that is, the Wiener class. Then, for and , and both estimates in (a) and (b) are sharp in the sense of order.

Li and Wang’s results in [9] are extended in the Theorems 6 and 7, which can be treated as the case of our theorems.

Theorem 8. Let . The following assertions are true.(a)For , (b)For , (c)For , (d)For , (e)For
And all above estimates are sharp in the sense of order.

Remark 9. In (e), for , we only have We do not know whether this estimate is sharp in the sense of order. However there exists such that This exception indicates that the estimates of the modulus of continuity of classes of -bounded variation are complicated, and Theorem 6 cannot cover all cases of the class .

As direct applications of the above theorems, we characterize some sufficient and necessary conditions for the embedding relations between the generalized bounded variation classes and the class (or ).

Corollary 10. On the embedding relations between the generalized bounded variation classes and the class or , the following assertions are true.(a)Let be the class of functions of -bounded variation and let be convex; let generate and satisfy the condition . Then (b)Let be the class of functions of -bounded variation and let be convex. Then (c)Let be the class of functions of -bounded variation and let generate .If, for , satisfies the condition , then If, for , is bounded on and , then .(d)Let be the class of functions of -bounded variation. Then, for , if and only if . if and only if .(e)Let be the class of functions of -bounded variation, that is, Wiener class; then, for , if and only if .

This paper is organized as follows. In Section 2, we first state three lemmas, and then by them we prove Theorem 2. Lemma 12 provides our proofs crucial upper estimates and Lemma 13 will be used repeatedly in proving the sharpness of our estimates. In Section 3, we prove Theorem 6, and the same estimate technique in [9] is partly used in our proof. Theorems 7 and 8 are proved in Section 4. For the case , the difficulty in our proofs of Theorems 7 and 8 is to prove the sharpness of our estimates and the key is to construct extreme functions by Lemma 13.

2. Proof of Theorem 2

Before we start our proof of Theorem 2, we prove three lemmas. Lemmas 11 and 12 will also be used in the proof of Theorem 6. Lemma 13 will be employed repeatedly in the proof of the sharpness of our estimates. Lemmas 12 and 13 are of independent interest for functions of -bounded variation.

Lemma 11. Let . Then is continuous on .

Proof. Using triangle inequality of norm, for any , , we have The right continuity of at implies the continuity of .

Lemma 12. Let be an arbitrary sequence of nonoverlapping intervals in , , convex, and the function of . Then, for , Specifically, if , then .

Proof. By the definition of -total variation and letting and in summation transform we have
Note that if is an increasing convex function on , then is increasing and concave on . The concavity of implies that . Therefore, by Jensen’s inequality and the above inequality, we finally get This completes the proof of Lemma 12.

Lemma 13. Let be a given set of nonnegative and nonincreasing numbers. Define a function on as and extend it to with period . Then(a) and ;(b), ;(c).

Proof. By the definition of -total variation and the nonnegative and nonincreasing properties of , direct computation proves (a). Since is nondecreasing, it is obvious that (a) implies (c). For (b), computation shows that

Now we prove Theorem 2.

Proof of Theorem 2. We write for simplicity. By Lemma 11, there exists an such that If we set and consider the periodicity of , then where From Jensen’s inequality and Lemma 12, for all , the concavity of implies Substituting (46) into (44), we get Since the right of (47) is decreasing with respect to and , the estimate in Theorem 2 is obtained from (47) directly.
Now we show that our estimate is sharp in the sense of order under the assumption that satisfies the condition .
We choose and consider function defined in Lemma 13.
We have
If satisfies the condition , that is, there exists such that , , then and this yields
From (49) and (52), we have
On the other hand, (50), the concavity and the monotonicity of imply that Obviously, (53) and (54) mean the sharpness of our estimate in Theorem 2.

Proof of Corollary 4. Obviously the ’s in Corollary 4 satisfy the condition . The proofs of (a), (b), (c), and (e) in Corollary 4 are obvious. In (d), we have and in (f), we have which complete the proofs of (d) and (f) of Corollary 4.

3. Proof of Theorem 6

In this section we prove Theorem 6. The proof of Theorem 6(a) is based on Hölder’s inequality and Lemma 12. We use techniques used by Li and Wang [9] in the proofs of (b) and (c) of Theorem 6. Lemma 12 plays a crucial role in the whole proof of Theorem 6.

Proof of Theorem 6. As in the proof of Theorem 2, it is easily seen from Lemma 11 that, for , there exists an such that where
We first prove (a). We note that for . Let satisfy . By Hölder’s inequality and Lemma 12, we have For , Lemma 12 directly yields Thus, for , we obtain Substituting (61) into (57) and noting that , we prove the desired estimate in Theorem 6(a).
If satisfies the condition , then from the proof of Theorem 2, we know that If we choose and consider the functions defined in Lemma 13, then we have Equations (64) and (65) show that the estimate in Theorem 6(a) is sharp.
Now we prove (b). Without loss of generality, we assume that and denote and . From the definition of , we first have Denote by the set of integers for which Then , and there are at most nonempty , where denotes the number of the elements in . Obviously .
Hence we have with to be determined.
From (67) and Lemma 12, we have, for , and thus Therefore, If we set , where is the inverse function of , then From the monotonicity of , it is easily verified that . And from this we also have This yields
Now we estimate and in (68).
By means of (72) and (74), we first have If we choose , then .
From (72) and the monotonicity of , we have Inserting (75) and (76) into (68) and noting that , for , we get Combining (77) and (57), we finally obtain Since and the right of (78) is decreasing with respect to , the proof of Theorem 6(b) is complete.
Finally we prove Theorem 6(c). Notice that is nondecreasing. It follows from (67) that where and . It is obvious that .
By (72) and (74), we know that Assume that is bounded on . From (72) and the fact , , we obtain Finally, (79) yields Since , we prove Theorem 6(c) from (57).

4. Proofs of Theorems 7 and 8

In this section, we prove Theorems 7 and 8.

Proof of Theorem 7. Theorem 7(a) implies Theorem 7(b) by letting . We only need to prove Theorem 7(a). Obviously satisfies the condition and we have For , it follows from Theorem 6(a) that , and the order of this estimate is sharp.
For , we have Substituting into Theorem 6(b), we get .
For , , we have By Theorem 6(c), we get the estimate
If , then satisfies the condition , and For , (ii) follows from Theorem 6(a) and the order in the estimate (ii) is also sharp.
For , we have Substituting into Theorem 6(b), we get (ii).
Now we show the sharpness of the estimates in (i) and (ii) for .
For this purpose, we consider defined in Lemma 13.
In (i), for , we choose From Lemma 13, we know that
For , , we choose where From Lemma 13, we have
In (ii), for , we choose where From Lemma 13, we know that
Obviously the above functions chosen prove the sharpness of our estimates in Theorem 7 for .

The proof of Theorem 8 is similar to that of Theorem 7, but computations are more complicated.

Proof of Theorem 8. Let generate and . It is readily seen that ’s in (a), (b), (c), (d), and (e) satisfy the condition .
In (a), we have In (b), we have In (c), we have In (d), we have In (e), we have From Theorem 6(a) we obtain sharp estimates in (a), (b), (c), (d), and (e) for .
Now we prove the estimates in Theorem 8 for . We apply (b) and (c) in Theorem 6 for upper estimates. The technique used here to show the sharpness is the same as that of the proof of Theorem 7 and the key is to choose to construct extreme functions defined in Lemma 13.
In (a), for , we have From Theorem 6(b), we obtain If we choose where then Equations (107) and (108) imply the sharpness of (104).
In (b), we have Again from Theorem 6(b), we have If we choose where then Equations (113) and (114) imply the sharpness of (110).
In (c), for , we have From Theorem 6(b), we get If we choose where then Equations (119) and (120) imply the sharpness of (116).
In (d), for , we have From Theorem 6(b), we get If we choose where then Equations (125) and (126) imply the sharpness of (122).
For , , we have From Theorem 6(c), we get If we choose where then Equations (131) and (132) imply the sharpness of (128).
In (e), for , we have From Theorem 6(b), we get If we choose where then Equations (137) and (138) imply the sharpness of (134).
For , , we have From Theorem 6(c), we get If we choose where then Equations (143) and (144) imply the sharpness of (140).
But, for , we have Theorem 6(c) is not applicable for this case. From Theorem 6(b), we obtain Unfortunately this estimate is not sharp in the sense of order. However, if we choose where then we have In other words, there exists such that This exception indicates that our methods used in this paper cannot cover all cases of estimates of modulus of continuity of classes of functions of -bounded variation.

Proof of Corollary 10. Obviously Theorem 2 implies (a) and (b). (c) follows from Theorem 6. Finally, (d) and (e) are obtained from Theorem 7 directly.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors would like to thank Professor Zhongkai Li for various helpful discussions. Heping Wang is supported by the National Natural Science Foundation of China (Project no. 11271263), the Beijing Natural Science Foundation (1132001), and BCMIIS.

References

N. Wiener, “The quadratic variation of a function and its Fourier coefficients,” Massachusetts Journal of Mathematics, vol. 3, pp. 72–94, 1924.
View at: Google Scholar
L. C. Young, “Sur une généralisation de la notion de variation de puissance pième bornée au sens de M. Wiener, et sur la convergence des séries de Fourier,” Comptes Rendus de L'académie des Sciences, vol. 204, pp. 470–472, 1937.
View at: Google Scholar
D. Waterman, “On convergence of Fourier series of functions of generalized bounded variation,” Studia Mathematica, vol. 44, pp. 107–117, 1972.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
L. Leindler, “A note on embedding of classes $H^{ω}$ ,” Analysis Mathematica, vol. 27, no. 1, pp. 71–76, 2001.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
M. Schramm and D. Waterman, “Absolute convergence of Fourier series of functions of $Λ {BV}^{(p)}$ and $ϕ Λ BV$ ,” Acta Mathematica Academiae Scientiarum Hungaricae, vol. 40, no. 3-4, pp. 273–276, 1982.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
J. Musielak and W. Orlicz, “On generalized variations. I,” Studia Mathematica, vol. 18, pp. 11–41, 1959.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
D. Waterman, “On the summability of Fourier series of functions of $L$ -bounded variation,” Studia Mathematica, vol. 54, no. 1, pp. 87–95, 1976.
View at: Google Scholar | MathSciNet
S. Perlman and D. Waterman, “Some remarks on functions of $Λ$ -bounded variation,” Proceedings of the American Mathematical Society, vol. 74, no. 1, pp. 113–123, 1979.
View at: Publisher Site | Google Scholar | MathSciNet
Z. Li and H. Wang, “Estimates of $L^{p}$ -continuity modulus of $Λ$ BV functions and applications in Fourier series,” Applicable Analysis, vol. 90, no. 3-4, pp. 475–482, 2011.
View at: Publisher Site | Google Scholar | MathSciNet
H. Wang, “Embedding of Lipschitz classes into classes of functions of $Λ$ -bounded variation,” Journal of Mathematical Analysis and Applications, vol. 354, no. 2, pp. 698–703, 2009.
View at: Publisher Site | Google Scholar | MathSciNet
R. G. Vyas, “On the absolute convergence of small gaps Fourier series of functions of $φ \land B V$ ,” JIPAM: Journal of Inequalities in Pure and Applied Mathematics, vol. 6, no. 4, article 94, 2005.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
M. Shiba, “On absolute convergence of Fourier series of function of class $Λ {BV}^{(p)}$ ,” Fukushima University, no. 30, pp. 7–10, 1980.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
S. L. Wang, “Some properties of functions of $Λ$ -bounded variation,” Science in China, vol. 11, pp. 1299–1309, 1981 (Chinese).
View at: Google Scholar | MathSciNet
Y. E. Kuprikov, “On moduli of continuity of functions in Waterman classes,” Moscow University Mathematics Bulletin, vol. 52, no. 5, pp. 46–49, 1997.
View at: Google Scholar | MathSciNet
U. Goginava, “On the embedding of Waterman class in the class $H_{p}^{ω}$ ,” Ukrainian Mathematical Journal, vol. 57, no. 11, pp. 1818–1824, 2005.
View at: Google Scholar
U. Goginava, “Relations between $Λ BV$ and $BV (p (n) ↑ \infty)$ classes of functions,” Acta Mathematica Hungarica, vol. 101, no. 4, pp. 264–272, 2003.
View at: Publisher Site | Google Scholar | MathSciNet
M. Hormozi, “Inclusion of $Λ B V^{(p)}$ spaces in the classes $H_{q}^{ω}$ ,” Journal of Mathematical Analysis and Applications, vol. 404, no. 2, pp. 195–200, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
M. Hormozi, A. A. Ledari, and F. Prus-Wiśniowski, “On $p - Λ$ -bounded variation,” Bulletin Iranian Mathematical Society, vol. 37, no. 4, pp. 35–49, 2011.
View at: Google Scholar | MathSciNet
O. Kováčik, “On the embedding $H^{ω} \subset V_{p}$ ,” Mathematica Slovaca, vol. 43, no. 5, pp. 573–578, 1993.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
L. Leindler, “On embedding of the class $H^{ω}$ ,” Journal of Inequalities in Pure and Applied Mathematics, vol. 5, no. 4, article 105, 2004.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
M. Lind, “On functions of bounded Λ-variation and integral smoothness,” Forum Mathematicum, 2014.
View at: Publisher Site | Google Scholar
M. V. Medevedeva, “Embeddings of the class $H^{ω}$ ,” Mathematical Notes, vol. 64, no. 5, pp. 616–621, 1998.
View at: Google Scholar
M. V. Medevedeva, “Conditions for embedding of classes $H^{ω}$ into classes of functions of bounded generalized variation,” Mathematical Bulletin, vol. 56, no. 2, pp. 41–45, 2001.
View at: Google Scholar
M. V. Medvedeva, “Embeddings of classes of continuous functions into classes of functions of bounded generalized variation,” Matematicheskiĭ Sbornik, vol. 193, no. 7, pp. 1049–1070, 2002.
View at: Google Scholar | MathSciNet
F. Prus-Wiśniowski, “On inclusion between Waterman classes and Chanturyia classes,” Tatra Mountains Mathematical Publications, vol. 19, pp. 219–227, 2000.
View at: Google Scholar | MathSciNet

Copyright

Copyright © 2014 Heping Wang and Zhaoyang Wu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

1438

Downloads

911

Citations