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

learn more… | top users | synonyms

5
votes
0answers
168 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 ...
2
votes
1answer
151 views

Norm of Hilbert's operator $H f(x)= \int_0^{\infty} \frac{f(y)}{x+y}\, dy$ [duplicate]

Hilbert's operator $$H f(x)= \int_0^{\infty} \frac{f(y)}{x+y}\, dy \quad\text{ for all } f \in {L}^2(0,+\infty) \text{ and } x \in(0,+\infty),$$ is regular integral operator on $L^2(0,+\infty)$ ...
3
votes
1answer
38 views

Extension of family of operators

Let $A(z)$ where $z\in \mathbb{R}$ be a family of (bounded) operators on some Hilbert space. Assume we know these operators have a meromorphic extension to all of $\mathbb{C}$. Assume moreover that we ...
2
votes
1answer
444 views

Invertibility of a linear operator on a Hilbert space.

Let $H$ be an infinite dimensional Hilbert space over $\mathbb C$, $T$ be a continuous linear operator of $H$, $r(T)=\sup_{||x||=1}|(Tx|x)|$ be the numerical radius of $T$, and $z\in \mathbb C$, such ...
3
votes
1answer
98 views

A certain Hilbert space projection operator; verification needed

Let $V \subset H$ be separable Hilbert spaces with dense and continuous embedding. For each $n$, let $V_n$ and $H_n$ be finite-dimensional subspaces of $V$ and $H$ respectively with dimension $n$. ...
2
votes
1answer
127 views

Spectrum of linear operators

I can't solve the following: i) Let $T:l^2 \rightarrow l^2$ , $Tx=\{ (Tx)_n\}_{n=1}^{\infty}$ given by $$(Tx)_n = \dfrac{1}{2}x_{n-1} + \dfrac{1}{2}x_n.$$ Find $\sigma(T)$. ii) Let $S : l^2 ...
2
votes
1answer
123 views

Want to show an operator is compact

With $V=L^2(0,T;H^1(\Omega))$, let $A:V \to V^*$ with $$\langle Au,v \rangle = \int_0^T \int_{\Omega} \nabla u(t) \cdot \nabla v(t).$$ I want to show that $A$ is a compact operator. So, one way to ...
2
votes
1answer
126 views

If $V \subset H$ compact, is $L^2(0,T;V) \subset L^2(0,T;H)$ compact too?

As the question states, if we have the compact embedding of Hilbert spaces $V \subset H$, is $L^2(0,T;V) \subset L^2(0,T;H)$ compact too? If not true in general, is it true for $V=H^1(\Omega)$ and ...
2
votes
1answer
97 views

Question about Hilbert Schmidt theory

Let $V \subset H \subset V^*$ be a Gelfand triple with all spaces being Hilbert and separable. Suppose $A:V \to V^*$ is such that $$\langle Au,u \rangle_{V^*,V} \geq C\lVert u \rVert^2_{V}$$ and $A$ ...
1
vote
1answer
139 views

Is B(H) a Hilbert space?

If H is a Hilbert space, Is B(H) under the operator norm a Hilbert space? If not, is there exists any norm on B(H) that makes it a Hilbert space?
3
votes
2answers
369 views

Eigenfunctions of Laplacian and orthonormal basis (with different inner products)

Suppose I have $L^2(\Omega)$ which has two inner products that are both norm-equivalent. The eigenfunctions of the Laplacian $\Delta$ we know forms an orthonormal basis of $L^2(\Omega)$ -- with ...
0
votes
1answer
34 views

Confusion about domains and range (operator in $L^2$)

Suppose we have bounded linear maps $F:L^2(A) \to L^2(B)$ and $G:L^2(A) \to L^2(A)$. Let $f \in L^2(B)$ and $u \in L^2(A)$. In fact suppose $f$ is smooth. Is $fF(G(u)) = F(G(fu))$? I want to say ...
0
votes
0answers
140 views

