Questions tagged [real-analysis]

For questions about the history of calculus and its theoretical foundations, including topics such as continuity, differentiability, and infinite series. Related topics include questions on the history of measure theory, and some aspects of general topology and classical descriptive set theory.

Filter by
Sorted by
Tagged with
0 votes
0 answers
29 views

Asymptotically similar functions with opposite parity, were they considered, are they useful? Quasi-parabolas [closed]

So, can we transform an even function into an odd function and vice versa? Let's consider this method: Transformation even->odd: Suppose $f_{even}(x)$ is a function which satisfies the following ...
Anixx's user avatar
  • 642
3 votes
1 answer
2k views

What were the "weird" things people were doing in calculus at the time of Marx?

I was reading the preface of Marx's Mathematical Manuscripts. They explain the situation of calculus in the time of Marx, it seems that at the time analysis as we know today was still being forged by ...
Red Banana's user avatar
5 votes
2 answers
2k views

Source of a Poincaré quote: "Logic sometimes makes monsters..."

There's a quote by Poincare on the "new functions", such as continuous functions without derivatives, that were appearing during the second half of the 19th century. The fullest version I've ...
JMJ's user avatar
  • 153
2 votes
1 answer
147 views

Can the so-called completeness of real numbers be understood as closure under limits in the real number system?

Someone suggested (please see the comments below) that I post this question on hsm.stackexchange. There is a connection to the history of mathematics in this, regarding the relationship between the ...
bokabokaboka's user avatar
3 votes
0 answers
191 views

Did the Maclaurin series for sine and cosine unsettle Indian mathematicians?

As many of you may know, sometime around the 14/15th centuries an Indian mathematician by the name of Madhava of Sangamagrama derived the Maclaurin series for sine and cosine for the first time in ...
voltamatron's user avatar
3 votes
1 answer
104 views

First use of ~ and ≍ (\sym and \asymp)

The relations ~ and ≍ are frequently used in math and computer science, at least within number theory and analysis of algorithms. What is their origin? Definitions Suppose $g(x)$ is an eventually-...
Charles's user avatar
  • 131
-1 votes
1 answer
121 views

Why the scaling rule $\delta(a x)=\frac1{|a|}\delta(x)$ was historically adopted? [closed]

It seems to me that it would be more natural to consider Dirac Delta as a piecewise-defined function, as described here, with the scaling rule $\delta (ax)=\delta(x)$. This way we keep all the ...
Anixx's user avatar
  • 642
3 votes
1 answer
346 views

Why did Clairaut's theorem take so long to prove?

I was reading the Wikipedia on Clairaut's Theorem (Symmetry of second derivatives) and the article accounts the significant amount of time and failed proofs occurred before the theorem was made fully ...
szeits's user avatar
  • 31
1 vote
1 answer
75 views

When did Abel publish his test for the convergence of series?

Did Abel published of testing the convergence of series? If so, when did he published it. Also, did he offer a proof of the test? Or did he simply stated the test?
user926356's user avatar
3 votes
0 answers
197 views

How were sine and cosine functions computed before the notion of Taylor series?

