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

7
votes
0answers
197 views

Riesz's 1909 proof of the Riesz Representation Theorem

Frigyes Riesz originally proved the Riesz Representation Theorem on $ C[0,1] $ -- here is his 1909 paper in English (original French). He builds a real valued function $ \text{A} $ on $ [0,1] $ ...
7
votes
0answers
134 views

Lagrange multipliers in Calculus of Variations

I am trying to learn about Calculus of Variations and I am beginning to see some constrained optimization problems in the domain of functionals, by using Lagrange multipliers. It seems that things ...
7
votes
0answers
209 views

A sequence of functions that is uniformly continuous, pointwise equicontinuous, but not uniformly equicontinuous when their domain is noncompact

I'm trying to prove my sequence of functions $(f_n) = \frac{n}{n+1}\cos(x^2)$ on (0,1) is pointwise equicontinuous, uniformly continuous, but not uniformly equicontinuous. But, I'm having a lot of ...
7
votes
0answers
144 views

Another way of expressing $\sum_{k=0}^{n} (-1)^k\frac{H_{k+1}}{n-k+1}$

In this post Another way of expressing $\sum_{k=0}^{n} \frac{H_{k+1}}{n-k+1}$ I asked for a solution of the non-alternating series. How about the alternating series? Can we find a nice way of ...
7
votes
0answers
182 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 Euler-...
7
votes
0answers
145 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 ...
7
votes
0answers
188 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 \...
7
votes
0answers
310 views

Understanding the roots of homomorphism and homeomorphism

I understand the formal (i.e. mathematical) definitions of the terms "homomorphism" and "homeomorphism" as they relate to functions, but I am curious as to the origin of these terms. I don't know ...
7
votes
0answers
251 views

Convergence of indicator functions in $L^2[0,1]$ when $m(\limsup(E_n)\setminus \liminf(E_n)) = 0$

I am trying to solve a qualifying exam problem. I would like to know what can be said about the convergence of the indicator functions $I_{E_k}$ in $L^2[0, 1]$ when it's known that $m(\limsup E_k\...
7
votes
0answers
651 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 ...
6
votes
0answers
53 views

Unit Ball in $C([a,b])$ is not Compact

