Mathematical Analysis generally, including Real Analysis, Harmonic Analysis, Complex Variable Theory, the Calculus of Variations, Measure Theory, and Non-Standard Analysis.

learn more… | top users | synonyms (1)

2
votes
1answer
27 views

Does differentiability imply absolute continuity? [duplicate]

Suppose $f:[a,b] \rightarrow \mathbb{R}$ is a function which is (i) differentiable at all $x \in (a,b)$ (ii) the right-derivative at $x=a$ exists and the left-derivative at $x=b$ exists. Does it ...
1
vote
0answers
27 views

Discontinuous linear operator on $\ell^{2}$

Let $e_{n} = (0, 0, \ldots, 0, 1, 0, \ldots)$ where $1$ is in the $n$th position. Then $\{e_{n}\}$ is an orthonormal basis for the Hilbert space $\ell^{2}(\mathbb{N})$. Does there exists a linear ...
0
votes
0answers
18 views

cardinality of collection of all intervals

I was going through a question and was unable to find an answer. What is the cardinalty of the set of all intervals? Is it greater than $\mathbb{R}$?
1
vote
2answers
100 views

Asymptotic Behaviour Of A Bizarre Function

It is relatively easy to show that the asymptotic behaviour of $f(x)$, where $$ f(x)= \left[\frac{x}{2}\right] + \left[\frac{x}{4}\right] + \left[\frac{x}{8}\right] + \left[\frac{x}{16}\right] + ...
0
votes
0answers
38 views

Banach Fixed Point Theorem. Measurable version.

The Banach fixed point theorem has the following statement THEOREM ( Banach contraction principle). Let $(Y,d)$ be a complete metric space and $F:Y\to Y$ be contractive . Then $F$ has a uniqe ...
0
votes
0answers
16 views

Definition of a Paracompact space

I have a question about the definition of a paracompact space. We said that a space $X$ is paracompact iff $X$ is $T_2$ and if any open covering of $X$ has a finer locally-finite covering. I don't get ...
1
vote
0answers
16 views

find a $B_{n,j}$ such that $|A_{n,j}-L_j| \leq B_{n,j}$ $\forall n,j$ and $\sum_{j=0}^{\infty}B_{n,j}$ converges

