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

learn more… | top users | synonyms

7
votes
1answer
265 views

Existence of the Pettis integral

This is related to a question of MO: A question on the integral of Hilbert valued functions. I'm sure it's easy, but I cannot think right now, so I thought I'd ask. Let $f:[0,1]\rightarrow H$ be a ...
7
votes
1answer
228 views

Energy estimate of the differential equation $\dot{x}=Ax$

Conside the differential equation $$\dot{x}=Ax,\qquad x(t):{\bf R}\to{\mathcal H}$$ where $\mathcal{H}$ is a Hilbert space and $A$ is a bounded linear operator. With the initial condition, one can ...
7
votes
2answers
1k views

Example that in a normed space, weak convergence does not implies strong convergence.

The book "Introductory Functional Analysis with Applications" (Kreyszig) presents the following definitions. A sequence $(x_n)$ in a normed space $X$ is said to be strongly convergent if there is ...
7
votes
1answer
162 views

Dense subspace of $L^{2}[0,1]$

I know that $C[0,1]$ is dense in $L^{2}[0,1]$ but is $\{f\in C^{2}[0,1]:f(0)=f(1)=0\}$ dense in $L^{2}[0,1]$?
7
votes
2answers
265 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 ...
7
votes
1answer
665 views

A few questions about the Hilbert triple/Gelfand triple

I am attempting to fully understand Hilbert triples by reading Brezis' Function Analysis book. Consider $V \subset H \subset V^*$, where $V$ is Banach and $H$ is Hilbert. $V$ is dense in $H$. ...
7
votes
3answers
324 views

For what sequences of real numbers $\left\{ k_{n}\right\}$ is the set of functions $\left\{ e^{ik_{n}x}\right\}$ a basis?

It is well known that the set of functions $\left\{ e^{^{inx}}\right\}$, for integer $n$, is an othonormal basis for the space of square integrable real functions in the interval $[-\pi,\pi]$. Now ...
7
votes
1answer
122 views

Is $\mathcal{C}([0,1])$ homeomorphic to a Hilbert space?

Let $\mathcal{C}([0,1])$ the Banach space of continuous functions from $[0,1]$ to $\mathbb{C}$. The norm on $\mathcal{C}([0,1])$ is $f \mapsto \| f\|_{\infty}= \sup_{x \in [0,1]} |f(x)|$. Is it ...
7
votes
2answers
868 views

Contexts For Bessel's Inequality?

Bessel's inequality appears to be about orthonormal sequences. But (in the context of inner product spaces), I've thought of this inequality as being a demonstration that the hypotenuse of triangles ...
7
votes
1answer
104 views

Tight Probability on Hilbert space

I am considering the following problem. Let $(X_j)$ be i.i.d. $N(0,1)$ random variables and $H$ a Hilbert space with orthonormal basis $(e_j)$. Let $$X:=\sum_j \frac{X_j e_j}{j}$$ And for any ...
7
votes
1answer
218 views

Reproducing Kernel Hilbert Space is dense?

Let $E=C[0,1]$, space of all real-valued continuous functions on $[0,1]$, $\mathcal{E}$ be its Borel $\sigma$-algebra and $\mu$ a Gaussian measure on $E$. Let $E^*$ be a space of all continuous ...
7
votes
0answers
411 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 ...
7
votes
0answers
300 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
3answers
354 views

A complete orthonormal system contained in a dense sub-space.

Let H be a separable complex Hilbert space. Let A be a dense sub-space of H. Is it possible to find a complete orthonormal system for H that is contained in A?
6
votes
2answers
328 views

Question about positive operators on a Hilbert space

I have the following problem. Let $\Omega \subset R^n$ have finite measure, let $H = L^2(\Omega)$ and let $S: H \to H$ be a bounded linear operator. Then it is well known that $P = SS^*$ is a positive ...
6
votes
3answers
177 views

If a linear operator has an adjoint operator, it is bounded

This is a question I'm struggling with for a while: Let $H$ be a Hilber space. Let $T,S: H\rightarrow H$ be linear operators (not neccessarily bounded) such that for every $x,y\in H$: $\langle ...
6
votes
1answer
1k views

Compactness of Multiplication Operator on $L^2$

Suppose we have an bounded linear operator A that operates from $L^2([a,b]) \mapsto L^2([a,b])$. Now suppose that $A(f)(t) = tf(t)$. Is A compact? Edit: I know $A = A^*$ but I'm not really sure ...
6
votes
1answer
388 views

