2
votes
0answers
21 views

Closure of $C_0^{\infty}$ in $W^{k,p}(\Omega)$

Why is it that in the definition of $W_0^{k,p}(\Omega)$ for $\Omega$ with boundary smooth enough, we only have $D^{\alpha}u$ for all $0\leq|\alpha|\leq k-1$ vanishing at the boundary and not ...
1
vote
1answer
24 views

What sequences could satisfy these requirements?

I need to find a sequence which converges to $0$ but is not in any space $\ell^p$, where $1 \leq p < +\infty$. And, I need to find a sequence which is in every space $\ell^p$ with $p > 1$ but ...
1
vote
0answers
44 views

Prove that $C[a,b]$ with inner product $\langle f,g\rangle:=\int_a^bf(t)\overline{g(t)}dt$ is not a Hilbert space.

Prove that $C[a,b]$ with inner product $<f,g>:=\int_a^bf(t)\overline{g(t)}dt$ is not a Hilbert space. Now the norm induced by the inner product is \begin{align} ...
1
vote
1answer
16 views

Proving that the 1-norm, $||x||_1$ is not generated by inner products on $\mathbb{C}^n$

Proving that the 1-norm, $||x||_1$ is not generated by inner products on $\mathbb{C}^n$. Is it sufficient to take $x=(1,0)$, $y=(0,1)$ in $\mathbb{C}^2$ and just showing that \begin{align} ...
0
votes
0answers
15 views

when does bijective map exist for any pair of rational function?

Let me ask kind of different questions than former ones. Given $$\frac{P_1(x_1,x_2,\dots,x_n)}{P_2(x_1,x_2,\dots,x_n)}\text{, and }\frac{P_3(y_1,y_2,\dots,y_n)}{P_4(y_1,y_2,\dots,y_n)}$$ where $P_i$ ...
1
vote
1answer
20 views

Prove that Hölder condition in $\Bbb R^n$ implies continuity

$f:I\subset \Bbb R^n \rightarrow \Bbb R^m$ is said to be Hölder continuous if $\exists$ $\alpha>0$ and $M>0$ such that $\|{f(x)-f(y)}\| \leq M\|x-y\|^\alpha$, $ \forall x,y \in I$, ...
1
vote
0answers
69 views

Qualitative properties of solutions to a ordinary differential equation.

