All Questions
4,469 questions with no upvoted or accepted answers
13
votes
0
answers
462
views
Is there a simple and reflexive Banach algebra?
There are many Banach algebras which, as Banach spaces, are reflexive. Of course, unitisation is just adding one dimension so this operation preserves reflexivity, hence there are many reflexive, ...
13
votes
0
answers
323
views
Kolmogorov width for cartesian products
For an operator $T:X\to Y$ between Banach spaces with unit balls $B_X$ and $B_Y$ the sequence of Kolmogorov widths is
$$
\delta_n(T)=\inf\lbrace \delta>0: T(B_X)\subseteq \delta B_Y +L \text{ for ...
13
votes
0
answers
474
views
Does anybody know if the Fourier algebra of SL(3,Z) has an approximate identity?
(Note to those who like to tidy LaTeX, or ${\rm \LaTeX}$: I kindly request that you don't put any LaTeX in the title of this question, nor change the bolds below to blackboard bold.)$\newcommand{\FA}{{...
13
votes
0
answers
483
views
Where to use differential calculus on space of measures?
One great inside of Felix Otto is that the Wasserstein metric from optimal transportation gives the space of (finite second moment, probability) measures on $\mathbb{R}^n$ (or a manifold) a kind of ...
13
votes
0
answers
564
views
Symmetric (extended) Haagerup tensor product
Given a von Neumann algebra M, then the weak$^*$ (or extended) Haagerup tensor product of M with itself is the collection of $\tau\in M\overline\otimes M$ with $$\tau=\sum_i x_i\otimes y_i$$ the sum ...
13
votes
0
answers
816
views
How hard is it to make a differential operator Hermitian?
Let $M$ be a closed finite-dimensional smooth manifold (over $\mathbb R$). Let $C^\infty(M) = C^\infty(M,\mathbb C)$ be the algebra of smooth complex-valued functions on $M$, with the natural complex ...
12
votes
0
answers
196
views
UMD constant of finite dimensional spaces
For a Banach space $B$, its one-sided Unconditional Martingale Difference (UMD) constant $C^-_p$ (for $p \in (1,\infty)$) is the smallest value such that for all $B$-valued martingale difference ...
12
votes
0
answers
373
views
Does Thompson's group $V$ have property AP?
Property AP: A discrete group $\Gamma$ has property AP (Approximation Property) if there exists a net $(\phi_i)_{i \in I}$ of finitely supported functions on $\Gamma$ such that $\phi_i \to 1 $ weak$^*$...
12
votes
0
answers
476
views
Are Sobolev trace spaces equal from both sides of the boundary?
Let $\Omega\subset\mathbb R^n$ be a bounded open set and $\Omega'$ the complement of its closure.
Assume $\partial\Omega=\partial\Omega'$.
Are the quotient spaces $W^{1,p}(\Omega)/W^{1,p}_0(\Omega)$ ...
12
votes
0
answers
923
views
What's the appropriate notion of a Unitary representation of a Lie algebra?
Here Lie algebras/groups are real. The most straightforward definition might be:
Def: A representation $\rho:\mathfrak{g} \rightarrow \mathfrak{gl}(V)$ is unitary if $V$ is equipped with a Hermitian ...
12
votes
0
answers
284
views
Star-shaped Folner sequence
Fix a (finite) generating set $S$ for $\Gamma$ (discrete) amenable. Given a Følner sequence (i.e. a sequence of finite sets $F_n$ whose boundary $\partial F_n$ in the Cayley graph of $S$ is such that $...
12
votes
0
answers
435
views
Uniform closure of subspaces of Baire class 1
Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...
12
votes
0
answers
478
views
What is known about the Yang-Mills stratification over 3-manifolds?
Rade proved in his thesis (Crelle's Journal, 1992, available here: digizeitschriften.de/dms/toc/?PPN=PPN243919689) that if $E\rightarrow M$ is a $U(n)$-bundle over a 3-manifold, then the gradient flow ...
11
votes
0
answers
342
views
The diagonal operators and unconditionality
The following is well-known:
Theorem: Let $X$ be a Banach space with an unconditional basis $(e_n)_n$.
Then the space of the diagonal operators with respect the basis $(e_n)_n$ endowed with
the ...
11
votes
0
answers
374
views
A game of harmonic series(s)
Given a set $A\subseteq\mathbb{R}_{>0}$, consider the following (two-player, perfect-information, length-$\omega$) game $H_A$:
Players $1$ and $2$ alternately play strictly increasing natural ...
11
votes
0
answers
344
views
Tauberian Theorem for 1-parameter groups of operators
The Wiener Tauberian Theorem gives condition on an $f\in L^1(\mathbb{R})$ such that the "induced 1-parameter family" $\{T_b(f)\}_{b\in \mathbb{R}}$ has a dense span in $L^1(\mathbb{R})$; ...
11
votes
0
answers
615
views
Is every Baire metric space a complete metric space in disguise?
I am currently giving lectures in real analysis and a student asked an interesting question I couldn't answer, so I'm posting it here:
Let's say that a metric space $X$ is Baire if every countable ...
11
votes
0
answers
707
views
What is the asymptotics of the Fourier transform of $\exp(-x^4)$ for large wave numbers?
The Fourier transform of $\exp(-x^4)$ has an analytical expression, it's the difference of two generalized hypergeometric functions:
$\int d x \ e^{-x^4} e^{ikx} = 2 \ \Gamma(\frac{5}{4}) \ _0F_2(;\...
11
votes
0
answers
266
views
Quantifier swap in Banach space theory
The uniform boundedness principle and its corollaries from a logical point of view are statements of when one can swap quantifiers in Banach spaces. Take for instance the principle of condensation of ...
11
votes
0
answers
389
views
Von Neumann Inequality in Banach spaces
It is known that the only Banach space that satisfies the von-Neumann inequality is the Hilbert space:
Theorem (see e.g. Pisier, "Similarity Problems and Completely Bounded Maps", p 27) For a Banach ...
11
votes
0
answers
2k
views
A question on trig series
Assume $\{a_k\}_{k\ge1}$ is a real sequence such that $u(x) = \sum_{k\ge 1}a_k\sin(kx)$ is a smooth function, and for every $x \in [-\pi, \pi]$
$$\left(\sum_{k\ge 1}\frac{a_k}{k}\sin(kx)\right)\left(\...
11
votes
0
answers
322
views
Does any real function have a Lipschitzian restriction on $D$?
Does any real function have a Lipschitzian restriction on $D$, where $D$ is an infinite subset of $\Bbb R$ with an accumulation point?
11
votes
0
answers
381
views
Concerning Luzin-(N)-property
Definition: a function $f:\mathbb{R}\to \mathbb{R}$ has Luzin-(N)-Property if $f$ maps any null set to a null set.
By https://www.encyclopediaofmath.org/index.php/Luzin-N-property, it is known that ...
11
votes
0
answers
320
views
Constructing an infinite chain of subsets of 'hyper' algebraic numbers?
This question is cross posted from MSE.
Let $F$ be a subset of $\mathbb{R}$ and let $S_F$ denote the set of values which satisfy some generalized polynomial whose exponents and coefficients are ...
11
votes
0
answers
529
views
Contraction semigroup on Hilbert space
I'd like to know whether a certain unbounded operator on a Hilbert space is the generator of a strongly continuous contraction semigroup.
(Such operators are known as maximally dissipative operators.)
...
11
votes
0
answers
626
views
Outline of Generic Separable Banach Spaces don't have a Schauder Basis
So, I know P. Enflo showed that there is a separable Banach Space that doesn't satisfy the approximation property. My professor mentioned during class that in fact generic separable Banach Spaces don'...
11
votes
0
answers
137
views
Assymptotics of a Selberg type integral
Does any one know some references/ ideas on how to study the assymptotics as $N$ goes to $\infty$ of the following Selberg type integral
$$\int _{\mathbb R^N} e^{-|x|^2}\ \prod_{1\le i<j\le N} \...
11
votes
0
answers
622
views
Subspaces and quotients in Banach space theory
In Banach space theory (closed) subspaces and quotient seem to play a symmetric role. However, since the behavior of subspaces is more intuitive, subspaces appear more frequently. E.g., the theory of ...
11
votes
0
answers
364
views
Carleson's Theorem on Manifolds
Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...
11
votes
0
answers
758
views
A basic question on Stone-Cech compactification of $\mathbb{Z}$
Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...
11
votes
0
answers
601
views
High-dimensional geometry: Top-down Vs. Bottom-up
There are several ways to leverage one's intuition from low-dimensional geometry to understand high-dimensional phenomena. For example, one can get a clearer picture of the behaviour of high-...
11
votes
0
answers
309
views
Combinatorial Hilbert spaces
Any closed subspace $V\subset {\ell}^2(\omega)$ has associated to it a subset ${\cal S}_V$ of ${\cal P}(\omega)$, call it a combinatorial Hilbert space, namely the set of all supports of all vectors ...
11
votes
0
answers
1k
views
Is the Fourier-Transform a bounded operator on Lorentz spaces L(2,q)?
It is well known that the Fourier transform $\mathcal{F}$ maps $L^1(\mathbb{R}^n)$ continuously into $L^\infty(\mathbb{R}^n)$ and $L^2(\mathbb{R}^n)$ continuously into $L^2(\mathbb{R}^n)$.
Then, by ...
11
votes
0
answers
657
views
For which Lie groups is the convolution of any two nonzero integrable compactly supported functions nonzero?
The Titchmarsh convolution theorem implies that the convolution of two nonzero functions $f,g\in L^1(\mathbb R)$ with compact support is nonzero. There is a generalization of this theorem to the case ...
10
votes
0
answers
287
views
Coefficients of polynomials vs trigonometric product
Let's consider the family of sequences of coefficients in the expansion
$$\prod_{i=0}^{n-1}(1+x^{3^i}+x^{3^{i+1}})=\sum_{k\geq0}a_n(k)\, x^k.$$
Remark. Evidently, the RHS is a finite sum.
Here is a ...
10
votes
0
answers
225
views
Can the trace be computed in any Schauder basis?
I'm cross-posting this question from Math.SE, as it didn't get much attention there.
Let $H$ be a separable Hilbert space and $T \in L(H)$ a trace-class operator. It is well known that the trace of $T$...
10
votes
1
answer
518
views
Inverse function theorem for $W^{2,n}\cap W^{1,\infty}$ functions
Let $n\ge 2$, $f:B_1\subset \mathbb R^n\rightarrow \mathbb R^n$, $f\in W^{2,n}\cap W^{1,\infty}(B_1)$, $\text{det}(Df)>c>0$, where $B_1$ is the unit ball. Can we show that $f$ is a homeomorphism ...
10
votes
0
answers
422
views
Upper bound Hölder norm of the solution to the non-linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (u (t, x))|^2 u(t, x) \}$
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R \to \mathbb R$ belong to the Hölder space $C^{1, \alpha}_b (\mathbb R)$ for some $\alpha \in (0, 1)$. Let $u : \mathbb T \times \...
10
votes
0
answers
652
views
Eigenfunctions of the integral kernel $1/(x^2 + x'^2)$
My question seems elementary, yet I could not find the solution after working on and searching for several days...
I'd like to find the eigenfunctions of a simple integral kernel:
\begin{equation}
\...
10
votes
0
answers
656
views
“Taylor series” is to “Volterra series” as “Laurent series” is to _________?
Preamble
My question is similar to an earlier MathOverflow question:
“Taylor series” is to “Volterra series” as “Padé approximant” is to _________? which I just answered (hopefully my first ever ...
10
votes
0
answers
226
views
Extremal bases in finite-dimensional Banach spaces
Definition. A basis $e_1,\dots,e_n$ for a Banach space $X$ is called extremal if there exists a point $s$ in the unit sphere $S_X=\{x\in X:\|x\|=1\}$ such that for every $i\in\{1,\dots,n\}$ the ...
10
votes
0
answers
230
views
Norm-attaining operators with values in a 2-dimensional Hilbert space
Is the set $N\!A(X,\ell_2^2)$ of norm-attaining operators from a Banach space $X$ onto the $2$-dimensional Hilbert space $\ell^2_2$ dense in the Banach space $L(X,\ell_2^2)$ of all linear continuous ...
10
votes
0
answers
269
views
On the infinity of $\{p\in \mathbb {N}:\exists n\in\mathbb{N}~p| \left \lfloor{r^n}\right \rfloor\}$
I've already asked this same question on MSE here, but didn't get much help, so I will try on this site as well.
For which $r\in\mathbb{R}$ is the set $\mathscr{P}_r=\{p \in \mathbb{P}:\ (\exists n\...
10
votes
0
answers
172
views
Maximizing an integral w.r.t. a measure on the unit sphere
I would like to know if the answer to the following question is known.
Let $d \ge 3$. What is the value of
$$
\theta(d) := \max_{\mu} \int_{S^{d-1}} \int_{S^{d-1}} \cdots \int_{S^{d-1}} |x_1 \...
10
votes
0
answers
266
views
Are biduals of spaces of differentiable functions on hypercubes Grothendieck?
Consider the space $E_n = C^1([0,1]^n)$ of continuously differentiable functions with the usual norm
$$\max\{ \|f\|_\infty, \|f^\prime_{x_1}\|_\infty, \ldots, \|f^\prime_{x_n}\|_\infty\}.$$ making it ...
10
votes
0
answers
845
views
Witt's proof of Gelfand-Mazur / Ostrowski's Theorem
Previously asked on Math Stackexchange without answers.
Background: As sort of a hobby, Ernst Witt gave extremely short proofs for famous theorems. This question is about his six-line proof of the ...
10
votes
0
answers
251
views
Do sufficiently large Banach spaces admit non-compact operators with not too large range?
As in the title,
does there exist a cardinal number $\lambda$ such that for every Banach space $X$ of density/cardinality at least $\lambda$ there exists a non-compact bounded, linear operator $T\...
10
votes
0
answers
201
views
Masas in SAW*-algebras
I asked this question three years ago at MSe but it has no response; let me try here.
Pedersen distilled the following class of C*-algebras which he termed SAW*-algebras (Journal of Operator Theory, ...
10
votes
0
answers
325
views
Are ideals in separable C*-algebras complemented subspaces?
Let $A$ be a separable C*-algebra and $J\subseteq A$ a closed two-sided ideal. Does this make $J$ into a complemented subspace of $A$? In other words, does the quotient map $A\to A/J$ have a ...
10
votes
0
answers
207
views
Projective tensor squares of uniform algebras
In discussion with a colleague recently (Jan 2017),
$\newcommand{\AD}{A({\bf D})}\newcommand{\CT}{C({\bf T})}$
I was reminded that if $A(D)$ denotes the disc algebra and $\iota: \AD\to \CT$ is the ...