Forming the tensor product of a `real' vector space with a 'complex' vector space.

I have a question that I am hoping someone could clarify for me. Context: Consider the algebra $A = (B,\circ)$, given by: \begin{align} B = \{ \begin{pmatrix} a & f\\ \overline{f} & ...
2
votes
1answer
118 views

Is the limit of compact operators again compact?

Let $(T_n)_{n \in \mathbb{N}} \subset \mathcal{L}(\mathcal{X}, \mathcal{Y})$ where $T_n$, $n \in \mathbb{N}$, is compact. Now, assuming that $(T_n)_{n \in \mathbb{N}}$ has a limit $T \in ...
2
votes
1answer
67 views

Why is closeness of an ideal useful?

In the GNS-construction for an $C^*$-algebra $\mathcal A$ (see this script on page 30) one starts with a state $\phi:\mathcal A\rightarrow \mathbb C$ (positive linear functional with $\|\phi\|=1$). ...
3
votes
1answer
396 views

Compact operator between Hilbert spaces: range and orthogonal complement of the kernel are separable

Let $\mathcal{H}_1$ and $\mathcal{H}_2$ be Hilbert spaces and $T: \mathcal{H}_1 \rightarrow \mathcal{H}_2$ a compact operator. I want to show that $(\ker T)^\perp$ and $\text{ran}\ T$ are separable. ...
1
vote
2answers
214 views

Hilbert space with two inner products; separability and orthonormal basis

Let $H$ be a separable Hilbert space with inner product $(\cdot,\cdot)_H$. So it has an orthonormal basis $h_j$. (You can consider $H=L^2(\Omega)$). Suppose I know that $(\cdot,\cdot)_G$ is an inner ...
1
vote
1answer
67 views

Finite dimensional subspace of Hilbert space and basis

Let $H$ be infinite-dimensional Hilbert space with basis functions $b_i$. Let $B_n = \text{span}\{b_1, ...,b_n\}$. So $\text{dim}(N) = n$. Let $c_i$ be another basis for $H$. Is it true that ...
1
vote
2answers
83 views

Linear algebra in Hilbert space

Let $M,N$ be closed subspaces of a separable Hilbert space. How to prove rigorously the following: $\operatorname{dim} M >\operatorname{dim} N => \exists u\neq0 \in M, u\in N^\perp$ ...
2
votes
0answers
122 views

Function of a completely continuous operator

I would be most thankful if you could help me with this question. If $A$ is a completely continuous Hermitian operator on a Hilbert space $H$, for what class of functions $f$ can one define a function ...
-1
votes
1answer
41 views

Range of $Df(a)$ contained in the subspace $\{f(a)\}^{\perp}$ with $f$ differentiable

Let $A$ a open set in a Hilbert Space $H$, suppose that $f:A\to F$ is differentiable at $a\in A$ and that $||f(x)||=c$ forall $x\in A$. Show that range of $Df(a)$ is contained in the subspace ...
1
vote
2answers
199 views

How to prove $[x,p]=i$ $\implies$ $[x,p^n]=inp^{n-1}$?

How to prove $[x,p]=i$ $\implies$ $[x,p^n]=inp^{n-1}$? I can do this using $p=i\frac{d}{dx}$, but my book hasn't introduced this yet so is there another proof without using this ? These are just ...
5
votes
1answer
204 views

A baby version of the Stein-Cotlar almost-orthogonality lemma

The following is an exercise from Stein and Shakarchi's Real Analysis. Suppose $\{T_k\}$ is a collection of bounded operators on a Hilbert space $H$, each with norm at most $1$. Suppose also that ...
3
votes
1answer
529 views

Direct sum of orthogonal subspaces

I'm working on the following problem set. Let $\mathcal{H}$ be a Hilbert space and $A$ and $B$ orthogonal subspaces of $\mathcal{H}$. Prove or disprove: 1) $A \oplus B$ is closed, then $A$ and $B$ ...
3
votes
1answer
102 views

Questions about $B(H)$ and $B(H)/K(H)$ as Banach space

I am trying to investigate the relation between Uniformly Convexity and existence of Schauder Basis for a Banach space. I read in a Handbook article that $B(H)$ (the algebra of all bounded operators ...
2
votes
1answer
77 views

Hilbert space on line bundle

Suppose that $L$ is a complex line bundle on a manifold $M$ with measure $\mu$, How can we prove, $L^2(M,L,\mu)$ is Hilbert space?
2
votes
1answer
78 views

Sufficient condition for self-adjoint subset of bounded linear operators on a Hilbert space being irreducible

Let $H$ be a Hilbert space and denote as $B(H)$ the bounded linear operators on $H$. Let $M$ be a subset of $B(H)$, s.t. for $A \in M$, also $A^* \in M$. How can one show that if the commutant has ...
4
votes
2answers
98 views

(From Lang $SL_2$) Orthonormal bases for $L^2 (X \times Y)$

Lang $SL_2$ p. 13 :Let $\{\phi_i\}$, $\{\psi_i\}$ be orthonormal bases for $L^2(X)$ and $L^2(Y)$ respectively. Let $$\theta_{ij}(x,y) = \phi_i(x)\psi_i(y).$$ Then $\{\theta_{ij}\}$ is an ...
0
votes
0answers
117 views

Operator identity involving square root of an operator

I would be most thankful if you could help me prove the following identity. Let $A$ and $B$ be two completely continuous Hermitian operators on a Hilbert space $H$, such that $A$ and $B$ do not ...
7
votes
2answers
277 views

Counterexample for the stability of orthogonal projections

Let $V$ be a seperable Banach space, which is dense and continuously embedded in a Hilbert Space $H$. Let $(V_m)$ be a Galerkin scheme (See definition below) for $V$. Using the embedding we can ...
5
votes
1answer
559 views

Proof Complex positive definite => self-adjoint

I am looking for a proof of the theorem that says: A is a complex positive definite endomorphism and therefore is A self-adjoint. Does anybody of you know how to do this?
5
votes
1answer
196 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 ...
1
vote
0answers
71 views

Are the special functions independent?

maybe the bessel functions are some complicated function of the exponential function, logarithm function... or maybe there's a relation between two or more transcendental functions. Is there a way to ...
2
votes
1answer
62 views

Is $L^2(0,T;H_n)$ compactly embedded in $L^2(0,T;H)$?

Let $H$ be a separable Hilbert space with basis $h_i.$ Let $$H_n := \text{span}\{h_1,...,h_n\}.$$ Questions: 1) Is $L^2(0,T;H_n)$ compactly embedded in $L^2(0,T;H)$? 2) Is $L^2(0,T;H_n^*)$ ...
3
votes
2answers
140 views

Equivalent norms imply equivalent inner products?

Let $H$ be Hilbert and let it have two innner products $(\cdot,\cdot)_1$ and $(\cdot,\cdot)_2$. If the norms $|\cdot|_1$ and $|\cdot|_2$ are equivalent, does this ever imply: there exist constants ...
4
votes
0answers
137 views

Is this projection operator onto a subspace of a Hilbert space bounded?

(I copy and paste and edit from Is this operator bounded? Hilbert space projection, my question is almost the same) Let $V \subset H$ be Hilbert spaces (different inner products) with $V$ dense and ...
1
vote
0answers
30 views

Ordering a basis of a hilbert space that has 2 indices

Suppose I am told that $a_j(t)b_i(x)$ for $i,j=1,2,...$ is a orthonormal basis for a Hilbert space $H$. I want to write an element $h= \sum_{k=1}^\infty c_kh_k$ where $h_k$ is a basis for $H$ and ...
4
votes
2answers
254 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 ...
1
vote
1answer
136 views

$\sum c_k^2<\infty$ then $A=\{\sum_{k=1}^{\infty} a_ke_k :|a_k|\leq c_k \}$ is compact

Let $\{e_k\}_{k=1}^\infty$ be an orthonormal set in a Hilbert space $H$. If $\{c_k\}_{k=1}^\infty$ is a sequence of positive real numbers such that $\sum c_k^2<\infty$, then the set: ...
2
votes
1answer
89 views

Question about bases in Hilbert spaces and subspaces

Let $H$ be a Hilbert space. Suppose I have a basis for $H$ called $\{h_j\}$. Define $$H_n := \text{span}\{h_1,...,h_n\}.$$ Suppose now I am given an orthonormal basis for $H$ called $\{v_j\}$. My ...
3
votes
2answers
139 views

Is a Hilbert space $H$ compactly embedded in its dual?

Is a Hilbert space $H$ compactly embedded in its dual? Is it compactly embedded in itself? No idea how to think of this.
0
votes
1answer
58 views

Proof that restriction of hermitian operator to its invariant subspace is also hermitian

Proof that restriction of hermitian operator to its invariant subspace is also hermitian What would be the most elegant way to prove this?
3
votes
1answer
54 views

An element of $L^2(0,T;V_n)$.

Let $V$ be Hilbert with basis $w_j.$ Let $V_n = \text{span}(w_1, ..., w_n)$. Is it true that every element $v \in L^2(0,T;V_n)$ can be written as $$v(t) = \sum_{j=1}^n a(t)w_j?$$ I think so. But my ...
3
votes
1answer
101 views

Is $L^2(0,T;V_f) \subset L^2(0,T;V)$ closed if $V_f \subset V$?

Let $V$ be an infinite-dimensional separable Hilbert space and let $V_f$ be a subspace of $V$ that is finite dimensional. It follows that $V_f$ is closed. Is it true that $L^2(0,T;V_f)$ is closed as ...
4
votes
1answer
370 views

Continuity of scalar product

In a Hilbert space $H$ with inner product and associated norm, why would if $\|x-x_n\| \longrightarrow 0$ and $\|y-y_n\| \longrightarrow 0$ also $\langle x_n,y_n\rangle \longrightarrow\langle ...
0
votes
0answers
43 views

If $V$ is finite dimensional Hilbert space, is $L^2(0,T;V)$ also finite dimensional?

If $V$ is finite dimensional Hilbert space, is $L^2(0,T;V)$ also finite dimensional? I think so, but $L^2$ is infinite dimensional so I am not sure.
0
votes
2answers
57 views

Dual spaces and subsets

Let $X$ and $Y$ be separable Hilbert spaces with duals $X^*$ and $Y^*$. We have that $Y \subset X$. Suppose $A, B \in Y^*$ and that $Ay=By$ holds for all $y \in Y$. I think this means that $A=B$, ...
0
votes
2answers
141 views

Hilbert spaces, convergent sequence

Does anybody has any idea how to proof that a a convergent sequence in Hilbert space is bounded? Thanks for help, I need this to hopefully get to understand a proof of another theorem.
0
votes
1answer
54 views

Continuous linear function agrees with inner product

Consider a continuous linear function $\lambda: H \to \mathbb{C}$, where $H$ is a Hilbert space. I want to show that there is $v \in H$ such that $$\lambda(h) = \langle h, v \rangle$$ for all $h \in ...
16
votes
4answers
976 views

How to interpret the adjoint?

Let $V \neq \{\mathbf{0}\}$ be a inner product space, and let $f:V \to V$ be a linear transformation on $V$. I understand the definition1 of the adjoint of $f$ (denoted by $f^*$), but I can't say I ...