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, integration through the fundamental theorem of calculus.

learn more… | top users | synonyms

5
votes
0answers
105 views

How can I show it?

Let $f$ be an absolute continuous function in $(0, 1)$ and satisfies $$ |f(x+h)+f(x-h)-2f(x)|\leq \text{const}\frac{|h|}{(\log\frac{1}{|h|})^{\gamma}} , $$ where $\gamma \in (0, 1)$ and $|h|$- is ...
5
votes
0answers
136 views

Why is Lebesgue-Stieltjes a generalization of Riemann-Stieltjes? Moreover, is there an example where Lebesgue-Stieltjes is useful

I certainly have a question, but i don't know what the best title should be. Please edit the title if there is a better one :) And I believe, to get a better answer, it would be good to explain ...
5
votes
0answers
189 views

Decrease of $L_1$ norm of piecewise constant functions after some “averaging”

In the course of a project, I ended up looking at what happens to the $L_1$ of real-valued piecewise-constant functions after some particular king of smoothing — but am currently stuck at a particular ...
5
votes
0answers
71 views

$f \in L^1(- \infty , + \infty)$ , Find the limit $ \lim_{n \to \infty} \int^{{+ \infty}}_{- \infty} \frac{f(x)e^{nx}}{1+e^{nx}} dx $

$f \in L^1(- \infty , + \infty)$ , Find the limit $ \lim_{n \to \infty} \int^{{+ \infty}}_{- \infty} \frac{f(x)e^{nx}}{1+e^{nx}} dx $ My Attempt $$ \lim_{n \to \infty} \int^{{+ \infty}}_{- \infty} ...
5
votes
0answers
113 views

My (simpler) proof of the divergence of a harmonic series.

Let $H=1+\frac{1}{2}+\frac{1}{3}+\cdots$ . Proving that it diverges this is what I did. I supposed that the series converges to $H$, : ...
5
votes
0answers
109 views

Can one use $e^n$ instead of $2^n$ in Cauchy condensation test?

Cauchy condensation test is useful for testing the convergence of infinite series. The test is stated here as follows: for a positive non-increasing sequence $f(n)$, the sum $\sum_{n=1}^\infty f(n)$ ...
5
votes
0answers
82 views

What kinds of structures support integration?

I am doing topology which neatly generalizes analysis, which led me to wonder naturally about generalizations of calculus. Specifically I'm interested in knowing what is required of a mathematical ...
5
votes
0answers
142 views

Dyadic approach to Marcinkiewicz interpolation for Lorentz Spaces

In Exercise 21 , in a note for professor Terrence Tao on his own blog http://terrytao.wordpress.com/2009/03/30/245c-notes-1-interpolation-of-lp-spaces/ Exercise 21 Suppose we are in the ...
5
votes
0answers
114 views

Operator norm of a convolution

Consider the operator on $L^2(\Bbb R)$, $f\rightarrow f*g$, where $g\geq 0$ is some $L^1$ function. Show the operator is a bounded linear operator with operator norm equal to $||g||_1$. Showing ...
5
votes
0answers
171 views

If a Radon measure is a tempered distribution, does it integrate all Schwartz functions?

The question might at first sight sound like the answer is trivially "yes", so let me clarify the question a bit. Consider given a Radon measure $\mu$ on $\mathbb{R}^n$. Let ...
5
votes
0answers
572 views

Proof that a sequence of continuous functions $(f_n)$ cannot converge pointwise to $1_\mathbb{Q}$ on $[0,1]$

As a homework question, we got asked the following: Construct a function $f:[0,1] \rightarrow \mathbb{R}$ which is not the pointwise limit of any sequence of continuous functions Thinking about ...
5
votes
0answers
66 views

A problem about Cantor set and found when learning dynamical systems.

Consider the family of functions F(x)=$x^3 -\alpha$x, for $\alpha \gt 0$ Prove that if $\alpha$ is sufficiently large, then the set of points |$F^n(x)$| which do not tend to infinity is a Cantor ...
5
votes
0answers
137 views

