All Questions
5,909 questions
1
vote
0
answers
42
views
Approximation of the function $f(z)=z^2/|z|$ by $C^1$ immersions
Let $D$ denote the unit disk in $\mathbb C=\mathbb R^2$. We consider the function $f:D\rightarrow\mathbb C $ defined by $$f(z):=\frac{z^2}{|z|}.$$ Then as proved in Global invertibility (p324 Remark 4)...
- 435
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 ...
- 271
7
votes
1
answer
290
views
Equivalence of omniscience principles for natural numbers and analytic omniscience principles for Cauchy real numbers
In constructive mathematics, a proposition $P$ is decidable if $P \vee \neg P$, and a proposition is stable if $\neg \neg P \implies P$. We have the following principles of omniscience for the natural ...
- 2,624
9
votes
1
answer
845
views
Convergence of sequences formed by orthocenters, incenters, and centroids in repeated triangle constructions
I asked this question on MSE here.
Given a scalene triangle $A_1B_1C_1$ , construct a triangle $A_{n+1}B_{n+1}C_{n+1}$ from the triangle $A_nB_nC_n$ where $A_{n+1}$ is the orthocenter of $A_nB_nC_n$, ...
- 541
1
vote
2
answers
231
views
A real root of a cubic equation for a stationary point
Let us consider the quartic polynomial in $x$
\begin{equation}
F(x) = (2 a p +2)x^4+ (6a(1-a)p^2+(6-12a)p-6)x^3
+ p(2(a-2)(a-1)a p^2 + 3(5a^2-9a+2)p +12a-18)x^2
- p^2 ((a-2)(4a^2 ...
- 371
10
votes
1
answer
668
views
On Pareto functions
The Pareto principle says that the top 20% of wealthy people people hold over 80% of the wealth. Suppose we had a non-negative function on $\mathbb R^n$ that satisfied this principle on every open ...
- 6,321
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 ...
- 6,321
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$ ...
- 6,321
0
votes
0
answers
101
views
A special Hamel basis and a special additive function
On mathstackexchange I recently
asked
whether for an irrational number $a$ a special Hamel basis of type $\bigcup_{i\in I}\{x_i,y_i,ay_i\}$ exists,
where $x_i, y_i$ and $ay_i$ are $\mathbb Q$-...
- 687
6
votes
0
answers
156
views
Generalized Rademacher theorem for fractional derivatives
It is known that if $f$ is $\alpha$ Holder and $\gamma<\alpha$ then $f$ is $\gamma$ fractional differentiable. See Theorem 14 in the paper by G. H. Hardy and J. E. Littlewood, "Some properties ...
- 1,914
2
votes
1
answer
118
views
Proving that a polynomial $f(x,y)$ that is unbounded in every direction is bounded below by $1$ outside of a disc of finite radius
This is a follow up from this question.
I have a polynomial function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the ...
- 765
4
votes
1
answer
254
views
On the Lipschitz constant outside the stretch set
Let $f: \mathbb R^n \to \mathbb R^m$ be a Lipschitz map. We define the local Lipschitz constant $Lf$ of $f$ at $x \in \mathbb R^n$ by
$$Lf(x) := \lim_{r \to 0_+} \text{Lip}(f, B_r (x)),$$
where $\text{...
- 6,321
0
votes
0
answers
42
views
Is this function $\mathcal{C}^1$ in the global sense?
Denote by $\mathbb{U}$ the complex unit disk. Let $\mathcal{O}$ an nonempty open subset of $\mathbb{R}^n$ $(n\geq 1)$, and $f\in\mathcal{C}^1(\mathcal{O}\times\mathbb{R},\mathbb{U})$ such that for all ...
- 449
2
votes
1
answer
246
views
Ramsey type property of the Lipschitz constant
The following problem was proposed by Pietro Majer as an extension of an earlier question of mine on Lipschitz functions.
For $f$ a Lipschitz function on $\mathbb R^n$, we denote by
$$\text{Lip}(f, U) ...
- 6,321
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}^{\...
- 61
2
votes
0
answers
65
views
Generalized Fourier transforms associated to Schroedinger operators
Let $n\geq 1$. Let $q\in C^{\infty}_0(\mathbb R^n)$ be compactly supported and consider the operator $P= -\Delta+q(x)$ on $\mathbb R^n$. We will assume that $q$ is sufficiently small so that the ...
- 4,115
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
0
votes
0
answers
84
views
Question on approximation of norms
Suppose that $E\in Int[L_{p},L_{q}]$ for some $1<p<q<\infty$ and $E$ is $w$-concave with $1<w<\infty$. It is well-known that for each $r\geq w$, we have $E=L_{r}\odot F_{r}$ for some ...
- 45
23
votes
5
answers
2k
views
PDEs and algebraic varieties
Let $P$ be an order $d$ differential operator with constant coefficients and consider a PDE of the form $Pf = \delta$. Taking the Fourier transform of $P$ we get a degree $d$ polynomial whose zero ...
- 8,998
9
votes
2
answers
424
views
Is there a path-connected, "anti-convex" subset of $\mathbb R^2$ containing $(\mathbb R\smallsetminus \mathbb Q)^2$?
This question was firstly asked in mathematics stack exchange. Getting no answer, I copied it to here.
For a vector space $V$ over $\mathbb R$, I say a subset $S$ of $V$ is "anti-convex" if $...
- 193
0
votes
0
answers
237
views
Pair of real functions satisfying some conditions
Consider two functions $\psi$ and $\varphi$ defined on the interval $(0,c)$ where $c\in(0,+\infty)$ and they exhibit the following characteristics:
$\psi$ and $\varphi$ are continuous, positive, and ...
- 39
0
votes
1
answer
255
views
Carleson's theorem: proof of a lemma
I am reading the paper of Michael Lacey called "Carleson's theorem: proof, complements, variations" 1, on Carleson's theorem in Fourier analysis. At the bottom of page 20 at the beginning of ...
- 75
1
vote
1
answer
204
views
A question on Borel measurability
Let $(X, \mathcal{B}_{X}, \mu)$ be a measure space. Here, $\mu$ is an infinite Borel measure and $\mu$ is not $\sigma$-finite. Let $\pi$ be surjective Borel measurable map form $(X, \mathcal{B}_{X}, \...
- 11
10
votes
5
answers
2k
views
Extracting a common convergent indexing from an uncountable family of sequences
Let $\mathcal{A}$ be some uncountable index set and $X$ be some separable reflexive Banach space.
For each $\alpha \in \mathcal{A}$, let
\begin{equation}
\{ x_n^{\alpha} \}_{n=1}^\infty
\end{equation}
...
- 3,477
2
votes
1
answer
206
views
Deriving an inequality for the integral of maximum indicator functions under measure-preserving transformations
Let's denote the measure space by $(X, \mathcal{B}, \mu)$ and the measure-preserving transformation by $T: X \to X$. Let $A \in \mathcal{B}$ be a measurable set with $0 < \mu(A) < \infty$. Let $...
- 105
5
votes
1
answer
229
views
Intersection between Lipschitz domains
Let $\Omega\subset\mathbb{R}^N$ be an open, bounded and connected Lipschitz domain. Is it true that we can find some $R>0$ such that any $N$-dimensional open ball $B(x,r)$ with $r\leq R$ that ...
- 1,759
20
votes
7
answers
5k
views
Why do infinite-dimensional vector spaces usually have additional structure?
On Mathematics Stack Exchange, I asked the following question: Why are infinite-dimensional vector spaces usually equipped with additional structure? Although it received one good answer, I feel that ...
- 961
3
votes
0
answers
118
views
A matrix-valued analogue of a classical inequality
Let $p \geq 4$ be an even integer. In the study of variational problems in $W^{1, p}$, it is handy to know that for $a, b \in \mathbb R^d$,
$$|a - b|^p \leq 2^{p - 1} (|a|^{p - 2} + |b|^{p - 2}) |a - ...
- 708
5
votes
0
answers
167
views
Bounding elementary symmetric polynomials away from zero
Let $2 \leq m \leq n$ be integers and let $\mathbf{x} \in \mathbb{R}^n$ (importantly, I am not assuming that the entries of $\mathbf{x}$ are non-negative). The elementary symmetric polynomials are ...
- 6,351
3
votes
1
answer
263
views
Hölder continuity in time of heat semigroup
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$ and $c>0$. Let $\ell : \bR^d \to \bR_+$ be a probability density function such that
$$
\|\ell\|...
- 825
19
votes
2
answers
951
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 ...
- 319
2
votes
0
answers
94
views
A surprisingly simple and difficult problem on sums of upper bounds
Let $T$ be a large integer, and $C$ be a positive real constant.
Consider a sequence $\{p_t\}_{T\geq t\geq 1}$ of real numbers in $[0,1]$. The sequence $\{b_t\}_{T\geq t\geq 1}$ can be defined as ...
- 353
7
votes
1
answer
836
views
Representing $\Gamma(a-x)$ in terms of $\Gamma(kx)$ and $\Gamma(a)$ and elementary functions
I asked this question on MSE here.
I wonder if it is possible to represent $\Gamma(a-x)$ in terms of powers of $\Gamma(a)$, powers of $\Gamma(kx)$, and elementary functions. I am not looking for any ...
- 541
5
votes
0
answers
105
views
Convolution of a bounded function and measures
Given a function $f\in L^\infty(\mathbb{R}^n)$ and a family of Radon measure $\mu_\alpha$, under what condition do we have $f*\mu_\alpha$ equi-continuous?
One condition I know is if $\mu_\alpha$ has a ...
- 375
7
votes
2
answers
325
views
For this continuous non differentiable function $f$ How to determine $\sup\{a\}$ s.t $\lim\limits_{h\to0}\frac{f(x+h)-f(x)}{h^\alpha}=0$ for all $x$?
I asked this question on MSE here.
Define $g(x)= |x|$ for $|x|\in [-1,1]$ , $g(x+2)=g(x)$
$$f(x)= \sum_{n \ge 1} \frac{3^n g\left(4^n x\right) }{4^n}$$
This function is a famous example of a ...
- 541
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 ...
- 6,321
2
votes
1
answer
211
views
Hölder continuity in time of heat semigroup for regular initial distribution
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $(p_t)_{t>0}$ be the standard Gaussian heat kernel on $\bR^d$, i.e.,
$$
p_t (x) := \frac{1}{(4 \pi t)^{\frac{d}{2}}} \...
- 825
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 $\...
- 6,321
2
votes
0
answers
57
views
Mappings that preserve local or global minimum
In the most general form, I'm interested in any non-trivial results of the following question.
Consider metric space $X$ and $Y$, denote all real valued functions on $X$ and $Y$ as $\mathbb{R}^{X}$ ...
- 275
4
votes
1
answer
259
views
Hausdorff dimension of the zero set of the gradient of an eikonal function
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $|\nabla f| = 1$ almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ is ...
- 6,321
3
votes
1
answer
248
views
Can any function in $C^\alpha$ be approximated in $C^{\alpha^-}$ by singular functions?
For every positive $\alpha < 1$, we consider the space $C^{\alpha}$ of Holder continuous functions of order $\alpha$ on $[0, 1]$, equipped with the norm
$$\|f\|_{C^\alpha} := \sup|f| + \sup_{x, y \...
- 6,321
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
5
votes
1
answer
349
views
Equilateral triangle in a Brownian path
I am curious about the following simple problem but I couldn't do any progress on it. I would like to know whether it is possible to prove (with probabilistic proof) that a brownian trajectory ...
- 393
8
votes
0
answers
414
views
For $f$ Lipschitz with $|\nabla f| = 1$ a.e., what is the supremal Hausdorff dimension of the set on which $\varepsilon< |\nabla f| < 1-\varepsilon$?
Let $f$ be a Lipschitz function with $|\nabla f| = 1$ almost everywhere.
Let $\varepsilon \geq 0$. What is the supremal Hausdorff dimension of the set on which $f$ is differentiable with $\varepsilon &...
- 6,321
5
votes
2
answers
298
views
Is the $W^{1, \infty}$ limit of differentiable a.e. functions also differentiable a.e.?
Let $f_n$ be a sequence of continuous, differentiable a.e. functions on $[0, 1]$ with
$f_n \to f$ uniformly for some continuous $f$.
$f'_n - g \to 0$ in $L^\infty$ for some measurable $g$,
where we ...
- 6,321
3
votes
2
answers
436
views
Closed form for $ \int_{0}^{1} \dotsi \int_{0}^{1} \frac{x_1^q + \dotsb + x_n^q}{x_1^p + \dotsb + x_n^p} \, \mathrm{d}x_1 \dotsm \mathrm{d}x_n $
I asked this question on MSE, but received no answer.
Recently, reading this problem, I found out that
$$ \lim_{n\to \infty} \int_{0}^{1} \dotsi \int_{0}^{1} \frac{x_1^q + \dotsb + x_n^q}{x_1^p + \...
- 387
12
votes
2
answers
1k
views
Asymptotics of a strange oscillatory function
Consider the function $f:\mathbb{R}\to \mathbb{R}$ defined by $f(x)=\sum_{n\geq 1}\sin(x/n^2)$. It is easy to see that $f(x) = O(\sqrt{x})$ for large real $x$. Is it true that
$f(x)>0$ for $x>0$...
- 783
25
votes
2
answers
2k
views
Writing a function on $\mathbb{R}$ as a sum of two injections
Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a function. It is well-known that, using transfinite recursion with a well-ordering of $\mathbb{R}$, one can construct two injective functions $g,h: \...
- 4,265
1
vote
1
answer
76
views
Proving that a function $f(x,y)$, that is unbounded in every direction, is uniformly bounded below by $1$ outside some disc of large enough radius
I have a smooth function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the curve $(ta,tb)$, then $$\lim_{t\to\infty}f(ta,...
- 765
6
votes
1
answer
309
views
Well distributed sets
Note: All integrals are taken with respect to Lebesgue measure. The symbol $\def\avint{\mathop{\rlap{\raise.15em{\scriptstyle -}}\kern-.2em\int}\nolimits} \avint$ denotes the average integral.
We say ...
- 6,321