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

learn more… | top users | synonyms

0
votes
3answers
202 views

polar decomposition proof

Let $H$ be a hilbert space and $T$ a bounded linear operator on $H$. I'm trying to prove that there is a partial isometry $V$ on the closure of $Im(|T|)$ such that $T=V|T|$ and $|T|=V^*T$, where ...
4
votes
2answers
64 views

Orthogonal representation of finite operator

I would like to know if my proof is correct. Statement: Let $T$ be a finite rank operator on a Hilbert space $\mathscr{H}$. Show that $\forall \, h \, \in \mathscr{H}, \, T(h)$ can be written as ...
1
vote
0answers
253 views

Proving that a positive operator has a unique square root

Rudin's functional analysis page 331 theorem 12.33) proves this. He proves uniqueness by 'going back' to the general algebra setting. I was just wondering whether there is a more direct way of doing ...
1
vote
2answers
40 views

Showing $P^2=P$ for $P(v)=\frac{\langle v,w\rangle }{||w||^2}w$

My book asserts that for fixed $w$ where $w\neq 0$ that $P^2=P$ for $P(v)=\frac{\langle v,w\rangle }{||w||^2}w$ My book has a general corralary that $v\to P(v)$ is a bounded linear transformation and ...
1
vote
2answers
96 views

uniqueness of positive operator

Let $A,B$ be commuting positive operators on a Hilbert space such that $\langle(A-B)(A+B)x,x\rangle=0$ for all $x$ in the Hilbert space. Prove that $A=B$. My attempt: The above implies that $A=B$ on ...
2
votes
1answer
157 views

$\langle Tx,x \rangle=0$ proof

If $T$ is a bounded operator on a hilbert space $H$ and $\langle Tx,x \rangle=0$ for all $x$ in $H$, then $T=0$. I'm considering what we can conclude if $\langle Tx,x \rangle=0$ for all $x$ in some ...
2
votes
1answer
76 views

Polar Decomposition: Unitarity

Prove that the left and right shifts on $l_{2}$ have no polar decomposition (i.e. $UP$ where $U$ is unitary and $P$ is positive).
2
votes
3answers
163 views

Normal Operators: Polar Decomposition (Rudin)

On page 332 theorem 12.35b) of Rudin functional analysis is show that if T is normal then it has a polar decomposition $T=UP$. Does he mean that $P=|T|$? He's a bit ambiguous as to how he defines ...
0
votes
2answers
126 views

functional calculus and spectral measure

Let $T$ be a normal operator and $f$ be a bounded borel function on ${\sigma}(T)$. If $E_{T}$ and $E_{f(T)}$ are the spectral decompositions of $T$ and $f(T)$ respectively, prove that for any borel ...
0
votes
2answers
202 views

generalized eigenspace direct sum

Similar to the way an infinite dimensional hilbert space can be written as a direct sum of eigenspaces of a normal compact operator, I was wondering whether it can be written as a direct sum of ...
3
votes
1answer
878 views

Functional weakly lower-semicontinuous [duplicate]

If $X$ is a topological space, then a functional $\varphi:X\to\mathbb{R}$ is lower-semicontinuous (l.s.c) if $\varphi^{-1}(a,\infty)$ is open in $X$ for any $a\in\mathbb{R}$. If $X$ is a Hilbert ...
2
votes
1answer
163 views

Dual of Hilbert space dense in dual of Reflexive space.

I don't see how to solve this problem which I think should be easy: Let Y be a reflexive space. Assume $Y$ is continuously embedded in a Hilbert space $H$ and $Y$ is dense in $H$. Show that $H^*$ is ...
1
vote
1answer
53 views

spectral measure and integral query

I have proved the 'resolution of the identity' for a normal operator, namely that there is a unique spectral measure E such that $\int_{{\sigma}(T)} {\lambda}\,dE=T$ If (${\lambda}_{n}$) is the ...
1
vote
3answers
308 views

Borel functional calculus

For a normal operator T, we have a resolution of the identity $\int_{{\sigma}(T)} {\lambda}\,dE=T$. If $T$ is in addition compact , we have that $\sum_{n=1}^{{\infty}}{\lambda}_{n}\langle ...
3
votes
1answer
168 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 ...
1
vote
0answers
66 views

The Haar basis ,proof of orthonoramality.

please i have this problem and i known how to prove completeness but do not know how to prove that it is orthonormal. I will appreciate it if anyone can help me. Given that $n\geq1$ write ...
1
vote
1answer
60 views

Fredholm operators in Hilbert spaces

Suppose $T_r$ and $T_l$ are the left and the right translations in $l_2$. $T_l$ maps $(x_1,x_2,x_3,...)$ to $(x_2,x_3,x_4,...)$, $T_r$ maps $(x_1,x_2,x_3,...)$ to $(0,x_1,x_2,...)$. It can be easily ...
4
votes
1answer
163 views

Spectral decomposition of normal operator

