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

From MaRDI portal
scientific article
Language Label Description Also known as
English
A short proof of a generalization on Opial's inequality
scientific article

    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
    0 references
    absolutely continuous function
    0 references
    Opial-type integral inequality
    0 references
    0 references
    0 references