A short proof of a generalization on Opial's inequality (Q1323218)

From MaRDI portal





scientific article; zbMATH DE number 567019
Language Label Description Also known as
default for all languages
No label defined
    English
    A short proof of a generalization on Opial's inequality
    scientific article; zbMATH DE number 567019

      Statements

      A short proof of a generalization on Opial's inequality (English)
      0 references
      10 November 1994
      0 references
      A short proof to the next Opial-type integral inequality due to \textit{G. S. Yang} [Proc. Japan Acad. 42, 78-83 (1966; Zbl 0151.052)] is given in the note: If the function \(f\) is absolutely continuous on \([0,b]\) with \(f(0) = 0\), then for \(p>0\) and \(q \geq 1\) we have \[ \int^ b_ 0 \bigl | f(x) \bigr |^ p \bigl | f' (x) \bigr |^ q dx \leq {qb^ p \over p+q} \int^ b_ 0 \bigl | f' (x) \bigr |^{p+q} dx. \] The new proof is based on the application of an auxiliary function of the form \[ F(t) : = {qt^ p \over p + q} \int^ t_ 0 \bigl | f' (x) \bigr |^{p + q} dx -\int^ t_ 0 \bigl | f(x) \bigr |^ p \bigl | f'(x) \bigr |^ qdx. \] To obtain the desired conclusion \(F(b) \geq 0\), the author used the arithmetic-geometric mean inequality and the Hölder inequality.
      0 references
      absolutely continuous function
      0 references
      Opial-type integral inequality
      0 references
      0 references

      Identifiers