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

learn more… | top users | synonyms

5
votes
1answer
81 views

Is $H^1(M) \subset L^2(M) \subset H^{-1}(M)$ a Hilbert triple for $M$ a manifold with boundary?

Is $H^1(M) \subset L^2(M) \subset H^{-1}(M)$ a Hilbert triple for $M$ a manifold with boundary? What smoothness is required of the boundary? I would be grateful for some references to this.
5
votes
2answers
621 views

Matrix Representation of Operators in Infinite Dimensional (Separable) Hilbert Spaces

Suppose we have a separable Hilbert space (thus with a countable basis) and that we to represent an operator in matrix form, i.e: $$A: H \rightarrow H \\ \; \; \; \; \; \;x \;\rightarrow \sum_{j \in ...
5
votes
3answers
906 views

Question about example of non-separable Hilbert space

I have come across the following example of a non-separable Hilbert space: Example 2.84. Let $I$ be a set, equipped with the discrete topology and the counting measure $\lambda_{\text{ count}}$ ...
5
votes
2answers
1k views

How to show a compact, closed-range operator on an infinite-dimensional Hilbert space has finite rank, without using the open-mapping theorem?

If $H$ is an $\infty$-dimensional Hilbert space and $T:H\to{H}$ is a compact operator with closed range, how do I show that $T$ has finite rank, without using the open-mapping theorem? (The ...
5
votes
2answers
173 views

$L^{2}$ functions

Let $f(x)$ be a continuous function for all $x\in \mathbb R$, such that $f\in L^{2}(\mathbb R)$ (i.e., $\int_{-\infty}^{\infty}|f(x)|^{2}dx<\infty$), and define $$f_{o}(x):=\sup_{|x-y|\leq ...
5
votes
1answer
847 views

Hilbert Schmidt integral operator

Hilbert-Schmidt Integral operators are usually defined from $H=L_2[a,b]$ into $H=L_2[a,b]$ as $$(Tf)(x) = \int_a^b K(x,y)f(y) dy,$$ provided that $K(x,y)$ is a Hilbert Schmidt kernel, namely ...
5
votes
1answer
69 views

Equivalent formulations: pure contraction

I want to prove the following equivalence: let $T$ be a bounded self-adjoint operator on a Hilbert space $H$. TFAE: $\|Tx\|<\|x\|$ for each $x\in H\setminus\{0\}$ $\|T\|\leq1$ and ...
5
votes
1answer
179 views

Brownian motion, reproducing kernel Hilbert space, and the Laplace operator

Consider the standard Brownian motion on $[0,1]$: $$ dB_t, \; B_0 = 0, $$ defined on the probability space $(\Omega, P)$. It covariance function is $K(s,t) = \min \{s , t\}$ on $[0,1] \times ...
5
votes
1answer
140 views

Composition of projections has a fixed point in a Hilbert space

Let Let H be a Hilbert space with an inner product ⟨⋅,⋅⟩ : H×H→R, and induced norm $∥⋅∥ : H→R_+$ Let $C_1$ and $C_2$ be closed, convex, nonempty, disjoint subsets of $H$ with at least one of ...
5
votes
1answer
552 views

Using Lax Milgram to find a weak solution in an intersection of Sobolev spaces

I am trying to prove the existence of a weak solution of the problem: $$ -\Delta^2 u = f \in L^2(U)\\ \\ u|_{\partial U}=\Delta u|_{\partial U} = 0 $$ on the bounded open set $U\subset\mathbb{R}^n$ ...
5
votes
2answers
291 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 ...
5
votes
1answer
170 views

Show $T$ is compact

$H$ and $K$ are Hilbert Spaces, $(u_n)$ and $(v_n)$ are sequences in $H$ and $K$ respectively. $\sum_{n=1}^{n=\infty} \|u_n\|\|v_n\| $ converges. $T\colon H\rightarrow K$ is defined by ...
5
votes
1answer
543 views

Spectral theorem for unitary operators

I saw in several texts, as a part of the spectral theorem for unitary operators, that given a unitary operator $U$ on a Hilbert space $H$ (say it is separable), $H$ can be decomposed as an orthogonal ...
5
votes
0answers
50 views

An inner product on the dual space of a non-complete inner product space?

As is well known, for any Hilbert space $V$, there is a natural inner product on the continuous dual. (the space of all continuous linear functionals). Is there a way to endow an inner product on ...
5
votes
0answers
54 views

Pointwise approximation of a closed operator

If $T:\mathcal D(T) \rightarrow \mathcal Y$ is a closed operator from a Banach space $\mathcal X$ to a Banach space $\mathcal Y$, is it possible to find bounded operators $T_n\in \mathscr B(\mathcal ...
5
votes
0answers
49 views

Two Hilbert spaces $V \subset H$, a basis for both spaces?

Let $V \subset H$ be a pair of Hilbert spaces (with different inner products). The embedding is continuous and dense, and both spaces are separable. Is it always the case that one can I find a ...
5
votes
1answer
175 views

Positive Operators: Definition?

Definitions Given an operator algebra $\mathcal{A}\subseteq\mathcal{B}(\mathcal{H})$ with $1\in\mathcal{A}$ Consider selfadjoint operators $A=A^*\in\mathcal{A}$. Define positive elements by: ...
5
votes
0answers
178 views

Is there an orthonormal basis for $L_2[0,1]$ consisting of convex functions?

Is there an orthonormal basis $\{\phi_{\alpha}\}$ for the space $L_2[0,1]$ of square-integrable functions from $[0,1]$ to $\mathbb{R}$ such that every $\phi_{\alpha}$ is convex? Edit: A helpful ...
5
votes
1answer
216 views

Prove or disprove this argument

Let $L>0$ and let $\Omega$ be the set of all integrable functions from $[0,L]$ to $]0,+\infty[$. For all $\varphi, \psi \in \Omega$ define $\left \langle \varphi,\psi \right ...
5
votes
0answers
171 views

Don't understand this proof of equivalence of weak solutions to PDE

I'm trying to understand the proof that (c) implies (a) here in the following proposition (here, $\mathcal{V} = L^2(0,T;V)$). See the very last line in the image for that part: $$$$ $$$$ I give here ...
5
votes
1answer
218 views

the basis for the Sobolev space $H^1_0([0,1],\mathbb{R})$

According to the Sturm-Liouville theorem, for any continuous function $p\in\mathcal{C}^0([0,1],\mathbb{R})$, there is a Hilbert basis (normlised) $(\psi_n)_{n\geq1}$ of $L^2([0,1],\mathbb{R})$ such ...
5
votes
0answers
116 views

Is this a spectral decomposition/embedding/isometry?

Given a symmetric p.s.d matrix G, we know that a gram matrix/inner-product representation, X exists where $G=X^TX$ and $X=U\lambda^{1/2}$ via the eigen decomposition of $G$. Now if I take the same ...
5
votes
0answers
226 views

Hilbert spaces - equivalent norm

Let $H$ be a Hilbert space with a norm $\| \cdot \|_1$. Let $\| \cdot \|_2$ be another norm on $H$ which is equivalent with $\| \cdot \|_1$. It is easy to see that $(H, \| \cdot \|_2)$ is a Banach ...
5
votes
1answer
216 views

Conditions for the sequence being weakly convergent

Let $H=\ell_2$ be the Hilbert space of the square-summable sequences where $$ \langle x,y\rangle=\sum_{i=1}^{\infty}x_iy_i, \quad \|x\|=\sqrt{\langle x,x\rangle}. $$ Let $F: H\rightarrow H$ be an ...
5
votes
0answers
442 views

Sum of operator and adjoint is self-adjoint

In abstract Hodge theory there is the following lemma: Let $H$ be a Hilbert space and $A \in \mathcal{C}(H)$ a densely defined, closed operator (so possibly unbounded) and $A^*$ its adjoint operator. ...
5
votes
0answers
161 views

Relations between spectrum and quadratic forms in the unbounded case

Let $H$ be a complex Hilbert space. If $B$ is a bounded self-adjoint operator on $H$ then its spectrum is a closed and bounded subset of the real line and we can find its extremes in terms of the ...
5
votes
1answer
169 views

What are the negative-dimentional n-sphere and n-cube?

The generalized formula for the volume and surface area of n-sphere allows to evaluate volumes and areas of negative-dimentional n-spheres. $$\begin{array}{ll} S_{n-1}(R) &= ...
4
votes
6answers
674 views

Bounded operator that does not attain its norm

What is a bounded operator on a Hilbert space that does not attain its norm? An example in $L^2$ or $l^2$ would be preferred. All of the simple examples I have looked at (the identity operator, the ...
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 ...
4
votes
2answers
430 views

Boundedness of operator on Hilbert space

I have the following question: let $\mathcal{H}$ be a Hilbert space and $\{\varphi_{i}\}_{i \in \mathbb{N}}$ be an orthonormal basis. Furthermore let $T: \mathcal{H} \rightarrow \mathcal{H}$ be an ...
4
votes
5answers
547 views

Why do bases of infinite dimensional spaces need to be orthonormal?

I asked this question following a discussion in my Mathematical Methods course and didn't get a satisfactory answer. If we have an infinite dimensional Hilbert space, why do we need an orthonormal ...
4
votes
1answer
3k views

Volterra Operator is compact but has no eigenvalue

Volterra operator is defined as operator $V:L^2[0,1]\rightarrow L^2[0,1]$ by \begin{eqnarray} (V)(f(x))=\int_0^xf(y)dy \end{eqnarray} Would you help me to prove that this operator is compact but has ...
4
votes
2answers
556 views

A counterexample to theorem about orthogonal projection

Can someone give me an example of noncomplete inner product space $H$, its closed linear subspace of $H_0$ and element $x\in H$ such that there is no orthogonal projection of $x$ on $H_0$. In other ...
4
votes
2answers
284 views

Is this operator bounded? Hilbert space projection

Let $V \subset H$ be Hilbert spaces (different inner products) with $V$ dense in $H$. Let $b_n$ be an orthonormal basis for $H$ and an orthogonal basis for $V$. Define $$P_n:H \to ...
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, ...
4
votes
5answers
968 views

Subspaces of Hilbert Spaces of finite dimension

Given a Hilbert space $H$ of finite dimension, why is any subspace of this space closed? I tried bashing out an answer using an arbitrary Cauchy sequence $\{ f_1 , f_2, \ldots \} \subset S \subset H $ ...
4
votes
2answers
158 views

Do all angles occur in Hilbert spaces?

Let $X$ be a Hilbert space with scalar product $(\cdot,\cdot)$. Then for two vectors $v,w$ of norm $1$, we can interpret $(v,w)$ as an angle, so that $(v,w)=\cos(\varphi)$ for a unique angle ...
4
votes
2answers
467 views

Paradox or Error: On the inclusion of dense subspaces into Hilbert spaces

the following observations are very simple, but I suppose they contain an error, which I haven't been able to find it so far. Maybe somebody can help how to fix it: Let $H$ be a Hilbert space, $U$ be ...
4
votes
2answers
183 views

One of these two operators is not invertible

I have a Hilbert space $H$ and a bounded self-adjoint operator $T$ on it with $||T||=1$. I've been trying to show that at least one of $I+T, I-T$ are not invertible, but I haven't been able to make ...
4
votes
1answer
224 views

Normal $T\in B(H)$ has a nontrivial invariant subspace

I am wondering if the following is true: Every normal $T\in B(H)$ has a nontrivial invariant subspace if $\dim(H)>1$?
4
votes
1answer
920 views

Hilbert-Schmidt Operator

We have just covered Hilbert-Schmidt operators in class (which I missed) and I am having a hard time getting my head around them. I know the definition: If $H$ is a Hilbert space and ...
4
votes
4answers
2k views

Compact operator

If $H$ and $K$ are Hilbert spaces,show that if $T:H\longrightarrow K$ is a compact operator and $\{e_{n}\}$ is any orthonormal sequence in $H$ then $\|Te_{n}\|\to0$.Is the converse true? thanks.
4
votes
1answer
88 views

Does $S^\bot+T^\bot = (S\cap T)^\bot$ hold in infinite-dimensional spaces?

If $S$ and $T$ are subspaces of some finite-dimensional inner product space then $$S^\bot+T^\bot = (S\cap T)^\bot.$$ See, for example, this post or this post Does it hold in infinite-dimensional ...
4
votes
3answers
99 views

$A^2$ self-adjoint and Compact, prove $A$ has an eigenvalue

Suppose $H$ is a Hilbert space and $A \in L(H)$ is such that $A^2$ is compact and self-adjoint. Prove that $A$ has an eigenvalue. (Here $L(H)$ is the set of bounded linear operators on a Hilbert ...
4
votes
3answers
838 views

What is a Hilbert space?

I've just seen a question about Hilbert Subspaces. This made me wonder what a Hilbert space is. Can anyone explain in layman's terms?
4
votes
2answers
988 views

$\ell_{p}$ space is not Hilbert for any norm if $p\neq 2$

My question is motivated by this one: $\ell_p$ is Hilbert space if and only if $p=2$ Maybe it is a simple thing or im just confused but, suppose we are given any norm in $\ell_{p}$ for $p\neq 2$. ...
4
votes
1answer
945 views

Formula for trace of compact operators on $L^2(\mathbb{R})$ given by integral kernels?

Given an appropriate function $K: \mathbb{R}^2 \to \mathbb{C}$, say continuous of compact support, we obtain a compact operator $T$ on the Hilbert space $L^2(\mathbb{R})$ by the formula $$ (T h)(t) = ...
4
votes
1answer
59 views

How to conclude $\Re $ is zero?

I'm in a Hilbert space $H$ and for $z,v, h \in H$ and $t \in \mathbb C$ I have $$ \|z\|^2 \leq \|h−(tv+y)\|^2 = \|z−tv\|^2 =\|z\|^2 −2\Re(t⟨v,z⟩)+|t|^2\|v\|^2$$ According to my notes it follows ...
4
votes
1answer
340 views

A linearly independent, countable dense subset of $l^2(\mathbb{N})$ [duplicate]

Possible Duplicate: Does there exist a linear independent and dense subset? I am looking for an example of a countable dense subset of the Hilbert space $l^2(\mathbb{N})$ consisting of ...
4
votes
4answers
1k views

Weak and pointwise convergence in a $L^2$ space

Let $I$ be a measured space (typically an interval of $\Bbb R$ with the Lebesgue measure), and let $(f_n)_n$ a sequence of function of $L^2(I)$. Assume that the sequence $(f_n)$ converge pointwise ...