Functional analysis is the study of infinite-dimensional vector spaces, often with additional structures (inner product, norm, topology), with typical examples given by function spaces. The subject also includes the study of linear and non-linear operators on these spaces, as well as measure, ...

learn more… | top users | synonyms (1)

0
votes
1answer
38 views

How to write this down in a rigorous manner?

I'm studying Quantum Mechanics and there's something I'm in doubt in how to write it down in a rigorous way. The idea is: consider a Hilbert space $\mathcal{H}$ and one hermitian operator $A\in ...
0
votes
1answer
22 views

Compact operators on $L_p$

Consider $M_n(\mathbb{C})$ as $B(\ell_p^n)$ for $n\in\mathbb{N}$ where $p\in[1,\infty)$, and include $M_n(\mathbb{C})$ in $M_{n+1}(\mathbb{C})$ as the upper left corner. Is it true that ...
1
vote
1answer
9 views

Does continuity in one variable and locally Lipschitz in another imply uniformity in the first?

I understand the definition of Lipschitz functions when talking of functions of single variables. However, I have trouble understanding it when it is a multivariable function. Suppose $ f(t,x):D ...
0
votes
1answer
22 views

Show that $\phi_{y,\epsilon} \in D(\mathbb{R^m})$

For a fixed $y$ $$\phi_{y,\epsilon}(x)= \left\{ \begin{array}{ll} \exp(-\frac{\epsilon^2}{\epsilon^2-|x-y|^2}) & \mbox{if $|x-y| \lt \epsilon$};\\ 0 & ...
0
votes
1answer
46 views

Convergent Bounded Linear Maps

I'm not sure how to show that the composition of two convergent bounded linear maps converges to the composition of their limits. I've shown that the composition of bounded linear maps is a bounded ...
5
votes
3answers
129 views

How do I get $\|x\|\le C\|y\|$ in this case?

I feel that the title is a bit uninformative, please feel free to edit it. This is a problem related to the Open Mapping Theorem. Let $T:X\to Y$ be a bounded linear operator from a Banach space X to ...
1
vote
1answer
59 views

Fréchet derivative of $f(x) = x$

Im not sure how to find the Fréchet derivative of the function $f : \mathbb{X} \to \mathbb{X}$ given by $f(x) = x$, where $\mathbb{X}$ is a normed space. I'm not given the dimension of the normed ...
1
vote
0answers
10 views

$V(A)$ semi group of equivalent projections in $M_∞(A)$ cancelative?

I found in the book of Murphy, C*- Algebras and Operator Theory, the Theorem 7.1.2 : the semi group $V(A)$ of equivalent projections (under Murray Von Neumann equivalence) in $M_∞(A)$ is ...
1
vote
0answers
31 views

Compact abelian group and Continuous functions

If $G$ is a compact abelian group, $\widehat{G}$ is the dual group of $G$,i.e. all the continuous homomorphism from $G$ to $S^1$,$S^1=\{z\in \mathbb{C}\big | |z|=1\}$. Show that the linear span of ...
0
votes
0answers
40 views

Let $ (X,\mathcal{A},\mu)$ be a measure space. Prove that $L^\infty (X,\mu) $ is separable.

I tried to prove this but I couldn't. Help me please. Let $ (X,\mathcal{A},\mu)$ be a measure space. Prove that the following statements are equivalent: (i) $L^\infty (X,\mu) $ is separable. (ii) ...
4
votes
1answer
33 views

$\sigma$-algebra generated by weak topology in Hilbert Space

In general, if we have $H$ Hilbert space, and equipped with the weak topology, say $\tau^\ast$, is $\sigma(\tau^*)=\mathcal{B}$?, where $\mathcal{B}$ is the usual Borel $\sigma$-algebra I suspect it ...
1
vote
2answers
80 views

Why do we need to specify the domain of an unbounded operator?

I am learning about the fluid dynamics and I cam across the following phrase as I was reading about the Stokes operator on Wikipedia. "Since the Stokes operator is unbounded, we must give its domain ...
0
votes
1answer
24 views

Eigen values and self adjoin operator

Can someone give me a clue about how to solve the b part ? All I know is the self adjoint formula $$\langle ku,u\rangle = \lambda\langle u,u\rangle$$
3
votes
1answer
19 views

Showing that the map that takes $u_0$ to solution $u(t)$ is self-adjoint

Let $u$ and $v$ be the solution of the heat equation $$w'(t) - \Delta w(t) =0$$ with initial data $u_0$ and $v_0$ respectively, and with either homogeneous Dirichlet or Neumann BCs on a bounded domain ...
2
votes
1answer
34 views

Eigenvalue equation and separable solutions

Recently, studying Quantum Mechanics I found a doubt regarding separable solutions and eigenvalue equations for differential operators. Suppose we are considering some space $\mathcal{H}$ of functions ...
0
votes
1answer
37 views

A metric between functions on $\mathbb{R}^2$

I want to measure the distance between functions $f$ and $g$ (not necessarily continuous) on a bounded subset $M\subset\mathbb{R}^2$. I assume $f$ and $g$ are locally integrable and bounded on $M$. ...
0
votes
1answer
37 views

What is the name of the following partial differential operator?

What is the name of the following partial differential operator? $$\sum_{|\alpha| \leq n} a_\alpha (\frac{\partial}{\partial x})^\alpha$$ Thank you!
0
votes
0answers
29 views

Does this inequality imply a uniform $L^\infty$ bound?

Suppose I have the estimate for $t > 0$ $$\lVert u(t) \rVert_{L^\infty(\Omega)} \leq Ct^{-1}\lVert u_0 \rVert_{L^1(\Omega)}$$ for the solution $u$ of a parabolic PDE with initial data $u_0$ on a ...
1
vote
0answers
25 views

Galerkin formulation of 1D linear Schrodinger equation

I am interested in the weak (Galerkin) formulation of the 1D Schrodinger equation: $i u_t−\beta u_{xx}=0$ and $u(x,0)=u_0(x)$. As usual, we do integration by parts which yields: $i (u_t,v)+\beta ...
0
votes
1answer
25 views

How to prove $E\|Y'\|\leq E\|Y'-Y''\|,$ where $Y$ is a random matrix in $\mathbb{R}^{n\times n}$, and $Y'$, $Y''$ are independent copies of $Y$?

How to prove $$E\|Y'\|\leq E\|Y'-Y''\|,$$ where $Y$ is a random matrix in $\mathbb{R}^{n\times n}$, and $Y'$, $Y''$ are independent copies of $Y$; $\|\cdot\|$ denotes the $l_2$ operator norm;$E$ ...
0
votes
0answers
74 views

Continuous inclusions in Hilbert-Sobolev space $H^s(\mathbb{R}^n) \hookrightarrow \mathcal{E}^k(\mathbb{R}^n)$

I have to prove that $H^s(\mathbb{R}^n) \hookrightarrow \mathcal{E}^k(\mathbb{R}^n)$ with $s \in \mathbb{R}$, $k \in \mathbb{N}$ and $s-k > n/2$, where $\mathcal{E}^k(\mathbb{R}^n):=\lbrace u: ...
1
vote
2answers
27 views

Constancy of an integral function

Fix some $\ell\in\mathbb{R}^+$. Say that $f:\mathbb{R}^2\to\mathbb{R}_{\geq0}$ and $\mu:\mathbb{R}\to\mathbb{R}^+$ are functions satisfying the following: $f$ and $\mu$ are continuous. $f$ is ...
0
votes
1answer
58 views

Showing that $\displaystyle\underset{n\rightarrow \infty}{\lim}\int_0^1 f_n = \int_0^1\underset{n\rightarrow \infty}{\lim} f_n$

How to solve the following task: Show that if $f_n$ is a sequence of uniformly converging mappings $f_n \in C[0,1]$, where $C[0,1]=\{f:[0,1]\rightarrow\mathbb{R} \;\mid\; f\; ...
1
vote
1answer
49 views

support of an operator on a Hilbert space

Let $x\colon\mathcal{H}\to\mathcal{H}$ be a self-adjoint operator, the support $s(x)$ of $x$ is defined as the smallest projection $e\in B(\mathcal{H})$ such that $ex=xe=x$. Let $x=\int\lambda \, ...
-1
votes
2answers
41 views

Square root and polar decoposition [on hold]

Does every positive definite operator bounded (not necessary compact) has square root? A bounded operator, will AA* has square root(A need to be given compact) Does every bounded operator has polar ...
2
votes
1answer
28 views

Jones construction projections

Let M be a von Neumann algebra with faithful normal normalized trace tr. Let $\{ e_i | i=1,2,\dots \}$ be projections in M such that: $e_ie_{i \pm 1}e_i=\tau e_i $ for some $\tau \leq 1$ ...
2
votes
2answers
96 views

Is $C[0,1]$ reflexive?

I.e. is the embedding $C[0,1]\hookrightarrow \left( C[0,1] \right)^{**}$ surjective? I am having a hard time answering that question. It would be enough to find a closed subspace of $C[0,1]$ which ...
1
vote
1answer
18 views

can two Markov kernels be close in total variation and differ in their ergodicity properties?

This is a question inspired by a recent MCMC paper and linked to an earlier question of Sam Livingstone that did not get any answer. Given two Markov kernels $\mathfrak{K}$ and $\mathfrak{H}$ such ...
1
vote
0answers
19 views

Definition of essential spectrum?

Suppose we have a Hilbert space $\mathscr{H}$ and a bounded linear map $T\in\mathscr{B(H)}$ NOT necessarily self-adjoint. There seems to be loads of definitions of the essential spectrum of $T$. My ...
3
votes
2answers
39 views

Divergence of squared sum of Chebyshev Polynomials $\equiv L+R$ has empty point spectrum

The Chebyshev Polynomials of the second kind $U_n$ are the solutions of the differential equation $$(1-x^2)U_n''(x)-3xU_n'(x)+n(n+2)U_n(x)=0$$ Alternatively they are defined inductively: $$U_0(x)=1 ...
1
vote
2answers
42 views

The set of bounded continuous functions is a closed subspace of that of bounded functions

suppose S is a metric space and $B(S)$ is the set of bounded functions and $C_b(S)$ is the set consisting of bounded continuous functions. Prove that $C_b(S)$ is a closed subspace of $B(S)$. I ...
2
votes
1answer
65 views

Does $AB=(AB)^{\ast}$ and $A=A^{\ast}$ implies $B=B^{\ast}$?

Suppose that we have $AB=(AB)^{\ast}$ and $A=A^{\ast}$, does this implies that $B=B^{\ast}$? ($A^{\ast}$ is the Hermitian adjoint of $A$.) I have a feeling that they might not be equal in general. ...
3
votes
1answer
42 views

Prove a vector in $\ell^2(\mathbb{Z})$ is zero

Suupose we take a vector $\vec{c}\in\ell^2(\mathbb{Z})$ where $$c(i)=\sum_{k=1}^\infty\frac{c(-k+i)+c(k+i)}{k+1}$$ That is, every elements of the vector is a series with the other terms in $\vec{c}$. ...
1
vote
2answers
31 views

Finding distance of $h(t)=t$ from a closed subspace $Y$ of $\pi$-periodic functions in $L^2(-\pi,\pi)$

Let $Y=\{f\in L^2(-\pi,\pi):f(t-\pi)=f(t) \text{for almost all $t\in(0,\pi)$} \}$ Show that there exists $g\in Y$ such that $$\|h-g\|_2=\inf \{\|h-f\|_2:f\in Y\}$$ where $h(t)=t$. Compute ...
1
vote
4answers
62 views

Does a definite integral define a linear functional? [closed]

Would $\displaystyle\int_0^1 t^2x(t)\,dt$ be a linear functional? For each $x$ in $P$ the function $y$ is defined by $\displaystyle\int_0^1 t^2x(t)\,dt$. I have to show that $y(ax+bz) = ay(x)+by(z)$. ...
1
vote
1answer
34 views

$L^2$ convergence by the sequence of domain

Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Assume $u\in L^\infty(\Omega)$. We know a sequence $u_n\in L^\infty(\Omega)$ such that $$ \sup_{n}\|u_n\|_{L^\infty}<+\infty $$ ...
0
votes
2answers
47 views

Continuity of a function between metric spaces

I want to show: Let $(X,d)$ be a metric space and $A \subset X$ be a closed subset. Define $f: X \to \mathbb{R}$ by $$ f(x) = d(x,A) := \inf_{y\in A}d(x,y), \phantom{.} \forall x \in X.$$ Show ...
2
votes
0answers
51 views

Suppose $\{f_n(x)\}$ is a sequence in $C[a,b]$ such that for every $x \in [a,b]$ there exists a $M_x$ such that $|f_n(x)|<M_x, n\in \{1,2,3,\cdots\}$

Suppose $\{f_n(x)\}$ is a sequence in $C[a,b]$ such that for every $x \in [a,b]$ there exists a $M_x$ such that $|f_n(x)|<M_x, n\in \{1,2,3,\cdots\}$ Prove that there exist a $c,d \in [a,b]$ with ...
1
vote
1answer
33 views

Proof $\mathcal{C}^1(-1,1)$ is not a closed subspace of Sobolev space $H_0^1 \left[-1,1\right]$

Give a sequence of functions $\varphi_n\in \mathcal{C}^\infty(-1,1)$, Cauchy with respect to the Sobolev space $H^1_0$ norm $$|| \varphi||_1=\sqrt{\int_{-1}^1 (\varphi')^2+\int_{-1}^1 \varphi^2}$$ ...
0
votes
0answers
16 views

Can we attach a space with discrete signal?

This question refers to the link https://en.wikipedia.org/wiki/Space_(mathematics) and https://en.wikipedia.org/wiki/Discrete-time_signal. My question is how can we associate a discrete signal with a ...
7
votes
1answer
156 views

Convergence of Riemann sums of a periodic function

Short version for people who don't like reading: Let $f\colon\mathbb{R}\to\mathbb{R}$ be $1$-periodic, measurable and bounded. Is it true that, for almost all $x$, the average of $f(x)$, ...
1
vote
2answers
40 views

showing projection is a linear operator

Show that the orthogonal projection is linear. Let $x_i=y_i+z_i$, where $x_i\in X$, $y_i\in Y$, $z_i\in Y^\perp$, and $\alpha,\beta$ be scalars. Then \begin{align}P(\alpha x_1+\beta ...
-1
votes
1answer
38 views

How to calculate second norm in functional analysis? [closed]

I want to know second norm of $||x-y|| ^ 2$ is the same as $(x-y) ^ 2$?
0
votes
1answer
15 views

If $W = \{ (y_{n}) \in c_{0} : \ y_{1}+y_{2}+y_{3}=0\}$ what is $\operatorname{dim}(c_{0}/W)$?

Let $c_{0}$ be the space of sequences which converge to $0$. Let $W$ be a subspace of $c_{0}$ defined as $$W =\bigl\{ \{y_{n}\} \in c_{0} : \ y_{1}+y_{2}+y_{3}=0\bigr\}$$ How does one calculate the ...
3
votes
2answers
48 views

Intuition behind: Integral operator as generalization of matrix multiplication

So I am teaching myself more in-depth about integral operators and every once and awhile I see this little 'factoid', that integral operators are generalizations of matrix multiplications. In ...
0
votes
1answer
32 views

Epsilon delta proofs of theorems of continuity

Can anyone suggest a book which contains epsilon delta prooves for properties and theorems of continuity rather than sequential proofs.
0
votes
1answer
55 views

Self-adjoint extensions of symmetric linear differential operators

Are they general techniques to determine the sef-adjoint extensions of a symmetric linear differential operators in 2 variables with (real) variable coefficients? Any suggestions for references? ...
0
votes
1answer
31 views

distance in Hilbert space

W is closed and convex subset of Hilbert space $H$. Suppose $x\in H$, $x_0\in W$. I am trying to proof, that $d(x, W) = ||x-x_0||$ iff $\Re(<x-x_0, y-x_0>)\le 0$ for all $y\in W$. Could anyone ...
1
vote
0answers
23 views

How do we prove that a specific kernel is positive definite (case of logarithm)?

I have a problem proving that some specific kernels are positive definite. In general, I can find the answer quickly enough but here I have a specific case involving a logartihm : ...
2
votes
1answer
41 views

Not all norms are equivalent in an infinite-dimensional space

How to prove that not all norms are equivalent in an infinite-dimensional vector space? In particular, I would like to prove that for a space $X$ of continuous real-valued functions defined on ...