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)

0
votes
2answers
25 views

Minima point is a solution point

Consider $$f:\left[0, \dfrac{\pi}2\right] \to \mathbb R$$ defined as $$f(x)=\sup\{x^2,\cos x\}.$$ It is easy to show that $f$ has an absolute minimum point at $x_o \in I$ , but how to show that $\cos ...
1
vote
1answer
51 views

Formal construction of $\mathbb Q$: interpretation and equality of elements

Formally the rational numbers are defined as $\mathbb Z \times \mathbb Z / \{0\}$, where $(m_1, n_1)$ and $(m_2, n_2)$ being equivalent if $m_1n_2 = m_2 n_1$. This set equipped with $+$ and $\times$ ...
-1
votes
3answers
90 views

Differentiation in Banach spaces

Let $E$ be a Banach space, and $F:=L(E,E)$, with $L(E,E)$ the set of continuous linear funtions in $E$. Prove that the function $\exp: F → F$, defined by ...
2
votes
1answer
34 views

Spherical coordinates and Lebesgue integral

I found a textbook that says that $r \in [0,\infty), \theta \in [0,\pi], \phi \in [-\pi,\pi]$ are the spherical coordinates. Then he goes on with: This corresponds to a unitary map $L^2(\mathbb{R}^3) ...
1
vote
2answers
46 views

$V$ is bounded. Does this imply that $\lim_{x\to \infty}\int_{a}^{x}\left | f \right |$ exists?

I am given that the set $V=\left \{ \int_{a}^{x}\left | f \right |:\ x\geq a \right \}$ is bounded. Does this imply that $\lim_{x\to \infty}\int_{a}^{x}\left | f \right |$ exists? Thanks!
5
votes
1answer
41 views

Let $f_n:\mathbb{R}\rightarrow [0, 1]$ be functions such that $\sup_{x \in \mathbb{R}}f_n(x) = 1/n$ and $||f||_1 = 1$.

Let $f_n:\mathbb{R}\rightarrow [0, 1]$ be functions such that $\sup_{x \in \mathbb{R}}f_n(x) = 1/n$ and $||f_n||_1 = 1$. Set $F(x) = \sup_{n \in \mathbb{N}}f_n(x)$. Prove that $\int_\mathbb{R}F(x)dx ...
11
votes
3answers
225 views

Suggestion for Computing an Integral

Let $$A=\left\{(x,y,z)\in \mathbb R^3:\dfrac{x^2}{2}+\dfrac{y^4}{4}+\dfrac{z^6}{6}\leq1\right\}.$$ Then I want to compute the following integral: ...
1
vote
3answers
49 views

Is Inverse Function Composition Commutative?

Given $f: \mathbb{R}\to(-1,1)$ is there a theorem that states $f\left(f^{-1}(x)\right) = f^{-1}\left(f(x)\right)$. In example, is $\tanh{\left(\tanh^{-1}{(x^2)}\right)} ...
3
votes
0answers
50 views

$\|\phi_{\lambda}- \phi_{\lambda} \ast f \|_{L^{2}(\mathbb R)}\to 0$ as $\lambda \to \infty$? ($\phi_{\lambda}(x)=\lambda^{-1} \phi(x/\lambda).$)

For $f\in L^{1}(\mathbb R),$ we define its Fourier transform as follows: $\hat{f}(t)=\int_{\mathbb R} f(x) e^{-ix\cdot t} dx ,(t\in \mathbb R).$ Suppose that $f\in L^{1}(\mathbb R)$ with ...
-1
votes
2answers
49 views

Differentiability at x=0 [closed]

Discuss the differentiability of the following function in $x$ = $0$: $ f:\mathbb{R} \to \mathbb{R}: x\mapsto \begin{equation} f(x)= \begin{cases} \sqrt{x} & \text{if } x \geq 0 \\-\sqrt{-x} & ...
3
votes
0answers
45 views

Image of Cantor set under Cantor-Lebesgue function

Let $m^{\ast}$ be the Lebesgue outer measure and $m$ the Lebesgue measure. Let $\phi$ be the Cantor Lebesgue function and let $\psi(x) := x + \phi(x)$. Let $C$ be the standard Cantor set, why does ...
2
votes
1answer
50 views

Series in a space which is not complete

