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
350 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
394 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
281 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 ...
5
votes
0answers
78 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
140 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
159 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
102 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
343 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
343 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
43 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
103 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
100 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
86 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
92 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
117 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
156 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
90 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
187 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
143 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
123 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
144 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
89 views

Positive Operators: Definition?

Let $A$ be a self adjoint element of a C*-algebra $\mathcal{A}$ resp. a self adjoint operator of the operator algebra $\mathcal{B}(\mathcal{H})$ of bounded operators over a Hilbert space ...
3
votes
0answers
36 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
53 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
72 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
71 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
77 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
64 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
71 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
96 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
195 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
178 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
69 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
154 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
87 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
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
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 ...
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
0answers
43 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 ...
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 ...
2
votes
0answers
41 views

Prove $|(f, g)| \leq \int |f \bar g|$ for Complex Cases

Let $f, g$ be $\mathbb C$-valued functions defined on $\mathbb R$ and $f, g \in L^2$. To prove the inequality in this title, I proceed as follows but got a weaker bound. Recall that $\mathrm{Re}\ a ...
2
votes
0answers
40 views

Discontinuous linear operator on $\ell^{2}$

Let $e_{n} = (0, 0, \ldots, 0, 1, 0, \ldots)$ where $1$ is in the $n$th position. Then $\{e_{n}\}$ is an orthonormal basis for the Hilbert space $\ell^{2}(\mathbb{N})$. Does there exists a linear ...
2
votes
0answers
52 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 ...
2
votes
0answers
55 views

Are these functions on a Hilbert space Lipschitz equivalent?

Let $H$ be a Hilbert space with inner product $\langle\cdot,\cdot\rangle$. Fix a bounded operator $T$ on $H$, and $1\leq p<\infty$ (you can assume $p$ is an integer if necessary). Consider the ...
2
votes
0answers
21 views

does the hilbert space construction of random variables allow for infinite variance?

I am reading a book (Hilbert Space Methods in Probability and Statistical Inference by Small) which says that random variables can be viewed as functions in the hilbert space $L^2$ with the inner ...
2
votes
0answers
47 views

Fractional Brownian motion---construction via Hilbert space?

The Brownian motion has the following (Levy-Ciesielski?) construction via Hilbert space isomorphisms: Let $\{ Z_i \}_{i \in \mathbb{Z}}$ be i.i.d. $N(0,1)$ random variables defined on $(\Omega, ...
2
votes
0answers
34 views

Formula for trace of particular operators

Let $\mathcal{H}$ be the Hilbert space $L^2(\mathbb{R})$. View the Fourier transform as a unitary operator $\mathcal{F} \in B(\mathcal{H})$. For each function $f \in C_0(\mathbb{R})$, let $T(f) \in ...