New moduli of smoothness on the unit ball, applications and computability (Q2637502): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jat.2013.12.002 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2064827546 / rank
 
Normal rank

Revision as of 20:38, 19 March 2024

scientific article
Language Label Description Also known as
English
New moduli of smoothness on the unit ball, applications and computability
scientific article

    Statements

    New moduli of smoothness on the unit ball, applications and computability (English)
    0 references
    0 references
    12 February 2014
    0 references
    The paper is a continuation of a previous paper of the same author [`` New moduli of smoothness on the unit ball and other domains, introduction and main properties'', Constr. Approx. 40, No. 1, 1--36 (2014; \url{doi:10.1007/s00365-014-9232-8})]. It deals with the properties of a new moduli of smoothness for functions defined on \(B^d\), the unit ball of \(\mathbb{R}^n\). Let \(H_n(\lambda, d)\) be the space of all polynomials of degree \(n\) that are orthogonal to all polynomials of degree \(n-1\) with respect to the weight \((1-\| x\|^2)^{\lambda-1/2}\), \(\lambda > -1/2\). Consider the semigroups \[ T_\alpha(t)f= T_\alpha(t)(\lambda,d,t)f \sim \sum\limits_{n=0}^\infty \exp \Big(-tn^\alpha (n+2\lambda -1)^\alpha\Big) P_n(f) \] and \[ \widetilde{T}_\alpha(t)f\sim \sum\limits_{n=0}^\infty \exp (-tn^\alpha) P_n(f), \] where \(P_n (f)\) is the \(L_2\) projection of \(f\) on \(H_n(\lambda, d)\). The moduli of smoothness \(\omega^\beta(f,t)_B\) and \(\widetilde{\omega}^\beta(f,t)_B\) are given by \[ \omega^{2\beta}(f,t)_B=\| T_\beta (t^{2\beta})f-f\|_B \quad \text{and}\quad \widetilde{\omega}^{\beta}(f,t)_B=\| \widetilde{T}_\beta (t^{\beta})f-f\|_B, \] for the Banach space \(B\). The paper contains seven sections. For a fixed \(\lambda\), let us consider the norm or quasi-norm \[ \| f\|_{p,\lambda}=\left\{ \int_{B^d}| f(x)|^p (1-\| x\|^2)^{\lambda-1/2}dx\right\}^{1/p},\quad\quad 0<p<\infty, \] and \[ \| f\|_{\infty,\lambda}=\| f\|_{\infty}=\mathrm{ess}\, \sup\limits_{x\in B^d}|f(x)|. \] As usual, \( L_{p,\lambda}(B^d)\) is the family of all \(f\) such that \(\| f\|_{\infty,\lambda}<\infty\). The main result of Section 2 is a Nikoslki-type inequality in \(B^d\). {Theorem 1.} Assume \(d\geq 2\), \(0<p<q\leq \infty\) and \(\lambda>-1/2\). There exists a constant \(C\) such that, if \(m\geq 1\) \textit{and} \(P_m\) is a polynomial of total degree \(m\), then \[ \| P_m\|_{q,\lambda}\leq C\, m^{\sigma(1/p-1/q)}\, \| P_m\|_{p,\lambda}, \] where \(\sigma=\max \{d,d+2\lambda\}\). Let \(E_n( f )_{p,\lambda}\) denote the rate of best approximation by polynomials of total degree smaller than \(n\) with respect to the norm or quasinorm \(\| f\|_{p,\lambda}\). In Section 3 the quantities \(\| q\|_{q,\lambda}\) and \(E_n( f )_{p,\lambda}\) are compared with \(E_n( f )_{p,\lambda}\), for \(0<p<q\leq \infty\). Here we give only one of the results in Section 3. {Theorem 2.} Assume \(d\geq 2\), \(0<p<q\leq \infty\) and \(\lambda>-1/2\). There exists a constant \(C\) such that for each \(f\in L_{p,\lambda}(B^d)\) \[ \| f\|_{q,\lambda}\leq C\left( \| f\|_{q,\lambda}+\left\{\sum\limits_{k=0}^\infty k^{\theta q_1-1}E_k(f)_{p,\lambda}^{q_1}\right\}^{1/q_1}\right), \] and \[ E_n(f)_{q,\lambda}\leq C\, \left\{\sum\limits_{k=0}^\infty k^{\theta q_1-1}E_k(f)_{p,\lambda}^{q_1}\right\}^{1/q_1} \] where \[ \theta=\left(\frac{1}{p}-\frac{1}{q}\right)\,\max\{d,d+2\lambda\}, \] \(q_1=q\), if \(q<\infty\), and \(q_1=1\), if \(q=\infty\). In other results of Section 3 it is shown that analogous relations hold for the new moduli of smoothness. Section 4 contains several Jackson-type inequalities. The author remarks that he obtained the inequalities without using a Littlewood-Paley-type inequa\-lity. Section 5 describes properties of Besov spaces (defined in terms of the best polynomial approximation) by using the moduli of smoothness. In Section 6 the author computes the moduli of smoothness for some functions in \(L_{p,\lambda}(B^d )\) and illustrates the optimality (in some sense) of some of the results. Finally, Section 7 contains remarks, generalizations and related questions.
    0 references
    moduli of smoothness
    0 references
    orthogonal expansion
    0 references
    Nikolski and Ul'yanov-type inequality
    0 references
    best approximation
    0 references
    sharp Jackson inequality
    0 references
    Besov spaces
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references