All Questions
10,241 questions
8
votes
2
answers
2k
views
(sharp)Garding's inequality and inequality with lower bounds
The origin of Garding's inequality was an effort to solve Dirichlet's problem for linear elliptic operators of high even order.Let $$P(x,D)= \sum a_{\alpha}(x)D^{\alpha}$$ with principal part $$P_{2m}...
8
votes
1
answer
487
views
Continuous selections from sums of compact sets
This question is somehow related to the last open problem from Grothendieck's thesis about completeness of locally convex inductive limit. However, a particular case of the problem boils down to a ...
- 16.5k
8
votes
1
answer
2k
views
Limits of Nilpotent and Quasi-nilpotent Operators in a $\mathrm{II}_1$-factor
A bounded operator $A$ in a Hilbert space is called nilpotent if there exists $n$ such that $A^{n}=0$. An operator is called quasi-nilpotent iff
$$
\limsup_{n\to\infty}{ \|A^{n}\|^{1/n}}=0.
$$
Every ...
- 3,626
8
votes
1
answer
453
views
Singularity structure of integrals of rational functions
Suppose I have a convergent integral of the form $\int_0^1dx_1\dots\int_0^1 dx_n \frac{P(x_i)}{Q(x_i)}$, where $P$ and $Q$ are polynomial functions of $n$ nonnegative real variables $x_i$. Let the ...
- 373
8
votes
1
answer
1k
views
Applications of the Theorem of Gelfand-Naimark
Hi,
I am interested in the correspondence of algebraic results about C(X) (the space of continuous functions $X\to {\mathbb C}$(complex numbers) or $X\to {\mathbb R}$(real numbers) and topological ...
- 891
8
votes
1
answer
431
views
Injectivity for bimodules and Hochschild cohomology
Let $A$ be a Banach algebra and let $X$ be an $A$-bimodule. Is there a notion of (relative) injectivity for $X$ which would imply that $\mathcal{H}^n(A,X)$ vanishes for all $n\ge 1$? Here $\mathcal{H}^...
user2412
8
votes
1
answer
920
views
Looking for references talking about category of topological vector spaces
It's known that category of topological vector spaces is not abelian but quasi-abelian or exact category. I am looking for the references playing with this category(category theory). All the related ...
- 5,515
8
votes
2
answers
915
views
Group homomorphisms and maps between function spaces
Let G and H be locally compact groups, and let $\theta:G\rightarrow H$ be a continuous group homomorphism. This induces a *-homomorphism $\pi:C^b(H) \rightarrow C^b(G)$ between the spaces of bounded ...
- 18.7k
8
votes
1
answer
381
views
Estimating flat norm distance from a planar disc
Let $D\subset\mathbb R^2\subset\mathbb R^n$ be a unit planar disc in $\mathbb R^n$. Let $S$ be an orientable two-dimensional surface in $\mathbb R^n$ such that $\partial S=\partial D$. Of course, we ...
- 32.4k
8
votes
1
answer
600
views
Can we perturb a map $\mathbb{R}^n \to \mathbb{R}^n$ to have distinct singular values?
$\newcommand{\SO}[1]{\text{SO}(#1)}$
$\newcommand{\dist}{\operatorname{dist}}$
Let $\mathbb{D}^n$ be the closed $n$-dimensional unit ball, and let $f:\mathbb{D}^n \to \mathbb{R}^n$ be smooth.
Set
$$...
- 6,741
8
votes
1
answer
2k
views
Definitions of Hilbert Bundles
I have some doubts regarding definitions and conventions on Hilbert Bundles. Some authors like Peter Kuchment (Floquet Theory for Partial Differential Equations) and Serge Lang (Differential and ...
8
votes
2
answers
785
views
Is taking the product of signed measures weakly continuous?
For a Polish space $X$, let $C_b(X)$ denote the real Banach space of bounded continuous real-valued functions on $X$. Let $M(X)$ denote the space of all finite signed Borel measures on $X$, equipped ...
- 29.8k
8
votes
2
answers
690
views
Topological characterization of injective metric spaces
Let $\ (X\ d)\ \,(Y\ \delta)\ $ be arbitrary metric spaces. A function $\ f:X\rightarrow Y\ $ is called a metric map (with respect to the given metrics $\ d\ \delta$) $\ \Leftarrow:\Rightarrow\ \...
- 7,500
8
votes
1
answer
455
views
Closure of $L(\ell^2,\ell^2)$ in $L(\ell^2,\ell^\infty)$
Let $\ell^2$, $\ell^\infty$ denote the usual sequence spaces and let $L(\ell^2,\ell^2)$ the Banach space of bounded linear operators from $\ell^2$ to $\ell^2$ as well as $L(\ell^2,\ell^\infty)$ the ...
- 261
8
votes
1
answer
894
views
Certain compact subset of $L_1$
Let $(\Omega,\Sigma, \mu)$ be a probability measure and $X$ a Banach space. I am interested in subsets $F\subseteq L_\infty (\mu,X)$ that satisfy these two compactness conditions:
$F$ is a norm-...
- 900
8
votes
1
answer
1k
views
Ring of continuous functions, reference request.
I am looking for a reference for the following facts in functional analysis and topology. (If these "facts" are not true, I suppose I'm looking for the closest approximation which is true.)
Let $X$ ...
- 13.3k
8
votes
1
answer
678
views
Spectral theory of pseudo-differential operators
Consider a finite rank complex bundle $E$ over $S^1$ with connection $\nabla$. Let $Q_0, Q_1 \in C^\infty(S^1, E)$ be pseudo-differential operators. $Q_0$ is defined by the symbol $\sigma_0(x, \xi) =...
8
votes
1
answer
390
views
Order bounded version of monotone complete $C^*$-algebras
Let $A$ be a $C^*$-algebra with self-adjoint part $A_{\operatorname{sa}}$. Then $A$ is called monotone complete if every increasing norm bounded net in $A_{\operatorname{sa}}$ has a supremum (with ...
- 12.6k
8
votes
1
answer
491
views
Functional equation with Fourier transform and $\frac{1}{x} f(\frac{1}{x}) $
What are the continuous functions $f$ such that on $\mathbb{R}^{+*}$, they satisfy following functional equation:
$$\int_0^\infty f(t) e^{-itx} \, dt =\lambda \frac{1}{x} f\left(\frac{1}{x}\right)$$
$\...
- 1,199
8
votes
1
answer
726
views
First variation in $L^2$ sense of the square of the Wasserstein metric
Let me consider the functional $\mathcal{F}(\rho)=\mathcal{W}_2^2(\mu,\rho)$ defined in in the space of absolutely continuous probability measures $\mathcal{P}_{ac,2}(\Omega)$, where $\mathcal{W}_2^2$ ...
- 145
8
votes
1
answer
277
views
Noncommutative Fredholm operators
Let $A$ be a unital $C^*$-algebra and $F:H_A\rightarrow H_A$ a Fredholm operator on the standard Hilbert $A$-module $H_A:=l^2(A)$. Is it true that $\mbox{ker}(F)$ and $\mbox{coker}(F)$ are finitely ...
- 99
8
votes
1
answer
302
views
Does every integer map generate a von Neumann algebra of type I?
Consider a map $m: \mathbb{N} \to \mathbb{N}$ (we call it an integer map). Let $E_r$ be the set $m^{-1}(\{r\})$.
Let $H$ be the Hilbert space $\ell^2(\mathbb{N})$ and consider the densely defined ...
8
votes
1
answer
386
views
Lower bound for $\frac{\sum_{i,j}\min((f_i-f_j)^2,(g_i-g_j)^2)}{\sum_{i,j}\max((f_i-f_j)^2,(g_i-g_j)^2)}$
Let $f\in\mathbb{R}^n$ and $g\in\mathbb{R}^n$ be two orthogonal unit vectors such that $\sum_{i}{f_i}=\sum_{i}{g_i}=0$.
Question. Can we prove this?
$$\frac{\sum_{\{i,j\}}\min((f_i-f_j)^2,(g_i-...
- 519
8
votes
1
answer
635
views
Is the Jordan decomposition of a self-adjoint functional constructive?
Let $A$ be an abstract C*-algebra, and let $\varphi\colon A \rightarrow \mathbb C$ be a bounded linear function. Assuming the axiom of choice, there exist unique positive bounded linear functions $\...
- 974
8
votes
1
answer
716
views
A non-hyperfinite type III factor from an action of the free group on the circle
We define below a von Neumann algebra $\mathcal{M}$ from an action of the free group on the circle, and we prove that $\mathcal{M}$ is a non-hyperfinite type ${\rm III}$ factor.
Question : Is $\...
8
votes
1
answer
2k
views
Taylor Series and Fourier Series [closed]
Taylor series expansion of function, f, is a vector in the vector space with basis: {(x-a)^0, (x-a)^1, (x-a)^3, ..., (x-a)^n, ...}. This vector space has a countably infinite dimension. When f is ...
- 81
8
votes
2
answers
819
views
Decomposition of an integral operator into a composition
I've been musing about the following question for a while now. Given an integral operator $G$ defined by
$$ (Gf)(x) = \int_0^1 G(x,u) f(u)\,du $$
Is it possible to decompose this into two separate "...
- 757
8
votes
1
answer
1k
views
Spectra of a Symmetric Toeplitz Operator
For a physics application, I would like to be able to compute the eigenvalues of the linear operator (acting on the Hilbert space $\ell^2$) given by an infinite matrix of the form
$\begin{bmatrix}
...
- 81
8
votes
1
answer
245
views
Spectral decomposition of $\Gamma\backslash X$
Let $X$ be a reasonable manifold of non-positive curvature (could be $\mathbb{H}^n$, symmetric or locally symmetric space, homogeneous Hadamard manifold etc.), and let $\Gamma$ be a reasonable group ...
- 81
8
votes
1
answer
136
views
A relative Kuiper theorem
Let $(H_0, \langle \,,\,\rangle_0)$ be a real separable Hilbert space,
and let $(H_1, \langle \,,\,\rangle_1)$ be a Hilbert space such that $H_1 \subset H_0$ is dense and such
that the inclusion $(...
8
votes
1
answer
485
views
An inequality related to Riesz–Thorin theorem, determinants and $L_p$ norm
Let $a, b, c \in \mathbb{R}^n$ , $p \in [1, +\infty)$, prove that
$$\left( \sum_{1\leq i < j <k \leq n} \left| \det\left(\begin{matrix} a_i & b_i & c_i \\
a_j & b_j & c_j \\
...
- 563
8
votes
1
answer
584
views
Tensor products of unitary irreducible representations of $SU(2,2)$
What is known about irreducible decomposition of tensor products of (infinite-dimensional) unitary irreducible representations of $SU(2,2)$ (or, more generally, simple groups of split rank greater ...
- 1,488
8
votes
1
answer
502
views
Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?
Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...
8
votes
1
answer
392
views
Proving that a space is Hilbert
Let $H=H_0^1(0,\ell)\times H_*^1(0,\ell)\times H_*^1(0,\ell)$ be equipped with the norms
\begin{align*}
\|(\varphi,\psi,w)\|_1^2&=A\|\varphi_x+\psi+lw\|_{L^2}^2+B\|w_x-l\varphi\|_{L^2}^2+C\|\psi_x\...
- 171
8
votes
1
answer
453
views
C* algebras of Almost Periodic Functions
Suppose we take, for example, the $C^*$-algebra which is the sup norm closure of the exponentials $e^{2 \pi i ax}$ where $a \in \mathbb{Z} + \theta \mathbb{Z}$ for $\theta$ an irrational number. This ...
- 1,010
8
votes
1
answer
420
views
What is the general form of the duality transform for the Fock space?
I am interested in properties of the symmetric Fock space, looked at via the associated Wiener space. It is well known that for a Hilbert space $k$, the symmetric Fock space $$\mathcal{F}(L^2(\mathbb{...
- 81
8
votes
1
answer
1k
views
Is there a regular Dirichlet form with no associated Feller process?
I'm reading Dirichlet Forms and Symmetric Markov Processes by M. Fukushima, Y. Oshima, and M. Takeda (hereafter, [FOT]). In Chapter 7, where they discuss the construction of a Markov process ...
- 29.8k
8
votes
0
answers
115
views
optimal regularity for the Neumann heat equation on Lipschitz domains
$\newcommand{\R}{\mathbb R}$Let $\Omega\subset\R^d$ be a bounded Lipschitz domain, possibly non-convex (but not too nasty either, whatever that means). I am looking for well-posedness and optimal ...
- 5,380
8
votes
0
answers
103
views
Sobolev embedding theorems in vector bundles on non-compact manifolds
Let $(M,g)$ be a smooth (not necessarily compact) Riemannian $n$-manifold. It is well-known that dealing with Sobolev spaces in the general non-compact case becomes tricky, since for instance, there ...
- 1,429
8
votes
0
answers
177
views
Understanding spaces of negative regularity
I apologize if this question is too basic for this site, but I posted it on mathSE and did not get any responses (link can be found here) so I'm crossposting it here.
Let $C^k(\mathbb{R}^n$) be the ...
- 721
8
votes
0
answers
192
views
Is $L^2(I,\mathbb Z)$ homeomorphic to the Hilbert space?
I am somehow puzzled by the subset $G:=L^2(I,\mathbb Z)$ of $H:=L^2(I,\mathbb R)$ of all integer valued functions on $I=[0,1]$ (in fact I mentioned as an example in this old MO question).
Some simple ...
- 60.6k
8
votes
0
answers
135
views
A geometric intuition about convexifiability
I've come up with the following conjecture about convexifiability being determined by "important" sets in Banach spaces. To me, the conjecture looks quite innocuous and intuitive, but I'm ...
- 81
8
votes
0
answers
246
views
A question related to the separable quotient problem
I have the following question related to the previous posts Hereditarily indecomposable Banach spaces and Separable Quotient problem and Weak star separable and separable quotient problem
Question....
- 986
8
votes
0
answers
695
views
In need of help with parsing non-Archimedean function theory
My current work revolves around studying functions from the $p$-adic integers to the $q$-adic rationals, where $p$ and $q$ are distinct primes ("$(p,q)$-adic functions", as I call them). I'...
- 1,284
8
votes
0
answers
189
views
Bi-exact groups and amenable actions on their compactifications
As defined in C$^∗$-algebras and finite-dimensional approximations by Brown and Ozawa, a discrete countable group $\Gamma$ is bi-exact if its action on $C(\Delta\Gamma):=C(\bar\Gamma)/c_0(\Gamma)$ is ...
8
votes
0
answers
362
views
The many theories of integration
Diclaimer: In what follows, I will be loose in the usage of terminology since the very nature of the question is of a similar flavour.
In the mathematics literature, one can find a zoo of theories of ...
- 183
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
8
votes
0
answers
196
views
History of the Lewis-Stegall theorem on factorization of representable operators
The following questions are about the history of a particular result in functional analysis, hence not "mathematical questions" per se; but I think they are relevant to the business of ...
- 25.8k
8
votes
0
answers
251
views
Smoothness of solution map for PDE
I am wondering what sort of results are available for the following sort of problem, or where to look in the literature for work dealing with such problems, especially in the degenerate elliptic ...
- 2,247
8
votes
0
answers
182
views
Distribution domination for sums of independent random variables in Banach spaces
Let $X$ be a Banach space and let $(\xi_n)$ and $(\eta_n)$ be independent mean-zero random variables with values in $X$ satisfying
$$
\sum_n \mathbb P(\xi_n \in A) \leq \sum_n \mathbb P(\eta_n \in A),
...
- 131