All Questions
10,828 questions
6
votes
1
answer
713
views
Equivalence of Gaussian measures
Let $H$ be a separable Hilbert space and $N(0, C)$ and $N(0, D)$ be Gaussian measures on it. Further, for each $v \in H$, define $R_v = \frac{\left\langle v,Cv \right\rangle}{\left\langle v,Dv \right\...
- 157
6
votes
2
answers
622
views
If Gaussian measures on a Hilbert space converge weakly to 0, how do their covariance operators converge?
Suppose we have a sequence of Gaussian measures $N(0, S(n))$ supported on a Hilbert space $H$ and we know that the sequence converges weakly to the delta measure at $0$, what are the necessary and ...
- 93
6
votes
1
answer
278
views
Is the ideal of compact operators strongly Borel?
Let $H$ be a separable infinite dimensional Hilbert space. Denote by $\mathcal{B}(H)$ the space of bounded operators on $H$, and $\mathcal{K}(H)$ the ideal of compact operators. When endowed with the ...
- 3,115
6
votes
1
answer
644
views
Inductive limit of C*-algebras
It is known that an intertwining (or even approximately intertwining) diagram implies the isomorphism of the limit algebras. Under what conditions the converse holds?
- 169
6
votes
1
answer
526
views
Strong convergence of projections in $B(H)$
(I asked this question at math stackexchange 4 months ago, but received no answers)
Let $\{e_{kj}\}$ be the canonical matrix units in $B(H)$, with $H$ separable. Define projections $q_k$ by
$$
q_k=\...
- 2,793
6
votes
1
answer
1k
views
Symmetric basis of harmonic homogeneous polynomials
Recently, a question about the beautiful theory of harmonic polynomials made me aware there is something
I've wanted to know for a long time.
As is well known, for any number of variables $n$ and any ...
- 60.6k
6
votes
1
answer
252
views
Poisson kernel for the orthogonal groups
For the complex ball $|z|^2\le 1$ in $\mathbb{C}^n$, there is a Poisson kernel proportional to $|x-z|^{-2n}$. This is generalized to the unitary group $U(N)$ so that in the complex matrix ball $Z^\...
- 1,549
6
votes
1
answer
319
views
How are coordinate charts constructed in noncommutative geometry?
In noncommutative geometry, one is given a triple $(A,D,H)$, where $A$ is a commutative C* algebra, $H$ is a Hilbert space, and $D$ is an operator. There is a somewhat long list of conditions that ...
- 593
6
votes
1
answer
237
views
Radon-Nikodym property in Diestel & Uhl: a definition clarification
I posted the following question on MSE originally because, not being research-level, it seemed more appropriate for that site. However, there was no activity for it on MSE and I feel that it certainly ...
- 201
6
votes
1
answer
268
views
Unconditionally convergent series in $\ell_2$ consisting of $\ell_1$-small vectors
For a function $x:\omega\to\mathbb R$ let $|x|$ denote the function $|x|:\omega\to[0,\infty)$, $|x|:n\mapsto|x(n)|$.
It is well-know that a series $\sum_{n\in\omega}r_n$ of real numbers converges ...
- 42k
6
votes
1
answer
499
views
Can I find a bump function $\psi$ such that $\nabla\log\psi$ vanishes too?
Consider a bump function supported in the ball of radius $1$, that is $\psi:\mathbb R^n\to\mathbb R$ such that
$\ \psi(x)>0$ for $|x|<1$
$\ \psi(x)=0$ for $|x|\geq 1$
$\ \psi\in C^\infty$.
...
- 311
6
votes
1
answer
276
views
What is the Gelfand dual of an open surjection?
Does anyone have a handy characterisation of open continuous surjections $X \to Y$ in terms of the corresponding injective $*$-homomorphism $C(Y) \to C(X)$? (I'm only interested in the case where $X$ ...
- 508
6
votes
2
answers
509
views
A question on Grothendieck space
A Banach space $X$ is said to be Grothendieck if the weak and the weak* convergence of sequences in $X^{*}$ coincide. I have the following two questions.
Question 1. A Banach space $X$ is Grothendieck ...
- 3,343
6
votes
1
answer
377
views
quick question about renorming quasi-Banach spaces into p-Banach spaces
I have a quick question which is probably supposed to be obvious, but for some reason I just don't see it: How does one re-norm a quasi-Banach space to produce a $p$-Banach space ($0<p\leq 1$) ...
- 1,591
6
votes
2
answers
906
views
Gaussian measure on function spaces
I'm reading this classic work and I'd like to get deeper inside some of its techniques. In particular, the authors state: "We construct a Gaussian measure $d\mu_{0}(\phi)$ on a measure space of ...
- 3,535
6
votes
1
answer
252
views
Arens regularity of Banach algebras
I was trying to learn the concept of Arens regularity of Banach algebras from T.W Palmers book -"Banach algebras and the general theory of $*$-algebras". There he have discussed the Arens regularity ...
- 243
6
votes
1
answer
354
views
Equivalence of $\sigma$-weak topology to another topology
Let $\mathcal H$ be a Hilbert space. Define a topology $\tau_1$ on $B(\mathcal H)$ by the family of seminorms $x\mapsto |Tr(xa)|,$ $a\in L^1(B(\mathcal H)).$ Here $B(\mathcal H)$ denotes the set of ...
- 1,879
6
votes
1
answer
1k
views
Lipschitz function of independent subgaussian random variables
This question was asked here, but I have reason to believe that it's a serious research question appropriate for this forum (also, the answers given at the link aren't satisfactory).
If $X\in\mathbb{...
- 6,541
6
votes
1
answer
200
views
Coarse index of Dirac operator on $\mathbb{R}$
Let $D=i\frac{d}{dx}$ be the Dirac operator on $\mathbb{R}$, acting on the spinor bundle $\mathbb{R}\times\mathbb{C}$. The bounded operator $F=\frac{D}{\sqrt{D^2+1}}$ has a coarse index
$$\text{Ind}(...
- 1,913
6
votes
2
answers
355
views
Complete dual of bornological space
A bornologigal topological vector space is such that any bounded linear function on it is continuous. It is a standard result [Jarchow, Locally convex spaces, 1981] that if the dual $E'$ of a Mackey ...
- 103
6
votes
1
answer
1k
views
Prove that the flow of a divergence-free vector field is measure preserving
On page 3 of this preprint, after recalling the definition of flow generated by a vector field, the authors remark that "a necessary condition for a flow $\varphi_t(\cdot)$ generated by $a(t, \cdot)$ ...
- 839
6
votes
1
answer
150
views
Examples of non-isomorphic $C^\ast$ algebras with isomorphic quasi-state spaces
Let $A$ (resp. $B$) be a unital $C^\ast$-algebra, $\mathcal{Q}(A)$ (resp. $\mathcal{Q}(B)$) the compact convex subset of $A^\ast$ equipped with the $\sigma(A^\ast, A)$ (resp. $\sigma(B^\ast, B)$) ...
- 1,586
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
6
votes
1
answer
453
views
Is each compact metric space a subset of a compact absolute 1-Lipschitz retract?
A metric space $X$ is called an absolute $L$-Lipschitz retract if for any metric space $Y$ containing $X$ there exists a Lipschitz retraction $r:Y\to X$ with Lipschitz constant $Lip(r)\le L$.
...
- 42k
6
votes
1
answer
238
views
Extending a weak*-converging sequence onto a superspace
Let $X$ be a real Banach space and $Y\subset X$ be a (closed) subspace of $X$. Assume that a sequence $y_n^*\in S_{Y^*}$ weak*-converges to some $y^*\in S_{Y*}$. (Here $S_{Y^*}$ stands for the dual ...
6
votes
1
answer
1k
views
Schmidt decomposition on infinite-dimensional Hilbert spaces
The Schmidt decomposition theorem says:
If $H_1,H_2$ are Hilbert-spaces (for simplicity: of same dimension) and
$x\in H_1\otimes H_2$, then there exist orthonormal bases
$\alpha_i,\beta_i$ of $...
- 896
6
votes
2
answers
530
views
Schrödinger eigenfunctions are bounded
Let $V:\mathbb{R}\rightarrow \mathbb{R}^{+ *}$ a real positive function such that $\displaystyle \lim_{ x \to \pm\infty} V(x)= +\infty $.
Then the Schrödinger operator $H=-\frac{d^2}{dx^2}+V(x)$ has ...
- 129
6
votes
1
answer
780
views
Resolvents of Schrodinger operators
In the free case one can compute the resolvents of the Laplacian $-\Delta$ in many cases explicitly, in the sense that they are given by an integral operator. Often, one uses the Hille-Yosida theorem ...
- 305
6
votes
2
answers
318
views
Natural map $C^*(G) \to M(A\rtimes G)$
Let $A$ be a C*-algebra, let $G$ be a locally compact group, and let $\alpha\colon G\to\mathrm{Aut}(A)$ be a (strongly) continuous action. It is well known that there is a natural map $\iota_G\colon C^...
- 717
6
votes
1
answer
627
views
A sufficient condition (or not) for positive semidefiniteness of a matrix?
Let $A\in M_{n}(\mathbb{C})$ be a Hermitian matrix. If for all $z_1,...,z_n\in\mathbb{C}$, $$\sum_{i,j=1}^{n}A_{ij}z_{i}\overline{z_{j}}\ge 0$$ then A is positive semidefinite.
I do not think the ...
- 7,067
6
votes
1
answer
946
views
Are Sobolev spaces on non-compact manifolds separable?
If $M$ is a Riemannian manifold that is not compact, is it true that the Sobolev spaces on $M$, $W^{k,p}(M)$, still be separable (for $p < \infty$)?
- 83
6
votes
1
answer
916
views
Rellich-Kondrachov compacteness Theorem for the Euclidean space with Gaussian measure
Let $\gamma_n: \mathbb{R}^n\to\mathbb{R}$ be the Gaussian distribution function defined by
$$
\gamma_n(x):=(2 \pi)^{-\frac{n}{2}} e^{-\frac{|x|^2}{2}}.
$$
Let $d\gamma_n$ denote the following measure ...
6
votes
3
answers
481
views
Quantum Mechanics and bilinear optimal control theory
I was wondering whether there are any rigorous results about the optimal controllability of Schrödinger operators.
So my question is something like this:
Let $i \partial_t \psi(x,t) = H_0(x)\psi(x,t)...
- 259
6
votes
1
answer
225
views
Is the space of vectorial functions that are Dunford integrable complete?
Let $X$ a Banach Space and $(\Omega, \Sigma, \mu)$ a measure space. A function $F:\Omega\rightarrow X$ is Dunford integrable if $x^\ast\circ F$ is $\mu$-integrable for every $x^\ast\in X^\ast$. The ...
6
votes
1
answer
2k
views
Kullback Leibler "variance": does that divergence have a name?
If you consider two probability distributions $p$ and $q$, one way to measure the distance between the two is the Kullback-Leibler divergence:
$$KL(p,q)=\int p \log (p/q) = E_p(\log p/q)$$
and this ...
6
votes
2
answers
1k
views
Characterization of ideals in the bounded operators
Let $\mathcal{B}(H)$ denote the C*-algebra of all bounded operators on a separable infinite dimensional complex Hilbert space $H$. It is a well-known fact that $\mathcal{B}_0(H)$, the ideal of compact ...
- 3,115
6
votes
2
answers
519
views
Existence of an integral equation (Faedo-Galerkin, Banach fixed point, Picard-Lindelof)
This question is concerning the paper, particularly the proof of Lemma 2.1 in Section 2.1:
Matas, A., Merker, J. Existence of weak solutions to doubly degenerate diffusion equations, Appl Math 57 (...
- 266
6
votes
2
answers
405
views
$\|T\|_2 \le \sqrt{\|T\|_1\|T\|_\infty}$
Let $T$ be a linear operator acting on a finite-dimensional real or complex
vector space. As a direct consequence (or rather a particular case) of the
Riesz-Thorin theorem, we have
$$ \|T\|_2 \le \...
- 23k
6
votes
2
answers
963
views
Tightness of Measures, Riesz Representation for locally compact spaces
Let $X$ be a locally compact, separable metric space and $\mu_n$ a sequence of probability measures on $S$. Let $\mathfrak{C}$ be a convergence determining class for the weak topology (for instance, ...
- 71
6
votes
1
answer
364
views
A question about uniformly bounded semigroups
Let $A$ be an unbounded linear operator of domain $D(A)$ defined on a Banach space $X$. Suppose that $A$ generates a $C_0$-semigroup $T(t)$ which is uniformly bounded. I would like to know if there ...
6
votes
1
answer
2k
views
Existence of injective operators with dense range
Given two separable (infinite dimensional) Banach spaces $X$ and $Y$, it is not difficult to show that there exists an injective (bounded linear) operator $T:X\to Y$ with range dense in $Y$. See S. ...
- 4,461
6
votes
1
answer
275
views
Quasi-reflexive spaces which are not isometric to dual spaces
My question may sound weird and I have no deep motivation behind it other than curiosity.
As is well-known, quasi-reflexive spaces have the Radon-Nikodym property hence their balls have lots of ...
6
votes
2
answers
678
views
How general is the convergence of the exponential function's power series?
I asked essentially this over two weeks ago on MSE, and nothing was else was posted to that question.
Let $\mathbf{V}$ be a Fréchet space whose underlying set is $V$.
Let $\;\; \beta \: : \: V\times ...
user5810
6
votes
2
answers
167
views
Vanishing of integral on hemispheres implies vanishing of function?
Consider a function $F$ on the half space $\{(x,y,z)|z>0\}$. If $F$ is analytic, it is straightforward to show that
A) The integral of $F$ over the hemisphere $(x-x_0)^2 + (y-y_0)^2 + z^2 = R^2$ ...
- 163
6
votes
1
answer
643
views
Is there an irreducible, noncompact commuting, nonnormal operator, with spectrum strictly continuous?
Let $H$ be an infinite dimensional separable Hilbert space.
Definition: The commutant $\mathcal{S}'$ of a subset $\mathcal{S} \subset B(H)$ is $ \{A \in B(H) : AB=BA \ , \ \forall B \in \mathcal{S} \}...
6
votes
1
answer
474
views
Proof that $L^2(0,T;X)^* = L^2(0,T;X^*)$
How is the proof that
$$[L^2(0,T;X)]' = L^2(0,T;X')$$
looking like, where $X$ is a Hilbert space? I am asking for the proof that the dual space of $L^2(0,T;X)$ is the space $L^2(0,T;X^*)$.
Is the ...
- 83
6
votes
1
answer
548
views
Non-super reflexive space
Suppose $X$ is a reflexive space (possibly non-separable) which is not super-reflexive. Then (by definition) there exists a non-reflexive Banach space $Y$ which is non-reflexive but is finitely ...
- 387
6
votes
1
answer
751
views
left- and right- Folner sets
Given an amenable group, it is a standard trick to turn a left-invariant mean ( i.e. a continuous positive normalised linear functional $m:\ell_\infty(G) \to \mathbb{R}$ such that $\forall g \in G, m \...
- 4,432
6
votes
1
answer
363
views
von Neumann automorphisms: does convergence on a dense algebra imply $u$-convergence?
Let $M$ be a separable von Neumann algebra and let $A$ be a (von Neumann-)dense *-subalgebra.
Suppose that $\alpha,\alpha_1,\alpha_2,\dots$ are automorphisms of $M$, such that for every $a \in A$,
$$ \...
- 1,786
6
votes
2
answers
320
views
Integration under functional sign
Let $f(x,y)$ be some bounded with its derivatives continuous function on $\Omega \times \overline{\Omega}$, where $\Omega$ is a domain in $\mathbb{R}^n$. Let $f(\,\,\cdot\,,\,y) \in \mathcal{E}(\Omega)...
- 1,329