For question involving Hilbert spaces, that is, complete normed spaces whose norm comes from an inner product.

learn more… | top users | synonyms

2
votes
1answer
25 views

Kernel of the Extension of a Bounded Linear Operator

Suppose $T\colon E\to F$ is a bounded linear operator between Banach spaces. Moreover let $i\colon E\to E’$ be a dense, compact inclusion of $E$ into some other Banach space $E’$. Finally assume that ...
10
votes
2answers
1k views

The direct sum of two closed subspace is closed? (Hilbert space)

I know that if $X$ is a Banach space, then, the direct sum of two closed subspace $X_1$ and $X_2$ is not necessarily closed. But what if $X$ is Hilbert? I assume there is something to do with the ...
4
votes
0answers
34 views

Find a relationship between $\hat f$ and $\hat g$, given $g(x)=\int^{x+1}_x f(t)\,dt$, $f\in L^2(\mathbb R)$,

Given $f\in L^2(\mathbb R)$ and $g(x)=\int^{x+1}_x f(t)\,dt$ (a) Relate $\hat f$ and $\hat g$ (b) Prove $g\in H^1(\mathbb R)$ Part A: $$\hat g(k)= \int^{\infty}_{-\infty} \int^{x+1}_{x} ...
2
votes
1answer
36 views

If a compact operator satisfies $T^nx\to0$ weakly for all $x$, then $\|T^n\|\to0$

Let $H$ be a real Hilbert space, $T:H\to H$ be a compact operator. Suppose that for every $x\in H$, sequence $(T^n x)_{n\in \mathbb{N}}$ converges weakly to $0$. How to prove that $ ...
2
votes
1answer
41 views

Chain of closed subspaces in a Hilbert Space

Let $H$ be a separable Hilbert Space (WLOG, we may assume $H=\ell_2(\mathbb{N})$ is the space of square summable sequences). Can there exist an uncountable chain of closed subspaces? In other words, ...
1
vote
1answer
33 views

What is the difference between an isometric operator and a unitary operator on a Hilbert space?

It seems that both isometric and unitary operators on a Hilbert space have the following property: $U^*U = I$ ($U$ is an operator and $I$ is the identity operator) What is the difference between ...
4
votes
1answer
45 views

Does $S^\bot+T^\bot = (S\cap T)^\bot$ hold in infinite-dimensional spaces?

If $S$ and $T$ are subspaces of some finite-dimensional inner product space then $$S^\bot+T^\bot = (S\cap T)^\bot.$$ See, for example, this post or this post Does it hold in infinite-dimensional ...
1
vote
0answers
68 views

Conditions for the commutator of two operators on a Hilbert space to not be a nonzero scalar operator

I have shown a proposition: Suppose $A$ and $B$ are two linear operators on a (complex) Hilbert space, where the domains may not be the whole. Then, if either $A$ or $B$ is normal and has an ...
2
votes
1answer
22 views

Role of metric in the matrix representation of Hermitian adjoint

I'm working through Jeevanjee's "An Introduction to Tensors and Group Theory for Physicists", and while trying to prove that the matrix representation $M(A^\dagger)$ of a Hermitian adjoint $A^\dagger$ ...
2
votes
1answer
33 views

Show that the trace class operators on a Hilbert space form an ideal

Let $(H, (\cdot, \cdot))$ be a separable Hilbert space over $\mathbb{L} = \mathbb{R}$ or $\mathbb{C}$. Suppose that $\{\phi_n\}_{n=1}^\infty$ is an orthonormal basis for $H$. Let $\mathcal{B}(H)$ ...
-1
votes
1answer
34 views

Uniqueness for solution of an operator equation on a Hilbert space [closed]

Let $X$ and $Y$ be Hilbert spaces and let $A:X \to Y$ be a continuous linear operator. I want to show that $$Au = 0$$ implies that $u=0$. (I already know $A0=0$). I want to know what kind of tricks ...
4
votes
1answer
42 views

For a Hilbert space $\mathcal{H}$, is every bounded linear operator on $\mathcal{H}$ a linear combination of unitary operators?

