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

learn more… | top users | synonyms

1
vote
0answers
131 views

Can a Hermitian operator on a tensor product space be represented as a sum of tensor products of Hermitian operators?

Consider a Hilbert space (or just a vector space over $\mathbb{C}$), which is a tensor product of several smaller Hilbert spaces: $$ H = H_1 \otimes \cdots \otimes H_n, $$ and let $\mathcal{H}$ be a ...
2
votes
1answer
384 views

Conditions on the weight function for Hermite polynomials' completeness

Hermite polynomials form a complete orthonormal basis of the weighted $L^2(\mathbb R, w \; dx)$ space, with inner product $$ \langle f, g \rangle_w = \int_\mathbb R f(x) g(x) \; w(x) dx. $$ A short ...
3
votes
3answers
204 views

Functional analysis-Hilbert spaces

Let $ X$ be an inner product space. Show that $ X$ is a Hilbert space if and only if for each continuous linear functional $ L$ on $ X$,there exists $ z\in X$ such that $ L(x)=\langle x,z\rangle $ . ...
-1
votes
1answer
146 views

Functional analysis - bounded linear transformation

Let $ \mathcal{H} $ be a Hilbert space, and let $ T: \mathcal{H} \to \mathcal{H} $ be such that $ \langle x,Ty \rangle = \langle Tx,y \rangle $ for all $ x,y \in \mathcal{H} $. How can one show that ...
3
votes
1answer
219 views

Bounded operators on separable Hilbert spaces

Let $H$ be a separable Hilbert space. Show that every bounded operator from $H$ to itself can be approximated in the strong operator topology by a sequence of finite rank operators. Im not sure what ...
8
votes
1answer
374 views

Trace class for operators

Let $ \mathcal{H} $ be a Hilbert space and $ T: \mathcal{H} \to \mathcal{H} $ a bounded linear operator. The $ n $-th singular number $ {\mu_{n}}(T) $ of $ T $ is defined as the distance from $ T $ ...
5
votes
2answers
579 views

Norm inequality for sum and difference of positive-definite matrices

If $X_{1}$ and $X_{2}$ are positive definite matrices, how to show that $\left\Vert X_{1}-X_{2}\right\Vert \le\left\Vert X_{1}+X_{2}\right\Vert$ for the spectral norm? and how about for the nuclear ...
4
votes
2answers
1k views

What is the difference between a complete orthonormal set and an orthonormal basis in a Hilbert space

I don't know if it's true but I think in a finite dimensional veccter space, an orthonormal set which is complete becomes a basis. But in a Hilbert space, the books say that the set of finite linear ...
4
votes
2answers
96 views

A counterexample on the existence of some sequence in Hilbert space

I want to find a uniformly bounded sequence $\{x_n\}$ in $l^2(\mathbb{C})$ such that $x_n$ does not converge to zero in weak topology, i.e., $\exists ~y\in l^2(\mathbb{C}),$ such that $\langle y, ...
2
votes
1answer
111 views

Normal Operator surjective

I have difficulty proving: If $T$ is a normal operator in a Hilbert space, $T$ is surjective if and only if $T^*$ surjective. Please give me some help. Thank you.
4
votes
1answer
165 views

Multiplication operator and trace class

Suppose we work in $H=l^2(\Bbb{N})$ and suppose the multiplication operator $T_f$ such that $T_f\psi=f\psi$ and $f:\Bbb{N}\rightarrow \Bbb{C}$. We denote by $B_1(H)$ the trace class of operators. ...
4
votes
1answer
214 views

Proof that the spectrum of the Dirichlet Laplacian is discrete

Let $\Omega\subset\mathbb{R}^n$ a open bounded set. The Dirichlet laplacian can be defined via it's closed semi-bounded form on $H^1_0(\Omega)$. The fact that it's spectrum is discrete is as far as I ...
5
votes
2answers
278 views

Brownian Motion Covariance: max instead of min

