All Questions
Tagged with fa.functional-analysis hilbert-spaces
467 questions
3
votes
0
answers
214
views
Extended adjoint of Volterra operator
Let $V$ be a Volterra operator on $L^2 [0,1]$.
Does there exist a nonzero operator $X $ satisfying the following system
$VX=XV^∗$, where $V^∗$ is the adjoint of the Volterra operator?
$$ V(f) (x) =\...
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
0
votes
1
answer
138
views
Antilinear unbounded operator has closed graph
Let $H$ and $K$ be Hilbert spaces and $D(T)$ a vector subspace of $H$. Let $T: D(T) \to K$ be a densely defined antilinear operator. Its adjoint $T^*: D(T^*)\to K$ is defined by the relation
$$\langle ...
- 175
6
votes
1
answer
277
views
Characterize this subspace of the bounded operators on $ L^2(\mathbb{R}) $
I posted this on MSE a couple months ago and it got three upvotes but no answers or even comments so I decided to cross-post it here:
For every pair $ a,b $ of real numbers define the operator $ U_{a,...
- 4,081
1
vote
1
answer
161
views
Conditional Gaussians in infinite dimensions
I asked this over on cross validated, but thought it might also get an answer here:
The law of the conditional Gaussian distribution (the mean and covariance) are frequently mentioned to extend to the ...
- 379
0
votes
0
answers
141
views
Extending an unbounded dense linear functional
Let $H$ be an infinite dimensional separable Hilbert space over $\mathbb{C}$
Let $V \subset H$ be a dense subspace of $H$
Let $f : V \to \mathbb{C}$ be a unbounded functional linear
My question is:
Is ...
- 433
1
vote
1
answer
143
views
A question on the self-adjointness of an operator
Given a Hilbert space (separable) $\mathcal{H}$ with an orthonormal basis $\{e_i\}_{i=1}^{\infty}$, define an operator $T$ with domain $\mathcal{D}(T)$ equal to the span of $\{e_i\}$ by $Te_i:=\...
user471371
10
votes
1
answer
593
views
Density of smooth function in Hilbert spaces
I am looking for a simple reference to the following fact:
If $f:\Omega\to\mathbb{R}$ is continuous, where $\Omega\subset H$ is an open subset of a separable Hilbert space $H$, then for any $\...
- 28k
4
votes
1
answer
273
views
Name for certain property of equivalent norms on finite-dimensional subspaces of a Banach space
Let $X=(X,\|\cdot\|)$ be a Banach space and suppose that $F\subset X$ is a finite-dimensional subspace. There is then an equivalent norm $|\cdot|$ on $F$ such that $|\cdot|$ is induced by an inner ...
- 201
0
votes
0
answers
176
views
A convergence question in $L^2$ construction of Brownian motion
I feel confused with a particular step in the $L^2$ consturction of Brownian motion.
Let $\{\xi_n \sim N(0,1)\}_{n\geq 1}$ be a sequence of i.i.d Gaussian random variables on some probability space $(\...
- 227
3
votes
1
answer
140
views
Infinite-dimensional analogue of "positive-negative splitting implies non-degeneracy"
(This question is related to Splitting a space into positive and negative parts but different.)
Given a finite-dimensional vector space $V$ over $\mathbb{R}$, what I call a "positive-negative ...
- 1,804
2
votes
1
answer
300
views
Reverse martingale convergence theorem in Banach spaces
In section 1.5 of a course given by Gilles Pisier, the author is claiming that in the excerpt below $\operatorname E[\varphi_i\mid\mathcal A_{-n}]\to\operatorname E[\varphi_i\mid\mathcal A_{-\infty}]$ ...
- 167
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
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
2
votes
1
answer
208
views
Geometry in Hilbert spaces / spheres in high dimensions
Let $H$ be a separable Hilbert space of infinite dimension and let $(e_n)_{n \in \mathbb{N}}$ be an orthonormal basis of $H$. For a series $(\alpha_n)_{n \in \mathbb{N}} \subset \mathbb{R^+}$ we are ...
- 1,295
0
votes
1
answer
736
views
Proof: If a reproducing kernel exists for a Hilbert space, then it is unique
I really want to prove the statement in the title but I'm struggling with it. Here my current state:
Proof via contradiction. Let $\mathcal{H}$ be a RKHS with two reproducing kernels $k$ and $\hat{k}$ ...
- 13
7
votes
3
answers
881
views
Criterion for compactness
Let $T:H\to H$ be a continuous operator on a Hilbert space.
Assume there exists an orthonormal base $(e_j)_{j\in\mathbb N}$, such that the sequence $Te_j$ tends to zero.
Must $T$ be compact?
user130903
3
votes
1
answer
261
views
norm estimates for Schatten class
Let $C
_p$ be the Schatten-p-classes on a separable Hilbert spaces, $p\ge 1$.
Let ${\rm Tr}$ be the standard trace.
Let $y\in C_p$ be a self-adjoint operator (or even a positive operator) and let $...
- 617
1
vote
1
answer
335
views
A consequence of the Min-Max Principle for self-adjoint operators
Let $H=(H, (\cdot, \cdot))$ be a Hilbert space. Let $T_1,T_2:D \subset H \longrightarrow H$ be a self-adjoint operators (not necessarily bounded). It's well-know that the spectrum $\sigma(T_i)$ of $...
- 205
0
votes
0
answers
197
views
Link between a categorical and an algebraic characterization of (infinite-dimensional) Hilbert space
On one side, a very recent paper of Chris Heunen and Andre Kornell "Axioms for the category of Hilbert spaces" (Arxiv:2109.7418v1 latest Arxiv version) offers a characterization of the ...
- 2,655
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
7
votes
1
answer
545
views
Explicit isomorphism between $L^2(\mathbb{R}^2)$ and $L^2(\mathbb{R})$?
As Hilbert spaces, $L^2(\mathbb{R}^2)$ and $L^2(\mathbb{R})$ are isomorphic. Of course the isomoprhism is vastly not unique. I wonder if there are any particularly nice explicit isomorphisms. E.g. I ...
- 679
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
2
votes
1
answer
128
views
Intersection of 'spheres' in Hilbert space with respect to real analytically moving mid points
The intersection of (countably many) 'spheres' in a Hilbert space can be non-empty. If we make this situation moving real analytically, the mid points and the radii, can it happen that the ...
- 131
6
votes
2
answers
514
views
Convergence criterion in the domain of an unbounded operator
Cross-post from math.sx.
My question is somewhat close to this one, but the counterexamples given there do not apply here.
Setup. Given a Hilbert space $\mathcal H$, a closed operator $A$ and a ...
- 245
3
votes
1
answer
157
views
Operator in the commutant which is small on a given vector
Suppose $x$ is a non-zero vector in a Banach space, and $T$ is a fixed operator. Is the following true:
For any $\varepsilon, \delta$, there exists $S$ in the commutant of $T$ such that $1\leq\|S\|<...
- 1,361
4
votes
1
answer
378
views
Closure of the space of Fredholm operators
Let $X,Y$ be two Banach spaces.
A bounded operator $A$ is Fredholm if $\ker A$ and $\mathrm{coker} A$ are finite dimensional. Denote by $Fred(X,Y) \subset \mathcal{L}(X,Y)$ the space of Fredholm ...
- 2,533
3
votes
1
answer
555
views
Trace norm of operators obtained by restricting the matrix of a trace class operator
Suppose $H$ is a Hilbert space with orthonormal basis $\{e_i\}_{i\in \mathbb N}$. To every operator $T$, we associate a infinite matrix $[T_{ij}]$, where $T_{ij}=\left<Te_j,e_i\right>$. We know ...
- 243
4
votes
0
answers
111
views
What is the native Hilbert space associated with the kernel $\frac{\sum \min{(x_i,y_i)}}{\sum \max{(x_i,y_i)}}$?
In this answer on MSE it is shown that the function
$$ K:(\mathbb{R}^{>0})^n\times (\mathbb{R}^{>0})^n\rightarrow\mathbb{R}\,\quad K(x,y)=\frac{\sum_{i=1}^n\min{(x_i,y_i)}}{\sum_{i=1}^n\max{(x_i,...
- 316
3
votes
1
answer
497
views
Hilbert-Schmidt integral operator with missing eigenfunctions
I'm having some issues with the spectral decomposition of the integral operator
\begin{equation}
(Af)(x)=\int_0^1|x-y|f(y)dy,\text{ with $f\in L^2[0,1]$}.
\end{equation}
Since
\begin{equation}
...
- 33
0
votes
1
answer
152
views
Inequality between matrix elements of positive self-adjoint operators
We have three positive semi-definite self-adjoint operators $\hat{A}_-$, $\hat{B}$, $\hat{A}_+$ on the Hilbert space $\mathcal{H}$. They are unbounded operators and satisfy the following inequality
\...
1
vote
1
answer
119
views
Relation between the solutions $v_t=Lv$ and $v_t=Av$ if $A$ is a relatively compact perturbation of the linear operator $L$
In a nutshell, here is my question. I read and know about the relation between the spectra of $L$ and $A$ if $A$ is a relatively compact perturbation of $L$. However, for my purpose, I am interested ...
0
votes
0
answers
106
views
Extension of a Hilbert basis
The picture below is taken from this paper: http://real.mtak.hu/22877/.
The authors claim that the basis of $H^2(\Omega) \cap H^1(\Omega)$ denoted by $\lbrace w_i \rbrace _{i \geq 1}$ can be extended ...
- 617
3
votes
1
answer
176
views
Dense subspace of $\operatorname{Ind}_{H_1 \times H_2}^{G_1 \times G_2} \chi$
Let $H = H_1 \times H_2$ be a closed subgroup of a second-countable locally compact Hausdorff group $G = G_1 \times G_2$, with $H_i \leq G_i$. Let $\chi = \chi_1 \otimes \chi_2$ be a unitary ...
- 6,180
2
votes
1
answer
133
views
Lifting theorem for n operators
I am aware of the following statement of the lifting theorem. For $i\in \{1,2\}$ let $B_i$ be a contraction on a Hilbert space $H_i$ and let $A_i$, acting on the Hilbert space $K_i$, be the minimal ...
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
9
votes
1
answer
669
views
Reference for "Every compact quasinilpotent operator is the limit of nilpotent ones"
It was mentioned on Page 916 Problem 7 of Halmos's "Ten Problems in Hilbert space" that there is a proof for "Every compact quasinilpotent operator is the limit of nilpotent ones" ...
- 191
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 ~~ \...
- 75
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}=...
- 163
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
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 ...
- 935
-1
votes
1
answer
210
views
A commuting pair of isometries
Let $H$ be a Hilbert space and $B(H)$ be the space of all bounded operators on $H$.
The Wold decomposition says that: an operator $x$ in $B(H)$ is an isometry if and only if $x=x_u\oplus x_s$ where $...
- 4,058
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 ...
5
votes
1
answer
229
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 ...
- 620
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 ...
- 620