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

1
vote
1answer
54 views

Is my proof on showing that the set of monotone functions on $[a,b]$ has cardinality of continum correct?

I was given an exercise problem to show that the cardinality of the set of all monotone functions on $[a,b]$ is $\aleph$. I came out with a proof which I am not sure if it is correct. My proof: Let ...
1
vote
2answers
39 views

Fixed points of a certain type of functions with intermediate value property

Let $f: \mathbb R\to \mathbb R$ be a function, having intermediate value property, such that $f(f(x))=x , \forall x \in \mathbb R$, then is it true that either the set of fixed points of $f$ is ...
2
votes
1answer
34 views

A continuous function that attains neither its minimum nor its maximum at any open interval is monotone

Let $f: \mathbb R\to \mathbb R$ be a continuous function such that $f$ attains neither its minimum nor its maximum at any open interval $I \subseteq \mathbb R$ , then how to prove that $f$ is ...
0
votes
0answers
36 views

Prove that the function $g(·)$ is twice continuously differentiable and that $g′′(α) ≥ 0$ for all $α ∈ \mathbb{R}$, i.e.

Let $f$ be a real Lebesgue measurable function on the interval $[0, 1]$ such that $∥f∥∞ < ∞.$ For $α ∈ \mathbb{R}$ define a function $g(α)$ by $g(α) = \log \int_0^1\exp[αf(x)] dx .$ (a) Prove that ...
5
votes
1answer
64 views

If $f: A\to\mathbb R$ one-to-one but not monotone, there exist $x,y,z\in A$ with $x<y<z$ such that $f(x) < f(y)$ and $f(y) > f(z)$ (wlog)

The following result is part of the folklore, but I'd like to have a standard reference for something that I am writing: If $A \subseteq \mathbb R$ and $f: A \to \mathbb R$ is one-to-one but not ...
0
votes
0answers
35 views

Differentiability of polynomials

Trivial question but I am confused with the notation If $p_{n-1}$ is a polynomial of degree $n-1$, is it $\in$ the differentiability class C^n$? Obviously if $p_n$ is a polynomial of degree $n$, ...
2
votes
1answer
42 views

$f\in L^2(0,1)$ if and only if $f\in L^1(0,1)$ and some condition.

$f\in L^2(0,1)$ if and only if $f\in L^1(0,1)$ and ere exists an increasing function $g:[0,1]\rightarrow \mathbb{R}$ such that $$\left|\int_a^b f(x) dx \right|^2 \leq (g(b)-g(a))(b-a)\quad\quad (*)$$ ...
1
vote
1answer
24 views

$|\int_{\mathbb R} e^{-t^{2}} e^{-(t/\lambda -x)^{2}} e^{-2\pi i w\cdot t}| dt \leq G(x,w), G\in L^{1} ? $

Put $\lambda >0,$ and we define, $$F_{\lambda}(x, w)= \int_{\mathbb R} e^{-t^{2}} e^{-(t/\lambda -x)^{2}} e^{-2\pi i w\cdot t} dt;(x,w) \in \mathbb R^{2}$$ we note that, $F_{\lambda} \in ...
0
votes
1answer
38 views

Do all series have a closed form representation of their partial sum? If not, can we feasibly prove that this is not the case?

The question was motivated by the way in which we approach the convergence and divergence of some series. During my undergraduate analysis course one of the only times in which the partial sum was ...
0
votes
2answers
34 views

Show that $\int_{[0,1]^2}g(y_1-y_2) \Bbb{1}_{\{y_1>y_2\}}dy_1dy_2 = \int_{[0,1]}g(m)(1-m)\, dm$

I am trying to prove the following equality $$\int_{[0,1]^2}g(y_1-y_2) \Bbb{1}_{\{y_1>y_2\}}dy_1dy_2 = \int_{[0,1]}g(m)(1-m)\, dm$$ I tried to do the following: ...
0
votes
1answer
50 views

The definitions of limit infimum and limit supremum

I have begun reading Rosenthal's "A First Look to Rigorous Probability Theory" and in order to reinforce my calculus background I am studying through the appendix section. Here he defined the limit ...
-1
votes
2answers
68 views

a question about sequence and series. prove $ \lim_{n \to \infty}( n\ln n)a_{n}=0$? [closed]

Suppose $a_{n}>0$. $na_{n}$ is monotonic, and it approaches 0 as n approaches infinity. $\sum_{n=1}^{\infty} a_{n}$ is convergent. please prove $$ \lim_{n \to \infty} n\ln(n)\,a_{n}=0$$ I totally ...
1
vote
1answer
38 views