Is there an orthonormal basis for $L_2[0,1]$ consisting of convex functions?

Is there an orthonormal basis $\{\phi_{\alpha}\}$ for the space $L_2[0,1]$ of square-integrable functions from $[0,1]$ to $\mathbb{R}$ such that every $\phi_{\alpha}$ is convex? Edit: A helpful ...
5
votes
0answers
162 views

Dense uncountable proper subgroup of $(\mathbb{R},+)$

Probably someone had asked this question on StackExchange, but can one construct a dense uncountable proper subgroup of $(\mathbb{R},+)$?
5
votes
0answers
77 views

Existence of smooth extension of a function defined on a closed interval

Suppose $ f: [0,1] \rightarrow \mathbb{R}$ is a function such that derivatives of all orders exist ( at the end points of the interval the appropriate one-sided derivatives exist) and are continuous $ ...
5
votes
0answers
101 views

How to find a homeomorphism $\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}$ having certain properties

Let $n\ge 2$ and let $C$ be a cantor space in $\mathbb{R}^{n}$. That is, $C$ is homeomorphic to the cantor ternary set. Let $x$ and $y$ be two points in $\mathbb{R}^{n}-C$, and let $L_{xy}$ be the ...
5
votes
0answers
136 views

Equivalence of the Lebesgue integral and the Henstock–Kurzweil integral on nonnegative real functions

Let $f:[a,b]\to[0,\infty)$ ($\mathbb{R}\ni a<b\in\mathbb{R}$), and fix $c\geq0$. I want to establish the equivalence of the concepts of Lebesgue integrability and Henstock–Kurzweil integrability ...
5
votes
0answers
162 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 ...
5
votes
0answers
137 views

Why can I integrate something like “infinitesimal part” to calculate the length, area, volume, etc.?

Let me try to elaborate the question by an example: I want to calculate the length of a straight line like $y=x$ between $[0, 1]$. By conventional way I would do a definite integration of integrand ...
5
votes
0answers
136 views

Is there a subsequence of $a_n = n \sin(n)$ which tends to $0$?

I know there is such a subsequence for $b_n = \sin(n)$. What about $a_n = n\sin(n)$?
5
votes
0answers
189 views

Does every smooth surjective function have a smooth right inverse?

If you feel this question might be too broad, let me know and I’ll try to get more specific. If $r \colon I → J$ is a smooth surjective function between perfect subspaces $I$ and $J$ of $ℝ$, can ...
5
votes
0answers
73 views

$M$ is compact, non-empty, perfect, and $M \cong M \times M$. Must $M$ be homeomorphic to the Cantor set, the Hilbert cube, or some combination?

Assume that $M$ is compact, non-empty, perfect, and homeomorphic to its Cartesian square, $M \cong M \times M$. Must $M$ be homeomorphic to the Cantor set, the Hilbert cube, or some combination of ...
5
votes
0answers
79 views

Inverse of a differentiable function equal to its derivative then f is analytic

I've found a nice problem concerning analytic functions. Here it is: Let $f: (0, \infty) \rightarrow \mathbb{R}$ be a function differentiable on $(0, \infty)$ and such that $f^{-1} = f'$. Prove that ...
5
votes
0answers
145 views

Algorithm to calculate multiple integral.

One of the major difficulties of student in advanced calculus (including myself when student) is to obtain the extremes of repeated integrals to calculate the volume integral in $R^n$ i.e. transform ...
5
votes
0answers
161 views

Proving that a set is closed in $L^2(\mathbb{R})$

this is my first question here so i hope i don't do anything wrong. Excuse any spelling or grammar mistakes, english isn't my mother tongue. I'm reading this paper for my bachelor thesis and have ...
5
votes
0answers
380 views

“Simple” proof of Lebesgue's Differentiation Theorem for dimension 1?

Lebesgue Differentiation Theorem for $\mathbb{R}$: Let $f:[a,b]\to \mathbb{R}$ be intergable and $F(x)=\int_a^xf$. Then $F$ is differentiable almost everywhere in $[a,b]$ and $F'=f$ a.e. Is there a ...
5
votes
0answers
68 views

