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

learn more… | top users | synonyms

3
votes
1answer
98 views

Spectral Measures: Helffer-Sjöstrand

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard a function: $$f\in\mathcal{C}^\infty_0(\mathbb{R}):\quad ...
3
votes
2answers
29 views

Terminology for orthogonal projections

Let $H = X \oplus Y$ a Hilbert space. Then, the map $p(x + y) = x$ is called the orthogonal projection onto $X$ along $Y$. Why is it necessary to mention along $Y$? Of course if a space has a ...
3
votes
1answer
40 views

Norm of an operator and eigenvalues

I have $K\colon L^2(0,T) \to L^2(0,T)$ a Hilbert-Schmidt integral operator (and so $K$ is linear, bounded, compact and self-adjoint) and I have obtained its eigenvalues and eigenvectors. From them, I ...
3
votes
1answer
88 views

Is the intersection between two $n$-spheres an $(n-1)$-sphere?

It is true that the intersection between two $n$-sphere in $\mathbb{R}^n$ is a $(n-1)$-sphere if is not empty or a single point? I have tried to prove it but my only idea is to work with equations and ...
3
votes
2answers
90 views

Find an approximation of the unit ball as a weak-limit of a sequence in the unit sphere

Let $H$ be an infinite dimensional Hilbert space. It is well known that the weak-closure of the unit ball is the unit sphere. But I want to prove it as basicaly as possible, using the ...
3
votes
1answer
45 views

Prove $Tx=(r_1x_1, r_2x_2, r_3x_3,…)$ is compact, $T:l^2\to l^2$, $r\in l^2$

Here is my question: Fix $r=(r_1,r_2,...)\in l^2$. Define $T:l^2\to l^2$ by $$Tx=(r_1x_1, r_2x_2, r_3x_3,...)$$ Prove that $T$ is compact. Here is what I have, input would be appreciated: Let ...
3
votes
1answer
62 views

Normal Operator: Everywhere defined implies bounded?

Given a Hilbert space $\mathcal{H}$. Consider a normal operator $N:\mathcal{H}\to\mathcal{H}$. If its domain is the whole Hilbert space then is it necessarily bounded? The point is that I'm trying ...
3
votes
1answer
35 views

Family of sequences in a Hilbert space with certain property

Suppose $\mathcal{F}$ is a family of sequences on the unit sphere of $l_2$ with the following property: For any sequence $\varepsilon_n\downarrow 0$ but which is not eventually identically $0$, there ...
3
votes
1answer
61 views

Show that Polynomials Are Complete on the Real Line

Consider the Hilbert Space of weighted-square-integrable functions f(x): $$ \begin{equation} \int_{-\infty}^{\infty}\frac{f(x)^2}{e^{x}+e^{-x}}dx<\infty. \end{equation} $$ Note this integral is ...
3
votes
1answer
153 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)$ ...
3
votes
1answer
30 views

Subspace of certain series in a Hilbert space is compact

Let $E$ be a Hilbert space and let $\{x_{n}\}$ be an orthonormal basis.  Let $\{c_{n}\}$ be a sequence of positive numbers such that $\sum c_{n}^{2}$ converges.  Let $C$ be the subset of $E$ ...
3
votes
1answer
61 views

How to show: $\exists$ a subspace $L$ of a Hilbert space $H$ such that $H\neq L\oplus L^{\perp}$.

How to show: $\exists$ a subspace $L$ of a Hilbert space $H$ such that $H\neq L\oplus L^{\perp}$. Let consider $H=l_2$ where $l_2=\lbrace x=(x_n)^\infty_1: \sum^\infty_1 |x_n|^2<\infty \rbrace $ ...
3
votes
1answer
127 views

Projection operator in Hilbert space

Let $H$ be a Hilbert space, can we find an increasing net of finite rank projections which converge to the identity in the strong operator topology? And I think if $H$ is separable, we can find an ...
3
votes
2answers
180 views

Derivative on Hilbert space

Please, on a Hilbert space what is the derivative of $\displaystyle\frac{x}{||x||}$ ? I know that it's equal to $\displaystyle \frac{1}{||x||}-\frac{\langle x,\cdot\rangle}{||x||^3} x$ but can I ...
3
votes
1answer
81 views

Sesquilinear Forms: Reals

Given a real Hilbert space $\mathcal{H}$. Consider symmetric forms: $$s:\mathcal{H}\times\mathcal{H}\to\mathbb{R}:\quad s(\psi,\varphi)=s(\varphi,\psi)$$ By polarization one obtains: ...
3
votes
1answer
85 views

Stone's theorem for 1-parameter groups of unitary multipliers?

Let $A$ be a nonunital C*-algebra and let $M(A)$ denote its multiplier algebra. Let $(u_t)_{t \in \mathbb{R}}$ be a strictly continuous 1-parameter group of unitary multipliers. That is, $u_t x \to x$ ...
3
votes
1answer
88 views

Is $B - B'$ self-adjoint provided $B,B'$ are positive operators?

