Theoretical foundations of calculus: limits, convergence of sequences, construction of the real numbers, least upper bound property, and related analysis topics such as continuity, differentiation, and integration through the fundamental theorem of calculus.

learn more… | top users | synonyms

25
votes
2answers
701 views

Writing real numbers as sums of zeros and ones

Call a number $\delta\in(0,1)$ "good" if it satisfies the following property: Every real number $a\in(0,1)$ can be written as an infinite sum of the form: $$a = \sum_{i=1}^\infty \delta^i a_i$$ ...
25
votes
2answers
706 views

Does there exist a sequence $\{a_n\}_{n\ge1}$ with $a_n < a_{n+1}+a_{n^2}$ such that $\sum_{n=1}^{\infty}a_n$ converges?

Does there exist a sequence $\{a_n\}_{n\ge1}$ with $a_n < a_{n+1}+a_{n^2}$ such that $\sum_{n=1}^{\infty}a_n$ converges? Does there exist a sequence with the same property but with each term ...
25
votes
2answers
870 views

How slow/fast can $L^p$ norm grow?

This is actually an exercise in Rudin's Real and Complex Analysis, $L^p$ spaces chapter. Could anyone help me out? Thanks in advance. Motivation: It's well known that if we have a function $f$ which ...
25
votes
1answer
861 views

Evaluate $\sum\limits_{k=1}^{\infty} \frac{k^2-1}{k^4+k^2+1}$

How to find $$\sum_{k=1}^{\infty} \frac{k^2-1}{k^4+k^2+1}$$ I try something like this: $$\begin{align*}\sum_{k=1}^{\infty} ...
25
votes
2answers
432 views

Measurability of $\xi$ in the mean value theorem

Suppose $f\in C^1(\mathbb{R})$, by mean value theorem, for any $x\in (0,\infty)$, there exists $\xi(x)\in (0,x)$ such that $$\frac{f(x)-f(0)}{x}=f'(\xi(x)).$$ My question is: Question: Can ...
25
votes
1answer
1k views

Is the image of a nowhere dense closed subset of $[0,1]$ under a differentiable map still nowhere dense?

Let $f:[0,1]\to[0,1]$ be a continuous function such that its derivative $f'$ exists on $(0,1)$. My question is: Q1. If $E\subset[0,1]$ is a nowhere dense closed subset, is $f(E)$ also nowhere ...
25
votes
2answers
951 views

Number of local maxima of a function

Let $z_j$ ($j=1,\dots, k$) be $k$ points on the complex plane none of which lies on the real line. Is it always true that the function $$ F(x)=\sum_{j=1}^k \frac{1}{|x-z_j|^2} $$ has at most $k$ ...
25
votes
1answer
542 views

Smooth functions for which $f(x)$ is rational if and only if $x$ is rational

A friend of mine introduced me to the following question: Does there exist a smooth function $f: \mathbb{R} \to \mathbb{R}$ ($f \in C^{\infty}$), such that $f$ maps rationals to rationals and ...
24
votes
7answers
4k views

Why do introductory real analysis courses teach bottom up?

A big part of introductory real analysis courses is getting intuition for the $\epsilon-\delta$ proofs. For example, these types of proofs come up a lot when studying differentiation, continuity, and ...
24
votes
4answers
1k views

Maybe a rather famous integral

How to evaluate : $$\int_0^{\frac{\pi}{2}}\left(\frac{x}{\sin x}\right)^2\text{d}x$$ Thx guys! I was wondering how would use a series expansion?
24
votes
2answers
1k views

Finding the limit of a sequence with an undesirable $\ln k$

I am trying to compute the limit of this sequence: $$\lim\limits_{n \to \infty} \dfrac{(-1)^nn^2}{n!} \sum\limits_{k=2}^{n}\binom{n}{k}(-1)^kk^{n-1}\ln k$$ I can compute without the $\ln k$ in the ...
24
votes
2answers
1k views

How local is the information of a derivative?

I have read it a thousand times: "you only need local information to compute derivatives." To be more precise: when you take a derivative, in say point $a$, what you are essentially doing is taking a ...
24
votes
4answers
15k views

max and min versus sup and inf

What is the difference between max, min and sup, inf?
24
votes
4answers
1k views

