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

learn more… | top users | synonyms

6
votes
1answer
80 views

$\sin$ and $\cos$ are the basis of what space?

When learning Fourier expansions, we learn that $\{\sin(mx), \cos(mx)\}_{m \in \Bbb N}$ is an orthonormal basis for our space and thus we can expand functions in it. My question is what space is this ...
0
votes
0answers
23 views

Cauchy sequence in reproducing kernel Hilbert space

Consider a positive definite kernel $K:\mathbb N\times \mathbb N\rightarrow \mathbb R$. Denote the unique RKHS associated with $K$ by $\mathcal H_K$. The RKHS $\mathcal H_K$ consists of \begin{align} ...
1
vote
0answers
38 views

$P$ and $Q$ are unitarily equivalent iff dimensions of ranges and kernels are the same

Two projections $P,Q$ are unitarily equivalent if and only if $$dim(randP)=dim(ranQ)$$ $$dim(kerP)=dim(kerQ)$$ How can we show this? One directionn seems easy: If $P$ and $Q$ are unitarily eqv, ...
1
vote
1answer
65 views

How do I prove a differential operator has no purely imaginary eigenvalues?

Anyone who has taken a course in linear algebra knows how to prove the eigenvalues of a self-adjoint operator are real or the eigenvalues of a skew-self-adjoint operator are purely imaginary. This is ...
5
votes
2answers
63 views

Prob. 8, Sec. 3.5 in Erwin Kreyszig's Introductory Functoinal Anlaysis With Applications

Erwin Kreyszig's Introductory Functoinal Anlaysis With Applications Prob. 8, Sec. 3.5 $\DeclareMathOperator{\span}{span}$Let $(e_k)$ be an orthonormal sequence in a Hilbert space $H$, and let $M = ...
0
votes
2answers
45 views

A question about Fourier coefficients.

Is it true that the sequences $ (A_{n})_{n \in \Bbb{N}} = (0)_{n \in \Bbb{N}} $ and $ (B_{n})_{n \in \Bbb{N}} = \left( \dfrac{1}{\sqrt{n}} \right)_{n \in \Bbb{N}} $ are the Fourier coefficients of ...
0
votes
0answers
9 views

Existence of Schauder base for given operator

Suppose $A: l_2 \rightarrow l_2$ is a finite-rank linear bounded operator of dimension $k$. Is it true that there exists a Schauder orthonormal base for which only first $k$ columns will be nonzero ...
0
votes
1answer
24 views

is $\langle\lim_{n\to \infty}u_n,g\rangle = \lim_{n\to\infty} \langle u,g\rangle $ valid for bounded linear operators?

Suppose M is any linear manifold in H. H is a hilbert space. Define the orthogonal complement of M to be $$M' =\{f \in H | \langle f,g\rangle= 0 ,\forall g\in M\}.$$ To see that M' is a closed ...
-1
votes
0answers
18 views

Singular Spectrum: Techniques?

Given a Hilbert space $\mathcal{H}$. Let the Lebesgue measure be $\lambda$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Denote its spectral measure by: ...
0
votes
0answers
14 views

Are all linear basis functions a reproducing kernel hilbert space?

Do any linear basis function like for instance linear b-splines form a reproducing kernel hilbert space? is it sufficient for the kernel to be semi-positive definite and have a positive Fourier ...
10
votes
1answer
85 views

Theoretical Basis for Eigenvalue transformation on Bessel's Equation

The method I've been taught for finding all of the eigenvalue solutions to Bessel's operator $$b(f)\equiv f''(x)+\frac{1}{x}f'(x)$$ goes as follows. Let $g(a)=f(\sqrt{\lambda}x)$. Then $$b(g)=\lambda ...
5
votes
1answer
178 views

Proof involving strongly continuous semigroups.

Let $ (T(t))_{t \geq 0} $ be a $ C_{0} $-semigroup on a Hilbert space $ X $ with an infinitesimal generator $ A $, and let $ \rho \in (0,1) $. I want to prove that $ \displaystyle \sup_{t \geq 0} \| ...
3
votes
0answers
52 views

Prove that $\bigcap_n K_n \neq ∅$.

Let $H$ be a Hilbert space. Discuss the validity of the following statement: If ${K_n}$ is a decreasing sequence of nonempty, bounded, closed convex sets in $H$, then $\bigcap_n K_n \neq ∅$. ...
3
votes
1answer
117 views

How to prove $\mathcal{L}^2[(0,1)]$ is a Hilbert Space

Let $\mathcal{L}^2[(0,1)]$ denote the set of $\mathbb{C}$-valued square integrable functions on the interval [0,1]. Prove that $\mathcal{L}^2[(0,1)]$ forms a Hilbert Space. I believe that I can ...
0
votes
1answer
60 views

How can I prove the following theorem with explanation? please

How can I prove the following theorem with explanation. please For any nonempty subset $M$ of a Hilbert space $H$, the span of $M$ is dense in $H$ if and only if $M^{\perp}=\{0\}$ I read the prove ...
0
votes
1answer
44 views

Reducing Subspaces: Domain