Weak Formulations and Lax Milgram:

I have a question on how to put a PDE into weak form, and more importantly, how to properly choose the space of test functions. I know that for an elliptic problem, we want to start with a problem ...
6
votes
3answers
328 views

Why isn't it a Hilbert space

Let $X$ be the vector space of all the continuous complex-valued functions on $[0,1]$. Then $X$ has an inner product $$(f,g) = \int_0^1 f(t)\overline{g(t)} dt$$ to make it an inner product space. But ...
6
votes
2answers
268 views

Example of a non-algebraic $\ell^2$-function in two variables

Let's call an $\ell^2$-function $\mathbb{N} \times \mathbb{N} \to \mathbb{C}$ algebraic if it is in the image of the natural algebra homomorphism $\ell^2(\mathbb{N}) \otimes \ell^2(\mathbb{N}) \to ...
6
votes
1answer
148 views

Non-examples for the Kato-Rellich Theorem

The Kato-Rellich Theorem is a classical result stating that if $A,B$ are unbounded operators on a Hilbert space with $A$ self-adjoint, $B$ symmetric, $\mathcal D (A)\subset \mathcal D(B)$ and $$ ...
6
votes
1answer
49 views

Derive Fourier transform from what it should do?

I was wondering about the following: Imagine you want to figure out whether there is a transform that exchanges differentiation with multiplication and convoution with pairwise transformation for ...
6
votes
1answer
268 views

Approximating a Hilbert-Schmidt operator

Let $H$ be a separable Hilbert space. Recall that a bounded operator $A : H \to H$ is said to be Hilbert-Schmidt if $$\|A\|_{HS}^2 := \sum_{i=1}^\infty \|A e_i\|^2 < \infty$$ where ...
6
votes
2answers
441 views

On the isometry between bounded linear operators and the dual of nuclear linear operators

Let $H$ be a separable Hilbert space. Let $(e_i)_i$ be an orthonormal basis. For any bounded linear map $T$ we write, whenever possible $$\operatorname{tr} T := \sum_{i}^{\infty} \langle T e_i, e_i ...
6
votes
1answer
224 views

Measure on a separable Hilbert space

Let $H$ be a real separable Hilbert space. Is it true that there exist a probability space $(\Omega, \mu)$ and a measurable function $\pi\colon \Omega \to H$ such that for any $h \in H$ we have $$ ...
6
votes
1answer
142 views

A complete eigenvector basis for the restricted operator

Let $X$ be a (not necessarily bounded) selfadjoint linear operator on a Hilbert space $H$ and let $M$ be a closed subspace such that $X(M) \subset M$. Suppose that $X$ admits an orthonormal basis ...
6
votes
1answer
277 views

Two different definitions of ellipticity

This is a question originating in another mathematics forum, matematicamente.it (in Italian). In literature one encounters the word elliptic in (at least) two different definitions. In what follows ...
6
votes
1answer
83 views

Show that an unbouned normal operator is closed

A linear operator $A$ is called nomal if $\mathcal{D}(A)=\mathcal{D}(A^{*})$ and $\lVert A\phi\rVert =\lVert A^{*}\phi\rVert$ for every $\phi\in \mathcal{D}(A)$. Show that normal operators are closed. ...
6
votes
0answers
111 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 ...
6
votes
0answers
386 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
2answers
1k views

Elegant proof that $L^2([a,b])$ is separable

Is anybody aware of, or can provide at least an outline, of a proof that the Hilbert space of Lebesgue functions square-integrable on the closed real interval [a,b], equipped with the $L^2$ norm, is ...
5
votes
2answers
1k views

Relationship of Fourier series and Hilbert spaces?

I just read in a textbook that a Hilbert space can be defined or represented by an appropriate Fourier series. How might that be? Is it because a Fourier series is an infinite series that adequately ...
5
votes
2answers
198 views

Hilbert space with all subspaces closed

Does there exist an infinite-dimensional Hilbert space with all subspaces closed?
5
votes
3answers
405 views

Soft Question Hilbert Space Geometry

Just a quick question about the geometry of Hilbert spaces from an intuitive standpoint. Maybe just assuming we're working with $L^2$ would simplify the situation. Basically, in something like ...
5
votes
3answers
212 views

Sequences are Cauchy depending on the norm?

Assume that we have two Banach spaces $B_1, B_2$ with their underlying sets being identical. Is it possible that a Cauchy sequence in one of the spaces would fail to be Cauchy in the other? I am ...
5
votes
3answers
512 views