Were “real numbers” used before things like Dedekind cuts, Cauchy sequences, etc. appeared?

Just the question in the title, I'm trying to understand how something like analysis could be developed without formal constructions of the real numbers. I'm also very interested, if the answer is ...
23
votes
8answers
1k views

A proof of $\int_{0}^{1}\left( \frac{\ln t}{1-t}\right)^2\,\mathrm{d}t=\frac{\pi^2}{3}$

What is the proof of the following: $$\int_{0}^{1} \left(\frac{\ln t}{1-t}\right)^2 \,\mathrm{d}t=\frac{\pi^2}{3} \>?$$
23
votes
6answers
2k views

Proof that $\lim_{n\rightarrow \infty} \sqrt[n]{n}=1$

Thomson et al. provide a proof that $\lim_{n\rightarrow \infty} \sqrt[n]{n}=1$ in this book. It has to do with using an inequality that relies on the binomial theorem. I tried to do an alternate proof ...
23
votes
5answers
14k views

Is there a rational number between any two irrationals?

Suppose $i_1$ and $i_2$ are distinct irrational numbers with $i_1 < i_2$. Is it necessarily the case that there is a rational number $r$ in the interval $[i_1, i_2]$? How would you construct such ...
23
votes
3answers
6k views

Sum of two closed sets in $\mathbb R$ is closed?

