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

learn more… | top users | synonyms

9
votes
0answers
498 views

On the weak and strong convergence of an iterative sequence

I have some difficulties in the following problem. I would like to thank for all kind help and construction. Let $H$ be an infinite dimensional real Hilbert space and $F: H\rightarrow H$ be a ...
9
votes
0answers
353 views

Is this question solvable? $2$ non-linear equations and the proof that the solution is unique (with asymmetric bounty option)

As mentioned in the title I want to show the uniqueness of the solution to $2$ non-linear equations. However, it seems that I can not solve this question with my current mathematical knowledge. More ...
9
votes
0answers
479 views

An infinite series expansion in terms of the polylogarithm function

We have the complex valued function: $$f(z)=\sum_{n=0}^{\infty}a_{n}\text{Li}_{-n}(z)\;\;\;\;\;\;\;(\left | z\right |<1)$$ We wish to recover the coefficients $a_{n}$. The only thing I though would ...
6
votes
0answers
58 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 ...
6
votes
0answers
327 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 ...
6
votes
0answers
522 views

Why is the numerical range of an operator convex?

Let $T$ be a Hilbert space operator. Its numerical range is \begin{equation} W(T)=\{\langle Tx,x\rangle:\|x\|=1\}.\end{equation} It is a well-known fact that $W(T)$ is a convex subset of the complex ...
5
votes
0answers
35 views

Bounded Operators: Topological Dual

Given Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$. Consider the bounded operators: $$\mathcal{B}(\mathcal{H},\mathcal{K}):=\{T:\mathcal{H}\to\mathcal{K}:\|T\|<\infty\}$$ Regard the linear ...
5
votes
0answers
130 views

If the Fourier transform of a measure is zero then the measure is zero

If $\mu$ is a complex finite Borel measure on a separable real Hilbert space $H$ be such that $$\hat \mu (x) = \int \limits _H \Bbb e ^{\Bbb i \langle x, y \rangle} \Bbb d \mu _{(y)} = 0, \ \forall x \...
5
votes
0answers
53 views

Progressed : Convergence problem in Hilbert Space and necessity of inner product

******** PROGRESS : so thanks to Ian's great comment I can get by the proof and that completeness is necessary but I need to know does this hold for general Banach spaces that are not Hilbert spaces? ...
5
votes
0answers
60 views

Over ZF does “every non-seperable Hilbert space has an orthonormal basis” imply “there exists a non-Lebesgue measurable set”?

I know from this question that it's an open problem whether or not the existence of a dense orthonomral basis for every real or complex Hilbert space $(\text{B}_\text{orth})$ implies the axiom of ...
5
votes
0answers
76 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
76 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 X,...
5
votes
0answers
89 views

Modes of convergence in infinite direct sums of $L^{2}$ spaces

It is known that if a sequence of random variables converges in norm then there exists a subsequence which converges almost surely. That is: let $\left(X_{n}\right)_{n\in\mathbb{N}}\subseteq L^{2}\...
5
votes
0answers
67 views

Find a relationship between $\hat f$ and $\hat g$, given $g(x)=\int^{x+1}_x f(t)\,dt$, $f\in L^2(\mathbb R)$,

Given $f\in L^2(\mathbb R)$ and $g(x)=\int^{x+1}_x f(t)\,dt$ (a) Relate $\hat f$ and $\hat g$ (b) Prove $g\in H^1(\mathbb R)$ Part A: $$\hat g(k)= \int^{\infty}_{-\infty} \int^{x+1}_{x} f(t)\,...
5
votes
0answers
76 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 ...
5
votes
0answers
246 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
0answers
174 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
0answers
124 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
520 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
210 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 ...
4
votes
0answers
52 views

Operator continuity on Hilbert space

Let $A: H \to H$ be a linear operator on Hilbert space $H$, and let $\{\alpha_n\}_{n = 1}^{\infty} \subset \mathbb{R}$ converges to nonzero number. Prove that if the series $\sum_{n = 1}^{\infty} \...
4
votes
0answers
54 views

Submultiplicative Hilbert space norm on $B(H)$

