All Questions
738 questions
4
votes
1
answer
109
views
Dividing a spherical cap into three equal wedges
Background: Optimal ways to cut an orange.
In this problem, we have a spherical orange, and we do not wish to eat its central column which is modelled as a cylinder. Part of the procedure involves an ...
- 1,459
4
votes
2
answers
446
views
About Euclidean distances
$\newcommand\R{\mathbb R}$Let $0<d_1<\cdots<d_k<\infty$ and let $m_1,\dots,m_k$ be any integers $\ge1$. Let $n:=m_1+\dots+m_k-1$.
Let $d$ denote the Euclidean distance in $\R^n$.
Do then ...
- 128k
4
votes
2
answers
394
views
Is this projection on the boundary of a convex Lipschitz?
Let $C$ be a closed convex set of $\mathbb{R}^n$ $(n\geq 1)$, and $u\in\mathbb{R}^n\setminus\{0\}$ such that $u$ does not belong to the asymptotic cone of $C$ and is nowhere tangent to $\partial C$. ...
- 449
4
votes
1
answer
379
views
A constant ratio of integrals? Part I
Let $u(x)$ be a harmonic polynomial in the unit ball $B_1(0)\subset\mathbb{R}^n$ with $u(0)=0$.
For $0<r\leq1$, consider the average of its Dirichlet integral
$$A(r):=\frac1{\vert B_r(0)\vert}\int_{...
- 43.2k
4
votes
1
answer
266
views
Prove $\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-s} dz \approx dist(x,\partial \Omega)^{-s}$, $s \in (0,2)$
Let $\Omega \subset \mathbb R^N$ and $s \in (0,2)$. Under what assumptions on $\partial \Omega$ do we have
$$\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-s} dz \approx \mathrm{dist}(x,\partial \...
- 303
4
votes
0
answers
281
views
Dual space of ${\rm Lip}_0(\mathbb R^d)$
This question comes to me when I read this paper : https://arxiv.org/pdf/1702.06049.pdf
Let ${\rm Lip}_0(\mathbb R^d)$ be the space of Lipschitz functions $F$ on $\mathbb R^d$ with $F(0)=0$. Then is $...
user128095
4
votes
1
answer
288
views
$C^1$ function with a dense set of maximum values
Let $f: [0, 1] \to \mathbb R$ be a function on the unit interval. We say $y \in \mathbb R$ is a local maximum value of $f$ if $y = f(x)$ for some strict local maximum $x$ of $f$.
Question: Does there ...
- 6,205
4
votes
1
answer
279
views
Schroedinger operator in 2 dimensions with singular potential
Consider the Schroedinger operator
$$H = -\Delta + \frac{c}{\vert x \vert^2}$$
in two dimensions with $c >0$
This operator has a self-adjoint realization, since it is a positive symmetric operator ...
4
votes
1
answer
308
views
Adjoint of the multiplication operator on a Sobolev space
Let $f\colon\mathbb{R}^n\rightarrow\mathbb{C}$ be a bounded function with a bounded first derivative. Then the multiplication operator $H^1(\mathbb{R}^n)\ni x\mapsto A_f x:=fx\in H^1(\mathbb{R}^n)$ is ...
- 128k
4
votes
0
answers
140
views
Given $\theta$, find $f$ such that $\int_{\mathbb{T}} \text{e}^{i\theta} \cos(h \cdot f) = 0,$ for all $h \in \mathbb{N}$
Let $\theta$ be a $C^{\infty}$ (resp. analytic) real-valued function on $\mathbb{T}=[0,2\pi]/\{0,2\pi\}$.
When can one find $f \neq 0$, $C^{\infty}$ (resp. analytic) real-valued function on $\...
- 405
4
votes
0
answers
208
views
Extract this constant term
Given a Laurent polynomial $F$ in the variables $\mathbf{t}=(t_1,\dots,t_n)$, let $CT_{\vec{\mathbf{t}}}\,F$ denote its constant term.
For example, $CT_{t_1,t_2}((8t_1-\frac1{3t_1t_2})(5t_1t_2+t_2^2+\...
- 43.2k
4
votes
1
answer
227
views
Continuity upgrade for nonlinear maps
Let $E,F,G$ be topological vector spaces such that $F\subset G$ with continuous embedding.
By continuity upgrade I mean the following phenomenon: In some circumstances a continuous linear map $f:E\...
- 779
4
votes
2
answers
228
views
lower bound volume of a set
Let $\lambda$ be Lebesgue measure on [0,1]. For any $x_{1},\dots,x_{k}$ in $[0,1]$, define $$A(x_1,..,x_k):=\{(y_1,\dots,y_k)\in [0,1]^k: \text{there exist intervals }I_1,\dots,I_k \text{ in }[0,1]$$ ...
- 75
4
votes
1
answer
1k
views
Does the Lebesgue Differentiation Theorem hold for regular polytopes?
Lebesgue's differentiation theorem states that if $x$ is a point in $\mathbb{R}^n$ and $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a Lebesgue integrable function, then the limit of $\frac{\int_B f d\...
- 4,597
4
votes
1
answer
1k
views
seeking proofs: infinite series inequalities
Question. Numerically, the following is convincing. However, is there a proof?
$$\left(\sum_{k\geq1}\frac1{\sqrt{2^k+3^k}}\right)^4
<\pi^2\left(\sum_{k\geq1}\frac1{2^k+3^k}\right)\left(\sum_{k\...
- 43.2k
4
votes
0
answers
219
views
Is every supersmooth function a local polynomial?
This question is a follow up question to this question that I recently asked.
A $C^{\infty}$ function $f:(c,d)\rightarrow\mathbb{R}$ shall be called a local polynomial if whenever $f:(c,d)\rightarrow\...
4
votes
2
answers
3k
views
Chain rule for fractional laplacian
Does anyone know a formula of chain rule for fractional laplacian?
say we take the fractional laplacian of order a on function $g(U(x))$ $x\in \mathbb{R}^2$, $U \in \mathbb{R}$, $g \colon \mathbb{R} \...
- 41
4
votes
1
answer
875
views
comparing norms of tensor product of two Hilbert spaces
Suppose $H_1$ and $H_2$ are two Hilbert spaces with dimension $n$ and $m$, for $ x \in H_1 \otimes H_2$
consider $$\|x\|_\pi = \inf \left\{ \sum_{i=1}^n \|a_i\| \|b_i\| : x = \sum_{i} a_i \otimes b_i ...
- 41
4
votes
1
answer
143
views
Mean value of a function associated with continued fractions
Suppose that an irrational $x$ in $(0,1)$ has convergents $c(k,x)$, and let
$$d(x) = \sum_{k=0}^{\infty} \mid x - c(k,x)\mid.$$
What is the mean value of $d$?
- 3,443
4
votes
1
answer
1k
views
What is the value of the infinite product: $(1+ \frac{1}{1^1}) (1+ \frac{1}{2^2}) (1+ \frac{1}{3^3}) \cdots $? [closed]
What is the value of the following infinite product?
$$\left(1+ \frac{1}{1^1}\right) \left(1+ \frac{1}{2^2}\right) \left(1+ \frac{1}{3^3}\right) \cdots $$
Is the value known?
- 1,841
4
votes
1
answer
223
views
Asymptotics for 'generalized" Kasteleyn's formula
A follow up on an earlier MO question.
Kasteleyn's formula for the number of domino tilings of a $2n\times 2n$ square
$\prod_{j=1}^n\prod_{k=1}^n \left( 4\cos^2(\pi j/(2n+1))+4\cos^2(\pi k/(2n+1))\...
- 43.2k
4
votes
2
answers
846
views
Generalized Jordan theorem and winding number
By the generalized Jordan theorem any continuous injective map
$S^{n-1} \hookrightarrow R^n$ splits $R^n$ into two regions, one being bounded (interior) and the other one unbounded (exterior). It ...
- 1,875
4
votes
1
answer
204
views
Is there a density theorem for Banach measure?
Fix a finitely additive measure $\mu$ on $\mathbb R^2$ that is consistent with the Lebesgue measure. Does Lebesgue's density theorem hold for such a $\mu$, i.e., is it true that for every $A$ we have $...
- 18.9k
4
votes
2
answers
977
views
Articles with examples of Darboux functions without fixed points
A function $f: I \to J$ ($I,J$ intervals) has the Darboux property or the Intermediate value property if for every $a < b \in I$ and for every $\lambda$ between $f(a)$ and $f(b)$ there exists $c \...
- 2,222
4
votes
1
answer
417
views
Approximation of a $C^{\infty}_c$ function by tensor products
Suppose that $f \in C^{\infty}_c ( \mathbb{R}^2 )$, i.e. $f$ is a $C^{\infty}$ function with compact support defined on $\mathbb{R}^2$. The following link
Approximation of smooth compactly supported ...
- 357
4
votes
1
answer
92
views
Approximate a one-form on the disk with nowhere vanishing one-forms satisfying an asymptotic vanishing of some derivatives
Let $\mathbb{D}^2$ be the closed two-dimensional unit disk, and let $g:\mathbb{D}^2 \to \mathbb{R}$ be a non-constant harmonic function (smooth up to the boundary).
Does there exist a sequence of ...
- 6,741
4
votes
1
answer
222
views
A continuous bi-Lipschitz shrinking of a domain into a compact subset
Let $\Omega \subset \mathbb{R}^n$ be a bounded domain. My main problem/question is:
(1) Show there exist a sequence of bi-Lipschitz (i.e injective Lipschitz function with Lipschitz inverse) maps $F_n ...
- 401
4
votes
1
answer
369
views
Proving two inequalities involving the gamma and digamma functions
I'm having trouble proving the following inequality:
$$\forall p>1 \quad \forall m\geq 0 \quad \dfrac{m^2\Gamma(\dfrac{2m}{p})\Gamma(\dfrac{2m}{q})}{\Gamma(\dfrac{2m+2}{p})\Gamma(\dfrac{2m+2}{q})}\...
4
votes
2
answers
4k
views
Pointwise convergence for continuous functions
Let $f_n:[0,1]\rightarrow \mathbb R$ be a sequence of continuous functions converging pointwise, i.e. such that $\forall x\in [0,1]$, the sequence $(f_n(x))_{n\in \mathbb N}$ converges. We set $f(x)=\...
- 16.2k
4
votes
1
answer
251
views
Superadditivity of the lower density
Let $\mu^\star$ be a real-valued function defined on the power set of the positive integers $\mathbf{N}^+$ such that for all $X,Y\subseteq \mathbf{N}^+$ the following axioms hold:
(F1) $\mu^\star(\...
- 1,511
4
votes
1
answer
155
views
How do the balls maximizing the maximal function depend on their centers?
Let $\mu$ be a finite Borel measure on $\mathbb R^N$ and let $f\in L^1(\mu)$ be a non-negative function. Let $M_\mu f$ denote the maximal function of $f$ relative to $\mu$, i.e. $(M_\mu f)(x)=0$ if $\...
- 1,277
3
votes
1
answer
233
views
A special approximation of the Heaviside function
Is there a $C^m$ approximation $f_\epsilon$ of the Heaviside function such that
$$f_\epsilon(x) = f_1(x/\epsilon) = \begin{cases} 0 & \text{ if } x < 0 \\
1 & \text{ if } x/\epsilon \ge 1
\...
- 131
3
votes
1
answer
340
views
Shrinking a disk with fixed differential
Consider mappings $f$ from $\mathbb{R}^2$ to $\mathbb{R}^2$ with differential
\begin{align}
\mathsf{d} f= \begin{pmatrix}
\cos\psi(x) &\cos\phi(y) \\
\sin \psi(x)& \sin\phi(y)
\end{...
- 134
3
votes
1
answer
220
views
Looking for non-polynomial functions: with the growth condition: $\phi\big(\theta \frac{s}{t}\big) \leq \frac{\phi(s)}{\phi(t)}$
I am for example(s) of an invertible Convex or concave function $\phi: [0,\infty)\to [0, \infty)$ such that $\phi(0)=0$ and there exists $\theta>0$ and for all $s\leq t$ we have
\begin{align}\label{...
- 1,101
3
votes
1
answer
557
views
Is there real or complex analytic function whose positive real zeros are the primes?
Related to this question
Q1 Is there real or complex analytic function $f(x)$ such
that its positive real zeros are the primes and it is
given in closed form of compositions of already named ...
- 25.4k
3
votes
2
answers
2k
views
Expected gradient vs. gradient of expectation
Suppose a function $f(x): \mathbb R^d \mapsto \mathbb R^D$, and its stochastic approximator, $g(x; W): \mathbb R^d \mapsto \mathbb R^D$. Here $W$ is some random variable. Then $g(x; W)$ is unbiased in ...
- 205
3
votes
0
answers
1k
views
On new (purely analytic) perspective towards theory of prime numbers
[I'm going to ask this question very carefully as a question similar to this received a critical response on this platform.
I myself am very skeptical about this but I want to know, from the experts' ...
- 375
3
votes
1
answer
201
views
"Approximating" linear recursion with homogenous polynomial coefficients by linear recursion with constant coefficients
In a lecture I once attended, I remember the speaker using a result of the following nature:
$``$Let $\{A_n\}_{n=1}^\infty \subset \mathbb R$ be a sequence satisfying a recursion of the form
$$P(n) ...
- 739
3
votes
3
answers
427
views
Quantitative analytic continuation estimate for a function small on a set of positive measure
The following conjecture about analytic functions arose as a way to show the asymptotic growth for certain PDE solutions. As I am unfamiliar with any results of this type, I thought I'd ask here.
In ...
- 324
3
votes
1
answer
186
views
packing with special sets in high dimensional Euclidean space
Let $\lambda$ be Lebesgue measure on $[0,1]$. For $\mathbf{x}=(x_1,x_2,..,x_k)\in[0,1]^k$, define $$A(\mathbf{x}):=\{(y_1,\dots,y_k)\in [0,1]^k: \text{there exist intervals }I_1,\dots,I_k \text{ in }[...
- 75
3
votes
1
answer
248
views
"Lagrange inversion" around an extremum
Cross-posted from Math Stackexchange.
In an older question to which I provided an answer it was asked how to compute a particular limit involving the roots of a transcedental function around its ...
- 151
3
votes
1
answer
158
views
Explicit eigenvalues of matrix?
Consider the matrix-valued operator
$$A = \begin{pmatrix} x & -\partial_x \\ \partial_x & -x \end{pmatrix}.$$
I am wondering if one can explicitly compute the eigenfunctions of that object on ...
- 536
3
votes
1
answer
125
views
Relation between the local maxima and the local minima for approximating the generalized Laguerre polynomial
I have already asked my question in the link below:
Minima approximation for Laguerre polynomials
I have suggested to anyone to give me the approximations of the minima for the Laguerre polynomial, ...
3
votes
0
answers
237
views
Reference request: Darboux properties of real-valued set functions (measures, densities, etc.)
Fix a set $S$ and let $f: \mathcal P(S) \rightharpoonup \mathbf R$ be a real-valued partial function on the power set of $S$; denote by $\mathcal D$ the domain of $f$. We say that $f$ has:
(i) the ...
- 10.5k
3
votes
1
answer
304
views
Question abouth Skorokhod representation of random variables
It is known that for any two probability measures $\mu$ and $\nu$ on $\mathbb R$ that are close in the Prokhorov metric $\rho$, i.e.
$$\rho(\mu,\nu)<\varepsilon,$$
then there exist two random ...
- 1,835
3
votes
0
answers
232
views
When polynomial f(t+1/t) can be factored as g(t)·g(1/t)?
In venue of my old question When polynomial f(x^2) can be factored as g(x)·g(-x)? and this recent answer to a different question, I wonder:
How to characterize polynomials $f(x)$ with rational ...
- 34.3k
3
votes
1
answer
142
views
How does the integral of pseudo Gaussian kernel on $(0,\infty)$ depend on its variance?
Let $a, b: \mathbb R_+ \to [0,1]$ be continuous functions. Let $k: \mathbb R_+\times\mathbb R \to [1,2]$ be $1-$Lipschitz. Set, for $0<s<t$ and $y>0$,
$$A(s,t,y):=\int_s^t\frac{k(u,y)}{1+a(u)}...
user478492
3
votes
1
answer
251
views
Congruence modulo 2 for q-series
This quest arose from certain calculations with integer partitions (having distinct parts) and the corresponding values of their Dyson ranks.
I would like to ask:
QUESTION. Is this congruence true ...
- 43.2k
3
votes
0
answers
106
views
The behavior of an integral related to the inward normal vector near a point of the boundary of a domain
Inspired by this Q&A, I am asking for what kind of non-smooth domains $D$ the following limit
$$
\lim_{r \to 0}\frac{1}{m(D \cap B(x,r))}\int\limits_{D \cap B(x,r)}\frac{z-x}{r}\,m(dz)
$$
where
$...
- 6,367
3
votes
0
answers
306
views
Metric analogues of bounded variation
A function $f:[a,b]\to\mathbb{R}$ is said to be of bounded variation if
$$ \sup_I \sum_{i=1}^n |f(x_i)-f(x_{i-1})| \le V $$
for some finite $V>0$, where the supremum is over all finite partitions
$...
- 6,541