It is known that $\operatorname{Cov}(B_t,B_s)=\min(t,s)$ where $B$ is Brownian motion. Can one think of an Ito process or integral (preferrably plain Gaussian process) $W$ such that ...
4
votes
0answers
151 views

What is the dual space of $C([0,T];X)$ ($X$ Hilbert space)?

What is the dual space of $C([0,T];X)$, where $X$ is a Hilbert space? Is it $\operatorname{BV}([0,T]; X^*)$? As we know, for $C([0,T])$, the dual space is $\operatorname{BV}([0,T])$, but when it is ...
1
vote
2answers
310 views

Does a square-integrable function always have the derivative of its integral over one variable equal to zero?

In quantum mechanics, one requires that $$\frac{d}{dt}\int_{-\infty}^\infty\left|\psi(x,t)\right|^2dx=0$$ in order for normalization to be independent of time. In general, is it true that for any ...
3
votes
1answer
225 views

Spectrum in an separable Hilbert space

Let $H$ be a separable Hilbert space with orthonormal basis $\{e_i\}$. Let $(c_n)$ be a bounded sequence of complex numbers and consider the bounded linear operator $T$ on $H$ defined by $$Tx = ...
1
vote
1answer
308 views

Hilbert space of absolutely continuous functions

Let $H$ be the space of functions $\alpha: [0, T] \longrightarrow \mathbb{R}^n$ that are absolutely continuous and such that $\alpha(0)=0$. The statement that I have implicitly found in a paper is ...
0
votes
1answer
498 views

Minimizing sequence

This came up in a proof I was reading. Define $$\inf_{z \in K} \|x-z\| = d$$ Let $y_n\in K$ be a minimizing sequence How do we know that such a minimizing sequence exists? Here K is a closed convex ...
0
votes
1answer
98 views

Differential Operator on $L_{2}$ problem

