Superadditivity

In mathematics, a sequence { a_n }, n ≥ 1, is called superadditive if it satisfies the inequality

a_{n+m}\geq a_{n}+a_{m}

for all m and n. The major reason for the use of superadditive sequences is the following lemma due to Michael Fekete.^[1]

Lemma: (Fekete) For every superadditive sequence { a_n }, n ≥ 1, the limit lim a_n/n exists and is equal to sup a_n/n. (The limit may be positive infinity, for instance, for the sequence a_n = log n!.)

Similarly, a function f is superadditive if

f(x+y)\geq f(x)+f(y)

for all x and y in the domain of f.

For example, $f(x)=x^{2}$ is a superadditive function for nonnegative real numbers because the square of $(x+y)$ is always greater than or equal to the square of $x$ plus the square of $y$ , for nonnegative real numbers $x$ and $y$ .

The analogue of Fekete's lemma holds for subadditive functions as well. There are extensions of Fekete's lemma that do not require the definition of superadditivity above to hold for all m and n. There are also results that allow one to deduce the rate of convergence to the limit whose existence is stated in Fekete's lemma if some kind of both superadditivity and subadditivity is present. A good exposition of this topic may be found in Steele (1997).^[2]^[3]

If f is a superadditive function, and if 0 is in its domain, then f(0) ≤ 0. To see this, take the inequality at the top. $f(x)\leq f(x+y)-f(y)$ . Hence $f(0)\leq f(0+y)-f(y)=0$

The negative of a superadditive function is subadditive.

Examples of superadditive functions

Mutual information
Horst Alzer proved ^[4] that Hadamard's gamma function H(x) is superadditive for all real numbers x,y with x, y ≥ 1.5031.

References

↑ Fekete, M. (1923). "Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten". Mathematische Zeitschrift. 17 (1): 228–249. doi:10.1007/BF01504345.
↑ Michael J. Steele (1997). Probability theory and combinatorial optimization. SIAM, Philadelphia. ISBN 0-89871-380-3.
↑ Michael J. Steele (2011). CBMS Lectures on Probability Theory and Combinatorial Optimization. University of Cambridge.
↑ Horst Alzer (2009). A superadditive property of Hadamard's gamma function. Springer. doi:10.1007/s12188-008-0009-5.

Notes

György Polya and Gábor Szegö. (1976). Problems and theorems in analysis, volume 1. Springer-Verlag, New York. ISBN 0-387-05672-6.

This article incorporates material from Superadditivity on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

Superadditivity

Examples of superadditive functions

See also

References