an inequality derived from conformal automorphisms of unit disk

Let $f$ be a holomorphic function on $D(0,1)$ such that $|f(z)|<1$ for all $z\in D(0,1)$. I have obtained $$ \frac{|f(0)|-|z|}{1+|f(0)||z|}\leq |f(z)|\leq \frac{|f(0)|+|z|}{1-|f(0)||z|}. $$ Is it ...
0
votes
0answers
80 views
+50

quasi-convexity of a function

Can someone help me identify whether the following function is quasi-convex? Let $p>1$. For $x=(x_1,\dots,x_n),x_i>0,\sum_ix_i=1$, we define $$f(x) = -\log \sum_i (x_i/\|x\|_p)^{p-1}.$$ Plots ...
1
vote
1answer
45 views

Does every inner product space has an orthogonal basis?

It is proved that every inner product space has a basis $W$, but I am not sure if every inner product space has an orthogonal basis? It is known that every inner space has a maximal orthogonal set ...
-1
votes
1answer
38 views

Proving the divergence of a sequence [closed]

Let $\{a_n\}, \{b_n\}$ be sequences of positive numbers. Set $$c_n = \frac{a_n b_n}{b_{n+1}} - a_{n+1}$$ Suppose that $\sum_{n=1}^\infty \frac{1}{a_n}$ is divergent and $\limsup_n c_n < 0$. Prove ...
0
votes
0answers
28 views

How do you use R to find the box counting dimension of a two dimensional set of data, or scatter plot?

I'm using the software R to do some analysis on some data sets for a graduate project. R has a package called "fractaldim", in this package is a function for finding the box counting dimension. The ...
-1
votes
0answers
26 views

Two measures having the same moments [duplicate]

Let $\mu_{1}$ and $\mu_{2}$ be two finite Borel measures supported on $[0, 1]$. Suppose $\int_{\mathbb{R}}x^{k}\, d\mu_{1}(x) = \int_{\mathbb{R}}x^{k}\, d\mu_{2}(x)$ for all $k = 0, 1, 2, \ldots$. ...
2
votes
1answer
55 views

Showing that a set is not infinite in measure

Suppose $f_n \geq 0$ for all $n \geq 1$, $f_n \to f$ a.e. on $[0, \infty)$ and there exists a constant $M>0$ such that $$ \sup\limits_{n} \int_{E} f_n(x)dx \leq M \mu(E)$$ for each measurable ...
-1
votes
1answer
27 views

Differentiability: Partially Defined Functions

These ideas came to my mind while reading Lee's Introduction to Smooth Manifolds. (Cf. discussion on p. 45.) Also note that though I were able to resolve the first problem the second one is still ...
2
votes
1answer
34 views

Uniformly bounded derivative implies uniform convergence

Let $f_n$ be a sequence of differentiable functions on $[a, b] \subset \mathbb{R}$. Suppose $\lim_{n \rightarrow \infty} f_n(x) = f(x)$ exists for all $x \in [a, b]$, and the derivatives $|f_n'(x)| ...
1
vote
0answers
24 views

Applying the duality between infimum and supremum

Studying the textbook 'Methods of Modern Mathematical Physics' by Reed & Simon, I encountered the following problem - the details are not important but I did not see how to otherwise introduce my ...
2
votes
2answers
61 views

Compute limit of a function

Compute: $$\lim_{x \rightarrow 0^+} \frac{\arctan(e^x+\arctan x)-\arctan(e^{\sin x}+\arctan(\sin x))}{x^3}$$ WolframAlpha tells me it's 1/6. Any nice idea how to rewrite that expression? Thanks!
0
votes
1answer
46 views

Find $\lim_{n \rightarrow \infty}$$\int_0^n(1 + \frac{-x}{n})^n\cos(\frac{x}{\sqrt{n}})e^{x/2}dx$

Find $\lim_{n \rightarrow \infty}$$\int_0^n(1 + \frac{-x}{n})^n\cos(\frac{x}{\sqrt{n}})e^{x/2}dx$ I want to use dominated convergence theorem obviously. However, not sure how to dominate it. ...
4
votes
0answers
57 views

$\int_0^\infty f(x) \; dx < \infty$ implies $\lim_{x \rightarrow \infty} x f(x) = 0$. [duplicate]

Let $f$ be non-negative, monotone decreasing such that $$\int_0^\infty f(x) \; dx < \infty$$ Show that $$\lim_{x \rightarrow \infty} x f(x) = 0.$$ I have the following solution, but wonder if ...
2
votes
1answer
50 views

