5
$\begingroup$

I am aware of at least three equivalent definitions of $\limsup$ and $\liminf$. I shall only write the definitions for $\limsup$. Here $(a_n)_{n \in \mathbf{N}}$ refers to a sequence of real numbers.

  1. $\limsup (a_n) := \lim_{n \to \infty} \left( \sup_{k \geq n} (a_{k}) \right)$
  2. $\limsup (a_n) := \sup \{x : x < a_n \ \text{for infinitely many} \ n \}$
  3. $\limsup (a_n) := \sup \{x : x \ \text{is a limit point of} \ (a_n)_{n \in \mathbf{N}} \}$

The concept of $\limsup$ ($\liminf$) is used all the time in mathematics, but when did mathematicians first make use of the concept? For example, did Cauchy systematically use the notion in his work? Which of the above equivalent definitions came first, and under what circumstances? I'm aware that definition $(2)$ is useful in proving the Bolzano-Weierstrass's Theorem, but I'm not sure if Bolzano and/or Weierstrass actually "called out explicitly" these concepts in their work.

Other motivating historical examples which brought $\limsup$ and $\liminf$ to the fore naturally would also help.

By the way, I'm also curious about the use of $\liminf$ in formulating the twin prime conjecture:

$\liminf_{n \to \infty} \ (p_{n+1}-p_{n}) = 2$

It's a really neat way to formulate the problem. Who first wrote it this way?

Edit: Before this question gets thrown into the dustbin of MO, I would at least like to read a note of clarification by the users who voted to close, on the difference between my question and the couple of questions linked in the comment below, so as to be more vigilant of what counts as an acceptable question on this site.

$\endgroup$
6
  • 1
    $\begingroup$ This is not an appropriate place to ask this question. You may try History of Science and Mathematics. I suppose that the first appearance of the upper limit is in Hadamard's formula for the radius of convergence, but I did not check this. $\endgroup$ – Alexandre Eremenko Jul 1 '17 at 15:17
  • 3
    $\begingroup$ Dear @AlexandreEremenko, what is the difference between my question, and this mathoverflow.net/questions/59456/whence-commutative-diagrams and this mathoverflow.net/questions/194377/… ? $\endgroup$ – Maxis Jaisi Jul 2 '17 at 5:21
  • $\begingroup$ Jaisi: I agree that there is no much difference. $\endgroup$ – Alexandre Eremenko Jul 2 '17 at 5:46
  • 2
    $\begingroup$ Arguably, commutative diagrams are a more advanced concept than lim sup and lim inf -- at least students are taught the latter in their first year of study, but the former usually only later. Also, mentioning a notorious open problem like the twin prime conjecture in a context like this typically accelerates closure of the question. Another aspect is that the two questions you refer to have been asked years ago, when MO was somewhat more welcoming to such questions. $\endgroup$ – Stefan Kohl Jul 2 '17 at 10:09
  • 2
    $\begingroup$ Encykl. math. Wiss. (I A 3, 1898, p. 71) attributes the concept to Cauchy (Cours d'analyse, 1821, p.132). $\endgroup$ – Francois Ziegler Jul 2 '17 at 12:33

Browse other questions tagged or ask your own question.