All Questions
3,841 questions with no upvoted or accepted answers
4
votes
0
answers
99
views
Fractional Hajłasz-Besov-like similar to the Korevaar-Schoen-Sobolev spaces?
Suppose that $(X,\mu,d)$ and $(Y,\nu,\rho)$ are doubling metric measure spaces. Fix $\alpha>0$ and define the space, analogously to this paper, as the collection of all measurable functions $f:X\...
- 5,405
4
votes
0
answers
102
views
$W^{k,p}$ and Holder regularity for linear elliptic systems with Neumann boundary data
I'm looking for a text or paper that discusses regularity in the Sobolev and Holder sense for general linear elliptic systems of PDEs on bounded domains with Neumann boundary data.
The book by ...
4
votes
0
answers
117
views
Korovkin subset of $C(\mathbb{T})$
Let $K$ be a compact Hausdorff space and $A$ be a subset of $C(K)$. $A$ is said to be a Korovkin set if for every sequence $(T_n)$ of positive linear operators on $C(K)$, the condition $\|T_n(f)- f\|_\...
- 521
4
votes
0
answers
100
views
Commuting flows problem for non-Lipschitz vector fields
Let $X$ be a continuous vector field on a (say compact) manifold $M$, if $X$ has ODE uniqueness then we can define its associated flow $\mathcal F_X:\mathbb R\times M\to M$ uniquely given by $\mathcal ...
- 938
4
votes
0
answers
115
views
Box counting dimension of the graph of a BV function
Let $u: \Omega\subset \mathbb{R}^N \to \mathbb{R}^M$ be a $BV$ function.
Is the box counting dimension of the graph of $u$ equal to $N$? How can we prove it?
The analogous question for the ...
- 839
4
votes
0
answers
105
views
Borel selections of usco maps on metrizable compacta
The problem posed below is motivated by this problem of Chris Heunen and in fact is its reformulation in the language of usco maps. Let us recal that an usco map is an upper semicontinuous compact-...
- 41.9k
4
votes
0
answers
147
views
A characterization of nuclear functionals in terms of continuity with respect to some special topologies on $B(X)$?
I think, nuclear functionals on the space of operators $B(X)$ (on a Banach space $X$) must have a characterization in terms of some special continuity. I would be grateful if somebody could help me ...
- 7,426
4
votes
0
answers
84
views
Almost Dunford-Pettis operators
Recall that an operator $T$ from a Banach space $E$ to a Banach space $F$ is called completely continuous (also called Dunford-Pettis) if $\|Tx_{n}\|\rightarrow 0$ for every weakly null sequence $(x_{...
- 3,343
4
votes
0
answers
111
views
A reference for $\nabla |u|^p = p\ \text{sgn}(u)|u|^{p-1}\nabla u$
Let $\Omega$ be an open domain with nice boundary and $u\in W^{1,p}(\Omega)$. I believe that $|u|^p\in W^{1,1}$ with
$$
\nabla |u|^p = p\ \text{sgn}(u)|u|^{p-1}\nabla u
$$
but couldn't find a good ...
- 1,245
4
votes
0
answers
91
views
Sharp asymptotic behavior of the metric entropy for the unit ball in Besov space
For $s>0$ and $1 \leq p,q \leq \infty$ let $B^s_{p,q}$ be the Besov space defined on $[0,1]^d$, and assume $ s > d( \frac 1 p - \frac 1 2)_+$, such that $B^s_{p,q}$ is compactly embedded in $L^2(...
4
votes
0
answers
188
views
Sobolev embedding in an annulus
Is it possible to determine the best constant $S(\Omega, p)$ of the embedding $H^1_{0, r}(\Omega)$ to $L^{p+1}(\Omega)$ where $p>1$ and $\Omega=\{a<|x|<b\}.$
- 63
4
votes
0
answers
169
views
Inverse Laplacian and convolution in Albeverio's “Solvable Models in quantum mechanics”
I asked this question on math.stackexchange.com two weeks ago but got no answers so far and I got no clues from literature, so maybe someone here knows a reference. I hope it is ok to ask this ...
- 141
4
votes
0
answers
200
views
When does a continuous function's "Fourier series" converge pointwise almost everywhere to the function?
Let $G$ be a compact topological group. By the Peter-Weyl theorem, the complex Hilbert space $L^2(G)$ is the Hilbert space direct sum of the spaces of matrix coefficients of all the irreducible ...
- 6,180
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
0
answers
275
views
Computing Bohr Radii
The Bohr radius $R$ for $\mathcal{H}(\mathbb{D})$ is defined as the radius $$R = \sup\limits_{0<r<1} \Bigl\{ r\ \Big|\sum\limits_{k=0}^{\infty}|a_k|r^k \leq |f|_\mathbb{D}, \text{ for all }f(z)=\...
- 3,209
4
votes
0
answers
86
views
Characterizing the separability of the Gelfand space of a semisimple commutative Banach algebra
Problem. Is the separability of the Gelfand space of a semi-simple commutative Banach algebra $A$ equivalent to the existence of a countable family $\{\varphi_n\}_{n\in\omega}$ of multiplicative ...
- 4,535
4
votes
0
answers
410
views
Spectral Gap of Elliptic Operator
Under what conditions on $a(x)$ and domain $D$, the spectral gap of the elliptic operator $ \nabla \cdot(a(x)\cdot \nabla)$ defined on $D$, can be controlled?
The boundary condition is that the ...
- 325
4
votes
0
answers
104
views
informative examples for understanding spectral triples
I am at the beginning of my thesis work and I am trying to understand spectral triples. I can recall the definition but I have no informative examples with which to make sense of it. What are some ...
- 111
4
votes
0
answers
145
views
An embedding question: Morrey spaces
Question. If $u\in L^1$ and $Du$ is in the dual of the Holder space $C^\alpha$, then is it possible to say $u$ belongs to some Morrey space $L^{1, \delta}$?
- 43.2k
4
votes
0
answers
595
views
On smoothness of a function and decay of its Fourier transform
I am not sure that this question is research level, but it was not answered at MSE for several days, so I place it here.
I am interested in a quantitative version of the principle that smoothness of ...
- 41
4
votes
0
answers
174
views
Superposition operator from Sobolev space to Lebesgue space
Let $\Omega$ be a bounded, connected set in $\mathbb{R}^2$ with smooth boundary. I am wondering under what conditions on the real function $f(x):\mathbb{R}\to \mathbb{R}$ the superposition operator $F(...
- 395
4
votes
0
answers
279
views
Cyclic vectors for regular representations
I'm looking for references about the following aspect of cyclic vectors for regular representations.
Let $K$ be a compact Lie group. Let $K$ act on $L^2(K)$ by the left regular representation. Then $...
- 1,903
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
4
votes
0
answers
343
views
Diffeomorphism group action on the space of embeddings
Let $S$ and $M$ be two finite-dimensional smooth manifolds with $\dim S\le \dim M$. Then it is known (e.g.Kriegl-Michor's book) that the set $\mathrm{Emb}(S, M)$ of all smooth embeddings $S\to M$ is ...
- 2,789
4
votes
0
answers
120
views
Representation on square integrable sections of a principal bundle
Let $X\rightarrow Y$ be a smooth principal $G$-bundle for some Lie group $G$. Then $L^2(X)$ has a natural $G$-action determined by fibrewise action of $G$ on $X$.
We have an abstract isomorphism of ...
- 1,903
4
votes
0
answers
264
views
Is the Gelfand transform strictly continuous?
Let $M$ be the Banach algebra of measures on the circle with $L_1$ naturally sitting as a closed ideal of $M$. Then $M$ carries the strict topology implemented by the family of seminorms $\|\mu\|_f = \...
- 113
4
votes
0
answers
162
views
Are sums extremal for subgaussian concentration?
Bobkov and Houdre https://projecteuclid.org/euclid.bj/1178291721
showed that among all $f:R^n\to R$ that are $1$-Lipschitz
with respect to the $\ell_1$ metric,
the variance is maximized by sums. ...
- 6,541
4
votes
0
answers
117
views
Does there exist a Banach space $E$ with $L(E)$ separable?
The title says it all. Does there exist a (separable, infinite-dimensional) Banach space $E$ with the normed space $L(E)$ of bounded, linear operators thereon separable?
- 102
4
votes
0
answers
154
views
What is the generator of the heat semigroup on non-complete manifolds?
If $M$ is a complete Riemannian manifold, it possesses a unique self-adjoint positive operator $-\Delta$ on $L^2(M)$. If $M$ is not complete, though, it is known that the Laplace-Beltrami operator $-\...
- 5,407
4
votes
0
answers
255
views
Lower semi-continuity of integration
I've found many papers characterizing the weak lower semi-continuity of
$$
\Phi(u)\triangleq \int_{x \in \Omega} f(x,u(x))\,dx,
$$
on $L^2(\Omega)$ where $\Omega$ is a bounded subset of $\mathbb{R}^d$....
- 5,405
4
votes
0
answers
136
views
Davies' definition of elliptic operators in "Heat Kernels and Spectral Theory"
I am trying to find my way through Davies' book, and one of the difficult points is his choice of what "elliptic operator" means in his text. This is the first time that I encounter some of the ...
- 5,407
4
votes
0
answers
115
views
point-wise approximation of the identity in hereditary Lindelof spaces
Let $X$ be a topological vector space. Assume that there exists a sequence of finite range measurable functions $\phi_n:X\to X$ with $\lim\phi_n(x)=x$.
Q. Can we concluded that $X$ is hereditery ...
- 4,058
4
votes
0
answers
166
views
Is this property an isomorphic characterization of $\ell_1(\Gamma)$?
Let $\Gamma$ be an infinite set. Then every $(x_i)_{i\in\Gamma}\in \ell_1(\Gamma)$ has at most a countable number of components $x_i\neq 0$.
As a consequence, every separable subspace $M$ of $\ell_1(\...
- 4,461
4
votes
0
answers
289
views
A uniform Riemann sum approximation of the integral of the Fejer kernels
Let $F_N(t)$ denote the Fejer kernel
$$F_N(t):={1\over N+1}{\sin^2\big({(N+1)}{t\over2}\big)\over \sin^2\big( {t\over2}\big)}\ .$$
Consider Riemann sums approximation for $\int_{-\pi}^\pi F_N(t) dt$ ...
- 136
4
votes
0
answers
143
views
A point concerning Fremlin's example on Borel sets in non-separable Banach spaces
Let $E$ be a Banach space. Let us consider the following three sigma algebras on $E$.
$~~~~\mathcal{B}$= The $\sigma$-algebra coming from the norm topology.
$~~\mathcal{M}$= The sigma algebra ...
- 4,058
4
votes
0
answers
131
views
Algebraic sum of relative commutants in a finite von Neumann algebra
Let $(M,\tau)$ be a finite von Neumann algebra with faithful normal tracial state $\tau$. Suppose that $A \subset M$ is a finite-dimensional abelian unital subalgebra--say $A = W^*(p_1,\dots, p_n)$ ...
4
votes
0
answers
322
views
Compactness of semigroups of one-dimensional diffusions
I have a question about semigroups of one-dimensional diffusions.
Let $X$ be the Ornstein-Uhlenbeck process on $\mathbb{R}$. The generator is expresses as
$$\frac{d^2}{dx^2}-x\frac{d}{dx}.$$
It is ...
- 721
4
votes
0
answers
238
views
Does Novikov condition imply BMO martingale?
Let $(\Omega,\mathbb{F},P)$ be a complete probability space, equipped with a filtration $\mathcal{F}_t, 0 \le t < \infty$. Consider a continuous local martingale $(X_t, \mathcal{F}_t)$ such that $...
- 195
4
votes
0
answers
274
views
Reverse Markov-Bernstein inequality for trigonometric polynomials
Let $r(t)$ be a real trigonometric polynomial of degree $n>1$. Assume it has zero at $t=0$ of multiplicity $k>0$. What can be said about the lower bound of the constant $c(k,n)$ such that
$$
\...
- 3,946
4
votes
0
answers
116
views
Is there a categorical foundation for manifolds of bounded geometry and bandlimited functions?
As an outsider to both, manifolds of bounded geometry and bandlimited functions appear rather connected: for example, bounded geometry is defined in terms of bounds on curvature and its derivatives, ...
- 3,612
4
votes
0
answers
198
views
Relationships between fractional Sobolev space, Bessel spacse and Hajłasz–Sobolev space
It is known that for $\alpha\in(0,1)$ and $p>1$,
the fractional Sobolev space $W^{\alpha,p}(R^n)$ is defined by
$$
W^{\alpha,p}(R^n):=\{f\in L^p(R^n):\int_{R^n}\int_{R^n}\frac{|f(x)-f(y)|^p}{|x-y|^...
- 411
4
votes
0
answers
211
views
Inclusion of Hardy spaces
It is well-known that any convergence in $L^p$ for $p \in [1,\infty]$ implies convergence in $L^1_{\text{loc}}$ by Hölder's inequality.
It is also known that for $p>1$ it holds that $L^p(\mathbb R)...
4
votes
0
answers
256
views
One-parameter unitary group preserving invariant domain of infinitesimal generator
Let $\mathcal{H}$ be a separable Hilbert space (e.g. $L^{2}(\mathbb{R}^{d}))$, and let $\mathcal{D}_{1}\subset\mathcal{H}$ be a dense subspace (e.g. $\mathcal{S}(\mathbb{R}^{d})$). Suppose that an ...
- 873
4
votes
0
answers
120
views
Reductive Operator Problem
In the 1972 paper ''An equivalent Formulation of the Invariant Subspace Conjecture'' Dyer, Pedersen, and Porcelli announce the following result:
The Invariant Subspace Problem has a positive ...
- 355
4
votes
0
answers
171
views
Convergence of integral formula for Fourier inversion (and Hilbert transform) for integrable piecewise-smooth functions
I asked the question below on Math Stack Exchange, https://math.stackexchange.com/questions/2592555/convergence-of-integral-formula-for-fourier-inversion-and-hilbert-transform-fo, but [despite it ...
- 708
4
votes
0
answers
113
views
Index of glued operator
Suppose $X_1$ is a manifold which has a tubular end $\mathbb R^+\times Y$, and $X_2$ is a manifold which has a tubular end $\mathbb R^-\times Y$. Here, $X_1,X_2$ are orientable manifolds and $Y$ is a ...
- 1,761
4
votes
0
answers
141
views
algebraic connectivity of a tree
Suppose that $T$ is a tree with $n$ vertices and $L$ is the Laplacian matrix of $T$ and $0=\mu_1 \leq \mu_2 \leq \cdots \leq \mu_n$ are laplacian eigenvalues.
I think the multiplicity of $\mu_2$ can ...
- 221
4
votes
0
answers
176
views
Distributional PDE solutions as topological linear duals of PDE solutions
Let
$$
P \;\colon\; \Gamma_\Sigma(E) \to \Gamma_\Sigma(\tilde E^\ast)
$$
be a formally self-adjoint hyperbolic linear differential operator ($\tilde E^\ast$ denotes the densitized dual of a ...
- 19.8k
4
votes
0
answers
102
views
Sub-quadratic Kolmogorov-Arnold?
The Kolmogorov-Arnold representation theorem says, essentially, that when computing a continuous function, the only multivariate function you really need is addition. (Somewhat) more precisely, it ...
- 3,979
4
votes
0
answers
100
views
A bounded operator associated with a principal bundle
Assume that $(X, B, G)$ is a $G$- principal bundle where $G$ is a compact topological or Lie group.
The normalized Haar measure of (each fiber of ) $X$ is denoted by $\mu$.
The space of continuos ...
- 356