Is there a counterexample for the claim in the question subject, that a sum of two closed sets in $\mathbb R$ is closed? If not, how can we prove it? (By sum of sets $X+Y$ I mean the set of all sums ...
23
votes
4answers
1k views

Prove $\int_0^{\infty}\! \frac{\mathbb{d}x}{1+x^n}=\frac{\pi}{n \sin\frac{\pi}{n}}$ using real analysis techniques only

I have found a proof using complex analysis techniques (contour integral, residue theorem, etc.) that shows $$\int_0^{\infty}\! \frac{\mathbb{d}x}{1+x^n}=\frac{\pi}{n \sin\frac{\pi}{n}}$$ for $n\in ...
23
votes
5answers
9k views

$\epsilon$-$\delta$ proof that $\lim\limits_{x \to 1} \frac{1}{x} = 1$.

I'm starting Spivak's Calculus and finally decided to learn how to write epsilon-delta proofs. I have been working on chapter 5, number 3(ii). The problem, in essence, asks to prove that ...
23
votes
4answers
4k views

Sine function dense in $[-1,1]$

We know that the sine function takes it values between $[-1,1]$. So is the set $$A = \{ \sin{n} \ : \ n \in \mathbb{N}\}$$ dense in $[-1,1]$. Generally, for showing the set is dense, one proceeds, by ...
23
votes
4answers
535 views

Prove that $\int_0^1 \frac{{\rm{Li}}_2(x)\ln(1-x)\ln^2(x)}{x} \,dx=-\frac{\zeta(6)}{3}$

I have spent my holiday on Sunday to crack several integral & series problems and I am having trouble to prove the following integral \begin{equation} \int_0^1 ...
23
votes
5answers
9k views

Density of irrationals

I came across the following problem: Show that if $x$ and $y$ are real numbers with $x <y$, then there exists an irrational number $t$ such that $x < t < y$. We know that $y-x>0$. ...
23
votes
2answers
810 views

How to prove that $\sum\limits_{n=1}^\infty\frac{(n-1)!}{n\prod\limits_{i=1}^n(a+i)}=\sum\limits_{k=1}^\infty \frac{1}{(a+k)^2}$ for $a>-1$?

A problem on my (last week's) real analysis homework boiled down to proving that, for $a>-1$, $$\sum_{n=1}^\infty\frac{(n-1)!}{n\prod\limits_{i=1}^n(a+i)}=\sum_{k=1}^\infty \frac{1}{(a+k)^2}.$$ ...
23
votes
3answers
2k views

Choice of $q$ in Baby Rudin's Example 1.1

First, my apologies if this has already been asked/answered. I wasn't able to find this question via search. My question comes from Rudin's "Princicples of Mathematical Analysis," or "Baby Rudin," ...
23
votes
2answers
2k views

Better Proofs Than Rudin's For The Inverse And Implicit Function Theorems

I am finding Rudin's proofs of these theorems very non-intuitive and difficult to recall. I can understand and follow both as I work through them, but if you were to ask me a week later to prove one ...
23
votes
2answers
494 views

How to prove $\sum_{n=0}^{\infty} \frac{1}{1+n^2} = \frac{\pi+1}{2}+\frac{\pi}{e^{2\pi}-1}$

How can we prove the following $$\sum_{n=0}^{\infty} \dfrac{1}{1+n^2} = \dfrac{\pi+1}{2}+\dfrac{\pi}{e^{2\pi}-1}$$ I tried using partial fraction and the famous result $$\sum_{n=0}^{\infty} ...
23
votes
2answers
517 views

Closed-form of $\sum_{n=1}^\infty\frac{(-1)^{n+1}}{n}\Psi_3(n+1)=-\int_0^1\frac{\ln(1+x)\ln^3 x}{1-x}\,dx$

Does the following series or integral have a closed-form \begin{equation} \sum_{n=1}^\infty\frac{(-1)^{n+1}}{n}\Psi_3(n+1)=-\int_0^1\frac{\ln(1+x)\ln^3 x}{1-x}\,dx \end{equation} where ...
23
votes
1answer
892 views

Is the image of a Borel subset of $[0,1]$ under a differentiable map still a Borel set?

Let $f:[0,1]\to[0,1]$ be a continuous function such that its derivative $f'$ exists on $(0,1)$. Inspired by a similar question of myself here, I want to ask: If $E\subset[0,1]$ is a Borel set, is ...
23
votes
2answers
3k views

If every real-valued continuous function is bounded on $X$ (metric space), then $X$ is compact.

Let $X$ be a metric space. Prove that if every continuous function $f: X \rightarrow \mathbb{R}$ is bounded, then $X$ is compact. This has been asked before, but all the answers I have seen prove the ...
23
votes
1answer
641 views

Is $\pi$ the best constant in this inequality?

Let $E$ be the set of completely monotonous functions on $[0,+\infty)$, that is $f \in C^\infty([0,+\infty))$ and $\forall\, n\geq 0,\forall\, x\geq 0,\quad(-1)^nf^{(n)}(x)\geq 0.$. For $f\in E$ and ...
23
votes
1answer
476 views

How should I calculate $\lim_{n\rightarrow \infty} \frac{1^n+2^n+3^n+…+n^n}{n^n}$

How should I calculate the below limit $$\lim_{n\rightarrow \infty} \frac{1^n+2^n+3^n+...+n^n}{n^n}$$ I have no idea where to start from.
23
votes
1answer
617 views

Can the chain rule be relaxed to allow one of the functions to not be defined on an open set?

I've written the question first, then the motivation behind it and lastly some background. Note that the question makes references to definitions and theorems written in the background bit at the end. ...
22
votes
13answers
2k views

Intuitive proofs that $\lim\limits_{n\to\infty}\left(1+\frac xn\right)^n=e^x$

At this link someone asked how to prove rigorously that $$ \lim_{n\to\infty}\left(1+\frac xn\right)^n = e^x. $$ What good intuitive arguments exist for this statement? Later ...
22
votes
3answers
1k views

No continuous function switches $\mathbb{Q}$ and the irrationals

Is there a way to prove the following result using connectedness? Result: Let $J=\mathbb{R} \setminus \mathbb{Q}$ denote the set of irrational numbers. There is no continuous map $f: \mathbb{R} ...
22
votes
2answers
9k views

Differentiating an Inner Product

If $(V, \langle \cdot, \cdot \rangle)$ is a finite-dimensional inner product space and $f,g : \mathbb{R} \longrightarrow V$ are differentiable functions, a straightforward calculation with components ...
22
votes
4answers
901 views

About the integral $\int_{-1}^1 \frac{1}{\pi^2+(2 \operatorname{arctanh}(x))^2} \, dx=\frac{1}{6} $

Here is a question that naturally arose in the study of some specific integrals. I'm curious if for such integrals are known nice real analysis tools for calculating them (including here all possible ...
22
votes
4answers
1k views

thoughts about $f(f(x))=e^x$

I was thinking, inspired by mathlinks, precisely from this post, if there exists a continuous real function $f:\mathbb R\to\mathbb R$ such that $$f(f(x))=e^x.$$ However I have not still been able to ...
22
votes
3answers
570 views

Compute $\sum_{k=0}^{\infty}\frac{1}{2^{k!}}$

How could the series below be computed ? $$\sum_{k=0}^{\infty}\frac{1}{2^{k!}}$$ It's not a series from a book, but a series I thought of many times, and I didn't manage to figure out what I should do ...
22
votes
4answers
668 views

Evaluating $\sum\limits_{n=1}^{\infty} \frac{1}{n\operatorname{ GPF}(n)}$, where $\operatorname{ GPF}(n)$ is the greatest prime factor

$\operatorname{ GPF}(n)=$Greatest prime factor of $n$, eg. $\operatorname{ GPF}(17)=17$, $\operatorname{ GPF}(18)=3$. How to evaluate convergence/divergence/value of the sum $$\sum_{n=1}^{\infty} ...
22
votes
2answers
660 views

Can we make $\tan(x)$ arbitrarily close to an integer when $x\in \mathbb{Z}$?

My 7-year-old son was staring at the graph of tan() and its endlessly-repeating serpentine strokes on the number line between multiples of $\pi$ and he asked me the question in the title. More ...
22
votes
3answers
652 views

Local maxima of Legendre polynomials

When I plotted the (normalized) Legendre polynoials, I couldn't help noticing that all the local maxima lay on a really nice curve: What is the equation of the curve (and how can we arrive to that ...
22
votes
2answers
515 views

Distance from $x^n$ to lesser polynomials

I am interested in the $L_1$ distance of $x^n$ to the $\mathbb R$-span of $\{1,x,\ldots,x^{n-1}\}$ over some interval. We can WLOG consider the interval $[0,1]$ (say) because scaling and shifting only ...
22
votes
1answer
1k views

A smooth function's domain of being non-analytic

I am wondering how much a smooth function may be non-analytic, because in proofs, whilst there non-analytic smooth functions, it would suffice if a smooth function were analytic on only a "small set". ...
22
votes
3answers
953 views

Who came up with the $\varepsilon$-$\delta$ definitions and the axioms in Real Analysis?

I've seen a lot of definitions of notions like boundary points, accumulation points, continuity, etc, and axioms for the set of the real numbers. But I have a hard time accepting these as "true" ...
22
votes
3answers
791 views

Compute $\int_0^\pi\frac{\cos nx}{a^2-2ab\cos x+b^2}\, dx$

How to compute the following integral \begin{equation} \int_0^\pi\frac{\cos nx}{a^2-2ab\cos x+b^2}\, dx \end{equation} I have been given two integral questions by my teacher. I cannot answer ...
22
votes
6answers
2k views

Is the theory of dual numbers strong enough to develop real analysis, and does it resemble Newton's historical method for doing calculus?

I've been interested in non-standard analysis recently. I was reading up on it and noticed the following interesting comment on the Wikipedia page about hyperreal numbers, right after giving an ...
22
votes
3answers
1k views

What's the name of this theorem?

It happens very often in physics that we find relations like: $$\int_V f(x) dx = \int_V g(x) dx$$ for an arbitrary volume $V$. From this we usually say "Since the volume is arbitrary, the integrands ...
22
votes
1answer
433 views

How to find $\int_0^\infty \prod_{k=1}^n \frac{\sin \frac{x}{2k-1}}{\frac{x}{2k-1}}\mathrm dx$

I am trying to calculate the integral $$ I_n=\int \limits_0^\infty \prod_{k=1}^n \frac{\sin \frac{x}{2k-1}}{\frac{x}{2k-1}}\mathrm dx. $$ (I have literature on this, if people want). Note, we can ...
22
votes
1answer
398 views

The Fibonacci sum $\sum_{n=0}^\infty \frac{1}{F_{2^n}}$ generalized

The evaluation, $$\sum_{n=0}^\infty \frac{1}{F_{2^n}}=\frac{7-\sqrt{5}}{2}=\left(\frac{1-\sqrt{5}}{2}\right)^3+\left(\frac{1+\sqrt{5}}{2}\right)^2$$ was recently asked in a post by Chris here. I ...