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

21
votes
4answers
12k views

Discontinuous derivative.

Could someone give an example of a ‘very’ discontinuous derivative? I myself can only come up with examples where the derivative is discontinuous at only one point. I am assuming the function is ...
21
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 ...
21
votes
3answers
523 views

How can I prove $\pi=e^{3/2}\prod_{n=2}^{\infty}e\left(1-\frac{1}{n^2}\right)^{n^2}$?

I am interested about some infinite product representations of $\pi$ and $e$ like this. Last week I found this formula on internet ...
21
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 ...
21
votes
3answers
629 views

How to find PV $\int_0^\infty \frac{\log \cos^2 \alpha x}{\beta^2-x^2} \, \mathrm dx=\alpha \pi$

$$ I:=PV\int_0^\infty \frac{\log\left(\cos^2\left(\alpha x\right)\right)}{\beta^2-x^2} \, \mathrm dx=\alpha \pi,\qquad \alpha>0,\ \beta\in \mathbb{R}.$$ I am trying to solve this integral, I ...
21
votes
4answers
4k views

Purely “algebraic” proof of Young's Inequality

Young's inequality states that if $a, b \geq 0$, $p, q > 0$, and $\frac{1}{p} + \frac{1}{q} = 1$, then $$ab\leq \frac{a^p}{p} + \frac{b^q}{q}$$ (with equality only when $a^p = b^q$). Back when I ...
21
votes
4answers
492 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 ...
21
votes
3answers
1k views

Why are every structures I study based on Real number?

I've been studying basic concepts of inner product vector space, normed vector space and metric space. And all the inner products, norms and metrics are defined to be real-valued functions in my ...
21
votes
4answers
729 views

What are the zero divisors of $C[0,1]$?

Suppose you have a ring $(C[0,1],+,\cdot,0,1)$ of continuous real valued functions on $[0,1]$, with addition defined as $(f+g)(x)=f(x)+g(x)$ and multiplication defined as $(fg)(x)=f(x)g(x)$. I'm ...
21
votes
2answers
476 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 ...
21
votes
2answers
9k views

Does convergence in $L^{p}$ implies convergence almost everywhere?

If I know $\|f_{n}(x) - f(x)\|_{L^{p}(\mathbb{R})} \rightarrow 0$ as $n \rightarrow \infty$, do I know $\lim_{n \rightarrow \infty}f_{n}(x) = f(x)$ for almost every $x$?
21
votes
3answers
676 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 ...
21
votes
2answers
658 views

Compute $\lim\limits_{n\to\infty} \prod\limits_2^n \left(1-\frac1{k^3}\right)$

I've just worked out the limit $\lim\limits_{n\to\infty} \prod\limits_{2}^{n} \left(1-\frac{1}{k^2}\right)$ that is simply solved, and the result is $\frac{1}{2}$. After that, I thought of calculating ...
21
votes
1answer
409 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 ...
21
votes
1answer
719 views

Integral $\int_{-\infty}^\infty J^3_0(x) e^{i\omega x}\mathrm dx $

Hi I am trying to evaluate the integral $$ \mathcal{I}(\omega)=\int_{-\infty}^\infty J^3_0(x) e^{i\omega x}\mathrm dx $$ analytically. We can also write $$ ...
21
votes
2answers
564 views

If $f:\mathbb{R}\to\mathbb{R}$ is a left continuous function can the set of discontinuous points of $f$ have positive Lebesgue measure?

If $f:\mathbb{R}\to\mathbb{R}$ is a left continuous function can the set of discontinuous points of $f$ have positive Lebesgue measure? I wondered this today, but made little progress. Thank you.
21
votes
1answer
459 views

Scalar product and uniform convergence of polynomials

Given two functions $u$ and $v$, you can compute $(u|v) = \int_0^1 (u(t)'-u(t))(v(t)'-v(t)) \,\mathrm{d}t$. It resembles the scalar product $\int_{-1}^1 u(t)v(t) \,\mathrm{d}t$, which leads to ...
21
votes
2answers
790 views

Lebesgue density strictly between 0 and 1

I am having trouble with the following problem: Let $A\subseteq \mathbb{R}$ be measurable, with $\mu(A)>0$ and $\mu(\mathbb{R}\backslash A)>0$. Then how do I show that there exists $x\in ...
20
votes
4answers
3k views

