All Questions
Tagged with fa.functional-analysis hilbert-spaces
467 questions
3
votes
1
answer
148
views
Is this sum of nonexpansive maps itself nonexpansive?
For Hilbert spaces $\mathcal{H}_X$, $\mathcal{H}_Y$ and $\mathcal{K}$, consider a linear map $f\colon \mathcal{K} \oplus \mathcal{H}_X \to \mathcal{K} \oplus \mathcal{H}_Y$ that is given as a matrix
$...
1
vote
0
answers
73
views
Domain of definition of a hamiltonian with delta(contact) potential
I am having a hard time making sense of the so-called "delta function potential well" in quantum theory. The Hamiltonian operator is defined as (with $\mathscr D_H\subset \mathscr H=L^2(\mathbb R)$)
$$...
- 111
4
votes
1
answer
110
views
Graded adjointable operators on a graded Hilbert space
Given a graded Hilbert space $\mathbf{H} = \bigoplus_{k \in \mathbb{N}} \mathbf{H}_k$, one might extend the notion of adjoint to a "graded adjoint" defined as follows: $L \in B(\mathbf{H})$ is said to ...
- 969
-1
votes
1
answer
265
views
A sequence of Hilbert spaces and a sequence of linear funtionals [closed]
Let $H$ be an Hilbert space over $\mathbb{C}$
Let $\{h_m\}_{m \in \mathbb{N}} \subset H$ be a sequence of linearly independent vectors in $H$
Let $\forall m \in \mathbb{N}: H_m = \overline{\...
- 433
1
vote
0
answers
53
views
Spectrum of a $1$-parameter family of symmetric linear operators
I am working with certain submanifolds of symmetric spaces and, using a construction in Terng-Thorbergson, we ended up in the following Hilbert space problem:
Let $H$ be a (real) Hilbert Space and $...
- 163
6
votes
1
answer
119
views
Tensoring adjointable maps on Hilbert modules
Given a right Hilbert $A$-module $E$, and a right Hilbert $B$-module $F$, together with non-degenerate $*$-homomorphism $\phi:A \to \mathcal{L}_B(F)$, we can form the tensor product
$$
E \otimes_{\phi}...
- 969
2
votes
1
answer
917
views
Characterising closed range self-adjoint operators
Let $T:\mathrm{dom}(T) \subseteq H \to H$ be a densely defined, self-adjoint operator on a Hilbert spaces $𝐻$. In general the range of $T$ is not guaranteed to be closed. What tools are available to ...
- 969
5
votes
2
answers
642
views
Non-standard tensor products of inner product spaces
For two inner product spaces $(\mathcal{V}, (\cdot,\cdot)_V)$ and $(\mathcal{W}, (\cdot,\cdot)_W)$, we can put an inner product on their tensor product in the obvious way:
$$
(1) ~~~~ \langle v \...
- 643
13
votes
3
answers
1k
views
Is the set of separable quantum states closed?
Let $\mathcal H,\mathcal H'$ be Hilbert spaces (not necessarily separable).
A "separable state" is a trace-class operator of the form $\sum_i \rho_i\otimes\rho_i'$ where $\rho_i,\rho_i'$ are positive ...
- 896
3
votes
1
answer
285
views
Closable unbounded operators and Banach space adjoints
For an unbounded operator $T:\mathcal{H}_1 \to \mathcal{H}_2$, if its adjoint $T^*$ is densely defined, then we know that $T$ is closable. What happens if we replace $\mathcal{H}_1$ or $\mathcal{H}_2$ ...
- 969
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: ...
- 969
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
8
votes
2
answers
640
views
Does a random sequence of vectors span a Hilbert space?
Let $\mathcal{H}$ be a separable Hilbert space. Let $v$ be a random variable taking values in $\mathcal{H}$ such that $P(v \perp h) < 1$ for all $h \in \mathcal{H}.$ Suppose we sample an infinite ...
- 1,429
5
votes
1
answer
189
views
Intersection of spaces with Schauder basis
Let $\{v_n\}_{n \in \mathbb{N}}$ be a Schauder basis of $V$ subspace of $\ell^2$ over $\mathbb{C}$ and $\forall m \in \mathbb{N}$ let $V_m = \overline{\operatorname{span}} \{v_n\}_{n \geq m}$
Let $\{...
- 433
0
votes
1
answer
294
views
If $A$ is a dissipative self-adjoint operator with spectral decomposition $(H_λ)$, then $e^{tA}x$ tends to the projection of $x$ onto $H_0$ as $t→∞$
Let $(T(t))_{t\ge0}$ be a strongly continuous contraction semigroup on a $\mathbb R$-Hilbert space $H$ with dissipative self-adjoint generator $(\mathcal D(A),A)$. In particular, $T(t)$ is self-...
- 167
4
votes
1
answer
151
views
Mapping inclusion theorem for the numerical range
We denote the numerical range of a complex square matrix $A \in \mathbb{C}^{n\times n}$ by $W(A)$.
Let $A \in \mathbb{C}^{n\times n}$ and let $f: \mathbb{C} \to \mathbb{C}$ be, say, an entire ...
- 12.5k
5
votes
1
answer
465
views
Quasinilpotent , non-compact operators
If $X$ is a separable Banach space and $(\epsilon_n)\downarrow 0$, can we find a quasinilpotent, non-compact operator on $X$ such that $||T^n||^{1/n}<\epsilon_n$ for all $n$? I suspect the answer ...
- 1,361
10
votes
1
answer
899
views
Approximation of a compactly supported function by Gaussians
Let $f:\mathbb{R}\to\mathbb{R}$ be a smooth function whose support is a closed interval, e.g. $\text{supp}(f)=[a,b]$. Then $f$ can be approximated (e.g. in $L^2$) by a linear combination of Gaussian ...
- 710
1
vote
0
answers
277
views
Adjoint for a non-densely defined unbounded operator on a Hilbert space
Let $\mathbf{H}$ be a Hilbert space, and $D$ an unbounded densely-defined operator on $\mathbf{H}$. As is well-known, every such operator admits an adjoint, with domain possibly different from that ...
- 993
2
votes
1
answer
399
views
A sequence of orthogonal projection in Hilbert space
Let $H$ be an infinite dimensional Hilbert space over $\mathbb{C}$
Let $\{v_n\}_{n \in \mathbb{N}} \subset H$ be a sequence of linearly independent vectors in $H$ such that $v_n \to u$
Let $\forall ...
- 433
3
votes
0
answers
171
views
Decomposition of $L^2(\Gamma \backslash H)$ into irreducible representations using the spectral theorem
I'm reading the introduction of An Introduction to the Trace Formula by James Arthur and wanted to understand something in the introduction.
Let $H$ be a unimodular locally compact Hausdorff group, ...
- 6,180
2
votes
1
answer
247
views
Intersection of Hilbert spaces with basis equivalent to canonical basis for $\ell^2$
Let $X$ be a closed subspace of $\ell^2$ over $\mathbb{C}$
Let $\{x_m\}_{m \in \mathbb{N}}$ a basis for $X$ equivalent to canonical basis $\{e_m\}_{m \in \mathbb{N}}$ for $\ell^2$
I Would like to ...
- 433
4
votes
1
answer
127
views
Proximal Operator image of convex functionals
Let $\Gamma_0$ denote the set of lower-semi-continuous convex functionals on a Hilbert space $H$. What exactly is the image of $\Gamma_0$ under the proximal operator
$$
\begin{aligned}
&\Gamma_0\...
- 5,405
0
votes
1
answer
80
views
Vectors concentrated on one coordinate
Suppose $X$ is a Banach space, $(e_i)$ a normalized basis, $(e_i^*)$ the biorthogonal functionals, and $Y$ a finite codimensional subspace of $X$. Given $N$ and $\varepsilon$, can we find $x\in Y$ ...
- 247
3
votes
0
answers
495
views
Simple (?) question on inner product in reproducing kernel Hilbert space
I'm following the gentle introduction to Reproducing Kernel Hilbert Spaces From Zero to Reproducing Kernel Hilbert Spaces in Twelve Pages or Less by Hal Daumé III. I believe the author fully ...
- 163
2
votes
1
answer
396
views
Can a bijection between function spaces be continuous if the space's domains are different?
It is well-known that any bijection $\mathbb{R} \rightarrow \mathbb{R}^2$ cannot be continuous. But suppose we have the two spaces $A = \{f(x):\mathbb{R^2}\rightarrow \mathbb{R} \}$ and $B = \{f(x):\...
- 545
6
votes
0
answers
113
views
Interpolation of some Sobolev spaces
Let $X_0=L^2(0,1)$, $X_1=H^4(0,1)$, $X_2=H^4(0,1)\cap H^2_0(0,1)$. We know the interpolation space $$(X_0,X_1)_{1/2,2}=H^2(0,1).$$
I am wondering what is
$$(X_0,X_2)_{1/2,2}=?$$
Would it be $H^2_0(0,...
- 395
7
votes
1
answer
311
views
Almost orthonormal projection and orthonormal projection in Hilbert space
Let $(e_i)_i$ be a family of vectors in a Hilbert space being almost orthonormal but not quite, i.e.
$$\langle e_i, e_j \rangle \approx \delta_{i,j} + \alpha e^{-\vert i-j \vert} $$
and $\alpha$ is ...
- 71
2
votes
1
answer
107
views
tensor stability of block-positive matrices
Let $X_{AB}$ be an operator acting on the tensor-product Hilbert space $\mathcal{H}_A \otimes \mathcal{H}_B$. Suppose that $X_{AB}$ is block positive, meaning that (in Dirac notation)
$\langle \psi |...
- 483
1
vote
0
answers
97
views
Limit of sequence of vectors in $\ell^2$ with coefficients approaching $0$
Let $\{v_m\}_{m \in \mathbb{N}} \subset \ell^2$ be a sequence in $\ell^2$ over the complex plane $\mathbb{C}$ such that: $\{v_m\}_{m \in \mathbb{N}}$ is linearly independend and $v_m \to v$
Let $V= \...
- 433
7
votes
1
answer
199
views
If $\ $ $yx_n\to 0 $ for all $y$ in a C$^*$-algebra, Is it true that $x_n$ is weakly convergent to $0$?
$A$ is a C$^*\! $-algebra and $(x_n)_{n\in \mathbb{N}} \subseteq A $.
If $\ $ $yx_n\to 0 $ for all $y\in A$, Is it true that $x_n$ is weakly
convergent to $0$ ?
For unitals this is trivial. ...
- 327
4
votes
0
answers
258
views
Orthonormal Basis of Multi-Dimensional Sobolev Space of Different Orders without Reproducing Kernel
Let $\Omega$ be an open subset of $\mathbb{R}^d$. Under regularity conditions, we know that the $s$-th order Sobolev space $H^s(\Omega)$ with $s \geq d/2$ is a reproducing kernel Hilbert space. In ...
- 1,127
4
votes
2
answers
244
views
Compact images of nowhere dense closed convex sets in a Hilbert space
Let $B=-B$ be a nowhere dense bounded closed convex set in the Hilbert space $\ell_2$ such that the linear hull of $B$ is dense in $\ell_2$.
Question. Is there a non-compact linear bounded operator ...
- 41.8k
2
votes
1
answer
407
views
Strongly Continuous Group Actions on the $ C^{\ast} $-Algebra of Compact Operators on a Hilbert Space
Let $ \mathcal{H} $ be a not-necessarily-separable Hilbert space. Let $ G $ be a locally compact Hausdorff group. It is easy to see that if $ U: G \to \mathbb{U}(\mathcal{H}) $ is a norm-continuous ...
- 1,396
3
votes
1
answer
169
views
A specific problem on : Can bounding the Sobolev norm, bound a higher derivative?
Let $f \in H^k(\mathbb{R}^m)$, $k>\frac{m}{2}$. Given any $f$, such that $\|f\|_{H^k(\mathbb{R}^m)}<K$ , and any $\phi \in C^{\infty}(\mathbb{R}^m)\cap H^k(\mathbb{R}^m)$, such that $\|\phi\|_{...
- 698
2
votes
1
answer
167
views
Are the intersection of proximinal sets in a Hilbert Space proximinal?
Let $X$ be a real Hilbert Space and $C \subseteq X$. Let $d_C$ be the infimal distance function to $C$ and $P_C(x) = C \cap S[x; d_C(x)]$ be the metric projection. We say $C$ is proximinal if $P_C(x) \...
- 191
-2
votes
1
answer
1k
views
Weak convergent $+$ strongly convergent subsequence $\Rightarrow$ strong convergence? [closed]
Let $X$ be a Hilbert space containing functions defined over a bounded region $\Omega\subset \mathbb{R}^N$. Assume $f_n\in X$ converges weakly to $f\in X$, and also has a strongly convergent ...
- 395
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
15
votes
2
answers
660
views
Multiple of identity plus compact
Is there an example of a bounded operator $T\in\mathcal{B}(H)$, where $H$ is a separable complex Hilbert space, such that no restriction to an infinite dimensional closed subspace is multiple of ...
- 247
3
votes
1
answer
214
views
Non-point spectrum for diagonalisable self-adjoint unbounded 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 ...
- 969
5
votes
1
answer
379
views
Hilbert representation of a bilinear form
Let $\sigma:\mathbb{R}^n\times \mathbb{R}^n\to \mathbb{R}$ be a bilinear symmetric form which is non-degenerate in the sense that for every $0\neq u\in \mathbb{R}^n$ there is $v\in \mathbb{R}^n$ with $...
- 5,529
6
votes
1
answer
1k
views
Unbounded version of continuous functional calculus
For a normal operator $T$ on a Hilbert space ${\cal H}$, it is well known that for any continuous complex valued function $f$ on the spectrum of $T$, we have a well-defined operator $f(T) \in B({\cal ...
- 969
1
vote
1
answer
153
views
Optimal estimate in trace norm
Let $x,y$ be vectors of some Hilbert space of unit length.
Then we can consider the projection $P_x:=\langle \bullet, x \rangle x$ and similarly $P_y.$
Assume then that we know that $\left\lVert x-...
- 119
1
vote
0
answers
862
views
Why is $H^{1/2}$ a Hilbert space?
Let $n\in\mathbb{N}$ and $\Omega \subseteq \mathbb{R}^n$ sufficiently smooth. Then we have the Hilbert space $H^1(\Omega)$ and the trace operator $\operatorname{tr}: H^1(\Omega) \to L^2(\partial \...
2
votes
1
answer
94
views
Fredholmness of formal selfadjoint operator $AA^*$ and Fredholmenss of $A$
Let $X$ and $Y$ be Hilbert spaces with respective inner products $\langle , \rangle_{X,Y}$. Let $A:X \rightarrow Y$ be a bounded linear operator. Assume there is a non-degenerate sesquilinear product $...
- 123
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 ...
- 31
3
votes
1
answer
90
views
Measurability of specific function
Let $I\subset\mathbb{R}$ denote an open and bounded interval of the real line, $H_0^1(I)$ all quadratic integrable Sobolev functions and $C(\bar{I})$ all continuous functions on said interval.
Since ...
- 65
1
vote
1
answer
112
views
Orthogonal complement vector space
Let $X$ be a vector space contained in $H^{1}(\mathbb R^d),$ then we can study
$X^{\perp_{L^2}}:=\left\{ \xi \in L^2; \langle \xi, x \rangle_{L^2} =0 \ \forall x \in X \right\}$
and
$X^{\perp_{H^{-...
- 13
1
vote
0
answers
922
views
A Question on certain Hilbert space of continuous functions, and a characteristic of convergence in it
Define $T^k(\Omega)$, $\Omega$ an open subset of $\mathbb{R}^m$ (with a smooth boundary), as a space of function equivalance classes, with the norm defined as $$ \|f\|_{T^k(\Omega)}^2 = \|f\|_{L^2(...
- 698
4
votes
0
answers
174
views
Constant in trace theorem for balls
Consider the standard open ball $B_r:=\left\{x ; \left\lvert x \right\rvert \le R \right\}.$
The trace theorem tells us any function in $W^{k,p}(B_r)$ can be restricted to a function $W^{k-1,p}(\...
user127450