All Questions
5,909 questions
5
votes
5
answers
1k
views
What are the local maxima and minima of $\frac{\sin(nx)}{\sin(x)}$
FYI: I asked this question here couple of days ago but got no answer yet.
$n$ is an integer
We know the global maximum of the function $\sin(nx)/\sin(x)$ is $n$ (thanks to this question), but what are ...
- 213
0
votes
1
answer
106
views
Convergence of mollified functions in weighted $L^p$ norm
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\supp}{\operatorname{supp}}
$
Let $(\rho_n)_{n \geq 1}$ be a sequence of mollifiers on $\bR^d$, i.e., each $\rho_n$ is a ...
- 825
11
votes
1
answer
677
views
Entropy arguments used by Jean Bourgain
My question comes from understanding a probabilistic inequality in Bourgain's paper on Erdős simiarilty problem: Construction of sets of positive measure not containing an affine image of a given ...
- 196
10
votes
2
answers
1k
views
Does a conditionally convergent sum with random signs converge almost surely?
Let $\sum a_n$ be a conditionally convergent sum of real numbers, and $\epsilon_n$ a sequence of independent identically distributed Bernoulli random variables with $\epsilon_n = 1$ or $-1$ with ...
- 6,321
1
vote
1
answer
60
views
Does Monotone (linear) convergence of iterates imply monotone (linear) convergence of function values?
I am considering a proof that would require a certain connection between convergence of iterates and corresponding function values: Consider an algorithm with iterates $\left\{{\mathbf{x}}^k\right\}_{...
- 13
2
votes
2
answers
173
views
Gronwall-type inequality involving norms of distinct Lebesgue spaces
Let $d \geq 1$, $\Omega \subset \mathbb{R^d}$ be a bounded domain and let $\phi : [0,T]\times \Omega \mapsto \mathbb{R}$ be a measurable and bounded function. Assume that the following differential ...
- 213
114
votes
34
answers
86k
views
Why do we teach calculus students the derivative as a limit?
I'm not teaching calculus right now, but I talk to someone who does, and the question that came up is why emphasize the $h \to 0$ definition of a derivative to calculus students?
Something a teacher ...
3
votes
0
answers
320
views
The curse of dimensionality of the Kolmogorov–Arnold neural network
The Kolmogorov–Arnold neural networks (KAN), Ziming Liu et al., KAN: Kolmogorov–Arnold Networks is inspired by the Kolmogorov–Arnold representation theorem (KA theorem). Though it is not proved in the ...
- 2,251
7
votes
2
answers
606
views
Countably representing all closed sets of positive measure
This may be a naive question, but I don't see an immediate argument.
Question: Does there exist a sequence $\{C_m\}_{m=1}^\infty$ of Borel subsets of $[0,1]$ with positive Lebesgue measure $|C_m|>0$...
- 1,959
5
votes
1
answer
351
views
Does the Poincaré inequality hold on annular domains?
Does the following Poincaré inequality hold
$$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$
where $B_r$ denotes a ball of radius ...
- 537
7
votes
2
answers
607
views
If the average of a sequence converges, can I find a uniform bound that does not depend on where I start?
Let $\{a_k\}_{k\in \mathbb{Z}} \subset \mathbb{R}$ a real sequence and $a\in \mathbb{R}$ such that $$ \lim_{n\to +\infty} \frac{1}{n} \sum_{k=1}^n a_k = a = \lim_{n\to +\infty} \frac{1}{n+1} \sum_{k=0}...
- 81
4
votes
2
answers
354
views
Injectivity of a convolution operator
Let $p,\mu,\nu$ be probability density functions on
$\mathbb{R}$ such that
$$
\int_{\mathbb{R}}p(y-x) \nu(y) \, dy=\mu(x).
$$ Now, consider the operator $T:L^2(\mu)\to L^2(\nu)$ such that $$ Tf=f*p.$$ ...
- 407
4
votes
2
answers
2k
views
Does a function exist which is not Riemann integrable and satisfies the given condition:
I am looking for a function $f:[0,1]\rightarrow \mathbb{R}$ which is not Riemann integrable such that
$$\sum_{k=0}^n |f(x_k)-f(x_{k-1})|^2 <1$$ for every choice of $0=x_0\le x_1 \le \cdots \le x_n =...
- 151
7
votes
1
answer
185
views
Question on ODE involving mollifiers from Taylor's book on PDEs
In Taylor's third book on PDEs chapter 16, the author discusses quasilinear symmetric hyperbolic systems of the form
$$\partial_{t}u=A^{k}(t,x,u)\partial_{k}u+g(t,x,u)$$
with some initial condition $u(...
- 1,171
7
votes
2
answers
628
views
Elliptic regularity on manifolds: Is this true?
Let $(M,g)$ be a Riemannian manifold (without boundary) and denote by $\Delta_{g}$ the Laplace-Beltrami operator (or any other elliptic operator if you wish). I was trying to find a reference for the ...
- 1,171
4
votes
1
answer
101
views
Limits along lines for the gradient of a convex function
It is easy to see that if a function $f: \mathbb{R} \to \mathbb{R}$ is strictly convex, $C^1$ and $f'$ has bounded image, then as $t\to \infty$ the limit
$$
\lim_{t\to\infty} f'(t) = \lim_{t\to\infty} ...
- 99
3
votes
0
answers
138
views
What is the probability that the absolute value of the root of a polynomial is greater than $x$?
Note: This question was unanswered in MSE for a month so posting it in MO.
Let $f(x) = 0$ be an equation of degree $n$. WLOG we can assume that the its coefficients are in $(-1,1)$. This is because we ...
- 5,470
0
votes
0
answers
79
views
Is the Bures metric equivalent to the Euclidean one?
Let $K=\mathbb R$ (reall numbers) or $K=\mathbb C$ (complex numbers). Define $\mathcal M_n$ to be the space of $n\times n$ matrices $A=(a_{i,j})_{1\le i,j\le n}$, with $a_{i,j}\in K$. Let $\|\cdot\|$ ...
- 1,334
5
votes
1
answer
196
views
What is the "natural" or "physical" norm on the Hessian matrix (and other higher derivatives)?
Let $u : \mathbb R^n \rightarrow \mathbb R$ and let $H : \mathbb R^n \rightarrow \mathbb R^{n \times n}$ be its Hessian matrix. What is the "natural" choice of pointwise norm on the Hessian ...
- 641
2
votes
0
answers
29
views
Steiner symmetrization of smooth function on non-simply connected regions
Given a smooth function $u$ defined on $\mathbb{R}^2$, restrict $u$ to a subset $\Omega \subset \mathbb{R}^2$ (possibly not simply connected) foliated by level sets of a smooth function $\psi: \Omega \...
- 434
8
votes
1
answer
1k
views
When can a sum be re-signed to converge to any limit?
Let $a_n$ be a sequence of positive real numbers with $\sum a_n < \infty$. What are the necessary and sufficient conditions for the following to hold?
For any $S \in \mathbb R$ with $-\sum a_n \...
- 6,321
2
votes
1
answer
194
views
Functions with derivatives growing at rate $r>0$
Fix a non-empty closed subset $\Omega\subset\mathbb{R}$.
Let $f:\mathbb{R}\to\mathbb{R}$ be smooth and such that $\sup_{x\in \Omega}\,|\partial^k f(x)|\lesssim k^r$ for some $r\ge 0$ for all $k\in \...
- 364
2
votes
1
answer
200
views
Subset in $[0,1]^k$ with positive density
Given a positive constant $0<\gamma<1$, does there exists integer $k_0>0$ such that for any integer $k\geq k_0$ the following holds?:
For any $A\subseteq\left[0,1\right]^k$ with the measure ...
- 359
4
votes
1
answer
492
views
Does $f(t) \le \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s$ imply $f=0$?
Let $\beta \in (0, 1)$. We assume $f : [0, 1] \to [0, \infty)$ is a measurable and bounded function such that
$$
f(t) \le \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s,
\quad \...
- 825
8
votes
1
answer
1k
views
Why don't Zeilberger and Gosper's algorithms contradict Richardson's theorem?
Richardson's theorem proves that whether an expression A is equal to zero is undecidable. A is in this case an expression, constructed from $x,e^x,\sin(x)$ and the constant function $\pi$ and $\ln(2)$ ...
- 157
11
votes
3
answers
1k
views
"Simple" integral equation
Let $H(z)$ be a continuous solution of the problem
$$
H(z)=\frac1{1-z}\int_z^1 \frac{2\zeta}{1+\zeta} H(\zeta^2)\,d\zeta,\ \ \ z\in[0,1);\ \ \ H(1)=1.
$$
Is it true that $H(0)=1-\ln2$? The question ...
- 283
3
votes
1
answer
233
views
Analytic solutions to analytic differential equations
Let $U \subseteq \mathbb R^{n+2}$ be an open set for some $n \geq 0$, and let $f: U \to \mathbb R$ be an analytic function. Then we say the equation $f(x,y,y',\ldots,y^{(n)})=0$ is an analytic ...
- 31
64
votes
8
answers
6k
views
Two (probably) equal real numbers which are not proved to be equal?
Can someone give me a nice example of two computable real numbers which are believed but not proved to be equal?
I never really understood the assertion that "the reals do not have decidable equality"...
1
vote
1
answer
118
views
Is there $\varepsilon \in (0, 1)$ such that $\sup_{t \in [0, \varepsilon]} [\ell_t]_\beta < \infty$?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bD}{\mathbb{...
- 825
4
votes
2
answers
360
views
Functions with asymmetrically decreasing Fourier transform?
$\def\ii{{\rm i}}\def\bbR{\mathbb R}\def\bbC{\mathbb C}\def\bbNo{\mathbb N_0}\def\Fou{\mathscr F}$Specifically, I would like to have a compactly supported continuous function $f=u+\ii\,v:\bbR\to\bbC$ ...
- 3,584
4
votes
1
answer
205
views
Existence of an $\alpha$-Hölder continuous function whose graph has positive Hausdorff measure of maximal dimension
It is standard that if $f:[0,1] \rightarrow \mathbb{R}$ is $\alpha$-Hölder continuous, then its graph has Hausdorff dimension at most $2-\alpha$. My naive expectation was that "most" graphs ...
- 45
2
votes
1
answer
106
views
Lower bounds for the expectation of log ratio between the posterior and prior Beta densities
The quantity I'm interested in is expressed as follows:
$$
I = \mathbb{E}_{k\sim \text{Binom}(n,p)} \left[\ln \frac{\text{Beta}(p;a+k,b+n-k)}{\text{Beta}(p;a,b)}\right]
$$
The term inside the ...
- 63
4
votes
2
answers
364
views
Nontrivial invariant transformations for heat equations
It is well known that if $u$ is a harmonic function on $\mathbb R^2$ then its Kelvin transform defined by
$$ v(r,\theta) = u(\frac{1}{r},\theta)$$
is also harmonic for $r>0$. Note that the Kelvin ...
- 4,115
2
votes
0
answers
88
views
Dependence and $L^2$ projections of functions
tl;dr: Is it possible that the best approximation to a nonnegative function of three variables with a bivariate function is no better than the best univariate function?
Let $w$ be a density on $\...
- 21
3
votes
2
answers
393
views
Monotonicity of matrix conjugation
Let $A$ and $B$ be positive-definite matrices such that $A \le B.$
By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$
I am now curious under ...
3
votes
0
answers
146
views
Two algebraically independent irrational numbers $\alpha,\beta$ s.t. $\alpha^\beta$ is a rational number
Are there two algebraically independent irrational numbers $\alpha,\beta$ s.t. $\alpha^\beta$ is a rational number?
- 366
2
votes
1
answer
104
views
Sufficient conditions for the space of Radon measure to be a Banach space
Let $\mathcal{X}$ be a Hausdorff space and consider the space of Radon measures with bounded total variation $M(\mathcal{X})$ on $\mathcal{X}$.
Usually, the additional assumptions on $\mathcal{X}$ are ...
- 171
2
votes
0
answers
259
views
Least number of circles required to cover a continuous function on $[a,b]$
I asked this question on MSE here.
Given a continuous function $f :[a,b]\to\mathbb{R}$, what is the least number of closed circles with fixed radius $r$ required to cover the graph of $f$?
It is ...
- 541
4
votes
0
answers
89
views
A question concerning regularly varying functions
In my work I need some results about regulary varying functions, which I only have a very vague understanding.
A strongly related reference I found is "On the Existence of a Regularly Varying ...
- 119
4
votes
1
answer
201
views
How much can you improve a Hölder function by composing it with another?
Let $f: [0, 1] \to \mathbb R$ be a continuous function. Define the local Hölder exponent $H(f, x)$ of $f$ at $x \in [0, 1]$ by
$$H(f, x) := \sup\left\{0 \leq \alpha \leq 1\mid\lim_{\delta \to 0_+} \...
- 6,321
2
votes
2
answers
285
views
How should the "measure theoretic" Jacobians of a dynamical map be understood in Lai-Sang Young's "Recurrence Times and Rates of Mixing"
In Young's article: Recurrence Times and Rates of Mixing, she uses multiple times the notation $JF, JF^k, JF^R$ to mean the Jacobian of a dynamical map $F:\Delta\to\Delta$ w.r.t. a given reference ...
- 151
4
votes
3
answers
869
views
Can these identities for the Euler-Mascheroni constant be proven?
I stumbled upon these 4 limit/integral identities involving Euler's constant aka gamma (~0.5772). They appear to be valid based on inspection but I have no idea how to prove them. In addition, I have ...
- 194
0
votes
1
answer
318
views
A variation of the Riesz Lemma
Given a normed space $X$, a closed proper subspace $Y$ and $\alpha\in (0,1)$, the Riesz Lemma states that there is $x\in X$ such that $\|x\|=1$ and $d(x,Y)>\alpha$. Observe that also $d(-x,Y)=d(x,Y)...
- 153
45
votes
5
answers
3k
views
An "analytic continuation" of power series coefficients
Cauchy residue theorem tells us that for a function
$$f(z) = \sum_{k \in \mathbb{Z}} a(k) z^k,$$
the coefficient $a(k)$ can be extracted by an integral formula
$$a(k) = \frac{1}{2\pi i}\oint f(z) z^{-...
- 1,324
1
vote
0
answers
215
views
Computing a closed form representation for a Fourier series summation
I want to compute a closed form representation for the below given summation expession.
$$g_{\lambda}(\boldsymbol{x}) = \sum\limits_{\boldsymbol{l}\in\mathbb{Z}^m} \frac{1}{1+\lambda\|\boldsymbol{l}\|...
- 698
2
votes
2
answers
235
views
$L^p$ domination of mixed partial derivatives of the 3rd order by the unmixed ones?
Is it true that for each real $p>1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^3$ one has
$$\|D_1D_2D_3u\|_p\le C_p(\|D_1^3u\|_p+\|...
- 128k
30
votes
2
answers
1k
views
Minimum number of $|\cdot|$ operations necessary to express $\max$
For two variables, their maximum
$\max\{x_1,x_2\}$ can be expressed using one $|\cdot|$ operation:
$$
\max\{x_1,x_2\} = \frac12(x_1+x_2+|x_1-x_2|).
$$
For $3$ variables, it seems fairly clear that ...
- 6,541
4
votes
1
answer
341
views
Lebesgue points of a function is not affected by multiplication of the integrand with a smooth function?
Let $S^1$ be the circle, let us consider a function $f(x,t): S^1 \times [0,\infty) \to \mathbb{R}$ such that
\begin{equation}
\int_0^T \int_{S^1} \lvert f(x,t) \rvert dxdt <\infty
\end{equation}
...
- 3,477
2
votes
1
answer
197
views
Prékopa-Leindler style inequality?
Does anyone know a simple proof of the following Prékopa-Leindler style inequality:
If we have $f_1,f_2,g_1,g_2$ strictly positive functions on $\mathbb{R}$ such that, for any $x_1,x_2 \in \mathbb{R}$,...
- 125
0
votes
1
answer
135
views
On polynomial equation of fourth order depending on two parameters and bound on a maximal root
I would like to apologize in advance for a too technical question. Let us consider the following fourth order polynomial equation in $x$:
\begin{eqnarray}
F(x) \equiv (2 a p +2)x^4+ (6a(1-a)p^...
- 371