All Questions
10,826 questions
9
votes
1
answer
639
views
Prove J.L. Lions’s Lemma without using Fourier transform
When I read the book Linear and Nonlinear Functional Analysis with Applications, I came across J.L. Lions's Lemma (the book doesn't give a proof), which states
Let $\Omega \subset \mathbb R^n$ be a ...
- 807
9
votes
1
answer
346
views
Is there a uniform solution of the Ruziewicz problem?
For any integer $n\geq 2$ there is one and only one (up to rescaling) rotation-invariant, finitely-additive measure on the Lebesgue $\sigma$-algebra of $S^n$.
The proof of this statement I'm aware of ...
- 91
9
votes
1
answer
526
views
Pontryagin dual of the surreal numbers?
Has any work been done on the Pontryagin dual of the surreal numbers (suitably topologized)? I have not been able to find anything and am not sure if this is still unknown.
Alternatively, has this ...
- 4,907
9
votes
1
answer
957
views
A problem in functional calculus
This is embarrassing, I think it must work, but I can't see how to prove it works. If anyone knows enough functional calculus of operators on a Hilbert space to tell me how to do it, I would be very ...
- 1,143
9
votes
2
answers
706
views
Measures whose projections are absolutely continuous
Since my question was not answered on MSE, I would like to ask it here.
Let $\mu$ be a finite Borel measure on the plane. Does there exist a characterization of the property that almost all (wrt ...
- 452
9
votes
1
answer
1k
views
A question concerning separate and joint continuity of bilinear maps
Suppose that $V$ is a locally convex topological vector space and $f:V^2 \to V$ is a bilinear map. Suppose that $C \subseteq V$ is compact and convex, $f$ maps $C^2$ into $C$ and
$f \restriction C^2$ ...
- 3,547
9
votes
1
answer
996
views
Topological "Interpolation" ?
Let E be a normed space, and let $T$:E * $\rightarrow$ E * be
a nonlinear operator.
Suppose that :
1) $T$ is continuous from (E *, ||.||) to itself (i.e., it is norm-continuous).
and
2) $T$ is ...
- 4,060
9
votes
1
answer
611
views
opposite Banach space
I heard this from Haskell Rosenthal many years ago.
If V is a complex vector space, say the opposite of V is the complex vector space with the same elements, the same operations except switch scalar ...
- 41.1k
9
votes
2
answers
418
views
Reference request: Parabolic Equations
I am a PhD student working mainly on Elliptic Equations. With the other PhDs of my department, we organised a reading group, meaning that we agreed on a book we were all interested in, we meet weekly ...
- 452
9
votes
2
answers
516
views
Why operator systems?
A $\mathrm{C}^*$-algebra $\mathcal{A}\subset B(\mathsf{H})$ is a norm-closed, self-adjoint subalgebra of bounded operators on a Hilbert space. If we then take a unital self-adjoint (possibly closed) ...
- 1,037
9
votes
1
answer
202
views
Literature request: Schatten class difference of semigroups
Let $\mathcal{H}$ be a Hilbert space and $A,B$ two operators on it (not necessarily self-adjoint) such that $A, A+B$ are generators of strongly continuous one parameter semigroups $e^{-tA},e^{-t(A+B)}$...
9
votes
1
answer
499
views
Subspaces of $L^2(0,1)$ dense on every truncation $L^2(c,1)$
It may be better to move this to a separate question.
Let me call a linear subspace $V \subset L^2(0,1)$ to be tame if, for every linear subspace $W \subset V$, either $W$ is dense in $L^2(0,1)$, or ...
- 13.8k
9
votes
1
answer
481
views
Does the Banach space $( \ell ^2 \oplus \ell ^2 )$ have F.P.P?
The space $( \ell^2 ,\lVert \cdot \rVert _2 )$ is a Hilbert space. The space
$X=(\ell^2 \oplus \ell^2 , \lVert \cdot \rVert_\infty )$ is a Banach space. Does X have fixed point property? (For any ...
- 327
9
votes
2
answers
308
views
Explicit proof that $c_0$-module $\ell_\infty$ is not projective
It is well known in narrow circles that the homological dimension (in the sense of relative Banach homology) of $c_0$-module $\ell_\infty$ is 2. As the corollary, this module is not projective. This ...
- 1,697
9
votes
1
answer
636
views
Is there a characterization of the Hausdorff measures?
It is known that there is a unique measure on the Borel $\sigma$-algebra of $\mathbb{R}^n$ such that the measure of the rectangle $\prod_i [a_i,b_i[$ is $\prod_i (b_i-a_i)$. This is the Lebesgue ...
- 1,035
9
votes
2
answers
848
views
$\zeta$-function regularized determinants
In (mathematical) physics in order to compute path integrals one often makes an infinite dimensional change of variables and uses infinite Jacobian as a purely formal expression. This step is done in ...
- 21.8k
9
votes
1
answer
299
views
Sequence of nested sets in $[0, 1]$ with bound on gaps
What is the best possible $\epsilon$ and sequence $(a_n)_{n = 1}^\infty \subset [0, 1]$ we can find such that
$$
d_{N}:=\sup_{x\in [0,1]}\inf_{n=1}^N |x-a_n|\leq \frac{1+\epsilon}{N}
$$
for all $N\in ...
user78817
9
votes
2
answers
907
views
When is a mapping the proximity operator of some convex function?
Is there a characterization of mappings $p : \mathbb R^n \rightarrow \mathbb R^n$ which are proximity operators (in the sense of Moreau) of l.s.c (extended) real-valued functions ?
That is, given $p : ...
- 6,853
9
votes
4
answers
1k
views
Boundedness of nonlinear continuous functionals
Let $K$ be the closed unit ball of $C[0,1]$, and let $f$ in $C(K,\mathbb{\, R})$.
Is it true that there exists an infinite dimensional reflexive subspace
$E$ of $C[0,1]$ s.t. $f(K\cap E)$ is bounded ?
...
- 4,060
9
votes
1
answer
708
views
Hilbert spaces are induced by a bilinear form. How about n-linear forms?
A Hilbert space is a complete vector space equipped with scalar product, i.e. a symmetric positive definite bilinear form.
What if we replace 'bilinear' by 'n-linear'? One might wonder, whether the $...
- 5,327
9
votes
1
answer
2k
views
When will the supporting hyperplane of a convex set coincide with the tangent?
Due to the supporting hyperplane theorem, a convex set $C$ in a separable topological space has supporting hyperplance at each of its boundary points. The theorem only guarantees its existence, now I ...
- 8,071
9
votes
4
answers
911
views
Can a $W^{1,2}$ map from the disk to the circle restrict to a degree one map on the boundary?
The restriction of a continuous map $D^2\to S^1$ to $\partial D^2\to S^1$ must have degree zero. Is that statement true or false if the map is only $W^{1,2}(D^2;S^1)$ and continuous on $\partial D^2$?
...
9
votes
1
answer
337
views
Can the Cesaro limit of a positive definite function be negative?
Let $G$ be a countable amenable group and $\gamma:G\to\mathbb{C}$ a positive (semi)definite function (i.e. such that $\gamma(g^{-1})=\overline{\gamma(g)}$ and
$$\sum_{g,h\in G}f(g)\overline{f(h)}\...
- 1,701
9
votes
2
answers
2k
views
Mathematical equivalent to ladder operators?
A powerful method in theoretical physics are ladder operators. They are used in QM to solve problems like the harmonic oscillator and the hydrogen atom. The idea is to solve with their help the ...
user37929
9
votes
1
answer
3k
views
How differentiable is the convolution of two continuous functions?
The question is really simple:
Given
$$
f, g\in C^\alpha_c(\mathcal{R}^d)
$$
is
$$
f*g\in C^d_c?
$$
I came up with a formal argument using the decay of the Fourier transform of continuous functions, ...
- 165
9
votes
3
answers
669
views
Duality relations for Lebesgue spaces of sections of vector bundles
Suppose $X$ is a topological space, and $\mu$ is a Borel measure on $X$. Also suppose we have an $n$-dimensional vector bundle $E \to X$, with an inner product $\langle \cdot,\cdot \rangle_x$ on the ...
user14166
9
votes
2
answers
1k
views
Rescaling positive definite matrices to force a unit eigenvector
Hello,
Let $X'X$ be a positive definite matrix and let $\mathbf{1}$ denote the vector of ones.
I'm hoping to construct a positive, diagonal matrix $W$ such that
$$(W X'X W) \mathbf{1} = \mathbf{1}$$...
- 193
9
votes
1
answer
758
views
Convergence of Schwartz kernels implies convergence of operators
Let $K$ be a smoothing operator on $\mathbb{R}^n$, i.e., it defines a map on all Sobolev spaces $K\colon H^r(\mathbb{R}^n) \to H^s(\mathbb{R}^n)$ for all $r, s \in \mathbb{R}$. Now (a variation of) ...
- 2,998
9
votes
1
answer
943
views
Removable sets for harmonic functions and Hardy spaces of general domains
Let $\Omega$ be a domain of the complex plane. The Hardy space $H^p(\Omega)$ is defined, for $1 \leq p<\infty$, as the class of functions $f$ that are holomorphic on $\Omega$ such that $|f|^p$ has ...
- 2,154
9
votes
1
answer
563
views
Peter–Weyl decomposition of a group representation rather than group algebra
Consider a finite or compact group $G$. The Peter–Weyl decomposition is usually formulated for the group algebra $\mathbb{C}[G]\simeq\bigoplus_i \operatorname{End}(V_i)$, where $V_i$ are the spaces of ...
- 1,731
9
votes
1
answer
242
views
On hereditarily reflexive Banach spaces
It was proved by W.B. Johnson and H.P. Rosenthal [Studia Math. 43 (1972), 77–92]
that every Banach space $X$ with $X^{**}$ separable is hereditarily reflexive:
every infinite dimensional closed ...
- 4,461
9
votes
1
answer
2k
views
Alternative proof of a theorem of Riesz
My question is not research level, but I have not received any feedback on Mathstack; so I am posting it here. I am aware of the traditional proof of the Riesz Theorem that relates linear functionals ...
- 263
9
votes
1
answer
698
views
Is this Hankel matrix in trace class
Let A be the infinite Hankel matrix with the coefficient
$$A_{kj}=e^{(-t(k+j)^2)}-e^{(-t(k+j+2)^2)},$$ with $t$ a nonnegative real number.
Is $A$ in trace class with a norm bounded by an absolute ...
- 93
9
votes
1
answer
462
views
Uniqueness up to isometric isomorphism of predual of $(\sum_{\lambda\in\Lambda} H_\lambda)_{l_\infty}$ where $H_\lambda$ are Hilbert spaces
This fact is an easy consequence of results of the paper Classes of Banach spaces with unique isometric preduals. by Leon Brown and Takashi Ito, but it looks like an overkill. Does anyone know a ...
- 1,697
9
votes
1
answer
596
views
Classical analogue of the Stone-von Neumann Theorem?
Let $U_s$, $V_t$ be a pair of continuous $n$-parameter groups ($n < \infty$) of unitary operators on a complex Hilbert space $\mathcal{H}$. The Stone-von Neumann Theorem establishes that any such ...
- 657
9
votes
1
answer
456
views
Embeddings of Sobolev-Orlicz spaces
The Birnbaum--Orlicz spaces generalize the Lebesgue spaces (see http://en.wikipedia.org/wiki/Birnbaum-Orlicz_space for a precise definition). The space $L_\Phi(\Omega)$ is defined for convex functions ...
- 52.3k
9
votes
1
answer
893
views
Perturbations of an operator that disconnect the spectrum
The following question came to me while working on a technical matter about transversality in infinite dimension, and I'm really curious to know whether it has an affirmative answer at least under ...
- 60.5k
9
votes
2
answers
429
views
Hermite–Fourier expansion for the median
Let $n$ be an odd positive integer. Let $M : \mathbb{R}^n \to \mathbb{R}$ be the median function: $M(x_1,\dots,x_n)$ is the median of $x_1,\dots,x_n$. What can be said about the Hermite–Fourier ...
- 24.7k
9
votes
1
answer
511
views
Do these surfaces intersect?
For any real numbers $a_{1},a_{2},\cdots a_{6}$ and $b_{1},b_{2},\cdots b_{6}$
with $\sum_{i=1}^{6}a_{i}^{2}=1$ and $\sum_{i=1}^{6}b_{i}^{2}=1$,
does the equation $$ x_{1}^{2}x_{2}^{2}x_{3}^{2}x_{4}^{...
- 91
9
votes
1
answer
3k
views
Is every finite Borel measure on a locally compact Hausdorff, $\sigma$-compact and separable space automatically regular?
The conditions stated in the question seem mouthful and a bit arbitrary, so let me provide some backgrounds.
Definition
Let $\mu$ be a Borel measure on a topological space. We say:
$\...
- 83
9
votes
1
answer
1k
views
Luxemburg norm as argument of Young's function: $\Phi\left(\lVert f \rVert_{L^{\Phi}}\right)$
Let $\Phi$ be a Youngs's function, i.e.
$$ \Phi(t) = \int_0^t \varphi(s) \,\mathrm d s$$
for some $\varphi$ satifying
$\varphi:[0,\infty)\to[0,\infty]$ is increasing
$\varphi$ is lower semi ...
- 193
9
votes
1
answer
1k
views
Traces of Sobolev spaces
Is there a simple proof of the following fact?
Theorem. Let $\Omega\subset\mathbb{R}^n$ be a bounded and smooth domain. If $n>2$, then $W^{1,n-1}(\partial\Omega)\subset
W^{1-\frac{1}{n},n}(\...
- 28k
9
votes
2
answers
1k
views
On the definition of "almost-everywhere" for non-complete measure spaces
If $(X,\mathcal{B},\mu)$ is a (non-necessarily complete) measure space, we can give two different notions of a property $P(x)$ that is true almost-everywhere :
(D1) There is a measurable set $A$ ...
- 549
9
votes
3
answers
2k
views
Real analyticity of solution of heat equation
Consider the heat equation $\partial_t u - \Delta u = 0, u(0, x) = u_0$ on a complete (non-compact) Riemannian manifold $M$, may be even $\mathbb{R}^n$. I was wondering, what are some known sufficient ...
- 1,407
9
votes
1
answer
1k
views
Sobolev space for Mixed Dirichlet - Neumann boundary condition
Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
- 253
9
votes
1
answer
210
views
Nonconventional ergodic averages for commuting transformations
Let $S$ and $T$ be commuting measure-preserving transformations of a standard probability space $(X,\mu)$, so $S$ and $T$ define an action of $\mathbb{Z}^2$ on $(X,\mu)$. I am wondering about ...
- 1,769
9
votes
1
answer
521
views
Which group algebras in analysis are "true group algebras"?
Let $G$ be a group, $A$ a unital associative algebra over ${\mathbb C}$, and let us call a representation of $G$ in $A$ an arbitrary map $\pi:G\to A$ such that
$$
\pi(1)=1,\qquad \pi(a\cdot b)=\pi(a)\...
- 7,426
9
votes
1
answer
338
views
Commuting nets for commuting projections
I think this should not be too difficult, but I am not an expert. I did not get an answer on stackexchange.
Let $A$ be a $C$*-algebra and let $p,q\in A^{**}$ be two commuting projections. Then there ...
- 633
9
votes
2
answers
308
views
Local-to-global inequalities for measures: Brunn-Minkowski, Ahlswede-Daykin, what else?
This question is motivated by an obvious formal analogy between two well-known inequalities:
Log-concavity and Brunn-Minkowski inequality
Let $\mu(dx) := m(x) dx$ be an absolutely continuous ...
- 4,010
9
votes
3
answers
2k
views
2-Wasserstein (optimal transport) and extension to the set of all signed measures
Consider the 2-Wasserstein distance between probability measures $\mu$ and $\nu$ (on $\mathbb{R}^d$), defined as
$$
d_{W_2}(\mu,\nu) = \inf_{\gamma} \Big[\int \|x-y\|^2 d\gamma(x,y)\Big]^{1/2}
$$
...
- 1,731