All Questions
5,856 questions
5
votes
1
answer
375
views
What is the length of an algebraic curve?
The following question seems to be somewhat standard, but I was unable to find any reference. I would be grateful for any pointers to relevant literature.
We consider a real polynomial $p(x,y)$ of ...
- 53
2
votes
0
answers
58
views
An s-convex function lying between two convex functions
Let $f: \mathbb R_{+} \to \mathbb R_{+}$ be an $s$-function in the second sense, i.e.,
$$ f(\lambda x +(1-\lambda)y) \leq \lambda^s f(x) +(1-\lambda)^s f(y)$$ for every $\lambda \in (0,1)$. Assume ...
- 55
27
votes
1
answer
2k
views
Is every real number in [0,1] a product of three (or more) Cantor set's numbers?
It is well known that every number $x$ in the unit interval $[0,1]$ is the arithmetic mean of two elements of the (triadic) Cantor set $C$. The way to see it I like the most: the Cantor set is the ...
- 60.5k
5
votes
1
answer
282
views
Is there a singular function that is Hölder continuous of every order less than $1$?
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.
Does there exist a singular function that is Hölder ...
- 6,215
3
votes
1
answer
198
views
Can gradient zero implies that a function is constant with Hörmander vector fields
Let $X=(X_1,\cdots,X_m)$ be a system of Hörmander vector fields defined on $\mathbb{R}^n$. The Sobolev space $W_{X}^{1,p}(\Omega)$ is defined by
$$W_{X}^{1,p}(\Omega):=\{u\in L^p(\Omega)|X_iu\in L^p(\...
- 561
22
votes
1
answer
4k
views
A challenging (for me) limit calculation
How to calculate the following limit
$$
\lim_{n\to\infty}\sqrt{n}\underbrace{{}\sin(\sin(\sin(\sin(\cdots\sin(\frac{1}{\sqrt{n}})\cdots))))}_{n \text{ sin's}} \text{?}
$$
${}{}$
- 549
12
votes
4
answers
1k
views
Understanding the condition $\frac{1}{p} + \frac{1}{q} = 1$ in the estimate $xy \le \frac{1}{p}x^p + \frac{1}{q}y^q$
I just read a proof of Holder's inequality in measure theory, which boils down to the following inequality:
$$xy \le \frac{1}{p}x^p + \frac{1}{q}y^q$$
where $x,y\ge 0$ and $\frac{1}{p} + \frac{1}{q} = ...
- 7,527
5
votes
1
answer
375
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(...
- 51
6
votes
1
answer
528
views
A functional equation
I am working on some physics problem and got stuck with the following equation: Let $a$ be a very small positive number. Is there a bounded function $F$, $0 \leq F \leq 1$, such that for all $x \in \...
- 63
6
votes
1
answer
309
views
Is the derivative of a $C^1$ function nonzero almost everywhere on almost every level set?
Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure.
Let $f \in C^1 (\mathbb \Omega)$ for some open, connected, bounded subset $\Omega$ of $\mathbb R^n$. We consider for each $t \...
- 6,215
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 ...
- 6,215
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 ...
- 6,215
2
votes
1
answer
203
views
Does this maximisation problem admit a finite upper bound?
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,399
4
votes
2
answers
276
views
A function that maps every perfect set to $\mathbb{R}$
It's known that some real functions map every nonempty open subset onto $\mathbb{R}$.
Is there any function from $\mathbb{R}$ to $\mathbb{R}$ that maps every nonempty perfect set onto $\mathbb{R}$?
- 637
-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. ...
- 421
1
vote
1
answer
120
views
Does Gaussian heat kernel ensure $\int_{\mathbb R^d} (1+|x|) \sqrt{\ell_{t_0} (x)} \, \mathrm d x < \infty$?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $\ell : \bR^d \to \bR_+$ be a probability density function such that
$$
\int_{\bR^d} (1+|x|) \sqrt{\ell (x)} \diff x < ...
- 835
1
vote
1
answer
127
views
approximating differentiable functions with double trigonometric polynomials
Let $Q = [0,1]^2$. For sake of notation, let
$$
f^{(i,j)}(x,\xi) = \frac{\partial^{i+j}}{\partial x^i \partial \xi^j}f(x,\xi).
$$
Fix some non-negative integer $k$. Moreover let $f\in C^k(Q)$ if
$$
\|...
- 171
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 ...
- 387
9
votes
3
answers
861
views
A curious equation on determinant----linear algebra or algebraic geometry?
I recently find a curious and unexplainable(as seems to me) equation on determinant as follows.
$$3\begin{vmatrix}
a_1 & b_1 & c_1 & d_1 \\
a_2 & b_2 & c_2 & d_2 \\
...
- 357
2
votes
2
answers
191
views
Gronwall's inequality in discretized time
$
\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
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 ...
- 171
0
votes
0
answers
116
views
Integral of a measurable function with parameter is measurable?
Say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$, where $\Omega\subset\mathbb{R}^N$ is an open set, is a function such that:
$f(x,\cdot)\in L^1_{\text{loc}}(\mathbb{R})$ for a.a. $x\in\Omega$
$f(\...
- 1,759
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 ...
- 105
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 ...
- 779
3
votes
1
answer
346
views
Prove that $\lim\limits_{n\to\infty}\left(\sum\limits_{r=0}^{n-1}\sqrt{1-\frac{r^2}{n^2}}-\frac{\pi}{4}n\right)=\frac{1}{2}$
I came across the above question in a mathematical problem. It is not difficult to see that
$$
\lim\limits_{n\to\infty}\left(\frac{1}{n}\sum\limits_{r=0}^{n-1}\sqrt{1-\frac{r^2}{n^2}}\right)=\int\...
- 41
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 ...
- 1,399
0
votes
0
answers
56
views
What is the maximum of $ \frac{\sin(n(x+a))}{\sin(x+a)} + \frac{\sin(n(x-a))}{\sin(x-a)}$?
I have asked this here. Due to inactivity and no satisfying answers, I am asking here. Hope that's okay.
We know the global maxima of the function $\frac{\sin(nx)}{\sin(x)}$
is $n$ (thanks to this ...
- 113
2
votes
0
answers
67
views
'Sublinear' and 'superlinear' moduli of continuity
Recall, given a metric space $X$, a function $f:X \rightarrow \mathbb{R}$ has (uniform) modulus of continuity $w:[0,\infty) \rightarrow [0,\infty]$ if $|f(x) - f(y)| < w(|x-y|)$ for all $x,y \in X$....
- 135
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:
...
- 779
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
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(...
- 1,091
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 ...
- 6,215
7
votes
2
answers
2k
views
Method of characteristics for higher order PDEs in more than two variables
I am trying to understand the mathod of characteristics for solving partial differential equations. However, all the examples I found over the internet are for first order PDEs or for second order ...
- 8,998
2
votes
1
answer
246
views
Inequality with Hermite polynomials
Consider the (physicist's) Hermite polynomials $H_n(x)$ which are divided by
$$\sqrt{\sqrt{\pi} 2^n n!}$$
for the purpose of normalization.
These are orthogonal with respect to the weight function $e^{...
- 43.2k
1
vote
0
answers
100
views
Difference of two completely monotonic functions
We know by the Hausdorff-Bernstein-Widder theorem that any completely monotonic function on the positive half line $[0, \infty)$ is given by the Laplace transform of a positive Borel measure on $[0, \...
3
votes
0
answers
95
views
Is it true that p-integrable function can be written as a convolution of an integrable function and p-integrable function?
We know that convolution of an integrable function with an $p$-integrable is an $p$-integrable function. This follows from Young's inequality.
My question: Is it true that $L^p(\mathbb{R}^n)\subseteq ...
- 31
1
vote
0
answers
175
views
Solution of recurrence relation with summation
I have the following recurrence relation:
$$b(n,k)=\sum _{\text{i}=0}^{2 n-1} \left(b(n-1,k-\text{i})+\frac{\text{i} (2 n-\text{i}) \binom{2 n-1}{\text{i}} \binom{(n-2)^2}{k-\text{i}}}{2 n-1} \right)$$...
- 47
9
votes
4
answers
742
views
Distributional derivatives are locally integrable implies the distribution is also locally integrable?
Let $T$ be a distribution on $\mathbb{R}^n$ such that there are functions $f_1,\ldots,f_n \in L^1_\text{loc}(\mathbb{R}^n)$ so that $\dfrac{\partial T}{\partial x_j} = f_j, \forall j=1,\ldots,n. $
My ...
- 93
1
vote
1
answer
62
views
Integrability in the product space can follow from a property of the Nemytskii operator?
Let's say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$ is a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where ...
- 1,759
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 ...
- 421
122
votes
5
answers
27k
views
Is the series $\sum_n|\sin n|^n/n$ convergent?
Problem. Is the series $$\sum_{n=1}^\infty\frac{|\sin(n)|^n}n$$convergent?
(The problem was posed on 22.06.2017 by Ph D students of H.Steinhaus Center of Wroclaw Polytechnica. The promised prize for ...
- 4,535
6
votes
0
answers
632
views
Generating functions in countable commutative monoids
Let $f: \mathbb{N}_0 \rightarrow \mathbb{C}$ be a function. The power series of $f$ can be viewed as the function $\mathscr{P}_f : q \mapsto \sum_{n \in \mathbb{N}_0}^{} f(n)q^n$ where $q \in \mathbb{...
- 405
1
vote
1
answer
93
views
Bound measure of difference of advected sets by norm of difference of vector fields
Consider two smooth vector fields $v$ and $u$ in $\mathbb{R}^n$, and a smooth set $\Omega$. Consider the flow of $\Omega$ via $v$ and $u$ for a time $T$, namely let
$$ \Omega_v =\{x(T, x_0) | x \text{ ...
- 697
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 ...
- 835
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
5
votes
2
answers
420
views
Maximum determinant of binary matrices with special properties
Let $A$ be an $n$-by-$n$ binary matrix (all elements are in $\{0,1\}$). It is known that the determinant of $A$ is bounded by $O(n^{n/2} / 2^n)$. I am looking for tighter upper bounds for matrices ...
- 3,549
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 ...
- 113
11
votes
1
answer
676
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,215
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