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

0
votes
1answer
22 views

Numerical differentiation (approximation with three supporting points )

Given the supporting points $x-2h,x-h,x+2h$. Determine the difference quotient Du(x) in the form $$Du(x)=au(x-2h)+bu(x-h)+cu(x+2h)$$ for the numerical approximation of $u'(x)$ of order $2$. What ...
0
votes
2answers
51 views

Use Fourier Transform to Show that $f=0$ a.e.

I was working through an old qualifier on my own when I ran across this following question that I was unable to crack. Here it is verbatim: "Let $f\in L^2(\mathbb{R}, \mathcal{L}, m)$ and suppose ...
-1
votes
2answers
48 views

I need help to show that some function is nonnegative

This is a function of $x\in(0,1]$ $$(a_0+v_0 )\left(a_1+\frac{1}{K}\right)\left(a_0+(1-x) \frac{1}{K}\right)-(a_1+v_1 ) \left(a_0+\frac{1}{K}\right)(a_0+(1-x) v_0 )$$ The conditions are: ...
3
votes
4answers
85 views

$f(x) = \frac{2}{x}$ is not uniformly continuous on $(0,1]$

Show that $f(x) = \frac{2}{x}$ is not uniformly continuous on $(0,1]$ WLOG Suppose, $0< \delta \leq 1.$ Let, $\epsilon = 1$ and $x = \frac{\delta}{2}, y = x + \frac{\delta}{3}, x,y \in (0,1]$ ...
1
vote
1answer
28 views

Rudin 8.16 $\int_X \phi \circ f d\mu = \int_0^\infty \mu\{f > t \} \phi'(t)dt$ hypotheses

Theorem 8.16 in Rudin's Real and Complex analysis states $$\int_X \phi \circ f d\mu = \int_0^\infty \mu\{f > t \} \phi'(t)dt$$ under the conditions that $\mu$ is $\sigma$-finite, $f,\phi \geq 0$ ...
0
votes
1answer
20 views

How to prove this “local invertibility” theorem for bounded linear operators?