If I have two positive operators $B,B'$ on an arbitrary Hilbert space $\mathcal{H}$ not necessarily over $\mathbb{C}$, how do I know that $B - B'$ is self adjoint? EDIT: Reed and Simon define ...
3
votes
1answer
53 views

Proving $||A||=||A^{*}||=||AA^{*}||^{1/2}$

I am studying functional analysis, In the lecture notes I saw the claim: Let $A\in L(\mathcal{H})$ where $\mathcal{H}$is a Hilbert space. then $$ ||A||=||A^{*}||=||AA^{*}||^{1/2} $$ There is ...
3
votes
1answer
245 views

Separable Hilbert space weak sequential compactness

To preface, Banach-Alaoglu shows weak* sequential compactness of the unit ball, and in Hilbert spaces weak* and weak convergence is the same. So I already know that the unit ball of a Hilbert space is ...
3
votes
1answer
162 views

How is the inner product in $H^{-1/2}$ defined?

Since $H^{1/2}$ is a Hilbert space, $H^{-1/2}$ must also be a Hilbert space by the isomorphism of Riesz representation theorem. How is the inner product defined there? We know there is a nice ...
3
votes
1answer
129 views

Is my proof that a function is measurable correct?

Let $V$ be separable and Hilbert. Let $\mathcal V = L^2(0,T;V)$. Assume for each $t \in [0,T]$, $$a(t;\cdot,\cdot):V \times V \to \mathbb{R}$$ is continuous and bilinear. Or equivalently, we have ...
3
votes
1answer
108 views

The definition of addition on the tensor product of Hilbert spaces

Let $H_1$ and $H_2$ be finite-dimensional Hilbert spaces with inner products $\langle\cdot,\cdot\rangle_1$ and $\langle\cdot,\cdot\rangle_2$ respectively. Construct the tensor product of $H_1$ and ...
3
votes
1answer
85 views

How to prove that the set $e^{inx}$ is closed with respect to this measure?

Why is the set $\{e^{inx}\}$ closed in $L^2(d\nu)$, where $d\nu(x)=(1+|h(x)|)dx+|ds(x)|$? $d\nu$ is defined in this proof I am struggling to understand, where $\mu$ is a complex Borel measure on ...
3
votes
1answer
787 views

Spectral Theorem for bounded compact, self-adjoint operators as corollary of Hilbert-Schmidt theorem

I'm following Debnath and Mikusinksi's "Introduction to Hilbert Spaces with Applications" and am trying to understand how the spectral theorem for compact self-adjoint operators is a corollary of the ...
3
votes
1answer
533 views

about closed linear subspace

Can you help me, plese, with the notion of closed linear subspace. What means, examples of closed linear subspace, how can I prove that a subspace is a closed linear subspace. Thanks :-)
3
votes
1answer
354 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 ...
3
votes
1answer
212 views

eigenvalue question

I think this question isn't that hard, but I am a bit confused. Define the linear operator $T_k:H\mapsto H$ by \begin{align} T_ku=\sum^\infty_{n=1}\frac{1}{n^3}\langle u,e_n\rangle e_n+k\langle ...
3
votes
1answer
676 views

The relation between bounded invertible and surjective operators

Please, answer me that how is the set of all bounded invertible operators (for example on a Hilbert space) clopen (closed and open) in the set of all bounded surjective operators? In fact, which ...
3
votes
1answer
212 views

Operator norm of the sum of a finite collection of bounded linear operator

I recently got some difficulty with my homework question. The question is: Let $T_1,\dots,T_N$ be a finite collection of bounded linear operators on a hilbert space $H$, each of operator norm $\le ...
3
votes
1answer
135 views

How quickly does the inner product of an L-2 function against its translates decay?

Let $H$ be the Hilbert space $L^2(\mathbb{R})$. For $t \in \mathbb{R}$, let $\lambda_t \in B(H)$ be the unitary operator which translates by $t$, that is $(\lambda_t \xi)(s) = \xi(-t +s)$. For $\xi ...
3
votes
1answer
60 views

Convergent operatorial series

An exercise I was doing asks (among other things) for the values of $z\in\mathbb{C}$ for which the following (operatorial) series converges absolutely: $$\sum_{n=0}^{\infty}z^nA^n$$ where $A$ is an ...
3
votes
2answers
133 views

closedness of image of closed, unbounded operator

I want to prove the following: Suppose $\mathcal{H}_1$ and $\mathcal{H_2}$ are Hilbert spaces and let $T: \mathcal{D} \rightarrow \mathcal{H}_2$ be a closed operator, where $\mathcal{D} \subset ...
3
votes
1answer
417 views

Derivative of Convex Functional

Suppose that $H$ is a real Hilbert space and that $f:H \to \mathbb{R}$ is differentiable in the Frechet sense. Then we can think of the derivative as a function $f': H \to H^* = H$. Suppose that this ...
3
votes
1answer
85 views

comparison between spaces

