Math 2.0

Difference and functional equations Definition

Superadditive function

Builds on SemigroupFunctionSubadditive function

Definition

Let (A,+)(A, +) be a semigroup, for example [0,∞)[0, \infty), ℝ\R or the positive integers under addition. A function f ⁣:A→ℝf \colon A \to \R is superadditive if f(x+y)≥f(x)+f(y)for all x,y∈A.f(x + y) \ge f(x) + f(y) \quad \text{for all } x, y \in A.

Remarks

Example: f(x)=x2f(x) = x^2 on [0,∞)[0, \infty) is superadditive. Check: (x+y)2=x2+y2+2xy≥x2+y2(x + y)^2 = x^2 + y^2 + 2xy \ge x^2 + y^2, since xy≥0xy \ge 0.

Non-example: f(x)=xf(x) = \sqrt{x} on [0,∞)[0, \infty) is not superadditive, since 2<2=1+1\sqrt{2} < 2 = \sqrt{1} + \sqrt{1}.

A function ff is superadditive if and only if −f-f is subadditive. Every convex function f ⁣:[0,∞)→ℝf \colon [0, \infty) \to \R with f(0)≤0f(0) \le 0 is superadditive. For a superadditive sequence, am+n≥am+ana_{m+n} \ge a_m + a_n, the limit of an/na_n / n exists in (−∞,∞](-\infty, \infty] and equals sup⁡nan/n\sup_n a_n / n.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Function concept
  2. Semigroup concept
  3. Subadditive function concept
  4. Superadditive function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Superadditivity
About this page
TagKY9ZXCHCVX
URIm2://KY9ZXCHCVX
Kinddefinition
WritingW0 stub
MSC39B62, 26A51
DefinesSuperadditive function
UsesSemigroup, Function, Subadditive function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.