**0**

votes

**0**answers

64 views

### Spectral theory of $\frac{\partial ^2}{\partial x^2} + \frac{\partial ^2}{\partial y^2}$ and $4 \frac{\partial ^2}{\partial z\partial \bar{z}}$ [on hold]

Since $\mathbb R^2 \simeq \mathbb C$ and $\frac{\partial ^2}{\partial x^2} + \frac{\partial ^2}{\partial y^2} =4 \frac{\partial ^2}{\partial z\partial \bar{z}}$, I like to know is that the spectral ...

**6**

votes

**1**answer

162 views

### Definitions of Hilbert Bundles

I have some doubts regarding definitions and conventions on Hilbert Bundles. Some authors like Peter Kuchment (Floquet Theory for Partial Differential Equations) and Serge Lang (Differential and ...

**-1**

votes

**0**answers

33 views

### Compact subsets, how to check? [closed]

My question is: How can I see if (in $\mathcal H=\mathcal l^2 (\mathbb{N} )$
$B_1=\left\{ u | \frac{|u_k|}{k^2}\leq1 \right \}$
,$B_2=\left\{ u | \frac{|u_k|}{log(1+k)}\leq1 \right \}$
are compacts ...

**4**

votes

**2**answers

211 views

### Error estimate in the spectral theorem of compact operators on a Hilbert space

Given a compact self-adjoint operator $K$ mapping $L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ as $f \rightarrow \int K(x,y) f(y) d\mu(y)$, let us define its eigenvalues $\lambda_i$ and ...

**0**

votes

**0**answers

55 views

### What equals $\ker[(A-\lambda I)^+]$ for a negative unbounded operator $A$?

We have the following result:
$\{ E_{\lambda}; \, -\infty <\lambda < + \infty\}$ is a spectral family, where $E_{\lambda}$ is the projection of $H$ onto the null space $\mathscr N ...

**6**

votes

**1**answer

319 views

### Current status of computable spectral theorem and interpretation of quantum mechanics

The spectral theorem states if $A$ is a Hermitian operator acting on an $n-$dimensional Hilbert space space $H$, and $\lambda_1, ... \lambda_m$ are $m \leq n$ distinct eigenvalues of $A$, then
$$ ...

**0**

votes

**1**answer

34 views

### Simplify the expression of $ T^+$ for an unbounded operator $T$?

For a negative unbounded operator $T$, what equals the operator
$$ T^+ = \left[\frac{1}{2}(|T| + T) \right]^{**},$$
where $|T|= (T^2)^{1/2}$ and $A^{**} $ is the minimal closed extension of an ...

**1**

vote

**3**answers

112 views

### Norm of an operator formed using a unitary operator

Suppose, $ A $ is a unitary matrix in $ M_n(\mathbb{C}) $ given by $ (a_{i,j})_{1\le i,j\le n} $ which has the property that, for all the basis elements $ e_i $, $ Ae_i\ne |\lambda| e_j $ for all $i,j ...

**3**

votes

**0**answers

138 views

### A strongly open set which is not measurable in the weak operator topology

Let $H$ be a non-separable Hilbert space and $\{e_i\}_{i\in I}$ be an orthonormal basis for $H$. Let $J$ be a uncountable proper subset in $I$.
Let us put $$E=\{x\in B(H): \lVert xe_j\rVert <1: ...

**5**

votes

**2**answers

489 views

### Holomorphy of a function with values in a Hilbert space

I asked the same question on MathStackExchange. EDIT: This question has now a open bounty worth +50 reputation on MSE.
Denote by $\mathbb C^\infty $ the Hilbert space $\ell^2 (\mathbb C)$. Fix $1\leq ...

**1**

vote

**0**answers

39 views

### Complex conjugate and unitary complex conjugate

Definition: Let V be complex finite dimensional inner product space
Complex Conjugate: $J$ is called complex conjugate on V iff $(i) J$ is antilinear $(ii) J^2 =I$
Definition: Anti-unitary Complex ...

**4**

votes

**1**answer

96 views

### Every self-adjoint trace class operator on $L^2$ has integral kernel

I have asked this question on MSE but did not receive an answer. I thought I could try it here.
Let $T$ be a self-adjoint trace-class operator on $L^2(\mathbb{R})$. Is is true that it can be ...

**2**

votes

**1**answer

118 views

### Visualizing ANOVA Decomposition [on hold]

Let $f \in L^2[0,1]^d$ be a measurable function where $d \in \mathbb{N}$. For a given subset $u \subseteq D := \{1,2,\ldots,d\}$ consider the projections $P_u : L^2[0,1]^d \to L^2[0,1]^{|u|}$ given ...

**11**

votes

**1**answer

216 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 ...

**7**

votes

**1**answer

144 views

### Orthonormal bases on Reproducing Kernel Hilbert Spaces

Recall that a Hilbert space $\mathcal{H}$ is a reproducing kernel Hilbert space (RKHS) if the elements of $\mathcal{H}$ are functions on a certain set $X$ and for any $a\in X$, the linear functional ...

**0**

votes

**0**answers

46 views

### Matrix representation of linearized PDE

My motivation for this question is to investigate the linear stability of steady solutions of a nonlinear PDE by computing eigenvalues of the linearized equations. Specifically, I have a function ...

**7**

votes

**1**answer

266 views

### A Hilbert space characterization via retractions--a conjecture

Given a Banach space $X$ and a functional $f:X\rightarrow \mathbb R$, let
$$ X_f := \{x\in X : f(x)\ge 0\} $$
("functional" means "non-zero linear functional"). Also, given a topological space $E$ ...

**5**

votes

**0**answers

107 views

### Gleason’s Theorem for non-separable Hilbert spaces: On a theorem of Solovay

Gleason’s theorem plays an important role in the foundations of
quantum mechanics. On the positive side it demonstrates how the probabilistic
structure of quantum theory follows from its logical ...

**1**

vote

**0**answers

19 views

### Efficient packing in Gaussian measures on Hilbert spaces

Let $B(0,1)$ be the unit ball in a separable Hilbert space $H$ with a Gaussian measure $\mu$ on it. For a small $r > 0$, can we have $x_i \in B(0,1)$, $0 < r_i \leq r$ and a constant $K > 0$ ...

**6**

votes

**0**answers

91 views

### orthogonal projector onto the set of convex functions

Let $\Omega\subset \mathbb R^d$ be an open, convex domain, and consider the Hilbert space $L^2(\Omega)$. Each sum of convex functions is convex, hence the subset $Conv(\Omega)$ of all convex functions ...

**5**

votes

**1**answer

103 views

### Discrete Wavelets

I am looking for research that has been done in Discrete wavelets. Let me be specific as Google doesn't give me what I want when I say "discrete wavelets". I don't want countable basis for $ ...

**0**

votes

**0**answers

41 views

### Hilbert Manifold structure on global sections of a sheaf

Let $<U_i,\phi_i>$ be an atlas on a Hilbert manifold $M$. If $F(M,U_i)$ is a Hilbert space for every $U_i$ then does this imply that $F(M,M)$ can be made into a Hilbert manifold also with ...

**4**

votes

**2**answers

174 views

### Density of Gaussian measures on Banach spaces

I am trying to get my head around this question and was reading (1) which states the same a little bit more general:
Let $X$ be a separable Banach space and $X^*$ the dual space. The mean
value ...

**4**

votes

**1**answer

141 views

### Is the sum of spectral projections a projection?

Let $T$ be a closed operator on a Hilbert space with discrete spectrum. Then for $\{\lambda_1,...\lambda_n\}\in\sigma(T)$ one can define the spectral projections
...

**0**

votes

**1**answer

67 views

### Embedding Riemmanian Manifold Linearly

Given a Hilbert Manifold $M$ does there exist a smooth map into some very large Hilbert space taking geodesics to straight lines?

**37**

votes

**5**answers

4k views

### Are dagger categories truly evil?

Recall that a dagger category is a category equipped with an involution $*:Hom(x,y)\to Hom(y,x)$ that satisfies $f^{**}=f$ and $f^* g^*=(gf)^*$. A prominent example of a dagger category is the ...

**0**

votes

**1**answer

71 views

### Norm of derivative of rank one projector

I asked this question on math.stack but I got no answer, so I try here.
Let $\phi(t)$ be a solution for the nonlinear Schroedinger equation\begin{equation}
...

**3**

votes

**0**answers

138 views

### Deformation and Representations

Let $\widetilde{U_q(sl_n)}$ denote a deformation of the algebra $U_q(sl_n)$. In particular, $\widetilde{U_q(sl_n)}$ is defined by the same generators and relations and $*$-operations as $U_q(sl_n)$ ...

**1**

vote

**0**answers

53 views

### Zeros of functions constituting a Riesz-basis for the Paley-Wiener space

I have a short question which first requires some slightly elaborate definitions:
Let $(e_n)$ be a Riesz-basis for a Hilbert space $\mathcal{H}$ with biorthogonal basis $(g_n)$, i.e. $\langle e_m, ...

**4**

votes

**2**answers

61 views

### Distribution of the RKHS norm of the posterior of a Gaussian process

In a classical noisy regression setting, let $\big(f(x)\big)_{x\in\cal X}$ be a centered Gaussian process of covariance $k$ on a compact $\cal X$, and $\mathcal{F}_n$ be the filtration generated by ...

**2**

votes

**0**answers

43 views

### Equivariant exponential map on Hilbert manifolds

Let $M$ be a Hilbert Riemannian manifold and $G$ a finite-dimensional Lie group acting on $M$. It is well-known that when $M$, too, is finite-dimensional
$$\exp_p: U \subset T_pM \rightarrow \exp_p(U) ...

**0**

votes

**1**answer

153 views

### On the Riesz representation theorem II

I have a follow-up question to On the Riesz representation theorem .
Let $V$ be a subspace of a Hilbert space, and let $V^\times$ be the space of all antilinear functionals on $V$, equipped with the ...

**4**

votes

**1**answer

375 views

### On the Riesz representation theorem

Let $V$ be a vector space with inner product $(\phi,\psi)$ antilinear in the second argument - not necessarily a Hilbert space. Let $\Phi$ be an antilinear functional on $V$.
What are the precise ...

**6**

votes

**1**answer

500 views

### An equivalence relation on the space of polynomials in one complex variable

Let $P(z)$ be a polynomial with complex variable $z$. We consider the following distribution for the roots of $P(z)=0$: the distribution is a triple $(n_{1},n_{2},n_{3})$
where these integers are ...

**1**

vote

**0**answers

100 views

### Algorithm for finding eigenfunctions

I have an $ L^2(\mathbb{R}) $ operator that looks like
$$
\Omega = \int \partial\phi(a, b)\ \ |b, a\rangle \langle b, a |,
$$
where $ \langle x | a, b \rangle = f_a(x - b) e^{x^2/2} $ and $ f_a \in ...

**-2**

votes

**1**answer

178 views

### No Hilbert space can have countable Hamel basis without using Baire's Category theorem [closed]

I want to prove that no Hilbert space can have countable Hamel basis just using the fact that any finite dimensional subspace is closed (more specifically without using Baire's theorem). I saw a paper ...

**2**

votes

**1**answer

174 views

### Completion of $C_0^{\infty}(\mathbb{R}^N)$ with norm $\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $

I have a question that I could not find it any where.
Is the completion of $C_0^{\infty}(\mathbb{R}^N)$ with the respect to norm
$$\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, ...

**10**

votes

**2**answers

587 views

### Schur's Lemma for Hilbert spaces

Let $H$ be a complex Hilbert space and let a group $G$ act on $H$ such that there are no invariant closed subspaces besides $H$ and $(0)$. Let $D$ be the ring of bounded operators which commute with ...

**5**

votes

**1**answer

71 views

### Continuous section inside a family of rank-varying operators

Good morning everybody,
my question is as follows: let $K$ be a compact set and assume $F:K\to L(\mathcal H,\mathbb R^{m+1})$ be a continuous map from the compact set $K$ to the space of linear ...

**0**

votes

**0**answers

149 views

### How to change the given metric if we want to add few extra isometries?

I have a Hilbert Space $X$ and a group $G$, which consists of bounded linear self-bijections of $X$ (if it helps, this group has a locally compact, but not compact topology). Is there a canonical way ...

**5**

votes

**1**answer

168 views

### Stinespring's dilation without $C^{\ast}$-algebras

Does Stinespring's dilation theorem hold if the algebra of interest is a topological $\ast$-algebra instead of the usual $C^{\ast}$-algebra?
I will now state the version of Stinespring's dilation ...

**-3**

votes

**1**answer

212 views

### Is :$\frac{\Bbb d}{\Bbb d x}$ a chaotic operator in infinite-dimensional Hilbert space? [closed]

I proposed this question in SE but no answer ,may I have a problem in my question, I would like to know when $\frac{\Bbb d}{\Bbb d x}$ does chaotic operator in Hilbert space ?
Let $H$=$L^2(\mathbb ...

**3**

votes

**1**answer

113 views

### Sum of two parts of a continuous stochastic process

Let $X$ be a centered continuous stochastic process which is square integrable on $[0,2]\times \Omega$ and the basis of $L^2(0,2)$ is $\{e_i\}$. By using Karhunen-Leove Theorem one can write for all ...

**5**

votes

**1**answer

283 views

### Is the unitary group of a pre Hilbert space contractible?

I already posted my question on mathstackexchange
For a separable Hilbert space $H$ it is known that the unitary group $U(H)$ is contractible, both for the norm topology (Kuiper's theorem) and for ...

**1**

vote

**0**answers

55 views

### Normalized tight frame that is not orthonormal

Does anybody know an example of a normalized tight frame (wavelet frame) that is not an orthonormal frame of $L^2( \mathbb{R})$?
So in other words $\{\psi_{j,k}(x):=2^{j/2}\,\psi(2^j\,x-k)\}_{j,k \in ...

**0**

votes

**0**answers

371 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 ...

**2**

votes

**2**answers

428 views

### Is the residual spectrum of every power bounded operator contained in the open unit disk?

$\newcommand{\cH}{\mathcal{H}}
\newcommand{\CC}{\mathbb{C}}$
Let $\cH$ be a Hilbert space. A linear operator $T: \cH \to \cH$ is said to be power bounded if $\sup_{n \geq 0} \|T^n\| < \infty$.
If ...

**1**

vote

**1**answer

98 views

### Is $\textbf{FHILB}$ locally regular?

Is the category, $\textbf{FHILB}$, of finite dimensional Hilbert spaces and linear maps locally regular, where `locally regular' is defined like this
...

**1**

vote

**1**answer

115 views

### Inner product spaces without symmetry/hermitian axiom

Consider a vector space $X$ over $\mathbb R$ and a bilinear form
$ \langle \cdot, \cdot \rangle : X \times X \rightarrow \mathbb R$.
We assume furthermore that for any $x \in X$ there exists $y \in ...

**3**

votes

**1**answer

181 views

### When does an irreducible unitary real representation remain irreducible after complexifying it?

Consider a unitary real representation of a Lie group $G$ over a real Hilbert space $\mathcal{H}_\mathbb{R}$
\begin{equation}
\rho:G\rightarrow U(\mathcal{H}_{\mathbb{R}})
\end{equation}
Taking the ...