All Questions
467 questions
0
votes
1
answer
268
views
Determine if an integral expression is in $L^2(\mathbb{R})$
Note: This is a simplified version of the following question. I did not get a full response and realized can make it simpler to have my main interrogation answered. I decided to write it as a ...
0
votes
0
answers
182
views
Comparison of orthogonal complements in L^2 and H^1 spaces
Let $\Omega$ be a bounded domain with smooth boundary, and let $L^2(\Omega)$ and $H^1(\Omega)$ the usual $L^2$ and $H^1$ function spaces on $\Omega$, respectively. We call $\phi \in H^1(\Omega)$, and $...
- 63.9k
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" ...
CommunityBot
- 1
15
votes
2
answers
2k
views
What is a projective space?
Is there a "recognition principle" for projective spaces?
What categories are there with projective spaces for objects?
Background: Although the title is a nod to What is a metric space?, ...
- 4,713
3
votes
1
answer
475
views
Extension of a bounded linear functional
Let $\mathcal{H}$ be a finite-dimensional Hilbert space and $\mathcal{A}\subseteq\mathcal{B(\mathcal{H})}$ be an operator system. Suppose $T_n$ is a collection of all $n$-by-$n$ matrices equipped with ...
- 231
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
votes
1
answer
164
views
Closure of the point spectrum of an unbounded diagonalizable operator
Given a (separable) Hilbert space H and an unbounded densely defined linear operator $T:{\cal D}(T) \to $H such that ${\cal D}$ is diagonalizable (it means $\exists$ an O.N.B. of H such that all basis ...
- 12.6k
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
110
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
4
votes
1
answer
196
views
A kind of holomorphicity of maps on Hilbert space
Let $H$ be an infinite dimensional seperable Hilbert space. Is there an Irreducible involutive sub algebra $D$ of $B(H)$ with the following properties?:
1)For every open set $U\subset H$ and every ...
- 25.3k
3
votes
2
answers
135
views
Unicellular compact operators
An operator $T$ on a separable Hilbert space $H$ is called unicellular if any two closed invariant subspaces $M$ and $N$ are comparable; that is either $M\subseteq N$ or $N\subseteq M$. There are many ...
- 24.2k
0
votes
1
answer
2k
views
What is the orthonormal basis for the Bergman space on the disk?
[EDIT by YC: the original question's title asked about a basis for the Hardy space on the disk. It is clear from the actual question that what was meant was the Bergman space.]
In arXiv:0310.5297, ...
- 2,821
11
votes
2
answers
478
views
$x f'$ bounded by $x^2f $ and $f''$?
Consider the Hilbert space of functions $f \in L^2(\mathbb R)$ such that $x^2f \in L^2(\mathbb R) $ and $ f'' \in L^2(\mathbb R).$
I am wondering whether it is true that $xf'\in L^2(\mathbb R)$ as ...
- 18.7k
3
votes
1
answer
159
views
Tight L2 bound on moments approximation and reference
Consider $f\in L^2(I)$, where $I$ is the unit interval and $L^2$ is w.r.t. Lebesgue measure, and consider an approximation of $f$ denoted by $\tilde{f}\in L^2$.
The error in approximated the moments ...
- 18.7k
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 ...
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 ...
- 18.7k
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,...
- 42.8k
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 ...
- 128k
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:=\...
- 984
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 $\...
- 63.9k
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 ...
- 2,429
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}]$ ...
- 14.2k
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
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 ...
- 63.9k
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 ...
- 34.7k
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}$ ...
- 2,118
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?
- 82.7k
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 $...
- 9,486
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 $...
- 24.2k
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\|<...
- 18.7k
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 ...
- 12.9k
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
6
votes
1
answer
387
views
Reference Request: Vector-Valued Ito Formula
I know that there exist Ito formulae to understand
$
f(X),
$
where $f: H\rightarrow \mathbb{R}$ is sufficiently nice, $H$ is a Hilbert space and $X$ is an $H$-valued semi-martingale.
However I'm ...
- 26
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 ...
- 28k
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 ...
- 12.6k
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 ...
- 63.9k
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 ...
- 12.6k
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}
...
- 56
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
\...
- 456
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 ...
- 12.6k
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 ...
- 14.2k
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 ...
- 11.6k