All Questions
10,829 questions
7
votes
1
answer
389
views
What are the relations in the unbounded model of K-homology?
I have posed this question to some experts at my university who would probably know the answer if there were a complete one, so my expectations are limited. It's possible that the question deserves ...
- 29.2k
7
votes
1
answer
362
views
Nonexpansive multi-valued maps in $\ell^2$
Let $C$ be a nonempty bounded closed convex subset, say the unit ball, of $\ell^2(\mathbb{N})$. Let $T: C\to 2^C$ be a map such that $T(x)$ is nonempty closed for each $x$, and that $$D(Tx,Ty)\le \|x-...
- 744
7
votes
1
answer
286
views
a.e. convergence of the powers of an operator built from rotations
Consider two numbers $a,b\in R/Z$ and some integer $p\geq 1$. Let $T:L^p(R/Z)\rightarrow L^p(R/Z)$ be the operator given by
$$T(f)(x)=1/2(f(x+a)+f(x+b))$$
For which values of $a,b$ do we have almost ...
- 18.7k
7
votes
0
answers
269
views
Looking for the eigenfunctions of the operator $T$ on $L_2(\mathbb R^+)$ defined by $Tf(x)=\int_0^\infty e^{-(x+y)^2/2}f(y)\,dy$
I'm looking to find a basis of eigenfunctions (and the corresponding eigenvectors) for the operator $T$ on $L_2(\mathbb R^+)$ defined by:
$$
Tf(x)=\int_0^\infty e^{-(x+y)^2/2}f(y)\,dy
$$
This operator ...
- 109
7
votes
0
answers
250
views
Proving this function is convex
Let $C$ be a symmetric positive definite matrix such that $0\leq c_{ij} \leq 1$, $c_{ii}=1$, and define $f$ as $$f(x)=\sum_{i}x_{i}\log(\sum_{j}c_{ij}x_{j})$$ for positive vectors $x$ (in fact let's ...
- 4,049
7
votes
0
answers
131
views
Approximation of a continuous curve on commuting matrices
I have a continuous curve $A:\mathbf{R}_+\rightarrow \text{M}_N(\mathbf{R})$ such that
$[A(t),A(s)] \operatorname*{\longrightarrow}_{t,s\rightarrow +\infty} 0$, where $[A(t),A(s)] = A(t)A(s)-A(s)A(t)$....
- 3,425
7
votes
0
answers
295
views
Applications of Banach space homology
There is a well-developed theory of Banach space homology. What are some of its useful applications to Banach space theory and which important questions can one answer using it? In other words, how ...
- 175
7
votes
0
answers
151
views
Stochastic analysis on nuclear Fréchet spaces
This is a reference request question, so to make it clear what I am after, I will give a quick outline of the area I am thinking in and some questions that arise.
A lot of the time in infinite-...
- 439
7
votes
0
answers
164
views
Nontrivial examples of locally compact quantum groups
What are some families of locally compact quantum groups that are neither groups, duals of groups, compact, nor discrete?
- 3,816
7
votes
0
answers
177
views
What is the current status of research on the von Neumann's inequality for $n \ge 3$?
Problem
Let $(T_1, \ldots, T_n)$ be a tuple of commuting contractions in Hilbert space $H$.
Does a constant $C_n \ge 1$ exist, for which it would be true, that:
$$\forall_{p \in \mathbb{C}[x_1, \ldots,...
- 63
7
votes
0
answers
150
views
The space of analytic associative operations
This question is a follow-up to this old one of mine.
Let $\mathcal{A}$ be the set of functions $\star:\mathbb{R}^2\rightarrow\mathbb{R}$ which are associative and $C^\omega$ (real analytic entire) in ...
- 20.5k
7
votes
0
answers
162
views
Relation between the additive Haar measure on $(K,+)$ and the multiplicative Haar measure on $K^{*}$ for a global field $K$
The following question comes from my studying of Alain Connes's paper Trace Formula in Noncommutative Geometry and the Zeros of the Riemann Zeta Function. In it, on p. 11, Connes notes that if $K$ is ...
- 1,805
7
votes
0
answers
123
views
Steklov eigenvalue for circle valued functions
Let $(M,g)$ be a compact Riemannian manifold with boundary. It is well known that the first positive Steklov eigenvalue $\sigma_1$ of $M$ has the following variational characterization:
$$\sigma_1(M,g)...
- 2,095
7
votes
0
answers
80
views
Given composition rules, determining whether a continuous map between smooth functions is a pseudodifferential operator
Let $M$ be a closed manifold, and let $P:C^{\infty}(M)\rightarrow C^{\infty}(M)$ be a continuous linear map in the smooth Fréchet topologies. In what is to come, if it helps, one can assume further ...
- 808
7
votes
0
answers
198
views
The spectrum of the Banach algebra of certain arithmetic functions under Dirichlet convolution
I was thinking about using the tools of functional analysis to study some subring of arithmetic functions under Dirichlet convolution. If I let $D_s$ be the ring of arithmetic functions with finite ...
- 190
7
votes
0
answers
120
views
What is the closed cone generated by constant and coordinate functions and closed under taking $f\mapsto\max(f,0)$?
Let $C$ be the smallest closed convex cone of functions from $\mathbb{R}^n$ to $\mathbb{R}$ that contains all constant functions, all coordinate functions, and such that $\max(f,0)\in C$ whenever $f\...
- 2,772
7
votes
0
answers
195
views
Reduced group C*-algebra $C^*_r(\mathbb{Z}/2*\mathbb{Z}/2)$: norm of specific elements
Consider the free product of $\mathbb{Z}/2$ with itself with generators
$$
\mathbb{Z}/2*\mathbb{Z}/2=\langle u,v\mid u^2=1=v^2\rangle
$$
and regard its group $C^*$-algebra
$$
C^*(\mathbb{Z}/2*\mathbb{...
- 598
7
votes
0
answers
2k
views
Algebraizing topology and analysis via condensed mathematics
I asked this question on Mathematics Stackexchange, but one of the users suggested that I ask this question at MathOverflow.
I've just come across a Twitter thread by Laurent Fargues explaining a work ...
- 79
7
votes
0
answers
168
views
The relation between Wolf's and Teichmüller's parametrization of the Teichmüller space
Let $\mathcal{T}_g$ be the Teichmüller space of Riemannian surface structures on an oriented 2-dimensional manifold of genus $g$. Fix a point $S \in \mathcal{T}_g$. There are two different ways to ...
- 1,170
7
votes
0
answers
317
views
Multiple Fourier series
In the book by Elias M.Stein and Guido Weiss "Introduction to Fourier Analysis on Euclidean Spaces" one states in page 268 the following theorem:
Theorem 1: The trigonometric series
$$\...
7
votes
0
answers
207
views
Is the derivative the unique operation on points in the plane that preserves convexity?
Let $C(n)$ be the space of multisets of size $n$ of points in the Euclidean plane, topologised appropriately, and consider a surjective continuous map: $$D:C(n)\rightarrow C(n-1)$$
Such that the ...
- 1,949
7
votes
0
answers
242
views
Has this Banach algebra been studied?
Given $\Omega$ as $[0,1]^n$ or the closed unit ball in $\mathbb{R}^n$, we can consider the algebra of complex valued polynomials with pointwise multiplication and its closure with respect to the norm
...
- 71
7
votes
0
answers
132
views
Smoothing property of a certain singular integral operator of non-convolution type
For simplicity, suppose that the dimension $d=2$, and let $g_s(x)$ be the Coulomb or Riesz potential defined by
$$g_s(x) := \begin{cases} -\frac{1}{2\pi}\ln|x|, & {s=0} \\ c_s|x|^{-s},& {0<...
- 873
7
votes
0
answers
351
views
Fractional Laplacian and chain rule
For the classical Laplacian, we have
$$\Delta (h(u)) = h'\Delta u + h''(u)|\nabla u|^2$$
for smooth functions $h$ and $u$.
Does a similar chain rule hold (up to a reminder term) also for the ...
- 161
7
votes
0
answers
294
views
Weaker version of the Borel lemma for vector-valued functions
Borel's lemma for Frechét-spaces $V$ says:
(i) For every $(v_j)_{j \in \mathbb{N}} \in V^\mathbb{N}$ there exists a smooth $f: \mathbb{R} \to V$ such that
$$f^{(j)}(0) = v_j.$$
For general locally ...
- 1,474
7
votes
0
answers
158
views
$C^*$ algebras whose nontrivial projections form a non empty compact connected set
Apart from $M_2(\mathbb{C})$. what is an example of a $C^*$ algebra $A$ whose set of non trivial projections form a non empty compact connected set?
Is there an example of this situation such that ...
- 366
7
votes
0
answers
3k
views
Definition of homogeneous Sobolev spaces
As we know the inhomogeneous Sobolev space (we only consider $s>0$)
$${H}^{s}\left(\mathbb{R}^{n}\right)=\left\{f \in L^2(\mathbb{R}^n):\int_{\mathbb{R}^{n}}|\xi|^{2 s}|\hat{f}(\xi)|^{2} \mathrm{d} ...
- 701
7
votes
0
answers
107
views
Potential p-norm on tuples of positive operators
This is a follow-up to this question on p-norms of tuples of operators.
Consider $\left[\begin{matrix} A \\ B \end{matrix}\right] \in B(H)^2_+$, meaning $A,B\geq 0$, and define
$$
\left\|\left[\begin{...
- 3,984
7
votes
0
answers
124
views
The bidual of the space of divergence-free vector fields
Consider the Banach space $L_1(\mathbb R^n, \mathbb R^n)$ of integrable vector fields $(n>1$) together with its subspace $N$ formed by those vectors fields whose divergence (computed in the ...
- 11.3k
7
votes
0
answers
420
views
What is the relationship between Hecke algebras and the enveloping algebra of Lie groups?
Here is the story as I see it.
Let $G$ be an abelian locally compact group. Then the (spherical) Hecke algebra for $K=1$ is by definition the endomorphism algebra of $l^2(G)$ as a $G$-module, where ...
- 557
7
votes
0
answers
248
views
Isometries on the unit sphere
Suppose that $X$ and $Y$ are two Banach spaces, $S_{X}$ and $S_{Y}$ their unit spheres, and $f$ an onto isometry between $S_X$ and $S_Y$. Does it follow that $X$ and $Y$ are isometric?
- 1,361
7
votes
0
answers
291
views
Degree of automorphic forms, SL(3,Z), and the elliptic Gamma function
In this article, the authors interpret a certain special function, the elliptic Gamma function, defined as
$$
\Gamma(z,\tau,\sigma)=\prod_{j,k=0}^\infty\frac{1-e^{2\pi i((j+1)\tau+(k+1)\sigma-z)}}{1-...
- 91
7
votes
0
answers
389
views
Certain Fourier transforms involving Whittaker function and Bessel functions
I recently meet the following two weird "Fourier transform" questions.
(I), Suppose that $F$ is a $p$-adic field (the same question can be asked over any local field, including $\mathbb{R}$ ...
- 960
7
votes
0
answers
237
views
Understanding the odd-dimensional index
Given a Dirac operator $D$ on a closed odd-dimensional manifold $M$, I've sometimes heard it said that the Fredholm index of $D$ vanishes because it is an ungraded self-adjoint operator, so that $\dim\...
- 1,913
7
votes
0
answers
373
views
What is known about "almost orthogonal vectors"?
Motivation:
Suppose we have a kernel $k(a,b)$ defined over the natural numbers.
Then by the Moore–Aronszajn theorem, we can embedd the natural number $a$ in some Hilbert space $\mathbb{H}$, which we ...
user6671
7
votes
0
answers
201
views
Minimizing energy on $\mathbb{S}^2$ for absolutely monotonic type potentials
For potential functions $f:[-1,1]\rightarrow \mathbb{R}$, satisfying that $f^{(k)}(t)\geq 0$, for $t\in(-1,1)$ and all $0\leq k \leq m$, and $f^{(m+1)}(t)<0$ for $t\in(-1,1)$, is it true that a ...
- 3,209
7
votes
2
answers
824
views
Fourier series of smooth functions in infinitely many variables
Let $J$ be a set (usually countable). Let $t_j$, $j\in J$, be variables in ${\mathbb R}/2\pi i{\mathbb Z}.$ Put $u_j=\exp(it_j),$ $j\in J.$ Introduce the following semi-norms on the space of Fourier ...
- 401
7
votes
0
answers
85
views
Analogue of Friedrichs extension for Hilbert $C^*$-modules
Suppose one has a densely defined symmetric operator $T:\mathcal{M}\rightarrow\mathcal{M}$, where $\mathcal{M}$ is a Hilbert $A$-module for a $C^*$-algebra $A$. Suppose that $T$ is non-negative, so ...
- 1,913
7
votes
0
answers
177
views
Does this ideal in $B(L_1)$ have a (bounded) right approximate identity?
I will take a roundabout way to defining this ideal, because (a) this route is how my collaborators and I came to it (b) this alternative definition, rather than the standard one, may suggest a ...
- 25.8k
7
votes
1
answer
394
views
Inverse limit in the category of $C^{\ast}$-algebras or operator spaces
Does the inverse limits (projective limits) exist in the category of $C^{\ast}$-algebras or operator spaces?
I tried to search but could not find a proper reference. Any reference or comments about ...
- 1,115
7
votes
0
answers
433
views
(geodesic) smoothness of f-divergence with respect to the Wasserstein metric
We consider the f-divergence, which takes the form
$$
D_f(P \| Q) = \int_\Omega f\left(\frac{dP}{dQ}\right) dQ.
$$
For example, when $f(t) = t \log t$, we obtain the KL-divergence.
My question is ...
- 1,127
7
votes
0
answers
181
views
Compact Kaehler submanifolds of projectivized Hilbert space
If we take a separable complex Hilbert space $H$, its projective space $PH$ is an infinite-dimensional Kähler manifold in a fairly obvious sense (see below). Suppose $M \subset PH$ is a finite-...
- 22.3k
7
votes
0
answers
502
views
Relation between Lie group characters and spherical functions on symmetric spaces
Setup: Let $G/K$ be an irreducible compact Riemannian symmetric space, where $G$ is a simply connected compact real Lie group, and $K$ is the maximal compact connected subgroup of some noncompact real ...
- 32.5k
7
votes
0
answers
328
views
Status of two Banach space theory open problems posted by Pełczyński
In the book 'Open Problems in the Geometry and Analysis of Banach Spaces', I am interested in the following two problems.
Problem $1$: Let $X$ be a separable infinite-dimensional Banach space that is ...
- 623
7
votes
0
answers
200
views
Equivalent strictly convex norms in spaces of small density
Can one construct in ZFC a Banach space of density character $\omega_1$ that does not have an equivalent strictly convex norm?
Maybe one may apply some kind of a Löwenheim–Skolem-type argument to a ...
- 11.3k
7
votes
0
answers
243
views
Loomis-Whitney versus Gagliardo inequalities
When searching for a reference, I discovered a curious fact about the Wikipedia page concerning the Loomis-Whitney Inequality (LWI).This page, which exists only in an English version, states that the ...
- 52.3k
7
votes
0
answers
619
views
Lavrentiev Phenomenon
Does there exist a (onedimensional) integral functional of calculus of variations
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that not only
$$
\inf_{y\in\operatorname{Lip}([a,b])}F(y)>\inf_{y\in ...
- 1,309
7
votes
0
answers
222
views
Can C*/W*-algebras be realized as (involutive?) monoid/co-monoid objects?
I would like to know how close one can get to realizing the category of C*-algebras as a category of monoid objects. Related (almost, but not quite, duplicate) questions are:
"Recovering a monoidal ...
- 146
7
votes
0
answers
550
views
Counter-example to the completeness of the Wasserstein metric
$\newcommand{\P}{\mathcal{P}}$
Let $(E,d)$ be a complete metric space, let $\P(E)$ be the set of all probability measures on $(E,\mathcal{B}(E))$. Let $W_d$ be the $1$-Wasserstein (Kantorovich) ...
- 931
7
votes
0
answers
478
views
Characterizing the sum $L^1 + L^\infty + L^{1,\infty} + L^{\infty, 1}$ of iterated Lebesgue spaces "by duality"
For the usual Lebesgue spaces $L^p (\mu)$ ($p \in [1,\infty]$) on a ($\sigma$-finite) measure space $(X,\mu)$, it is well-known that one has the characterization
$$
L^p (\mu) = \left\{f : X \to \Bbb{...
- 734