Differentiation under the integral if and only if we have an $L^1$ dominator

Let $f(x)\in L^2(\mathbb{R})$ and define $$g(t) = \int_\mathbb{R} f^2(x)\exp(-tx^2)dx$$ for $t\geq0$. We want to show that $g(t)$ is continuously differentiable if and only if $xf(x)\in ...
0
votes
1answer
24 views

Proving or disproving continuity of a function

Consider a function $f:\mathbb{R}^{n}\times \mathbb{R}^{+} \rightarrow \mathbb{R}$, with the property that for a fixed vector $a:=(a_1,a_2,\cdots,a_n) \in \mathbb{R}^{n}$, there exist a finite ...
1
vote
1answer
51 views

Relation between Sobolev Space $W^{1,\infty}$ and the Lipschitz class

I have a Sobolev space related question. In the book 'Measure theory and fine properties of functions' by Lawrence Evans. I know the result that states that for $f: \Omega \rightarrow \mathbb{R}$. $f$ ...
0
votes
0answers
64 views

Bound for this integral

Using the fact that $$\sqrt{(1+y^2)} - \sqrt{(1+x^2)} \geq \frac{x}{\sqrt{1+x^2}}(y-x)$$ for each $x,y\in \mathbb{R}$. We need to show that $$L(k)- L(h) \geq \int_a^b \frac{h'}{\sqrt{1+{h'}^2}} ...
0
votes
1answer
17 views

L2 convergence, subsequence

I'm sai. I have a question about $L^{2}$ convergence. Let $U \subset \mathbb{R}^{d}$ be open. Suppose $u_{n} \in C_{0}^{\infty}(U), n\in \mathbb{N} $ satisfies the following assertion: For any $v ...
1
vote
1answer
32 views

The functions $\{f_n(x) = n\}$ are analytic and each miss the points $-2, -3$. But, they are not a normal family. So what am I missing. Thanks.

Here is a theorem of Montel: Let $\mathcal{F}$ be a family of analytic functions defined on a domain $\Omega$ . If there are two fixed complex numbers $a$ and $b$ that are omitted from the range of ...
-1
votes
1answer
23 views

fix $b \gt 1$. Prove the following statements : (Rudin page 22, question no 6)

Fix $ b \gt 1$. (a) If $m$, $n$, $p$, and $q$ are integers, $n \gt 0$, $q \gt 0$ and $r=\dfrac{m}{n}=\dfrac{p}{q}$, prove that $\{b^{m}\}^{\dfrac{1}{n}}=\{b^{p}\}^{\dfrac{1}{q}}$. Hence it makes ...
4
votes
0answers
136 views
+100

norm of a singular integral operator

My question is from Harmonic Analysis, about the study of singular kernels (in the Calderon Zygmund sense.) Suppose that a kernel $K$ is a singular kernel, extending to a bounded operator on $L^p$, ...
1
vote
0answers
43 views

Prove that $f\ast g$ is defined a.e., integrable, and such that $∥f\ast g∥_1 ≤ ∥f∥_1 · ∥g∥_1$

Let $f,g : \mathbb{R} → \mathbb{R}$ be $L_1$-functions. Set $h(x) = \int_\mathbb{R}f (x − y)g(y) \, dm(y).$ Prove that $h(x)$ is defined a.e., $h ∈ L_1(\mathbb{R})$ and $∥h∥_1 ≤ ∥f∥_1 · ∥g∥_1.$ So I ...
2
votes
0answers
17 views

Boundedness of a certain function defined on a closed bounded real interval

Let $I:=[a,b]$ be a closed bounded real interval , $f: I \to \mathbb R$ be a function such that for every $x \in I$ , $\exists \delta_x>0$ such that $f(x)$ is bounded $ \forall x \in ...
1
vote
1answer
51 views

Let $f(z) = \sum_{n = 0}^\infty a_nz^n$ be the Taylor series around $0$. Prove that lim $a_n/a_{n+1} = z_0.$ [duplicate]

