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

learn more… | top users | synonyms

8
votes
0answers
371 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 ...
7
votes
0answers
407 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 ...
6
votes
0answers
46 views

How are Hilbert Space methods used in number theory?

In N. Young's book "An introduction to Hilbert Space," there is an interlude in which the author remarks that the theory of Hilbert spaces is "routinely used in differential geometry, complex ...
6
votes
0answers
294 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 ...
6
votes
0answers
379 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
38 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
0answers
101 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 ...
5
votes
0answers
153 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
162 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
107 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
377 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. ...
4
votes
0answers
53 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} ...
4
votes
0answers
105 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
108 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 ...
4
votes
0answers
88 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
100 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 = ...
4
votes
0answers
127 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
61 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
172 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 ...
4
votes
0answers
92 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
197 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
146 views

What is the dual space of $C([0,T];X)$ ($X$ Hilbert space)?

What is the dual space of $C([0,T];X)$, where $X$ is a Hilbert space? Is it $\operatorname{BV}([0,T]; X^*)$? As we know, for $C([0,T])$, the dual space is $\operatorname{BV}([0,T])$, but when it is ...
4
votes
0answers
132 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
145 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 ...
3
votes
0answers
15 views

Limits of trajectory of gradient flow in Hilbert space

I have been studying about gradient flow in Hilbert space of a Morse function $f$. Specifically, let $X$ be a Hilbert space and $f : X\to \mathbb R$ be $C^3$ function. The gradient flow here is ...
3
votes
0answers
49 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 ...
3
votes
0answers
41 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 ...
3
votes
0answers
59 views

Reproducing kernel Hilbert sapce

I encountered the following claim (verbatim): Theorem Let $V$ be a subspace of $L^2(\mathbb{R})$ and $\{e_n\}$ be a orthonormal basis of $V$. The $V$ is a reproducing kernel Hilbert space with kernel ...
3
votes
0answers
74 views

Does a “typical” reproducing kernel on a manifold generate an infinite-dimensional RKHS?

Let $M$ be a finite dimensional manifold and $k:M\times M\rightarrow\mathbb{R}$ a smooth reproducing kernel. Is the set of all such $k$ with the property that the reproducing kernel Hilbert space ...
3
votes
0answers
91 views

Proving that a certain differential operator is self-adjoint

Consider the differential operator $T:u\mapsto -iu'$ for any $u\in D(T):=\{f\in AC[-\pi,\pi]~|~f'\in L^2(-\pi,\pi),f(-\pi)=f(\pi)\}$; we consider $T$ as a densely-defined operator on $L^2(-\pi,\pi)$. ...
3
votes
0answers
81 views

An orthonormal basis for a Hilbert space

Can anyone give me some hint on the following problem without using any knowledge about complex analysis or Fourier analysis? Thanks a lot! Consider the Hilbert space $$\mathscr{H}:=\bigg\{f\text{ ...
3
votes
0answers
66 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 ...
3
votes
0answers
75 views

Is this operator bounded?

Let $w_j$ be a basis ( not orthogonal) of the Hilbert space $H$. For $h = \sum^\infty a_iw_i$ define $P_n(h) = \sum_{i=1}^n a_iw_i$. Is this operator bounded in $H$ I don't think it is but I feel ...
3
votes
0answers
100 views

How to prove $\mathcal{L}^2[(0,1)]$ is a Hilbert Space

Let $\mathcal{L}^2[(0,1)]$ denote the set of $\mathbb{C}$-valued square integrable functions on the interval [0,1]. Prove that $\mathcal{L}^2[(0,1)]$ forms a Hilbert Space. I believe that I can ...
3
votes
0answers
196 views

Prove this equality in a Hilbert Space $H$ with Riesz's Representation Theorem.

For $x \in H$, prove that $\sup_{\|z\| = 1} \langle x , z \rangle= \| x \|$ Here is a quick one. If someone could improve this it would be great Proof By Cauchy Schwarz, $\langle x,z \rangle ...
3
votes
0answers
203 views

Prove Heisenberg uncertainty principle (measure and integration theory)

Here is a question in measure and integration theory, Let $f$ be a continuously differentiable complex function on $\mathbf{R}$ s.t. the functions $x \mapsto xf(x)$ and $f'$ are in ...
3
votes
0answers
74 views

Estimate finite-rank operator

I have the the following problem. Let $H$ be a Hilbert space with orthonormal basis $(e_{j})_{j\in \mathbb{N}}$. Let $x\in [a,b]$, for all $h\in H$ $$ (Bh)(x) = \langle h,k_{x} \rangle,$$ with ...
3
votes
0answers
61 views

A set of trajectories as a linear subspace of Hilbert space

Let $\left\{S(t)\right\}_{0 \leqslant t \leqslant \theta}$ be a strongly continuous semigroup of linear continuous operators in Hilbert space $H$, $S(0) = I$. Let $x$ be some element of $H$. Then its ...
3
votes
0answers
49 views

Existence of an ergodic-looking limit in a Hilbert space

This is part of a problem from Reed & Simon's Functional Analysis -- I'll write the problem first. Let $V$ be a linear transform on the Hilbert space $H$, such that its powers are uniformly ...
3
votes
0answers
158 views

Is there a deeper connection between the two Riesz's Representation Theorems?

I have been reading Kreyszig's Functional Analysis when I encountered two versions of Riesz's Representation Theorems: (1) Every bounded linear functional $f$ on a Hilbert space $H$ can be ...
3
votes
0answers
88 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$ ...
2
votes
0answers
59 views

Approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets?

Are there some common ways to approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets? (note that the unit ball isn't compact.) My goal is to prove a statement which holds ...
2
votes
0answers
18 views

Let $H$ be a Hilbert space, $A$ is unitary and $S=\{Ax:x\in H\}$. Does $S^{\perp}=\operatorname{Null}(A)$?

Let $H$ be a Hilbert space, and $S=\{Ax:x\in H\}$. Does $S^{\perp}=\operatorname{Null}(A)$? What I have is if $x\in S^{\perp}$ then $x\perp A(A^*A^*Ax)$ then $(x,A^*Ax)=(Ax,Ax)=0$, so $x$ is in ...
2
votes
0answers
26 views

Equivalent definitions of the trace of a Hilbert-Schmidt operator

I am currently reading the book Spectral Methods in Automorphic Forms, and Iwaniec defines the trace operator in a different way than I am accustomed to. Throughout, assume that everything converges ...
2
votes
0answers
76 views

Making a complex inner product symmetric

Let $(V, (\cdot, \cdot))$ be a complex inner product space, say a space of complex-valued functions, with $(\cdot, \cdot)$ linear in the second position and sesquilinear in the first. Assume that $V$ ...
2
votes
0answers
40 views

Sum of closed linear subspaces necessarily closed?

Let $H$ be an infinite-dimensional Hilbert space. Let $L_1,L_2 \subset H$ be two closed linear subspaces. If it is also known that $L_1 \perp L_2$ then it is not hard to show that $L_1 + L_2 = \{x_1 ...
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
0answers
52 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 ...
2
votes
0answers
48 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
0answers
44 views

A matrix as eigenvalue?

I wonder if some work has been developed on operators in Hilbert space that have the property of having matrices instead of numbers as eigenvalues (the matrices do not necessarily act on vectors in ...