Verifying differentiability without calculating the derivative (Q2188793)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verifying differentiability without calculating the derivative
scientific article

    Statements

    Verifying differentiability without calculating the derivative (English)
    0 references
    11 June 2020
    0 references
    The article's main result concerns the Ca\-m\-po\-na\-to-Mor\-rey spaces \(\mathcal L^{(q,\lambda)}_k\), defined here, for \(1\le q<\infty\), \(\lambda>0\), and \(k\in\mathbb N\cup\{0\}\) as the space of all \(L^q\)-functions \(f\) on \(\mathbb R\) such that the value \[ \sup_{x\in\mathbb R,\,r>0}\,\frac1{r^\lambda}\inf_{P\in\mathcal P_k}\int_{x-r}^{x+r}\!|f-P|^q \] is finite; \(\mathcal P_k\) is the class of all polynomials of degree \(\le k\). The author, as a consequence of a series of lemmas, arrives to the main result, Theorem 8, which says that for \(0<\alpha=(\lambda-1)/q<k\) and \(\lambda>1\), every member of \(\mathcal L^{(q,\lambda)}_k\) is a.e.\ equal to some element of the Lipschitz (Hölder) \(\Lambda_\alpha\) space. Moreover, the corresponding injection \(\mathcal L^{(q,\lambda)}_k\to\Lambda_\alpha\) is a continuous mapping. This result is offered as a part of a collection of various theorems that subordinate to one leitmotiv: all describe smoothness/differentiability without derivation terms. The topics covered include approximation theory, Fourier transform, Poisson integral, and Landau's inequalities.
    0 references
    Campanato-Morrey theory
    0 references
    Fourier transform
    0 references
    Fourier series
    0 references
    Poisson integral
    0 references
    Laplace transform
    0 references
    derivative
    0 references
    finite differences
    0 references
    approximation theory
    0 references
    0 references

    Identifiers