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

2
votes
2answers
21 views

Family bounded in $\mathcal{L}^1$ has limit a.e.

Let $(X, \mathcal{F} , \mu )$ be a measure space. Suppose $\lbrace X_n \rbrace$ is a family of functions in $\mathcal{L}^1$, bounded in $\mathcal{L}^1$ i.e. there exist $K \geq 0 $ such that ...
4
votes
1answer
68 views

If $f(\mathbb{R})$ is compact and $f$ is continuous, then is $f$ uniformly continuous?

Question: If $f(\mathbb{R})$ is compact and $f$ is continuous, then is $f$ uniformly continuous? Background: I thought of the question when proving that "If a function is periodic and continuous, ...
2
votes
3answers
39 views

a limit property at infinity

Let $k\in(0,1)$ is fixed and $L$ is a finite value. Is it possible to say if $\lim_{x\to\infty}f(x)=L$ then $\lim_{x\to\infty}f(kx)=L.$
0
votes
2answers
24 views

Absolute convergence of an infinite series and p-series test

Why does the infinite series $\sum_{n=1}^{\infty}\frac{(-1)^n}{\sqrt n}z^n$ where $z\in \mathbb{C}$ converge absolutely for $|z|<1$. Doesn't the series diverge because if we apply the absolute ...
2
votes
2answers
53 views

Stone-Weierstrass: Examples

By Stone-Weierstrass one has: $f\in\mathcal{C}(K):\quad p_n\to f$ Now, for analytic functions this is just Taylor: $$f\in\mathcal{C}^\omega([a,b]):\quad f(x)=\sum_{k=0}^\infty a_kx^k$$ But, how does ...
0
votes
0answers
27 views

Proving least upper bound property implies greatest lower bound property

In Rudin 1.11 Theorem Proof he claims the following Suppose $S$ is an ordered set with the least upper bound property $B \subset S$, $B$ is not empty, and $B$ is bounded below. Let $L$ be the set of ...
0
votes
0answers
8 views

The level set of Lipschitz functions

Suppose $u$: $R^N\to R$ is lipschitz, then do we have a.e. level set of $u$ has Lipschitz boundary? Is this anything to do with Sard theorem? Sard theorem states that a.e. Level set of smooth ...
1
vote
0answers
16 views

Strong law of large numbers for square-integrable random variables with bounded variance

Let $(\Omega,\mathcal{A},P)$ be a probability space and $(X_n)_{n\in\mathbb{N}}$ be a sequence of square-integrable random variables $\Omega\to [0,\infty]$ with ...
0
votes
0answers
9 views

$L^2$ regularity of a convolution with newtonian potential.

I am reading Bertozzi, Majda Vorticity and incompressible flow and in page 71 72, we are concerned with recovering the velocity field of a flow from its vorticity. At some point we need to have the ...
2
votes
0answers
30 views

Lebesgue integral over $\mathbb R^2$ of the function $f(x,y)=2(x-y)e^{-(x-y)^2}\chi_{\{x>0\}}$

Let $f:\mathbb R^2\to \mathbb R$ be given by $$f(x,y)=\begin{cases}2(x-y)e^{-(x-y)^2}& \text{ if }x>0 \\0&\text{ otherwise}\end{cases}$$ Given that $\int^\infty_{-\infty} e^{-z^2} dz=\sqrt ...
2
votes
3answers
103 views

Proving no rational satisfy $p^2 = 2$

In Rudin's analysis example 1.1, he tried to show the following Let $A$ be the set of all positive rationals $p$ such that $p^2<2$ and let $B$ consist of all positive rationals $p$ such that $p^2 ...
-2
votes
1answer
68 views

Is $d(x,y)=|x-y|^2$ a distance on $\mathbb{R}$?

Please how to prove that $d(x,y)=|x-y|^2$ is a distance on $\mathbb{R}$, I don't know how to solve the triangular inequality. Thank you.
1
vote
1answer
54 views

Proof, that the floor and ceiling functions exist

