All Questions
5,659 questions
6
votes
1
answer
217
views
F-sigma subset of plane meeting every circle at 3 points
Is there an $F_{\sigma}$-set (countable union of closed subsets of plane) $S \subseteq \mathbb{R}^2$ that meets every circle at 3 points?
- 9,641
6
votes
1
answer
260
views
bounding derivative of a sequence
I've been banging my head against the wall on this one ... define a sequence of polynomials $q_n$ by $q_0 = 0$ and $$q_{n+1} = q_n + .5(t^2 - q_n^2).$$ If $q_n \leq t$ on $[0,1]$ then $$.5(t^2 - q_n^2)...
- 42.8k
6
votes
2
answers
2k
views
Continuity of a convolution (Version 2)
Hello,
This problem bothers me for some time. Suppose that
$\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
$\psi$ is ...
6
votes
6
answers
4k
views
existence of antiderivatives of nasty but elementary functions
In discussing with my honors calculus class the fact that some continuous elementary functions do not have an elementary antiderivative, I realized I was unsure whether every discontinuous elementary ...
- 19.7k
6
votes
1
answer
210
views
Is the Hardy Littlewood “minimal function” comparable to the original function in $L^1$ norm?
Given $f \in L^1 (\mathbb R^d)$, and $\varepsilon > 0$, define the minimal function $m_\varepsilon f$ by
$$m_\varepsilon f(x) := \inf_B \frac1{|B|} \int_B |f| ,$$
where the infimum is taken over ...
- 6,233
6
votes
1
answer
346
views
Characterization of sums of periodic functions over the real line
Is there any known characterization of the functions $\mathbb{R \to R}$ that can be written as a sum of (a finite family of) periodic functions? Not assuming any regularity condition (not even ...
6
votes
2
answers
336
views
On frequency decay of an integral transform of a function
Suppose $f \in C^{\infty}_c((-1,1))$ and assume that there exists constants $a,b>0$ such that
$$
\bigg|\int_{\mathbb R} f(t) \,e^{\tau t^2+i\tau t}\,dt\bigg| \leq a\,e^{-b|\tau|},$$
for all $\tau \...
- 4,153
6
votes
1
answer
228
views
Set where the speed of convergence is uniform in Lebesgue's density theorem
Let $B \subset \mathbb R^n$ be the unit ball.
Consider a Borel measurable set $E \subset B$ with positive Lebesgue measure $|E|>0$ (say $|E| = |B|/2$).
Then, Lebesgue's density theorem, says that ...
- 393
6
votes
1
answer
182
views
Mittag-Leffler function
Let the Mittaq-Leffler function be defined by the expression
$$ E_{\mu,\nu}(z) = \sum_{k=0}^{\infty} \frac{z^k}{\Gamma(k\mu+\nu)}\quad \text{$\mu>0$ and $\nu\in \mathbb R$}$$
Now let $n\in \mathbb ...
- 4,153
6
votes
1
answer
378
views
Optimal constant in Sobolev embedding
It is well-known that the Sobolev space $H^1(0,s)$ embeds continuously in the space of continuous functions $C[0,s]$; in fact, Marti has found in 1983 that the optimal embedding constant is $\sqrt{\...
- 3,388
6
votes
1
answer
526
views
Holomorphic extensions of a non-vanishing real-analytic function
Let f(z) be a holomorphic function defined on an open neighborhood $R$
of the interval $I=[0,1]\subset \mathbb{R}$. Assume $f$
does not vanish on $I$. Then $g(x) = |f(x)|$ is a real-analytic
function ...
- 20.2k
6
votes
2
answers
759
views
How to control Wasserstein distance in terms of characteristic function
Let $\mathcal P(\Omega)$ be the set of probability measures supported on some compact subset $\Omega\subset\mathbb R^d$. For $\mu\in\mathcal P(\Omega)$, denote by $F_{\mu}$ its characteristic function,...
user128095
6
votes
1
answer
183
views
Minimum of $z:\mathbb{R}^n \to \mathbb{R}$ along paths implies local minimum of $z$
Suppose we are given a smooth function $z: \mathbb{R}^n \to \mathbb{R}$, a point $x_0 \in \mathbb{R}^n$ and a set $\mathcal{F}$ consisting of certain paths in $\mathbb{R}^n$, i.e. $f: [0,1] \to \...
- 63
6
votes
1
answer
290
views
What is the growth rate of the products of binomial coefficients?
Question 1: Are the following empirically observed relationships true
$$
{n \choose 1^a}{n \choose 2^a}{n \choose 3^a}\cdots {n \choose m^a}
\sim \exp\bigg(\frac{2n^{1 + \frac{1}{a}}}{a+3}\bigg)
$$
...
- 5,470
6
votes
1
answer
136
views
Second derivative of integral function
Let $f: \mathbb R^2 \rightarrow \mathbb R$ be a smooth strictly convex function with unique minimum at $0$ such that all level sets $A_x:=\left\{z ; f(z) \le x \right\}$ are compact. Imagine something ...
user121558
6
votes
2
answers
251
views
uniform approximation by a particular set of functions
Consider the interval $[0,1]$ and let $\mu_k(t)$ with $k=1,\ldots,n$ be continuous functions such that they are all strictly increasing on the interval $[0,1]$ and such that $\mu_1(t)<\mu_2(t)<\...
- 4,153
6
votes
1
answer
186
views
Reference request: A collection of topologies on $\mathbb{N}$ formed via series
First, some quick notation: for any series $\sum_{n=1}^\infty a_n$ whose terms are positive real numbers, and for any subset $M = \{m_1, m_2,...\} \subseteq \mathbb{N}$, we write $\sum_M a_n$ to mean ...
- 6,546
6
votes
1
answer
363
views
Double Series involving Gamma function
Does anyone have any ideas on howto verify $$\sum_{n,m=0}^\infty \frac{\Gamma(n+m+3x)}{\Gamma(n+1+x)\Gamma(m+1+x)}\cdot \frac{1}{3^{n+m+3x-1}} = \Gamma(x)$$ for $x>0$?
I posted this question also ...
- 284
6
votes
2
answers
681
views
integral depending on a parameter
Let $f$ be a real-valued continuous function on the interval $[0,1]$ and satisfy the following estimate
$$
\left|\int_0^1 f(t) e^{st}dt\right|\le Cs^{\frac12},\quad s>1,
$$
where the constant $C$ ...
- 375
6
votes
3
answers
457
views
Exercise related to log-Sobolev inequalities
This is essentially what Exercise 5.4 in
Boucheron, Lugosi, Massart Concentration Inequalities boils down to:
For real $a,b$ and $0<p<1$,
\begin{align*}
&pa^2\log( \frac{a^2}{b^2+pa^2-pb^2}...
- 6,541
6
votes
1
answer
306
views
In the plane, does complement of Brownian path have infinitely many connected components?
Let $d = 2$. Do we have that with $P_x$—probability $1$, for every $T> 0$ the complement $W[0, T]^c$ of the Brownian path up to time $T$ has infinitely many connected components?
I had seen this ...
- 61
6
votes
1
answer
983
views
Legendre transform and Lipschitz approximation
Let $(X,d)$ be a compact metric space and $f:X \to \mathbb{R}$ a real valued continuous function. Let us agree that a modulus of continuity means concave, nondecreasing, uniformly continuous function $...
- 9,330
6
votes
1
answer
1k
views
Level sets of a Weierstrass nowhere-differentiable function
Can anyone describe level sets of a Weierstrass nowhere-differentiable function? For example, let $f(x) = \sum_{n=0}^\infty \frac{1}{2^n} \cos( 4^n \pi x)$. For some $c \in (-2,2)$, what is known ...
- 413
6
votes
1
answer
152
views
Terminology for sequences/functions that approach each other
What do I call two sequences $a, b$ such that $\lim_{n\to\infty} |a_n - b_n| = 0$? Or what do I call two functions $f, g$ such that $\lim_{x\to c} |f(x) - g(x)| = 0$? (For my purposes, these are ...
- 2,754
6
votes
1
answer
635
views
Arbitrary small positive lower semi continuous functions
This question is a generalization of the question posed in this page to lower semi continuous functions. so let me describe the Question in the following way.
Def: Let $(X,\tau)$ be a Tychonoff ...
- 1,788
6
votes
3
answers
1k
views
functional subrings
I should recall the notion of maximal subring of a commutative unitary ring $R$.
Def: A commutative ring $S$ is called a maximal subring of $R$ if $S \subset R$ and if $T \subset R$ constitute a ...
- 1,788
6
votes
2
answers
2k
views
non-maximal prime ideal in the ring of continuous functions
Let $A=C(0,1)$ be the ring of continuous real valued functions on the open interval $(0,1)$. It is not too difficult to show that if $\mathfrak{m}\subseteq A$ is a maximal ideal with residue field $A/\...
- 7,609
6
votes
2
answers
225
views
On a trigonometric inequality by Huygens
The following inequality, ascribed to Huygens, appeared in this post:
\begin{equation*}
1-\frac43\,\frac{\sin^3\theta/2}{\theta-\sin\theta}
>(1-\cos\theta/2)\Big(\frac35-\frac3{1400}\frac{\...
- 128k
6
votes
1
answer
308
views
Operation preserving log-concavity of sequences
Here a log-concave sequence $(a_0,a_1,a_2,\ldots)$ is a sequence of positive real numbers such that $a_i^2 \geq a_{i-1}a_{i+1}$ for each $i\geq 1$. These are pervasive within mathematics.
A polynomial ...
- 1,889
6
votes
1
answer
405
views
Baire class $1$ functions and Baire's characterization theorem
Kechris in his Classical Descriptive Set Theory book gives the following definition (Definition 24.1) and characterization (Theorem 24.15) of Baire class $1$ functions:
Definition. Let $X,Y$ be ...
- 2,286
6
votes
1
answer
193
views
Oscillatory integrals with a decaying factor in the integrand
Lemma 4.5 of Titchmarsh's book The Theory of the Riemann Zeta function says (slightly rephrased):
Let $F$ be a twice differentiable real function such that $ F''(x) \geq r > 0$ for all $x$ in $[a,b]...
- 63
6
votes
2
answers
499
views
When is $\lVert f*g\rVert_\infty=\lVert f\rVert_1\lVert g\rVert_\infty$?
If $1\leq p<\infty$, it is easy to find nice necessary and sufficient equality conditions for the convolution inequality $$\lVert f*g\rVert_p\leq\lVert f\rVert_1\lVert g\rVert_p\qquad (f\in L^1(\...
- 199
6
votes
1
answer
256
views
Perron-Frobenius and Markov chains on countable state space
The following question naturally arises in the theory of Markov chains with countable state space to which I would be curious to know the answer:
Let $A:\ell^1 \rightarrow \ell^1$ be a contraction, i....
- 173
6
votes
1
answer
474
views
A smooth function $\mathbb{R}\to\mathbb{R}$ agrees with an analytic function on a bounded infinite set
Fix a smooth function $f:\mathbb{R}\to\mathbb{R}$. Do there exist real numbers $a<b$, an infinite set $S\subset (a, b)$ and an analytic function $g$ defined on $(a-\epsilon, b+\epsilon)$ for some $\...
user158636
6
votes
1
answer
196
views
Circular sequences continuous?
I noticed something interesting when playing around with Mathematica.
Consider the sum
$$x(N)= \frac{1}{N^2} \sum_{i=1}^{N-1} \frac{1}{1-\cos(2\pi i/N)}$$
this sequence will converge to $1/6$ as $N$...
user121558
6
votes
1
answer
182
views
Can we approximate a vector field on the plane with non-vanishing vector fields in $W^{1,2}$?
Let $V$ be a compactly-supported vector field on $\mathbb{R}^2$, whose zeros inside some open neighbourhood of the closed unit disk $\mathbb{D}^2$ are isolated.
Does there exist a sequence of ...
- 6,741
6
votes
1
answer
433
views
Triangle inequality for Ito integral?
For Lebesgue integrals one has the triangle inequality saying that for continuous functions let's say
$$\left\vert\int_0^t f(s) \ ds\right\vert \le \Vert f \Vert_{\infty} \int_0^t \ ds$$
Now if ...
- 536
6
votes
1
answer
1k
views
Uniformly differentiable functions
Note: Here all functions are $\mathbb R \to \mathbb R$. $Id$ denotes the identity function.
Let $g_i$ be a family of functions indexed by some (potentially uncountable) index set $I$. Given a ...
- 2,079
6
votes
1
answer
494
views
Asymptotic expansion of the sum $ \sum\limits_{k=1}^{n} \frac{\binom{n+1}{k} B_k}{ 3^k-1 } $
The situation :
I am looking for an asymptotic expansion of the sum $\displaystyle a_n=\sum_{k=1}^{n} \frac{\binom{n+1}{k} B_k}{ 3^k-1 } $ when $n \to \infty$.
(The $ B_k $ are the Bernoulli numbers ...
- 463
6
votes
1
answer
728
views
Intuition behind the non-Borel Lusin example
Among the concrete examples of a non-borel subset of $\mathbb{R}$,
I know only the Lusin example.
This is the set $L$ of all irrational numbers whose
continued fraction representation $(a_0,a_1,\...
- 549
6
votes
1
answer
409
views
Can the potential of a complete Kahler metric be bounded?
Let $X$ be a complex manifold and $\omega$ a Kahler form on $X$. A smooth function $\rho$ is called a potential of $\omega$ if $i\partial\bar\partial\rho=\omega$. By intuition, it seems that $\rho$ ...
- 285
6
votes
1
answer
216
views
Estimates of Hausdorff dimension (and its derivatives)
For example, the cookie cutter maps, say $T:I_1 \cup I_2 \subset [0,1] \to [0,1] $ is a $C^2$ map such that $|T'|>1$ and provided $I_1$ and $I_2$ are disjoint closed intervals and $T(I_i)=[0,1]$. ...
- 165
6
votes
2
answers
2k
views
Regarding sub-additive sequences and Fekete's lemma
A non-negative sequence $\{a_n\}$ is sub-additive if $a_{m+n}\leq a_m + a_n.$ Fekete's lemma says that for any non-negative sub-additive sequence:
$$\lim_{n\to\infty} \frac{a_n}{n} = \inf_{n} \frac{...
- 1,269
6
votes
1
answer
212
views
Oscillatory integrals of algebraic functions
Consider an algebraic function $\phi$ on $R^{d}$.
By this I mean that there exists a polynomial $P$
with coefficients in $R[x_1,...,x_d]$ (coefficients are polynomials!)
such that $P(\phi) = 0$
Let $...
- 547
6
votes
1
answer
218
views
Approximating an iteratively defined function
Let $f_0,f_1,\ldots$ be a sequence of functions $f_n : [0,1] \rightarrow R$ defined as follows:
$$f_0(x) =1+2x$$
$$f_{n}(x) := \left\{\frac{5+t}{2} : \text{ where t solves } f_{n-1}\left(\frac{x}{t}...
- 13k
6
votes
2
answers
720
views
Local concentration of measure on Erdos-Rényi graph
Let $G_n=(V_n,E_n)$ be an Erdos-Rényi random graph, precisely the vertex set is $V_n=(1,\dots,n)$ and the edge set is $E_n=(ij\in\mathcal{P}_2(V_n)\ |\ \epsilon_{ij}=1)$ where $(\epsilon_{ij})_{ij}$ ...
- 293
6
votes
1
answer
2k
views
Can one represent a generalized hypergeometric function 1F2 as a product of two confluent hypergeometric functions?
I am trying to somewhat simplify a series, whose coefficients feature generalised hypergeometric functions ${}_1F_2(1;a,a+1;z)$. I was unable to find useful functional relations for this specific ...
- 476
6
votes
1
answer
197
views
On elliptic operators on non-compact manifolds
Let $(M,g)$ be a (connected, oriented) Riemannian manifold and $E$ some finite-rank $\mathbb{R}$- or $\mathbb{C}$-vector bundle equipped with some (positive-definite) inner product on the level of (...
- 1,429
6
votes
2
answers
333
views
Attainment of maximum
A basic result in real analysis is that a continuous function $f:[0,1]\rightarrow \mathbb{R}$ attains its maximum on $[0,1]$, i.e. there is $x\in [0,1]$ such that $f(x)=\sup_{y\in [0,1]} f(y)$. A ...
- 4,359
6
votes
1
answer
319
views
Does approximately Fréchet differentiable imply approximately Gateaux differentiable?
In what follows, $\mu^n$ denotes $n$-dimensional Lebesgue measure, and $B_r(x)$ is the open ball with radius $r$ centered at $x$.
In elementary calculus, if we have a function $f : \mathbb{R}^n \...
- 700