0
votes
1answer
11 views

Integration over subsets of the complex plane.

Original Problem: Let $\Omega\subset \mathbb{C}$ be an open set and let $f:\Omega\to\mathbb{C}$ be holomorphic such that $f\in L^{2}(\Omega)$. Show that if $B(z,r)$, the ball of radius $r$ ...
0
votes
1answer
23 views

Existence of minimum norm solution to linear equation $Tx =y$

Let $T: X \to Y$ be a bounded linear map between Hilbert spaces $(X, \langle \cdot , \cdot \rangle_X)$ and $(Y, \langle \cdot , \cdot \rangle_Y)$ (the Hilbert spaces may be complex or just real ...
1
vote
2answers
62 views

Exercise 23 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

Consider exercise 23 from chapter 4 ("Hilbert Spaces: An Introduction") of [1] (p. 198). Any help will be much appreciated. Thank you in advance. Suppose $\{T_k\}$ is a collection of bounded ...
1
vote
1answer
21 views

Extending mappings on simple tensors

Consider the following situation: Let $H, K$ be Hilbert spaces and let $\Phi$ be some mapping defined on simple tensors in $H\otimes K$ taking values in $B(H\otimes K)$ with the property that each ...
0
votes
1answer
39 views

Inner Product in Hilbert Space

Let $H$ be a Hilbert space and $\phi_{1}, \dots, \phi_{n} \in H$ are linearly independent vectors. How can we construct the inner product on $H$ such that $\phi_{1}, \dots, \phi_{n}$ become orthogonal ...
2
votes
1answer
57 views

Exercise 31 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

The following problem shows that $\{e^{inx}\}_{n \in \mathbb{Z}}$ is an orthonormal basis of $L^2([-\pi, \pi])$. It is taken from [1] (exercise 31 of chapter 4: "Hilbert Spaces: An Introduction", pp. ...
1
vote
1answer
34 views

Are there any interesting Hilbert spaces that do not present as function spaces?

I was pondering this question in class earlier: All separable, infinite dimensional Hilbert spaces are isometrically isomorphic. Thus, in particular, any such space is isometrically isomorphic to ...
2
votes
2answers
78 views

Exercise 34 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

Consider exercise 34 from chapter 4 ("Hilbert Spaces: An Introduction") of [1] (p. 201): Let K be a Hilbert-Schmidt kernel which is real and symmetric. Then, as we saw, the operator $T$ whose ...
2
votes
1answer
42 views

“Almost” Hilbert spaces

This question is a bit (very?) vague. Is there some notion of how "close" a Banach space is to being a Hilbert space? What I have in mind is something like a real or complex valued function on ...
2
votes
0answers
18 views

Show that the set $\{e^{\pm i (n-1/4)t}: n=\pm 1,\pm2,\pm3,\ldots\}$ is not a basis for $L^2[\pi,\pi]$

Show that the set $\{e^{\pm i (n-1/4)t}: n=\pm 1,\pm2,\pm3,\ldots\}$ is not a basis for $L^2[\pi,\pi]$. (HINT: The series $$\sum_n c_n e^{i\lambda_n t}$$ with $\lambda_n=n-1/4$, diverges in ...
2
votes
1answer
30 views

Inner product in Besicovitch space

Besicovitch space is a space constructed in the following way: We take the closure (with respect to the uniform convergence topology) of a linear span: ...
3
votes
1answer
21 views

Operator norm and Hilbert Schmidt norm

I'm looking for a proof of \begin{equation} ||T||\leq ||T||_{HS}, \end{equation} for which it is sufficient to show \begin{equation} ||Tx|| \leq ||x|| \cdot ||T||_{HS} \forall x\in H, x\not=0 ...
2
votes
1answer
30 views

Prove that the space P is a Hilbert Space.

Prove that the space P of all entire functions of the form $$f(z)=\frac{1}{2\pi}\int_{-\pi}^{\pi}\varphi(t) e^{-izt} dt,$$ is a Hilbert Space, where $\varphi\in L^2[-\pi,\pi]$. The inner product of ...
2
votes
0answers
36 views

Distance to a closed subspace of a Hilbert space in terms of inner product with the unit normal

Let $M$ be a closed subspace of a Hilbert space $H$, and suppose $x_0\in H$ Show that: $$\min(\|m-x_0\|, m\in M)=\max(|\langle x_0,n\rangle|, n\in M^\perp ,\|n\|=1)$$ I know that $|\langle ...
1
vote
0answers
13 views

Does a set of 'm' linearly independent continuous functions constitute a Hilbert Space

If I have a Sobolev space $\mathcal{H}^m[a,b]$ of functions $f : [a,b]\rightarrow\mathbb{R}$ where for all $f \in\mathcal{H}^m[a,b]$, $f$ and all derivatives up to order $m-1$ are absolutely ...
1
vote
1answer
37 views

Show an operator is compact if $\sum \|Te_n\| < \infty$

Let $H$ be a separable Hilbert space, define a bounded linear operator $T:H \rightarrow H$, show it is compact if $\sum \|Te_n\|_H < \infty$. My attempt: We show that $T(B)$ is totally ...
1
vote
1answer
35 views

Non-separable Hilbert spaces in duals

A topological space $X$ satisfies the countable chain condition if every family of pairwise disjoint open sets in $X$ is countable. I am looking for a reference to the following fact: Suppose that ...
1
vote
1answer
29 views

Exercise about an operator (adjoint and spectrum)

Let $y\in c_0$ and define the operator from $l^2 \rightarrow l^2$ as the following $$T\bigg(\sum x_n e_n\bigg) \mapsto \sum y_n x_n e_n.$$ I have shown that the operator is continuous, compact and ...
0
votes
2answers
43 views

Spectrum of self-adjoint operator on Hilbert space real

My book says that a self-adjoint bounded linear operator $A:H\to H$ on a complex Hilbert (not sure if separability is needed) space has a real spectrum. I guess that the key is in the fact that any ...
0
votes
0answers
40 views

Invertibility of an operator involving inner product

Let $H$ be a Hilbert space with basis $b_i$. For all $t$, let $f(t;\cdot,\cdot)$ be an inner product on $H$. For each $j$, is $$\int_0^T \sum_{i=1}^\infty f(t,b_i,b_j)x_j(t)=0$$ uniquely solvable for ...
0
votes
1answer
17 views

Continuous Quadratic Form $\implies$ Continuous Sesquilinear Form

Given a Hilbert space $\mathcal{H}$. Consider a quadratic form $q:\mathcal{H}\to\mathbb{C}$. Define its inducing sesquilinear form: $$s:\mathcal{H}\times\mathcal{H}\to\mathbb{C}: ...
0
votes
1answer
17 views

Infinite-dimensional version of Gram matrix is invertible

We all know that a Gram matrix (a matrix with entries that are inner products of basis functions) is a invertible. Suppose I have $a_{ij} = (h_i, h_j)_H$ where the $h_j$ are basis functions of a ...
0
votes
1answer
37 views

Isomorphism between Euclidean space and its conjugate

I know that, if $H$ is a Hilbert space, for any continuous linear functional $f\in H^{\ast}$ there is a unique element $x_0\in H$ such that $\forall x\in H\quad f(x)=\langle x,x_0\rangle$. Moreover, ...
2
votes
1answer
38 views

Eigenfunctions and spectrum of $T:H \to H^*$ where $H$ is a Hilbert space

Let $H$ be a Hilbert space with dual $H^*$. Suppose $T:H \to H^*$ is a linear bounded symmetric operator. (We probably don't want to identify $H$ with $H^*$). Can we talk about the ...
-1
votes
3answers
48 views

Selfadjoint Operator: Empty Spectrum

Can a selfadjoint operator have empty spectrum? (As far as I remember, yes; but just to be sure.) The point is that if so then the closure of its spectrum cannot equal the convex hull of its ...
5
votes
1answer
86 views

Continuous linear image of closed, bounded, and convex set of a Hilbert Space is compact

Is my proof of this proposition correct ? And is this proposition well known? Proposition: Let $C$ be a closed, bounded, and convex set in a separable Hilbert space $H$. Let $L : H \to \mathbb{R}^n$ ...
2
votes
2answers
39 views

Is the distance between disjoint closed convex subsets of a Hilbert space positive? Is it attained?

Let $H$ be an infinite dimensional and separable Hilbert space. Let $A,B$ be infinite, closed and convex subsets of $H$. If $A$ and $B$ are disjoint and if at least one of them is bounded, is the ...
1
vote
1answer
15 views

Commutant of a set of operators and norm topology.

In the references I have it's remarked that the commutant $S'$ of a set $S$ in $B(H)$, where $H$ is a Hilbert space, is closed in the weak operator topology. And this is true because if ...
0
votes
0answers
34 views

Hilbert subspaces of $B(\mathbb{R}^n)$

Apart from the one-dimensional subspaces, what are the Hilbert subspaces of $B(\mathbb{R}^n)$? I'm not even sure if such subspaces exist.
2
votes
0answers
41 views

Category of Hilbert Spaces

Is it possible to triangulate the category of Hilbert spaces and bounded linear operators? I assume that one candidate for triangulation is the double dual space. What is a fact is that this ...
2
votes
1answer
27 views

Kernel of the Extension of a Bounded Linear Operator

Suppose $T\colon E\to F$ is a bounded linear operator between Banach spaces. Moreover let $i\colon E\to E’$ be a dense, compact inclusion of $E$ into some other Banach space $E’$. Finally assume that ...
2
votes
1answer
48 views

Chain of closed subspaces in a Hilbert Space

Let $H$ be a separable Hilbert Space (WLOG, we may assume $H=\ell_2(\mathbb{N})$ is the space of square summable sequences). Can there exist an uncountable chain of closed subspaces? In other words, ...
2
votes
1answer
37 views

If a compact operator satisfies $T^nx\to0$ weakly for all $x$, then $\|T^n\|\to0$

Let $H$ be a real Hilbert space, $T:H\to H$ be a compact operator. Suppose that for every $x\in H$, sequence $(T^n x)_{n\in \mathbb{N}}$ converges weakly to $0$. How to prove that $ ...
1
vote
0answers
74 views

Conditions for the commutator of two operators on a Hilbert space to not be a nonzero scalar operator

I have shown a proposition: Suppose $A$ and $B$ are two linear operators on a (complex) Hilbert space, where the domains may not be the whole. Then, if either $A$ or $B$ is normal and has an ...
2
votes
1answer
37 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)$ ...
4
votes
1answer
48 views

For a Hilbert space $\mathcal{H}$, is every bounded linear operator on $\mathcal{H}$ a linear combination of unitary operators?

Let $(\mathcal{H}, (\cdot, \cdot))$ be a Hilbert space, and let $B \in \mathcal{B}(H)$ be a bounded linear operator on $H$. If $\mathcal{H}$ is a complex Hilbert space, then $B$ can be written as a ...
1
vote
1answer
37 views

Prove that a Hilbert space is convex of power type $2$

Let $X$ be a Banach space. For $\epsilon \in (0,2]$, define: $$\delta_X(\epsilon) = \inf_{x,y \in X}\{1 - \|\frac{1}{2}(x + y)\| : \|x\| = \|y\| = 1, \|x-y\| \ge \epsilon\}.$$ Then we say that $X$ ...
1
vote
1answer
28 views

Prove that a linear and continuous operator admits inverse in Hilbert space

Let $(H,(\cdot,\cdot))$ an Hilbert space and $A:H\rightarrow H$ a linear and continuous operator such that there exists $\alpha >0$ such that $$(Au,u)\geq \alpha \|u\|^2 \text{ for each } u\in H.$$ ...
1
vote
1answer
26 views

Skew-adjoint differential operator $B$ with spectrum $\sigma(B)=i(-\infty,-1]$

Consider the Hilbert space $X=L^{2}\left(\mathbb{R}^n\right)$ and the Schrödinger operator $A=i\Delta$ defined on the domain $D(A)=H^2(\mathbb{R}^n)$. It is known that the spectrum of $A$ is ...
1
vote
1answer
35 views

Hilbert Space: Weak Convergence implies Strong Convergence

This probably might be a duplicate - let me know if so. I read the following in Graf's notes on quantum mechanics - can you give me a hint for the proof. In Hilbert spaces weak convergence in a way ...
1
vote
0answers
43 views

Prove that operator is completely continuous

Let's consider Banach space $\ell^\infty$ of bounded sequences $x = \{ \xi_n\}_{n=1}^\infty$: $$ ||x|| = \sup_{n \in \mathbb N} |\xi_n|. $$ Suppose matrix $||a_{i j}||_1^\infty$ specifies operator $A$ ...
0
votes
1answer
23 views

Riesz (Hilbert-space) representation theorem and dirac delta on $\mathcal{C}_{0}$

I am thinking about this for a while now, but don't get near an understanding, so I must have gotten something important wrong. I look at $\mathcal{C}_{0}$, the space of countinuous (bounded) ...
1
vote
1answer
40 views

Relation between $\epsilon$-pseudospectrum of operators

If $H$ is a Hilbert space and $\sigma_{\epsilon}(T)$ denotes the space of all $\epsilon$-pseudospectrum of the operator $T$ and $S, T\in B(H)$ be such that $TS=ST=0$, why ...
2
votes
0answers
27 views

difference between uniformly convex norms and strictly subadditive norms?

What is the difference between uniformly convex norms and strictly subadditive norms? why we need to define two above concept? how they help us to study Banach spaces? Is the norm induced by ...
0
votes
1answer
64 views

Formulas for Schrödinger unitary groups of operators

Let $\Omega$ an open set of $\mathbb{R}^n$. Consider the Hilbert space $X=L^{2}\left(\Omega\right)$ and the Schrödinger operator $A=i\Delta$ defined on the domain $D(A)=H^2(\Omega)$. Is there any ...
1
vote
3answers
62 views

Prove that if $T=T^*$ and $\sigma(T)=\{\lambda\}$, then $T=\lambda I$

Show that if $T$ is a self adjoint linear operator on a Hilbert space such that the spectrum contains a single point $\lambda$, then $T=\lambda I$. Then, show this is false if $T$ is not self ...
2
votes
1answer
42 views

Global bounded solution of $u_{tt}=\Delta u-mu+h$ in the Hilbert space $X=H_{0}^{1}\left(\Omega\right)\times L^{2}\left(\Omega\right)$

Let $\Omega$ be an open subset of $\mathbb{R^n}$. Consider the linear wave equation $$\begin{cases} \dfrac{\partial^{2}}{\partial t^{2}}u\left(t,x\right)=\Delta ...
2
votes
1answer
51 views

Maximal subspace on which an operator is bounded

Consider the Banach space $X=C[0,1]$ of real continuous function on $[0,1]$ equipped with the supremum norm. Consider the operator $A:D(A)\to X$, $Af=f'$ for each $f\in D(A)=C^1[0,1]$. We can see that ...
3
votes
2answers
70 views

Properties of reflexive Banach spaces

I just want to see the importance of reflexive Banach spaces and what is special about them compared to other Banach spaces. What kind of properties hold in reflexive spaces that do not necessarily ...
5
votes
1answer
73 views

Show that a subspace of l2 is not complete

I would like to know if this exercise is correct. Let $\Bbb R^\infty=\{x:\Bbb N\rightarrow \Bbb R: \exists n \text{ such that}\quad x(k)=0 \quad \forall k\geq n\}$. Show that $(\Bbb R^\infty, \| ...