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
128 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
771 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
504 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
347 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
211 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
665 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
209 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
409 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
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
71 views

Hamiltonian: Derivative

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: ...
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
54 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
54 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
70 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
137 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
86 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
125 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
1answer
49 views

Different norm on $\ell_p$-space and Hilbert space

We define $\ell_p=\{(x_n)_{n\in{\mathbb{N}}}\in\mathbb{C}^\infty:\sum_n{|x_n|^p}<\infty\}$. With the usual usual norm $||.||_p$ this becomes a Bancach space. Also we have the usual inner product : ...
3
votes
0answers
59 views

Sum of closed linear subspaces necessarily closed?

Let $H$ be an infinite-dimensional Hilbert space. Let $L_1,L_2 \subset H$ be two closed linear subspaces. If it is also known that $L_1 \perp L_2$ then it is not hard to show that $L_1 + L_2 = \{x_1 ...
3
votes
1answer
56 views

Inequalities with $\|x-y\|$, $|\langle x,y\rangle|$, and $\sqrt{\|x\|^{2}+\|y\|^{2}}$ in a Hilbert space

Let $H$ be a Hilbert space, and let $\|x\|$ denote the norm of $x\in H$, and $\langle x,y\rangle$ denote the inner product of $x,y\in H$. For $x,y\in H$ let us denote $\alpha(x,y)=\|x-y\|$, ...
3
votes
0answers
34 views

The relationship between CPTP maps and quadratic forms

Let $H$ be a finite-dimensional Hilbert space (so there is a canonical isomorphism $H\cong H^*$). For a Hilbert space $H$ define $B(H)$ to be the space of linear operators on $H$; we have $B(H)\cong ...
3
votes
1answer
182 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 ...
3
votes
1answer
353 views

Double orthogonal complement of any closed subspace is it self

Let $H$ be a pre-Hilbert space such that any closed sub space $M \subset H$ has the property $M^{\bot \bot}=M$. Prove that $H$ is a Hilbert space (ie, prove that $H$ is complete) My attempt: As ...
3
votes
0answers
84 views

Does a “typical” reproducing kernel on a manifold generate an infinite-dimensional RKHS?

Let $M$ be a finite dimensional manifold and $k:M\times M\rightarrow\mathbb{R}$ a smooth reproducing kernel. Is the set of all such $k$ with the property that the reproducing kernel Hilbert space ...
3
votes
0answers
125 views

Proving that a certain differential operator is self-adjoint

Consider the differential operator $T:u\mapsto -iu'$ for any $u\in D(T):=\{f\in AC[-\pi,\pi]~|~f'\in L^2(-\pi,\pi),f(-\pi)=f(\pi)\}$; we consider $T$ as a densely-defined operator on $L^2(-\pi,\pi)$. ...
3
votes
0answers
96 views

An orthonormal basis for a Hilbert space

Can anyone give me some hint on the following problem without using any knowledge about complex analysis or Fourier analysis? Thanks a lot! Consider the Hilbert space $$\mathscr{H}:=\bigg\{f\text{ ...
3
votes
0answers
74 views

What is $H^1([0,1]) \otimes H^1([0,1])$?

Let $H^1([0,1])$ denote the Sobolev space $H^1$ on the interval $[0,1]$. What is $H^1([0,1]) \otimes H^1([0,1])$? Here, $\otimes$ the tensor product of Hilbert spaces. In particular, how is that ...
3
votes
0answers
77 views

Is this operator bounded?

Let $w_j$ be a basis ( not orthogonal) of the Hilbert space $H$. For $h = \sum^\infty a_iw_i$ define $P_n(h) = \sum_{i=1}^n a_iw_i$. Is this operator bounded in $H$ I don't think it is but I feel ...
3
votes
2answers
226 views

Proof of the Riesz Representation Theorem

Theorem: Let $F$ be a continuous linear functional on the Hilbert space $H$, then $\exists !$ (exists one and only one) $y \in H$ such that $F(x) = (x,y)$ for $x\in H$. Proof: Uniqueness: ...
3
votes
0answers
200 views

Prove this equality in a Hilbert Space $H$ with Riesz's Representation Theorem.

For $x \in H$, prove that $\sup_{\|z\| = 1} \langle x , z \rangle= \| x \|$ Here is a quick one. If someone could improve this it would be great Proof By Cauchy Schwarz, $\langle x,z \rangle ...
3
votes
0answers
234 views

Prove Heisenberg uncertainty principle (measure and integration theory)

Here is a question in measure and integration theory, Let $f$ be a continuously differentiable complex function on $\mathbf{R}$ s.t. the functions $x \mapsto xf(x)$ and $f'$ are in ...
3
votes
0answers
81 views

Estimate finite-rank operator

I have the the following problem. Let $H$ be a Hilbert space with orthonormal basis $(e_{j})_{j\in \mathbb{N}}$. Let $x\in [a,b]$, for all $h\in H$ $$ (Bh)(x) = \langle h,k_{x} \rangle,$$ with ...
3
votes
1answer
33 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 ...
3
votes
0answers
63 views

A set of trajectories as a linear subspace of Hilbert space

Let $\left\{S(t)\right\}_{0 \leqslant t \leqslant \theta}$ be a strongly continuous semigroup of linear continuous operators in Hilbert space $H$, $S(0) = I$. Let $x$ be some element of $H$. Then its ...
3
votes
0answers
173 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 ...
3
votes
0answers
53 views

Existence of an ergodic-looking limit in a Hilbert space

This is part of a problem from Reed & Simon's Functional Analysis -- I'll write the problem first. Let $V$ be a linear transform on the Hilbert space $H$, such that its powers are uniformly ...
3
votes
1answer
113 views

What is $\mathcal{C}(S^{1})$? (Where $S^1$ denotes unit circle)

What is $\mathcal{C}(S^{1})$ (Continuous function on a unit circle)? (Where $S^1$ denotes unit circle) I saw this in a proof of showing Fourier Basis $S:=\{1,\sqrt{2}\cos{nx},\sqrt{2}\sin{nx}\}$ is ...
3
votes
0answers
169 views

Is there a deeper connection between the two Riesz's Representation Theorems?

I have been reading Kreyszig's Functional Analysis when I encountered two versions of Riesz's Representation Theorems: (1) Every bounded linear functional $f$ on a Hilbert space $H$ can be ...
3
votes
0answers
283 views

How does the parallelogram law imply the existence of an inner product for a given norm? [duplicate]

Possible Duplicate: Norms Induced by Inner Products I am trying to prove to that if a norm of a vector space satisfies the parallelogram law ($\| \vec x + \vec y \|^2 + \| \vec x - \vec ...
3
votes
0answers
90 views

Counting balls in Hilbert spaces

Let $W$ be a real Hilbert space of dimension $n$ and $V$ a Hilbert subspace of dimension $m$. Assume that $f_1,\cdots,f_k$ are points in $W$ such that the following holds: there exists $\sigma>0$ ...