All Questions
739 questions
1
vote
1
answer
87
views
Oscillating sums
Let $\left\{a_k\right\}_{0\leqslant k\leqslant n}$ and $\left\{b_k\right\}_{0\leqslant k\leqslant n}$ be two positive sequences such that $c_1a_k\leqslant b_k\leqslant c_2 a_k$ for all $k$ for some ...
- 539
1
vote
1
answer
471
views
k-th largest root in common interlacing polynomials
In their proof of the celebrated Kadison-Singer conjecture, Marcus, Spielman and Srivastava exploited so-called interlacing families which are originally defined for their work on Ramanujan graphs. ...
1
vote
1
answer
212
views
Lipschitz aspect of a projection on the boundary of a convex
Let $C$ be a closed convex set of $\mathbb{R}^n$ $(n\geq 1)$, with asymptotic cone $C^{as}$ having for interior $\text{Int}\big(C^{as}\big)$. Let $u\in\mathbb{R}^n\setminus\{0\}$ such that
\begin{...
- 449
1
vote
0
answers
244
views
Möbius function and polynomials
Let $\mu$ be the Möbius function. It is well known that $\sum_{n|k} \mu(n) = 0$ for $k>1$. What could be said about the polynomials $R_k = \sum_{n|k} \mu(n) x^n$ for $x \in [0,1]$? There does not ...
- 433
1
vote
1
answer
438
views
Some fun with special infinite nested radicals
Let us define the following functions:
$$f_n(x)=\sqrt{x^{n}-\sqrt{x^{n+1}- \sqrt{x^{n+2}-\cdots}}} $$
$$g_n(x)=\sqrt{x^{n}+\sqrt{x^{n+1}+ \sqrt{x^{n+2}+\cdots}}} $$
with $f(x)=f_1(x)$ and $g(x)=g_1(x)$...
- 3,098
1
vote
1
answer
387
views
$L^p$ compactness for a sequence of functions from compactness of product with cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
1
vote
0
answers
76
views
Geometric series involving the Laguerre polynomials
Let put $\alpha=5$ and $x=3$. Consider the following set given by
$$M=\lbrace \; n \in N, \; \; 0 < |L_{n}^{5}(3)| < 1 \; \rbrace$$
Where $L_{n}^{\alpha}(x)$ is the generalized Laguerre ...
1
vote
1
answer
426
views
$L^p$ compactness for a sequence of functions from compactness of cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
1
vote
1
answer
266
views
Constant bound for the 1 dimensional Besicovitch covering theorem on real line
I recently looked through the proof of the Gagliardo–Nirenberg Interpolation Inequality, see proof and it says that for real line $R$, there exists a sequence of open intervals $\{I_k\}$, which covers ...
- 65
1
vote
1
answer
117
views
Shrinking subset with disjoint unions
Given a segment and a value $c$ less than the segment length, let $A_1,\dots,A_n$ be disjoint finite unions of intervals on the segment. We choose a finite union of intervals $B$ with $|B|=c$ that ...
- 1,209
1
vote
0
answers
47
views
Another uniform estimation of an integral involving an Hölder function with derivative that is Hölder
Let $\Omega\subset\mathbb{R}^n$, let $s\in [1/2,1)$, let $u\in C^{1,2s-1+\epsilon}(\Omega)$ such that: $u=0$ on $\mathbb{R}^n\setminus\Omega$, and: $u\in C^{0,s}(\mathbb{R}^n)$, is true that there ...
- 339
1
vote
0
answers
120
views
Natural candidates for super-half-exponential which limit to half-exponential function from above
There are no closed form candidates for half-exponential functions "Closed-form" functions with half-exponential growth.
However super-half-exponentials (functions whose composition grows ...
- 1,826
1
vote
0
answers
416
views
When does a proper Zariski closed set have measure zero with respect to a conditional measure?
Assume we have a probability measure $\mu$ over $\mathbb{R}^d$ that is absolutely continuous with respect to Lebesgue measure.
Given $m$ polynomials $p_1,\ldots,p_{m}\in \mathbb{R}[x_1,\ldots,x_d]$ ...
- 61
1
vote
1
answer
171
views
Superharmonic extension 2
This question is a simplified version of the one in the MO post Superharmonic extension.
Suppose $K$ is a compact of $\mathbb{R}^m$ ($m\geq2$), and $U(x)=\log\frac{1}{|x|}$ if $m=2$, and $=|x|^{2-m}$ ...
- 411
1
vote
1
answer
319
views
Is $(f \ast K)'' \in L^1(\mathbb R)$ for $f \in L^1 \cap L^\infty(\mathbb R)$ and $K \in BV(\mathbb R)$?
Is it possible to deduce that $$(f \ast K)'' \in L^1(\mathbb R)$$ if $f \in L^1 \cap L^\infty(\mathbb R)$ and $K \in BV(\mathbb R)$? What I can prove is that $(f \ast K)' \in L^1 \cap L^\infty$. Is ...
- 131
1
vote
1
answer
176
views
A condition on the inequality $f'(x)/(1-f(x)^2)-1/(1-x^2)\ge 0$
Assume that $f:[0,1]\to [0,1]$ is an diffeomorphism so that $(f''(x)/f'(x))'<0$ and that $f''(0)=0$. It seems to me that $$\frac{1-f(x)^2}{1-x^2}\le f'(x)$$ on $[0,1]$. But no proof so far.
The ...
- 333
1
vote
1
answer
201
views
Does weak continuity of Jacobians hold for non nondegenerate maps?
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
Let $\M,\N$ be two-dimensional smooth, compact, connected, oriented Riemannian manifolds. (with or without boundaries).
Let $f_n \...
- 6,741
1
vote
1
answer
2k
views
About the coefficients of Taylor series for the complex Riemann Zeta function $\zeta(s)$
The following real-valued functions are closely related to the zeros of $\zeta(s)$ in the critical strip $\frac{1}{2}<\Re(s) < 1$.
$$\phi_1(\sigma, t) = \sum_{n=1}^\infty (-1)^{n+1}\frac{\cos(t\...
- 3,098
1
vote
1
answer
307
views
Convexity of discrete Fourier transform
Let $f : [0,2\pi] \to \mathbb{R}$ be a continuous convex function on $(0,2\pi)$ which is singular about $0$ and $2\pi$ but finite when evaluated at the boundaries. Assume also that $f$ is symmetric ...
- 595
1
vote
1
answer
119
views
A non-polynomial Young function satisfying a power-like condition
This post asked, essentially, for an example of a "non-polynomial" invertible increasing function $f\colon[0,\infty)\to[0,\infty)$ such that $f(0)=0$ and
\begin{equation}
f(cu)f(t)\le f(...
- 128k
1
vote
1
answer
236
views
What does Landau symbol mean in an inequality?
I'm reading about subdifferentiable function at page 232 of Villani's Optimal Transport: Old and New.
Definition 10.5 (Subdifferentiability, superdifferentiability). Let $U$ be an open set of $\...
- 835
1
vote
1
answer
192
views
Characterization of a subset of $[0,1]$
Let $T\subseteq[0,1]$ be a subset containing $1$. Now we know that $T$ satisfies the following property:
For every $t\in [0,1)$, if there exists a decreasing sequence $\{t_n\}_{n\ge 1}\subset T$ such ...
- 1,835
1
vote
1
answer
242
views
Can (how) one distinguish germs of continuous functions by a countable set of params?
Continuous functions can be distinguished by their values at say rational points of [0 1].
Germs of analytic functions can be distinguished by derivatives at a point.
So in both cases we see ...
- 24.9k
1
vote
0
answers
102
views
Real root isolation for exponential polynomials
Suppose we are given an exponential polynomial $f:\mathbb{R}\mapsto\mathbb{R}$
$$
f(t)=\sum_{i=1}^n p_i(t)e^{\lambda_i t}
$$
where $p_i(t)$s are polynomials with algebraic coefficients and $\lambda_i$...
- 1,503
1
vote
2
answers
889
views
Simplify Wasserstein distance between Gaussians with binary cost function
Let $\mu_1$ and $\mu_2$ be 1D gaussian distributions with means $m_1$ and $m_2$ respectively and common variance $\sigma$. Let $\Omega$ be a closed subset of $\mathbb R^2$, and consider the cost ...
- 6,853
1
vote
0
answers
186
views
Lipschitz continuity of an implicit function generated by a monotonic and Lipschitz multivariate function
Let $z=F(x,y)$ be a function from $\mathbb R^d\times \mathbb R$ to $\mathbb R$ satisfying the following conditions:
$z=F(x,y)$ is Lipschitz continuous w.r.t. $(x,y)$;
Given $x$, $F(x,y)$ is non-...
- 601
1
vote
1
answer
317
views
The continuous convergence given the a.e. convergence
Suppose that $f_n: \mathbb{R} \times [0,\infty) \to \mathbb{R}$ is a uniformly bounded sequence (i.e., there exists $C>0$: $|f_n| < C$ for every $n$) such that
$$ f_n \in C^2_x \times C^1_t, $$
...
- 41
1
vote
0
answers
92
views
Alberti rank-one theorem and reduction of the study of BV function to the two-dimensional case
By Alberti rank-one theorem, could it be possible to reduce the study of a function $u \in BV(\mathbb{R}^N, \mathbb{R}^N)$ to the study of a function $\tilde{u} \in BV(\mathbb{R}^2, \mathbb{R}^2)$? At ...
user123457
1
vote
2
answers
346
views
Is this relationship, $\sum^{\infty}_{N=1}\frac{N^{-\alpha} \, x^{N-1}}{\Gamma(N)}\sim e^{x}x^{-\alpha}$, true?
According to numerical simulation, the relationship
$$\sum^{\infty}_{N=1}\frac{N^{-\alpha} \, x^{N-1}}{\Gamma(N)}\sim e^{x}x^{-\alpha}$$
where $\Gamma$ is the Gamma function seems to be true.
Do you ...
user365311
1
vote
0
answers
67
views
Solution to recurrence relation from integro-differential dynamical system?
Consider the integro-differential equation
\begin{equation}
\kappa\ddot x+\dot x=2\int_0^t J_1(x_t-x_s)e^{-\epsilon(t-s)}ds.\tag{1}
\end{equation}
such that $\kappa,\epsilon\in\mathbb{R}$, $t\in\...
- 79
1
vote
1
answer
132
views
Local maxima of the sum of Gaussian functions in *one dimension* are always strict local maxima - proof?
Motivated by this question asked earlier, I was wondering whether one can prove easily that the local maxima of the sum of Gaussians:
$$f_n(x):= \sum_{i=1}^{n}e^{-(x-x_i)^2}, \quad x_1 < x_2 < \...
- 1,467
1
vote
0
answers
184
views
A non-differentiable function $f(x,y)$ with bounded $f_x$, $f_y$, $f_{xx}$ and $f_{yy}$
Recently I was trying to construct a counterexample to the statement "If there exist $f_{xy}(0,0)$, $f_{yx}(0,0)$ and the functions $f_{xx}$, $f_{yy}$ exist in some neighborhood and are ...
1
vote
2
answers
140
views
Extending a discrete singular kernel
Let $\{\phi(n)\}_{n\in\mathbb Z}$ be a sequence of complex numbers with the following properties:
$\phi(0)=0$ and $|\phi(n)|\leq \frac{C_1}{|n|}$ for all $n\neq 0$ and $C_1>0$ is independent of $n....
- 1,879
1
vote
1
answer
191
views
Good upper bound for $\Gamma(1-b,\log(a))-\Gamma(1-b,N\log(a))$, where $a,b \in (0, 1)$ and $N \ge 1$
Let $a,b \in (0, 1)$ and $N \ge 1$, and consider the incomplete gamma function $x \mapsto \Gamma(1-a,x)$.
Question
Is there a simple bound (involving 'simple function's) for the expression $\Gamma(1-...
- 6,853
1
vote
1
answer
117
views
On summation methods of divergent series
$\newcommand{\R}{\mathbb R}\newcommand{\N}{\mathbb N}\newcommand{\si}{\sigma}\newcommand{\CC}{\mathcal C}$This previous question introduced the following notion of a summability space.
Let $\N:=\{1,2,\...
- 128k
1
vote
0
answers
259
views
Divergence of conformal Killing vector fields on $S^2$ and the spherical harmonics
Can anyone think of a conformal Killing vector field $W$ on $S^2$ with the round metric that is not Killing such that its divergence is $L^2$-orthogonal to the spherical harmonics with $\ell = 1$?
One ...
- 969
1
vote
1
answer
190
views
Proof of extended version of non-random "almost supermartingale"
In this question, a non-random version of "almost supermartingale" theorem is proved.
Here, I would like to extend/apply the non-random version to the slightly different situation. I wonder ...
- 45
1
vote
1
answer
620
views
Smallest Lipschitz constant on non-convex domains
It is well known that if a function $f:U\to \mathbb C^n$, $U\subset \mathbb C^m$ satisfies $\sup_{x\in U}\|Df(x)\|_{\infty} = C < \infty$ uniformly on $U$ and $U$ is compact and convex, then $f$ is ...
- 959
1
vote
1
answer
271
views
Can we invoke "almost supermartingale" Theorem for deterministic sequences?
Perhaps stupid question.
Question: Can "almost supermartingale" theorem be equally applicable to prove the convergence of some algorithms solving non-random optimization problems?
Attempt ...
- 45
0
votes
0
answers
70
views
Multiplication with dilations of nonzero measurable function is injective
Denote $f_s(x):=f(sx)$ as the dilation of a function $f$. I want to know whether the following statement is true:
Suppose $f$ and $g$ are measurable functions on $\mathbb{R}$, and $f$ is not almost ...
- 807
0
votes
1
answer
127
views
Continuous extensions of tangent vector fields
Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
- 434
0
votes
1
answer
246
views
can there be a function $f:\mathbb Q_{+}^{*}\longmapsto\mathbb Q_{+}^{*}$ such that $f(xf(y))=\frac{f(f(x))}{y}$?
Problem:
Can an $f$ function be created where:$$f\colon\mathbb Q_{+}^{*}\to \mathbb Q_{+}^{*}$$
The function is defined on the set of fully positive rational numbers and is achieved:
$\forall(x,y)\in \...
- 119
0
votes
1
answer
77
views
Decay rate of minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
0
votes
1
answer
275
views
Estimate for computing the $L^2$-norm of a function from its data
Let $f:\mathbb{T}^m \to \mathbb{R}$ is a function of bounded variation(BV). Let $D=\{\boldsymbol{p}_i,i=1,2,3\ldots\}$ be a countable dense subset of $(0,1)^m$. Let $E_n, n = 1,2,3\ldots$ be a ...
- 59
0
votes
1
answer
142
views
Why are the homeomorphisms from the unit circle to the unit circle preserving measure affine? [closed]
Why are the homeomorphisms from the unit circle to the unit circle preserving measure affine? The affine is composition of rotation and continue automorphism.
- 83
0
votes
1
answer
328
views
Number of minimal left ideals
Is there any way to compute the number of minimal left ideals of $M_n(K)$, the full $n\times n$ matrix ring with entries in the field $K$ ?
user39204
0
votes
1
answer
347
views
Asymptotic behaviour of fixed points in permutations
For any $n\in\mathbb{N}$ let $S_n$ denote the set of all permutations (bijective maps) $\pi:\{1,\ldots, n\} \to \{1,\ldots,n\}$. For $\pi \in S_n$ we set $$\text{fix}(\pi) = \{x\in \{1,\ldots, n\}: \...
- 48.9k
0
votes
1
answer
124
views
Uniform estimation of an integral
Let $\Omega\subset\mathbb{R}^n$ be open and bounded, let $s\in(0,1)$, let $u\in C^{0,2s+\epsilon}(\Omega)$ bounded and such that: $u=0$, on $\mathbb{R}^n\setminus\Omega$, is true that there exist a ...
- 339
0
votes
1
answer
285
views
Infinite products for linear combinations of sines or cosines
There is a well known infinite product both for $\phi(x)=\sin x$ and $\phi(x)=\cos x$. These are particular cases of the Weierstrass factorization theorem. What about
$\phi(x)=a_1\cos b_1 x + a_2\cos ...
- 3,098
0
votes
0
answers
161
views
Superharmonic extension
We know the following classic result. If $K\subset\mathbb{R}^m$ ($m>1$) is a compact set and $u$ is superharmonic on a neighborhood of $K$, then we can extend $u$ to a superharmonic function $\...
- 411