All Questions
4,448 questions with no upvoted or accepted answers
5
votes
0
answers
141
views
Rate of convergence of Riemann sum of quasi-regular functions
The following result is well-known (I consider the 3-dimensional case only):
Theorem: if $f \in H^s(\mathbb{R}^3)$ with $ s > 3/2$ is compactly supported, then
$$
\left| \int_{\mathbb{R}^3} f - \...
- 53
5
votes
0
answers
254
views
A weak Perron-Frobenius property for sets of positive matrices
A popular form of the Perron-Frobenius theorem states the following result: if $A$ is a $d \times d$ real matrix all of whose entries are positive, then the spectral radius of $A$ is a simple ...
- 6,206
5
votes
0
answers
620
views
Is there a method to simultaneously block-diagonalize a set of group matrices?
Assume that you are explicitly given the representation matrices of a group.
How does one go about finding that common basis which will find the irreducible components of all of them simultaneously?
...
- 1,893
5
votes
0
answers
178
views
Support of a Measure with Characteristic Functional Continuous in $L_p$, $1\leq p <2$?
Let $\mathcal{S}(\mathbb{R})$ be the space of smooth and rapidly decaying functions and $\mathcal{S}'(\mathbb{R})$ its dual, the space of tempered distributions. Let $\mathscr{P}$ be a probability ...
- 2,306
5
votes
0
answers
211
views
Infinitesimal Generator of Billiard Flow
The Billiard flow $S_t$ on a Riemannian manifold with boundary (with corners) is the group of operators defined on continuous functions on the Co-sphere bundle as follows: To determine $S_t u(\xi)$, ...
- 9,853
5
votes
0
answers
206
views
On a variant of Eidelheit's theorem
A theorem of Eidelheit from 1940's asserts that two Banach spaces $X$ and $Y$ are isomorphic if and only if $L(X)$ and $L(Y)$, the algebras of all bounded linear operators, are isomorphic as Banach ...
- 51
5
votes
0
answers
237
views
Is Akcoglu's theorem for power bounded positive operators still an open problem?
I am reading Ulrich Krengel's book, Ergodic Theorems; the theorem of Akcoglu's he mentions of is on page 189, theorem 2.5.
" If $T$ is a positive contraction in a space $L_p$ with $1<p<\infty$, ...
- 1,594
5
votes
0
answers
101
views
The name for the quotient property
I asked this question on math@stackoverflow and was suggested to ask it here as well.
We call a surjective $f:X\rightarrow Y$ a quotient mapping if it satisfies, for every $U\subset Y$
(continuity,...
- 187
5
votes
0
answers
250
views
Estimating singular values of integral operators
I would like to estimate the singular values of certain trace class integral operators. For the sake of concreteness, consider on $L^2({\mathbb R},dx)$ the integral operator $$(Tf)(x)=\int_{\mathbb R}...
- 1,017
5
votes
0
answers
236
views
Discrete versus Continuous Hilbert Transform
Let me define the Fourier transform of a function $u$, say in the Schwartz space $\mathscr S(\mathbb R)$ as
$
\hat u(\xi)=\int_{\mathbb R} e^{-2iπ x\cdot \xi} u(x) dx.
$
The Hilbert transform $\...
- 16.2k
5
votes
0
answers
164
views
Group topologies on $\Bbb Z$ with dense open sets in $\Bbb T$
Let $\Bbb Z$ be embedded in the circle group $\Bbb T$ by an irrational rotation and regard $\Bbb Z$ as a subgroup/subspace of the topological group $\Bbb T$.
Are there group topologies $\mathcal A$ ...
- 1,145
5
votes
0
answers
161
views
$L^p$ estimates for Ornstein-Uhlenbeck: what is known beyond hypercontractivity?
Consider an infinite-dimensional Gaussian random vector $X$, and a positive random variable $f(X) \in L^p, p > 1$. Let $f(X) \sim \sum_n f_n(X)$ be its (formal) chaos expansion. Let $(U_\rho, \rho \...
- 4,010
5
votes
0
answers
98
views
The regularity of Dirichlet form in Besov space
Let $C_{0}(\mathbb{R}^n)$ denote the set of continuous functions in $\mathbb{R}^n$ with compact support, $C_0^\infty(\mathbb{R}^n)$ denote the set of infinite differentiable functions in $\mathbb{R}^n$...
- 369
5
votes
0
answers
913
views
Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?
Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
- 103
5
votes
0
answers
912
views
Decreasing sequence of closed convex sets in a Banach space
Let $(C_n)$ be a decreasing sequence of closed convex subsets in a Banach space $(E,\Vert \cdot \Vert)$. The question I have is about the content of $C=\bigcap_{n=0}^\infty C_n$.
If the $C_n$ are ...
- 1,355
5
votes
0
answers
328
views
Are inclusions from spaces of $C^\infty$ sections into spaces of $C^k$ sections homotopy equivalences?
[EDIT: The answer to my original question was obviously no, as user56365 pointed out. Here is what I should have asked.]
For finite-dimensional smooth manifolds $E,M$, let $E\to M$ be a smooth fibre ...
- 648
5
votes
0
answers
265
views
Quotienting disk inside sphere result in sphere
Let $S^k$ be a topological $k$-dimensional sphere. Let $D^k$ be a $k$ dimensional disk that includes in $S^k$. Let
$q: D^k \to D^r$ be a map and $r \leq k$. Let
$$W = S^k \sqcup D^r/\sim$$
where $S^...
- 2,023
5
votes
0
answers
93
views
Separation of topological group elements by invariant neighbourhooods
Let $G$ be a topological group that is Hausdorff, that is, for every pair $(g,h)$ of distinct elements of $G$, there exist disjoint open sets $U_g$ and $U_h$ such that $g \in U_g$ and $h \in U_h$.
...
- 4,728
5
votes
0
answers
209
views
Compact set covered by two opens
The following lemma about locally compact (but not necessarily Hausdorff) spaces or continuous lattices appears frequently but without citation. It is easy to prove but important in proofs.
If a ...
- 8,481
5
votes
0
answers
2k
views
Denseness of finite rank operators in $\mathcal{B}(X,Y)$
Let $X$ and $Y$ be Banach spaces and let $\mathcal{B}(X,Y)$ be the space of bounded linear operators from $X$ to $Y$. As noted in the answers to a question on
https://math.stackexchange.com/questions/...
- 107
5
votes
0
answers
133
views
Banach spaces admitting no proper quasi-affinity
I am interested in examples of Banach spaces $X$ satisfying the following two conditions:
(1) Every (continuous linear) injective operator $T:X\to X$ with dense range is surjective.
(2) $X$ is ...
- 4,461
5
votes
0
answers
286
views
$f, \hat{f} \in L^{p}\cap L^{\infty} \implies f\in B(\mathbb R)$ (algebra of Fourier- Stieltjes transforms )?
For a bounded complex Borel measure $\mu$ on $\mathbb R$, we define, its Fourier-Stieltjes transform, $\hat{\mu}(y)= \int_{\mathbb R} e^{-2\pi ix\cdot y} d\mu(x); (y\in \mathbb R).$
Let $1\leq p \leq ...
- 1,051
5
votes
0
answers
179
views
Is the space of $C^r$ vector fields inducing locally uniformly bounded trajectories Baire?
Let $\mathcal{V}$ be the space $C^r$ vector fields on a non-compact (smooth) manifold $M$. Being a subspace of $C^r(M, T M)$, it inherits the natural $C^r$ topology (i.e. the strong topology) of that ...
5
votes
0
answers
146
views
Special elements in $L^{\infty}(G)^*$
Let $G$ be a locally compact group. Let $M(G)$ denote the measure algebra and $L^1(G)$ denote the group algebra on $G$. Then $M(G)$ acts on $L^1(G)$ by convolution. So by duality $M(G)$ acts on $L^1(G)...
- 306
5
votes
0
answers
426
views
Do all $L^{\infty}(\mu)$ spaces have the Grothendieck property?
Consider $L_{\infty}(\Omega,\Sigma,\mu)$, where $(\Omega,\Sigma,\mu)$ is any measure space. Does it it have the Grothendieck property? If the measure space is localizable, then it is true. The ...
- 149
5
votes
0
answers
154
views
When is an inner derivation a Fredholm operator?
Let $\mathcal{B}(H)$ denote the algebra of bounded operators on a Hilbert space $H$. I'm interested in inner derivations acting on the Schatten ideals $L^p\subseteq\mathcal{B}(H)$ (defined by ...
- 777
5
votes
0
answers
148
views
Groups of operators between local unitaries and full unitaries
Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...
- 6,351
5
votes
0
answers
332
views
The Haar integral on uniform spaces
Does anybody know what the current research status is on the topic of Haar measures on uniform spaces? I'm specifically interested in compact uniform spaces and its corresponding Haar probability.
As ...
- 5,407
5
votes
0
answers
105
views
Strictly convex renormings making power bounded operators into contractions
Let $X$ be a Banach space and let $T$ be a power bounded linear operator on $X$ (i.e. $\sup_{n\ge0}\|T^n\|_{op}<\infty$). We can of course define an equivalent norm $\|\cdot\|'$ on $X$ so that $\|T\...
5
votes
0
answers
394
views
construction of heat kernels for non-compact manifolds with boundary
Recently, I am studying heat semigroup for noncompact manifolds with boundary.
In Issac Chavel's book "eigenvalues in Riemannian geometry". "Given a noncompact Riemannian manifold, it need not be ...
- 199
5
votes
0
answers
308
views
"Contraction mapping principle"
Are there any applications of the following fact?:
Let $X$ be a complete Hausdorff semi-metric space with a collection of semi-metrics $\{d_\alpha(\cdot,\cdot)\}_{\alpha\in A}.$
Further let $f:X\to ...
- 61
5
votes
0
answers
133
views
Series representation for unbounded perturbations of semigroup generators
Let $A$ generate an analytic $C_0$-semigroup on a Banach space $X$ and $B$ be a relatively compact perturbation, i.e., $B$ is compact as an operator from $D(A)$ (with the graph norm) to $X$. Then $A+B$...
- 3,388
5
votes
0
answers
569
views
Argmax of random walk vs of Brownian motion
Consider a random walk on $\mathbb{Z}$ with triangular drift and jumps that are standard normals. That is,
$$
\begin{cases}
RW_{t+1} = RW_t - d + \epsilon_t, \quad t \geq 0,\\
RW_{t-1} = RW_t - d + \...
- 1,069
5
votes
0
answers
428
views
Is there an appropriate weighted Sobolev space to include exponential map and projection map?
Observe that given a non negative function
$\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted
$L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions
$f: \...
- 3,245
5
votes
0
answers
543
views
Moduli of smoothness, Besov spaces, and Sobolev spaces
For $1\leq p\leq\infty$, the $r$-th order $L^p$-modulus of smoothness is
\begin{equation}
\omega_r(u,t,\Omega)_p=\sup_{|h|\leq t}\|\Delta_h^ru\|_{L^p(\Omega_{rh})}
\end{equation}
where $\Omega_{rh}=\{...
- 3,322
5
votes
0
answers
104
views
Is a closed set with orbit capacity zero automatically thin?
Let $G$ be a countably infinite amenable group. Let $\alpha: G\curvearrowright X$ be a continuous group action. (Mostly free and minimal, though!)
Definition 1: Let $A\subset X$ be closed and $U\...
- 1,023
5
votes
0
answers
274
views
Reference request: The relationship between norm and trace forms on an Albert algebra
I am interested in either a nice reference, or some clarification.
Overview: I am considering $J_3(\mathbb{O})$, the Jordan algebra of $3\times 3$ self adjoint octonionic matrices. This algebra is a ...
- 133
5
votes
0
answers
598
views
Do the banded operators check the invariant subspace problem?
Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
5
votes
0
answers
115
views
Equivariant zero dimensional extension recovering a given measure
Let $X$ be a compact metrizable space and $\alpha: \mathbb{Z}^d\curvearrowright X$ a continuous group action. Then it is well known that there exists a zero dimensional compact space $Y$, an action $\...
- 1,023
5
votes
0
answers
200
views
almost projective Banach space, complex scalars
It is well-known that if a real Banach space $E$ is "almost metrically projective" then $E$ is isometrically isomorphic to some $\ell^1(\Gamma)$. We say $E$ is "almost metrically projective" if ...
- 1,704
5
votes
0
answers
221
views
Quasicompactness of transfer operators associated to IID matrix products
Let $P^1$ denote one-dimensional real projective space, and for each $A \in GL(2,\mathbb{R})$ let $\overline{A}$ denote the homeomorphism of $P^1$ induced by $A$. I am currently reading a paper which ...
- 6,206
5
votes
0
answers
585
views
Constructing a Sobolev space containing the differential k-forms of a Riemannian manifold
I am currently writing a paper about the Hodge theorem for an algebraic topology course. The specific formulation I am proving can be stated thus. Let $M$ be a compact, orientable n-dimensional ...
user34072
5
votes
0
answers
611
views
unitary equivalence
Let $U$ be the bilateral shift operator in $l^2(Z)$, and let $V$ stand for a rotation on an irrational angle $\alpha$ in $L^2(T, \mu)$, where $T$ is a circle with a rotation-invariant Lebesgue measure ...
5
votes
0
answers
241
views
Find a lower bound for a pre-invariant $Fol(L(F_m), X_m)$
In the paper of Bannon and Ravichandran, A Folner invariant for type $\rm{II}_1$ factors, they defined an invariant $Fol(M)$ for a separable type $\rm{II}_1$ factor $M$, especially for the free group ...
- 1,528
5
votes
0
answers
425
views
Reflexive-saturated Banach spaces
Say that a Banach space $X$ is strongly saturated by reflexive subspaces if every closed subspace $Y\subset X$ contains a further reflexive subspace $Z\subset Y$ with $\mbox{dens }Y=\mbox{dens Z}$. If ...
- 387
5
votes
0
answers
157
views
Containment of an element to an operator system
This question will probably appeal to people in operator systems theory as it is very much related. However, I'm interested in down-to-earth concrete systems with finite dimensional Hilbert space ...
- 315
5
votes
0
answers
104
views
Regularity of simplices, part deux
This question is directly inspired by Pietro Majer's question and my answer to it.
One can define a simplex, and the dihedral angles thereof in an infinite dimensional Hilbert space (one has to take ...
- 96.4k
5
votes
0
answers
240
views
Linear ODEs in a locally convex vector space
Let $X$ be a complete, locally convex, Hausdorff topological vector space over $\mathbb{C}$. Let $J \subset \mathbb{R}$ be an open interval. Consider the space $M = C^\infty(J,X)$ of smooth ...
- 235
5
votes
0
answers
160
views
reference for perturbation of projection result
Let $A$ and $B$ have the same rank and dimensions. If $P_A$ denotes the projection onto the range space of $A$, then
$$
\|P_A - P_B\|_2 \leq \|A - B\| \cdot \min (\|A^\dagger\|_2, \|B^\dagger\|_2).
$$
...
- 922
5
votes
0
answers
569
views
Functional calculus for vector-valued holomorphic functions?
Good afternoon,
I would like to ask a question on the functional calculus of several commuting operators. If someone knows some good/standard references, could you please tell me about them.
Firstly,...
- 758