I want to proof the following, with elementary properties of the integers and reals: Let $x\in \mathbb{R}$. Then there are unique $p,q\in \mathbb{Z}$, such that: $$p\leq x < p+1\text{ and ...
1
vote
0answers
12 views

Solving this equation: $⌊r^{m²}α⌋-r^{2m-1}⌊r^{(m-1)²}α⌋=d$

Let $r≥4$ be a positive integer. Let $α$ be a positive real number and let $d$ be a positive integer. I want to solve this equation with respect to the variable $m$: ...
3
votes
2answers
37 views

Convergence of a integral: $\int_{0}^{1} |\ln (x)|^n \ dx$

Let $n \in \mathbb N$ be arbitrary. Does the integral $$\int_{0}^{1} |\ln (x)|^n \, dx$$ converge? I asked myself this question and I have no idea of a proof or counter example. Someone can give me a ...
0
votes
1answer
12 views

On the polar representation of an inner product.

Take $H$ an inner product space. $x,y \in H$. Take $b = |<x,y>|$ . Then the polar representation of $<x,y>$ is: $$<x,y> = be^{i\theta}$$ for some $\theta \in (-\pi, \pi]$. Why is ...
6
votes
1answer
67 views

Prove that $\{\frac{\phi (n)}{n}\}_{n \in \Bbb N}$ is dense in $[0,1]$

suppose that $\phi(n)$ is Euler function. prove that, $\{\frac{\phi (n)}{n}\}_{n \in \Bbb N}$ is dense in $[0,1]$ (if $A_n=\{1 \leq m \leq n | m \in \Bbb N ; gcd(n,m)=1\}$ then $\phi(n)=|A_n|$) I ...
0
votes
0answers
10 views

Multitangent to a polinomial function

I'm trying to build some exercises on tangents of functions for beginner students in mathematical analysis. In particular I would like to suggest the study of polynomial functions $ y = p (x) $ of ...
0
votes
1answer
20 views

why the set $A=\{(x,y)\in\mathbb{R}\times\mathbb{R}:x-y\in E\}$ is $\mathcal{B}\times\mathcal{B}$-measurable

If $E\in\mathcal{B}$ , then the set $A=\{(x,y)\in\mathbb{R}\times\mathbb{R}:x-y\in E\}$ is $\mathcal{B}\times\mathcal{B}$-measurable, where $\mathcal{B}$ is the family of Borel subsets of $\mathbb{R}$ ...
2
votes
1answer
26 views

Associated Legendre polynomials

The associated Legendre ODE is given by $$ \left( (1-x^2) f'(x) \right)' - \frac{m^2}{1-x^2} f(x) = \lambda f(x)$$ The eigenfunctions have certain properties that I would like to understand by ...
1
vote
4answers
67 views

The sequence of improper integrals of the form $\int\frac{dx}{1+x^{2n}}$

Let $n\in\mathbb N$ ($n>0$), and define the $n$th integral in the sequence $I$ to be $$I_n = \int_{-\infty}^{\infty}\frac{1}{1+x^{2n}}dx.$$ Evaluating such integrals, especially for small $n$, is ...
2
votes
1answer
22 views

A basic non-autonomous O.D.E question

Consider the following non-autonomous O.D.E $$ \dot{x}(t) = h(x(t),g(t))$$ such that $h(.,.)$ is continuous but $g(.)$ is discontinuous(step function). Does the solution exist here ? I don't think ...
2
votes
1answer
35 views

Finite coloring of an interval

Two real functions, $f$ and $g$, are defined on the interval $[-1,1]$. Each point $x$ in the interval is colored in one of 3 colors: Red - if $f(x)>g(x)$ Blue - if $f(x)=g(x)$ Green - if ...
3
votes
3answers
86 views

Convergence of summable sequences

If $(a_n)$ is a sequence such that $$\lim_{n\to\infty}\frac{a_1^4+a_2^4+\dots+a_n^4}{n}=0.$$ How do I show that $\lim_{n\to\infty}\dfrac{a_1+a_2+\dots+a_n}{n}=0$?
2
votes
5answers
68 views

Every sequence in $\mathbb{R}$ has a monotonic subsequence

I have trouble with this kind of infinite construction in topology. Can someone check my proof is sound? Let $s$ be a sequence in $\mathbb{R}$. Then $s$ has a monotonic subsequence. There are two ...
2
votes
0answers
42 views

Properties of the Fourier transform

Suppose $g,h \in L^1(\mathbb{R} / 2 \pi)$ with $g(x)=h(nx)$, $n \in \mathbb{Z}$. I want to show that $$ \widehat{g}(kn)= \widehat{h}(k), \\ \widehat{g}(l)=0, l \not\equiv 0 \ \text{mod} \ n.$$ I ...
0
votes
1answer
14 views

Young's inequality implies $L^p$ convergence of convolution

I am reading a material which states: If $f_n \to f$ in $L^1(\mathbb{R})$, $g \in L^P(\mathbb{R})$. Then $f_n*g \to f*g$ in $L^p(\mathbb{R})$ by Young's inequality. But I cannot see why Young's ...
1
vote
2answers
21 views

Continuous piecewise smooth curve

I cannot understand the definition of $\tilde d(p_1,p_2)$ here? Can anyone please explain it clearly?
1
vote
1answer
52 views

Finding points that satisfy $f(a) = \sup f(x)$

Choose positive real numbers $\alpha_1,\ldots,\alpha_n$, $n$ such that $\sum_{i=1}^n \alpha_i = 1$ and let $$f: [0,\infty)^n \to \mathbb R$$ $$x=(x_1, \ldots, x_n) \mapsto x_1^{\alpha_1} \cdots ...
2
votes
1answer
45 views

Application of Rolle's Theorem and differentiation

Suppose $f: \mathbb{R}\rightarrow \mathbb{R}$ is differentiable with $f(0)=f(1)=0$ and $\{x:f'(x)=0\}\subset \{x:f(x)=0\}$. Show that $f(x)=0$ for all $x\in [0,1]$. My Work: By Rolle's Theorem ...
1
vote
0answers
22 views

Surjective bilinear map

Let $Q$ be a CONVEX quadrilateral in $R^2$ with vertices $a_1,a_2,a_3,a_4 \in R^2$. Consider the bilinear map $f: [0,1]^2 \to Q$ $$f(x,y)=a_1+(a_2−a_1)x+(a_4−a_1)y+(a_1+a_3−a_2−a_4)xy$$ Note that $f$ ...
-1
votes
0answers
27 views

Show that there is $f\in L^1(X,\mu)$ with $P(f)<\infty$ and $P(f_n-f)\to 0$ as $n\to\infty$ [on hold]

Could you please help me solving this old prelim problem. Any hints are appreciated
1
vote
1answer
42 views

Proving existence of a linear functional

Let $(X, \| \cdot \|)$ be a normed space, and let $A, B ⊂ X$ be disjoint convex sets such that $B$ is closed and $A$ is compact. Prove that there exists $\varphi ∈ X^*$ such that $$\sup_{a\in A} ...
1
vote
1answer
27 views

Mean value inequality geometrical interpretaion

The mean value inequality theorem Let U be an open interval in $\mathbb{R}$. Suppose that $K \ge 0$ and that, $a,b \in U$ with $b>a$. If $f : U \rightarrow \mathbb{R}$ is differentiable with ...
2
votes
5answers
82 views

Analysis: Prove divergence of sequence $(n!)^{\frac2n}$

I am trying to prove that the sequence $$a_n = (n!)^{\frac2n}$$ tends to infinity as $ n \to \infty $. I've tried different methods but I haven't really got anywhere. Any solutions/hints?
1
vote
2answers
34 views

Taking derivatives of the implied function - from the implicit function theorem,

I showed that the relation $$f(x,y)=e^x - e^y + xy = 0$$ defines near (0,0) an implicit function y=$\phi (x)$, since the $1x1$ block, $\frac{df}{dy}$, evaluated at (0,0) gives -1, which is non-zero - ...
1
vote
0answers
41 views

About fractional iterations and improper integrals

Let $g(x,0) = x$ and $g(x,t+1) = g(x,t) - \dfrac{1}{g(x,t)}$ for every real $t$. From the fact \begin{align} ...
2
votes
0answers
32 views

Two disjoint connected and bounded open sets in the plane that shares the same boundary

In $\mathbb{R}^2$ with std. topology I want to exhibit two open sets that are connected, bounded and disjoint but that have a common boundary. My attempt: Since both my sets need to be bounded, my ...
1
vote
0answers
18 views

Uniqueness of an embedding theorem for Real differential fields

I will follow a preliminary exposition for the problem in question, which will essentially follow the format on http://www4.ncsu.edu/~singer/papers/model_diff_fields.pdf [pg. 87]: Let $K$ be a real ...
2
votes
0answers
35 views

Anyone knows a Good Textbook in Numerical PDES

I am planning on taking a course on numerical PDEs next semester. The course covers the following topics listed below. I am looking for a good book that covers these topics (or at least most of them). ...
0
votes
1answer
59 views

Using $\epsilon$ and $\delta$ to prove that $\lim_{x \to 0}\frac{\tan x}{x}=1$

I tried $$ \left | \frac{\tan x}{x}-1 \right | <1+\left | \frac{\sin x}{x} \right |\left | \frac{1}{\cos x} \right |<1+\frac{\delta^2}{2}\left | \frac{1}{\cos x} \right | $$ and I failed to ...
4
votes
1answer
30 views

Integral with a compact supported function $0$ indicates the $L^2$ function $0$ almost everywhere

Suppose we have $f\in L^2([0,1])$,and for every $\varphi\in C_{0}^{\infty}((0,1))$, we have $$\int_0^1 f(x)\varphi(x)dx=0$$ Then how can I show $f=0$ a.e? I know when $f\in C^0([0,1])$ the results ...
2
votes
1answer
34 views

Finishing a proof: $f$ is injective if and only if it has a left inverse

I've already done a lot of searching (in particular: https://www.proofwiki.org/wiki/Injection_iff_Left_Inverse) to try to prove this statement: $f: A \to B$ is injective if and only if it has a ...
1
vote
1answer
30 views

Ordered Field: $|x|\le y$ iff $-y\le x\le y$

I had a question regarding this part of a theorem that describes the inequalities of the absolute value function for order field $\mathbb{F}.$ Here is the theorem: Theorem: Let $\mathbb{F}$ be an ...
2
votes
3answers
30 views

proof of chain rule

Is my proof correct? show: $(g\circ f)'(x_0)=g'(y_0)f'(x_0)$ Since $f'(x_0) = \lim_{x\to x_0} \frac{f(x)-f(x_0)}{x-x_0}$ and Since $g'(y_0) = \lim_{y\to y_0} \frac{g(y)-g(y_0)}{y-y_0}$ Multiply ...
0
votes
0answers
21 views

Fourier series - Understanding an equality

Why is this equality true: $$\left\langle {f,g} \right\rangle = \sum\limits_{n = - N}^N {\hat{f}(n)\hat{g}(n)}$$ where $$f = \sum_{n=-N}^N c_n e^{int}, g=\sum_{n=-N}^N d_n e^{int} $$ and ...
1
vote
1answer
35 views

How do I prove this derivation?

I hope you can help me with this one because I seem to not quiet get a start here :/ Lets say we got a $b\in\mathbb{R}_{\gt 0}$ and a $y\in\mathbb{R}$ and we define $b^y:=\exp\left(\ln b \cdot ...
2
votes
2answers
21 views

Show that $\lim_{n\to\infty}\sum_{k=1}^n\bigl|k\bigl(f\bigl(\frac{1}{k}\bigr)-f\bigl(-\frac{1}{k}\bigr)\bigr)-2f'(0)\bigr|$ exists

Suppose $f\in C^3[-1,1]$, show that $$\lim_{n\to\infty}\sum_{k=1}^n\left|k\left(f\left(\frac{1}{k}\right)-f\left(-\frac{1}{k}\right)\right)-2f'(0)\right|$$ exists. I realized that ...
1
vote
1answer
77 views

Does $\int_{0}^{1}x^nf(x)\, dx=0$ imply that $f=0$ a.e. without assuming $f \in C[0,1]$?

Suppose that $f \in L^{1}[0,1]$ and $\int_{0}^{1}x^nf(x)\, dx=0$ for $n=0,1,2,\dots$ Does that imply that $f=0$ a.e.? I think that there will be a counterexample but it is hard to find out.
0
votes
1answer
25 views

differentiabilty implies continuity (analysis)

Is my proof correct? We need to show that if $f$ is differentiable at $x_o$, then it is continuous at $x_o$ i. e. $$\forall \epsilon >0, \exists \delta >0 \text{ s.t. } ...