All Questions
467 questions
19
votes
2
answers
2k
views
Can we take a supremum over all Hilbert spaces?
In my paper On the optimal error bound for the first step in the method of cyclic alternating projections, I defined functions $f_n:[0,1]\to\mathbb{R}$,
$n\geqslant 2$, by
$$
f_n(c)=\sup\{\|P_n\dotsm ...
- 12.9k
1
vote
1
answer
458
views
Are there any function spaces with bounded gradients?
Are there any known function spaces where the gradients are uniformly bounded? For a problem I’m working on, I’ve been able to show my functions are bounded in a ball within an RKHS (reproducing ...
- 383
1
vote
0
answers
191
views
Dual of union of Reproducing Kernel Hilbert Spaces
I have a union of Reproducing Kernel Hilbert Spaces $\mathcal{B}$. I am interested in finding the dual of $\mathcal{B}$. Knowing what the dual is might help to write an alternate formulation for the ...
- 171
2
votes
0
answers
553
views
$\ell_\infty$-norm covering number of RKHS ball $\{f\in\mathcal{H}: \|f\|_\mathcal{H} \leq R\}$
For any $\epsilon \in (0,1)$, let $N_\infty(\epsilon, \mathcal{H}, R)$ denote the $\epsilon$-covering number of the RKHS norm ball $\{f\in\mathcal{H}: \|f\|_\mathcal{H} \leq R\}$ with respect to the $\...
- 121
1
vote
1
answer
144
views
What's the size of non standard monad for weak topology?
There have been several works characterizing weak topology by nonstandard analysis, which give rise to the following monad ($X$ is a Hilbert space):
$$\mu(0) = \{y\in{}^{*}X: \forall x\in X ~~ \...
- 41.1k
2
votes
0
answers
223
views
Interpolation of embedded Hilbert spaces and intersection
I'm wondering under what hypothesis it is true a property like
$$[\mathcal{H}_1\cap X, \mathcal{H}_2\cap X]_{\theta}=\mathcal{H}_1\cap X\cap [\mathcal{H}_1, \mathcal{H_2}]_{\theta}$$
where $\mathcal{H}...
- 81
1
vote
1
answer
78
views
Is there any quantitative relationship between the two terms of a Helmholtz decomposition?
Let $\Omega \subset \mathbb R^3$ denote an open, bounded and simply connected set with smooth boundary. The Helmholtz decomposition
$$ L^2(\Omega) = \nabla H^1_0(\Omega) \oplus L^2(\operatorname{div}=...
- 981
2
votes
1
answer
343
views
Is it possible to classify non-closed subspaces of Hilbert's space?
Let $H$ be Hilbert's space.
Motivated by my previous question about wildly discontinuous linear functionals, which may be interpreted as an attempt to classify dense hyperplanes in $H$, let me now go ...
- 483
3
votes
1
answer
426
views
Explicit example $f_k \to f$ converging strongly in $L^6(R^3)$, but only weakly in $H^1(R^3)$
Can we find an explicit example of a sequence of functions $f_k \in H^1({\mathbf R}^3)$ such that, $f_k \rightharpoonup f$ weakly converges in $H^1({\mathbf R}^3)$ and $f_k \to f$ strongly converges ...
- 543
0
votes
0
answers
57
views
Isolated eigenvalues of "bipartite" operators
Please note: This is a reformulation of a previous question of mine. The old question has been already answered to, so I prefer asking a new one. However, it looked like the old formulation did not ...
0
votes
1
answer
152
views
Detecting isolated eigenvalues from local spectral measures
Please note: This question has been edited after it became clear from Christian Remling's answer that the original formulation was far from what I really meant to ask.
Let $T\ne 0$ be a self-adjoint ...
- 24.2k
29
votes
6
answers
9k
views
Nonseparable Hilbert spaces
Being nonseparable Banach space is in fact nothing special: one meets the first
examples in the standard functional analysis course, when one learns about
$\ell^p$ or $L^p[0,1]$ spaces-these spaces ...
- 97
5
votes
1
answer
230
views
Canonical multiplication representation of self-adjoint operator in quantum chemistry and coding theory research
In my applied math research group, we are studying and going over functional analysis results from papers and theses from our institution to generalize their results and apply them in our discrete ...
- 18.7k
4
votes
1
answer
301
views
Trying to recover a proof of the spectral mapping theorem from old thesis/paper with continuous functional calculus
In my research group in functional analysis and operator theory (where we do physics and computer science as well), we saw in an old Russian combination paper/PhD thesis in our library a nice claim ...
- 18.7k
0
votes
0
answers
122
views
Isolated points of the spectra of self-adjoint operators on Hilbert spaces
Let $T$ be a (everywhere defined) self-adjoint operator on a complex Hilbert space $\mathcal{H}$.
I am interested in results that give (non-trivial, possibly mild) sufficient conditions on $T$ to ...
4
votes
1
answer
160
views
If $F$ is a countably normed, nuclear Fréchet space, can I then find a fundamental system which exhibits both of these properties at once?
Let $F$ a Fréchet space.
This means that $F$ is a complete Hausdorff topological space whose topology can be generated by an increasing family of seminorms $\{ p_{n} \}_{n \in \mathbb{N}}$.
Let's ...
- 16.4k
1
vote
1
answer
299
views
Example of linear functionals on $B(H)$
Let $H$ be a Hilbert space and $B(H)$ denotes the space of all continuous linear operators on $H$. I am looking for a class/example of bounded linear functionals $B(H)\to \mathbb C$ which cannot be ...
- 11.3k
5
votes
1
answer
159
views
For self-adjoint $A$ and $B$, when is $(A+iB)^*$ the closure of $A-iB$?
Suppose that I have two self-adjoint operators $A$ and $B$ such that $\mathcal{D}(A)\cap\mathcal{D}(B)$ is dense and $B$ positive. Then $A\pm iB$ (with domains $\mathcal{D}(A)\cap\mathcal{D}(B)$) are ...
- 13k
2
votes
0
answers
131
views
Does a spectral theorem exist for linear operator pencils?
I was wondering if a version of the spectral theorem (the projection valued measure case) holds for linear pencils of the form
$$
A-\lambda B
$$
where $A,B$ are self-adjoint on some Hilbert space $\...
- 223
1
vote
0
answers
72
views
Multivarate "RKHS" Examples
I've been reading about RKHSs and Hilbert spaces of functions these days a bit these days and I haven't yet come across an example of a hilbert space $H$ whose elements are all functions $f:\mathbb{R}^...
- 5,405
6
votes
3
answers
831
views
Representation theorem for quadratic form on Hilbert space
I think my question is more suitable for Mathematics Stack Exchange than to MathOverflow but I've already posted two related questions there and I got even more confused, so maybe I can clarify things ...
- 1,305
2
votes
1
answer
520
views
Fréchet derivative of evaluation-like functional (multivariate)
I'm fairly new to functional calculus but and posting here since the question seems more appropriate than for MSE. When coming across this post I could not help but wonder the following.
Let $H$ be ...
- 6,367
1
vote
0
answers
26
views
On some bounds on two constants concerning the disconnectedness of the spectra of small perturbations of operators
Let $H$ be a separable, infinite dimensional, complex Hilbert space. In the book:
Jiang, C. L.; Wang, Z. Y. (1998). Strongly Irreducible Operators on Hilbert
Space. CRC press
above the statement of ...
- 1,175
0
votes
0
answers
107
views
Norm equivalences for Gaussian random functions (Cameron-Martin space)
Preliminaries
Consider the Hilbert space $H :={L^2_{\text{per}}(\mathbb{R})}$ of Gaussian random functions, $2\pi$-periodic in $\mathbb{R}$.
These random functions are drawn from a Gaussian measure $\...
- 101
5
votes
2
answers
673
views
When are the closed convex subsets countable intersections of halfspaces
For what kind of topological vector spaces (separable maybe?) are the closed convex subsets countable intersections of halfspaces.
I've seen somewhere that it's true for separable Hilbert spaces, ...
- 16.4k
5
votes
1
answer
179
views
An extension of Lomonosov Theorem
Let $H$ be a complex infinite dimensional separable Hilbert space. There are various extensions of the following well known result:
Theorem (Lomonosov): Every nonscalar $T \in B(H)$ which commutes ...
- 1,175
4
votes
1
answer
986
views
RKHS norm of Lipschitz functions
Given a set $\mathcal{X}$ and RKHS $\mathcal{H}$ of functions on $\mathcal{X}$, we can recover a (pseudo)metric on $\mathcal{X}$ by $d(x,y)=||\phi_x-\phi_y||_{\mathcal{H}}$, where $\phi_x=k(x,\cdot)$.
...
- 778
4
votes
1
answer
272
views
On the automorphisms of the unitary group in the strong operator topology
Let $H$ be an infinite dimensional complex (or real) Hilbert space, and let $U(H)$ be the unitary (or orthogonal) group. We equip $U(H)$ with the strong topology.
Now, suppose that $\phi: U(H) \...
- 121
0
votes
0
answers
255
views
The limit of the operator norm in a Hilbert space
I am not familiar with functional analysis. Could you tell me please, how to prove the following statement (if it is true)?
$$
\lim_\limits{M \to \infty} \|T_A - T_b \| = 0,
$$
here operator norm ...
- 335
0
votes
2
answers
140
views
The derivative of a $C_0$-semigroup with respect to a perturbation parameter
Let $H$ be a Hilbert space, and $A : H \to H$ be the (semi-bounded) generator of the $1$-parameter $C_0$-semigroup $[0, \infty) \ni t \mapsto \mathrm e ^{-t A}$. Let $B : H \to H$ be a bounded ...
- 5,407
3
votes
0
answers
393
views
On a possible attempt to prove the invariant subspace problem
This question involves a possible method to prove the invariant subspace problem for (separable) infinite dimensional Hilbert spaces. The idea comes from various results on this topic; more precisely, ...
- 1,175
3
votes
0
answers
68
views
A strange convergence for a semigroup of operators
I am reading B. Simon's "Kato's inequality and the comparison of semigroups", and I am having troubles understanding a part of the proof of Theorem 1 therein, that goes as follows:
Let $A,B$ ...
- 5,407
2
votes
1
answer
129
views
Representation of an arbitrary element on a fermionic Fock Space
Let $\mathcal{H}$ be a Hilbert space with orthonormal basis $\{\varphi_{k}\}_{k\in I}$. Take $\mathcal{H}^{\otimes n} := \overbrace{\mathcal{H}\otimes\cdots\otimes \mathcal{H}}^{\mbox{$n$ times}}$. An ...
- 18.7k
-1
votes
1
answer
246
views
Determine the singular values of a compact operator in terms of the eigenvalues of an alternating tensor product of operators
Let $H$ be a $\mathbb R$-Hilbert space, $A\in\mathfrak L(H)$ be compact and $$|A|:=\sqrt{A^\ast A}$$ denote the square-root of $A$. By definition, the $k$th largest singular value $\sigma_k(A)$ of $A$ ...
CommunityBot
- 1
1
vote
0
answers
175
views
Compute Frobenius inner product of two tensor-trains in terms of tensor contractions
Let $p\in\mathbb N$, $n\in\mathbb N^p$ and identify the Hilbert space tensor $\bigotimes_{k=1}^p\mathbb R^{n_k}$ with $\mathbb R^{n_1\times\cdots\times n_p}$ (equipped with the Euclidean inner product)...
- 167
0
votes
0
answers
42
views
How are the vector-valued trace and the unique linearization of $\mathfrak L(X,Y)\:\hat\otimes_π\:X→Y$ of $\mathfrak L(X,Y)×X→Y,\;(L,x)↦Lx$ related?
Let $X$ be a $\mathbb R$-Banach space and $X'\:\hat\otimes_\pi\:X$ denote the completion of the tensor product of $X'$ and $X$ with respect to the projective norm. The trace functional $\operatorname{...
- 167
8
votes
1
answer
393
views
A question about comparison of positive self-adjoint operators
I have the following question but have no idea on its proof (one direction is trivial):
Let $A$ and $B$ be (bounded) positive self-adjoint operators on a complex Hilbert space $H$. Prove that
$$\...
- 42.8k
0
votes
0
answers
132
views
Spectral Theorem for compact self-adjoint operators on real Hilbert spaces [duplicate]
Is the spectral theorem for self-adjoint compact operators on a Hilbert space also true if the Hilbert space is real (instead of complex)?
Wikipedia says this is true.
However, it seems to me that ...
- 63.9k
0
votes
0
answers
55
views
Dense stratification of a separable Hilbert space
Let $\{X_i\}_{i \in \mathbb{N}} $ be a sequence of $n$-dimensional linear subspaces of the separable Hilbert space $H$ and let $\{\phi_i\}_{i \in I}$ be a sequence of continuous injective linear maps ...
- 63.9k
6
votes
2
answers
665
views
Unbounded Fredholms operators
Motivated by the situation of bounded Fredholm operators, I have the following question about "unbounded Fredholm operators".
Let $\mathcal{H}_1$ and $\mathcal{H}_2$ be two Hilbert spaces, and
$$
D: ...
- 615
4
votes
0
answers
114
views
Is this subspace of $B(\mathcal{H})$ known?
Let $\mathcal{H}$ be a Hilbert space. Suppose that I take a fixed ONB of $\mathcal{H}$ let us call it $\{ e_i \}_{i\in \mathbb{N}}$ and then I define
\begin{align*}
\|T \|_{D} = \sup_{l_i, m_i} \sum_{...
- 1,054
-1
votes
1
answer
323
views
Expressing the sum of two squared inner products more compactly: is it possible to lift the dimension? [closed]
Let $v_1,v_2\in\mathbb{R}^d$ be two fixed vectors, and $\langle \cdot,\cdot\rangle_{\mathbb{R}^d}$ be the usual Euclidean inner product in $\mathbb{R}^d$.
My question is as follows. Is there an (...
- 1,096
3
votes
0
answers
63
views
Continuity of local spectral radius
Let $H$ be a complex Hilbert space and let $T \in \mathcal{B}(H)$ be a linear, bounded operator. Given $x \in H$ we define its local spectral radius as $$r_T(x) = \limsup\limits_{n\rightarrow\infty} \|...
- 63.9k
1
vote
0
answers
95
views
Convergence of a succession obtained by the Gram–Schmidt process
Let $H$ be an Hilbert space over $\mathbb{C}$.
Let $\{h_n\}_{n \in \mathbb{N}} \subset H$ be a sequence of linearly independent vectors in $H$ such that $h_n \to h \neq 0$ in norm topology.
We apply ...
- 433
11
votes
0
answers
389
views
Von Neumann Inequality in Banach spaces
It is known that the only Banach space that satisfies the von-Neumann inequality is the Hilbert space:
Theorem (see e.g. Pisier, "Similarity Problems and Completely Bounded Maps", p 27) For a Banach ...
- 5,529
1
vote
1
answer
333
views
Sequence of Hilbert Schmidt operators
Consider the Banach space $\mathcal K=S_2(H)$ of Hilbert Schmidt operators on a Hilbert space $H$. I am looking for an example of two pairs of sequences $\{T^{(i)}\},\{\tilde T^{(j)}\}$ and $\{S^{(i)}\...
- 18.7k
2
votes
1
answer
432
views
A question about open subsets of Hilbert space whose complements are compact sets
Let $H$ be an infinite-dimensional separable Hilbert space. Let $C$ be the intersection of a denumerably infinite sequence of sets, each of which is the complement of a compact subset of $H$. In other ...
- 63.9k
1
vote
0
answers
83
views
Embedding random variables in infinite-dimensional spaces
Let $H$ be a reproducing kernel Hilbert space of functions $f:E\to F$ with kernel $k$. A point in $E$ may be embedded into $H$ via the canonical embedding $x\mapsto k(x,\cdot)$. Similarly, a random ...
- 710
3
votes
0
answers
74
views
A question about a theorem in 'Quantum dynamical semigroups generated by noncommutative unbounded elliptic operators'
I have asked this question on MathSE and someone advised me to ask it here. The link is .
I'm studying the paper Quantum dynamical semigroups generated by noncommutative unbounded elliptic operators ...
- 63.9k
7
votes
1
answer
343
views
Is every $C_0$ semigroup on a Hilbert space automatically a $C_0$ group on a larger space?
Let $\{T(t),t\ge 0\}$ be a $C_0$ semigroup on a Hilbert space $X$, does that exist a larger Hilbert space $Y$ such that $X\subset Y$, and $T(t)$ extend to a $C_0$ group $T'(t)$ (so $t<0$ make ...
- 63.9k