Show that the assumptions of the Heine-Borel theorem do not $\implies$ compactness in $C^0([a,b])$ ( Hint, consider the set of functions $S=\{f\in C^0([a,b]): f \ \text{is uniformly bounded by} \ 1\}$ ...
6
votes
0answers
76 views

Capacity vs measure of a set - intuitive understanding

There is a concept of measure of "largeness" of a set, called capacity. The intuition is, instead of physical largeness (measured by Hausdorff or Lebesgue measure), capacity measures how good a given ...
6
votes
0answers
140 views

How do people pick $\delta$ so fast in $\epsilon-\delta$ proofs

For example, in a proof that shows $f(x) = \sqrt(x)$ is uniformly continuous on the positive real line, the proof goes like: Let $\epsilon > 0$ be given, and $\delta = \epsilon^2$.... Or to ...
6
votes
0answers
49 views

boundness of linear map

Let $X$ and $Y$ be Banach spaces, $T : X\rightarrow Y$ a linear map such that $f \circ T\in X^*$ for every $f\in Y^*$, then $T$ is bounded. I've tried to show that $T$ is closed, but I think that's ...
6
votes
0answers
61 views

Estimation of a sequence related to the Stirling's formula

I need to show that $$n!=\left(\frac{n}{e}\right)^n\sqrt{2\pi n}e^{\lambda_n}$$ where $$\frac{1}{12(n+1)}<\lambda_n$$ I calculated that $$\lambda_n=\ln n!+n-n\ln n -\frac{1}{2}\ln(2\pi n)$$ On ...
6
votes
0answers
70 views

What is a distribution in $H^{-1}(\Omega)$?

Let $\Omega$ be an open bounded subset of $\mathbb{R}^n$ with $\partial \Omega$ being $C^2$. Suppose $u\in H^1_0(\Omega)$, $f\in L^2(\Omega)$ and $\nu>0$. It is said in the Navier-Stokes Equations ...
6
votes
0answers
82 views

Approximating $x^m$ by exponentials

What's a nice explicit example of a sequence of functions $f_n$: $\mathbb{R}\longrightarrow\mathbb{R}$ of the form $$a_1e^{c_1x}+\ldots + a_ke^{c_kx},\;\;\; a_i, c_i\in\mathbb{R}$$ that converges to $...
6
votes
0answers
155 views

Transexponential Functions

Recall that $\exp(1,x) = e^x$ and $\exp(n+1,x) = e^{\exp(n,x)}$. Recall that $f(x)$ is transexponential if $f(x)$ is eventually greater than $\exp(n,x)$ $\forall n \in \mathbb{N}$ I am looking for a ...
6
votes
0answers
172 views

Anti-random reals

EDIT: This has now been crossposted at MO: http://mathoverflow.net/questions/219366/antirandom-reals. This is partially motivated by my question at mathoverflow: http://mathoverflow.net/questions/...
6
votes
0answers
91 views

Every $f\in\omega^\omega$ is bounded by the “increasing enumeration” of the intersection of a countable dense set and a dense open set in $\mathbb{R}$

I am studying the theorem 2.2.6 of "On the structure of the real line" of book Bartosznky-Judah. In the proof of theorem 2.2.6 the part $(4) \to (5)$ $(4)$ for every family of dense open subsets ...
6
votes
0answers
181 views

compare norms on $\mathcal{B}(H)$

Given a Hilbert space $H$ and $a$ be a real numbers $\geq‎‎‎ 1$ , let $S_1(H)$ denote the space of trace-class operators on $H$, with the trace-class norm or Schatten 1-norm. That is $$ \Vert T \...
6
votes
0answers
146 views

Proving the function $ f $ is continuous on $ [0,1] $

I'm trying to prove that the following function $ f $ is continuous on $ [0,1] $. The function $ f:[0,1]\rightarrow [0,1] $ is defined as follows. Let $ x\in [0,1] $. Then $ x= \sum\limits_{n = 1}^\...
6
votes
0answers
89 views

Estimating the (double) Riesz transform.

I'm trying to verify the following estimate, which appears in a paper I'm reading. It seems I'm missing something easy, I just can't figure this out. $\textbf{Background}:$ For a function $f \in \...
6
votes
0answers
148 views

The dual of the Banach space $C(\Omega)$

It is well-known that the dual of the Banach space $C([0,1])$, i.e. the space of all continuous functions on the interval, is the space of all functions of bounded variation on the interval, $BV([0,1])...
6
votes
0answers
87 views

Dimension score for metric spaces $\mathbb{R}^n$

Given any metric space $(X,d)$, define its score $S(X)$ to be the smallest value of $k$ such that for every $x\in X$ and $r>0$, the ball $B(x,r)$ is covered by at most $2^k$ balls of radius $r/2$. ...
6
votes
0answers
141 views

Finitely additive function on an infinite set, s.t., $m(A)=0$ for any finite set and $m(X)=1$ (constructive approach)

Other exercise which I found in Dudley's Analysis book: Show that there is a measure on a infinite set $X$, defined on $2^X$ s.t. is finitely additive, $m(A)=0$ for any finite set and $m(X)=1$. ...
6
votes
0answers
109 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 ...
6
votes
0answers
136 views

Proposed proof of analysis result

Hi please advise on my proof of the following result: Assume that $I \subset \mathbb{R}^{n}$ is convex, bounded open set with Lipschitz boundary and let $u_{m},u$ be such that $$u_{m} \rightharpoonup^...
6
votes
0answers
311 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.
6
votes
0answers
60 views

Reference for the fact that a smooth function analytic on every line is itself analytic

Let $f \in \mathcal C^\infty(\mathbb R^p)$ ($p \geq 2$) be a smooth function such that the functions $g_d(t) := f(td)$ are all analytic for all $t \in \mathbb R$ and all $d \in \mathbb R^p.$ (i.e. $f$ ...
6
votes
0answers
102 views

Is $\sigma$-finiteness really a necessary condition for this problem?

Question: Let $(X, \mathcal A, \mu)$ be a measure space and suppose $\mu$ is $\sigma$-finite. Suppose $f$ is integrable. Prove that given any $\varepsilon$, there exists a $\delta >0$ such that $$\...
6
votes
0answers
441 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?
6
votes
0answers
267 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 ...
6
votes
0answers
149 views

Uniqueness solutions of $dx/dt = f^2(x) + e^{-t}$.

Someone can help me in the following problem? Is a question of Zhang. Let $f(x)$ be continuous for $x \in \mathbb{R}$, show that $dx/dt = f^2(x) + e^{-t}$ has the property of uniqueness of ...
6
votes
0answers
102 views

Asymptotic property of integral involving Bessel function.

Consider the following integral $$ I(s)=\int_{0}^{\infty}{J_{\frac{n-2}{2}}}(sr)r^{A+1}(e^{-r^{2\alpha}}-1)dr, $$ where $J_{\frac{n-2}{2}}$ is the Bessel function of order ${\frac{n-2}{2}}$, $s, A, \...
6
votes
0answers
106 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} \...
6
votes
0answers
207 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)$?
6
votes
0answers
273 views

