Minkowski's Inequality for Integrals/Equality
Jump to navigation
Jump to search
Theorem
Let $f, g$ be (Darboux) integrable functions.
Let $p \in \R$ such that $p > 1$.
Then equality in Minkowski's Inequality for Integrals, that is:
- $\ds \paren {\int_a^b \size {\map f x + \map g x}^p \rd x}^{1/p} = \paren {\int_a^b \size {\map f x}^p \rd x}^{1 / p} + \paren {\int_a^b \size {\map g x}^p \rd x}^{1 / p}$
holds if and only if, for all $x \in \closedint a b$:
- $\dfrac {\map f x} {\map g x} = c$
for some $c \in \R_{>0}$.
Proof
This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Source of Name
This entry was named for Hermann Minkowski.
Sources
- 1964: Milton Abramowitz and Irene A. Stegun: Handbook of Mathematical Functions ... (previous) ... (next): $3$: Elementary Analytic Methods: $3.2$ Inequalities: Minkowski's Inequality for Integrals: $3.2.13$
- 1968: Murray R. Spiegel: Mathematical Handbook of Formulas and Tables ... (previous) ... (next): $\S 36$: Inequalities: $36.15$: Minkowski's Inequality for Integrals