On the equivalence of some relations in different metrics between norms, best approximations, and moduli of smoothness of periodic functions and their derivatives

N. A. Il'yasov

Trudy Instituta matematiki i mehaniki, Trudy Instituta Matematiki i Mekhaniki UrO RAN, Tome 24 (2018) no. 4, pp. 176-188

Résumé

We propose a method capable, in particular, of establishing the equivalence of known upper estimates for the $L_q(\mathbb T)$-norm $\|f^{(r)}\|_q$, the best approximation $E_{n-1}(f^{(r)})_q$, and the $k$th-order modulus of smoothness $\omega_k(f^{(r)};\pi/n)_q$ in terms of elements of the sequence $\{E_{n-1}(f)_p\}_{n=1}^\infty$ of best approximations of a $2\pi$-periodic function $f\in L_p(\mathbb T)$ by trigonometric polynomials of order at most $n-1$, $n\in \mathbb N$, where $r\in \mathbb Z_+$ ($f^{(0)}=f)$, $1 p q \infty$, and $\mathbb T=(-\pi,\pi]$. The principal result of the paper is the following statement. Let $1 p q \infty$, $r\in \mathbb Z_+$, $k\in \mathbb N$, $\sigma=r+1/p-1/q$, $f\in L_p(\mathbb T)$, and $E(f;p;\sigma;q)\equiv\Big(\sum_{\nu=1}^{\infty}\nu^{q\sigma-1}E_{\nu-1}^{q}(f)_{p}\Big)^{1/q} \infty$. Then the following inequalities are equivalent in the sense that each of them implies the other two: (a) $\|f^{(r)}\|_q\le C_1(r,p,q)\left\{(1-\chi (r))\|f\|_p+E(f;p;\sigma;q)\right\}$; (b) $E_{n-1}(f^{(r)})_q\le C_2(r,p,q)\left\{n^\sigma E_{n-1}(f)_p +\Big(\sum\nolimits_{\nu =n+1}^\infty \nu ^{q\sigma -1}E_{\nu -1}^q (f)_p\Big)^{1/q}\right\}$, $n\in\mathbb{N}$; (c) $\omega _k (f^{(r)};\pi/n)_q \le C_3 (k,r,p,q)\Big\{\Big(\sum\nolimits_{\nu =n+1}^\infty \nu^{q\sigma -1}E_{\nu -1}^q (f)_p\Big)^{1/q}+n^{-k}\Big(\sum\nolimits_{\nu =1}^n \nu ^{q(k+\sigma )-1}E_{\nu -1}^q (f)_p \Big)^{1/q}\Big\}$, $n\in \mathbb{N}$. \noindent Inequalities (a), (b), and (c) depend on the key estimate $$ \big\| S_m^{(l)} (f;\cdot )\big\|_q \le C_4(l,p,q)\Big\{(1-\chi (l))\|f\|_p +\Big(\sum\nolimits_{\nu =1}^m \nu ^{q\lambda -1} E_{\nu -1}^q (f)_p \Big)^{1/q}\Big\},\ \ m\in \mathbb{N}, $$ where $S_m (f;x)$ is the partial sum of order $m\in \mathbb{N}$ of the Fourier series of a function $f\in L_p(\mathbb T)$, $l\in \mathbb Z_+ $, $\lambda =l+ 1/p-1/q$, $\chi (t)=0$ for $t\le 0$, and $\chi (t)=1$ for $t>0$, $t\in \mathbb{R}$. The latter estimate in the case $l=r$ and $\lambda =\sigma $ provides a necessary and sufficient condition for the fulfillment of inequality (a) under the condition $E(f;p;\sigma ;q) \infty$, which guarantees that $f\in L_q^{(r)}(\mathbb T)$, where $L_q^{(r)} (\mathbb T)$ is the class of functions $f\in L_q (\mathbb T)$ with absolutely continuous $(r-1)$-th derivative and $f^{(r)}\in L_q (\mathbb T)$. Necessary and sufficient conditions for the validity of inequalities (b) and (c) are also provided in terms of the behavior of elements of the sequence $\{\|S_m^{(l)} (f;\cdot )\|_q\}_{m=1}^\infty$.

Détail

Keywords: best approximation, modulus of smoothness, inequalities in different metrics, equivalent inequalities.

Bibliographie

[1] Konyushkov A.A., “Nailuchshie priblizheniya trigonometricheskimi polinomami i koeffitsienty Fure”, Mat. sb., 44 (86):1 (1958), 53–84 | MR

[2] Timan A.F., Teoriya priblizheniya funktsii deistvitelnogo peremennogo, Fizmatgiz, M., 1960, 624 pp.

[3] Timan M.F., “Nailuchshee priblizhenie i modul gladkosti funktsii, zadannykh na vsei veschestvennoi osi”, Izv. vuzov. Matematika, 1961, no. 6(25), 108–120 | Zbl

[4] Kokilashvili V.M., “Ob otsenke nailuchshikh priblizhenii i modulei gladkosti v razlichnykh lebegovskikh prostranstvakh periodicheskikh funktsii s preobrazovannym ryadom Fure”, Soobsch. AN Gruzinskoi SSR, 35:1 (1964), 3–8 | Zbl

[5] Ulyanov P.L., “Teoremy vlozheniya i sootnosheniya mezhdu nailuchshimi priblizheniyami (modulyami nepreryvnosti) v raznykh metrikakh”, Mat. sb., 81 (123):1 (1970), 104–131 | Zbl

[6] Ulyanov P.L., “Vlozhenie nekotorykh klassov funktsii $H_{p}^{\omega}$”, Izv. AN SSSR. Ser. matematicheskaya, 32:3 (1968), 649–686 | Zbl

[7] Ulyanov P.L., “Teoremy vlozheniya i nailuchshie priblizheniya”, Dokl. AN SSSR, 184:5 (1969), 1044–1047 | Zbl

[8] Timan M.F., “O nekotorykh teoremakh vlozheniya $L_{p}$-klassov funktsii”, Dokl. AN SSSR, 193:6 (1970), 1251–1254 | Zbl

[9] Timan M.F., “O vlozhenii $L_{p}^{(k)}$ klassov funktsii”, Izv. vuzov. Matematika, 1974, no. 10 (149), 61–74 | Zbl

[10] Ilyasov N.A., Teoremy vlozheniya dlya strukturnykh i konstruktivnykh kharakteristik funktsii, dis. ...kand. fiz.-mat. nauk, Baku, 1987, 150 pp.

[11] Ilyasov N.A., “O priblizhenii periodicheskikh funktsii srednimi Feiera - Zigmunda v raznykh metrikakh”, Mat. zametki, 48:4 (1990), 48–57 | Zbl

[12] Ilyasov N.A., “Obratnaya teorema teorii priblizhenii v raznykh metrikakh”, Mat. zametki, 50:6 (1991), 57–65 | Zbl

[13] Zigmund A., Trigonometricheskie ryady, Gostekhizdat, M.; L., 1939, 324 pp.

[14] Riesz M., “Sur les fonctions conjuguees”, Math. Zeit, 27:2 (1927), 218–244 | DOI | MR | Zbl

[15] Zigmund A., Trigonometricheskie ryady, v 2 t., v. 1, Mir, M., 1965, 616 pp. ; т. 2, 538 с. | MR

[16] Stechkin S.B., “O poryadke nailuchshikh priblizhenii nepreryvnykh funktsii”, Izv. AN SSSR. Ser. matematicheskaya, 15:3 (1951), 219–242 | MR | Zbl