The theorem states that, suppose $X,Y$ are complete normed vector spaces, if $\mathscr A_0\in \mathscr L(X;Y)$ is invertible (i.e., $\exists \mathscr A_0^{-1}\in\mathscr L(Y;X)$ s.t. $(\mathscr ...
1
vote
2answers
43 views

Sum over values of auxiliary function gets arbitrary big, justification

Let $f : \mathbb N_{>0} \to \mathbb R_{\ge 0}$ be a function satisfying $\sum_{n=1}^{\infty} 2^{-f(n)} = \infty$ (like $f(n) = \log n$). Define $$ F(n) = \left\lfloor \log_2\left( \sum_{i=1}^n ...
2
votes
0answers
25 views

Reference request: The compactness and compact embedding in Besov Space?

This post has been on MathOverflow for couple of days but receive no response. So I put it here hoping for more attentions. Thank you guys! Let $\Omega\subset \mathbb R^N$ be open bounded with ...
0
votes
2answers
89 views

Proving that a function is Riemann Integrable

The usual definition to the Riemann integral is: for every $ε>0$, there exists $\delta$ such that if $P$ is a partition of $[a,b]$, and $\|P\|<\delta$, then $|S(f;P)-s|<\epsilon$. Then $f$ is ...
1
vote
0answers
21 views

Specific problem on Radon measures from Folland's real analysis on $ C_0(X) $

Hello all I am trying to understand the concept of $ C_0(X) $ within the concept of Radon measures as presented in Folland's real analysis chapter 7, so far so good right until I came across problem ...
-6
votes
0answers
17 views

Csir net question [closed]

let V be the space of twice differentiable functions on R satisfying f double dash-2f single dash+f=0. define T from V to R(square) by T(f)=(fdash(0),f(0)). Then T is_______ 1) 1-1 and onto 2) 1-1 but ...
3
votes
1answer
47 views

A question on the Banach fixed point theorem.

Suppose $f:(X,\tilde{d})\rightarrow(X,d)$ be a continuous function satisfying \begin{eqnarray}d(f(x),f(y))\leq \lambda d(x,y),\end{eqnarray} $\lambda > 1$. Let $\tilde{d}(x,y)=\lambda d(x,y)$. I ...
0
votes
1answer
53 views

How to prove the following inequality? (or a counter example)

We know that we have $[\int |f(x)|^{p} \mu(dx)]^{1/p}\leq [\int |f(x)|^{q} \mu(dx)]^{1/q}$ when $p\leq q$, where $\mu$ is a probability measure and $f$ is a smooth function. Do we in general have the ...
0
votes
1answer
29 views

Given a real $x$ and an integer $N \gt 1$, prove that there exist integers $h$ and $k$ with $0 \lt k \le N$ such that $|kx-h|\lt 1/N$. [duplicate]

Given a real $x$ and an integer $N \gt 1$, prove that there exist integers $h$ and $k$ with $0 \lt k \le N$ such that $|kx-h|\lt 1/N$. Hint. Consider the $N+1$ numbers $tx-[tx]$ for $t=0,1,2,\dots, N$ ...
2
votes
1answer
36 views

Boundedness of an operator with kernel

Let $K(x,y)$ be measurable in $\mathbb{R}^2.$ Suppose there is a positive, measurable (w.r.t Lebesgue measure on $\mathbb{R}$) $w(x)$ and $A\geq 0$ such that $$\int_{-\infty}^\infty \vert K(x,y) ...
4
votes
3answers
61 views

Determine the value of $ p $ for which the following infinite series converges and for which it diverges.

Determine the value of $ p $ for which the following infinite series converges and for which it diverges: $$ \sum_{n = 2}^{\infty} \frac{\sqrt{n + 2} - \sqrt{n - 2}}{n^{p}}. $$ I don’t know how to ...
1
vote
6answers
153 views

Is this:$\sum_{n=1}^{\infty}{(-1)}^{\frac{n(n-1)}{2}}\frac{1}{n}$ a convergent series?

Is there someone who can show me how do I evaluate this sum :$$\sum_{n=1}^{\infty}{(-1)}^{\frac{n(n-1)}{2}}\frac{1}{n}$$ Note : In wolfram alpha show this result and in the same time by ratio test ...
-4
votes
2answers
29 views

Let $f$ be a continuous function on $I := [a,b]$, and let $H:I \to \Bbb R$ be defined by $H(x) := \int_x^b f \ \ ,x\in I.$ [closed]

Let $f$ be a continuous function on $I := [a,b]$, and let $H:I \to \Bbb R$ be defined by $$H(x) := \int_x^b f, \ \ x\in I.$$ To find $H'(x)$ for $x \in I.$ I am stuck with the problem please help.
1
vote
2answers
68 views

Why do the integers, rationals and any countable set have zero measure?

There is an exercise in my text that tells me to prove the "obvious and easy to see" fact that $\mathbb{Z}$ and $\mathbb{Q}$ have measure zero. Er...here is what I know so far. If I have an interval, ...
3
votes
3answers
99 views

Determine if this series $ \sum_{n=0}^\infty\frac{n^6+13n^5+n+1}{n^7+13n^4+9n+2}$ converges

Determine if the following series converges: $$ \sum_{n=0}^\infty\frac{n^6+13n^5+n+1}{n^7+13n^4+9n+2}. $$ (http://i.stack.imgur.com/qWiuy.png) I don't know how to start.
0
votes
2answers
43 views

Does this function achieve a maximum or minimum?

Suppose that $u$: $\mathbb{R}$ $\rightarrow$ $\mathbb{R}$ is continuous and $\lim_{x\to\infty}$ $u(x)$=$\lim_{x\to-\infty}$ $u(x)$=0. Does $u$ achieve a maximum or a minimum value on $\mathbb{R}$? I ...
1
vote
2answers
48 views

Determine if $ \sum_{n \geq 2} \frac{1}{\sqrt[n]{\ln n}}$ congerges

Determine if the following series converges: $$ \sum_{n \geq 2} \frac{1}{\sqrt[n]{\ln n}}.$$ I'm supposed to use here the limit comparison test, but I don't know how to choose the second series.
7
votes
3answers
274 views

What is wrong with this proof of $0=1$?

I am trying to understand what is wrong with the proof posted here that $0=1$ (source): Given any $x$, we have (by using the substitution $u=x^2/y$) ...
0
votes
0answers
29 views

Implict Function Theorem Application

Let $f(x,y)= x^3+y^2-3xy-7=0$ 1)For which points we can find $x=g(y)$ that solves the above 2)Find $g'(y)$ at $x=3,y=4$ 1) By implicit function theorem, for points $(x,y)$ satisfies that ...
2
votes
1answer
112 views

