Equivalence of measures of smoothness in $L_p(S^{d-1})$, $1 p \infty $

F. Dai¹ ; Z. Ditzian¹ ; Hongwei Huang²

¹ Department of Mathematical and Statistical Sciences University of Alberta Edmonton, Alberta Canada T6G 2G1
² School of Mathematical Sciences Xiamen University 361005, Xiamen, Fujian China

Studia Mathematica, Tome 196 (2010) no. 2, pp. 179-205

Résumé

Suppose $\widetilde{\mit\Delta} $ is the Laplace–Beltrami operator on the sphere $S^{d-1},$ $\Delta ^k_\rho f(x) = \Delta _\rho \Delta ^{k-1}_\rho f(x)$ and $ \Delta _\rho f(x) = f(\rho x) - f(x)$ where $\rho \in SO(d) .$ Then $$ \omega ^m (f,t)_{L_p(S^{d-1})} \equiv \sup\{\Vert \Delta ^m_\rho f\Vert _{L_p(S^{d-1})}: \rho \in SO(d), \, \max_{x\in S^{d-1}} \rho x\cdot x \ge \cos t\} $$ and $$ \widetilde K_m(f,t^m)_p\equiv \inf \{\Vert f-g\Vert _{L_p(S^{d-1})} + t^m\Vert (-\widetilde{\mit\Delta} )^{m/2}g\Vert _{L_p(S^{d-1})} :g\in {\cal D}((-\widetilde{\mit\Delta} )^{m/2})\} $$ are equivalent for $1 p \infty .$ We note that for even $m$ the relation was recently investigated by the second author. The equivalence yields an extension of the results on sharp Jackson inequalities on the sphere. A new strong converse inequality for $L_p(S^{d-1})$ given in this paper plays a significant role in the proof.

Détail

DOI : 10.4064/sm196-2-5

Keywords: suppose widetilde mit delta laplace beltrami operator sphere d delta rho delta rho delta k rho delta rho rho where rho omega d equiv sup vert delta rho vert d rho max d rho cdot cos widetilde t equiv inf vert f g vert d vert widetilde mit delta vert d cal widetilde mit delta equivalent infty note even relation recently investigated second author equivalence yields extension results sharp jackson inequalities sphere strong converse inequality d given paper plays significant role proof