§ Suppose that r is finite and not equal to
1 . Then
¯(a)+¯(b)+...+¯(l)>¯(a+b+...+l)holds with r>1; and
¯(a)+¯(b)+...+¯(l)<¯(a+b+...+l)holds with r<1. The inequality holds unless (a),(b),...,(l) are proportional, or r≤0 and aν=bν=...=lν=0 for some a ν.
The main result remains true when r=+∞ or r=−∞, except that the conditions for equality require a restatement.
§ If r is finite and not equal to
0 or 1, then
holds with r>1, and(∑(a+b+...+l)r)1/r<(∑ar)1/r+...+(∑lr)1/r
(∑(a+b+...+l)r)1/r>(∑ar)1/r+...+(∑lr)1/rholds with r<1.§ If r is positive and not equal to
1 , then
∑(a+b+...+l)r>∑ar+...+∑lrholds with r>1, and
∑(a+b+...+l)r<∑ar+...+∑lrholds with r<1.
In a nutshell, what is usually required in practice is as follows:
If r>0 then,
The following inequality is often useful for the prupose of determining an upper bound for ∑ak.
§ Suppose that k>1, that k′ is conjugate to k, and that
B>0 . Then a necessary and sufficient condition that ∑ak≤A is that ∑ab≤A1/kB1/k′ for all b for which∑bk′≤B .
The geometrical interpretations are illustrated as follows. When k=2, A=l2, and B=1 holds, we take rectangular coordinats. The theorem asserts that, if the length of the projection of a vector along an arbitrary direction does not exceed l, the length of the vector does not exceed