We know using modern analysis techniques that $\sin x$ and $\cos x$ can be computed by their Taylor series (in fact the Taylor series are given as the definitions of these functions in today's real ...
Maximal Ideal's user avatar
1 vote
1 answer
102 views

Definition and Name Change of the Oscillation Function

I have two related questions: Who first defined the oscillation function (perhaps under a different name)? When did the switch from the phrase "saltus function"(*) to "oscillation ...
Alp Uzman's user avatar
  • 285
5 votes
0 answers
123 views

Seeking quotes rejecting early forms of the Dirac delta

Question Why is Dirac delta named after Dirac when the concept was already over two centuries old? notes the Dirac delta function effectively appeared centuries before Dirac. This was long before the ...
Colin McLarty's user avatar
1 vote
0 answers
63 views

What is the grounding of commensurability?

I understand that before Hippasus of Metapontum proved that the square root of 2 is an irrational number, it was commonly assumed that, given two line segments, it would be possible to find a third ...
Underdog's user avatar
  • 111
1 vote
2 answers
360 views

Did Berkeley's criticism of infinitesimals hobble calculus pedagogy?

I recently read an article that discussed--rather briefly--the issues of infinitesimals and the criticism of them by Berkeley. The author of the article (which, of course, I cannot find, as I read it ...
Eric Snyder's user avatar
2 votes
1 answer
114 views

History of the Darboux-Froda theorem

I am curious about the history of the so-called Darboux-Froda theorem, which is the following theorem: a monotone function $f:[0,1]\rightarrow \mathbb{R}$ has at most countably many points of ...
Sam Sanders's user avatar
0 votes
0 answers
95 views

Did anyone ever propose an analytic definition of zero divisors, including nilpotents, as opposed to algebraic definition?

I wonder, can we meaningfully define zero divisors based on analytic rather than algebraic approach? For instance, if we extend the real numbers with divergent integrals and series, and evaluate the ...
Anixx's user avatar
  • 642
3 votes
1 answer
209 views

First time the real numbers were axiomatized as the "unique complete ordered field"

(originally asked at M.SE: https://math.stackexchange.com/questions/4094361/first-time-the-reals-were-axiomatized-as-the-unique-complete-ordered-field) I'm looking for historical references on the ...
Luiz Cordeiro's user avatar
10 votes
4 answers
219 views

Historically, what led to the question of the validity of interchange of limit operations?

It seems G. H. Hardy once wrote that "The problem of deciding whether two given limit operations are commutative is one of the most important in mathematics". I was wondering what led to the ...
user avatar
5 votes
1 answer
98 views

Where could I find the reference for the statement of Euler finding out the coefficients of Fourier series?

I am reading Carlslaw's "Introduction to the Theory of Fourier's Series and Integrals", first chapter on the history of Fourier series, page 3. The author asserts that Clairaut and Euler did ...
James Warthington's user avatar
1 vote
0 answers
105 views

How did Fourier determine the coefficients of Fourier series?

I was reading a chapter of Fourier's seminal work "Analytic Theory of Heat". The third chapter of this book was translated by the famous Stephen Hawking in his book "God created the ...
James Warthington's user avatar
5 votes
2 answers
250 views

Has the heyday of mathematical formulae ended?

I have a strong emotional reaction when I read the works of Euler. I have seen many extremely beautiful and intriguing identities in the notebook of Ramanujan, so much so that I think he is indeed a ...
James Warthington's user avatar
2 votes
1 answer
263 views

How to derive the power series of $\sin(x)$ and $\cos(x)$ followed the footstep of Euler

I am reading Euler's "Introduction to analysis of the infinite", chapter 8, page at the end of page 208, beginning of page 209 and came across his derivation of the power series for $\sin(x)$...
James Warthington's user avatar
3 votes
0 answers
186 views

How did Euler obtain this formula from a paper/work in 1748?

I am reading this book on trigonometric series, "Тригонометрические ряды от Эйлера до Лебега" (Trigonometric series from Euler to Lebesgue) , it is in Russian, and my Russian is abysmal. But ...
James Warthington's user avatar
3 votes
0 answers
90 views

Why does Rolle get its own theorem?

The importance of Rolle's theorem lies in the fact that it's used to prove the mean value theorem, which is a central result of analysis, eventually leading to the fundamental theorem of calculus. But ...
user avatar
1 vote
1 answer
386 views

Who first used the Completeness Axiom for real numbers?

I was studying calculus and the following question came to my mind: Who was the first person to use or suggest the use of the Completeness Axiom of the Real Numbers?
user926356's user avatar
4 votes
1 answer
191 views

Was Lebesgue differentiation theorem the motivation for Vitali's, Riesz's and Hardy-Littlewood's results used to prove it?

I have been reading about the Lebesgue differentiation theorem from Terence Tao's book and came across a bunch of things. In his book, Tao uses the Vitali Covering lemma (finite), Hardy-Littlewood ...
red whisker's user avatar
3 votes
1 answer
595 views

When did the Notion of "Limit" Arise and for What Purpose?

It is my understanding that Cauchy was the first to incorporate the notion of a $\delta$-$\epsilon$ limit in his proofs, although a definition was not formulated until Weierstrass did so. How far ...
DDS's user avatar
  • 277
4 votes
0 answers
139 views

Question about the significance of "Gauss-Legendre quadrature"

I want to understand why, according to several sources, Gauss's discovery of Gaussian quadrature in his 1814 article was "the most significant event of the 19th century in the field of numerical ...
user2554's user avatar
  • 4,307
2 votes
1 answer
227 views

Why is a time series not called a time sequence?

In pure mathematics, a sequence is a list of terms, for instance $1, \frac12, \frac14, \dots, \frac{1}{2^k},\dots$, and a series is the sum of an infinite sequence, for instance $\sum_{k=1}^\infty \...
Federico Poloni's user avatar
4 votes
1 answer
119 views

Etymology of certain terms in the theory of elliptic integrals

In the theory of elliptic integrals, one encounters the terms "amplitude" and "modular angle" in relation to incomplete integrals of the first kind, which are two variables that denote the upper limit ...
user2554's user avatar
  • 4,307
6 votes
2 answers
2k views

When was the first recorded occurence of irrational and imaginary number usage in number theory?

I saw a letter of Euler to Lagrange congratulating him on his usage of imaginary numbers in the "analysis devoted to rational numbers alone", was that the first known such usage? What was the likely ...
GEP's user avatar
  • 1,516
6 votes
1 answer
320 views

Did Cauchy ever deal with double or triple integrals?

Did Cauchy ever deal with double or triple integrals? Did he give rigorous proofs of multivariable integral calculus like what came to be called Stokes's theorem, the divergence theorem, etc.?
Geremia's user avatar
  • 5,229
0 votes
1 answer
266 views

Was there a more intuitive early proof of the generalized mean value theorem?

I am interested in the early proofs of the theorem. It is often called Cauchy mean value theorem, so perhaps Cauchy proved it first. In all the proofs that I have seen we construct a contrived ...
Milan's user avatar
  • 119
5 votes
1 answer
255 views

How did Peano prove his existence theorem without Ascoli's theorem?

In modern proofs of the Peano Existence Theorem for ordinary differential equations, Ascoli's theorem is used. Ascoli's theorem came after Peano's proof. Did Peano prove a form of Ascoli's theorem in ...
LinearGuy's user avatar
  • 345
3 votes
0 answers
333 views

The Integral as a Uniform Limit of Step Functions

Who first realized that it is possible to define the integral of a function as the limit of the integrals of a sequence of step functions that converge uniformly to the given function? This is ...
user109871's user avatar
3 votes
2 answers
720 views

Riemann's Contribution to Integration

What did Riemann do for the theory of integration? I am asking because I hear his name a lot in relation to integration and it is often implied that he made large contributions, but I do not know ...
user109871's user avatar
6 votes
2 answers
528 views

How did Newton and Leibniz interpret the integral?

How did Newton and Leibniz think about the integral? Did they only see it as an anti-derivative or did they also think of it as the area under a curve?
user109871's user avatar
0 votes
1 answer
138 views

What geometric results were first proven by assuming all real numbers are rational?

Pythagoras and his followers believed that all magnitudes are commensurable; that is, the ratio of two magnitudes of the same kind, like two lengths or two areas, is equal to the ratio of natural ...
Keshav Srinivasan's user avatar
1 vote
1 answer
335 views

Who first proved Fubini's theorem for abstract measure spaces?

Fubini's theorem relates the double integral of a function $f(x,y)$ to an iterated integral with respect to $x$ and $y$. The basic idea of this theorem for Riemann integrals of continuous functions ...
Keshav Srinivasan's user avatar
5 votes
3 answers
761 views

What brought about the need for real analysis and formal logic in recent years?

I can't seem to find a clear, definitive, non-circular answer on this. For centuries and centuries, we've been doing mathematics in one form or another, be it geometry and pictures, or inventing ...
user525966's user avatar
5 votes
3 answers
680 views

Did Eudoxus really set out to present irrationals as Dedekind cuts?

I've been intrigued by the similarities between what Eudoxus' Theory of Proportions and Dedekind cuts. However, I wish to question this "perceived similarity" and would like to where the flaws are, ...
PhD's user avatar
  • 639
6 votes
2 answers
294 views

Does anybody know the history of how Peter Gustav Lejeune Dirichlet came up with the “nowhere continuous” Dirichlet function?

So I am writing a research paper on the properties of the Dirichlet function (the function with 1 if x is rational and 0 if x is irrational), and I wanted to include some historical background on how ...
serendipity456's user avatar
5 votes
1 answer
335 views

Were there proofs of the Lebesgue Differentiation Theorem without using maximal functions?

Is there a proof of the Lebesgue Differentiation Theorem that does not involve the Hardy-Littlewood Maximal Function? For example, did Lebesgue prove it? If there is such a proof, where can I find it?...
user109871's user avatar
1 vote
2 answers
1k views

Dirichlet's Proof of the Convergence of Fourier Series

Where can I find Dirichlet's proof of the convergence of Fourier series?
user109871's user avatar
4 votes
1 answer
216 views

Reference - Schwarz's Proof of Clairaut's Theorem

Where can I find a copy (online) of Schwarz's paper that proved Clairaut's theorem for mixed partial derivatives? His paper is: Schwarz, H. A., "Communication", Archives des Sciences ...
user109871's user avatar
6 votes
2 answers
393 views

What is history behind Smith-Volterra-Cantor sets?

Looking at Wikipedia, I see that fat Cantor sets are also called Smith-Volterra-Cantor sets. Another name which is sometimes associated with these sets is Hermann Hankel. I suppose that Cantor's name ...
Martin's user avatar
  • 203
3 votes
1 answer
259 views

Who proved the monotone convergence theorem for the Lebesgue integral?

The theorem often be called Lebesgue's MCT or Levi's theorem. Who did originally prove it or what is the contribution of Lebesgue and Levi respectively?
MiGang's user avatar
  • 133
8 votes
2 answers
898 views

What was Lebesgue's original definition of a measurable set?

I found an interesting question on Math SE asked by @Dilemian that seems more on topic here, and since it lacks answers there I thought to post it here so that it can receive good answers here. There ...
user avatar
1 vote
1 answer
254 views

What was Lipschitz's original motivation for the introduction of Lipschitz continuity?

The concept of Lipschitz continuous mappings is probably at the present time the most important mathematical concept associated with Lipschitz's name. These mappings play an important role in the ...
Christian's user avatar
  • 431
6 votes
2 answers
1k views

What is the correct statement of Cauchy’s erroneous theorem on continuity?

I read recently that Cours includes a famous, or perhaps infamous, error in that Cauchy states and proves a false result concerning sequences of continuous functions. (Here, obviously, continuous ...
nwr's user avatar
  • 6,679