Define $T$ from $L_{2}(R)$ into itself by $T(f)(t)=f(t+1)$. Show that $T$ is normal and finds its spectral decomposition. I've shown that $f$ is normal (in fact it's unitary) but how do I find its ...
0
votes
2answers
441 views

Cauchy-Schwarz Inequality by sum of squares.

i'm trying to solve: Prove the Cauchy-Schwarz inequality by writing $||x||^2||y||^2− |⟨x,y⟩|^2$ as a sum of squares. I'm fairly well versed in Cauchy Schwarz and know several proofs but I'm confused ...
3
votes
1answer
229 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 ...
0
votes
1answer
28 views

Identification of tensor product spaces

Let $P_1, P_2$ be (probability) measures, $\Omega_1, \Omega_2 \subset \mathbb{R}^n$ . Prove that $L_{P_1 \otimes P_2}^2(\Omega_1 \times \Omega_2)$ and $L_{P_1}^2(\Omega_1) \otimes L_{P_2}^2(\Omega_2)$ ...
2
votes
1answer
87 views

Polar decomposition corollary

Let $T$ be a compact operator on an infinite dimensional Hilbert space. Let $|T|=(T^*T)^{0.5}$. By the polar decomposition theorem there is a partial isometry $S$ of the closure of Im$(|T|)$ such that ...
2
votes
0answers
380 views

Duality pairing and difference with inner product in Hilbert spaces

My question is an extension to the post Acting of a dual pairing in Sobolev Spaces. Here duality pairings were discussed and even given explicit examples. Let $U$ and $V$ be Hilbert spaces such that ...
4
votes
0answers
130 views

Spectral decomposition of $TT^*$

On $l_{2}$ let $T$ be given by $Te_{n}=\frac{e_{n+1}}{n+1}$ where $(e_{n})_{n\ge1}$ is the canonical orthonormal basis. Find the spectral decomposition of $TT^*$. I find that ...
2
votes
0answers
119 views

about a theorem of weakly lower semicontinuous functions

I am studying the proof of the following theorem Theorem: Let $E$ a Hilbert space and suppose that $\varphi :E \rightarrow R$ is a weakly lower semicontinuous functional. Suppose that $\varphi$ is ...
7
votes
1answer
248 views

Does this sequence of operators converge in norm or strongly?

Let $H$ be a Hilbert space and $\mathcal{L}(H)$ the set of all bounded linear operators $L:H\to H$, equiped with the usual norm $\|\cdot\|_{\mathcal{L}}$. Let $T:D(T)\subset H\to H$ be a ...
2
votes
2answers
91 views

Has this theorem (on existence of inverse) an analogous for unbounded operators?

Let $S,T:X\to X$ be bounded linear operators, where $X$ is a Banach space. It's a consequence of the Banach Fixed Point Theorem that if $T$ is invertible and $\|T-S\|\|T^{-1}\|<1$ than $S$ is ...
0
votes
1answer
25 views

Image and Kernel of a certain bounded operator

Consider and Hilbert Space $X$, $T\in B(X)$ and a scalar $\mu$ s.t. $|\mu|=||T||$ By a simple argument I deduced that $\ker(\mu I- T)=\ker(\bar\mu I-T^*$) where $*$ denotes the adjoint. I am then ...
3
votes
1answer
130 views

Fourier series to calculate infinite series

I try to show that $\sum_{i=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6}$ using Fourier series and $f(x) = x$ on $L^2_{\mathbb{C}}[-\pi, \pi]$, with basis $e_n(x) = \frac{1}{\sqrt{2\pi}}e^{inx}$. I ...
5
votes
0answers
72 views

In which cases the spectrum of an operator contains only eigenvalues?

Let $X\neq \{0\}$ be a complex normed spaces (not necessarily finite-dimensional) and $T:D(T)\subset X\to X$ a linear operator (not necessarily bounded). I would like to know under what conditions can ...
1
vote
0answers
183 views

The Hilbert space $\mathcal{H}_\eta$ and unitary correspondence with $L^2[a,b]$

The question I have is related to a problem in Stein and Shakarchi's Real Analysis, Chapter 4. The problem Let $\eta(t)$ be a fixed strictly positive continuous function $[a,b]$. Define ...
2
votes
1answer
98 views

Closure of partial differential operators on $L^2(\Omega)$

Let $\Omega:=\mathbb{R}^2\setminus\{0\}$. Consider the $\textit{uniformly elliptic}$ second order differential operator on $L^2(\Omega,\mathbb{C})$ $$ H=-\partial_x^2-\partial_y^2+ ...
2
votes
1answer
754 views

Show the Volterra Operator is compact using only the definition of compact

The Volterra operator $V:L^{2}[0,1]\rightarrow L^{2}[0,1]$ is defined by $(Vf)(x)=\int_0^xf(t)dt$. I am wondering if it can be shown that $V$ is compact by definition - that is, either that $V$ ...
0
votes
1answer
222 views

Weak limits and subsequences