Problem Given a Hilbert space $\mathcal{H}$. Consider a closed operator: $$T:\mathcal{D}(T)\to\mathcal{H}:\quad T=\overline{T}$$ Regard a closed subspace: ...
2
votes
1answer
36 views

If I want to prove that $M^{\perp}$is a closed

If I want to prove that $M^{\perp}$is a closed Can I say because it is the inverse image of $0$ by continuos function ( projection operator )
0
votes
1answer
37 views

Spectral Measures: Restriction

This thread is just a note. Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ Denote its spectral measure by: ...
1
vote
1answer
19 views

ONB of Hilbert dual $H'$

Let $H$ an arbitrary Hilbert space, $\{ e_i \}_{i \in I}$ ONB of $H$. Is there an ONB $\{ e^j \}_{j \in I}$ of the Hilbert dual $H'$, s.t. $e^j(e_i)=\delta_{ij}$? If so, is $\{e_i \otimes e^j\}_{i,j ...
2
votes
1answer
30 views

Proving that this space is not Hilbert.

Consider $E$ the space of all the functions defined on $\Bbb R$ which admit a representation of the form $x(t) = \sum_{r \in \Bbb R}^* c_r e^{irt}$, where $\sum^*$ indicates that only a finite number ...
1
vote
1answer
32 views

check if a linear operator is bounded

show that $Tf = f(0)$ is not a bounded linear functional on the space of continuous functions measured with the L2 norm, but it is a bounded linear functional if measured using the uniform norm. ...
0
votes
1answer
15 views

Diagonal non-compact operator

Suppose we have an operator $I:l_2 \rightarrow l_2$ which is diagonal but not compact. Does that follow: there exists a constant $C$ such that infinite number of diagonal terms $>C$?
1
vote
0answers
15 views

Dual of Riesz basis with opt. stab. const. $\lambda_\min$, $\lambda_\max$ has opt. stab. const. $\frac1{\lambda_\max}$ and $\frac1{\lambda_\min}$.

Consider a Hilbert space. Consider a Riesz basis $\phi_k$, $k \in \mathcal{K}$ of this space, where $\mathcal{K}$ is an appropriate set of indices. By definition, the Riesz basis fulfils the ...
1
vote
1answer
48 views

Distance between Unilateral shift and invertible operators.

