All Questions
156 questions with no upvoted or accepted answers
2
votes
0
answers
170
views
finite dimensionality of a subspace of a Banach space
Let $H$ be the space of measurable functions on $(0,1)$ such that
$$ \|u\|_{H}^2 = \int_0^1 x^2\,|\partial_x u|^2\,dx + \int_{0}^1 |u|^2\,dx <\infty.$$
Let $C>0$ be a constant. Suppose that $W \...
- 4,143
2
votes
0
answers
120
views
Closure of Laplacian
Let $(M,g)$ be a complete Riemannian manifold and $\Delta$ the (positive) Laplace-Beltrami operator. Now, consider this operator as an operator
$$\Delta:\mathcal{D}(\Delta)\to L^{2}(M)$$
There are two ...
- 1,171
2
votes
0
answers
325
views
Examples of RKHS that are "classical"
Among the so-called "classical" Hilbert spaces ($L^2$, Sobolev, Hardy, Bergman, etc.), which are very well-studied, which are RKHSs?
It is easy to construct example of RKHSs by applying the ...
- 21
2
votes
0
answers
258
views
Orthogonal complement of arbitrary intersection of Hilbert subspaces
Let $H$ a Hilbert space, and $\mathcal C$ an arbitrary set of closed subspaces of $H$. Is it true that
$$\left( \bigcap_{Z\in \mathcal C}Z\right)^\perp = \overline{\sum_{Z\in \mathcal C} Z^\perp}$$
...
- 63
2
votes
0
answers
73
views
RKHS lying in another RKHS
Suppose $H_1$ and $H_2$ are reproducing kernel Hilbert spaces such that $H_1 \subset H_2$. For $f \in H_1$, when can I bound $\|f \|_1$ with $C\|f\|_2$ (for some $C$)? Is there a relationship between ...
- 93
2
votes
0
answers
77
views
Why is the essential numerical range defined as $W_e(T) = \bigcap_{K\in \mathcal K(H)} \overline{W(T+K)}$?
I have been introduced to the following definition of the essential numerical range of a bounded, linear operator on a separable, infinite-dimensional Hilbert space:
$$W_e(T) := \bigcap_{K\in \mathcal ...
- 165
2
votes
0
answers
56
views
Existence of a suitable smooth kernel
Denote by $H=L^2([0,1])$ the Hilbert space of square integrable real valued functions on the interval $[0,1]$. Does there exist a nontrivial smooth real valued function $k$ on the unit interval such ...
- 4,143
2
votes
0
answers
55
views
Schmidt ellipsoids to different orthonormal bases
Let $H$ be a separable, infinite dimensional Hilbert space. For an ONB $(e_n)_{n \in \mathbb{N}}$ of $H$ together with a series $(\alpha_n)_{n \in \mathbb{N}} \subset (0,\infty)$ such that $\sum\...
- 1,295
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
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
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
2
votes
0
answers
169
views
A basic question about the Spectral Theorem
Let $\Omega$ be a bounded open region in $\mathbb{R}^n$ and $\phi_i $ be the eigenfunctions of $-\Delta$ with Dirichlet boundary condition, i.e.
$$-\Delta \phi_i=\lambda_i \phi_i, \ \ \phi_i|_{\...
- 434
2
votes
0
answers
55
views
A holomorphic map into a Hilbert space with prescribed orthogonality
This is a variation of my previous question.
Let $X\subset \mathbb{C}^n$ be a domain, and let $L:X\times X\to \mathbb{C}$ be such that $L(x,x)>0$, $L(y,x)=\overline{L(x,y)}$ and $L(\cdot,y)$ is ...
- 5,529
2
votes
0
answers
116
views
Closable operators on Hilbert modules
For $T:{\frak{Dom}}(T) \to H$ a densely defined operator, with $H$ a (separable) Hilbert space, we know that $T$ is closable if its adjoint $T^*$ has dense domain in $H$.
Does this extend to the (...
- 993
2
votes
0
answers
123
views
Is every nonexpansive retract of a Hilbert space closed and convex?
Given a closed and convex subset $C\subset H$ of a Hilbert space $H$, the metric projection is a nonexpansive retraction of $H$ onto $C$. This implies that every closed and convex subset of a Hilbert ...
- 799
2
votes
0
answers
246
views
Decay rate of least eigenvalue of Gram matrices
Consider the Hilbert space $H=L^2_w(I)$ as the weighted $L^2$ space, where $I\subseteq\mathbb{R}$:
$$ L_w^2(I)=\{\phi:I\rightarrow\mathbb{R}:\,\|\phi\|^2=\int_I \phi(x)^2w(x)\,dx<\infty\}. $$
In ...
- 141
2
votes
0
answers
210
views
A Riemannian metric on the plane such that the intersection of every two discs is a disc, again
Is there a Riemannian metric on $\mathbb{R}^2$ (or a $2$ dimensional manifold) such that the intersection of every two open discs is an open disc, again?
As linear version of this question we ask:
...
- 356
2
votes
0
answers
352
views
Orthonormal Basis for Convex Functions
Are there any orthonormal bases for strictly convex functions $f: \mathbb{R}^n\ni x \mapsto \mathbb{R},\ x\ne y\implies f\left(\alpha x+\left(1-\alpha\right)y\right) \lt \alpha f(x)+(1-\alpha)f(y) \...
- 13.2k
2
votes
0
answers
73
views
A question on groupoids and measurable fields of Hilbert spaces
Suppose that we have the following data:
$ \mathcal{G} $ is a locally compact Hausdorff groupoid, with its source and
range maps denoted by $ s $ and $ r $ respectively.
$ (\lambda^{x})_{x \in \...
- 1,396
2
votes
0
answers
341
views
Trace class operators convergent series
On wikipedia it is mentioned that if we are on some (separable) Hilbert space $H$ and there is an ONB $(e_n)$ such that any compact operator $K$ can be written as
$$ K = \sum_{n,m =0}^{\infty} K_{n,m}...
- 305
2
votes
0
answers
97
views
essential self-adjointess for operators that can be factorized as $TT^*$
Let $X,Y$ be Hilbert spaces, $D$ be a dense subspace of $X$, $T:D\to Y$ be a linear operator, $\tilde{D}:=T(D)$. Assume $T^*T:D\to X$ to be essentially self-adjoint and the generated semigroup $(e^{-...
- 3,388
2
votes
0
answers
2k
views
Orthogonal complements of intersections of closed subspaces
Let $H$ be a Hilbert space and $H_1, \cdots, H_n$ be closed subspaces of $H$.
$\mathbf{Question}:$ Is it always true that the orthogonal complement $(H_1\cap\cdots\cap H_n)^\bot$ of the intersection ...
- 285
2
votes
0
answers
459
views
Weak topology on subsets of a normed space
I have few questions about the subsets of a normed space $X$ endowed with the weak topology. Let $E$ be such subset.
When is the norm a continuous function on $E$?
When is the metric induced by the ...
- 5,529
2
votes
0
answers
173
views
Two isomorphic Gelfand triplets, is there a problem?
For $j=1, 2$, let $V_j \subset H_j$ be a dense and continuous embedding with $V_j$ a Banach space and $H_j$ a Hilbert space. Identify $H_1 = H_1^*$ and $H_2 = H_2^*$ (using Riesz representation) so ...
- 153
2
votes
0
answers
238
views
Examples for Markov generators with pure point spectrum
I'm looking at symmetric diffusion Markov generators $L$ with pure point spectrum, i.e. infinitesimal generators of symmetric diffusion Markov semigroups, which are defined on $L^2(\mu)$ where $\mu$ ...
- 235
2
votes
0
answers
787
views
Hilbert triples
I apologize if this is a trivial matter for the analysts out there, but I looked this up in a number of books (e.g., H. Brezis, J. Wloka) and could not find a satisfying discussion, one that would ...
- 29
2
votes
0
answers
86
views
Terminology and reference question
I am working on a problem involving bilinear forms over complex Hilbert spaces, and in my case it is not natural to make the forms sesquilinear, i.e., $a(u,v)$ is linear in both complex arguments. ...
- 143
2
votes
1
answer
959
views
Do kernels provide a basis for a RKHS?
Let $H$ be a Reproducing Kernel Hilbert Space with elements $f:X\rightarrow \mathbb{C}$, with kernel $K(x, y)$. My question is whether, for some choice of $x_i\in X$, it is the case that $u_i:=K(x_i, \...
- 461
1
vote
0
answers
87
views
Convergence and sequential compactness for nonlinear operators
I have a family of operators $T_n\colon X \to Y$ where $X,Y$ are Hilbert spaces. These operators are nonlinear.
What kind of notions of convergence does one have for such operators? I'm specifically ...
- 251
1
vote
0
answers
210
views
How to show that every Von Neumann algebra is unital?
I was reading the book on operator algebra by Kehe Zhu. The proof of theorem 17.7 (page 107) goes like this :
He first considered the set of all non-empty finite subsets of the set of all projections ...
- 173
1
vote
0
answers
210
views
Is this a well known space? Perhaps homogeneous Sobolev-like space?
The homogeneous Sobolev space $\dot H^s(\mathbb{R}^n) $ is often defined as the closure of $\mathcal{S}(\mathbb{R}^n)$ under the norm
$$ || |\omega|^s \widehat{f} ||_{L^2(\mathbb{R}^d)} =\int_{\...
- 197
1
vote
0
answers
120
views
Formula for the kernel of an operator
Let $\mathcal H$ be a Hilbert space and let $O$ be an operator. Obviously $M=O^\dagger O$ is a semi-positive definite operator and $v\in\ker M$ if and only if $v\in\ker O$. Therefore it seems to me ...
- 521
1
vote
0
answers
82
views
Commutator of self-adjoint operators and $C^1$-type formula
Let $\mathcal{H}$ be a (complex) Hilbert space.
Let $H$ be a self-adjoint operator on $\mathcal{H}$ with dense domain $\mathcal{D}(H) \subset \mathcal{H}$, generating the unitary one-parameter ...
- 71
1
vote
0
answers
77
views
Integration over a finite-dimensional subspace of Hilbert space
Let $H$ be a separable Hilbert space with inner product $\langle,\rangle$, let $\{e_k\}_{k=1}^\infty$ be an orthonormal basis of $H$, and let $A: H\to H$ be a symmetric, positive definite and ...
- 503
1
vote
0
answers
89
views
Let $T\in B(H)$. Then prove that $T$ is a contraction if and only if the closed unit disc is spectral set for $T$
Let's first recall the definition of Spectral set for a bounded operator $T$ on a hilbert space $H$. Let $X\subseteq \Bbb{C}$ be compact such that $\sigma(T)\subseteq X$. Define $$\mathcal{R}(X):=\...
- 111
1
vote
0
answers
62
views
$L^2$ norm of a kernel with a variable width
Suppose you have a kernel operator on a torus, with a kernel of a spatially varying width $\epsilon(x)$, which might be zero at certain points. That is to say, for some approximate identity $\psi_h(x)$...
1
vote
0
answers
99
views
Density of Lipschitz functions in Bochner space with bounded support
Let $X$ and $Y$ be separable and reflexive Banach spaces with Schauder bases. Let $\mu$ be a non-zero finite Borel measure on $X$ and let $L^p(X,Y;\mu)$ denote the (Boehner) space of strongly p-...
- 21
1
vote
0
answers
33
views
Limiting absorption principle for higher powers of resolvents
Let $H$, $A$ be self-adjoint operators on a Hilbert space. Moreover, let $I$ be a bounded open interval contained in the spectrum of $H$. Assume that $H$,$A$ satisfy the following positive commutator ...
- 141
1
vote
0
answers
83
views
What is lost after RKHS embedding of the L1 space?
We know that every distribution or $L^1$ function $f$ over space $\mathcal{X}$ (e.g., $R^d$) can be embedded to an RKHS $\mathcal{H}$ with a $1$-bounded kernel $\mathcal{K}$ (e.g., the RBF kernel) ...
- 43
1
vote
0
answers
111
views
Properties of Sobolev spaces $W^{k,p}(\Omega, E)$ where $E$ is a Banach space
$\newcommand{\R}{\mathbb R}$Let $E$ be a Banach space with norm $\|\cdot\|_E$ and let $\Omega\subset \R^n$ be an open set.
For $k\geq 0, p\geq 1$ we define $W^{k,p}(\Omega, E)$, the Sobolev space of ...
- 2,533
1
vote
0
answers
52
views
When are ellipsoids in a convex hull of a sequence with prescribed growth rate?
I am currently reading Dudley's 'Uniform Central Limit Theorems' and found two sections which together would have an interesting geometric interpretation for ellipses in Hilbert spaces. I would like ...
- 1,295
1
vote
0
answers
122
views
eigenvalues of integral operator with centered kernel
Suppose $k:\mathcal{X} \times \mathcal{X} \to \mathbb{R}$ be a symmetric positive (semi-)definite kernel. The Moore-Aronszajn Theorem indicates that
there is a reproducing kernel Hilbert Space $\...
- 519
1
vote
0
answers
189
views
Complete set of orthonormal functions on $W^{2,2}([0,1]^2, \mathbb{R}^2)$
Consider $L^2([0,1],\mathbb{R})$.
Then,
$$1, \sqrt{2} \cos(2 \pi j x), \sqrt{2} \sin(2 \pi j x ), \quad j =1,2,\ldots$$
is a Schauder basis on $L^2([0,1], \mathbb{R})$.
I am curious, how does this ...
- 61
1
vote
0
answers
133
views
Subspace of RKHS generated by kernel mean embeddings
Suppose $\mathcal{H_k}$ is a reproducing kernel Hilbert space (RKHS) with reproducing kernel $k: \mathcal{X} \times \mathcal{X} \rightarrow \mathbb{R}$. I am looking for results characterising the ...
- 93
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
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
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
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
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
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