Let $f(z) = \sum_{n = 0}^\infty a_nz^n$ be the Taylor series around $0$ of a function which is analytic in $\mathbb{C}$ \ ${z_0}$, $z_0\neq 0$ and has only a simple pole at $z_0.$ Prove that $lim_{n ...
1
vote
1answer
48 views

Does $f$ necessarily have infinte oscillations?

If $f:(a,\infty)\to\mathbb{R}$ is differentiable and $\lim_{x\to \infty} f(x)$ does not exists($\neq \pm \infty$),then is it necessary that $f$ have infinitely many oscillations and therefore ...
0
votes
0answers
16 views

Let $f\in C[0,1]$. Compute $\lim_{t\rightarrow \infty} \frac{1}{t} \log \int_0^1 \cosh(tf(x)) dx$ [duplicate]

Let $f\in C[0,1]$. Compute $\lim_{t\rightarrow \infty} \frac{1}{t} \log \int_0^1 \cosh(tf(x)) dx$. Can anyone give me a hint for this type of problem? I don't know where to start. Thank you!
2
votes
4answers
79 views

How to find a function $\phi(x)$ such that $\sqrt{1+y^2} - \sqrt{1+x^2} \geq \phi(x) (y-x)$ for each $x,y\in \mathbb{R}$

How to find a function $\phi(x)$ such that $\sqrt{1+y^2} - \sqrt{1+x^2} \geq \phi(x) (y-x)$ for each $x,y\in \mathbb{R}$. Here are some of my ideas: Also by applying Mean Value theorem, we know that ...
1
vote
0answers
18 views

$\int_{\mathbb R^{2}} |\int_{\mathbb R} (f_{r}(t-y)- f_{r}(t)) g(t-x) e^{-2\pi i w\cdot t} dt|dx dw \to 0 $ as $ r\to \infty $?

Let $f\in \mathcal{S}(\mathbb R)$ with $\hat{f}$ has a compact support. For $r>0,$ put $f_{r}(x)= r^{-1}f(x/r), (x\in \mathbb R).$ We note that, $\int_{\mathbb R} |f_{r}(x)| dx = r^{-1} ...
0
votes
0answers
63 views

Integration by substitution and separation of variables.

Let's say I want to integrate over a sphere $S^2$. Take $f \in (L^1(S^2),dS)$, then we have that $$\int_{S^2} |f| dS = \int_{S^2} |f| \sin^2 (\theta) d \theta d \phi < \infty,$$ right? Now, ...
2
votes
4answers
61 views

Determined or not?

the function $\dfrac {2x}{3x-\sqrt{x} }$ is not derterined for values of $x$ equale or samller than zero, though when I take the limit $ \lim_{x \to 0^+} \dfrac {2x}{3x-\sqrt{x} }$ the output is zero ...
1
vote
1answer
24 views

How can I show that a r.v. with cumulative distribution is continuous?

I want to show that, if $F_X$ is the cumulative distribution function of a random variable $X$, then $X$ is absolutely continuous iff $F_X \in C^1(\mathbb{R})$ ? I know absolutely continuous means ...
1
vote
1answer
87 views

Spectral theory

I have absolutely no idea about Spectral theory and want to ask some fundamental questions. 1.) What does it mean that the resolvent of an operator is Hilbert-Schmidt? (Cause I saw a theorem that was ...
0
votes
2answers
52 views

Supremum of $f_1(x)=1$ and $f_2(x)=x$

I'm trying to understand the supremem of a sequence of functions so I came up with a trivial case as follows - Let $(f_n(x))$ be a sequence of functions with $n$ having a value of either $1$ or $2$. ...
3
votes
2answers
132 views

Evaluating $\int^b_a \frac{dx}{x}$ from the definition of the integral

I know that $$\int^b_a \frac{dx}{x}=\ln b-\ln a$$ I'm trying to evaluate this integral using the same method used in this answer: http://math.stackexchange.com/a/873507/42912 My attempt $\int^b_a ...
6
votes
2answers
190 views

Integral $\int_{0}^{\pi/2} \arctan \left(2\tan^2 x\right) \mathrm{d}x$

The following integral may seem easy to evaluate ... $$ \int_{0}^{\Large\frac{\pi}{2}} \arctan \left(2 \tan^2 x\right) \mathrm{d}x = \pi \arctan \left( \frac{1}{2} \right). $$ Could you prove ...
0
votes
1answer
45 views

Space that can not define an inner product

Normally, we can see lots of example of Hilbert space, I am wondering if there is a space we can't define an inner product on it?
1
vote
0answers
67 views

Derivatives of $\exp\left(-\sqrt{x^2 + y^2 + z^2}\right)$

For which $\ell, m, n \in \mathbb{N}$ are the derivatives $$\frac{\partial^{\ell + m + n}}{\partial x^{\ell} \partial y^{m} \partial z^{n}} \exp\left(-\sqrt{x^2 + y^2 + z^2}\right)$$ in the ...
0
votes
1answer
11 views

Geometric interpretation of parallelogram law determines the inner product

We know that if we have parallelogram law,we can determine an inner product, I want to know what is geometric interpretation behind it since the inner product gives an geometric structure of the ...