All Questions
10,936 questions
19
votes
2
answers
2k
views
Can we take a supremum over all Hilbert spaces?
In my paper On the optimal error bound for the first step in the method of cyclic alternating projections, I defined functions $f_n:[0,1]\to\mathbb{R}$,
$n\geqslant 2$, by
$$
f_n(c)=\sup\{\|P_n\dotsm ...
- 935
3
votes
0
answers
151
views
Reference request: trace norm estimate
In a paper I am currently reading, the author uses that if $T$ is an operator given by the kernel $$T(x,y) = \int_{\mathbb R} p(x,z) q(z,y) dz,$$
then $$\lvert \operatorname{tr} T \rvert \leq \lVert T ...
- 101
0
votes
1
answer
414
views
What functions are equal to their symmetric decreasing rearrangement?
I am trying to understand the set
$$\mathcal{A}=\{f:f\text{ non-negative, measurable}, \text{vanishes at infinity and } f(x)=f^*(x)\}$$
where $f:\mathbb{R}^n\to \mathbb{R}$ is vanishing at infinity if ...
- 537
0
votes
1
answer
93
views
Does ${\rm Tr}(l(a)+l(b)) ={\rm Tr}(l(\alpha_1 a +\alpha_2 b ))$ imply that $l(a)l(b)=r(a)r(b)=0$?
Let $H$ be a Hilbert space and let $a,b\in B(H)$ be such that
$${\rm Tr}(l(a))={\rm Tr}(r(a))<\infty , {\rm Tr}(l(b))={\rm Tr}(r(b))<\infty,$$
$${\rm Tr}(l(a)+l(b)) ={\rm Tr}(l(\alpha_1 a +\...
- 617
5
votes
0
answers
194
views
When does the Fourier transform of a measure decay?
Let $\mu$ be a Borel measure on $\Bbb R^d$.
It is well known that $\mu= |f|dx$ with $f\in L^1(\Bbb R^d)$ then its Fourier transform satisfies
$$\widehat{\mu}(\xi)\to0,\qquad \xi\to\infty.$$
However if ...
- 1,101
4
votes
0
answers
197
views
Bounded cohomology and unitary representations
On page 9 of Nicolas Monod's very nice ICM report "An invitation to bounded cohomology" (https://egg.epfl.ch/~nmonod/articles/icm.pdf), he mentions that bounded cohomology may be related to ...
14
votes
1
answer
663
views
The first case of the strong Littlewood conjecture
Let $A$ be a set of $n$ integers and consider the quantity:
$$\int_{0}^1 \left| \sum_{a \in A} e^{2\pi i a x} \right|dx. $$
The (now solved) Littlewood conjecture is the claim that this quantity is ...
- 13k
11
votes
5
answers
801
views
Colimits in the category of (not necessarily locally convex) topological vector spaces
Do colimits in the category of (not necessarily locally convex) topological vector spaces (over R, C, respectively) exist in general?
If no, is there a well-known condition of when they exist?
If ...
- 419
0
votes
1
answer
205
views
The ultrapower of the direct sum is the direct sum of ultrapowers
Currently, I'm reading the paper "Towards the fixed point property for superreflexive spaces" by Andrzej Wiśnicki. In this article, given $X_1,\dots,X_n$ Banach spaces, he defines $(X_1\...
- 145
0
votes
1
answer
156
views
Finding weak LUR property of $C[0,1]$ with an equivalent norm
On the space $X=C[0,1]$, define a norm $||| f |||^2=\Vert f \Vert_{\infty}^2 + \Vert f \Vert_2^2$, where $\Vert \cdot \Vert_\infty$ is the sup norm on $C[0,1]$ space and $\Vert \cdot \Vert_2$ is the $...
- 85
0
votes
1
answer
516
views
A problem of Fourier transform and Hölder condition
Suppose that $f$ is continuous on $[0,1]$. Thus, $f\in L^1(\mathbb{R})$ and its Fourier transform exists, as
$$ \hat{f}(\xi) := \int_\mathbb{R} e^{-2\pi i x \xi} f(x)dx, $$
which can also be written ...
- 419
11
votes
1
answer
428
views
Maximal ideals of the ring $\mathbb C \{T\}$
Consider the Banach $\mathbb C$-algebra
$$
\mathbb C \{T\} = \left\lbrace \sum_{i \geq 0} a_i T^i : \sum_{i \geq 0} |a_i| < \infty \right\rbrace
$$
With the norm given by $\| \sum a_i T^i\| = \sum |...
0
votes
0
answers
96
views
Closed formula for Laguerre
Let $L^\alpha_n(x)$ be Laguerre polynomials of type $n$.
Assume $0<\beta<1$. Is there a closed formula for this sum
$$\sum^\infty_{j=0} \frac{1}{(b+j)^{1-\beta}}L^{m}_j(x)$$
where $b>0$ and $...
- 531
2
votes
0
answers
102
views
Fourier expansion of random functions
Consider a random mapping $f:\{0,1\}^n \to \{0,1\}^n$, .i.e, a function such that for each $x \in \{0,1\}^n$, $f(x) \in \{0,1\}^n$ is chosen uniformly at random.
My question is what would the fourier ...
- 121
1
vote
1
answer
125
views
When is the probability measure on the "direct product" via the Kolmogorov extension theorem supported on the "direct sum"?
Let me restrict to the case of Hilbert spaces, which seem simplest.
Let $\{H_n\}$ be a sequence of (possibly infinite dimensional) Hilbert spaces and $\{ \mu_n \}$ be a sequence of Borel probability ...
- 3,477
5
votes
0
answers
417
views
All $L^pL^q$ estimates for the heat equation on $\mathbb R$ (with gain of derivatives)
I have asked this question on MSE, but this is a better place.
The heat equation and the heat kernel.
Consider the heat equation on $\mathbb R$:
$$ \left\{\begin{aligned}u_t-\Delta u&=f\\u(0,x)&...
- 1,075
1
vote
0
answers
82
views
Injective envelopes of 1-extensible spaces
Please read this post as a naive follow up on a previous question.
Let $X$ be a Banach space and let $(I(X),\alpha)$ denote its injective envelope (e.g., CohenLacey1969). A low hanging fruit is the ...
- 2,605
5
votes
1
answer
355
views
Real-analytic analogue of Schwartz functions
Consider the space $\mathcal{S}'$ of functions $\mathbb{R}^n\to\mathbb C$ that are (real-)analytic and with exponential decay at infinity. This is an analogue of Schwartz space, but real-analytic ...
- 53
4
votes
1
answer
104
views
Generalization of a bounded variation
Let $(X, d)$ be a metric space. We will say that $\gamma \colon [a,b] \to X$ is of bounded variation, if
\begin{equation}
V(\gamma) = \sup_{a=t_0 < \cdots < t_n < b} \sum_{i=1}^n d( \gamma(...
- 820
10
votes
2
answers
490
views
Surjective linear isometries on $\ell_\infty(\mathbb{N})$
In Volume 1 of "Classical Banach Spaces" Lindenstrauss and Tzafriri note that all surjective linear isometries on $\ell_\infty$ are of the from $(a_i) \mapsto (\varepsilon_i a_{\pi(i)})$ ...
- 1,073
1
vote
0
answers
94
views
Convex combination of positive mean-ergodic operators
Let $T_1,T_2:L^1([0,1],\mathrm{d}x)\to L^1([0,1],\mathrm{d}x)$ be positive mean-ergodic operators such that:
For every $h:[0,1]\to \mathbb{R}_+$ we have that
$$\int_0^1 T_1 h(x)\mathrm{d}x = \int_0^1 ...
- 333
2
votes
0
answers
137
views
Compact embedding for the space $H^1(0,+\infty)$
It is well known that $H^1(I)$ is compactly embedded in $C(I)$ where $I$ is bounded interval of $\mathbb{R}$, which is not correct for $I$ unbounded.
So, I search about a functional space $Y$ such ...
- 29
5
votes
1
answer
205
views
Continuity of the extension of a tracial state with respect to the strong operator topology
Problem: Let $M\subseteq B(H)$ be a finite von Neumann algebra with a faithful tracial state $\tau$. Let $\widetilde{M}$ be the $\tau$-measurable operators on $M$ (recalled below). Extend the trace $\...
- 85
4
votes
0
answers
237
views
Does SO(n) have Lafforgue's Strong Property (T)?
On page 13 of the monograph of Bekka, de la Harpe, and Valette on Kazhdan's property (T), it is written "for $n \geq 3$, the compact group $\mathrm{SO}(n)$ has the strong property (T)," ...
0
votes
1
answer
150
views
The asymptotic behaviour of a singular integral
Given $0<\alpha, \beta<1$, $a,b>0$, $a^2+b^2<1$.
I am trying to determine the asymptotic behaviour of
$$F(a,b):=\int_{\substack{a/2<x<2a\\\\b/\sqrt{2}<\sqrt{1-x^2}<\sqrt{2}b}}\...
- 852
5
votes
1
answer
386
views
Contact points for John's ellipsoid
Suppose $K$ is a centrally symmetric convex body in $\mathbb{R}^n$ and $E$ is the John's ellipsoid, the ellipsoid of maximal volume inside $K$.
If $E$ and $K$ have exactly $2n$ contact points, say $(\...
- 1,361
13
votes
1
answer
401
views
Is there a reflexive Banach space whose ball is not the convex hull of its extreme points?
Let $X$ be a reflexive Banach space. Then the convex hull of the extreme points of the unit ball is weakly dense by the Krein-Milman theorem and Kakutani's theorem. My question is, if there is an ...
- 633
5
votes
4
answers
362
views
Dual norm of a subspace of $\ell_\infty^3$
We define a norm on $\mathbb C^2$ as $\|(\alpha,\beta)\|:=\max\left\{|\alpha|,|\beta|,\big|\frac{\alpha+\beta}{\sqrt{2}}\big|\right\}.$ Can the dual norm be calculated explicitly?
- 1,879
6
votes
1
answer
346
views
Best approximation of L1 function by Lipschitz function
Fix constant $L,C>0$ and $k\geq 1$ and let $f\in W^{1,k}(\mathbb{R}^d,\mathbb{R}^n)$ with $\|f\|_{W^{1,k}}\leq C$.
Is there a known estimate on the distance
$$
\|f - \operatorname{Lip}_L(\mathbb{R}^...
- 5,405
53
votes
6
answers
13k
views
What does Mellin inversion "really mean"?
Given a function $f: \mathbb{R}^+ \rightarrow \mathbb{C}$ satisfying suitable conditions (exponential decay at infinity, continuous, and bounded variation) is good enough, its Mellin transform is ...
- 7,347
2
votes
0
answers
83
views
Singular integral operators acting on Zygmund class
It is proven in "Classical and Modern Fourier Analysis" by L. Grafakos (Corollary 6.7.2) that if a kernel $K(x)$ defined away from the origin on $\mathbb{R}^n$ satisfies
$$\sup_{0<R<\...
- 21
0
votes
0
answers
317
views
What is the "best" good kernel?
A family of functions $k_n(x):[-\pi,\pi]\to \mathbb R$ for $n\in \mathbb N$ is said to be a good kernel if all the following are satisfied:
$\frac{1}{2\pi }\int_{-\pi}^\pi k_n(x) \, \mathrm d x=1$,
$...
- 3,062
1
vote
1
answer
154
views
Dense properties of weighted Sobolev space define on $\mathbb{R}^n$
Consider the usual Sobolev space $H^1(\mathbb{R}^n)$ and $H^1_0(\mathbb{R}^n)$, where $H^1_0(\mathbb{R}^n)$ is the closure of $C_0^\infty(\mathbb{R}^n)$ with respect to the norm of $H^1(\mathbb{R}^n)$....
- 561
0
votes
0
answers
146
views
Linear dynamics in a function space
I posted the same question to Math Stackexchange earlier without much luck, so I am posting here.
I am dealing with a time-dependent model, which can be expressed as a function. $f$ is dependent on ...
- 433
3
votes
2
answers
809
views
Growth of $L^p$ norms as $p \to \infty$
Let $f$ be a non-negative function defined on the unit interval. It is well known that $N(p) := \left(\int_0^1 f^p(t) dt\right)^{\frac{1}{p}} $ converges to $\operatorname{esssup}_{[0,1]} f$ when $p \...
- 1,211
7
votes
1
answer
459
views
Optimal sphere packings in dimensions different fom 8 and 24
After the groundbreaking work of Viazovska, now we have a proof for the optimal density of sphere packings in dimensions 8 and 24. Both packings emerge from very particular algebraic lattice ...
- 1,561
1
vote
2
answers
541
views
Duality of projective and injective tensor product
I want a reference of the following statement which I think is true. Let $X$ and $Y$ be Banach spaces with $X$ finite dimensional. Then $(X\otimes_\epsilon Y)^*$ is isometrically isomorphic to $(X^*\...
- 1,879
0
votes
0
answers
77
views
Completeness of a normed space
We consider the set $\mathcal{PC}([-r,0],X)$
$$\mathcal{PC}([-r,0],X):=\{\varphi:[-r, 0] \rightarrow X: \varphi \text{ is continuous everywhere except
for a finite number
of points } t_* \text{ ...
- 39
0
votes
1
answer
794
views
Fast decaying Fourier coefficients for indicator function
Let $0 \leq a < b \leq 1$. I wanted to compute the Fourier series expansion of the indicator function $f = \chi_{[a, b]}$ of the interval $[a, b]$, as
$$
f(x) = \sum_{k\geq 0}a_k e(kx).
$$ My ...
- 577
8
votes
1
answer
286
views
Commutator ideal in nonunital C*-algebra
Let $A$ be a C*-algebra that has no one-dimensional irreducible representations, that is, there is no (closed) two-sided ideal $I\subseteq A$ such that $A/I\cong\mathbb{C}$.
Let $J$ denote the (not ...
- 3,497
4
votes
2
answers
191
views
Reference request: "Tangent relation" in metric spaces
Let $X,Y$ be metric spaces. Let $f,g : X \to Y$ be two maps and $x_0 \in X$. Let us say that $f$ and $g$ are tangent at $x_0$ if the following condition is satisfied: For every $\epsilon > 0$ there ...
- 63.1k
1
vote
0
answers
120
views
Is a discrete harmonic function bounded below on a large portion of $\mathbb{Z}^2$ constant?
In the paper https://doi.org/10.1215/00127094-2021-0037, the main result is if we partition the plane $\mathbb{R}^2$ into unit squares (cells) so that the centers of squares have integer coordinates ...
- 543
3
votes
0
answers
215
views
Implicit function theorem in Riemannian manifold and Wasserstein space
My question is about to what extent can we extend the implicit function theorem to Riemannian manifolds. In the Euclidean space, consider a bivariate function $F \colon \Theta \times \mathcal{X} \...
- 1,127
4
votes
1
answer
207
views
Reference for Chebyshev centers
Today, I came across the concept of Chebyshev center twice.
In particular, it is the key tool in the very elegant paper "A fixed point theorem for $L^1$ spaces" by Bader, Gelander and Monod.
...
- 71
0
votes
0
answers
114
views
Norm distance in a Banach space
Consider the Hilbert space $l_2(\mathbb{N})$ under the square summable norm $\Vert \cdot \Vert_2.$ Let us define a new norm $||| \cdot ||| $ equivalent to $\Vert \cdot \Vert_2$ such that the closed ...
- 85
2
votes
0
answers
207
views
Failure of Calderón–Zygmund inequality at the endpoints
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'd like to prove that the famous Calderón–Zygmund elliptic estimate $$ \norm{ \partial_{ij}u }_{L^p} \leq C \norm{\Delta u }_{L^...
- 457
8
votes
1
answer
422
views
Why $(\mathrm{Lip}([0,1]^2))^*$ is finitely representable in 1-Wasserstein space over the plane?
In "Snowflake universality of Wasserstein spaces"" by Alexandr Andoni, Assaf Naor, and Ofer Neiman, they have the following notation:
For a metric space X they write $\mathcal{P}_1(X)$ ...
- 1,058
10
votes
2
answers
594
views
Existence of a strongly continuous topologically irreducible representation of a compact group on an infinite dimensional Banach space?
Does there exists a triple $(G, X, \pi)$, where $G$ is a compact group, $X$ an infinite dimensional Banach space over $\mathbf{C}$, and $\pi : G \to B(X)$ a strongly continuous representation of $G$, ...
- 960
0
votes
1
answer
192
views
Littlewood-Paley characterisation of Hölder regularity
I am going through Terence Tao's "Nonlinear Dispersive Equations (Local & Global Analysis)" and trying to work through some of his exercises. However, I find myself being stumped by ...
- 103
2
votes
0
answers
258
views
Orthogonal complement of arbitrary intersection of Hilbert subspaces
Let $H$ a Hilbert space, and $\mathcal C$ an arbitrary set of closed subspaces of $H$. Is it true that
$$\left( \bigcap_{Z\in \mathcal C}Z\right)^\perp = \overline{\sum_{Z\in \mathcal C} Z^\perp}$$
...
- 63