Finding Value of the Infinite Product $\prod \Bigl(1-\frac{1}{n^{2}}\Bigr)$

While trying some problems along with my friends we had difficulty in this question. True or False: The value of the infinite product $$\prod\limits_{n=2}^{\infty} \biggl(1-\frac{1}{n^{2}}\biggr)$$ ...
20
votes
6answers
3k views

Prove that $\sqrt 2 +\sqrt 3$ is irrational. [duplicate]

Please prove that $\sqrt 2 + \sqrt 3$ is irrational. One of the proofs I've seen goes: If $\sqrt 2 +\sqrt 3$ is rational, then consider $(\sqrt 3 +\sqrt 2)(\sqrt 3 -\sqrt 2)=1$, which implies ...
20
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 ...
20
votes
7answers
2k views

Perfect set without rationals

Give an example of a perfect set in $\mathbb R^n$ that does not contain any of the rationals. (Or prove that it does not exist).
20
votes
15answers
3k views

Useful examples of pathological functions

What are some particularly well-known functions that exhibit pathological behavior at or near at least one value and are particularly useful as examples? For instance, if $f'(a) = b$, then $f(a)$ ...
20
votes
2answers
617 views

The series $\sum_{n=1}^{+\infty}\frac{1}{1^2+2^2+\cdots+n^2}.$

How to justify the convergence and calculate the sum of the series: $$\sum_{n=1}^{+\infty}\frac{1}{1^2+2^2+\cdots+n^2}.$$
20
votes
4answers
1k views

Is there a $\sigma$-algebra on $\mathbb{R}$ strictly between the Borel and Lebesgue algebras?

So, after proving that $\mathfrak{B}(\mathbb{R})\subset \mathfrak{L}(\mathbb{R})$, I asked myself, and now asking you, is there a set $\mathfrak{S}(\mathbb{R})$, which satisfies: ...
20
votes
5answers
1k views

Approximation to $ \sqrt{2}$

I'm a first year Undergraduate student from India. Our professor is going to start a Real Analysis course in September and I was preparing for the initials. I tried and solved many problems, but this ...
20
votes
2answers
2k views

Enumerations of the rationals with summable gaps $(q_i-q_{i-1})^2$

Here is a question from my undergraduate days which I never knew the answer to. I just want to know if anyone can offer me a hint. Consider the rationals in $[0,1]$. Does there exist a (bijective) ...
20
votes
4answers
3k 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 ...
20
votes
6answers
1k views

A question on Terence Tao's representation of Peano Axioms

While reading Terence Tao's book on Analysis I had some questions regarding the implication of the Peano Axioms. After writing the following four axioms (which I will write without changing their ...
20
votes
2answers
494 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 ...
20
votes
4answers
11k views

max and min versus sup and inf

What is the difference between max, min and sup, inf?
20
votes
1answer
3k views

Example of a Borel set that is neither $F_\sigma$ nor $G_\delta$

I'm looking for subset $A$ of $\mathbb R$ such that $A$ is a Borel set but $A$ is neither $F_\sigma$ nor $G_\delta$.
20
votes
2answers
1k 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 ...
20
votes
2answers
2k views

Comparing the Lebesgue measure of an open set and its closure

Let $E$ be an open set in $[0,1]^n$ and $m$ be the Lebesgue measure. Is it possible that $m(E)\neq m(\bar{E})$, where $\bar{E}$ stands for the closure of $E$?
20
votes
2answers
450 views

When does $(uv)'=u'v'?$ [duplicate]

In any calculus course, one of the first thing we learn is that $(uv)'=u'v+v'u$ rather than the what I've written in the title. This got me wondering: when is this dream product rule true? There are ...
20
votes
4answers
726 views

How does this discontinuity occur in evaluating a nested square root?

This question is based on a comment I made on a question likely to be closed. Let $$y=\sqrt {x+ \sqrt {x+ \sqrt {x+ \sqrt {x+ \sqrt {x+ \dots}}}}}$$ be the classic nested square root which has ...
20
votes
1answer
529 views

Is there a function having a limit at every point while being nowhere continuous?

