# What does $\inf\int$ mean?

What does notation

$$\inf\int f(x) \,\mathrm{d}x$$

stand for? I noticed it in a question on this site.

Sorry for such a basic question, but i can't find a reasonable keyword to look this up anywhere.

-
– Jeremy Jan 20 at 1:43

2
The notation, exactly as put, does not make sense. I hope that it was not used. – André Nicolas Jan 20 at 1:44
@André - I have linked the usage that I saw. If that is correct and my usage is wrong, please specify. I just wanted to write some more simple/general example instead of that double integral. – Juris Jan 20 at 1:51
@AndréNicolas In the original question, the infimum was taken over all functions in a given space. In that context, the usage made sense. – Ayman Hourieh Jan 20 at 1:51

## 3 Answers

It means infimum, which is a generalization of the notion of minimum. For example, $f(x)=1/x$ doesn't have a minimum on $x\in[1,\infty)$, but its infimum is $0$.

In the context in which it was used,

$$\inf \iint\limits_{x^2+y^2\leqslant1}\left(\frac{\partial u}{\partial x}\right)^2+\left(\frac{\partial u}{\partial y}\right)^2\mathrm dx\,\mathrm dy$$ for $C^\infty$ functions $u$ that... [more conditions on $u$]

it means the tightest bound on how small the value of the integral can get for any such function $u$.

-

$$\inf \int f(x)dx$$ is the largest real number that is less than or equal to $$\int f(x) dx$$ inf stands for infimum. See more information here:

http://en.wikipedia.org/wiki/Infimum

-

To write $\displaystyle\inf\int f(x)\,dx$ without the words that came after that fails to convey what was said. It says "for $C^\infty$ functions that vanish at $0$ and [. . . . .]", and the expression inside the integral has "$u$" in it. In other words, it identifies a particular set. An infimum is an infimum of a set.

The infimum of a set with a smallest member is the smallest member. Thus the infimum of the set of all nonnegative numbers is $0$. The infimum of some sets with no smallest member exists. For example, there is no smallest positive number, and the infimum of the set of all positive numbers is $0$.

The infimum of a set is the greatest lower bound of the set. $0$ is a lower bound of the set of all positive numbers because $0$ is less than or equal to every positive number. No number bigger than $0$ is a lower bound of the set of all positive numbers. So $0$ is the greatest among all lower bounds.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 18, "mathjax_display_tex": 4, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9397591948509216, "perplexity_flag": "head"}