All Questions
10,935 questions
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.5k
5
votes
0
answers
214
views
Elliptic regularity and Sobolev spaces
Consider a linear partial differential operator $D:C^{\infty}(\mathbb{R}^{d})\to C^{\infty}(\mathbb{R}^{d})$, i.e.
$$D=\sum_{\alpha\in\mathbb{N}^{d}}a^{\alpha}(x)\partial^{\alpha}_{x}$$
where $a$ are ...
- 1,429
45
votes
1
answer
2k
views
Existence and uniqueness of Haar measure on compacta; a cohomological approach
I am trying to use a modification of group cohomology to prove the existence and uniqueness of Haar measure on a compact Hausdorff group.
I think the best way of introducing the idea I am pursuing is ...
user30211
1
vote
1
answer
120
views
Sobolev-type estimate for irrational winding on a torus
Let $\mathbb{T} = \{ (x, y) \in \mathbb{R}^2 \}/_{x \mapsto x + 1, y \mapsto y + 1}$ be a real 2-torus. Let $\mathscr{C}^{\infty}_0(\mathbb{T})$ be the subset of $\mathscr{C}^{\infty}(\mathbb{T})$ of ...
- 227
2
votes
0
answers
164
views
$H^s$-mild solution for Navier–Stokes : why do we restrict attention to the function spaces "without Fourier zero mode"? (Related to Terence Tao blog)
This question has been triggered by the Definition 32 and Remark 33 in the blog of Terence Tao.
There, every function space is restricted to ones without the Fourier zeroth mode. And the Remark 33 ...
- 3,477
2
votes
0
answers
83
views
Closed form solutions to polynomial operator equations
To the best of my knowledge the problem at hand is a generalisation of monic matrix polynomials. Can a closed form solution to the following equation be found,
$$u_3A_3X^3B_3 + u_2A_2X^2B_2 + ...
2
votes
0
answers
102
views
Orthogonal representation of free products of two groups
Suppose $A$ and $B$ are two countable, discrete, amenable groups. One definition of amenability tells us that there is a sequence of finitely supported, positive definite functions that converges to 1 ...
- 301
7
votes
3
answers
1k
views
Condensed Pontryagin duality
Has Pontryagin duality been extended to condensed abelian groups? The obvious approach being to define $\hat M$ as the internal hom to the circle group. Is it true that $\hat{\hat M}=M$ with this ...
user473423
6
votes
1
answer
249
views
Existence of adjoint operators on manifolds
Let $(M,g)$ be an oriented Riemannian manifold and $V$ a finite-rank vector bundle equipped with a non-degenerate bundle metric $\langle\cdot,\cdot\rangle_{V}$. This bundle metric, in turn, gives rise ...
- 1,429
1
vote
1
answer
113
views
The Fourier projection mappings $\{ P_N \}$ form an equicontinuous family of linear maps on $E'(S^1)$ as well?
Let $S^1=\mathbb{R}/\mathbb{Z}$ and define the Fourier projection operator $P_N$ for each $N \in \mathbb{N}$ as
\begin{equation}
P_N(f)=\sum_{n=-N}^N \langle f, e_n \rangle_{L^2} e_n
\end{equation}
...
- 3,477
13
votes
0
answers
174
views
Existence of more than two C*-norms on algebraic tensor product of C*-algebras
Let $A$ and $B$ be two C*-algebras. Then $(A,B)$ is called is a nuclear pair if there is a unique $C^*$-norm on the algebraic tensor product $A\odot B$.
If $A$ or $B$ is nuclear, then all pairs $(A,B)$...
- 536
2
votes
0
answers
170
views
finite dimensionality of a subspace of a Banach space
Let $H$ be the space of measurable functions on $(0,1)$ such that
$$ \|u\|_{H}^2 = \int_0^1 x^2\,|\partial_x u|^2\,dx + \int_{0}^1 |u|^2\,dx <\infty.$$
Let $C>0$ be a constant. Suppose that $W \...
- 4,153
3
votes
0
answers
111
views
What is known about the analytic continuation of Maz'ya's modified harmonic zeta function $\sum_{n=1}^{\infty} e^{-zH_n}$?
Question:
If we let $H_n = \sum_{k=1}^{n} \frac{1}{k}$ be the harmonic numbers then we can consider the modified zeta function
$$ f(z) = \sum_{n=1}^{\infty} e^{-zH_n } = \sum_{n=1}^{\infty} e^{-z(\ln(...
- 2,689
17
votes
3
answers
2k
views
Is every Schwartz function the product of two Schwartz functions?
A Schwartz function on $\mathbb R^d$ is a $C^\infty$ function, such that all differentials of order $k \ge 0$ decay faster than any polynomial. They include the class $C^\infty_c(\mathbb R^d)$ of ...
- 475
2
votes
0
answers
28
views
Monotonicity of the rank of finitely generated closed sublattices
Let $E$ be a Banach lattice. We consider finitely generated elements in the class of all closed sublattices of $E$. Let $F$ be a closed sublattice $E$. Then a subset $G \subseteq F$ is called ...
- 467
2
votes
1
answer
281
views
Global control of locally approximating polynomial in Stone-Weierstrass?
Let $X=\mathbb{R}$, and $\mathcal{A}:=\mathbb{R}[x]$ be the subalgebra (of $C(X)$) of univariate polynomials.
Given $\varphi\in C_b(X)$ and $K\subset X$ compact, we know from Stone-Weierstrass that
$$\...
- 463
1
vote
1
answer
128
views
Compare the weight of $p\vee q$ and that of $p+q$
Let $M$ be a von Neumann algebra.
If it has a semifinite faithful normal trace $\tau$, then we have $\tau(p\vee q)\le \tau(p)+\tau(q)$.
However, for the weight (even a faithful normal state) $\omega$ ...
- 617
-2
votes
1
answer
217
views
If a continuous function is differentiable at a point, is it differentiable in some neighborhood around that point? [closed]
This seems like it should be true but I was wondering if anyone could prove it. Thanks!
- 109
4
votes
1
answer
121
views
Ext groups of locally convex topological vector spaces
Suppose I work over $\mathbb{C}$. Is it known for which locally convex topological vector spaces $V$, we have $\text{Ext}^i(V, \mathbb{C})=\{0\}$ for all $i>0$, working with the type of Ext groups ...
- 1,180
2
votes
1
answer
189
views
Equivalent characterization of weak derivative in Bochner space
Let $H$ be a hilbert space. A function $v\in L_\text{loc}^1(0,T;H)$ is called the weak derivative of $u \in L_\text{loc}^1(0,T;H)$ iff
$$ \int_0^T u(t) \varphi'(t) \, dt = -\int_0^T v(t) \varphi(t) \, ...
- 75
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
1
vote
0
answers
135
views
Conformal laplacian on asymptotically flat manifolds with boundary
Let $g$ be an asymptotically flat metric on $M = \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball.
Suppose $X$ is a smooth vector field on $M$ that is decaying exponentially and satisfies
$$\...
- 969
1
vote
1
answer
88
views
Bounded $C_0$-semigroups on barrelled spaces are equicontinuous
I have the following question: Let $X$ be a barrelled locally convex space (every absolutely convex, absorbing and closed set is a neighborhood of zero) and let $(T(t))_{t\geq0}$ be a $C_0$-semigroup, ...
- 129
4
votes
0
answers
169
views
Square hidden number problem
Suppose I have a mystery number $m$ modulo $p$ that I wish to find. I know the value of $m+x_i^2$ where $x_i$ is randomly chosen modulo $p$ for some large number of different $x_i$, $N$ many, $N \gg \...
- 591
0
votes
0
answers
28
views
Metric entropy of mixed norm spaces with exponent-free bounds
Suppose $\mathcal{F}\subset L^p([0,1]^d)$ is a subset with the following property: The $L^q$-covering number of $\mathcal{F}$ is independent of $q$, for all $1\le q\le\infty$. An example of $\mathcal{...
- 21
0
votes
0
answers
55
views
Johnson-Lindenstrauss type result for matrix factorization
The type of result I want is: given matrix $A\in \mathbb{R}^{m\times n}$ and error tolerance $\epsilon$, what is a lower bound on $k$ such that $\|A - UV\|_{??}\le \epsilon$, where $U \in\mathbb{R}^{m\...
7
votes
1
answer
1k
views
Eigenvalues and eigenfunctions of the Laplace operator on entire plane
According to the answers in the the following questions: How to prove the spectrum of the Laplace operator? and What is spectrum for Laplacian in $\mathbb{R}^n$ , the spectrum of the Laplace operator $...
- 597
1
vote
0
answers
89
views
Definition of second quantization
The standard textbook for second quantization is Reed & Simon. However, I am a bit confused with their notation. They write:
Let $\mathscr{H}$ be a Hilbert space, $\mathcal{F}(\mathscr{H})$ the ...
- 1,305
2
votes
0
answers
78
views
Array-determined operator ideals
For a Banach space $X$, we, of course, know what it means for a sequence to be weakly null (to converge to zero in the weak topology).
An array in the Banach space $X$ is a sequence of sequences, $(...
- 121
2
votes
0
answers
119
views
Limit of a distribution using Hörmander’s theorem
Let $\alpha \in \mathbb{C}$. I want to prove that
$$ (e^{i2\theta}\xi_1^2 + \xi_2^2 + \dots + \xi_n^2)^{-\alpha} \longrightarrow (Q(\xi)-i0)^{-\alpha}, $$
in $D’(\mathbb{R}^n\setminus \left\{0\right\})...
- 319
0
votes
1
answer
92
views
Continuous selectors of a continuous multifunctin on a compact metric space
I am currently working on a continuous selector problem of multifunctions. I am trying to figure out if a continuous multifunction defined on a compact metric space always admit a continuous selector.
...
- 79
13
votes
2
answers
2k
views
When can we divide continuous functions?
Let $X$ be a compact Hausdorff topological space such that for every continuous $f,g:X\to\mathbb{R}$ with $0\le f\le g$ there is a continuous $h:X\to\mathbb{R}$ such that $f=gh$.
What can be said ...
- 5,529
7
votes
1
answer
653
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
4
votes
0
answers
129
views
Trace-class heat semigroups
Let $(M,g)$ be a compact Riemannian manifold and $\Delta_g$ its Laplace operator.
Let $\varphi$ be a test function on $\mathbf{R}_{>0}$. We define the operator on, say, $L^2(M)$
$$T_{\varphi}(u) :=...
user516086
7
votes
2
answers
398
views
Quantifying difficulty of integrals versus inverses
Recently, I have been discussing inverses with a tenth grade class and integrals with an eleventh/twelfth grade class, and this has led me to the following wonder:
Wonder. Is there a "reasonable&...
- 7,831
4
votes
1
answer
248
views
Fourier coefficients of Selberg polynomials
In Montgomery's "Ten Lectures on the Interface Between Number Theory and Harmonic Analysis" a bound for the Fourier coefficients of the Selberg polynomial $S^+_K$ is obtained by using what ...
- 3,625
0
votes
0
answers
97
views
Amenability of $\textrm{w}_0(A)$ for a $C^*$-algebra $A$
Let $A$ be a $C^*$-algebra with only finite dimensional irreducible representations. As in a previous question, let $\textrm{w}_0(A)$ denote the subspace of $\ell^{\infty}(A)$ consisting of all weakly ...
- 2,605
3
votes
2
answers
102
views
Reference for Wiener type measure on $C(T)$ when $T$ is open
I'm considering Gaussian process on open domain $T$ in $\mathbb{R}^n$ and I tried to follow the abstract Wiener space construction of Gross. Since my sample paths are meant to be continuous, I thought ...
- 163
3
votes
0
answers
89
views
Cylindrical Wiener processes or SPDE that can make use of Banach valued rough paths?
Rough paths theory has an often advertised perk that it mostly works for general Banach spaces. I am trying to think of some nice examples that actually use this feature, and am coming up stuck.
The ...
- 193
2
votes
0
answers
97
views
Is the Leray projection continuous with respect to the Frechet topology of smooth periodic vector fields in $3$ dimensions?
Let $\mathbb{T}^3:=(\mathbb{R}/\mathbb{Z})^3$ be the $3$-torus and $C^\infty(\mathbb{T}^3,\mathbb{R}^3)$ be the Frechet space of smooth periodic vector fields on $\mathbb{T}^3$.
By Helmholtz ...
- 3,477
2
votes
0
answers
95
views
Self adjoint operators from energy functionals
It is known that the equation
$$
\Delta f = 0
$$
on some bounded domain $\Omega$ on $\mathbb{R}^n$ subjected to certain boundary conditions can be derived through the minimization of the Dirichlet ...
- 115
4
votes
1
answer
311
views
Conormal distributions and the wave front set
Let $X$ be a smooth closed manifold and $Y$ a regular submanifold. For all conormal distributions at $Y$ on $X$, their wave front set is contained in the conormal bundle of $Y$. Is the reciprocal true?...
20
votes
2
answers
7k
views
Question about functional derivatives
This page on Wikipedia defines the so-called functional derivative as follows: "Given a manifold $M$ representing (continuous/smooth) functions $\rho$ (with certain boundary conditions, etc.) and a ...
- 3,535
7
votes
2
answers
419
views
A counterexample showing $BV_p \neq AC_p$
I am trying to work through a supposedly simple counterexample given in papers by Love and Gehring regarding a $p$-power generalization of bounded variation and absolute continuity.
Let $p > 1$. ...
- 217
1
vote
1
answer
143
views
$L^1$ error between indicator function and smoothed out version
For a large parameter $r>0$, consider the indicator function $1_{[-r,r]}$ and its convolution with the (normalized) Gaussian $\frac{1}{\sqrt{\pi}}e^{-x^2}$, that is,
$$f_r(x) = \frac{1}{\sqrt{\pi}}\...
- 101
1
vote
1
answer
157
views
On the additive property of the subdifferential of lower semicontinuous functions
Let $f:\mathbb R\to\mathbb R$ be a lower semicontinuous function, we define the Fréchet subdifferential of $f$ at $x\in\mathbb R$ by
$$\partial^F f(x):=\left\{L\in\mathbb R: \liminf_{v\to0}\frac{f(x+v)...
- 299
1
vote
1
answer
100
views
Is there literature on the existence of solutions to elliptic systems on unbounded manifolds?
Most of the current literature I've seen is either for compact Riemannian manifolds or unbounded subsets of Euclidean space. In this article, the authors consider a priori bounds on such systems on ...
- 419
4
votes
0
answers
242
views
On the Dunford-Pettis property and multiplier algebras
I am not an expert in operator algebras, so if the answer to this question might be trivial, that might be one reason for that:
Let $\mathcal{A}$ be a $C^\ast$-algebra. Then $\mathcal{A}^{\ast \ast}$ ...
4
votes
1
answer
228
views
Diagonalizing selfadjoint operator on core domain
Let $A$ be a densely-defined, positive, self-adjoint operator with compact resolvent on a Hilbert space $H$. Then, $\text{Range}(1+A)=H$ and there is a basis for $H$ consisting of eigenvectors of $1+A$...
- 143
1
vote
1
answer
119
views
weakly separated sequences in RKHS are separated by Gleason metric
I am reading Agler and McCarthy's Pick Interpolation and Hilbert Function spaces. In Chapter 9, the authors ask to observe that weakly separated in a Reproducing kernel hilbert space implies separated ...
- 151