Let $X$ be a normed vector space and $\left\lbrace x_n \right\rbrace_{n \in \mathbb{N}} \in X^{\mathbb{N}}$ with $$\sum_{n=1}^{\infty} \|x_n\| < \infty \wedge \sum_{n=1}^{\infty} x_n \notin X,$$ ...
0
votes
0answers
27 views

Intepolate from linear to step function

I'm running after a particular function $f_\sigma : [−1,+1] \rightarrow [-1,+1]$ that could take three different forms depending on the value of its parameter $\sigma$. Could anyone help me ...
0
votes
0answers
28 views

Basic exercise of real analysis and of p harmonic functions

I am studying the following definition of an article: Definition (blow up): Let $u$ a function (assuming real values) in the open ball $B(x_0,1)$. For $r>0$ define the function $u_r(x)$ in $B(0, ...
1
vote
1answer
26 views

Norms and convergence in $\mathcal{C}^{\infty}(O)$

Let $O \in \mathbb{R}^d$ be open, $K \subseteq O$ compact and $n \in \mathbb{N}$. For $f \in \mathcal{C}^{\infty}(O)=\mathcal{E}(O)$ we define $$\|f\|_{n,K}^{(1)}:=\sup_{|\alpha| \leq n} \|D^{\alpha} ...
1
vote
1answer
36 views

Approximation functions in $L^{1}$ by indicator functions of dyadic cubes

Let $\mu$ be a finite positive regular Borel measure on $\mathbb{R}^{d}$ and let $S$ be the family of finite unions of squares of the form $\{a_{1}2^{n} \leq x_{1} \leq (a_{1} + 1)2^{n}, \ldots, ...
0
votes
1answer
23 views

Is $H^{1}(R;H^1(R^n))=H^1(R^{n+1})$?

Is $H^{1}(R;H^1(R^n))=H^1(R^{n+1})$, where $H^1(R;H^1(R^n))=\{f\colon R\to H^1(R^n)\colon \int \|f(t,\cdot)\|_{H^1}^2\,dt <\infty \quad \text{and} \int \|f'(t,\cdot)\|_{H^1}^2\,dt <\infty \}$ ...
3
votes
1answer
40 views

The Dirac Delta Distribution $\delta_0 : D \to \mathbb R$ is not regular

I have a question on the following proof, that $\delta_0$ is not a regular distribution. We define $\delta_0$ as the linear function on test function with $$ \delta_0(\varphi) = \varphi(0) $$ for ...
3
votes
2answers
42 views

Composition of functions is constant in $\mathbb{R^2}$.

Let $\hspace{0.05cm}f:\mathbb{R^2}\to\mathbb{R^2}$ $\hspace{0.05cm}$ and $\hspace{0.05cm}$$g:\mathbb{R^2}\to\mathbb{R^2}$ $\hspace{0.05cm}$ be such that$\hspace{0.05cm}$ $g\circ f$$\hspace{0.05cm}$ ...
5
votes
3answers
110 views

How to $\int_{0}^\infty {\sin^3(x)\over x}dx$

How to evaluate : $$\int_{0}^\infty {\sin^3(x)\over x}dx$$ I don't know how to do it. I tried to finish it using integration by parts, but it doesn't work? Can someone tell me how to evaluate the ...
0
votes
1answer
35 views

holomorphic function over the disk that is real on a closed curve must be constant

Let $f$ be holomorphic on $\{z\in \mathbb{C}\mid |z|\leq 3\}$ and real on the boundary of the square $\{z\in\mathbb{C}\mid Re(z)\leq1 \text{ and } Im(z)\leq 1 \}$. Prove $f$ is constant. How to ...
9
votes
2answers
421 views

Understanding this ODE

(I did not change anything, I just rewrote the ODE in a simpler form): I started with an ODE (first ODE) : $-(1-x^2)y''(x) +x y'(x) - \left( \alpha x + \gamma x^2 \right) y(x) = \lambda y(x),$ ...
0
votes
1answer
33 views

The Landau symbol $\mathcal{o}$ as in Königsberger Analysis I

I am currently working on Chapter 14 - local approximations of function and Taylor polynomials - in Königsberger Analysis 1 Background: Königsberger introduced the Taylor Polynomial of order ...
0
votes
0answers
40 views

A continuous function which does not converge to its Fourier series. [duplicate]

Where can I find an example (or the theorem) for a continuous function which does not converge pointwise to its Fourier series, as well as its explanation? I would prefer a web page or a free site or ...
1
vote
3answers
41 views

Characterization of $\mathscr{S}(\mathbb R^n)$?

Consider the vector space $$\displaystyle\mathscr{S}(\mathbb R^n)=\{f\in C^\infty(\mathbb R^n): \lim_{|x|\to \infty} |x^\alpha \partial^\beta \phi(x)|=0, \forall \alpha, \beta\in\mathbb N_0^n\}.$$ ...
1
vote
1answer
47 views

sum of the series $\sum_{k=0}^{\infty}(k+1)(1-|x_k|)|x_n|^k$ [closed]

Let $|x_n|<1$. Is the given series convergent or which conditions do we impose on the sequence $(x_n)$ to given series be convergent? $\sum_{k=0}^{\infty}(k+1)(1-|x_k|)|x_n|^k$
1
vote
1answer
19 views

Is $(\frac{1}{1-|x_n|})$ bounded or only bounded above if $|x_n|<1$? [closed]

Let $(x_n)$ be a sequence such that $|x_n|<1$. Is $(\frac{1}{1-|x_n|})$ bounded or only bounded above if $|x_n|<1$?
1
vote
1answer
48 views

Is $(|x_n|^{n+1})$ convergent or bounded if $|x_n|<1$?

Let $(x_n)$ be a sequence such that $|x_n|<1$. Is $(|x_n|^{n+1})$ convergent or bounded?
1
vote
1answer
41 views

The existence of $f \in C^\infty(R^n)$ with $ f=0$ on closed $E$, otherwise $f>0$

This is problem 6.3 in 'Rudin's Functional analysis If $E$ is an arbitrary closed subeset of $R^n$, show that there is an $f \in C^\infty(R^n)$ such that $f(x)=0$ for every $x \in E$ and ...
0
votes
0answers
25 views

Taylor theorem on Sobolev spaces

I am trying to understand the Taylor theorem for Sobolev spaces that appears in http://science.org.ge/moambe/5-2/5-10%20Boyarsky.pdf. I am not sure in what sense the aproximation is. I feel that it is ...
0
votes
0answers
40 views

Definite integral with doable improper case

Is there a way to evaluate one or both of the following integrals: $$ \int_{a_1}^{a_2} e^{ib_1(x+b_2 \sqrt{1+x^2})}dx \quad \text{and}\quad \int_{a_1}^{a_2}\frac{x}{\sqrt{1+x^2}} e^{ib_1(x+b_2 ...
2
votes
1answer
79 views

Homework on basic inequalities.

Let $a_j$ be a sequence of positive reals. Show that (a) $\left(\sum_{j=1}^\infty a_j\right)^\theta \le \sum_{j=1}^\infty a_j^\theta$ for any $0\le\theta\le1$. (b) $\sum_{j=1}^\infty a_j^\theta \le ...
0
votes
1answer
26 views

How to compute the area of this set in the plane?

Let $f$ be a non-negative function which is defined, bounded, and integrable on a closed interval $[a,b]$, and let $$ S \colon= \{\ (x,y) \ | \ a \leq x \leq b, \ 0 \leq y < f(x) \ \}. $$ Then is ...
2
votes
1answer
41 views

Unclear inequality in the proof of Birkhoff ergodic theorem.

I'm trying to understand the tricky proof of the ergodic theorem (Birkhoff 1931). My reference is "Ward,Einsiedler - Ergodic theory (with a view towards number Theory)" section 1.6: Consider the ...
1
vote
2answers
58 views

Find a power series for function

I'm having some difficulty with this problem even while noting the hint. I expressed the function as $(1/2)\frac{1}{1-(-3x/2)}$ and then thought I would work with $1/2$ of the infinite sum of ...
1
vote
1answer
36 views

If A has positive Haar measure then $AA^{-1}$ is a neighborhood of $e$

I read the following exercise: Prove that if $G$ is a locally compact topological group with Haar measure $\mu$ and $A \subset G, \mu (A) >0$, then $AA^{-1}$ contains an open neighborhood of the ...
1
vote
1answer
34 views

Having derivative in some $x_{0}$ implies having it in $U(x_{0})$ [closed]

Let $f$ be continious function in R and it has a derivative in $x_{0}$. Does it have derivative in some $U(x_{0})$?
2
votes
1answer
34 views

Distributions with support of the form $\left\lbrace x \right\rbrace$

Doing some calculations with Distributions I came up with the following theorem: THEOREM: Let $O \subseteq \mathbb{R^d}$ be an open subset and $x \in O$. Suppose $T \in \mathcal{D}'(O)$ with ...
0
votes
1answer
19 views

Question related to vector space of solutions of a differential equations system.

I have some doubts regarding the proof of the statement: The set of solutions of the system $$X'=A(t)X$$ where $A(t):I \subset \mathbb R \to \mathbb R^{n \times n}$ is continuous, forms an ...
1
vote
2answers
178 views

Why aren't all real numbers equal to one another?

I know, stupid question. But humor me for a sec. First off, we know that all real numbers have two numbers which are infinitely close to them, right? That would seem to be, for any given value of x, ...
4
votes
2answers
44 views

Can we expect, $S(\mathbb R)\ast L^{p}(\mathbb R) \subset L^{p}(\mathbb R), (1<p<\infty) $?

It is well-known that $L^{1}(\mathbb R)$ is a closed with respect to convolution(product), that is, $L^{1}(\mathbb R)\ast L^{1}(\mathbb R)\subset L^{1}(\mathbb R),$ more specifically, if $f, g\in ...
0
votes
0answers
12 views

semi linear uniform space

In semi-linear uniform space, if $f$ is a function from $(X ,Γ_X)$ to $(Y,Γ_Y)$ that is linear and bounded ,is $f$ then continuous? Is the converse true?
2
votes
1answer
46 views

The dual space of locally integrable function space

I'm strongly interested in dual spaces. I learned the dual spaces of $L^p$, $L^{\infty}$, $C(X)$ and $M(X)$. I wonder the dual space of locally integrable function space in $\mathbb{R}^n$. The ...
3
votes
2answers
51 views

$\lim_{x\to 0+}\ln(x)\cdot x = 0$ by boundedness of $\ln(x)\cdot x$

I saw a proof that $$ \lim_{x\to 0} \ln|x|\cdot x = 0 $$ where is is argued that for $x \in (0,1)$ we have $$ | \ln(x) x | = \left| \int_1^x x/t ~\mathrm d t \right| = \left| \int_x^1 x/t ~\mathrm ...
0
votes
1answer
24 views

Rewriting integrals over spheres involving $1/|x|$

The following derivation cames from calculations related to the Laplace equation and its fundamental solution. Let $g(x)$ be a test-function (meaning compact support and infinitely differentiable), ...
5
votes
2answers
98 views

Give an example of a function $f$ satisfying $\lim_{x\to 0}(f(x)f(2x))=0$,but $\lim_{x\to 0}f(x)$ does not exists

Question: Give an example of a function $f$ satisfying the condition $$\lim_{x\to 0}(f(x)f(2x))=0$$ and such that $$\lim_{x\to 0}f(x)$$ does not exists. I think this question have many example. But ...
1
vote
2answers
62 views

$f$ unbounded in $\mathbb{R}$ implies it cannot be in $L^2(\mathbb{R})$.

Intuitively , I feel this must be true. I'm looking for a rigorous proof. So,I would like to confirm that there are no counter examples to begin with.
0
votes
1answer
42 views

Questionable Intervals

Find the numbers $X_1 , X_2 , \ldots , X_{10} $ such: $X_1$ is in the interval $[0,1]$. If we divide the interval $[0,1]$ in halves,each half consists of only one of $X_1$ or $X_2$. If we divide ...
5
votes
1answer
63 views

$\int_0^1f(x)dx = 2, \int_0^1g(x)dx = 1, \text{and} \int_0^1[f(x)]^2 dx ≤ C$ for some constant $C > 4.$

Suppose $f$ and $g$ are nonnegative measurable functions on the interval $[0,1],$ with the properties $$\int_0^1 f(x)\,dx = 2, \int_0^1g(x)\,dx = 1, \text{ and }\int_0^1[f(x)]^2 dx \le C$$ for some ...
0
votes
0answers
53 views

sum of the series $\sum_{k=0}^{\infty}(k+1)(x_n)^k.$

Let $x_n$ be a sequence of real numbers such that $x_n\in(0,1).$ Find the sum of the series $\sum_{k=0}^{\infty}(k+1)(x_n)^k.$ My answer is $\frac{(x_n)'}{(1-x_n)^2}.$ But the term $(x_n)'$ make me ...