All Questions
3,629 questions with no upvoted or accepted answers
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\...
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^...
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
$...
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 ...
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 $\...
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 ...
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 ...
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}^\...
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}...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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])$ ...
0
votes
0
answers
221
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 ...
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 ...
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 ...
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$, ...
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^{-...
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 ...
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 ...
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\...
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$
$(\...
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 !
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? ...
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(\...
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
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} \...
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 ...
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
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)$ ...
0
votes
0
answers
156
views
Function classes with high Rademacher complexity
My question is two fold,
Is there any general understanding of what makes a function class have high Rademacher complexity? (Sudakov minoration would say that one sufficient condition for a class of ...
0
votes
0
answers
172
views
Compact operator
Let $k:[0,1]^2 \to [0,1]$ be a measurable function. Define $K:L^2([0,1])\to L^2([0,1])$ to be the operator:
$$
(Kf)(x) = \int_0^1\int_0^1 f(z) k(x,y) \mathbf{1}_{x\leq z\leq y} \ \mathrm{d}z \mathrm{d}...
0
votes
0
answers
56
views
linear functions/hyperplanes vs. convex functions/convex sets in Hilbert space
The simplest Hahn-Banach extension theorem in Hilbert space $X$ avoids the use of the axiom of choice by virtue of the Riesz representation theorem. But what about the version of the theorem where the ...
0
votes
0
answers
105
views
Spectrum of Dirac sequences
Let $\delta_n\in C^0_c(\mathbb{R})$ be a Dirac sequence approximating the Dirac delta "function" $\delta$ with support in $0\in \mathbb{R}$. Then, for each $n$ we have a compact operator $K_n:L^2(\...
0
votes
0
answers
63
views
Feller semigroups and fractional operators
Have Feller semigroups been used to investigate the properties of the Cauchy problem associated with the fractional Laplacian (just like they have been used to study local degenerate second order ...
0
votes
0
answers
273
views
Local "boundary comparison principle" for harmonic functions
Let $u$ be a positive solution of the elliptic equation $\mathcal Lu = 0$ on $B^+_1 \subset \mathbb{R}^n$ such that $u$ vanishes continuously on $\{x_n = 0\}$. To fix ideas, we may take $\mathcal L = ...
0
votes
0
answers
117
views
Harnack Inequality for uniformly elliptic PDE via constructing a singularity
I am trying to prove a Harnack inequality for a nonnegative subsolution $u \in H^1(B_2)$ to the PDE $\text{div}(A Du) \ge 0$, where $A = A(x)$ is uniformly elliptic. The proof outline I am following ...
0
votes
0
answers
170
views
Strong continuity (weak to strong) of $\langle Au,v\rangle=\int u^3 v dx$
I am currently trying to figure out the following. If I consider the Sobolev space $W^{1,p}_0$ is it possible to show that the operator given by
$$\langle Au,v\rangle=\int u^3 v dx$$
is strongly (weak ...
0
votes
0
answers
115
views
If two spheres are isometric, does there exist a bijective isometry $T:S\to S$ with $\|Tu-\alpha Tv\|_Y \leq \|u-\alpha v\|_X$ for all $\alpha>0?$
Let
$$(S,\|\cdot\|) = \{(x,y)\in \mathbb{R}^2: \|(x,y)\| =1\},$$
that is, $S$ is the collection of all norm one vectors in $\mathbb{R}^2$ with respect to the norm $\|\cdot\|.$
Question: Let $\|\...
0
votes
0
answers
119
views
Holder-Sobolev type inequality
Let $U$ be a bounded subset of $\mathbb{R}^n$. Let $p>n$. Let $W^{2,1}(U_T)$ be the Banach space of functions $u:U\times[0,T]\rightarrow\mathbb{R}$ with the norm $\|u\|_{W^{2,1}(U_T)}=\sum_{2s+|\...
0
votes
0
answers
113
views
Conditions for the embedding of the space $L^\infty(I, W^{1,2}(U))$ into $L^\infty(I \times U)$
Let $I$ be a compact interval of $\mathbb{R}$ and $U$ be a bounded subset of $\mathbb{R}^2$.
If $f \in L^\infty(I, W^{1,2}(U))$, what (non-trivial) condition ($L^p$-estimate on $f$ or decay-like ...
0
votes
0
answers
169
views
Is there an option to handle Neumann-series when it diverges? (using infinite-sized Carleman matrices)
(I asked this in MSE but did not find resonance, there is also a relation to an older discussion here on summability see here and a followup formulating an $\text{ais}()$ already here)
...
0
votes
0
answers
170
views
What functions can one try employing to fit an apparently doubly-periodic real function over $[0,1]$?
I have a cosine-like data curve over $x \in [0,1]$ that I can rather well-fit by
a function of the form $a \cos{2 \pi x} +b$. Although good, the fit is still lacking,
in that the residuals from the ...
0
votes
0
answers
101
views
Reference Request: Egoroff Theorem for nets
Does there exist a generalization of Egoroff theorem for nets instead of sequences of functions?
0
votes
0
answers
75
views
Dense Egoroff theorem
Suppose that $f_n:X\rightarrow V$ is a sequence of continuous functions from a compact metric space $X$ to a Banach space $V$ and let $\mu$ be a Radon measure on $X$ and $\epsilon>0$ be given.
...
0
votes
0
answers
79
views
Iterative methods for minimizing sequences
Let $\mathbb{X}$ be a Banach space equipped with some norm $||\cdot||_\mathbb{X}$ and $F:\mathbb{X}\to\mathbb{R}$ be some linear functional. Suppose we are given a set $A\subseteq\mathbb{X}$ which is ...
0
votes
0
answers
87
views
Uniform convergence in Hadamard derivatives
Let $T\colon X \to Y$ be a nonlinear operator between Hilbert spaces which is Lipschitz and is Hadamard differentiable. It satisfies
$$T(x+th)=T(x) + tT'(x)(h) + r(t)$$
where $r(t)=r(t,x,h)$ is the ...