Let $(\mathcal{H}, (\cdot, \cdot))$ be a Hilbert space, and let $B \in \mathcal{B}(H)$ be a bounded linear operator on $H$. If $\mathcal{H}$ is a complex Hilbert space, then $B$ can be written as a ...
2
votes
1answer
21 views

Proving a particular subset of a Hilbert space is a subspace

I have a small question please, how to prove that this set: $F=\lbrace h\in H, \langle f''(u)h,h\rangle <0\rbrace$ is a sub space of the Hilbert space $H$, where $f''(u)$ is a self-adjoint ...
1
vote
0answers
29 views

Spectral decomposition of a Hilbert space

I have this proof, but I don't understand how they do the spectral decomposition of $H$ into $H_-$and $H_+$? Please help me. Thank you.
1
vote
0answers
168 views

Is a closure of subspace N and and orthogonal complement of this subspace N orthogonal?

Ok, there is something I do not understand about what I run into today in an online document. I know it might sound simple but I am so new to topology so I am having hard time to understand. As we ...
1
vote
1answer
33 views

Prove that a Hilbert space is convex of power type $2$

Let $X$ be a Banach space. For $\epsilon \in (0,2]$, define: $$\delta_X(\epsilon) = \inf_{x,y \in X}\{1 - \|\frac{1}{2}(x + y)\| : \|x\| = \|y\| = 1, \|x-y\| \ge \epsilon\}.$$ Then we say that $X$ ...
0
votes
0answers
16 views

Eigenvalues of correlation matrices in the limit of infinite dimensions

Consider a continuous function $f(x,t)$ with $x\in X$ and $t\in[0,1]$, then one may define a series of functions $f_n\in\mathbb{R}^n$ defined naturally as $f_n(x)_i=f(x,i/n)$. Now compare the ...
0
votes
1answer
25 views

Square Summable functions

Can somebody please help me understand the notion of square summable functions intuitively?? I have been self studying Hilbert Spaces and Fourier Transform for DSP. Any help is appreciated. Thanks.
1
vote
1answer
28 views

Prove that a linear and continuous operator admits inverse in Hilbert space

Let $(H,(\cdot,\cdot))$ an Hilbert space and $A:H\rightarrow H$ a linear and continuous operator such that there exists $\alpha >0$ such that $$(Au,u)\geq \alpha \|u\|^2 \text{ for each } u\in H.$$ ...
1
vote
1answer
24 views

Skew-adjoint differential operator $B$ with spectrum $\sigma(B)=i(-\infty,-1]$

Consider the Hilbert space $X=L^{2}\left(\mathbb{R}^n\right)$ and the Schrödinger operator $A=i\Delta$ defined on the domain $D(A)=H^2(\mathbb{R}^n)$. It is known that the spectrum of $A$ is ...
0
votes
1answer
63 views

Formulas for Schrödinger unitary groups of operators

Let $\Omega$ an open set of $\mathbb{R}^n$. Consider the Hilbert space $X=L^{2}\left(\Omega\right)$ and the Schrödinger operator $A=i\Delta$ defined on the domain $D(A)=H^2(\Omega)$. Is there any ...
-1
votes
0answers
49 views

Inseparable Hilbert space and uncountable orthonormal basis construction

I need help with exercise 13 from Methods of Modern Mathematical Physics I by Simon and Reed, chapter 2. Using direct sums, construct an inseparable Hilbert space and an uncountable orthonormal ...
1
vote
1answer
37 views

Relation between $\epsilon$-pseudospectrum of operators

If $H$ is a Hilbert space and $\sigma_{\epsilon}(T)$ denotes the space of all $\epsilon$-pseudospectrum of the operator $T$ and $S, T\in B(H)$ be such that $TS=ST=0$, why ...
1
vote
1answer
32 views

Hilbert Space: Weak Convergence implies Strong Convergence

This probably might be a duplicate - let me know if so. I read the following in Graf's notes on quantum mechanics - can you give me a hint for the proof. In Hilbert spaces weak convergence in a way ...
0
votes
1answer
23 views

