Costate equations

In mathematics, arg max stands for the argument of the maximum, that is to say, the set of points of the given argument for which the given function attains its maximum value:

$\underset{x}{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{m}\mathrm{a}\mathrm{x}}f(x):=\{x|\mathrm{\forall }y:f(y)\le f(x)\}$

In other words,

$\underset{x}{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{m}\mathrm{a}\mathrm{x}}f(x)$

is the set of values of x for which f(x) attains its largest value M. For example, if f(x) is 1−|x|, then it attains its maximum value of 1 at x = 0 and only there, so $\underset{x}{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{m}\mathrm{a}\mathrm{x}}(1-|x|)=\{0\}$.

The arg max operator is the natural complement of the max operator which, given the same arguments, returns the maximum value (instead of the point or points that reach that value).

Equivalently, if M is the maximum of f, then the arg max is the level set of the maximum:

$\underset{x}{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{m}\mathrm{a}\mathrm{x}}f(x)=\{x|f(x)=M\}=f^{-1}(M)=f^{-1}(\underset{x}{\max }f(x))$

If the maximum is reached at a single value, then one refers to the point as the arg max, meaning we define the arg max as a point, not a set of points. So, for example,

$\underset{x\in \mathbb{ℝ}}{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{m}\mathrm{a}\mathrm{x}}(x(10-x))=5$

(rather than the singleton set $\{5\}$), since the maximum value of x(10 − x) is 25, which occurs for x = 5.

However, in case the maximum is reached at many values, arg max is a set of points.

Then, we have for example

$\underset{x\in [0,4\pi ]}{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{m}\mathrm{a}\mathrm{x}}\cos (x)=\{0,2\pi ,4\pi \}$

since the maximum value of cos(x) is 1, which occurs on this interval for x = 0, 2π or 4π. On the whole real line, the arg max is $\{0,2\pi ,-2\pi ,4\pi ,\dots \}.$

Note also that functions do not in general attain a maximum value, and hence will in general not have an arg max: $\underset{x\in \mathbb{ℝ}}{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{m}\mathrm{a}\mathrm{x}}x$ is the empty set, as x is unbounded on the real line. However, by the extreme value theorem (or the classical compactness argument), a continuous function on a compact interval has a maximum, and thus an arg max.

Arg min

arg min stands for argument of the minimum, and is defined analogously. For instance,

$\underset{x}{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{m}\mathrm{i}\mathrm{n}}f(x)$

are values of x for which f(x) attains its smallest value M. The complementary operator is, of course, min.

See also

• Argument of a function
• Maxima and minima
• Mode (statistics)
• Mathematical optimization
• Kernel
• Preimage

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

External links

• Template:PlanetMath