Smoothness in $\mathbb{R}^n$

Embarrasingly simple question, but I got the feeling that I cannot see the forrest for the trees right now: If I have a function $f: \mathbb{R}^2 \rightarrow \mathbb{R}$ and want to show that it is ...
5
votes
0answers
335 views

Equality condition in Minkowski's inequality for $L^{\infty}$

I am trying to find out when equality holds in Minkowski's inequality for $L^{\infty}$ (i.e. a necessary and sufficient condition for equality). I did a search and there was a discussion for the case ...
5
votes
0answers
104 views

Proofing an inequality with a slowly varying function

I am working right now with "Independent and Stationary Sequences of Random Variables" from Ibragimov 1971. I am trying to understand the proof of the following Lemma (18.2.4): $h: \mathbb N ...
5
votes
0answers
592 views

one to one mapping between the floor function and the Riemann prime counting function

We have the following 'transform' of a real valued, piecewise continuous function $f(x)$ : $$T[f(x)]=1+\sum_{n=1}^{\infty}\int_{\mathbb{R}^{n}_{+}}f\left(\frac{x}{\Lambda _{n}} \right ...
5
votes
0answers
236 views

Fourier dimension of sets of positive Lebesgue measure

Let $K$ be a compact set in $\mathbb{R}$ with positive Lebesgue measure. My question is whether there exists a probability measure $\mu$ supported on $K$ such that $\hat{\mu}(\xi)$, the ...
5
votes
0answers
209 views

Is there a continuous nowhere Lanczos generalized differentiable function?

The Lanczos generalized derivative comes from local regression, and is described in this pdf. (You do not need to read that to understand my questions.) If you do read it, observe that I'm pulling ...
5
votes
0answers
184 views

German Analysis Texts

My question is somewhat related to this one but is somewhat more specific. Since a lot of good mathematics is written in German, I have decided to start developing my German reading abilities. So far, ...
5
votes
0answers
230 views

Points in the plane at integer distances

Does there exist a set of $n$ points $p_1,p_2,...,p_n$ in the plane, all at mutual integer distances to each other, and an $e>0$, such that the following statement holds: For all $a,b$ with ...
5
votes
0answers
141 views

Convergence check (No steps/solutions/proofs please)

I just wish to check that I have got these right. Please just indicate whether the ans are right -- please don't show steps (I wish to figure those out myself). Given $\phi_n (x)=n^k(1-x)x^n$ where ...
5
votes
0answers
175 views

Intuitive test of convergence

Are there any intuitive tests that might help one decide whether a sequence of functions converges / converges uniformly? For example, an intuitive test I have recently realized for uniform continuity ...
5
votes
0answers
201 views

How should I understand $u_{\infty}$ in this theorem?

I learned the extension of Green's formula to unbounded domains in Kress's Linear Integral Equations (p.71): Theorem 6.10 Assume that $D$ is a bounded domain of class $C^1$ with a connected boundary ...
5
votes
0answers
172 views

A relation between permanents and determinants

I have skimmed this video that I found on mathoverflow: http://tube.sfu-kras.ru/video/407?playlist=397 At about 15:05 the lecturer wrote down an equality $\sum F(m_1, \ldots, m_m)z^{m_1}\ldots ...
4
votes
0answers
87 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
52 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
63 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
60 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
55 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
97 views

Does this arithmetic operation have a name

I've came across the following product-like operation on reals $$ a\times b:=1 - (1-a)(1-b). $$ This operation is commutative, associative and has $1$ as a zero element and $0$ as a unit element: $$ ...
4
votes
0answers
49 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
46 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
96 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
63 views

Analysis or (abstract) algebra first?

Which one would you recommend? I only know calculus and linear algebra when it comes to university-level mathematics. Is one required to understand the other?
4
votes
0answers
74 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 $C^1$ on $(c,d)$. Then define ...
4
votes
0answers
33 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 ...