Weakly sequentially continuous operators in Hilbert space are norm continuous.

Suppose I have a linear operator T from a Hilbert space H to itself, and T maps every weak convergent sequence to a weak convergent sequence. Show that T is continuous. I feel that this statement ...
1
vote
0answers
43 views

Prove that operator is completely continuous

Let's consider Banach space $\ell^\infty$ of bounded sequences $x = \{ \xi_n\}_{n=1}^\infty$: $$ ||x|| = \sup_{n \in \mathbb N} |\xi_n|. $$ Suppose matrix $||a_{i j}||_1^\infty$ specifies operator $A$ ...
0
votes
1answer
21 views

Riesz (Hilbert-space) representation theorem and dirac delta on $\mathcal{C}_{0}$

I am thinking about this for a while now, but don't get near an understanding, so I must have gotten something important wrong. I look at $\mathcal{C}_{0}$, the space of countinuous (bounded) ...
1
vote
1answer
35 views

Weak convergence plus strong convergence

Let $H$ be a Hilbert space and let $(x_n), (y_n)$ be sequences in $H$ such that $(x_n)$ converges strongly to $x$ and $(y_n-x_n)$ converges weakly to 0. I can show that $(y_n)$ converges weakly to ...
1
vote
1answer
73 views

How to find all isometries of Hilbert space?

We know all isometries of $\mathbb R^n $ are composition of transfer by orthogonal linear functions. How to find all surjective isometries of Hilbert space? Is there similarity?
2
votes
1answer
150 views

Compute operator norm by image on orthonormal basis

Let $e_n$ a orthonormal basis for a Hilbert space and $T$ a bounded linear operator. Is the following correct? $$\lVert T \lVert^2 \leq \sup_{n \in \mathbb{N}} \sum_{k \in \mathbb{N}} |\langle ...
2
votes
0answers
25 views

difference between uniformly convex norms and strictly subadditive norms?

What is the difference between uniformly convex norms and strictly subadditive norms? why we need to define two above concept? how they help us to study Banach spaces? Is the norm induced by ...
2
votes
1answer
41 views

Global bounded solution of $u_{tt}=\Delta u-mu+h$ in the Hilbert space $X=H_{0}^{1}\left(\Omega\right)\times L^{2}\left(\Omega\right)$

Let $\Omega$ be an open subset of $\mathbb{R^n}$. Consider the linear wave equation $$\begin{cases} \dfrac{\partial^{2}}{\partial t^{2}}u\left(t,x\right)=\Delta ...
2
votes
1answer
56 views

Does projection onto a finite dimensional subspace commute with intersection of a decreasing sequence of subspaces: $\cap_i P_W(V_i)=P_W(\cap_i V_i)$?

Let $V$ to be an infinite dimensional linear space over some field $k$. (you can take $k=\mathbb{C}$, or further assume $V$ is a complex Hilbert space). And assume $W$ is a finite dimensional ...
1
vote
3answers
57 views

Prove that if $T=T^*$ and $\sigma(T)=\{\lambda\}$, then $T=\lambda I$

Show that if $T$ is a self adjoint linear operator on a Hilbert space such that the spectrum contains a single point $\lambda$, then $T=\lambda I$. Then, show this is false if $T$ is not self ...
1
vote
2answers
80 views

Physical interpretation of L1 Norm and L2 Norm

In signal analysis, students have no qualms about associating the L2 norm of a square integrable function f(t) as the energy associated with that signal. A good understanding of whether a function ...
2
votes
2answers
67 views

Properties of a set in $\ell^2$ space

Let $\ell^2 = \{x= (x_1,x_2,x_3,\ldots): x_n\in \mathbb C\text{ and } \sum_{n=1}^\infty |x_n|^2 < \infty\}$ and $e_n \in \ell^2 $ be the sequence whose $n$-th element is 1 and all other elements ...
3
votes
2answers
59 views

Properties of reflexive Banach spaces