We have $A_{n,j}= 3(-1)^j2^{n-j+1}\frac{(2(n-j)-4)!}{(n-j)!(n-j-2)!}\binom{j+2}{2}\frac{n^\frac{5}{2}}{8^n}$ and $L_j=(-\frac{1}{8})^j\binom{j+2}{2}\frac{3}{8\sqrt{\pi}}$ So I know $\lim_{n \to ...
2
votes
1answer
33 views

Properties of the Double Layer Potential

Consider the double layer potential $$ W_{\nu}(x) = \int_{\partial\Omega} \nu(y) \frac{\partial}{\partial n_y}\left( \frac{1}{|x - y|} \right) d \sigma_y $$ for a bounded region $\Omega \in \mathbb ...
0
votes
0answers
39 views

Absolutely continuous function admits weak derivative

How to prove that an Absolutely continuous function admits weak derivative? Absolutely continuous function: Let $(X, d)$ be a metric space and let I be an interval in the real line R. A function $f: ...
1
vote
0answers
11 views

existence and uniqueness of volterra integral equation of the first kind

$$ \int_0^t k(s,t)f(s)ds=g(t) $$ To know the existence and uniquness of solution of volterra integral equation(VIE) of the first kind, we differentiate it and convert to the VIE of the second kind. ...
4
votes
2answers
65 views

Riemann integral enigma

I tried to solve this problem from Souza Silva - Berkeley Problems In Mathematics: In the Solutions part, I founded next solution for this problem: I do not understand the last statement, so why ...
4
votes
1answer
57 views

An explicit construction for an everywhere discontinuous real function with $F((a+b)/2)\leq(F(a)+F(b))/2$?

I would like to know an explicit method on constructing an everywhere discontinuous real function $F$ with the property: $$F((a+b)/2)\leq(F(a)+F(b))/2.$$ There is a non-constructive example (with the ...
-4
votes
0answers
29 views

Big O notation for Python [on hold]

I was wondering if someone could interpret this code in Python. What would the time complexity be? ...
1
vote
2answers
31 views

Modulo Big O Problem

I know this may be really basic, but I am unsure of the complexity of this procedure in Python: def modten(n): return n%10 edit: It is done with Python. That ...
0
votes
1answer
20 views

An example of a twice continuously differentiable and bounded function.

Find an example of a twice continuously differentiable and bounded function $f:\Bbb R \rightarrow\Bbb R$ such that $\lim\limits_{x \rightarrow \infty} f(x)$ exists, but $\lim\limits_{x\rightarrow ...
1
vote
1answer
19 views

Group action and set define via their quotient topology open/closed equivalence relations

If we have a topological space $X$ and a subset $A \subset X$, we can define $X \backslash A$. My question is: Is it true that this equivalence relation is closed iff $A$ is closed as a subset of $X$ ...
0
votes
1answer
29 views

Fundamental polygon

So, I have seen fundamental polygons quite a few times now and I was always wondering what they are actually good for. Let's take the sphere. It's fundamental polygon can be seen here image. Does ...
0
votes
1answer
27 views

If $S$ is dense in $L^{2}$. Is it true that $pS=\{pf| f\in S, pf\in C^{\infty}\} $ is dense?

Let $S=\{f\}$ be a set of function defined in a compact subset $\Omega\subset \mathbb{R}^{n}$ such that $S$ is dense in $L^{2}(\Omega)$. Is it true that for $p\neq 0$ a rational function $pS=\{pf| ...
0
votes
0answers
34 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 ...
1
vote
1answer
28 views

Does the series $\sum_{i=0}^{\infty}\exp\{{-(m!)!}\}(D^m\phi)(0)$ converge for every $\phi \in C^\infty$?

Does the series $$\sum_{m=0}^{\infty}\exp\{{-(m!)!}\}(D^m\phi)(0)$$ converge for every $\phi \in C^\infty$? For analytic function $\phi$, we can show that the series converges by using ...
0
votes
0answers
19 views

Proof that quantum relative entropy is $\leq$ 0 using Klein's inequality for positive semi-definite operators

I was asked to prove that $S(\rho) \leq - {\rm Tr} \left[ \rho \log \tau \right] $ where $\rho, \tau$ are density operators on a finite dimensional complex inner product space and $S(\rho)$ is the von ...
1
vote
1answer
22 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 ...
2
votes
1answer
61 views

Does a function that is twice weakly differentiable have a version that is classically differentiable?

I have been wondering about the idea of functions that are weakly differentiable. My intuition tells me that the weak derivative allows one to differentiate functions that either have a removable ...
-1
votes
2answers
66 views

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

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
0answers
24 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 ...
1
vote
1answer
38 views

Constructing a set that contains at most one point on vertical and horizontal

I'm not sure how to answer this question: Construct a set $A$, which is a subset of $[0, 1] \times [0, 1]$, such that $A$ contains at most one point on the horizontal and vertical lines, but ...
4
votes
7answers
144 views

Convergence in a metric space

Is it possible to define a metric on $\mathbb R$ such that $(1,0,1,0,...)$ converges on $(\mathbb R, d)$? I believe it is impossible. But how to show analytically? Any hint would be appreciated.
-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
34 views

Minimum of a potential function

I'm looking for extremes (minimum) of $$V = \frac{\alpha}{|\vec{r}_1-\vec{r}_2|} + \beta (\vec{r}_1 + \vec{r}_2)\cdot \vec{e}_z$$ where $\vec{r}_i = ...
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. ...
2
votes
1answer
46 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
22 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
31 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
vote
0answers
42 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 ...
1
vote
1answer
50 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
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} ...
1
vote
1answer
86 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 ...
3
votes
2answers
128 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 ...
2
votes
2answers
78 views

Convergence of the series $\sum\limits_{n\geqslant1}(2-x)(2-x^{1/2})(2-x^{1/3})\cdots(2-x^{1/n})$

If $x >0$, consider the series $\sum\limits_{n=1}^\infty a_n$, where $$a_{n}=(2-x)(2-x^{1/2})(2-x^{1/3})\cdots(2-x^{1/n}).$$ Is it convergent? This question is in my textbook. I don't know how to ...
1
vote
1answer
29 views

variation of a function over countable intervals

Let $f$ be a function of bounded variation on $[0,1]$. Let $\{[a_n,b_n]\}_{n=1}^\infty$ such that $(a_n,b_n)$ are pairwise disjoint and $\cup_{n=1}^\infty [a_n,b_n]=[0,1]$. (for example, $[1/2, 1], ...
0
votes
0answers
22 views

Checking if the Hessian is the derivative of the gradient

Suppose f: R^n --> R. I have a code that computes the gradient of f. I have another code that computes the Hessian of f times a vector. Now I want to check if they are correct. Specifically, I am ...
0
votes
0answers
16 views

Minimization of an evaluation under the weak* topology

I'm self studying (for fun) the book "Functional Analysis, Calculus of Variations and Optimal Control" (by Clarke), and I'd appreciate some feedback for my proposed solution for an exercise from the ...
1
vote
1answer
23 views

Lower sum/Riemann Integral

Let $c>0$ and $f(x)=x$ for $x \in[0,c]$ . Let $P$={$x_0,x_1,...x_n$} be a partition of $[0,c]$ where $x_i=\frac{i}{n}c$ for $i=0,1,2,...n$ How do you find $L(P,f)$ and $\lim_{n \to \infty} ...
3
votes
0answers
30 views

Let $(X,μ)$ be a measure space. Find a necessary and sufficient condition on $(X,μ)$ that $L_q(E) ⊂ L_p(E)$ for all $1 ≤ p < q ≤ ∞.$

Let $(X,μ)$ be a measure space. Find a necessary and sufficient condition on $(X,μ)$ that $L_q(E) ⊂ L_p(E)$ for all $1 ≤ p < q ≤ ∞.$ I want to say that the condition is that $E$ is finite. This ...
1
vote
0answers
29 views

Rapidly Decreasing Functions

Can someone explain the notion of a rapidly decreasing function? Namely, a function in the Schwartz space: $$\mathscr{S}(\mathbb{R}^n):= \{ f \in C^{\infty} (\mathbb{R}^n) : ||f||_{\alpha, \beta} ...
0
votes
0answers
15 views

intuitive fact of a class of functions defined in $R^n$

I am reading an article and i have the following situation: Let $u: R^n \rightarrow R$ a continuous function in $R^n$. Supoose that u is nonnegative and that for all $t \geq 0$ the set $L_t = \{ x ...
-1
votes
2answers
28 views

Determine all values of $p \in R$ such that the sequence is in $l^2$. $\left\{\frac{1}{\sqrt{k}(\ln k)^p}\right\}_{k=2}^{\infty}$ [on hold]

Determine all values of $p \in R$ such that the sequence is in $l^2$ $$\left\{\frac{1}{\sqrt{k}(\ln k)^p}\right\}_{k=2}^{\infty}$$
-1
votes
0answers
21 views

Determine all values of $p \in R$ such that the sequence is in $l^2$. $\left\{\frac{k^p}{p^k}\right\}_{k=1}^{\infty}$ [on hold]

Determine all values of $p \in \mathbb{R}$ such that the sequence is in $l^2$ $$\left\{\frac{k^p}{p^k}\right\}_{k=1}^{\infty}$$ I'm so lost!
0
votes
0answers
40 views

Proving pointwise convergence of Fourier series [on hold]

I'm trying to prove the pointwise convergence of a $2\pi$-periodic function $f$ to its Fourier expansion. The proof on my lecture notes stops at this formula: $$f(t)-P_{N,f}=\frac 1 {2 \pi} ...
1
vote
1answer
24 views

If $p$ and $q$ are positive real numbers, show that $\sum_{k=2}^\infty(-1)^k\frac{(lnk)^p}{k^q}$ converges [on hold]

If $p$ and $q$ are positive real numbers, show that $$\sum_{k=2}^\infty(-1)^k\frac{(ln k)^p}{k^q}$$ converges