Behaviour at infinity of a function in terms of first and second derivatives

In a paper (dealing with spectra of certain Schrodinger operators) I found the following assumption for a function $f\in C^\infty(\mathbb R^n;\mathbb R)$: there exists a constant $C>0$ and a ...
6
votes
0answers
171 views

Does $\displaystyle \lim_{m \to +\infty}f_{2,m}(x)$ converge?

This is related to a previous question where, as stated there, $f_{2}(n)$ gives the greatest power of $2$ that divides $n$. Specifically the sequence $\lbrace 0,1,0,2,0,1,0,3,0,1,0,2,0,1,0,4,\cdots\...
6
votes
0answers
236 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 ...
6
votes
0answers
234 views

Characterize the continuous functions with finite right-hand derivative for at least one point of $[0, 1]$

Let $(E,d_\infty)$ the metric space of continuous functions defined on $ [0,1] $, with $$ d_\infty(f,g)=\sup\{ |f(x) - g(x)| : x\in [0,1] \}. $$ For all $ n\in \mathbb{N} $ let $$ F_n = \{ f: \exists ...
5
votes
0answers
51 views

Question regarding continuity ($\epsilon$-$\delta$)

In this post: Proof continuity of a function with epsilon-delta people explained how to proof that $$f(x) = \frac{x-1}{x^2+1}$$ is continuous in $x_0 = -1$. However, my solution is the following: $$|f(...
5
votes
0answers
75 views
+50

$\mu * \nu$ a finite Borel measure in $\mathbb{R}$?

Let $\mu$ and $\nu$ be two finite Borel measures on $\mathbb{R}$. For any Borel set $A \subset \mathbb{R}$, define$$\mu * \nu(A) = \mu \times \nu(\{(x, y) \in \mathbb{R}^2 : x + y \in A\}).$$Is $\mu * ...
5
votes
0answers
56 views

Schwartz functions dense?

I want to show that the Schwartz functions are dense in $$\left\{f \in L^2; \int |x|^2 \left|f(x)\right|^2 dx + \int |\xi|^2 \left|\hat{f}(\xi)\right|^2 d \xi < \infty\right\}$$ where the norm ...
5
votes
0answers
110 views

Arithmetic implications of different ways to geometrically construct an Hilbert's curve

I have a question on the relation between the geometric and the arithmetic representation of the Hilbert's space-filling curve. Geometric representation: consider the Hilbert's curve $f_h:[0,1]\...
5
votes
0answers
60 views

Can we use sequences to test continuity of a weak$^*$-continuous operator?

Let $X,Y$ be Banach spaces. Now assume we have a map $T:X'\rightarrow Y'$ where $X'$ and $Y'$ are equipped with the weak$^*$ topology and not the norm topology. Can I infer from this that an operator ...
5
votes
0answers
33 views

Total Variation and geodesic Curvature

If $f:[0,1]\rightarrow \mathbb{R}^d$ is a smooth curve, then is there are relationship between the total variation of $f$ and the geodesic curvature of $f$? I expect they both should be zero iff $f$ ...
5
votes
0answers
68 views

Every $f : [a, b] → [a, b]$ has a fixed point where $f$ is continuous. Deduce the intermediate value theorem.

Every $f : [a, b] → [a, b]$ has a fixed point and $f$ is continuous (on $[a,b]$). Deduce the intermediate value theorem. I managed to show the other way, now I'm here. I know that $f(c)=c$ for some $...
5
votes
0answers
147 views

Old & cool integral $\int_0^{\pi} \sin^{b-1}(x) \sin(a x) \ dx=\frac{\pi \sin(a \pi/2)}{2^{b-1}b B\left(\frac{b+a+1}{2},\frac{b-a+1}{2}\right)}$

Here is an integral that appears in the table of integrals by Gradshtein and Ryzhik, it was also studied by Ramanujan (not sure his original solution was found - it seems it doesn't appear in any of ...
5
votes
0answers
77 views

$f$ and its $n$-th derivative are bounded imply the $i$-th derivative is bound for $1\leq i\leq n-1$

Let $f:\mathbb{R}\to \mathbb{R}$ be a $n$ times continuously differentiable function such that $f$ and $f^{(n)}$ are bounded. Show that there is a constant $C$ such that $$\big\|\,f^{\left(i\right)}\...