All Questions
5,909 questions
7
votes
5
answers
514
views
Probability of $\operatorname{Bin}(n,p)=\operatorname{Bin}(n,q)$ is decreasing when $n$ increases
$\newcommand{\Bin}{\operatorname{Bin}}$I would like to show that $\mathbb P(\operatorname{Binomial}(n,p) = \operatorname{Binomial}(n,q))$ decreases when $n$ increases for a fixed pair $(p,q)$. This ...
- 243
5
votes
1
answer
174
views
Do the zeroes of some hypergeometric functions interlace?
Confluent hypergeometric functions differing from $F={}_1F_1(a,b,z)$ by $\pm1$ in either parameter $a$ or $b$ are called contiguous to $F$. For rational $a, b$, assume I know $z_0$ is a zero of $F$. ...
0
votes
0
answers
73
views
An example of a groupoid that satisfy the following hypothesis
In the paper titled, 'Tannaka–Krein duality for compact groupoids I, Representation theory', the author proves the Peter Weyl theorem on compact groupoids. In the statement, he gives the hypothesis ...
2
votes
1
answer
839
views
Does $\int_{\mathbb R^d} (1+|x|^{1 + \alpha}) \ell (x) \, d x < \infty$ imply $\int_{\mathbb R^d} (1+|x|) |\ell (x)|^{1-\alpha} \, d x < \infty$?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$. Let $\ell : \bR^d \to \bR_+$ be a continuous function such that
$$
\|...
- 825
6
votes
3
answers
852
views
Almost everywhere-periodic functions with many periods
Let $f : \mathbb{R} \to \mathbb{R}$ be a Lebesgue measurable function and $D$ be a countable dense subset of $\mathbb{R}$.
Suppose that for a.e. $x \in \mathbb{R}$ we have
\begin{equation*}
f(x + d) = ...
0
votes
1
answer
128
views
Characterizing the integral as a function of $n$
Let $\alpha \in [0,3], \beta \geq 1, \lambda \geq 1$ and fix $n \in \mathbb{N}$. Consider the function $f(x;\alpha, \beta, \lambda) = x^{\alpha}\exp(-\lambda x^\beta)$. Let $I(n; \alpha,\beta,\lambda) ...
- 25
7
votes
1
answer
580
views
Sobolev spaces are smooth? Their dual is strictly convex?
Do you know any reference which says something about the:
Smoothness of the Sobolev space $W^{1,p}(\Omega)$ i.e. if the duality mapping $J\colon W^{1,p}(\Omega)\to W^{1,p}(\Omega)^*$ is a singleton.
...
- 1,759
1
vote
1
answer
130
views
Existence of solutions to a series of integral equations
I am trying to solve the following integral equation analytically:
$$
\sum_{n \geq 1} \left( \int_0^te^{-n^2(t-s)} f_n(s) \, ds \right) = g(t), \quad t \in [0, T],
$$
where $(f_n(t))_n$ is the unknown ...
- 617
9
votes
8
answers
1k
views
$n$-th derivative of $\exp\left(-\frac{\lambda(x-\mu)^2}{2\mu^2x}\right)$
Let $\lambda$ and $\mu$ be two positive real numbers and let denote $f$ the function defined as:
$$\forall x>0,~f(x):= \exp\left(-\frac{\lambda(x-\mu)^2}{2\mu^2x}\right).$$
I am struggling to find ...
- 393
4
votes
1
answer
551
views
Is there an explicit, everywhere surjective $f:\mathbb{R}\to\mathbb{R}$ whose graph has zero Hausdorff measure in its dimension?
Suppose $f:\mathbb{R}\to\mathbb{R}$ is Borel. Let $\text{dim}_{\text{H}}(\cdot)$ be the Hausdorff dimension, and $\mathcal{H}^{\text{dim}_{\text{H}}(\cdot)}(\cdot)$ be the Hausdorff measure in its ...
- 63
0
votes
0
answers
46
views
What's the problem in using spanning Bessel sequences that are not frames to decompose vectors?
This is related to a question I recently asked on math.SE.
Consider a subset $G\equiv \{g_k\}_{k\in\mathbb{N} }\subseteq\mathcal H$ in a separable Hilbert space $\mathcal H$, and suppose $G$ spans the ...
- 342
13
votes
0
answers
711
views
Minimizing total variation under constraint
For $p\in[0,1]$, we write $\mathrm{Ber}(p)$
to denote the Bernoulli measure on $\{0,1\}$;
that is, $\mathrm{Ber}(p)(0)=1-p$,
$\mathrm{Ber}(p)(1)=p$.
For $n\in\mathbb{N}$ and $p=(p_1,\ldots,p_n)\in[0,1]...
- 6,541
0
votes
0
answers
100
views
Construct a bi-Lipschitz mapping that maps a cube to a ball which has the same center with the cube
A mapping $f: \mathbb{R}^n\to \mathbb{R}^n$ is said to be $K$-bi-Lipschitz, $K>1$, if
\begin{equation*}
\dfrac{1}{K}\leqslant \dfrac{|f(x)-f(y)|}{|x-y|}\leqslant K,
\end{equation*}
for any $x,y\in \...
- 69
9
votes
1
answer
492
views
Dispersion points of Lipschitz functions
For a function $f: \mathbb R^n \to \mathbb R^m$ with $m < n$, we say that $x \in \mathbb R^n$ is a dispersion point of $f$ if
$$\liminf_{y \to x} \frac{|f(y) - f(x)|}{|y - x|} > 0.$$
Question: ...
- 6,321
2
votes
0
answers
121
views
On mollifiers acting between $L^2$ and Sobolev spaces
(I'm reposting here this question from MSE as it didn't receive any answer for two weeks.)
Consider a sequence of finite lattices in $\mathbb{R}^n$ defined by
$$L_k= [-k,k]^n \cap 2^{-k}\cdot \mathbb{...
- 557
2
votes
1
answer
120
views
Difference between finite partial sums from two divergent series
Fix a sequence $(r_i)_{i\in\mathbb{N}} \subseteq (0, 1)$ such that $\lim_i r_i=0$ and $\sum_{i\in \mathbb{N}} r_i=\infty$. According to the answer in this post, for any $c>0$ there exists $N,M\in\...
- 307
0
votes
1
answer
170
views
Summation of binomial coefficients with alternating signs
For a fixed $\alpha > 1$ and integer $n$, I want to provide some bounds or scaling results for the following summations
$$S_1(n,\alpha) = \sum_{k = 1}^{n} {n \choose k} (-1)^{k + 1} k / (\alpha k + ...
- 25
4
votes
1
answer
54
views
Krein-Rutman for integral transforms: proof of convergence to leading eigenvector
Disclaimer: This is a question in functional analysis, on which I don't have much background. It arose from me trying to prove on my own a folklore result in probability theory.
Consider an integral ...
- 312
5
votes
0
answers
190
views
Number of discrete Lipschitz functions with given Lipschitz constant
Fix $T, K, N \in \mathbb Z_+$. How many distinct Lipschitz functions $f: \{0, \dots, T\} \to \mathbb Z$ are there with Lipschitz constant $K$, and supremum norm at most $N$ satisfying $f(0) = 0$?
In ...
- 6,321
8
votes
0
answers
103
views
Sobolev embedding theorems in vector bundles on non-compact manifolds
Let $(M,g)$ be a smooth (not necessarily compact) Riemannian $n$-manifold. It is well-known that dealing with Sobolev spaces in the general non-compact case becomes tricky, since for instance, there ...
- 1,429
5
votes
1
answer
279
views
Is there a theorem which provides conditions under which a power series satisfies the reciprocal root sum law?
Kalman - Six ways to sum a series discusses Euler's original proof for the Basel problem $\sum\limits_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6} $:
$$\frac{\sin(\sqrt x)}{\sqrt x} = 1- \frac{x}{3!}+ \...
- 541
6
votes
1
answer
817
views
Is the $L^\infty$ norm of the derivative the same under the Hausdorff and Lebesgue measure?
Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure, and $\|f\|_{L^\infty (\mathcal H^k)}$ denotes the $L^\infty$ norm of a function $f$ with respect to $\mathcal H^k$.
Let $\Omega$...
- 6,321
1
vote
2
answers
209
views
Approximate simple function $f$ by a sequence of continuous functions on $\mathbb{R}^d$ such that $\|f_n\|_\infty\leq \|f\|_\infty$
Let $f=\sum_{i=1}^n c_i 1_{\Delta_i}$ be a simple function on $\mathbb{R}^d$, where $c_i\in\mathbb{C}$. Then we can find sequnces of continuous functions $\{f_k^{(i)}\}$ for each $i=1,\ldots,n$ such ...
- 29
11
votes
1
answer
954
views
Can a differentiable function have everywhere discontinuous derivative?
For $n \geq 2$, let $f: \mathbb R^n \to \mathbb R$ be differentiable. Is it possible that $\nabla f$ is everywhere discontinuous?
I believe in dimension $1$, $\nabla f$ has to be continuous on a dense ...
- 6,321
4
votes
1
answer
217
views
$2$ continuous, commuting functions doesn't always have a common fixed point
The question is as such:
If two continuous mappings $f$ and $g$ of a closed interval into itself commute, that is, $f\circ g=g\circ f$, then they do not always have a common fixed point.
-- Zorich ...
- 183
3
votes
0
answers
219
views
Strictly contracting solutions to the Eikonal equation on Riemannian manifolds
Given a Riemannian manifold $M$, we say $f: M \to \mathbb R$ is a strict contraction if $|f(x) - f(y)| < |x - y|$ for all distinct $x, y \in M$.
Question: Does there exist, on every complete ...
- 6,321
15
votes
0
answers
244
views
Natural examples of Borel surjections without right inverse
As discussed in this question, in general a Borel surjection $f:\mathbb{R}\rightarrow\mathbb{R}$ may not have a Borel right inverse, namely a $g$ such that $f\circ g=id$, although there is always a ...
- 623
3
votes
1
answer
176
views
Question about Lebesgue Bochner spaces
Let $T>0$ and $\Omega\subset\mathbb{R}^N$ be a bounded domain. Also $p\in (1,\infty)$ is any number.
I know that $u\in L^{p}((0,T);L^p(\Omega))$ and $\nabla u\in L^{p}((0,T);L^p(\Omega))^N$. How ...
- 1,759
2
votes
0
answers
58
views
$L^2$ approximation of delta functions on real algebraic varieties and asymptotic bounds
Let $X$ be a smooth projective variety over $\mathbb{C}$ of dimension $n$. Consider a probability measure $\mu$ on $X(\mathbb{R})$, absolutely continuous with respect to the Lebesgue measure induced ...
4
votes
0
answers
141
views
Condition under a function is uniquely identifiable by the supremum values
Let $f(x),g(x)$ be two real-valued functions on $\mathbb{R}$ and $h(x,y)$ be a real-valued function on the plane. We can assume continuity (maybe piecewise differentiability also) of these functions. ...
- 271
14
votes
3
answers
2k
views
Every function on reals a sum of two surjective real functions?
From this question, and the answer thereof, we can see that every real valued function on reals is a sum of two injective functions. Is the same true if we replace injectivity by surjectivity.
For ...
- 2,089
4
votes
0
answers
198
views
When a null uncountable set can be image of some increasing function with discontinuities on a dense countable set
Consider the following result:
A: Let $f:D \to \mathbb R$ be an increasing function with discontinuities on a dense countable subset of $D$ such that the jump values sum to $\mu(D)$, where $D$ is a ...
- 303
3
votes
1
answer
176
views
Convergence rate of the sum of squares of inverse distances of random points which become dense in a region
$n$ points $\{X_i\}$ are drawn at random from a uniform distribution over a domain $\Omega\subset \mathbb{R}^m$ with a Lipschitz boundary. $D_n$ is defined as $$D_n = \sqrt{\frac{1}{\sum\limits_{1\le ...
- 698
7
votes
1
answer
561
views
How are real numbers defined in elementary recursive arithmetic?
I am currently reading about elementary function arithmetic and Harvey Friedman's grand conjecture.
In Number theory and elementary arithmetic, Jeremy Avigad expressed Fermat's last theorem, ...
user507115
7
votes
1
answer
736
views
Should coffee machines be deconcentrated?
We model some region by convex and compact $E\subset \mathbb R^2$. $N\ge 1$ coffee machines are provided for the people living on $E$, of capacities $\alpha_1,\ldots, \alpha_N>0$. Assume the ...
- 1,399
3
votes
1
answer
158
views
How can discrete Fourier transform approximation prove the completeness of complex exponentials in $L^2(T)$?
I have a question about the completeness of complex exponentials in function spaces.
For the discrete set $ S = \{1, 2, \ldots, n\} $, it is clear and intuitive that $ e^{2\pi ikx/n} $ for $ k = 0, 1, ...
- 807
2
votes
1
answer
117
views
Special density on $L^2$
Let $\Omega\subset\mathbb{R}^N$ be a bounded domain, and $u\in L^2(\Omega)$ with $0\leq u(x)\leq 1$ a.e. on $\Omega$. It is well known that $C^{\infty}_c(\Omega)$ is dense in $L^2(\Omega)$. Because $C^...
- 1,759
6
votes
1
answer
413
views
Analyticity of $f*g$ with $f$ and $g$ smooth on $\mathbb{R}$ and analytic on $\mathbb{R}^*$
Suppose that we have two real functions $f$ and $g$ both belonging to $\mathcal{C}^\infty(\mathbb{R},\mathbb{R})$ analytic on $\mathbb{R}\setminus\{0\}$ but non-analytic at $x=0$. Is the convolution (...
- 393
4
votes
1
answer
255
views
Asymptotic behavior and of an integral on a d-dimensional torus
I am trying to evaluate the asymptotic behavior of the following integral as $t \to \infty$:
$$
I(t; \mathbf{v}) = \int_{[-\pi, \pi]^d} \frac{\sin(t f(\mathbf{k}))}{\sin(f(\mathbf{k}))} e^{i t \mathbf{...
- 81
0
votes
0
answers
52
views
References on a variant of Geometric Calculus
Geometric algebra and (standard) calculus, when synthesized, give rise to geometric calculus, a very powerful formalism.
I have read a bit about fractional calculus and time-scale calculus, both very ...
user537376
1
vote
1
answer
132
views
Can I find $n$ points on the boundary of an $n$-dimensional ball with certain properties?
My problem is the following: I want to construct $n$ rays all starting at a point $v$ that is not in the $n$-dimensional ball around $0$ such that the following is true:
The $n$-dimensional ball is a ...
2
votes
0
answers
65
views
Construct a differentiable function whose gradient has a prescribed modulus of continuity
$\newcommand{\bR}{\mathbb{R}}$
Let $\alpha := e^{-(1 + \sqrt{2})}$. We define the following modulus $\psi : \bR_+ \to \bR_+$ of continuity
$$
\psi (x) :=
\begin{cases}
0 &\text{if} \quad x =0 , \\
...
- 825
1
vote
1
answer
58
views
Proving one one condition for the Gaussian mixture model
$\textbf{Question:}$ Consider the following matrix representation for a two-component bivariate Gaussian Mixture Model (GMM):
$S = \begin{bmatrix}
A & X \\
X' & B
\end{bmatrix}$
where
$A = \...
- 123
6
votes
2
answers
225
views
On a trigonometric inequality by Huygens
The following inequality, ascribed to Huygens, appeared in this post:
\begin{equation*}
1-\frac43\,\frac{\sin^3\theta/2}{\theta-\sin\theta}
>(1-\cos\theta/2)\Big(\frac35-\frac3{1400}\frac{\...
- 128k
3
votes
0
answers
45
views
Small deviation asymptotics for sub-gaussian diffusions in dirichlet spaces
Let $(X,d,\mu)$ be a metric measure space equipped with a strongly local, regular Dirichlet form $(\mathcal{E}, \mathcal{D}(\mathcal{E}))$ on $L^2(X,\mu)$. Assume that the associated heat kernel $p_t(...
4
votes
1
answer
145
views
Asymptotic decay rate of an oscillator integral
Question:
I want to evaluate the decay estimate of the integral
$I^d(t; v) = \int_0^{\sqrt{d}\pi} dr \, r^{d-2} \int_0^\pi \sin(tr) e^{i\sqrt{d}vtr\cos\theta} \sin^{d-2}\theta \, d\theta $
for ...
- 81
10
votes
1
answer
518
views
Inverse function theorem for $W^{2,n}\cap W^{1,\infty}$ functions
Let $n\ge 2$, $f:B_1\subset \mathbb R^n\rightarrow \mathbb R^n$, $f\in W^{2,n}\cap W^{1,\infty}(B_1)$, $\text{det}(Df)>c>0$, where $B_1$ is the unit ball. Can we show that $f$ is a homeomorphism ...
- 435
1
vote
0
answers
46
views
Optimal transport and the geometry of singular measures on fractal Sets
Let $K$ be a self-similar fractal set in $\mathbb{R}^n$ with Hausdorff dimension $d < n$, equipped with a self-similar measure $\mu$ supported on $K$. Let $\mathcal{P}(K)$ denote the space of ...
- 11
6
votes
1
answer
197
views
On elliptic operators on non-compact manifolds
Let $(M,g)$ be a (connected, oriented) Riemannian manifold and $E$ some finite-rank $\mathbb{R}$- or $\mathbb{C}$-vector bundle equipped with some (positive-definite) inner product on the level of (...
- 1,429
6
votes
3
answers
750
views
Evaluating the infinite product $\prod_{k\geq 2}(1-\frac{1}{k^3})$
Does anyone know how to evaluate the infinite product
$$
\prod_{k = 2}^{\infty} \left( 1 - \frac{1}{k^3} \right)?
$$
I know that a generalized quadratic version has a nice closed form
$$
\frac{\sin(\...
- 10.4k