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

4
votes
0answers
45 views

Convergence of $n^{-\gamma}T$ where $T$ a hitting time for uniform rvs, can I use CLT?

Let $X_1,X_2,\dots$ be iid uniform on $\{1,\dots,n\}$ and define $T=\inf\{k:X_k=X_r \text{ for some }r<k\}$. The objective is to figure out when $n^{-\gamma} T$ converges weakly to some ...
4
votes
0answers
128 views

An a.e.-defined derivative which is not Lebesgue integrable on any interval?

If the derivative $f'$ exists everywhere then it is shown here that there exist intervals on which $f'$ is Lebesgue integrable. But perhaps there is a function $f$ such that $f'$ only exists almost ...
4
votes
0answers
156 views

Solving $\int\frac{x}{(x^2+x+1)^{\frac{1}{12}}}$

I'm trying to solve $$\int_0^1\frac{x}{(x^2+x+1)^{\frac{1}{12}}}\mathrm dx$$ To calculate it I first tried to calculate the primitive function. So let $$\int\frac{x}{(x^2+x+1)^{\frac{1}{12}}}\mathrm ...
4
votes
0answers
204 views

Differences among Cauchy, Lagrange, and Schlömilch remainder in Taylor's formula: why is generalization useful?

I would like to know what really are the main differences (in terms of "usefulness") among Cauchy, Lagrange, and Schlömilch's forms of the remainder in Taylor's formula. Could you provide examples ...
4
votes
0answers
78 views

Infinite products of non-measurable sets

I just proved for a homework problem that the direct product of two non-measurable sets is non-measurable. It seems to me that the finite direct product of finitely many non-measurable sets is also ...
4
votes
0answers
30 views

Proving a subspace of $C(X\times Y)$ is dense in $C(X\times Y)$

If $X,Y$ are compact, show that the subspace of $C(X\times Y)$, spanned by the functions of the form $f(x,y)=g(x)h(y)$, for $g\in C(X),h\in C(X)$ is dense in $C(X\times Y)$. Not sure where to ...
4
votes
0answers
174 views

On the Hölder regularity of an integral function

Let $n\geq 3$. Let $\Omega$ be an open and bounded subset of $\mathbb{R}^n$. Let define $X_0$ as the space of functions $f:\bar\Omega\times\partial\Omega\to\mathbb{R}$ such that $f(x,\cdot)$ is ...
4
votes
0answers
54 views

Proving another digammabinomial series result

This series is related to some extent to the previous question of mine, that is Computing $\sum_{n=1}^{\infty} \frac{\psi\left(\frac{n+1}{2}\right)}{ \binom{2n}{n}}$, where an approach by series only ...
4
votes
0answers
84 views

Generating Function for Associated Stirling Numbers $b(n,k)$

I am trying to identify or find the ordinary generating function (not the exponential generating function) for the Associated Stirling numbers of the Second kind, denoted $$b(1;n,k)=b(n,k)$$ These ...
4
votes
0answers
98 views

Closed form of arctanlog series