Is there a function $\,f:\mathbb{R}\rightarrow\mathbb{R},\,$ that has a limit at every point but is continuous nowhere?
20
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 ...
20
votes
4answers
354 views

Continuous $f\colon [0,1]\to \mathbb{R}$ all of whose nonempty fibers are countably infinite?

I have been told it is possible to construct a continuous function $f\colon [0,1]\to \mathbb{R}$ such that $f^{-1}(x)$ is either empty or has cardinality $\aleph_0$ for every $x\in \mathbb{R}$. I've ...
20
votes
2answers
2k views

Two definitions of Lebesgue integration

Normally, Lebesgue integral, for positive measures, is defined in the following way. First, one defines the integral for indicator functions, and linearly extend to simple functions. Then, for a ...
20
votes
4answers
525 views

Evaluating $\sqrt{1 + \sqrt{2 + \sqrt{4 + \sqrt{8 + \ldots}}}}$

Inspired by Ramanujan's problem and solution of $\sqrt{1 + 2\sqrt{1 + 3\sqrt{1 + \ldots}}}$, I decided to attempt evaluating the infinite radical $$ \sqrt{1 + \sqrt{2 + \sqrt{4 + \sqrt{8 + \ldots}}}} ...
20
votes
1answer
370 views

Learning Aid for Basic Theorems of Topological Vector Spaces in Functional Analysis

I am self-teaching myself the basics of functional analysis (e.g. topological vector spaces), and frankly I am starting to get a migraine sorting out/organizing in my head all of the ...
20
votes
1answer
640 views

real analysis function takes on each value twice?

I want to find a function $f:[0,1] \to [0,1]$ such that $f$ takes on each value in $[0,1]$ exactly twice. I think this means there are an infinite number of discontinuities. Can anyone help me figure ...
20
votes
1answer
289 views

A combination integral and series resulting the inverse tangent integral

$\def\Ti{{\rm{Ti}}_2}$I have been able to solve an integral problem, now I tried to use the other method to crack the integral and I have to prove the following expression \begin{equation} ...
19
votes
18answers
3k views

Give a concrete sequence of rationals which converges to an irrational number and vice versa.

Give a concrete sequence of rationals which converges to an irrational number and vice versa.... My work I could give a sequence of irrationals which converges to a rational number... Let $r\in ...
19
votes
4answers
2k views

What's the value of $\sum\limits_{k=1}^{\infty}\frac{k^2}{k!}$?

For some series, it is easy to say whether it is convergent or not by the "convergence test", e.g., ratio test. However, it is nontrivial to calculate the value of the sum when the series converges. ...
19
votes
2answers
1k views

Is indefinite integration non-linear?

Let us consider this small problem: $$ \int0\;dx = 0\cdot\int1\;dx = 0\cdot(x+c) = 0 \tag1 $$ $$ \frac{dc}{dx} = 0 \qquad\iff\qquad \int 0\;dx = c, \qquad\forall c\in\mathbb{R} \tag2 $$ These are two ...
19
votes
5answers
498 views

Computing $\lim_{n\to\infty}n\sum_{k=1}^n\left( \frac{1}{(2k-1)^2} - \frac{3}{4k^2}\right)$

What ways would you propose for the limit below? $$\lim_{n\to\infty}n\sum_{k=1}^n\left( \frac{1}{(2k-1)^2} - \frac{3}{4k^2}\right)$$ Thanks in advance for your suggestions, hints! Sis.
19
votes
2answers
1k views

Is a differentiable function on $(-2, 4)$ always integrable on $[-2, 4]$?

So my question is, say I have a function that is differentiable on $(-2, 4)$. Is it always integrable on $[-2, 4]$? I know that if $f$ is diff on $(-2, 4)$, then it is continuous on $(-2, 4)$. And I ...
19
votes
8answers
509 views

Integral $I:=\int_0^1 \frac{\log^2 x}{x^2-x+1}\mathrm dx=\frac{10\pi^3}{81 \sqrt 3}$

Hi how can we prove this integral below? $$ I:=\int_0^1 \frac{\log^2 x}{x^2-x+1}\mathrm dx=\frac{10\pi^3}{81 \sqrt 3} $$ I tried to use $$ I=\int_0^1 \frac{\log^2x}{1-x(1-x)}\mathrm dx $$ and now ...