Conjugates and Young's Inequality

Example: Let , , and . Then the previous result, applied to and , becomes which provides us with a quadratic majorization for for all We have equality if and only if .

showMe <- function (b, r, up = 5) {
    a <- seq (0, up, length = 100)
    ar <- a ^ r
    plot (a, ar, type = "l", col = "RED",
          ylab="f(a)", lwd = 2)
    br <- (r * (a ^ 2)) / 2 + (((2 - r)  * (b ^ 2))/ 2)
    br <- br / (b ^ (2 - r))
    lines (a, br, col = "GREEN", lwd = 2)
    abline (v = b, lwd = 2)
}

Here is an example with and .

alt text

And an example with and .

alt text

One important application of these results is majorization of powers of Euclidean distances by quadratic forms. We find, for ,