Let $H$ be a complex Hilbert space and let $B(H)$ denote the space of bounded linear operators $H \to H$ equipped with operator norm: $$ \lVert T \rVert = \sup\big\{ \lVert Tx \rVert \: : \: \lVert x \...
4
votes
0answers
56 views

Null Functional on $l^2$

Let $l^2$ be the hilbert space of all complex sequences $\psi= (\psi_n)_{n=0}^{\infty}$ such that $\sum_{j=0}^{\infty} |\psi_j |^2 < \infty$. Let $\phi= (\phi_n)_{n=0}^{\infty}$ be a sequence of ...
4
votes
0answers
87 views

Hilbert space in Papa Rudin

In Rudin's Real and Complex Analysis, there is a problem in Chapter 4 on a Hilbert space $X = \text{span} \{e^{ist} \, \mid \, s \in \mathbb{R}\}$ with the inner product $$(f,g) = \lim_{T \to \infty} \...
4
votes
0answers
127 views

Inner product space of measures

Let $(X,\Sigma)$ be measurable space and $\mu_1,\mu_2,\dots$ set of finite measures on $X$ such that $\mu_i \perp \mu_j$ for $i\neq j$. Now we can consider space of measures: $$ \mathcal{M} = \left\{ ...
4
votes
0answers
37 views

A question about equivalence of norms involving infimum

Let $I$ be a Banach space with norm $\lVert\cdot\rVert_I$. The norm $$\inf\{\lVert(G_i(u_i))_i\rVert_{\ell^2}\mid u=\sum_{I \geq 0}u_i\}\qquad\text{is equivalent to}\qquad \lVert{u}\rVert_{I}$$ where ...
4
votes
0answers
119 views

Schrodinger Operator with Finite Discrete Spectrum in $(-\infty, -1]$

I'm reading parts of Reed and Simon's Analysis of Operators and have come across a statement I find puzzling. They say that if $V$ is a bounded function of compact support on $\mathbb{R}^3$ then $-\...
4
votes
0answers
93 views

An inequality for positive operators

Let $S$ and $T$ be positive operators on a Hilbert space $\mathcal{H}$. Suppose that $S \le T$. Since the square root function is operator monotone, it follows that $S^{1/2} \le T^{1/2}$. Does the ...
4
votes
0answers
113 views

Trace class operators problem

Let $\mathcal{B}_1(\mathcal{H})$ be the set of trace class operators in a Hilbert space $\mathcal{H}$ and $\mathcal{H}^{(d)} = \bigoplus_{i=1}^d \mathcal{H}$ with $1 \leq d \leq \infty$. If $C \in \...
4
votes
0answers
175 views

Operators such that $\langle Ax,x \rangle=-\langle x,Ax \rangle$

Let $X$ be a Banach space. We consider the differential equation: $$x'(t)=Ax(t), \ \ \ t\in\mathbb{R}$$ where $A$ is a bounded operator on $X$. If $X$ is a Hilbert space, and $x(t)$ is a solution of ...
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 $T^*(e_{n})=\frac{e_{n-...
4
votes
0answers
107 views

Ultraweak topology on Banach spaces

If $X$ and $Y$ are Banach spaces with $Y$ reflexive, then the space $\mathcal{B}(X,Y)$ of bounded operators from $X$ to $Y$ is the dual of the projective tensor product of $X$ and $Y^{*}$. As in the ...
4
votes
0answers
137 views

For $A$ self-adjoint, $\sup_{|x|=1}\langle Ax,x\rangle = \max \sigma(A)$

For a self-adjoint operator $A$ on a Hilbert space $H$, one has $\sup_{|x|=1}\langle Ax,x \rangle = \max\sigma(A)$. I want to prove this using the spectral theorem. My idea is: Let $a = \max\sigma(A)...
4
votes
0answers
91 views

What is $H^1([0,1]) \otimes H^1([0,1])$?

Let $H^1([0,1])$ denote the Sobolev space $H^1$ on the interval $[0,1]$. What is $H^1([0,1]) \otimes H^1([0,1])$? Here, $\otimes$ the tensor product of Hilbert spaces. In particular, how is that ...
4
votes
0answers
168 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 ...
4
votes
0answers
68 views

Differentiating an infinite series in Hilbert space

Suppose $H$ is separable Hilbert space and $w_j$ is a basis. Suppose we have $h=\sum a_j(t)w_j$ an infinite sum where the coefficients are functions of $t$. The sum makes sense in the sense that the ...
4
votes
0answers
139 views

Concerning unbounded linear operators on a Hilbert space

Let $H$ be some Hilbert space and let $B:H\rightarrow H$ be a bounded linear operator and $T:H\rightarrow H$ an unbounded linear operator. Furthermore we assume that $T$ is closed ,i.e. it's graph in $...
4
votes
0answers
300 views

Inverse of Identity plus Volterra operator

consider the following operator or $L_2(0,1)$, $(Pw)(x)=w(x)+\int_0^x K(x,y)w(y)dy+\int_x^1 K(y,x)w(y)dy$, where the integral kernel is a polynomial. I am trying to construct the inverse of this ...
4
votes
0answers
194 views

Must-read papers in Operator Theory

I have basically finished my grad school applications and have some time at hand. I want to start reading some classic papers in Operator Theory so as to breathe more culture here. I have read some ...
4
votes
0answers
158 views

When functions, analytically continued, carry over certain properties

Let $ \Omega $ be a sufficiently smooth planar region in $ \mathbb{R}^2 $ with spectrum $ \Gamma $ (the set of eigenvalues of the Laplace operator on functions which vanish on the boundary $ \partial \...
4
votes
0answers
96 views

Counting balls in Hilbert spaces

Let $W$ be a real Hilbert space of dimension $n$ and $V$ a Hilbert subspace of dimension $m$. Assume that $f_1,\cdots,f_k$ are points in $W$ such that the following holds: there exists $\sigma>0$ ...
3
votes
0answers
37 views

Spectrum of Laplace operator with potential acting on $L^2(\mathbb R)$ is discrete

Consider an operator $H=-\Delta +U(x)$ on $L^2(\mathbb R)$ for a function $U(x): \mathbb R \to \mathbb R$ that tends to $+\infty$ as $|x|$ grows. These kinds of operators appear all over non-...
3
votes
0answers
34 views

Show that for the triples $V \subset H \subset V^{*}$, the following are true

Let $H$ be a Hilbert space equipped with scalar product $(,)$ and the corresponding norm $|\cdot|$. Let $V \subset H$ be a linear subspace that is dense in $H$. Assume that $V$ is a Banach space for $\...
3
votes
0answers
31 views

Showing a C* Algebra contains a compact operator

In my functional analysis class we are currently dealing with C* Algebras, and I just met this problem: Let $ \mathbb{H} $ be a separable Hilbert space, and suppose we have $ A \subset B(\mathbb{H}...
3
votes
0answers
31 views

Proving/ Disproving that a set is compact in $l^2$

How can I prove or disprove that the following set in the real sequence space $l^2$ ( equipped with the norm $||(X_1,X_2,...)||_2 = \sqrt {\sum_{i=1}^{\infty} X_i^2}$ ) , is compact? $$ A = ( (X_1,...
3
votes
0answers
39 views

Under what conditions is the resolvent set of a linear operator connected?

Let $(H, \langle \cdot, \cdot \rangle)$ be a Hilbert Space, and assume that $T: H \to H$ is a possibly unbounded linear operator whose domain $D(T)$ is a dense subspace of $H$. As usual, we define ...
3
votes
0answers
56 views

Proving compactness of an operator $(Kf)(t)=\int_{0}^{\infty}k(t+s)f(s)ds$

I was trying to prove the compactness of the following operator: $K:L_2([0,\infty))\to L_2([0,\infty))$ $(Kf)(t) = \int_{0}^{\infty}k(t+s)f(s)ds$, given that the function $k$ is continous, and $\int_{...
3
votes
0answers
34 views

For what operators $A$ on a Hilbert space is the identity operator in the closure of the similarity orbit of $A$?

For a bounded linear operator $A$ on a separable Hilbert space, the similarity orbit of $A$ is the set $S(A)=\{WAW^{-1}: W \text{ is invertible}\}$. I am wondering that if the identity operator $I$ is ...
3
votes
0answers
38 views

Is the integral form of the polarisation identity useful for anything?

It is well-known that the polarisation identity for real vector spaces is $$ \langle a,b \rangle =\frac{1}{2}\sum_{k=0}^1 (-1)^k\lVert a+(-1)^k b \rVert^2, $$ and the complex generalisation is $$ \...
3
votes
0answers
36 views

Operator norm of $P[v]-P[w]$

Let $\mathcal H$ be a complex Hilbert space with inner product $\langle\mid\rangle$, (dirac notation) which is semi-linear (conjugate linear) in the first argument. Let $\mathcal P_1=\mathcal P_1 (\...