How can I prove the integral $ \int_{1}^{x} \frac{1}{t} \, dt $ is $\ln x $ with this approach?

I have been trying to find a proof for the integral of $ \int_1^x \dfrac{1}{t} \,dt $ being equal to $ \ln \left|x \right| $ from an approach similar to that of the squeeze theorem. Is it possible to ...
0
votes
1answer
20 views

The Riesz transform kernel satisfies Hörmander's condition

Define the kernel $$K_i(x) = \frac{x_i}{\lvert x\rvert^{d+1}}$$ as a function $\mathbb{R}^d \setminus \{ 0 \} \to \mathbb{C}$ for $d \geq 3$ (say). I want to prove that this kernel satisfies ...
0
votes
2answers
28 views

Prove that orthonormalsystem is an orthonormalbasis

We have an orthonormalsystem in $L^2(0, 2\pi)$: $\{e^{ikx} : k \in \mathbb{Z}\}$. Now I want to show that it's also an orthonormalbasis. I thought the easiest way to do that would be to show that ...
0
votes
3answers
49 views

Proof that |x-a| is continuous at x=a (epsilon delta), and nondifferentiable at x=a.

I need help justifying that $|x-a|$ is continuous and non-differentiable at $x=a$. I would also like to prove that it achieves a minimum at $x=a$, but I do not know if that is already clear enough.
0
votes
2answers
31 views

Totally ordered $\sigma$-algebras

I know that every $\sigma$-algebra is partially ordered with respect to the inclusion operator $\subset$. However, it seems as though every $\sigma$-algebra should be totally ordered with respect to ...
0
votes
1answer
22 views

Composition of analytic function with arithmetic function

Consider an arithmetic function $g$ with codomain $\{a,b\}$ and a function $f$ which is analytic on some domain including $\{a,b\}$. We therefore have $$f(g(n))=\sum_{k=0}^\infty c_k (g(n)-a)^k$$ and ...
0
votes
2answers
34 views

I need help proving the base case for a mathematical induction proof

I know how mathematical induction works and the generic algorithm of proving a statement by the Principle of Mathematical Induction, but I'm having trouble proving the base case for a particular ...
0
votes
3answers
78 views

why $\frac{t + t^2}{(1 + t)^2} \sim t + t^2$?

While doing my physics homework where answer is given I found that correct answer could be obtained with simplification $\frac{t + t^2}{(1 + t)^2} \sim t + t^2,$ when $t\ll 1$. My attempt was: ...
-8
votes
0answers
24 views

Topic on Measure Theory and Functional Analysis [closed]

State open mapping theorem and closed graph theorem. Give atleast two examples to show that the closed graph theorem and open mapping theorem may not hold ifthe normed spaces X and Y are not Banach ...
2
votes
1answer
33 views

Compact $K\subset A$ such that $\lambda(K) = \lambda(A) / 2$

Let $A\subset \mathbb{R}$ be a (Lebesgue) measurable set of finite measure. Using the fact that the function $f:\mathbb{R}\rightarrow \mathbb{R}$, $$f(x)=\lambda(A\cap [-x,x]) $$ is continuous, we ...
0
votes
0answers
28 views

Prob. 10, Sec. 4.5 in Kreyszig's Functional Analysis: How to relate this result to solution of equations?

