All Questions
10,240 questions
7
votes
1
answer
283
views
Kolmogorov superposition on the Hilbert Cube
A result of Kolmogorov and Arnold says that continuous functions on $\mathbb{R}^n$ can be represented as sums of the form
$$ f(x_1,\dots,x_n)=\sum_{q=0}^{2n}\Phi_q\left(\sum_{p=1}^n\phi_{p,q}(x_p)\...
- 13.1k
7
votes
1
answer
853
views
Weak*-convergence of signed measures
Let $X$ be a compact Hausdorff space and let $M(X)$ denote the space of signed measures that is naturally dual to $C(X)$, the space of continuous functions on $X$. I am interested whether the ...
- 105
7
votes
2
answers
219
views
Characterizing pseudo-differential operators as a subalgebra of continuous endomorphisms of tempered distributions
I'm aware that the following question is at best a refined version of at least 2 questions which are already on this site. I think it is justified however in that it is more precise and has some new ...
- 7,799
7
votes
1
answer
209
views
Is a Sobolev map with smooth minors smooth on the whole domain?
Let $d\ge 3$ and $2 \le k \le d-1$ be integers, where at least one of $k,d$ is odd. Let $\Omega \subseteq \mathbb{R}^d$ be open, and let $f \in W^{1,p}(\Omega,\mathbb{R}^d)$, for some $p \ge 1$.
...
- 6,741
7
votes
2
answers
998
views
Uniform continuity of heat semigroup
I would like to illustrate my question with an example:
It is well-known that $\Delta$ is the generator of a strongly continuous semigroup $(T(t))$ on $L^2(\mathbb R^n),$ i.e. the heat-semigroup.
It ...
- 536
7
votes
1
answer
429
views
Open projections and Murray-von Neumann equivalence
Let $\mathcal{A}$ be a $C^*$-algebra and $p\in\mathcal{A}^{**}$ be an open projection, that is, $p=p^*=p^2$ and $p\in\overline{(p\mathcal{A}^{**}p\cap\hat{\mathcal{A}})}^{\operatorname{w}^*}$, where $\...
- 619
7
votes
1
answer
311
views
Homomorphism to multiplier algebra of groupoid $C^\ast$-algebra
If I have a functor $X\to Y$ between topological groupoids with appropriate Haar measures, such that $X_0 \to Y_0$ is injective and a homeomorphism onto its image, then I should have (or rather, I ...
- 35.5k
7
votes
1
answer
272
views
Simple $C^*$ algebras with invariant subspace property
Edit: According to the valuable comment of Yemon Choi I revise the question by replacing "faithful" with "irreducible".
We say that a $C^*$ algebra $A$ satisfies the invariant subspace ...
- 366
7
votes
1
answer
861
views
Composition of a smoothing operator with an $L^2$-bounded operator, non-compact Riemannian manifold
I'm trying to close in on a definitive answer to my own question BVPs for elliptic PDOs: When do Green functions ($L^2$ inverses) define pseudo-differential operators in the interior?, and think I ...
- 159
7
votes
1
answer
624
views
Expectation involving maximum of Gaussian variables
Let $X\sim N(0, I_d)$ be a $d$-dimensional Gaussian random vector. Let $W_1, \ldots, W_k \in \mathbb{R}^d$ be $k$ fixed vectors in general positions. It is clear that $w_i^\top X, \ldots, w_k^\top X$ ...
- 1,127
7
votes
1
answer
489
views
When the value of a function in a point is equal to its integral average over the point's neighborhood?
It is well-known that the harmonic functions have this remarkable Averaging Property: if $f$ is harmonic in a domain $U \subset R^n$, then, for any point $x \in U$, $f(x)$ is equal to the integral ...
- 91
7
votes
1
answer
606
views
Weak* continuity of positive parts, again
Bill Johnson pointed out to me yesterday that the map $$f \mapsto f^+ = \max(f,0)$$ is not weak* continuous on $l^\infty$. Nonetheless, I think I can prove that if $V$ is a linear subspace of $l^\...
- 42.8k
7
votes
1
answer
747
views
Application of Factorization Theory to Oscillatory Integral Estimates
In the article "Some New Estimates on Oscillatory Integrals" by Bourgain in the book Essays in Honor of Elias M. Stein, Bourgain considers operators of the form
$$S_{N}g(x):=\int_{\mathbb{R}^{n}}g(y)e^...
- 873
7
votes
1
answer
5k
views
Definitions of negative order Sobolev spaces
I am having a problem with the definition of the space $W^{-k,p}$. I use Adams's definition
$$
W^{-k,p} = \left\{T \in D'(\Omega) \ \middle| \sum \limits_{0 \leq |i| \leq k} (-1)^{|i|} \int_{\Omega} ...
- 71
7
votes
1
answer
909
views
Proof of a Fourier pair with Bessel functions?
How can we prove that the Fourier transform of the function
$$
f(x)
=
\begin{cases}
(a^2-x^2)^{c/2} BesselJ[c,b\sqrt{a^2-x^2}] & \text{for }x^2 < a^2\\
0 & \text{otherwise}
\end{cases}
$$
...
- 71
7
votes
1
answer
306
views
An indicator of a planar subset as an element of a tensor product
Denote $I=(0, 1)$, and let $\mu$ be the Lebesgue measure on $I$. Does there exist a function $f$ on $I\times I$ viewed as an element of the space $L^\infty(\mu\times\mu)$ such that
$$
f^2=f
$$
(that ...
- 452
7
votes
3
answers
713
views
Can one show that the dual of a quasi-Banach space separates points without explicitly identifying the dual?
I'm interested in a question regarding the identification of some duals of quasi-Banach spaces.
However, I'm not familiar with the quasi-Banach literature, so I'm hoping somebody can point me in the ...
user14166
7
votes
2
answers
7k
views
Dual operators between Hilbert spaces: with or without Riesz representation
Let $X$ and $Y$ be Hilbert spaces over the real numbers (so complex conjugation plays no role, and everything will be linear in the strict sense). Let $f : X \rightarrow Y$ be a linear continuous ...
- 5,327
7
votes
1
answer
571
views
Categorical duals in Banach spaces
Near the bottom of the nlab page for Banach space I see "To be described: duals (p+q=pq)".
Are $(\mathbb{R}^n)_p$ and $(\mathbb{R}^n)_q$ dual objects in the closed symmetric monoidal category of ...
- 25.2k
7
votes
1
answer
654
views
Extending Hölder functions
I originally asked this question on MathStackExchange some time ago, but it seems that MathOverflow would be more appropriate. Essentially, I would like to find references for extension theorems for (...
- 820
7
votes
1
answer
331
views
A metric characterization of Hilbert spaces
In the Wikipedia paper on Hadamard spaces, it is written that every flat Hadamard space is isometric to a closed convex subset of a Hilbert space. Looking through references provided by this Wikipedia ...
- 42k
7
votes
1
answer
361
views
What is the analogue of the Jacobi theta function in the Weyl representation?
It is known (see for example the associated Wikipedia entry) that the Jacobi theta function
$$\vartheta(z; \tau) = \sum_{n\in\mathbb{Z}} \exp(\pi in^2\tau + 2\pi inz)$$
arises from a certain ...
- 171
7
votes
1
answer
762
views
Feynman-Kac formula for the GFF
The Feynman-Kac formula says that $$ \exp(-t(-\Delta+V(X)))(x,y) = \mathbb{E}_{\gamma(0)=x,\gamma(t)=y}\left[\exp(-\int_0^t V\circ\gamma)\right] $$ where $\Delta$ is the Laplacian on $L^2(\mathbb{R}^n)...
- 396
7
votes
1
answer
403
views
Why are we interested in operators that share a basis of eigenfunctions?
I hope this is an appropriate question for this forum. If not, I apologize. Before stating my question (which may be found at the end of this post), I will attempt to provide sufficient context.
I ...
- 185
7
votes
2
answers
552
views
Cut norm versus $l_1$ norm
Let $K$ be the set of $n\times n$ matrices with zero diagonal entries and such that the sum of all entries is zero.
The cut norm of a $n\times n$ matrix $M$ is:
$$
cut(M) = \sup_{S, T, S\cap T = \...
- 2,772
7
votes
1
answer
1k
views
Products of functions in fractional-order Sobolev spaces
It is well known that $\|fg\|_s \lesssim \|f\|_{s_1} \|g\|_{s_2}$ for functions $f: {\mathbb R}^n \rightarrow {\mathbb R}$ under certain conditions on $s$, $s_1$, $s_2$ (i.e. $s_1$, $s_2 \geq s$ and $...
- 91
7
votes
1
answer
682
views
Characterisation of Sobolev Spaces on manifolds of bounded geometry via geodesic coordinates
I have a reference request concerning equivalent norms on Sobolev Spaces on manifolds of bounded geometry. This may be obvious to the experts but I am not working in the field and only want to use ...
- 71
7
votes
1
answer
269
views
Derive an orthonormal system by Riesz basis $\{g(\cdot-\lambda_k),\ \lambda_k\in\mathbb R, \ k\in\mathbb Z\}$
Let $\{g(\cdot-k),k\in\mathbb Z\}$ be a Riesz basis, and let $\varphi\in L^2(\mathbb R)$ be a function defined by its Fourier transform
$$\hat{\varphi}(\xi)=\frac{\hat{g}(\xi)}{\Gamma(\xi)},$$
where
$$...
- 297
7
votes
1
answer
1k
views
Chain rule for weakly differentiable functions
Given are $f\in L^1(\mathbb R^n)$, $f>0$, such that $\log f\in L^1_{\mathrm{loc}}(\mathbb R^n)$ and $\nabla \log f = g$ in the sense of distributions, with $g\in L^1_{\mathrm{loc}}(\mathbb R^n)\cap ...
- 459
7
votes
1
answer
1k
views
Inductive/Projective Limits of Topological Algebras
It is common to form inductive/projective limits of Banach/Frechet spaces in order to come up with natural topologies for common vector spaces. For instance,
For $k \ge 0$ and $K_n$ compact ...
- 71
7
votes
1
answer
537
views
Multivariate Maximal Hilbert Transform
One way to define the maximal Hilbert transform of a function, $f$, is by
$$\mathcal{H}[f](x):=\sup_{\varepsilon>0} \left| \int_{|x-t|\geq\varepsilon} \frac{f(t)}{x-t} \, dt\right|, \quad x\in\...
- 228
7
votes
1
answer
390
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
683
views
Is there a generalization of Sobolev spaces for certain locally compact groups?
I'm interested in knowing how far and how general the theory of Sobolev spaces has been developed. Classically, $H^k(U)$ for $U$ a subset of $R^n$ is given by derivatives up to order $k$ being square ...
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