$f$ an isometry from a hilbert space $H$ to itself such that $f(0)=0$ then $f$ linear.

This question was on an exam and I am not sure how to answer it. I mostly tried writing zero in different ways and tried lots of algebra to get something out. I also tried to use the fact that $H$ is ...
5
votes
1answer
190 views

Can the composite of two projections really fail to be a projection?

Let $H$ denote a Hilbert space. For any closed subspace $C \subseteq H$, write $P_C$ for the orthogonal projection onto $C$. Then according to wikipedia, the composite $P_U \circ P_V$ needn't be a ...
5
votes
2answers
522 views

Norm inequality for sum and difference of positive-definite matrices

If $X_{1}$ and $X_{2}$ are positive definite matrices, how to show that $\left\Vert X_{1}-X_{2}\right\Vert \le\left\Vert X_{1}+X_{2}\right\Vert$ for the spectral norm? and how about for the nuclear ...
5
votes
1answer
207 views

Homeomorphisms between infinite-dimensional Banach spaces and their spheres

As I know Cz. Bessaga has proved that an infinite-dimensional Banach space is homeomorphic to its unit sphere. Unfortunately I do not have his book but I want to know is this theorem true without ...
5
votes
2answers
206 views

Show that linear Operator on $\ell^2$ is unbounded

Currently, I am preparing for a next semester course and trying to figure out some basic concepts in functional analysis. Let $T:\mathcal{D}(T)\to \ell^2$ be defined by ...
5
votes
1answer
323 views

Uniform mean ergodic theorem

I'm working in Einsiedler and Ward's book on Ergodic Theory and in Exercise 2.5.4 they want to prove the following $$\lim_{N - M \to \infty} \frac{1}{N - M} \sum_{n = M}^{N - 1} U_T^n f \to P_T f.$$ ...
5
votes
2answers
100 views

What's the spectrum of this operator in $\ell^2$?

Suppose that $\ell^2 = \biggl\{(x_n)_n \in \mathbb{K}^{\mathbb{N}_0} \biggm| \sum_{n=1}^{\infty}|{x_n}^2| < +\infty \biggr\}$ is a Hilbert-space with the inproduct $\langle\cdot,\cdot\rangle_2: ...
5
votes
2answers
117 views

Norm of a $2\times 2$ matrix as a Hilbert space operator

Work in the Hilbert space $\mathbb C^2$. Let $$A = \begin{bmatrix} a & b \\ c & d \\ \end{bmatrix} $$ be a matrix with entries in $\mathbb C$, and let $A$ ...
5
votes
1answer
434 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
2answers
305 views

Unit Ball of $\mathcal{l}_2$

Let $B(\mathcal{l}_2) :=\{x \in \mathcal{l}_2 : \|x \| \leq 1 \}$ and $S(\mathcal{l}_2) :=\{x \in \mathcal{l}_2 : \|x \| = 1 \}$ be the unit ball and the unit sphere of $\mathcal{l}_2$, respectively. ...
5
votes
1answer
440 views

Reproducing kernel Hilbert spaces and the isomorphism theorem

A reproducing kernel Hilbert space is a Hilbert space in which the evaluation functional $L_x : f \rightarrow f(x)$ is continuous. By continuity, the Riesz representation theorem says that this ...
5
votes
1answer
75 views

Show that $\|e^{tA}\| \le e^{t\|\Re (A)\|}$

Let $X$ be a complex Hilbert space, and let $A$ be a bounded linear operator on $X$. Define the real part of $A$ to be $\Re(A)=\frac{1}{2}(A^{\star}+A)$, and define ...
5
votes
2answers
834 views

Tensor product of operators

We know that if $T_1$ is a linear bounded operator on a Hilbert space $H_1$ and $T_2$ is a linear bounded operator on a Hilbert space $H_2$ there exists a unique linear bounded operator $T$ on $H_1 ...
5
votes
2answers
708 views

Parallelogram law valid in banach spaces?

It is known that the parallelogram law $\|x-y\|^2+\|x+y\|^2 = 2(\|x\|^2 + \|y\|^2)$ holds in any space with an inner product (the norm being induced by this inner product). Is this formula valid in ...
5
votes
1answer
157 views

Convex subset of Hilbert space as intersection of closed balls

How does one prove that any closed, convex, and bounded subset of a Hilbert space is the intersection of the closed balls that contain it?