Let $S:X \to X$ be a (nonlinear) map between a Hilbert space $X$. I want to show that $S$ is weakly continuous, so if $x_n \rightharpoonup x$, then $S(x_n) \rightharpoonup S(x)$. To do this, I have ...
1
vote
3answers
113 views

Show the Cauchy-Schwarz inequality holds on a Hilbert space

How would one go about showing this? Its a question in one of the workbooks but it doesn't provide an answer. Any help would be appreciated.
2
votes
1answer
206 views

Positive compact operator has unique square root.

Let H be a hilbert space and T be a compact positive operator so that by the spectral decomposition theorem, $T=\sum_{n=1}^{\infty}{\lambda}_{n}\langle x,e_{n}\rangle e_{n}$ where the $e_{n}$ are the ...
3
votes
1answer
62 views

Question on a derivative on a Hilbert space

I have this functional $J(u)=\frac12 \|u\|^2+\int_0^1 F(t,Ku(t))dt$ where $F(t,u)=\int_0^u f(t,\xi) d\xi$,$\displaystyle Ku(t)=\int_0^1 G(t,s)u(s) ds$ with $G(t,s)=\begin{cases} s(1-t),&0\leq s ...
0
votes
2answers
28 views

Show that with Orthonormal system in a Hilbert space

Okay so I completed part (i) and I got some help on part (ii) so I am fine with that now. I'm stuck on part (iii) though and don't really understand. Any help would be appreciated
0
votes
1answer
26 views

Proving a system is linearly independent in a Hilbert Space

Okay, I've done part (i) but I'm stumped on part (ii) and how I can show that. Any help would be appreciated please.
4
votes
3answers
149 views

help with showing completeness

Let $\left\{H_n\right\}_{n=1}^\infty$ be a sequence of Hilbert spaces and let $H=\left\{\left\{x_n\right\}:x_n\in H_n, \sum ||x_n||^2<\infty \right\}$. Define the inner product as ...
0
votes
1answer
99 views

Spectral theory and sequences: is this fact a general truth or does it depend on the operator?

Let $\lambda\in\mathbb{R}\setminus\{0\}$, $\textbf{i}$ the imaginary unit, $H$ a Hilbert space, $T:D(T)\subset H\to H$ a invertible densely defined linear operator such that $T^{-1}$ is bounded, ...
1
vote
3answers
82 views

If $\langle x,y\rangle = \langle x,z\rangle$ for all $x \in H$ then $y=z$

My professor made the following claim in the body of a proof and verbally explained why it was justified. I thought I understood his explanation at the time but on reviewing my notes it's not as ...
2
votes
1answer
454 views

Conditional expectation as an orthogonal projection to what subspace?

Given a random variable $X$ and a sub sigma algebra $N$ of its sampling space, it is often said that $E(\dot \, \mid N)$ is an orthogonal projection, since $X-E(X\mid N)$ and $E( X\mid N)$ are ...
0
votes
0answers
95 views

Show these operators converge to a particular limit

Let $H$ be a Hilbert space, and $T$ be a operator on $H$ of the form $T=\sum_{n=1}^{\infty}{\lambda}_{n}<x,e_{n}>e_{n}$ where $e_{n}$ are the eigenvectors of $T$ and an orthonormal basis of H ...
1
vote
1answer
69 views

Naturality of Riesz' Representation

What does it mean precisely in the context of category theory when somebody says that Riesz' representation is canonic resp. every Hilbert space is naturally antiisomorphic to its dual?
1
vote
1answer
75 views

A question about closed balls in Hilbert Space.

Let $H$ be a separable and infinite dimensional Hilbert Space and let $B$ be a closed ball of $H$ whose diameter is some positive real number. Is every covering of $B$ by closed bounded subsets of ...
0
votes
1answer
18 views

If $u_n \rightharpoonup u$ and $Au_n \rightharpoonup b$, does it follow that $\limsup_{n \to \infty}(Au_n, u_n) \leq (b, u)$ if $A$ is continuous?

Let $H$ be a Hilbert space and let $A:H \to H$ be a (nonlinear) continuous map. If $u_n \rightharpoonup u$ and $Au_n \rightharpoonup b$, does it follow that $$\limsup_{n \to \infty}(Au_n, u_n) \leq ...
6
votes
1answer
360 views

Duality mappings on finite-dimensional spaces

I have a few questions regarding some concepts in a book "nonlinear partial differential equations by Roubicek" I am studying. The following is from the text. "Let $V$ be a separable, reflexive ...
2
votes
0answers
92 views

Product of strong and weakly converging sequences

Consider a sequence of functions $\{u_n\}\in L^2([0,T],L^2(\Omega)) $ which converges strongly to a function $u\in L^2([0,T],L^2(\Omega))$. Then $u_n \rightarrow u \;\; a.e. $ in ...
0
votes
2answers
118 views

Checking whether an operator is self-adjoint. Problem with domain of an operator.

I want to check whether the position operator $A$, where $Af(x)=xf(x)$ , is self-adjoint. For this to be true it has to be Hermitian and also the domains of it and its adjoint must be equal. The ...