Kolyada inequality for partial moduli of smoothness of functions with lacunary Fourier coefficients

B. V. Simonov ; I. E. Simonova ; V. A. Ivanyuk

Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 22 (2022) no. 4, pp. 447-457.

Résumé

The problem of estimating the moduli of smoothness of functions from $L_q$ in terms of moduli of smoothness from $L_p$ is well known. The initial stage in estimating the moduli of smoothness was the study of properties of functions from Lipschitz classes and obtaining the corresponding embeddings in the works of Titchmarsh, Hardy, Littlewood, and Nikolsky. P. L. Ulyanov for the moduli of continuity of functions of one variable proved an inequality later named after him  — ‘`Ulyanov’s inequality". From this inequality, as a corollary, we obtain the classical Hardy – Littlewood embedding for Lipschitz spaces. Ulyanov's inequality is exact in the class scale $H_p^\omega$. Kolyada showed that this inequality could be strengthened. Its strengthening is Kolyada inequality. It finds application in the study of certain maximal functions which measure local smoothness. Kolyada inequality is exact in the sense that there exists a function with any given order of the modulus of continuity in $L_p$ for which this estimate cannot be improved for any value of $\delta$. Kolyada inequality was extended to the moduli of smoothness of higher orders (natural) by Yu. V. Netrusov and M. L. Goldman. W. Trebels extended Kolyada inequality to moduli of smoothness of positive order. In this article, we study the partial moduli of the smoothness of functions of two variables. Inequalities are obtained that extend Kolyada inequality to partial moduli of smoothness in the mixed norm for functions with lacunar Fourier coefficients. Functions are constructed for which Kolyada inequality for partial moduli of smoothness of functions with lacunary Fourier coefficients has different orders as functions of $\delta$. Thus, it is shown that the obtained estimates are sharp in a certain sense. Some special properties of partial moduli of smoothness of functions with lacunary Fourier series in each variable are also proved.

Bibliographie

[1] Ul'janov P. L., “The imbedding of certain classes $H_p^\omega$”, Izvestiya: Mathematics, 2:3 (1968), 601–637 | DOI

[2] Ul'yanov P. L., “Imbedding theorems and relations between best approximations (moduli of continuity) in different metrics”, Mathematics of the USSR-Sbornik, 10:1 (1970), 103–126 | DOI | MR | MR

[3] Kolyada V. I., “On relations between the moduli of continuity in various metrics”, Proceedings of the Steklov Institute of Mathematics, 181 (1989), 127–148 | MR

[4] Netrusov Yu. V., “Imbedding theorems for the spaces $H_p^{\omega, k}$ and $ H_p^{s,\omega, k}$”, Zapiski Nauchnykh Seminarov LOMI, 159, 1987, 83–102 (in Russian)

[5] Gol'dman M. L., “A criterion of imbedding for different metrics for isotropic Besov spaces with general moduli of continuity”, Proceedings of the Steklov Institute of Mathematics, 201:2 (1994), 155–181

[6] Trebels W., “Inequalities for moduli of smoothness versus embeddings of function spaces”, Archiv der Mathematik, 94 (2010), 155–164 | DOI | MR

[7] Potapov M. K., Simonov B. V., Tikhonov S. Yu., Fractional Moduli of Smoothness, MAKS-Press, M., 2016, 337 pp. (in Russian)

[8] Besov O. V., Ilin V. P., Nikol'skii S. M., Integral Representations of Functions and Imbedding Theorems, Halsted Press, New York–Toronto–London, 1978, 345 pp. | MR | MR

[9] Hardy G. H., Littlewood J. E., Pólya G., Inequalities, Cambridge University Press, London, 1934, 336 pp. | MR

[10] Potapov M. K., Simonov B. V., “Properties of mixed moduli of smoothness of functions with lacunary Fourier coefficients”, Moscow University Mathematics Bulletin, 69 (2014), 5–15 | DOI | MR