I am working on a problem from a textbook and have run into difficulties on this specific question. Any assistance will be appreciated, Consider the partial differential equation, $\frac{\partial ...
1
vote
0answers
84 views

Extension of differentiation operator to $L_2[0,1]$.

I'm studying for my functional analysis exam. We are required to know the proof of the following, but I cannot figure it out. Consider $L_2[0,1]$ with orthonormal basis $(e_n)_{n=-\infty}^\infty$ ...
4
votes
1answer
93 views

Is this function positive?

I was wondering if: $$\int_0^1x(t)\int_0^tx(s)ds\ dt$$ is positive for a general $x\in L_2[0,1]$ . Can you help me with this?
2
votes
1answer
65 views

Finding the minimizing vector of a $l_{2}$ sequence

I am working on a problem sheet and this question has me stuck. A little guidance will be appreciated. Let $X = l_{2}$. Let $x \in X$ be given by $x = \{\frac{1}{2^{i}} \}^{\infty}_{i=1}$ Let $M ...
1
vote
1answer
156 views

What is this Hilbert space?

The space is $H^s(\mathbb R^d)$. If $f$ is in this space, it means $\int_\mathbb {R^n} (1+|\xi|^2)^s|\hat f(\xi)|^2d\xi < \infty$ where $\hat f$ is the fourier transform of $f$: $\hat ...
5
votes
1answer
480 views

Every Hilbert-Schmidt is an integral operator?

Let $(X,\mu)$ be a $\sigma$-finite measure space. If $K\in\mathcal{L}^2(X\times X,\mu\times\mu)$ then the map $A_K:\mathcal{L}^2(X,\mu)\to\mathcal{L}^2(X,\mu)$ defined by\begin{equation} ...
3
votes
1answer
341 views

cyclic vector exists for symmetric operator iff there no repeated eigenvalues

Considering a symmetric operator $A$ acting on a finite dimensional Hilbert space $H$, we say $x\in H$ is a cyclic vector for $A$ if the set of finite linear combinations of $\{A^n x:n=0,1,2,...\}$ is ...
1
vote
2answers
136 views

Conclusion in the proof that every Hilbert space has an orthonormal basis regarding countable index set

I am working through a proof that every hilbert space has a orthogonal basis which lies dense in that Hilbert space. In the proof the following is done: Let $v$ be a vector, and $E \subseteq I$ an ...
1
vote
1answer
80 views

How do I prove that a particular linear operator has an orthonormal basis?

I have to show that if $T$ is a linear operator such that $T: L^2(\mathbb(R)^n) \to L^2(\mathbb(R)^n)$ and $T(f)(x) = \int_{R^n}f(y)g(x,y)dy$, where $g(x,y)$ is an $L^2$ function, that there is an ...
3
votes
1answer
220 views

Compute spectral/projection-valued measures explicitly?

Spectral/projection-valued measures have very handy applications theoretically, but I got stuck when asked to compute explicitly certain projection-valued measures. Let's focus on the following: ...
0
votes
1answer
76 views

Approximating bounded operators in Hilbert space

Let $H$ be a separable Hilbert space, show that every bounded operator from H to itself can be approximated in the strong operator topology by a sequence of finite rank operators. I know we can find ...
1
vote
3answers
1k views

Hilbert Space is reflexive

A normed space $X$ is reflexive iff $X^{**}=\{g_x:x\in X\}$ where $g_x$ is bounded linear functional on $X^*$ defined by $g_x(f)=f(x)$ for any $f\in X^*$. Let $X$ be a Hilbert space, would you help ...
3
votes
1answer
268 views

Graph of symmetric linear map is closed

A homework problem: Let $H$ be a Hilbert space. Let $T:H\rightarrow H$ be a symmetric linear map ($\langle Tx,y\rangle=\langle x,Ty\rangle$). Show that $S$ is bounded. My attempt: I'd ...
1
vote
1answer
122 views

Symmetric bounded linear maps can be approximated by compact symmetric linear maps.

Let $H$ be a separable Hilbert space and let $T:H \rightarrow H$ be a symmetric bound linear map. a) Show that for every orthogonal projection $P$ on $H$ ($P' = P$, $P^2 = P$) PTP is symmetric. b) ...
0
votes
2answers
909 views

Compact set in a Hilbert Space

I'm doing some exercises, but there is something in one of the questions I don't quite understand, so I'm really hoping someone might be able to clarify. The question is as follows: Let $\mathcal H$ ...
0
votes
2answers
253 views

Weakly convergent sequence

Consider a sequence $(x_n)_n$ in Hilbert space $H$ such that $\langle x_m,x_n\rangle=\delta_{mn}$ where $\delta_{mn}$ equals one if $m = n$ and $C$ otherwise. Prove that $(x_n)_n$ is a weakly ...
1
vote
1answer
206 views

Normal operators in Hilbert spaces

Let $H$ be a separable Hilbert space and let $T:H\to H$ be a continues linear map such that there exists an orthonormal basis of $H$ that consists of the eigenvectors of $T$. Show that $T$ is normal. ...
0
votes
1answer
131 views

Question about L2 Inner Product and Integrals

Does exists $f\in L_2(\mathbb{R}^d)$ such that for all $g\in L_2(\mathbb{R}^d)$ which is not identically zero: ...
4
votes
2answers
620 views

Spectrum of an Orthogonal Projection Operator

I want to show that $ \sigma(p) = \{ 0,1 \} $ for any orthogonal projection operator $ p \notin \{ 0,I \} $ on a Hilbert space $ \mathcal{H} $. Recall that an orthogonal projection operator $ p $ on $ ...
3
votes
1answer
175 views

Determine the operator T in a Hilbert space

Let $H$ be a Hilbert space and let $\{e_n, n \geq 1\}$ be an orthonormal basis for $H$. a) Determine the operator $T\in B(H)$ that satisfies $$ Te_1 = 0,\; Te_n = \frac{1}{n}e_{n-1}, n ...
4
votes
1answer
904 views