I want to prove that the distance between unilateral shift and normal operators is $1$. But I need to prove that $d(S,\operatorname{Inv}(L(H))= 1$, where $H$ is a Hilbert space. Does anyone have any ...
0
votes
1answer
27 views

Is it true that $M$ is complete?

If $H$ is a Hilbert space and $M$ is a nonempty,closed, bounded and convex subset(not necessarily a subspace)of $H$, then is it true that $M$ is complete? If it is, then can we use it without proof? I ...
1
vote
0answers
24 views

Hamiltonian: Commutator

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ and an operator: $$A:\mathcal{D}(A)\to\mathcal{H}:\quad A=A^*$$ Denote for shorthand: ...
-2
votes
0answers
36 views

resource on integral operators

Can you please suggest for me a good resource on integral operators.These are the specific topics that I am looking for: Bounded linear operators in hilbert space. Compact operators Spectral theory ...
0
votes
3answers
48 views

Selfadjoint Operators: Sesquilinear Form (II)

Given a Hilbert space $\mathcal{H}$. Consider a positive form: $$s:\mathcal{D}\to\mathcal{H}:\quad s(\varphi,\varphi)\geq0$$ Introduce its form space: ...
0
votes
1answer
27 views

Selfadjoint Operators: Sesquilinear Form (I)

Given a Hilbert space $\mathcal{H}$. Consider a dense positive form: $$s:\mathcal{D}\times\mathcal{D}\to\mathbb{C}:\quad s(\varphi,\varphi)\geq0\quad(\overline{\mathcal{D}}=\mathcal{H})$$ Construct ...
1
vote
0answers
12 views

Concentration of measure of inner product in Hilbert space?

In the finite dimensional Hilbert space of quantum mechanics (one where all vectors have norm one), is a concentration of measure phenomenon observed with the inner product of any two vectors? That ...
0
votes
1answer
30 views

approximation of $x^2$ in hilbert spaces

use the least squares to find the best linear approximation to $f(x)=x^2$ on [-1,1]. that is find the line $y=a_0+a_1x$ that minimizes $\int_{-1}^1|f(x)-y(x)|^2$ solution I used the theory of ...
0
votes
3answers
65 views

show that $l^2$ is a Hilbert space

Let $l^2$ be the space of square summable sequences with the inner product $\langle x,y\rangle=\sum_\limits{i=1}^\infty x_iy_i$. (a) show that $l^2$ is H Hilbert space. To show that it's a ...
7
votes
2answers
108 views

The spectrum of a self-adjoint operator on $\mathcal l^2$

Let $S$ be the unilateral shift operator on $\mathcal l^2$ (which shifts one place to the right) and $S^*$ its adjoint, the backward shift (which shifts one place to the left). I've been trying to ...
0
votes
0answers
13 views

Concerning projections and hilbert spaces [duplicate]

Suppose $H$ is a Hilbert space and $L $ a subspace of $H$. LEt $\prod$ be projection onto $L$. How is it possible that we can always find a unique element $\prod y$ in $L$ so that $\langle \prod y, z ...
0
votes
1answer
45 views

Show that $(S^\perp)^\perp=\overline {\operatorname{span}(S)}$ .

Let $H$ be a Hilbert Space. $S\subseteq H$ be a finite set .Show that $(S^\perp)^\perp=\overline {\operatorname{span} (S)}$ . Now $\operatorname{span}(S)$ is the smallest set which contains $S$ and ...
0
votes
1answer
17 views

An orthonormal system is total if and only if

Let $H$ be a Hilbert space over a field $\mathbb K$. Prove that an orthonormal system $\{a_n\}_{n=1}^{\infty}$ in $H$ is total if and only if: $\forall$ $x \in H$, the following holds: ...
0
votes
0answers
23 views

Almost sure closeness of random elements in a Hilbert space

Suppose I have a probability space $(\Omega,\mathscr{F},\mathbb{P})$ and a probability measure $\eta$ on a separable Hilbert space $H$ endowed with the Borel $\sigma$-algebra $\mathscr{B}$ arising ...
3
votes
1answer
31 views

Proving that a subspace of $L^2$ is closed.

Suppose $Z$ is a random variable on a probability space $(\Omega, F, P)$. $M(Z)$ is the subspace of $L^2$ consisting of all random variables in $L^2$ which can be written in the form $\phi(Z)$ for ...
0
votes
2answers
43 views

Polarization Identity: Sesquilinearity

Given a vector space $X$. Construct the forms: $$q_s[x]:=s(x,x)\quad s_q(x,y):=\frac{1}{4}\sum_{\alpha=0\ldots3}i^\alpha q[i^\alpha x+y]$$ It is an identification: ...
3
votes
1answer
169 views

Showing that the space of Hilbert-Schmidt operators form a Banach space.

How do i show that the set of Hilbert-Schmidt operators $HS(H) = \{T \in B(H) \; : \; \sum^{\infty}_{n=1}\|Te_n\|^2 < \infty \}$ for some countable ONB $\{e_n\}$, on a separable Hilbert Space ...
0
votes
1answer
29 views

What is the dual of $H^{-1}(\Omega)$?

The dual of $H^1_0(\Omega)$ is defined to $H^{-1}(\Omega)$. But what is the dual of $H^{-1}(\Omega)$? Is it $H^1_{0}(\Omega)$? I am solving a problem which requires me to use the dual of ...
0
votes
0answers
72 views

A question on functional analysis

Let $H_i$, where $i = 1,2$ be Hilbert spaces and $T_i : H_i \rightarrow H_i$ be closed operators, such that $T_i$ have positive spectrum. Let $\phi : H_1 \rightarrow H_2$ is an isometric isomorphism ...
1
vote
1answer
62 views

Invariant subspaces in a Hilbert space

Can someone please help me to answer the following problem? Let $(e_k)$ be a total orthonormal sequence in a separable Hilbert space $H$ and let $T: H \to H$ be defined at $e_k$ by: $T(e_k) = ...
0
votes
1answer
18 views

Prove that $\int_{\mathbb{R}}x^me^{2ax}e^{-x^2/2}=e^{2a^2}\int_{\mathbb{R}}(x+2a)^me^{-x^2/2}$

As the title indicates, I've been trying for quite some time now to prove that $$\int_{\mathbb{R}}x^me^{2ax}e^{-x^2/2}=e^{2a^2}\int_{\mathbb{R}}(x+2a)^me^{-x^2/2}$$ $\forall m \in \mathbb{N}, \forall ...
2
votes
1answer
28 views
0
votes
1answer
36 views

Prob. 1, Sec. 3.3 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS

Let $H$ be a Hilbert space, $M \subset X$ a convex subset, and $(x_n)$ a sequence in $M$ such that $\Vert x_n \Vert \to d$, where $d = \inf_{x \in M} \Vert x \Vert$. How to show that $(x_n)$ converges ...
3
votes
0answers
26 views

Schrodinger Operator with Finite Discrete Spectrum in $(-\infty, -1]$

I'm reading parts of Reed and Simon's Analysis of Operators and have come across a statement I find puzzling. They say that if $V$ is a bounded function of compact support on $\mathbb{R}^3$ then ...
-1
votes
1answer
14 views

properties of orthonormal systems and hilbert spaces [closed]

I need to show (a) $\implies$ (b) For an orthonormal system $\{\phi_i\}_{i=1}^\infty$, and a Hilbert space $H$, the following are equivalent: (a) If $\langle f,\phi_i\rangle=0$ $\forall i$, ...
0
votes
1answer
67 views

Spectral Measures: Spectral Spaces (II)

Problem Given a Hilbert space $\mathcal{H}$. Consider a spectral measure: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ Denote its probability measures by: ...
1
vote
2answers
126 views

Spectral Measures: Spectral Spaces (I)

Problem Given a Hilbert space $\mathcal{H}$. Let the Lebesgue measure be $\lambda$. Consider a Borel spectral measure: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ Denote its ...