All Questions
13,927 questions
0
votes
0
answers
191
views
Canonical embedding of Hilbert space in random $L^2$
This question is a followup of Canonical embedding of Hilbert space in $L^2$ space, where it was essentially shown that there is no canonical way to construct, from an abstract Hilbert space $H$, a ...
- 1,329
0
votes
0
answers
88
views
Prove that the solution belong to ${L^2}\left( {0,T;{L^2}\left( \Omega \right)} \right)$
Let $k \in {L^\infty }\left( {0,T} \right)$ and we assume that
$$\phi :t \mapsto u\left( t \right) + \int_0^t {k\left( s \right)u\left( s \right)ds} \in {L^\infty }\left( {0,T;{L^2}\left( \Omega \...
- 183
0
votes
0
answers
97
views
Smooth sections of finite dimensional bundle and covering space
Let $G$ be a discrete finitely generated group which acts properly and freely on a smooth manifold $M$ with compact quotient $M/G$. Is it right to consider any function $f \in C^{\infty}_c(M)$ (with ...
0
votes
0
answers
170
views
Limit of balls in $L^p$
Setup:
Let $\mu$ be a measure on a measurable space $(X,\Sigma)$, such that for every $p ,q\in [1,\infty)$, $L^p_{\mu}(\Sigma)\subseteq L^q_{\mu}(\Sigma)$ if $p\geq q$. Furthermore, the inclusions ...
- 5,405
0
votes
0
answers
58
views
Bounds on $\inf_{x,x' \in \mathbb B_X}TV(P+x,Q+x')$, where $P$ and $Q$ are distributions with density on the space $X=(\mathbb R^n,\ell_p)$
Let $n \ge 1$ be an integer, $p \in [1,\infty]$, and $P$ and $Q$ be two (probability) measures on the metric space space $X=(\mathbb R^n,\ell_p)$ which have densities w.r.t the Lebesgue measure on $X$,...
- 6,853
0
votes
0
answers
135
views
Are geometric progressions closed in the $p$-adic topology?
For a prime number $p$, the $p$-adic topology on the set $\omega$ of non-negative integers is generated by the base consisting of the arithmetic progressions $x+p^n\omega:=\{x+p^ny:y\in\omega\}$ where ...
- 41.9k
0
votes
0
answers
90
views
Special kind of translation and rotational invariance of the numerical range
Let $T\in\mathscr{B(\mathcal{H})}$ and $X\in M_n(\mathbb{C})$. Is the following statement true?
If $W(B\otimes X)\subseteq W(B\otimes T)$ for any $B\in M_n$ then $W(B\otimes (X+I_n))\subseteq W(B\...
- 231
0
votes
0
answers
85
views
Could the convex hull of $\operatorname{Lip}_1(\mathbb R)$ be dense in $\operatorname{Lip}_1(\mathbb R^d)$?
$\DeclareMathOperator\Lip{Lip}$My problem is slightly different from the title, but I don't have a more straightforward title. Sorry for that.
For $d\ge 1$, denote $\mathbb S^{d-1}:=\{x\in\mathbb R^...
user128095
0
votes
0
answers
91
views
Does $L^1$ convergence preserve the regularity of this sequence of functions?
Let $f_n$ be a sequence of $L^1(]0,1[)$ functions such that $f_n$ is non-decreasing, at least left-continuous, $f_n(0^+) <0$, $f_n(1^-) >0$, for all $n \in \mathbb N$. This sequence converges
$...
- 143
0
votes
0
answers
113
views
References for a proof or interpretation of deficiency indices theorem (von Neumann)
I am looking for a proof or some interpretation around why the domain of the new extension $D(A_U)$ in the Theorem below is given by its specific formula.
I have already searched in papers and here ...
- 41
0
votes
0
answers
135
views
Help showing F is weakly lower semicontinuous
Given a compact subset $\Omega$ of $\mathbb{R}^N$, I wonder if $$F(u)=\int_\Omega f(u)\ dx =\int_\Omega (1-|u|^2)^2\ dx$$ is weakly lower semicontinuous (w.l.s.c) on $H^1(\Omega)$, meaning that if $\...
- 383
0
votes
0
answers
137
views
homomorphisms into tensor product algebras
Given a decomposition $H=H_1\otimes H_2$ of a Hilbert space $H$ into the tensor product of the Hilbert spaces $H_1$ and $H_2$ and a *-isomorphism $U: B(H_0)\to B(H)$, where $H_0$ is another Hilbert ...
- 3,873
0
votes
1
answer
134
views
A closed subset $B$ of the Hilbert cube such that $\operatorname{Int}(B) = \emptyset$ and $B$ is not a z-set
$\def\cube{\mathbf Q}$Let $\cube$ be the Hilbert cube. Give an example of a closed subset $B$ of $\cube$ such that $\operatorname{Int}(B) = \emptyset$ and $B$ is not a z-set.
If anyone has any idea ...
0
votes
0
answers
32
views
Spectral measures of a family of parameter-dependent self-adjoint contractions on an $L^2$-space
I have a self-adjoint linear contraction $A_g$ on an $L^2$-space of the form $$A_gf=\int\gamma(f,g),$$ where $\gamma$ is Lipschitz continuous and $g$ is an a priori fixed function. Assuming $1-A_g$ is ...
- 167
0
votes
0
answers
113
views
Is it possible that the dimension of the intersection of a nested sequence of Hilbert space is 1?
Let $H$ be an infinite dimensional separable Hilbert space over $\mathbb{C}$
Let $\{h_n\}_{n \in \mathbb{N}} \in H$ be a sequence of linearly independent vectors in $H$
Let
$$
V=
\bigcap_{n=1}^\...
- 433
0
votes
0
answers
68
views
Specific property of borelian sigma-algebras
Let X be a set and S a sigma-algebra on X.
Let us name borelian sigma-algebra on X a sigma-algebra that is generated by a topology T on X. Given that it is possible for a set X that some sigma-...
- 2,655
0
votes
1
answer
80
views
A question about positive operator pregenerator [closed]
Thank you for reading.
My question was raised up when I tried to prove an example in the book of Liggett(1985), which is in P13 Example 2.3(a).
Here is a link of the page:
https://books.google.com/...
- 385
0
votes
0
answers
75
views
Partial well-posedness results on Schrödinger operators?
Set $ A_i:= -\Delta + V_i :H^2(\mathbb{R}^3) \subseteq L^2(\mathbb{R}^3) \to L^2(\mathbb{R}^3), \ i =1,2 $, where
\begin{equation*}
V_1 = 0, \ \ (\textrm{No interaction}) \\
V_2 = - \frac{\gamma}...
- 269
0
votes
0
answers
48
views
supermodular independent product
For which choices of two supermodular capacities, the independent
product of them (given by the formula $w(A\times B)=\mu(A)\cdot \nu(B)$), also is supermodular ?
Even particular/concrete cases of ...
- 1
0
votes
0
answers
86
views
Is the embedding of $W^{2,p}$ onto $C^1(\overline{I})$ compact?
We know that when $I$ is a bounded interval and $1<p\leq \infty$ that the injection $W^{1,p}\subset C(\overline{I})$ is compact.
The proof of this fact uses the Arzela-Ascoli theorem on the unit ...
- 597
0
votes
0
answers
83
views
$ 0 $ locates in the continuous spectrum of Schrodinger operators?
This is question is motivated by Non-closed range space of Laplace operators?. We aim to determine what kind of potential will make corresponding schrodinger operators possess non-closed range.
For ...
- 269
0
votes
0
answers
127
views
On examples of action of C-star simple group on von Neumann algebra
Can there exist a faithful action of a $C^{*}$-simple group $G$ on a von Neumann algebra $(M,\varphi)$ equipped with faithful normal state $\varphi$ such that action preserves the state $\varphi$ and ...
- 677
0
votes
0
answers
41
views
reference request: non-negative quadratic function on a subspace, extended by infinity outside
I am looking for a reference for some objects that naturally appeared in my research. Suppose $W$ is a subspace of a real vector space $V$, and $f:W \to \mathbb R$ is a non-negative quadratic function ...
- 41
0
votes
0
answers
113
views
Extrapolate an Interpolation scale
Suppose $X$ and $Y$ are real Banach spaces with a continuous embedding $X\subset Y$. For given $0<\theta<1$ I am interested in constructing using the norms of $X$ and $Y$ a (Quasi-) Banach ...
- 23
0
votes
0
answers
45
views
Skorohod Space with $J_1$ topology homeomorphic to Frechet Space
Is the Skorohod space $D([0,T];\mathbb{R}^d)$ equipped with the $J_1$ topology homoeomorphic to a separable Fr\'{e}chet space. In particular, is it homeomorphic to $L_{\mu}^1(\mathcal{B}([0,1])$ ...
- 5,405
0
votes
0
answers
117
views
Cardinal Invariants and Physics
There are many applications of topology to physics, but I wonder if there is a known application of cardinal invariants to physics.
0
votes
0
answers
222
views
Existence of the eigenvalue of the dual operator of the transfer operator
In the passage that I marked in green apparently the author uses a relationship between fixed point and eigenvalues. The result that I know of to ensure the existence of this eigenvalue requires that ...
- 677
0
votes
0
answers
97
views
Integral of kernel in RKHS with respect to probability measure
I'm trying to understand how to work with the expression $$ \int u (d\mu-d\pi)$$ where $u\in \mathcal{H}$, an RKHS. $\mu$ and $\pi$ here are two different probability measures. Since $\mathcal{H}$ is ...
- 383
0
votes
0
answers
79
views
Hausdorff distance restricted to linear subspaces
Let $V$ be a Hilbert space, $Q \subset V$ be convex and compact and $Q_n \subset V$ be convex and compact for $n\in \mathbb{N}$ such that $Q_n \rightarrow Q$ for $n\rightarrow \infty$ in Hausdorff ...
- 1,095
0
votes
0
answers
149
views
Compact embedding of the $\mathcal{C}^k$ norm on a compact Kahler manifold
Given a smooth complex valued function $f$ on a Kahler manifold $X$, we can define its $\mathcal{C}^k$ norm to be $\sum_{p+q \leq k, 0 \leq p \leq q} sup_{X}|\nabla^{p} \overline{\nabla^q} f|_g$, ...
- 1
0
votes
0
answers
55
views
Smooth compactly supported function with good scaling with respect to the fractional Laplacian
Is there a smooth cut off function with compact support such that $\phi: \Omega \subset \mathbb R^N \to \mathbb R$, $\mathrm{supp} \phi \subset B_R(0) \subset \Omega$ and $$(-\Delta)^s \phi \le C R^{-...
user139845
0
votes
0
answers
74
views
Parseval type lower bound on sum of squares of function projections
This is a followup to this earlier question
Let $f:\mathbb{Z}\rightarrow \{\pm 1\}.$ Assume that the support of $f$ is finite, say it is contained in $[1,N],$ it can even be taken to be $[1,N]$ if it ...
- 10.4k
0
votes
0
answers
479
views
What are the sets on which norm-closedness implies weakly closedness?
Let $X$ be a Banach space. Let $C$ be a convex, and normed-closed subset of $X$. It is well-known that $C$ becomes weakly closed subset of $X$. I want to know is there any well-know class of non ...
- 369
0
votes
0
answers
44
views
S-familiy induced by an operator induces a Schwartz function
Let $T:S(\mathbb{R}^d)\to S(\mathbb{R}^d)$, a continuous linear operator, where $S(\mathbb{R}^d)$ is the Schwartz space. There is a result that guarantees that the family $F=\{\delta_s\circ T\}_{s\in\...
- 3
0
votes
0
answers
224
views
Show convergence of a sequence of resolvent operators
Let
$E$ be a locally compact separable metric space
$(\mathcal D(A),A)$ be the generator of a strongly continuous contraction semigroup on $C_0(E)$
$E_n$ be a metric space for $n\in\mathbb N$
$(\...
- 167
0
votes
0
answers
97
views
Does $L^p$ contractivity imply $L^p$ dissipativity?
Does $L^p$ contractivity of an operator semigroup imply the $L^p$ dissipativity of the operator ?
Thank you in advance !
- 1
0
votes
0
answers
144
views
Making a quasi-compact open into an affine open
Let $X$ be a spectral topological space, $U\subset X$ be a quasi-compact open subspace. Is there necessarily some scheme structure on $X$ (we do not require it to be affine) such that $U$ endowed with ...
user138661
0
votes
0
answers
54
views
On cyclicity of a module
Let $A$ be a $\text{ von Neumann algebra }$, $\mathcal{H}$ is a cyclic $A$ module, $G$ be a finite group acting on $A$, is $\mathcal{H}$ cyclic module over fixed point subalgebra of the action? ...
- 677
0
votes
0
answers
146
views
A scheme whose underlying space is the product of the underlying spaces of schemes
We know that the product of two spectral topological spaces is spectral.
If $X$ is the underlying space of the scheme $\mathrm{Spec}\,\mathbb{Z}[x]$, what is a simple example of an affine scheme ...
user140269
0
votes
0
answers
325
views
Grothendieck topology on a scheme equivalent to the circle
Suppose a class of morphisms of schemes is reasonable enough so that we can associate a small site to any scheme (just like small étale site). Is there a simple class of morphisms such that there is a ...
user138661
0
votes
0
answers
78
views
$p$-summing operators space is a Banach space
Let $X,Y$ be Banach spaces and $p\geq 1$. A bounded linear operator $T$ is called $p$-absolutely summing, if there is exist $K>0$, such that for all $n\in N$ and $x_1,\dots, x_n\in X$:
$$
\left(\...
- 1
0
votes
0
answers
59
views
Nests on Banach spaces and their duals
Let $X$ be a Banach space and $\mathcal{E}$ a nest on $X$.
Take $f\in X^{*}$ and suppose:
$N \in\mathcal{E}$ is the largest element of the nest so that $f \in N^\bot$
$N=\bigcap_{M>N}M$
Is there ...
0
votes
1
answer
155
views
Does the set of positive definite kernels on some set X form a ring?
Given some non-empty set $X$, does the set of positive definite kernels on $K_X$ form a ring with pointwise addition and multiplication. I am convinced it does not as surely if $k \in K_X$ then we ...
0
votes
0
answers
63
views
Coarea-like formula for BV functions (not their derivative)
Let $\Omega \subset \mathbb R^N$ and $f \in BV(\Omega)$. The coarea formula states that
$$Df = \int_{\mathbb R} D \chi_{\{f >h\}} \, dh.$$
Unfortunately, the formula
$$f = \int_{\mathbb R} \...
- 839
0
votes
0
answers
153
views
Equivalent Definitions of Gaussian Process?
The Gaussian process $\{X_t\}_{t \in T}$ ($T=[0,1]$ for example) is usually defined using its finite-dimensional distribution. I came across this statement many times: linear operator (not necessarily ...
- 103
0
votes
0
answers
109
views
Elliptic equation with Neumann boundary condition: RHS in $L^2$ implies solution in $L^\infty$?
Consider the homogeneous Neumann problem $$-\Delta u + ku = f$$ $$\partial_\nu u = 0$$
on a smooth, bounded domain $\Omega$.
If $f \in L^2(\Omega)$, do we obtain the regularity $u \in L^\infty(\...
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
0
votes
0
answers
59
views
A retract algebraic subset of the plane which does not admit an algebraic retraction
What is an example of an algebraic (=Zariski closed) subset $C$ of $\mathbb{R}^2$ which is a topological retract of $\mathbb{R}^2$, but there is no algebraic retraction $P:\mathbb{R}^2 \to C$?
What ...
- 356
0
votes
0
answers
58
views
Does the total space of a bundle satisfy the Tietze extension property when the fiber and base space do satisfy this property?
We say that a Topological space $Y$ satisfies the Tietze extension propery, TE property, if in the formulation of Tietze extension theorem "$\mathbb{R}$" can be replaced by $Y$.
Obvioysly the ...
- 356
0
votes
0
answers
326
views
Measurability of the heat semigroup in $L^\infty$
Let $S(t)$ be the $C_0$-semigroup generated by the Laplacian operator with Dirichlet boundary condition in $L^2(\Omega)$, where $\Omega$ is a bounded open subset of $R^n$.
It is known that $S(t)$ ...
- 1