All Questions
5,848 questions
17
votes
2
answers
1k
views
Is it consistent with ZFC that the real line is approachable by sets with no accumulation points?
Let $P$ denote the following proposition:
There exists a set $S$ of subsets of $\mathbb{R}$ such that
$S$ is totally ordered by inclusion;
each member of $S$ has no accumulation points;
the union of ...
- 7,817
1
vote
1
answer
114
views
Ensuring the measure condition $\mu(E) = \lambda$ in a lemma: need some clarification regarding the selection of $A$
I was studying a lemma from my notes on ergodic theory and encountered a difficulty. The lemma states:
Let $(X, \mathcal{B}, \mu)$ be an infinite non-atomic measure space, and let $T$ be an ergodic ...
- 111
3
votes
1
answer
102
views
Literature containing basic knowledge of homogeneous functions
Let $D$ be a nonempty open subset of $\mathbb{R}\times\mathbb{R}$ and $f:D\to\mathbb{R}$ be a function of two variables. For all $(x,y)\in D$ and $t>0$ such that $(tx,ty)\in D$, if the equality $f(...
- 63.9k
2
votes
1
answer
836
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
$$
\|...
- 114k
8
votes
1
answer
376
views
Is this inequality in two variables true?
It it true that for all $p\in(0,1/3]$ and all real $t$ we have
$$4
\ln(1-p +p\cosh t)
\ln\frac{1+\sqrt{1-2p}}{1-\sqrt{1-2p}}
\le t^2 (1+c p) \sqrt{1-2p} ,$$
where $c:=2\sqrt{3}\, \ln(2+\sqrt{3})-3$?
...
- 1,053
2
votes
2
answers
158
views
Does there exist a continuous field of directions in $\mathbb R^3$ tangent to every sphere?
Does there exist a nonconstant continuous map $v: \mathbb R^3 \to \mathbb S^2$ such that every sphere $S \subset \mathbb R^3$ is tangent to $v(x)$ at some $x \in S$?
Bonus: I also suspect that for ...
- 11.1k
1
vote
1
answer
39
views
Does uniform convergence of suitable functions yield pathwise convergence of their convex envelopes?
For each $k\ge 1$, let $f_k:\mathbb R\to\mathbb R_+$ be $1-$Lipschitz, increasing such that $f_k(x)\ge x^+$ for $x\in\mathbb R$, $f_k(-\infty)=0$ and
$$\lim_{x\to+\infty} \big(f_k(x)-x\big)=0.$$
...
- 128k
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 ...
- 5,005
11
votes
1
answer
953
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,165
20
votes
1
answer
2k
views
Is $1/F$ Schwartz if $F$ is "reverse Schwartz"?
Let's call a positive function $F:\mathbb{R}\to\mathbb{R}$ "reverse Schwartz" if $F$ is smooth and
$$\forall n \forall k,\quad\lim_{x\to\infty}\frac{|x|^n}{|\partial_x^k F(x)|}=0\quad .$$
In ...
CommunityBot
- 1
3
votes
0
answers
212
views
Differentiability along hyperplanes for rational functions
This is a follow up to my previous question.
Let $f\colon \mathbb R^3\to \mathbb R$ be a continuous function that is rational and differentiable along all planes through $0$, that is, we assume:
...
CommunityBot
- 1
2
votes
2
answers
192
views
Upper/Lower bounds of real-analytic functions with infinite Taylor series
For example, in 1-D, given some positive increasing polynomial $p(x) = a_1x+\ldots+a_nx^n$, $p(0) = 0$, there exists constants $b_1,b_2$ such that for $x<\delta$, for some $\delta > 0$, we have ...
- 60.5k
2
votes
2
answers
151
views
Upper bound $\int_{\mathbb{R}^d \times \mathbb{R}^d} |fx)-f(y)| (1+|y|) \ell (x) p_t (x-y) \, \mathrm d x \, \mathrm d y$ in $t$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$ and $c>0$. Let $f : \bR^d \to \bR$ and $\ell : \bR^d \to \bR_+$ be measurable such that $\ell$ ...
- 835
5
votes
2
answers
248
views
Hausdorff dimension of the zero set of $\nabla f$
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $\nabla f$ nonzero almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ ...
- 4,713
7
votes
2
answers
1k
views
Why is the spectrum of Erdős–Renyi random graph approximately symmetric?
I am recently self-learning random matrix theory and made some simulations about the spectrum of Erdős–Renyi random graph $G(n,p)$ when $np\to\infty$,
and $np\to c=2,3$.
The plots above are already ...
- 5,405
4
votes
1
answer
446
views
Is the uniform limit of "almost eikonal" maps eikonal?
Let $f_n: \mathbb R^d \to \mathbb R$ be continuously differentiable functions with $f_n \to f$ uniformly for some $f$.
Suppose that $|\nabla f_n| \to 1$ uniformly. Is it true that $f$ is $C^1$ with $\...
- 61.9k
4
votes
0
answers
88
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
5
votes
1
answer
374
views
Looking for a counterexample: Conditioning increases regularity?
Let $p(x,y,z)$ be a joint density (over $\mathbb{R}^3$) under no smoothness or regularity assumptions, besides its existence. I am looking for a (counter)example where $p(y|x)$ is less regular than $p(...
- 6,165
19
votes
2
answers
949
views
Etymology of “real numbers"
I would like to know why the real numbers are called “the real numbers.” I would also like to know the meaning of “real” in the phrase “real number.”
Further questions and clarifications:
I’d like to ...
- 35.5k
7
votes
2
answers
604
views
Minimizing the largest eigenvalue of random matrices
Let $A \in \mathbb{R}^{n \times n}$ be a symmetric matrix with entries $A_{ij} \sim \mathcal{N} (0,1)$, all independent except for the symmetry condition.
Consider the following minimization problem:...
CommunityBot
- 1
2
votes
1
answer
179
views
Is the average of a $\alpha$-Hölder process Hölder continuous of every order less than $\alpha$?
Let $X_t$ be a stochastic process on $[0, 1]$ that is almost surely Hölder continuous of order $\alpha > 0$, and almost surely uniformly bounded by some deterministic constant. It is not hard to ...
- 10.3k
3
votes
0
answers
318
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,239
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, ...
- 21.2k
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
0
votes
0
answers
63
views
A maximisation problem : finite or not?
Let $\mathcal M_2$ be the space of real $2\times 2$ matrices and $\mathcal S_2\subset \mathcal M_2$ be its subset consisting of positive semidefinite elements, i.e. $A\in \mathcal S_2$ iff $A$ is ...
- 1,389
0
votes
1
answer
375
views
Bringing a Heun equation into canonical form
It is a well known fact that any second order Fuchsian differential equation on the complex plane $$u''(x) + p(x)u'(x) + q(x)u(x)=0$$ with exactly $4$ regular singular points may be suitably ...
CommunityBot
- 1
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
8
votes
2
answers
509
views
Condition to guarantee that an inhabited and bounded set of reals has a supremum
This question is about constructive mathematics (without Choice), such as in the internal logic of a topos with natural numbers object, or in IZF. The “reals” (and the symbol $\mathbb{R}$) refer to ...
- 35.5k
2
votes
1
answer
110
views
Equivalence among these functions
Let $\Phi$ be the CDF of a standard Gaussian distribution, i.e.
$$\Phi(x):=\int_{-\infty}^x \frac{1}{\sqrt{2\pi}} e^{-y^2/2}dy,\quad \forall~ x\in \mathbb R.$$
Denote by $\Phi^{-1}$ its inverse ...
- 128k
0
votes
0
answers
21
views
Unimodality of distribution from Lévy symbol
Also posted in MSE.
Assume that one want to study a distribution $f$ on $\mathbb{R}$ for which the Lévy symboln, i.e.:
$$
\forall u\in\mathbb{R},\quad\psi(u) := \log \mathbb{E}\left[e^{iuX}\right]
$$
...
- 393
1
vote
1
answer
161
views
An "almost" geodesic dome
A regular $ n$-gon is inscribed in the unit circle centered in $0$.
We want to build an "almost" geodesic dome upon it this way: on each side of the $n$-gon we build an equilateral triangle ...
- 128k
3
votes
1
answer
193
views
Differentiability along hyperplanes
Definition. Let us say that a function $f\colon \mathbb R^d\to \mathbb R$ is differentiable along hyperplanes in the point $0\in \mathbb R^d$, if $f\circ \varphi\colon \mathbb R^{d-1}\to \mathbb R$ is ...
- 10.6k
1
vote
0
answers
56
views
Extension of this maximisation problem : finite or not?
$\mathcal M$ is the space of real $d\times d$ matrices and $\mathcal S\subset \mathcal M$ is its subset consisting of positive semidefinite elements. We consider the distance the product space $\...
- 1,389
-1
votes
1
answer
223
views
Centroid of $\Omega$ and $\partial\Omega$ concides then $\Omega$ must be a ball
Hi I just happened to have a small question. If we have
$$\frac{\int_\Omega x}{|\Omega|}=\frac{\int_{\partial\Omega} x}{|\partial\Omega|}$$
for a simply connected set $\Omega$ with analytic boundary. ...
- 6,924
16
votes
4
answers
2k
views
Is the $W^{1, \infty}$ limit of differentiable functions also differentiable?
Let $f_n$ be a sequence of differentiable functions on $[0, 1]$ with
$f_n \to f$ uniformly for some (necessarily) continuous $f$.
$f'_n - g \to 0$ in $L^{\infty}$ for some measurable $g$.
Is it true ...
- 6,165
0
votes
0
answers
56
views
How explicit the optimiser of this optimisation problem can be?
Provided the given parameters as follows :
$\mu\in\mathbb R, \sigma\in\mathbb R_+$ are constant, $\kappa, r, \alpha, \beta: \mathbb R_+\to\mathbb R_+ $ are measurable functions such that $\kappa(y)\...
- 1,334
7
votes
1
answer
271
views
Can a differentiable function be nowhere locally $\alpha$-Hölder for all $\alpha > 0$?
Does there exist a real valued function on $[0, 1]$ that is differentiable everywhere, but for every $\alpha > 0$ is nowhere locally $\alpha$-Hölder continuous? That is, it is not $\alpha$-Hölder ...
- 10.6k
4
votes
1
answer
128
views
Lower bound of mean curvature implies that the set is subset of a given ball
If a simply connected set $\Omega\subset\mathbb{R}^n$ has $C^2$ boundary such that the mean curvature $H$ of $\partial \Omega$ satisfies:
$$H\geq 1$$
Does this imply that $\Omega\subset B_1$ after ...
- 39k
7
votes
2
answers
178
views
Separating domains in $\mathbb{R}^{2n}$ by a real algebraic variety
Suppose $\Omega_1$ and $\Omega_2$ are two disjoint unbounded domains in $\mathbb{R}^{2n}$, $n \in \mathbb{N}$. Can there be conditions on $\Omega_1$ and $\Omega_2$ so that these two domains can be ...
- 171
6
votes
3
answers
851
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) = ...
- 12.9k
2
votes
1
answer
360
views
Asymptotics of an oscillatory integral
For $a > 0$ and $n \in \mathbb Z_+$, consider the oscillatory integral
$$\int_{0}^1 f(x) f(ax) \dots f(a^n x) \, dx,$$
where $f$ is an integrable function on $[0, 1]$, which we extend by ...
- 1,295
11
votes
2
answers
587
views
Extracting a subsequence common to infinitely many sets from an uncountable collection with uniform positive upper density
Let $\{a_n\},\{b_n\}$ be strictly increasing sequence of positive integers satisfying $a_1<b_1<a_2<b_2<a_3<b_3<\ldots$ and $(b_n-a_n) \to \infty$. Define $I_n:= [a_n,b_n]$, meaning ...
- 13.4k
2
votes
0
answers
80
views
Stability of Hölder constants of frozen Itô stochastic integrals
$
\newcommand{\RR}{\mathbb{R}}
\newcommand{\TT}{\mathbb{T}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\PP}{\mathbb{P}}
\newcommand{\EE}{\mathbb{E}}
\newcommand{\FF}{\mathbb{F}}
\newcommand{\PPP}{\...
- 835
8
votes
3
answers
296
views
Shrinking subset and product
Given a segment and a value $c$ less than the segment length, let $A_1,\dots,A_n$ be finite unions of intervals on the segment. We choose a finite union of intervals $B$ with $|B|=c$ that maximizes $|...
- 23.7k
6
votes
2
answers
380
views
Proving convergence of solution of a fixed point equation
I encountered a nasty sequence $(x_n)_{n=1}^\infty $ defined as the smallest positive fixed point of the fixed point equation $ x_n = f_n(x_n) $, where $f_n$ is given by
$$ f_n(x) = \sum_{k=0}^{\...
- 109k
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
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{...
- 23.2k
0
votes
0
answers
143
views
A Poincaré inequality holds for $p>2$ but fails for $p\leqslant 2$
I am confused with the following example taken from page 6 of Sobolev Met Poincaré, by Hajłasz and Koskela (MR1683160, Zbl 0954.46022).
Let $(X,d,\mu)$ be a metric measure space and let $\Omega\subset ...
- 69
5
votes
1
answer
245
views
Are singular functions dense in the space of Hölder continuous functions?
We say a non-constant function $f$ on $[0, 1]$ is singular if it is continuous, and in addition differentiable almost everywhere with $f' = 0$ a.e.
For every positive $\alpha < 1$, is the set of ...
- 10.3k
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?
- 4,713