Let $T \colon X \to Y$ be a bounded linear operator, where $X$ and $Y$ are normed spaces, both real or both complex; let $B$ be a subset of the dual space $X^\prime$ (i.e. the normed space of all the ...
1
vote
1answer
65 views

Asymptotic expansion of integral with hyperbolic functions

Consider the integral given by $$f(r)=\int_{0}^{\tanh(r)} \arccos\left(\frac{\sigma}{\sinh(r)\sqrt{1-\sigma^2}}\right)\cdot \frac{1}{\sqrt{\sigma^2+a^2}}d\sigma,$$ where $a>0$. I am wondering ...
0
votes
1answer
30 views

Trace $\sigma$-algebra and measurable envelope

I'm stuck on a problem from Cohn's book. Let $(X,\mathscr{A})$ a measurable space, and let $C$ be a subset of $X$. Let $\mathscr{A}_C$ be the trace of $\mathscr{A}$ on $C$, that is all the ...
7
votes
0answers
143 views

Solving $f'(x) = f(x+1) - f(x)$

Find all $f \in \mathscr{C^\infty}(\mathbb R)$ that satisfy the equation $$f'(x) = f(x+1) - f(x).$$ The 'obvious' answer is the set of all affine maps, but I'm not entirely sure. Some ...
2
votes
0answers
40 views
+50

Show that there is a metric space that has a limit point, and each open disk in it is closed. Collecting examples

This question belongs to the 39th math competitions of Iran. And here is one solution: Suppose that $X=\{\frac{1}{n}: n\in \mathbb{N}\} \cup \{0\}$ and: $d(x,y) = \left\{ \begin{array}{ll} x+y ...
6
votes
1answer
43 views

$|g(x)| \leq K \int_a^x|g| \ \ \forall x \in I$ [duplicate]

Let $I:=[a,b]$ and let $g: I \to \Bbb R$ be continuous on $I$. Suppose that there exists $K > 0$ such that $$|g(x)| \leq K \int_a^x|g| \ \ \forall x \in I.$$ Then $g(x) = 0\ \ \forall x \in I $. ...
2
votes
5answers
77 views

if we have $(f(x))^2 = 2 \int_0^xf, \ \forall x>0,$ then $f(x) =x \ \forall x\geq0$.

Let $f: [0, \infty) \to \Bbb R$ be continuous and $f(x) \neq 0 \forall x>0$. If we have $$(f(x))^2 = 2 \int_0^xf, \ \forall x>0,$$ then $f(x) =x \ \forall x\geq0$. We have $(f(x))^2 = 2 ...
0
votes
1answer
11 views

$F(x) := (n- 1)x-\frac{ (n- 1)n}{2}$ for $x \in [n- 1, n), n \in \Bbb N$ using this result to evaluate $\int_a^b[x]dx.$

Let $F(x)$ be defined for $x \geq 0$ by $F(x) := (n- 1)x- (n- 1)n/2$ for $x \in [n- 1, n), n \in \Bbb N$. Show that $F$ is continuous and evaluate $F'(x)$ at points where this derivative exists and ...
-2
votes
0answers
70 views

Find a function that maps real numbers to real numbers, that is monotone, differentiable, and has a derivative that is positive for all X. [on hold]

Let $T\colon \mathbb R\to\mathbb R$ be monotone and differentiable, with a positive derivative. Suppose $f: \mathbb{R} \to \mathbb{R}$ is also differentiable. I need to find the derivative of $c(x) = ...
0
votes
1answer
24 views

Derivatives of Implicit Functions (Abstract Case)

I have never been good at differentiation of implicit functions in cases when in a function is given, much less in abstract cases with composite functions. Hopefully someone can help me get started on ...
2
votes
3answers
47 views

Uniform convergence of $f_n(x) = x^n$ on $[0,c]$

Let $c \in (0,1)$ be fixed. Let $$f_n(x) = x^n,\quad x \in [0,1)$$and$$f(x) = 0,\quad x \in [0,1)$$ Show that $f_n$ converges uniformly to $f$ on $[0,c]$. So, we have, $f_n(0) = 0, f_n( c) = ...
5
votes
0answers
37 views

Question on Radon measure's Lebesgue decomposition

Hi all seeing as how people were so nice to me and my experience was a success I though perhaps it was safe to try and ask this as well on Radon measures (also same class) I am given a $ ...
1
vote
0answers
12 views

Integral as the limit averages of random sampling from interval?

This question regards a process similar to that of Riemann integration. Let $f$ be a continuous function on $[a,b]\subset\mathbb{R}$, $n$ a natural number and ...
1
vote
0answers
21 views

On utilizing the Leibniz rule of integration on a non compact interval.

I am following some slides that you can find here. At slide $\approx$ 24 a problem arises, to find $$\DeclareMathOperator*{\argmin}{\arg\!\min} \argmin_{\hat{y} } -\int_{-\infty}^{\hat{y}} (y ...
1
vote
2answers
29 views

Using Lagrange's Method in Finding Extreme Values (New to This Method)

Did I do this hw question correctly (at least in theory, I do not expect anyone to check my algebra work)? In particular, did I solve for lambda and plug lambda back into my equations for x,y, and z ...
3
votes
2answers
122 views

Why doesn't this work for Rudin Exercise 3.8

The problem is 3.8 exercise in baby Rudin: If $ \sum{a_n} $ converges and $\{b_n\}$ is bounded and monotonic, prove that $\sum{a_nb_n}$ converges. Why can't I just do this?: Let $M$ be an ...