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

learn more… | top users | synonyms

2
votes
2answers
42 views

Sequence of bounded linear operators implicating Cauchy sequence in $\mathbb K$

Let H be a Hilbert space and $(T_n)_{n \in \mathbb N}$ be a sequence in ${\rm BL}(H)$ (bounded linear operators) such that $(\langle y,T_nx \rangle)_{n \in \mathbb N}$ is a Cauchy sequence in $\mathbb ...
1
vote
1answer
43 views

Projecting self-adjoint operator onto closed subspace

Let $H$ be a complex Hilbert space and let $(Q, D(Q))$ be a closed, densely defined, positive semidefinite, Hermitian quadratic form on $H$. (That is, $D(Q)$ is a dense subspace of $H$, $Q$ maps ...
0
votes
1answer
24 views

Unique trace on a type $II_1$ von Neumann Algebra

Let $M \subseteq B(H)$ be a type $II_1$ von Neumann Algebra. Then any two non-zero ultraweakly continious normalised traces $Tr,tr : \rightarrow \mathbb{C}$ are equal. I'm trying to understand this ...
0
votes
2answers
69 views

Minimum of $f(x,y)=\sum_{n=0}^{+\infty}\frac{(n^2−nx−y)^2}{2^n}$

Show that $$f(x,y)=\sum_{n=0}^{+\infty}\frac{(n^2−nx−y)^2}{2^n}$$ is defined on $\Bbb{R}^2$, it has a minimum and find for which couple $(x, y)$ the minimum is reached. The first point is okay, ...
2
votes
0answers
56 views

Are these functions on a Hilbert space Lipschitz equivalent?

Let $H$ be a Hilbert space with inner product $\langle\cdot,\cdot\rangle$. Fix a bounded operator $T$ on $H$, and $1\leq p<\infty$ (you can assume $p$ is an integer if necessary). Consider the ...
0
votes
1answer
27 views

Minimal projections and Type II von Neumann Algebras.

Let $M \subseteq B(H)$ be a type $II_1$ factor. Can it contain a minimal projection? If it can't, what would go wrong? I assume something about the trace being faithful?
8
votes
1answer
138 views

How to Prove the Semi-parametric Representer Theorem

This question concerns the generalized Representer Theorem, due to Schölkopf, Herbrich, and Smola. In this magnificent work, the authors provide two versions of the Representer Theorem, a ...
2
votes
1answer
53 views

Implying a positive definite operator

If we are given that $A:V \rightarrow V$ is an operator where $V$ is a real Hilbert space. If we are given that $A$ is bounded, strictly positive $\big(\langle Au,u \rangle > 0$ for all $u \neq ...
1
vote
1answer
40 views

Operator Tensor Product

Let $S$ and $T$ be bounded operators over a Hilbert space $\mathcal{H}$. Define their tensor product $S\otimes T$ as acting on $\mathcal{H}\otimes\mathcal{H}$ by $S\otimes T(x\otimes y):=Sx\otimes Ty$ ...
1
vote
1answer
36 views

Polar decomposition in a von Neumann algebra

Let $M \subseteq B(H)$ be a von Neumann algebra and $T \in M$. If $T=U|T|$ is the polar decomposition of T, why is $U \in M$? I'm thinking it's because $M$ is SOT-closed, but I'm not entirely sure.
0
votes
0answers
16 views

H2 norm or H2 control probloem

I read a paper, it says: How to understand this definition of H2? I know the definition of the H2-norm of a system: or However, how to understand the paper one's from these formula or ...
0
votes
1answer
81 views

Momentum Operator: Selfadjoint Extensions

This might be a possible duplicate - please let me know if there is already a proof in another thread. Consider the momentum operator on $\mathcal{L}^2[0,2\pi]$: ...
0
votes
0answers
35 views

Tensor Product of Hilbert Spaces: incomplete?

Let $\mathcal{H}$ be an infinite dimensional Hilbert space and $\mathcal{H}\otimes_0\mathcal{H}$ its algebraic twofold tensor product. Define a scalar product on it as ...
3
votes
0answers
93 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 ...
2
votes
1answer
31 views

Approximations of compact operators

Let $(\xi_n)_{n=1}^\infty$ be a sequence in a Hilbert space $K$ convergent to some $\xi$. Suppose we have a compact operator $T$ on $K$ such that $T\xi = 0$. Can we find a sequence of compact ...
0
votes
1answer
30 views

Positive-definite function on a group function on a group

I have quite a hard time understanding the definition of positive-definite functions that is based on Hilbert spaces, the one that I read from Wiki; it does not exactly specify that how $H$ relates to ...
2
votes
1answer
51 views

Composition of Partial Isometries

Let $H$ be a complex Hilbert space and $S,T \in B(H)$ partial isometries. Then $S T$ is a partial isometrie, if and only if $T^*(\ker(S)) \subseteq \ker(ST)$. Edit: My attempts so far: ...
-1
votes
1answer
40 views

Number Operator closable on Fock Space?

In Bratelli Robinson the number operator in Fock space is defined as: $$\mathcal{D}(N):=\{\phi\in\mathcal{F}:\sum_{n=1}^\infty n|\|\phi_n\|<\infty\}\\ N:\mathcal{D}(N)\to ...
2
votes
2answers
57 views

Weak convergence of partial sums

I recently came across an interesting problem on weak convergence in $\ell^2 (\Bbb N)$. Suppose that we have canonical basis $\{e_i\}$ in $\ell^2 (\Bbb N)$. We need to prove that the sequence ...
2
votes
0answers
21 views

does the hilbert space construction of random variables allow for infinite variance?

I am reading a book (Hilbert Space Methods in Probability and Statistical Inference by Small) which says that random variables can be viewed as functions in the hilbert space $L^2$ with the inner ...
1
vote
1answer
40 views

Does there always exist an equivalent geometric problem for a given differential equation?

I recently came up with a method to show for any given differential equation whose solution is the power series there exists an equivalent geometric problem in Hilbert space. I was wondering if ...
0
votes
1answer
19 views

Question about a scalar product

It is well known that in a hilbert space $H$ with orthonormal basis $(e_n)_{n=1}^{\infty }$, we have for every $f, g \in H$ $$\displaystyle{\langle f,g\rangle=\sum_{n\in\mathbb{N}}\overline{ \langle ...
1
vote
0answers
59 views

how to prove $\sum_n |b_n|^2<\infty$

$\{b_n\}$ is a complex sequence, If for all $\ell^2$ sequences $a_n$, we have $\sum_n \bar{a}_nb_n$ converges . Prove that $\sum_n|b_n|^2<\infty$
2
votes
1answer
41 views

Counterexample for Palais-Smale condition

I have trouble proving that functional $I:H\to\mathbb{R}$ given by $$I(u)=\frac{1}{2}\|u\|^2-\frac{1}{2}(u,f)^2$$ does not satisfy Palais-Smale condition if $\|f\|=1$. I managed to prove that when ...
1
vote
1answer
58 views

distributivity of tensor product and direct sum for Hilbert spaces

Before I ask my actual question about direct sums and tensor products of Hilbert spaces, let's first talk about direct sums and tensor products of vector spaces. We might define direct sums of ...
1
vote
1answer
28 views

Equivalent Definitions of the $L_2$ inner product.

If $g \in L_2(\mathbb{R})$, then we can define the $L_2$ norm to have the following relationship: $\|g\|_2^2 = \int_\mathbb{R} g^2$. If $A\subseteq \mathbb{R}$, then we can define the norm of $L_2(A)$ ...
2
votes
1answer
42 views

Canonical isometric isomorphism of $l_{\alpha}^{2}$

Let $\alpha \in \mathbb{R}$ and $l_{\alpha}^{2}$ the vector space of bi-infinite sequences $(x_{n})_{n\in \mathbb{Z}}$ such that $||x||_{\alpha}:=\sum_{n\in\mathbb{Z}} ...
1
vote
1answer
55 views

Orthonormal Basis of $L^{2}(0,1)$?

Are the functions $e_n := e^{i\cdot(2n+1)\cdot\pi\cdot x}$, $n \in \mathbb{Z}$ an orthonormal basis of $L^{2}(0,1)$? I suppose it is true, but I haven't been able to prove it myself yet.
1
vote
1answer
90 views

Weak convergence in $C[0,1]$

For a uniformly bounded sequence $(f_n)$ in $C[0,1]$, show that $f_n$ converges weakly to $0$ $\iff $ $\lim \limits_{n \to \infty} f_n(y) =0$ for all $y \in [0,1]$ Is the equivalence true if we do ...
0
votes
1answer
27 views

Continuity of bounded and convex function on Hilbert space

I'm looking for the proof (or at least hints how to prove it) of theorem: Let $H$ be a real Hilbert space and let $f:H\to (-\infty,+\infty]$ be a convex function, bounded from above in some ...
1
vote
1answer
32 views

Equivalent Definitions of Negative Order Sobolev Spaces

Ignoring fractional sobolev spaces, if we restrict ourselves to $k>0$ when $k$ is an integer, then the Sobolev space of order $k$, for $W^{k,p}(\mathbb{R})$ is the space of functions $f$ such that ...
0
votes
0answers
19 views

Relationship between $T$ and $T^{*}$ for $T\in B(H)$

Let $T\in B(H)$ for a Hilbert space $H$. Then consider $T^{*}\in B(H)$, the dual operator. I'm trying to verify the relationship $\text{ker}(T)^{\perp} = \overline{\text{Im}(T^{*})}$ For the ...
4
votes
2answers
250 views

Optimization problem using Reproducing Kernel Hilbert Spaces

I am encountering a problem concerning Reproducing Kernel Hilbert Spaces (RKHS) in the context of machine learning using Support Vector Machines (SVMs). With refernce to this paper [Olivier Chapelle, ...
2
votes
0answers
48 views

Fractional Brownian motion---construction via Hilbert space?

The Brownian motion has the following (Levy-Ciesielski?) construction via Hilbert space isomorphisms: Let $\{ Z_i \}_{i \in \mathbb{Z}}$ be i.i.d. $N(0,1)$ random variables defined on $(\Omega, ...
0
votes
1answer
56 views

Spectrum of the operator $A(f,g)=(g,\Delta f-f)$

Let $\Omega$ be an open set in $\mathbb{R^n}$. We consider the product Hilbert space $H=H^1_0(\Omega)\times L^2(\Omega)$ with the norm $$|(f,g)|^2=\int_\Omega (|\nabla f|^2+|f|^2+|g|^2 ) dx$$ We ...
1
vote
0answers
40 views

Any finite-dimensional subspace of a Hilbert space is closed: easier proof?

A noted theorem is that a finite-dimensional subspace of a Hilbert space must be topologically closed. I have seen some proofs of this theorem which are less simple than this, but what is wrong with ...
0
votes
0answers
23 views

Question about convergence of sum

Let $T\in B(H,E)$ where $H$ a seperable hilbertspace, $E$ a seperable Banach space. By parsevals identity $$\left\|T^*\right\|^2= \sup_{ \left\|x^*\right\|\leq 1}\left\|T^*x^*\right\|^2 = \sup_{ ...
0
votes
1answer
40 views

Bound on number of mutually orthonormal eigenfunctions

Let $E$ be the vector space of real valued continuous functions on an interval $[a,b]$. Let $K = K(x,y)$ be a continuous function of two variables, defined on the square $a \leq x \leq b$ and $a \leq ...
1
vote
0answers
28 views

Skew adjoint operator with uncountable spectrum

Let $H$ be a Hilbert space. I just want an example of a skew adjoint operator $(A^*=-A)$ with uncountable spectrum. I also want an example for unbounded differential operators. The only example I ...
0
votes
1answer
38 views

Is this subspace dense in $L^{2}(\Omega,\mu)$

Let $(\Omega,\mu)$ be a measure space, and let $X=L^{2}(\Omega,\mu)$ be the complex Hilbert space of square-integrable complex measurable functions on $\Omega$. (Each $f \in L^{2}$ is an equivalence ...
5
votes
1answer
70 views

Show that $\|e^{tA}\| \le e^{t\|\Re (A)\|}$

Let $X$ be a complex Hilbert space, and let $A$ be a bounded linear operator on $X$. Define the real part of $A$ to be $\Re(A)=\frac{1}{2}(A^{\star}+A)$, and define ...
1
vote
1answer
36 views

$L$-Lipschitz gradient of $f$ implies inverse strongly monotone of $\nabla f$

Let $f:\; \mathcal{H} \to R$ be a continuously differentiable convex function such that $$\|\nabla f(x) -\nabla f(y)\|\leq L\|x-y\|.$$ Prove that the mapping $\nabla f$ is $1/L$ inverse strongly ...
3
votes
1answer
20 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$ ...
8
votes
2answers
127 views

Does the shift operator on $\ell^2(\mathbb{Z})$ have a logarithm?

Consider the Hilbert space $\ell^2(\mathbb{Z})$, i.e., the space of all sequences $\ldots,a_{-2},a_{-1},a_0,a_1,a_2,\ldots$ of complex numbers such that $\sum_n |a_n|^2 < \infty$ with the usual ...
0
votes
0answers
11 views

Integral representation of joint projection valued measures

Given two positive $\sigma$-finite measures $\mu_{1/2}$ on the spaces $X_{1/2}$ one can define the product measure $\mu_1\otimes\mu_2$ on the product space $X_1\times X_2$. It can be proved that the ...
1
vote
1answer
43 views

Find the norm of functional

Consider the functional from $l_2$. $$ x=(x_n)\mapsto \sum \frac{x_n+x_{n+1}}{2^n}. $$ What is the norm of the functional?
1
vote
1answer
43 views

Convergence of a sequence of unit vectors in a Hilbert space

Let $E$ be a vector space (over $\mathbb{R}$) with a positive definite hermitian form and let $\{x_{n}\}$ ($x_{n} \not= 0$) be a sequence converging to $x$ in the $L^{2}$ norm ...
4
votes
2answers
68 views

Basic Quantum Mechanics Concepts with Continuous Spectra

The following are a couple excerpts of the first chapter of Sakurai and Napolitano, Modern Quantum Mechanics, 2nd edition: Prior to these formulas, the text discusses the fundamental mathematics ...
0
votes
1answer
42 views

Sufficient condition for two operators being identical on Hilbert space

Considering two bounded linear operators $S,T$ in $\mathcal{B}(X)$, where $X$ is a complex Hilbert space. If $\def\norm#1#2{\langle {#1},{#2}\rangle} \norm{Sx}{x} = \norm{Tx}{x}$ for all $x\in X$, do ...
0
votes
1answer
61 views

Trivial Orthogonal Complement $\implies$ Denseness!

Disclaimer: Though I don't need it anymore this is interesting in its own! Is it true that if the orthogonal complement is trivial then the subset was dense: $$A^\bot=\{0\}\implies\overline{A}=X$$ ...