How to prove this integral operator is compact?

$T_kf=\int K(x,y)f(y)dy$ where $K(x,y)=\frac{\phi(x)\phi(y)}{|x-y|^{n-\alpha}}$ $\phi(x)$ is a smooth function on a compact support. $f$ is defined on $R^n$ and $K$ is defined on $R^n\times R^n$ ...
2
votes
2answers
103 views

If $Lat(\mathcal{A})$ is trivial then $\mathcal{A}'$ consists of scalars.

This is related to Exercise 3 of Section 2.5 of Arveson's book on spectral theory. For those who are interested, we were asked to show the following $\mathcal{A}$ is a Banach *-algebra. ...
3
votes
2answers
262 views

Span of functions dense in $L^2$

This is an exercise from Werner's Funktionalanalysis. I have to show that the linear span of the functions $f_n(x)=x^ne^{-x^2/2}, n\geq0$ is dense in $L^2(\mathbb{R})$. The book gives the hint to ...
0
votes
2answers
73 views

Positive polynomial in positive operator yields a positive operator?

Let $H$ be an Hilbert space, and let $T$ be a self-adjoint, positive (and therefore bounded) operator $H \to H$, with $||T||<2012$. Let $P$ be a polynomial with real coefficients such that the ...
7
votes
1answer
754 views

A few questions about the Hilbert triple/Gelfand triple

I am attempting to fully understand Hilbert triples by reading Brezis' Function Analysis book. Consider $V \subset H \subset V^*$, where $V$ is Banach and $H$ is Hilbert. $V$ is dense in $H$. ...
3
votes
2answers
533 views

Hilbert Adjoint Operator from Riesz Representation Theorem - $T^{*}y=\frac{\left\langle y,Tx\right\rangle }{\left\langle z_{0},z_{0}\right\rangle}z_0$

Kreyszig's Functional analysis seems to introduce the hilbert adjoint operator by means of an explicit representation. I haven't seen this anywhere else and I would like to confirm this explicit ...
4
votes
3answers
1k views

Convergence in weak topology implies convergence in norm topology

In Hilbert space why does convergence in weak topology $x_n$ to $x$ imply that $x_n$ converges to $x$ in norm? Thank you very much for your answers. What if I put a condition on weak convergence ...
1
vote
1answer
113 views

Inequality of bounded linear operators on Hilbert space

Let $T$ and $S$ be bounded linear operators on a Hilbert space $H$. Verify that: $||TS||\leq ||T||\cdot ||S||$. The definition of the operator's norm is $||T||=\sup\{||Tv||_H: ||v||_H=1\}$. ...
1
vote
2answers
435 views

Proof of normal operator and self-adjoint operator

1) Let $T∈L(V,V)$ be a normal operator. Prove that $||T(v)||=||T^*(v)||$ for every $v∈V$. ($T^*$ is the adjoint of $T$) 2) Let $T$ be an operator on the finite dimensional inner product space ...
2
votes
1answer
359 views

Complex conjugate of the Hilbert space

Consider a Hilbert space $H=L^2(\mathbb{R}_+)$, take its conjugate $\overline{H} := \left\{f^{+}, f \in H \right\}$, where $+$ stands for the conjugation. Space $\overline{H}$ is a Hilbert space with ...
3
votes
0answers
169 views

Must-read papers in Operator Theory

I have basically finished my grad school applications and have some time at hand. I want to start reading some classic papers in Operator Theory so as to breathe more culture here. I have read some ...
2
votes
1answer
83 views

Is it ok to switch the limits in $L_2$?

Let $(X,B,\mu)$ be a probability space and let $U$ be a unitary operator on $L_2(X,B,\mu)$. Suppose that $g_n$ is a convergent sequence in $L_2(X,B,\mu)$, $g_n\rightarrow g$. Suppose also that there ...