I have this problem : $$\begin{cases} -(p(t)u'(t))'=f(t,u(t))\\u(0)=u(+\infty)=0\end{cases}$$ we have that $u$ is continues, $f:\mathbb{R}^+\times \mathbb{R}\rightarrow \mathbb{R}$ is continuous and ...
0
votes
1answer
37 views

Show that R is an equivalence relation on X for x, y in X iff f(x) = f(y)

$f:X→Y$ $x,y ∈ X,xRy$ iff $f(x) = f(y)$ Show that R is an equivalence relation on X. Also when $X = Y = \mathbb{R}$ and $f: \mathbb{R} \to \mathbb{R} $ with $x \mapsto x^2$ for all $x∈R$ find the ...
1
vote
1answer
26 views

A question on the 2-norm defined by $||x||_2=\sqrt{\sum\limits_{i=1}^n|x_i|^2}$

A question on the 2-norm defined by $||x||_2=\sqrt{\sum\limits_{i=1}^n|x_i|^2}$ I am trying to prove the triangle inequality of this norm. So far I have that: \begin{align} ...
0
votes
0answers
53 views

Does compactness preserve continuity? [closed]

Are all compact set continuous in a Banach space? I am clear that continuity preserves compactness, but not clear about the reverse, i.e. does compactness preserve continuity? If not, can someone ...
2
votes
1answer
24 views

Find a discontinuous linear map on $c_0$

I want to find a discontinuous linear map $\phi: c_0 \to \mathbb{C}$. where $c_0$ has sup norm obviously, $\|.\|_\infty$ I can't think of any example. please suggest me one. I ll try checking it ...
1
vote
1answer
21 views

Completion and Seprability of C[0$\infty$]

If I have C[0,$\infty$] the space of all continuous functions on [0,$\infty$] with metric $$ \phi(\omega_1, \omega_2) = \Sigma^{\infty}_{n=1} (1/2^n)*max_{0{\leq} t {\leq} ...
1
vote
0answers
21 views

A question on $ L^1(\mathbb{R})$.

Question- Let {$f_k$} be a sequence in $ L^1(\mathbb{R})$ such that $\sum\limits_{k=1}^\infty||f_k||_1<\infty$. Prove that the series $\sum\limits_{k=1}^\infty f_k$ converges in $L^1(\mathbb{R})$ ...
3
votes
2answers
24 views

prove T is continuous and find its norm.

question- Let $x\in l^2$. Prove that $Ty=xy=(x_1y_1,x_2y_2,...)$ defines a linear map from $l^2$ to $l^1$. Also show that T is continuous and find the norm ||$T$||. How can i show ...
1
vote
0answers
25 views

Soft Question: What are some elementary motivations of using functional analysis to study probability theory?

Recently i've become curious about the links between functional analysis and probability theory. What are some simple reasons why a functional analytic approach is preferable to a measure theoretic ...
1
vote
0answers
27 views

Approximating by smooth functions with compact support.

Consider a bounded domain $D \subset \mathbb{R}^n$ and the Sobolev space $H^1_{0}(D):=\overline{C_c^{\infty}(D)}^{W^{1, 2}(D)}$. Further, consider a Sobolev function which happens to be smooth: $u\in ...
5
votes
0answers
166 views
+50

Closest fixed point to a convex set

Consider the compact convex sets $Y \subset X \subset \mathbb{R}^n$, and a Lipschitz continuous function $f : X \rightarrow X$. Assume that $f$ has multiple fixed points. (From Brouwer's theorem, $f$ ...
2
votes
0answers
22 views

Stable/unstable manifolds

I have a question regarding construction of stable/unstable manifold for a given map. I am reading a paper by Lanford about his computer-assisted proof of Feigenbaum ...
1
vote
1answer
31 views

Can essentially bounded function take infinite value on measure zero set?

I know that $\|f\|_{\infty}=esssup_{x\in X}(f(x))$, which means we can neglect measure zero sets in our definition of essential supremum. I am comportable when the function is bounded on all points ...
4
votes
0answers
27 views

Differentiation in Besov-Zigmund spaces

This is my second question in a short time on Besov spaces. I apologize. I am having a rough time with them and I really need to understand this spaces quickly. The besov spaces ...
3
votes
1answer
46 views

If $T$ is self-adjoint, is the set of power series in $T$ closed?

If $T$ is a bounded self-adjoint operator on a Hilbert space, is the set of convergent power series in $T$ closed in the norm topology? I ask because I'm reading some spectral theorems and I was ...
0
votes
1answer
21 views

About a Property of maximal solutions of separable ODE's $y'=g(x)h(y)$ for locally Lipschitz $h : U\to\mathbb R$, $U$ open

Theorem: Let $\varphi : (a,b) \to \mathbb R$ be a maximal solution of the IVP $$ y'(x) = g(x) \cdot h(y(x)), \quad y(x_0) = y_0 \quad (1) $$ with continuous functions $g : I \to \mathbb R$ and $h : U ...
1
vote
1answer
43 views

proving Orthonormal basis

I have given a set of functions in $L^2\left(\left[-\frac{a}{2}, -\frac{a}{2} \right]\right)$ consisting of the following functions: $$u_{n}(x)=\sqrt{\frac{2}{a}}f_n(x),$$ where $f_n(x)= ...
0
votes
0answers
12 views

Does symmetric decreasing rearrangement of a smooth function preserves smoothness?

Let $A\subset \mathbb{R}^n$ a Borel set of finite Lebesgue measure. They define $A^*$ to be the ball centered at 0 with the same measure that $A$. The symmetric-decreasing rearrangement of ...
1
vote
1answer
33 views

Lipschitz constants of projections

Consider two compact sets $A, B \subset \mathbb{R}^n$. Assume that the projection mappings $P_A: \mathbb{R}^n \rightarrow A$, $P_B : \mathbb{R}^n \rightarrow B$ have Lipschitz constant $1$ and $L$, ...
6
votes
1answer
50 views

Which normed space have Fatou's property?

There is tool in mathematics, more specifically in Analysis, which has immense applications in handling delicates estimates, limiting arguments, etc... ; namely Fatou property. Let $E$ be a normed ...
0
votes
0answers
24 views

Fixed point of projected operator

Let $X \subset \mathbb{R}^n$ be a compact convex set and let $f: X \rightarrow X$ be Lipschitz continuous and such that $$ \left( f(x) - f(y) \right)^\top \left( x-y\right) \leq 0 $$ for all $x, y ...
2
votes
3answers
61 views

The “Circle” is a Vector Space?

Consider the set of angles $C = [0, \ 2\pi)$ and, for all $x,y \in C$, define the $sum$ operation as the sum modulo $[0, \ 2\pi)$. The identity element of the addition is the angle $0$. The inverse ...
1
vote
2answers
58 views

$2\pi$ in the Definition of Fourier Transform

Most textbooks I read define Fourier transform of a function $f \in L^2(\mathbb R)$ as $$ \hat f (\xi) := \int_\mathbb R f(x) e^{-2\pi i x \xi} dx. $$ However, in class my teacher defines it without ...
0
votes
1answer
33 views

Dense subset of $L^{2}$ such that $x^{-1/2}f \in L^{1}$ and $\int_{[0, 1]}x^{-1/2}f\, dx = 0$

Does there exist a dense set of functions $f \in L^{2}([0, 1])$ such that $x^{-1/2}f(x) \in L^{1}([0, 1])$ and $\int_{0}^{1}x^{-1/2}f(x)\, dx = 0$? I've noticed that $\int_{0}^{1}x^{-1/2}f(x)\, dx = ...
0
votes
0answers
39 views

Question about a theorem from Chang's book: Methods in Nonlinear analysis

I have this this theorem from Chang's book: Methods in Nonlinear analysis, with it's proof, but i don't understand it, for example what it means $K(f_{\sigma_i})$ ? Please help me thank you
1
vote
0answers
35 views

A proof for Jensen’s inequality

I’m trying to prove a version of Jensen’s inequality, but I end up with the wrong result. I’d appreciate any help or comments. The theorem states: let $\varphi :{{R}^{k}}\to R$ be convex. Then for ...
1
vote
1answer
34 views

Norm of the multiplication operator $f\mapsto (x\mapsto xf(x))$ on $L^2[a,b]$ [duplicate]

We have a linear operator $T : L^2[a,b] \rightarrow L^2[a,b]$ (with $|a| \le |b|$), $f \mapsto (x \mapsto xf(x))$ Now I shall determine what $\Vert T\Vert$ is. We clearly have $\Vert x \mapsto ...
3
votes
0answers
27 views

Every Cauchy net is convergent [duplicate]

Prove that in a Banach space every Cauchy net is convergent. I have trouble to prove this, please help.Thanks Edit:Let $A$ be a directed set and $\{f_{\alpha}\}_{\alpha\in A}$ is a net in $X$ ...
2
votes
1answer
46 views

Definition of exponential for operators

if I have a self-adjoint operator $T:D(T) \rightarrow L^2$, then I define its unitary exponential operator by $$e^{iT}(f) := \lim_{k \rightarrow \infty} e^{iT_{k}}(f),$$ where $T_k(f):=\frac{1}{2} ...
0
votes
1answer
29 views

Domain Schrödinger equation

If I have a self-adjoint (TIME INDEPENDENT) operator $H: D(H) \subset L^2([0,x]) \rightarrow L^2([0,x])$ with and I want to define the appropriate domain for $$ (Hf)(x,t) = i \partial_t f(x,t),$$ ...
1
vote
2answers
59 views

Proper domain for Laplacian

it is well known that the spherical harmonics are eigenfunctions to the 3D Laplacian(angular part). But my question is: What is the right domain for this operator so that we actually get these ...
2
votes
1answer
39 views

Limit of the p-norm of a function on subdomains equals the p-norm of the function on the union domain

Let $\Omega$ be an open subset in $\mathbb{R}^n$. Given a measurable function $f$, define $$ ||f||_{p,\Omega}=\inf_{a\in\mathbb{R}}||f-a||_{L^p{(\Omega})}. $$ Let $\{\Omega_n\}$ be a sequence of open ...
1
vote
0answers
38 views

amazing boundedness problem from maximal function

Let $n\geq 2$. For any $M>1$, prove that there exists a constant $C_M>1$ such that for any ball $B$ in $\mathbb{R}^n$, if we denote $MB$ as the concentric ball of $B$ with $M$ times radius of ...
0
votes
2answers
30 views

Space of bounded functions vs. bounded space of functions.

Suppose I have a bounded set of functions, say $B\subset C[0,1]$. What exactly does this mean? I.e. is a bounded set of continuous functions equivalent to a set of continuous bounded functions? For ...
1
vote
0answers
31 views

Different Formulations of Riesz' lemma

Version I: Let $U$ be a closed subspace of the normed space $X$ with $U \ne X$. Also let $0 < \delta < 1$, then there exists $x_{\delta} \in X$ with $||x_{\delta}|| = 1$ and $$ || x_{\delta} ...
1
vote
1answer
47 views

If holomorphic $\{f_n\}\to f$ uniformly on compact subsets of $U$, then do $f_n$ and $f$ eventually have the same number of zeros?

Let $U$ be an open subset of $\mathbb{C}$. Let $\{f_n\}$ be a sequence of holomorphic functions on $U$ such that $f_n\to f$ uniformly on any compact subset $K$ in $U$. Suppose $f$ is not constant, ...
2
votes
2answers
53 views

For holomorphic functions, if $\{f_n\}\to f$ uniformly on compact sets, then the same is true for the derivatives.

Let $\Omega$ be an open subset in $\mathbb{C}$. Let $\{f_n\}$ be a sequence of holomorphic functions on $\Omega$ such that $f_n\to f$ pointwise and converges uniformly on any compact subset ...
3
votes
1answer
57 views

Is $AA^*$ and $A^*A$ self-adjoint?

if I have a densely defined closed linear operator $A$ and $A^* = -A$(same domain also closed). Is this sufficient that $AA^*$ and $A^*A$ are proper self-adjoint operators, assuming that we can also ...
0
votes
1answer
29 views

Determining the semigroup and relating it to the generator via the functional calculus

In the theory of Hille Yoshida, we have a (definitely real) banach space $L$ and on it a contractive, strongly continuous semigroup of operators. ($T_tT_s=T_{t+s}$ and $T_0=I$.) We then define the ...
0
votes
0answers
35 views

Proving the existence of limit of an integral

Let $g:\mathbb{R}^d\to\mathbb{R}$ a smooth function and $B:\mathbb{R}^d\to\mathbb{R}^d$ a Lipschitz continuous vector field. I have to study the limit of the following integral ...
4
votes
2answers
106 views

Spectral theory - continuous spectrum

imagine that I have some differential operator $D$ that is defined on an interval $[a,b]$. Now, assume that we take the boundary conditions in such a way that this operator is self-adjoint. Then, I ...
2
votes
1answer
63 views

Sequence of orthogonal vectors in a Hilbert space

Let $\{x_n\}_{n\in\mathbb{N}}$ be a sequance of pairwise orthogonal vectors in a Hilbert space $H$. Show that the following are equavalent: (a) $\sum_{n=0}^\infty x_n$ converges in the norm topology ...
0
votes
2answers
42 views

Show Uniqueness of Solution for Boundary Value Problem

Let $G \subseteq R^n$ be a simple, connected and bounded region with smooth boundary and let $f : \overline G \to \mathbb R$, $g : \partial G \to \mathbb R$ be continuous. Show that the following ...
1
vote
1answer
47 views

Eigenvalues and Eigenfunctions of Integral Equation

Compute the eigenvalues and eigenfunctions of $$ \varphi(x) - \lambda \int_0^1 e^{x+s} \varphi(s) ds = f(x) $$ Are there functions $f$ such that the inhomogenous equation has for every real $\lambda$ ...