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
99 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
151 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
69 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
56 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
140 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
230 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
71 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
230 views

Integral $I=\int_0^1 \frac{\log x \log (1+x) \log(1-x) \log(1+x^2)\log(1-x^2)}{x^{3/2}}dx$

Hi I am trying to integrate and obtain a closed form result for $$ I:=\int_0^1 \frac{\log x \log (1+x) \log(1-x) \log(1+x^2)\log(1-x^2)}{x^{3/2}}dx. $$ Here is what I tried (but I do not think this is ...
4
votes
0answers
72 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
137 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
232 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
97 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
70 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
348 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
122 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
43 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
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
62 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
66 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
102 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
55 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
65 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
67 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
143 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
88 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 ...
4
votes
0answers
149 views

Sequence of convex functions converges uniformly

I am working on the following problem. Let $f_{n}: [a, b] \rightarrow \mathbb{R}$ be a sequence of convex functions. Furthermore, for each fixed $x \in [a, b]$, suppose $f(x) = \lim_{n ...
4
votes
0answers
41 views

On the existence of a weight function making sequence of integration preserving limit

The problem goes as follows: Let $f_n$ be strictly positive Lebesgue measurable function defined on $[0,\infty)$ satisfying $$\lim_{n \to \infty} \int_0^\infty f_n(x)\ dx=0$$ then show that there ...
4
votes
0answers
107 views

Averages of a Function

Let $(X,M,\mu)$ a measure space and $f:X \rightarrow \mathbb{C}$ a function in $L^{\infty}(\mu)$. Define $A_f$ as the set of all averages \begin{equation} \frac{1}{\mu(E)} \int_{E} f d \mu ...
4
votes
0answers
184 views

Simple problem of a differentiable function

Please, can somebody help me with this problem? I tried to use the Mean Value Theorem, but couldn't solve it. Let $g: [a,b]\rightarrow\mathbb{R}$ a differentiable function on $[a,b]$. If ...
4
votes
0answers
370 views

Riemann-Stieltjes Integral computation (step function?)

Im trying to integrate this, using theorem 7.9 of apostol's book: $$\int^{10}_0 f(x)d\alpha(x) $$ $f(x) = x^2$ and $\alpha(x)= 3\chi(7,9](x)$ Where $\chi(x)$ is $0$ everywhere except $1$ in the ...
4
votes
0answers
356 views

Bartle or Cohn as a first text in Measure Theory.

Consider the following texts: (a) Robert Bartle - Elements of Integration and Lebesgue Measure (b) Donald Cohn - Measure Theory. Which text would you recommend for a student with only a modest ...
4
votes
0answers
617 views

Strict Inequality in Rudin's Proof of the Riesz Representation Theorem

In Rudin's proof of the Riesz Representation Theorem (step ten), he proves that $$\Lambda h_i \leq \mu(V_i) < \mu(E_i) + \epsilon/n , \quad \mu(K) \leq \sum\limits_{1 \leq i \leq n} \Lambda h_i.$$ ...
4
votes
0answers
184 views

Properties of the projection onto a nonconvex set

Consider a set $\Omega\subseteq\mathbb{R}^n$ being "sufficiently regular", for example being the image of a $C^1$ mapping from $\mathbb{R}^p$ for some $p\ge1$. We may then consider the mapping $$ ...
4
votes
0answers
78 views

Constructivism implied or not

Let me take up some details in the answer of another question. Submitted by user hyg17: Heading: All real numbers can be expressed as a limit of rational numbers? The question was: Let $C$ be a set ...
4
votes
0answers
220 views

Lebesgue measure as a fixpoint: change of variables formulas

This question is inspired by several others on a similar topic: see e.g. this one and a sequence of linked questions. Let us so far focus on $\Bbb R^n$ endowed with standard Borel structure. For any ...
4
votes
0answers
193 views

Stokes' Theorem problem

Let $M \subset \mathbf{R}^n$ be oriented compact smooth $k$-manifold and $\alpha$ be a $C^1$ diferential $(k-1)$-form defined in a neighborhood of M. Use Stokes' theorem to prove that \begin{align*} ...
4
votes
0answers
89 views

Possible error in Wood's report on polylogarithms

I'm studying the article by Wood, D.C. "The Computation of Polylogarithms. Technical Report 15-92*" PS (it is remarkably poorly translated from latex to ps). It is listed in the literature section on ...
4
votes
0answers
85 views

$f(a+b,\lambda) = f (a,\lambda) \cdot f(b,\lambda)$

Consider the equation: $f(a+b,\lambda) = f (a,\lambda) \cdot f(b,\lambda)$, for $a \geq 0$ and $b \geq 0$. Is my understanding that this simple functional equation is important in analysis. Can ...
4
votes
0answers
86 views

Partition of $\mathbb{R}$ into nullset and 1st category set

Let $\{a_i\}_{i=1}^{\infty}$ be an enumeration of the rationals, $\mathbb{Q}$. Let $I_{ij}$ be the open interval centered at $a_i$ and having length $1/2^{i+j}$, and define $G_j = \cup_{i=1}^\infty ...
4
votes
0answers
224 views

interchange limits (not a sequence of function)

I am aware of a theorem in analysis regarding the result that $$\lim_{t\rightarrow x} \lim_{n\rightarrow \infty} f_n(t) = \lim_{n\rightarrow \infty} \lim_{x\rightarrow t} f_n(t).$$ My question is ...
4
votes
0answers
337 views

An absolutely continuous cumulative distribution function that fails to have a Riemann-integrable pdf.

We know that if a real-valued random variable $ X $ on a probability space has an absolutely continuous cumulative distribution function (cdf) $ F $, then $ X $ possesses a probability density ...
4
votes
0answers
281 views

Second derivative of a vector field

I wonder how to treat the "second derivative" of a vector field. For example, imagine we have a vector field $f:\mathbb{R}^n \rightarrow \mathbb{R}^n$. Then we evaluate the derivative at two points ...
4
votes
0answers
466 views

Help me correct these properties of : $f_{n}(x)= nx(1-x)^{n}$? Is there maybe a typo in the sequence?

Examine the sequence of functions $(f_n)_{n\in \mathbb{N}}$ on $x\in[0,1]$: $$f_{n}(x)= nx(1-x)^{n}$$ Does $(f_n)_{n\in \mathbb{N}}$ converge pointwise or uniform? I will show that it does ...
4
votes
0answers
93 views

The Limit of the Following Derivative

Suppose you have two functions $F$ and $G$ with the following properties. $G(0)=F(0)=0, G'>0, G''<0, F'>0, F''<0 $ and also $\lim_{x\to0} F'(x)=\infty, \lim_{x\to\infty} F'(x)=0, ...
4
votes
0answers
182 views

Constructing the support of a Borel measure

From Rudin, Real and Complex Analysis, Chapter 8, Problem 7, 1st Edition. Suppose $E$ is a compact set in $\mathbb{R}^{k}$ without isolated points. Show that $E$ is the support of a continuous ...
4
votes
0answers
146 views

When does $|f*g|_{p}=|f|_{1}|g|_{p}$?

From Rudin, Real and Complex Analysis, 1st edition, Chapter 7, Problem 4 Suppose $1\le p\le \infty$, $f\in L^{1}(\mathbb{R}^{1})$, $g\in L^{p}(\mathbb{R}^{1})$. Show that the the integral defining ...
4
votes
0answers
168 views

Inexact Newton method.

Let's a nonlinear function $ f:[-1,+1]^N\subset\mathbb{R}^N\to\mathbb{R}^N,\; N\in\mathbb{N}, $ such that the the sequence generated by the method of Newton-Raphson $$ x_{n+1}=x_n-[Df(x_n)]^{-1}\cdot ...
4
votes
0answers
176 views

Riemann Integrable $f$ and Real Analysis Proofs

I am solving old comprehensive real analysis exams and there are two questions that I can not be sure, If $f$ is Riemann integrable then $|f|^r$ is Riemann integrable for any $r>0$.( True or ...