All Questions
13 questions from the last 7 days
4
votes
1
answer
273
views
Eigenvalue of a convolution and a restriction?
Let $\epsilon>0$ be small. Let $\eta(t) = \frac{2\epsilon}{\epsilon^2+(2\pi t)^2}$ (the Fourier transform of $x\mapsto e^{-\epsilon |x|}$). Let $V$ be the space of integrable, bounded functions $f:\...
2
votes
1
answer
140
views
Does this result above six points follow have a name?
Does this result above six points follow have a name?
Let $A$, $B$, $C$, $D$, $E$, $F$ be six points in the plane and $AB, CF, ED$ are concurrent and $BC, DA, FE$ are concurrent then $CD, EB, AF$ ...
2
votes
0
answers
224
views
A deceptively simple regularity problem for functions on the plane
By various meanderings and toying with simpler problems, my current research has lead me to the following quite straightforward question, which I am wholly unable to answer:
Consider a twice ...
1
vote
1
answer
139
views
Topology on topological spaces
The Gromov-Hausdorff metric makes the set of compact metric spaces into a metric space itself. I am wondering what some natural generalizations there are for arbitrary topological spaces. Namely, is ...
3
votes
0
answers
90
views
About BMO space on smooth open bounded domain
Let $\Omega$ be any open domain in $\Bbb R^d$.
Define the $\text{BMO}(\Omega)$ space as
$$ \text{BMO}(\Omega)= \big\{u\in L^1_{loc}(\Omega)\,\,:\,\, |u|_{\text{BMO}(\Omega)} <\infty \big\},
$$
...
2
votes
0
answers
77
views
Function that is (essentially) a self-convolution but not a multiple of a self-convolution
Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
2
votes
0
answers
104
views
Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support
This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction?
Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
3
votes
0
answers
82
views
+50
Tight upper bound for $m[Q^k - Q^{k+1}]$ for completely positive linear maps
Let $m: \mathcal{L}(\mathbb{R}^{d \times d}) \to \mathbb{R}$ be the function
$$
m[H] = \frac{\lambda_{\max}(H[\mathbf{I}])}{\lambda_{\max}(H)},
$$
where $\lambda_{\max}$ denotes the largest eigenvalue....
1
vote
0
answers
42
views
Converse of Scherk–Segre theorem on the number of vertices of a convex space curve
It is well known that any smooth simple closed convex curve $\gamma$ in $\mathbb{R}^{3}$ that meets no plane in more than 4 points has exactly 4 vertices, i.e., points of vanishing torsion; here "...
-3
votes
0
answers
66
views
Exercise generalizing (related to) Hölder's inequality
I came across this exercise and feel absolutely stuck:
Let $p, q, r \in (1, \infty]$ be such that $1/p + 1/q = 1 + 1/r$. Suppose that $F : \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ satisfies ...
0
votes
0
answers
64
views
$L_1$ norm of $f\in L^1(\mathbb{R}^n)$ compactly supported and its change of variable
Let $M\in\mathbb{R}^{n\times n}$ be an invertible matrix, denote its induced linear map on $\mathbb{R}^n$ also by $M$, and let $f\in L^1(\mathbb{R}^n)$ be compactly supported.
I am wondering if we can ...
1
vote
0
answers
21
views
On $N$-partition of some common subsets $\Omega\subset\mathbb R^d$
Let $\Omega\subset\mathbb R^d$ be compact and convex, and denote by $\ell$ the normalised Lebesgue measure such that $\ell(\Omega)=1$. Let $N$ be an arbitrary but fixed integer.
In this post we set $d=...
0
votes
0
answers
33
views
Request for resources on directional derivative of the Riemannian distance function, and Berger's lemma about geodesics realizing the diameter
I've been recently interested in directional derivatives of the Riemannian distance function, and I came across this question, and its answer by Sergei Ivanov, where he stated an important result: (I ...