What tools would you recommend me for $$\operatorname{arctan}\left( \frac{1}{1}\right)\log\left(1+\frac{1}{1}\right)+\operatorname{arctan}\left( ...
4
votes
0answers
86 views

How to select good exercises?

I'm studying on Rudin "Principles of of Mathematical Analysis" which I begin to find as a good and complete reference. I wonder how many exercises shall I do at the end of each chapter ? In case of ...
4
votes
0answers
103 views

Compact family of Lip functions under the sup norm metric, proof verification.

Hi everyone I'd like to know if the following is correct, I'd appreciate your opinion and also any suggestion to improve my argument. Thanks in advance for your time. If $(K,d)$ is a compact ...
4
votes
0answers
71 views

A Question From Measure Theory

How to show that a basis for the vector space $\mathbb{R}$ over the field $\mathbb{Q}$ is not Lebesgue measurable? Can anyone help me?
4
votes
0answers
89 views

Equivalence of Lebesgue Measurablity

Hello Mathematics Community. I am having some difficulties with the following problem dealing with Lebesgue Measure and its equivalent interpretation. I will first include the definitions which I am ...
4
votes
0answers
187 views

Is there a book only about epsilon delta proofs?

I want to know if there is such book, with beautiful epsilon delta proofs of all kind.
4
votes
0answers
97 views

Is it possible to find $\int \frac{1}{\sqrt[4]{1+x^4}} dx$ by parametrizing the curve $y^4-x^4=1$?

I found this integral in a handbook of integrals: $$\int \frac{1}{\sqrt[4]{1+x^4}} dx$$ I already have evaluated this integral by trigonometric substitutions and my answer agrees with that of the ...
4
votes
0answers
59 views

Improper multivariable integrals

I'm having trouble with the integral $$\iiint_{1\le x^2+y^2+z^2 }\frac{\mathrm{d}x~\mathrm{d}y~\mathrm{d}z}{xyz}$$ this is what I've done so far: $$\lim_{b\to +\infty}\int_1^b \int_0^{2\pi} ...
4
votes
0answers
80 views

Definition of $0^z$, $z$ complex

Usually we define the function $a^b$ over the complexes using the exponential function, as $e^{b\log a}$. This function has some issues with multivalued-ness, but it still more or less satisfies ...
4
votes
0answers
82 views

Distinction between nowhere monotone and nowhere differentiable

It is known that all functions that are continuous and nowhere differentiable are also nowhere monotone but that there is a function that is everywhere differentiable but nowhere monotone. I have ...
4
votes
0answers
73 views

Two question about how to compute this integral limit

Let $f: (-\pi,\pi]\to \mathbb R$ be continuous and let $p_x (u) = {(f(u+x) - f(x)) \cos ({u \over 2}) \over \sin ({u \over 2}) }$. I want to show that $$ \int_{-\pi}^\pi p_x(u) \sin (Nu) du \to 0$$ ...
4
votes
0answers
104 views

If $f_n(t):=f(t^n)$ converges uniformly to continuous function then $f$ constant

Let $f \colon [0,1] \to \mathbb R$ be continuous and let $f_n$ be defined by $$ f_n(x):=f(x^n), \qquad x \in [0,1], \,\, n \in \mathbb N. $$ Suppose there exists a continuous function $g$ on ...
4
votes
0answers
146 views

existence of solution of volterra integral equation of the first kind

$$ \int_0^t k(s,t)f(s)ds=g(t) $$ To know the existence and uniquness of solution of volterra integral equation(VIE) of the first kind, we differentiate it and convert to the VIE of the second kind. ...
4
votes
0answers
178 views

Existence and uniqueness up to isomorphism of the real numbers from axioms

Pretty much what the title says: how does one prove the existence and uniqueness of the real number system from the ordered field axioms together with the least-upper-bound property (or maybe some ...
4
votes
0answers
75 views

Jordan decomposition of linear functionals

Let $X$ be a locally compact Hausdorff space. Also, let $C_0(X,\mathbb R)$ denote the vector space of such continuous functions $f:X\to\mathbb R$ that the set $\{x\in X\,|\,|f(x)|\geq\varepsilon\}$ is ...
4
votes
0answers
57 views

A formula similar to $\int_a^bf(x)dx=\mu\left[a,b \right]$ for $f^p$.

Let $\mu$ be an absolutely continuous measure with respect to the Lebesgue measure on $\mathbb{R}$ , and $f:\mathbb{R}\to \mathbb{R^+}$ its Radon-Nikodym derivative . We can write $\int_a^bf(x)dx$ in ...
4
votes
0answers
144 views

Clarification on tetration

So far when I looked at tetration I noticed it had a recursive relation. It's $t_2=2^{(t_1)}.$ For example if we start at point $(0,1)$, we can take the x-value of $0$, and $2^0=1$, then we take $1$ ...
4
votes
0answers
285 views

Proving u-substitution the hard way — use only definition of integration with partitions

I am trying to prove integration by substitution, i.e. for $f:[c,d] \rightarrow \mathbb{R}$ continuous and $\phi: [c,d] \rightarrow [a,b]$ continuous on $[c,d]$ and $\mathscr{C}^1$ on $(c,d)$. Then ...
4
votes
0answers
36 views

Weak topology on $L^p,~p> 1$

How looks like the weak topology in the particular case $X=L^p$, I mean, is possible to detail this topology beyond standar form: Arbitrary union of finite intersections open pre-images of opens ...
4
votes
0answers
72 views

Evaluation of the double integral $\iint_{[0,1] \times [0,1]}{\left(\frac{xy(1-x)(1-y)}{2-xy}\right)^n \frac{dxdy}{2-xy}}$

How to prove that $$\large \lim_{n \to \infty} \left(\iint_{[0,1] \times [0,1]}{\left(\frac{xy(1-x)(1-y)}{2-xy}\right)^n \cdot\frac{1}{2-xy}\; ...
4
votes
0answers
73 views

Convergence of $\sum_n |\frac{\cos(3^n)}{n}|$

So a recent post asked about convergence of $\sum_n |\frac{\cos(2^n)}{n}|$, and using double-angle formula for $\cos$ it could be shown that for each pair of consecutive terms, at least one term had ...
4
votes
0answers
144 views

Integral $ \int_0^\infty \frac{x^n\ln x}{(x^2+\alpha^2)^2(e^x-1)}dx$

Hey I am trying to integrate $$ \int_0^\infty \frac{x^n\ln x}{(x^2+\alpha^2)^2(e^x-1)}dx,\quad \alpha,n \in \mathbb{R}^{0+}. $$ This integral is old. I am also looking for literature on these ...
4
votes
0answers
248 views

The Monster PolyLog Integral $\int_0^\infty \frac{Li_n(-\sigma x)Li_m(-\omega x^2)}{x^3}dx$

I am trying to solve this integral $$ \int_{0}^{\infty} {{\rm Li}_{n}\left(-\sigma x\right){\rm Li}_m\left(-\omega x^{2}\right) \over x^{3}}\,{\rm d}x $$ which is from some high school training ...
4
votes
0answers
59 views

Prove that $\lim\limits_{t \rightarrow 0} \int\limits_{0}^{\infty} e^{-tx} f(x) dx = 1$ for $t>0$.

Suppose $f \in \mathcal{R}$ on $[0,A]$ for all $A < \infty$, and $f(x) \rightarrow 1$ as $x \rightarrow + \infty$. Prove that $\lim\limits_{t \rightarrow 0} \int\limits_{0}^{\infty} e^{-tx} f(x) ...
4
votes
0answers
102 views

Rudin's Principle of Mathematical Analysis Problem

If ${(s_n)}$ is a complex sequence, define its arithmetic means $\sigma_n$ by $$\sigma_n = \frac{s_0 +s_1 + ... + s_n}{n+1}$$ Assume that $M < \infty, |na_n| \leq M$ for all n and lim ...
4
votes
0answers
71 views

Is there a measure on $\mathbb{R^3}$ other than volume?

Of course there is the trivial measure where each subset of $\mathbb{R^3}$ have measure zero. But I am asking for a measure $\mu$ for which $\mu(E)=1$ where $E=[0,1]^3$. I thought about the radius, ...
4
votes
0answers
110 views

Lebesgue density theorem for compact metric spaces.

Let $X$ be a compact metric space (with balls $B_{\varepsilon }(x)$), $\mu $ a Borel probability measure, and $A$ a Borel set with positive probability. Do we have that $\lim_{\varepsilon ...
4
votes
0answers
365 views

Show that the iterated $\ln^{[n]}$ of tetration(x,n) is nowhere analytic

$$f(x) = \lim_{n\to \infty} \ln^{[n]} x \uparrow\uparrow n$$ The conjecture is that $f(x)$ is monotonic and infinitely differentiable at the real axis, but nowhere analytic; because at each point on ...
4
votes
0answers
123 views

Could $4+2+4+2+4+2+\cdots = -1 $?

In physics classes, on this StackExchange and even in blogs the sum $1 + 2 + 3 + 4 + \cdots = - \frac{1}{12} $ has been under the microscope. Why does $1+2+3+\dots = {-1\over 12}$? The ...
4
votes
0answers
44 views

Cone is a submanifold iff it is a vector subspace

Could you tell me how to prove the following? Let $\emptyset \neq M \subset \mathbb{R}^n $ be a cone ($\forall x \in M, t \in \mathbb{R} : tx \in M $ ), $0 \le d \le n.$ Prove that $M$ is a $d$ ...
4
votes
0answers
552 views

Fubini's Theorem for Infinite series

In the book what I've read, there is one point where the author suggest to begin the proof of the Fubini's Theorem for infinite sum in the case when is non-negative after this try to generalize. But ...
4
votes
0answers
202 views

$x^x = y$, given $y$ solve for $x$ analytically

This question has been bugging me since high school where I was told "not to be concerned with such matters", but years later I still haven't found a satisfying answer. The question is really simple: ...
4
votes
0answers
63 views

What is known about functions with alternating signs of partial deriavites?

Lately I have come accross a class of functions with alternating signs of their partial derivatives, in detail the class looks as follows $$\Big\{f:\mathbb{R}^n\longrightarrow\mathbb{R}: (-1)^k ...
4
votes
0answers
72 views

How much larger is the $\sigma$-algebra than the algebra in Caratheodory extension?

Given a 'measure' $\lambda$ on an algebra $\mathcal{A}$ of sets, Caratheodory gives a way to extend this $\lambda$ to a $\sigma$-algebra. The idea is we define an outer measure (on all subsets) ...
4
votes
0answers
110 views

Is the range of the Fourier transform $L^1(\mathbb{R}) \to C_0(\mathbb{R})$ closed under “quasi-inversion”?

Definitions: A function $f \in C_0(\mathbb{R})$ is quasi-invertible if $1 \notin \operatorname{ran}(f)$. The quasi-inverse of such an $f$ is $\frac{f}{f-1}$. Some discussion: Let $C_1(\mathbb{R})$ ...
4
votes
0answers
58 views

Zero arithmetic mean: bound on Abel sum?

Let $(a_0, a_1, a_2, \ldots)$ be a bounded sequence in $\mathbb{R}$ with arithmetic means \begin{equation} \frac{a_0 + a_1 + \cdots + a_{n-1}}{n} \end{equation} converging to zero as $n \to \infty$. ...
4
votes
0answers
66 views

Doubt about computability of integrals over open sets.

In Spivak's Calculus on Manifolds after showing that partitions of unity exists, Spivak defines integrals of functions over open sets as follows. He says: "An open cover $\mathcal{O}$ of an open ...
4
votes
0answers
69 views

Computing volume of ball in $n$ dimensions

Let $B^n(a)$ denote the closed ball of radius $a$ in $\mathbb{R}^n$, centered at $0$. Show that $v(B^n(a))=\lambda_n a^n$ for some constant $\lambda_n$, where $v(X)$ denotes the volume of $X$. By ...
4
votes
0answers
148 views

Lower semicontinuous and discontinuous everywhere real bounded function?

Does there exist an $f:\mathbb{R}\rightarrow\mathbb{R}$ that is bounded such that for any $a$ then $f^{-1}(a,+\infty)$ is open but $f$ is discontinuous everywhere? Such a function seems too likely to ...
4
votes
0answers
93 views

Does Weak $L^{2}$ Convergence on Finite Measure Spaces Imply Strong $L^{1}$ Convergence?

When $\mu(X)<\infty$, $L^{1}(\mu)\supset L^{2}(\mu)$ and by the Riesz-Fischer theorem, weak convergence of $f_{n}\to f$ in $L^{2}$ is equivalent to ...
4
votes
0answers
33 views

Fubini lookalike for arbitrary set

Let $A$ and $B$ be rectangles in $\mathbb{R}^k$ and $\mathbb{R}^n$ respectively. Let $S$ be a set contained in $A\times B$. For each $y\in B$, let $$S_y=\{x\mid x\in A\text{ and }(x,y)\in S\}.$$ We ...