**21**

votes

**0**answers

520 views

### Relative null-ness

Here, "measure" always means Lebesgue measure on $\mathbb{R}$. This question is partly motivated by my answer ...

**18**

votes

**0**answers

559 views

### A Linear Order from AP Calculus

In teaching my calculus students about limits and function domination, we ran into the class of functions
$$\Theta=\{x^\alpha (\ln{x})^\beta\}_{(\alpha,\beta)\in\mathbb{R}^2}$$
Suppose we say that ...

**17**

votes

**0**answers

437 views

### A question about small sets of reals

In ZFC, does there exist an uncountable set of reals $A$ such that for every closed measure zero set of reals $B$, $ A + B = \{a+b : a \in A, b \in B\} \neq \mathbb{R}$?
This question is motivated ...

**16**

votes

**0**answers

918 views

### Almost everywhere differentiability for a class of functions on $\mathbb{R}^2$

A while ago, I came across the following problem, which I was not able to resolve one way or the other.
Let $f,g\colon\mathbb{R}^2\to\mathbb{R}$ be continuous functions such that $f(t,x)$ and ...

**15**

votes

**0**answers

276 views

### Partitions of ${\rm Sym}(\mathbb{N})$ induced by convergent, but not absolutely convergent series

Let $(a_n) \subset \mathbb{R}$ be a sequence such that the series
$\sum_{n=1}^\infty a_n$ converges, but does not converge absolutely.
Then there is a partition of the symmetric group ${\rm ...

**12**

votes

**0**answers

86 views

### A kaleidoscopic coloring of the plane

Is there a partition $\mathbb R^2=A\sqcup B$ of the Euclidean plane into two Lebesgue measurable sets such that for any disk $D$ of the unit radius we get $\lambda(A\cap D)=\lambda(B\cap ...

**12**

votes

**0**answers

414 views

### Classes of (non-continuous) functions with the fixed point property

Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...

**11**

votes

**0**answers

106 views

### Interval arithmetic with different definitions of intervals

Interval arithmetic normally deals with intervals defined as $[a,b]$ with rules like $$[a,b]+[c,d]=[a+c,b+d]$$ I am interested in interval arithmetic with different interval definitions such as ...

**11**

votes

**0**answers

221 views

### Asymptotics of a Selberg-type integral

Let $\Delta(s_1,s_2,\ldots,s_n) = \prod_{i<j}(s_i-s_j)^2$. Is there a standard way to estimate the decay of the Selberg-type integral
$$ \frac{1}{n!^2}\int_0^1 \int_0^1\cdots\int_0^1 ...

**10**

votes

**0**answers

288 views

### A multiple integral

Let us consider the multiple integral
$$I_{n}=\int_{-\infty }^{\infty }ds_{1}\int_{-\infty}^{s_{1}}ds_{2}\cdots
\int_{-\infty }^{s_{2n-1}}ds_{2n}\;\cos {(s_{1}^{2}-s_{2}^{2})}\;\cdots
\cos ...

**9**

votes

**0**answers

64 views

### Assymptotics of a Selberg type integral

Does any one know some references/ ideas on how to study the assymptotics as $N$ goes to $\infty$ of the following Selberg type integral
$$\int _{\mathbb R^N} e^{-|x|^2}\ \prod_{1\le i<j\le N} ...

**9**

votes

**0**answers

239 views

### Does antidifferentiability of continuous functions imply Dedekind completeness?

Let $R$ be an ordered field, and let $I$ be {$x \in R: a < x < b$} for some $a < b$ in $R$. Define notions of $R$-continuity and $R$-differentiability for functions $f : I \rightarrow R$ by ...

**8**

votes

**0**answers

205 views

### If the generating function summation and zeta regularized sum of a divergent exist, do they always coincide?

One could assign a value to divergent series by means of several summation methods. One summation method we could consider is the generating function method. Let's sum, for example, the fibonacci ...

**8**

votes

**0**answers

332 views

### Evaluating Shintani cone zeta functions

Hi everyone
I am trying the evaluate sums of the form
$$ \sum_{n_1>0,n_2>0,\ldots,n_m>0} \frac{1}{\big((a_{1,1}n_1 +\ldots +a_{1,m}n_m)^k \ldots (a_{m,1}n_1+ \ldots +a_{m,m}n_m)^k\big)}$$
...

**7**

votes

**0**answers

294 views

### About the first decimal of $\sqrt {n!}$

Do we have :
$$\sup\{\sqrt {n!} - E(\sqrt {n!}); n\in I\!\!N\}=1?$$
Where $E(\cdot)$ is the integer part function, and $n!=1\times 2...\times n$.

**7**

votes

**0**answers

88 views

### A monoid-structure on pairs of interlacing polynomials

Let us call a pair of two real polynomials $(P,Q)$ interlacing if $\deg(P)=\deg(Q)+1$, both polynomials have strictly positive leading coefficients and $P,Q$ have only real roots which interlace ...

**7**

votes

**0**answers

170 views

### Interpolation between L^1 and Sobolev Space

Suppose $D^\alpha$ is fractional differentiation of order $\alpha$ on the real line. Is it true that
$||D^\alpha f||_{L^\frac{2 \beta}{2 \beta - \alpha}({\mathbb R})} \leq C_{\alpha,\beta} ...

**7**

votes

**0**answers

121 views

### On derivatives of polynomials majorized by $\max(1,|x|^d)$

In the course of generalizing the Bernstein-Markov theorem to normed space, Harris came up with the following question.
Suppose that $p$ is a real polynomial satisfying $|p(x)| \leq (1+|x|)^d$. ...

**7**

votes

**0**answers

275 views

### Uniform closure of subspaces of Baire class 1

Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...

**7**

votes

**0**answers

225 views

### Is $Q_n(x)=\sigma_{n+1}(x)/\sigma_n(x)$ logarithmically convex on $\mathbf{R}$?

In 1975 J. van de Lune considered the monotony properties of the canonical Riemann Upper and Lower sums for $\int_0^1 t^xdt$, with $x>0$.
Writing $\sigma_n(x) := 1^x+2^x+\cdots+n^x$ these sums are
...

**6**

votes

**0**answers

72 views

### Upper bound for a sum including Andre polynomial coefficients

Let $ c_{n,k} $ be a sequence defined by the following relations: $\displaystyle c_{n,0} = 1, \hspace{0.1cm} (n \ge 1)$;
$$ c_{n,k} = (k+1) c_{n-1,k} +(n-2k+1) c_{n-1,k-1}, \hspace{0.5cm} (1 \leq k ...

**6**

votes

**0**answers

253 views

### Heisenberg group: function without vertical derivative

Let $\mathbb H$ be Heisenberg group with vector fields
$$
X=\partial_x - \frac12y\partial_t,\quad Y=\partial_y + \frac12x\partial_t,\quad T=\partial_t
$$
and $U\subset\mathbb H$ is an open set.
I am ...

**6**

votes

**0**answers

189 views

### Asymptotic behavior of a sequence of functions

For $n\in\mathbb{N}$ and $q\in(0,1)$, define
$$f_{n}(q):=\sum_{i_{1},i_{2},\dots,i_{n}=1}^{\infty}\frac{q^{i_1+i_2+\dots+i_n}}{(1-q^{i_1+i_2})(1-q^{i_2+i_3})\dots(1-q^{i_{n-1}+i_n})(1-q^{i_n+i_1})}.$$
...

**6**

votes

**0**answers

308 views

### Polynomials and divided differences

I would greatly appreciate any hint for proving the following.
Question: Let $f:[0, 1] \to {\bf R}$. Can it be proved that if $[0, 1/(N+m),\dots, (N+m)/(N+m) ; f ]=0$ for all $m=1,2, 3,\dots$, then ...

**5**

votes

**0**answers

93 views

### Improving Baumgartner's result?

Q1: Is it consistent with the failure of CH to have an $\aleph_1$-dense subset $A \subseteq \mathbb{R}$ such that for every $X \subseteq \mathbb{R}$ of size $\aleph_1$, there is a $C^{\infty}$ map $F: ...

**5**

votes

**0**answers

205 views

### Recurrence Formula for Zernike polynomials

I'm not sure if this is research level, so if this result is known, please excuse the intrusion. I am trying to find a relation between solutions of the Laplacian equation in $4$ dimensions and those ...

**5**

votes

**0**answers

107 views

### Uniform approximation of separately continuous functions on zero-dimensional spaces

For topological spaces $X,Y,Z$ а function $f:X\times Y\to Z$ is called separately continuous if for any $(x,y)\in X\times Y$ the restrictions of $f$ to the sets $\{x\}\times Y$ and $X\times \{y\}$ are ...

**5**

votes

**0**answers

176 views

### Version of Stone Weierstrass for functions not vanishing at infinity

I am trying to see what is known about uniform density of function spaces in $C(\mathbb{R}^n)$ or $C_b(\mathbb{R}^n)$ (bounded continuous functions on $\mathbb{R}^n$). By uniform density, I mean ...

**5**

votes

**0**answers

137 views

### Intersection of connected components in $\mathbb{R}^n$

Let $n$ be a positive integer and let $K\subseteq \mathbb{R}^n$ be compact. Pick $x^* \in \mathbb{R}^n\setminus K$.
Let $E$ be the connected component of $\mathbb{R}^n\setminus K$ that contains ...

**5**

votes

**0**answers

123 views

### Local version of the Hardy-Littlewood-Sobolev theorem for Riesz potentials: $\|I_\alpha(f)\|_{L^q} \le C \|f\|_{L^p}$?

Recently, I have been studying the properties of the Riesz potential
$$
I_\alpha(f)(x) = c_{d,\alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy.
$$
The classical Hardy-Littlewood-Sobolev ...

**5**

votes

**0**answers

176 views

### Degree of Chebyshev polynomial necessary

In general, given $0<a<1$, I want to find a polynomial $f(x)\in\Bbb R[x]$ such that $f(x)\in[1-\frac{a}2,1+\frac{a}2]$ at every $x\in[1-a,1+a]$ and $f(0)=0$. What is minimum degree that is ...

**5**

votes

**0**answers

150 views

### Characterizations of an exotic measure on the open sets in the circle $S^{1}$

Suppose that $U\subseteq S^{1}$ is open where $S^{1}=\{z\in\mathbb{Z}:|z|=1\}$. Then define $\mu_{n}(U)=\max_{t\in S^{1}}\frac{1}{n}\cdot|\{k\in\{1,...,n\}|t\cdot e^{\frac{2\pi ik}{n}}\in U\}|$. ...

**5**

votes

**0**answers

75 views

### Cusp point and straightness of a smooth curve.

I have a smooth curve of length $L$ with a single cusp point $P$ occuring at length $s = L_P$. Let the curve in arc length parametrization be $\alpha_t(s) \equiv (X_t(s),Y_t(s)) $. They are actually a ...

**5**

votes

**0**answers

175 views

### Reference for Hodge decomposition

Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...

**5**

votes

**0**answers

220 views

### Strong convexity of the trace of the square root of a matrix function

Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...

**5**

votes

**0**answers

306 views

### Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...

**5**

votes

**0**answers

104 views

### Error of midpoint method for differentiable functions

Is it the case that for every differentiable function $f$ on $[0,1]$ (with finite one-sided derivatives at the endpoints), the midpoint method of estimating $\int_0^1 f(x) \: dx$ has error $o(1/n)$?
...

**5**

votes

**0**answers

179 views

### Is there an appropriate weighted Sobolev space to include exponential map and projection map?

Observe that given a non negative function
$\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted
$L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions
$f: ...

**5**

votes

**0**answers

199 views

### Sum of product maximum

For which pairs of integers $(n,m)$ is the maximum of the following function $$f(x)=\sum_{i_1+\dots +i_n=m}\prod_{k=1}^n x^{i_k}_{k},\ \ x=(x_1,\dots,x_n), \|x\|=1$$ attained when $x_1=\dots=x_n$?
...

**5**

votes

**0**answers

177 views

### Differential operators that preserve real-rootedness

Is there some description of polynomial differential operators, $\mathcal{D}=\sum f_i(x) D_x^i$ such that, if $h$ is a polynomial all of whose roots are in $[0,1]$, then so are all the roots of ...

**5**

votes

**0**answers

523 views

### two versions of the nested interval property

There appear to be two different nested interval properties for the reals with the punchline "... then the intersection of the intervals is non-empty", and I'd like to know their respective histories ...

**5**

votes

**0**answers

320 views

### Independent Events Inducing Probability Measures

Let $\mathcal{F}$ be a sigma algebra over $\Omega$ and $M$ the set of all probability measures on $\mathcal{F}$. Let $\mathcal{C}$ be some collection of pairs $(A,B)$ with $ \ A,B\in\mathcal{F}$. Now ...

**4**

votes

**0**answers

122 views

### Proving Richardson's theorem for constants

(I asked this a little over 3 months ago on math.SE, and when I initially re-asked here, no one had responded there. $\:$ After I re-asked here, Eric Towers responded there, since I had forgotten to ...

**4**

votes

**0**answers

130 views

### Equidistribution of spheres in $\mathbb{R^2}/\mathbb{Z^2}$

Let $\mathbb{H^2}$ be the hyperbolic upper half place, and let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$ acting on $\mathbb{H^2}$. A proof of the equidistribution of spheres on $\mathbb{H^2/\Gamma}$ ...

**4**

votes

**0**answers

163 views

### Evaluate a multiple integral

I want to compute this integral and I would appreciate any help: $N\geq 1$ is fixed.
$$I_N=\int_{0\le r_n\le r_{n-1}\le\cdots\le r_1} e^{-(r_1^2+\cdots+r_n^2)} \prod_{i<j} \sinh(r_i-r_j) ...

**4**

votes

**0**answers

121 views

### $H^s$ norm of a solution of a nonlinear Schrödinger equation

I'm reading the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$ by Colliander, Keel, Staffilani, Takaoka and Tao.
They study the ...

**4**

votes

**0**answers

220 views

### Does there exist a supersmooth non-polynomial function?

Let's call a $C^{\infty}$-function $f:\mathbb{R}\rightarrow\mathbb{R}$ Lebesgue supersmooth if whenever $a_{n}\in\mathbb{R}$ for all $n$, then $\lim_{n\rightarrow\infty}a_{n}f^{(n)}(x)\rightarrow 0$ ...

**4**

votes

**0**answers

208 views

### Boundary of an open, bounded and convex set in $\mathbb{R} ^n$

Let $U$ be an open, bounded and convex set in $\mathbb{R} ^n$. Since $\partial U$ is a rectifiable set it follows that up to a set of $H^{n-1}$-measure zero $\partial U$ is contained in a countable ...

**4**

votes

**0**answers

246 views

### Inverse of matrix-valued function

Given $c>0$. Let $\gamma_c:{\cal M}_{k \times k}^+\mapsto {\cal M}_{k \times k}^+$ is a function defined by
\begin{equation}
...

**4**

votes

**0**answers

2k views

### Are planar Lipschitz curves countable unions of graphs?

More precisely:
Question:
Let $\gamma \colon [0,1] \to \mathbb{R}^2$ be Lipschitz. Do there exist Borel (or Suslin) sets $A_i \subset \mathbb{R}^2$ and directions $v_i \in \mathbb{R}^2$, for ...