I just want to see the importance of reflexive Banach spaces and what is special about them compared to other Banach spaces. What kind of properties hold in reflexive spaces that do not necessarily ...
5
votes
1answer
66 views

Show that a subspace of l2 is not complete

I would like to know if this exercise is correct. Let $\Bbb R^\infty=\{x:\Bbb N\rightarrow \Bbb R: \exists n \text{ such that}\quad x(k)=0 \quad \forall k\geq n\}$. Show that $(\Bbb R^\infty, \| ...
2
votes
1answer
51 views

Maximal subspace on which an operator is bounded

Consider the Banach space $X=C[0,1]$ of real continuous function on $[0,1]$ equipped with the supremum norm. Consider the operator $A:D(A)\to X$, $Af=f'$ for each $f\in D(A)=C^1[0,1]$. We can see that ...
0
votes
2answers
42 views

Strongly continuous semigroup of operators which cannot be extended to a group

Let $X$ be a Banach space. We call a family of bounded operators $(T(t))_{t\in \mathbb{R}}$ a strongly continuous group if it satisfies the properties of the strongly continuous semigroup but for ...
1
vote
1answer
28 views

How to prove the 'uniform summability' of a Cauchy sequence?

I have an exercise given by the teacher and I'm pretty sure that this proof is not hard, but I don't have idea how to approach it. I have to prove the 'uniform summability' (this name was used by ...
1
vote
1answer
19 views

Spectrum of adjoint bounded linear operator on hilbert space

I have been struggling to analyse the spectrum of the adjoint of a bounded linear operator on a hilbert space. Throughout the internet I have found vague references that $\sigma(T^*) = \sigma(T)$ but ...
2
votes
0answers
35 views

Prove $|(f, g)| \leq \int |f \bar g|$ for Complex Cases

Let $f, g$ be $\mathbb C$-valued functions defined on $\mathbb R$ and $f, g \in L^2$. To prove the inequality in this title, I proceed as follows but got a weaker bound. Recall that $\mathrm{Re}\ a ...
5
votes
1answer
185 views

The sup norm on $C[0,1]$ is not equivalent to another one, induced by some inner product

Let $\mathrm{C}[0,1]$ be the space of continuous functions $[0,1]\rightarrow \mathbb{R}$ endowed with the norm $||x||_{\infty}=\mathrm{max}_{t\in [0,1]}|x(t)|$. It is easy to verify that this norm is ...
7
votes
4answers
2k views

A linear operator on a finite dimensional Hilbert space is continuous

How do I show that a linear function from a Hilbert space $H$ to itself is continuous if $H$ is finite dimensional? Also, what would be an example of a linear function from a Hilbert space to itself ...
1
vote
0answers
23 views

Helffer-Sjöstrand-Formula: Idea behind?

I have to present the Helffer-Sjöstrand-Formula. Now I'm wondering: Why does it include a factor $\chi(y\langle x\rangle^{-1})$ for some bump function $\chi$ and the chinese symbol ...
3
votes
0answers
77 views

Positive Operators: Definition?

Let $A$ be a self adjoint element of a C*-algebra $\mathcal{A}$ resp. a self adjoint operator of the operator algebra $\mathcal{B}(\mathcal{H})$ of bounded operators over a Hilbert space ...
1
vote
0answers
24 views

Convergence of this priori error in FEM?

Problem My attempt I think h is the size of the mesh. C is a constant which probably depends on the size of the mesh, I think. I think the error converges linearly and dependent on the size of ...
1
vote
1answer
30 views

Is there exists linear algebra basis for $L^2[0,1]$ such that every element of it has length one and every two different element of it is orthogonal?

We know by using axiom of choice every vector space over a division ring ( consequently any field ) has a basis like $\mathbb E$ in the meaning of linear algebra ( $\mathbb E$ is linear independent ...
2
votes
1answer
23 views

Confusion related to reproducing kernels

I was reading this paper and I came across Reproducing Kernel Hilbert Space. I tried to read some references related to it. However, I couldn't understand much. I didn't get why they are called ...