There a lot of function spaces and would be nice if somebody can correct me if I am wrong in comparing a few. I want to compare $C^2,L^2,W^{2,2}$ (continuous up to third derivative, Hilbert space of ...
3
votes
1answer
127 views

Balls in the space of bounded operators on a Hilbert space

Suppose $\mathsf{H}$ is an infinite-dimensional (non-separable preferably) Hilbert space. Consider the space $L(\mathsf{H})$ of all bounded operators on it. Is there $0\neq W\in L(\mathsf{H})$ such ...
3
votes
1answer
66 views

Normal Operators: Superalgebra (I)

Given a Hilbert space $\mathcal{H}$. Consider normal operators: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ Denote their calculus: ...
3
votes
0answers
47 views

Orthonormal Basis of $L^2$

Theorem: ' ' The Orthonormal family $e_n(x)=e^{2\pi i n x},\ n\in\mathbb{N}$ is a basis for $\mathcal{L}^2([0,1])$.`` In this case, $\{e_n(x)\}_{n\in\mathbb{N}}$ being a basis would mean that any ...
3
votes
0answers
53 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
78 views

Hamiltonian: Derivative

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard the evolution: $$A=A^*:\quad A(t):=e^{-itH}Ae^{itH}$$ Suppose invariance: ...
3
votes
0answers
56 views

How is the Point Spectrum of a Compact Operator Countable?

I'm working on understanding a proof that if an operator $A$ on a Hilbert space $\mathcal{H}$ is compact, then show that $\sigma(A) - \{0\} \subseteq \sigma_p(A)$. If you're not familiar with this ...
3
votes
1answer
16 views

A sequence $L_n$ of compact bounded linear transformations on a hilbert space defines a convergent subsequence in each $L_n$ for a bounded sequence?

Let $L_n:\mathcal{H}\to\mathcal{H}$ be a sequence of compact bounded linear transformation on a Hilbert space $\mathcal{H}$, and $h_m$ be a sequence in $\mathcal{H}$. Since each $L_n$ is compact, ...
3
votes
0answers
42 views

If $u_n \rightharpoonup u$ in $L^2(0,T;L^2)$ and $u_n$ bounded in $L^\infty(0,T;L^2)$, does $u_n(t) \rightharpoonup u(t)$ in $L^2(\Omega)$ a.e. $t$?

Let $u_n$ converge weakly to $u$ in $L^2(0,T;L^2(\Omega))$ and let $u_n$ be bounded in $L^\infty(0,T;L^2(\Omega))$. Is it true that $u_n(t) \rightharpoonup u(t)$ in $L^2(\Omega)$ (weakly) for a.a. ...
3
votes
0answers
60 views

Weak vs strong convergence for unitary operators

Suppose $H$ is a separable complex Hilbert space with inner product $(\cdot,\cdot)$ and norm $\|\cdot\|$, where $\|u\|^2 = (u,u)$. Suppose $u, u_1, u_2, \dots \in H$. Then $\lim_{n \to \infty} u_n = ...
3
votes
0answers
58 views

Spectral definition of (fractional) Laplacian, need help understanding text

Let $\varphi_k$ and $\lambda_k$ be the eigenfunctions and eigenvalues of the Dirichlet Laplacian $-\Delta$ on some bounded domain $\Omega$. We know $\varphi_k$ are smooth and form an orthogonal basis ...
3
votes
0answers
71 views

An inequality for positive operators

Let $S$ and $T$ be positive operators on a Hilbert space $\mathcal{H}$. Suppose that $S \le T$. Since the square root function is operator monotone, it follows that $S^{1/2} \le T^{1/2}$. Does the ...
3
votes
0answers
153 views

Proof of the Riesz-Schauder Theorem (for compact operators) using the Analytical Fredholm Theorem

First of all sorry for my bad English, I'm an Italian student, hope to let you understand! I'm having a little troubles with the proof of the Riesz-Schauder theorem for Compact Operators. Some infos ...
3
votes
0answers
91 views

Approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets?

Are there some common ways to approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets? (note that the unit ball isn't compact.) My goal is to prove a statement which holds ...
3
votes
0answers
35 views

Limits of trajectory of gradient flow in Hilbert space

I have been studying about gradient flow in Hilbert space of a Morse function $f$. Specifically, let $X$ be a Hilbert space and $f : X\to \mathbb R$ be $C^3$ function. The gradient flow here is ...
3
votes
1answer
139 views

Inequivalent norms (given by different inner products) on infinite dimensional Hilbert space.

I have this question in reviewing for my exam. Let $H$ be an infinite dimensional Hilbert space. Write down an inner product on $H$ that gives a norm inequivalent with the original norm. Is $H$ ...
3
votes
2answers
129 views

Bound the norm of the partial trace of an operator on a Hilbert space

Let $H=H_1 \otimes H_2$ a composite Hilbert space and let $A, B$ bounded linear operators on $H$, and we can assume they are trace class. Let $A_2$ we denote the operator on $H_2$ obtained by taking ...