**16**

votes

**0**answers

402 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

899 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

388 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 ...

**15**

votes

**0**answers

271 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

402 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$.
...

**10**

votes

**0**answers

268 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 ...

**10**

votes

**0**answers

212 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 ...

**9**

votes

**0**answers

57 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

229 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

133 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 ...

**8**

votes

**0**answers

189 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

329 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

288 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

87 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

163 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

119 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

269 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

219 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

242 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

172 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

300 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

171 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

118 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

168 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

146 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

66 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

239 views

### A generalization of Jensen's Inequality

Jensen's inequality is well known as
$$E\big[f(X)\big]\le f\big(E[X]\big)$$
where $X$ is a integrable random variable and $f: R\to R$ is a bounded concave function, see also ...

**5**

votes

**0**answers

172 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

178 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

270 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

172 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

197 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

173 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

514 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

121 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

152 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

113 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

214 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

191 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

234 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

308 views

### decreasing rearrangements: why the asymmetry of measure-preserving maps?

Ryff proved in 1970 that the decreasing rearrangement $f^*$ of a, say, continuous function $f:[0,1]\to\mathbb{R}$ admits a measure preserving map $\phi$ such that $f=f^*\circ\phi$. In general it is ...

**4**

votes

**0**answers

231 views

### Literature on Exponential of a Quadratic Form

Let $A_i$, $i=1,\dots,L$ be given $N\times N$ positive definite real matrices. I have this sum of exponentials
\begin{align}
...

**4**

votes

**0**answers

196 views

### Viscosity solution of the PDE

Let $\Omega$ be bounded domain, $u=0$ on $\delta\Omega$ and
$$|Du|-f(x,u)=0$$
where $f\ge 0$ and $f$ is strictly monotone for fixed $x.$ I am looking for the reference to show that it has unique ...

**4**

votes

**0**answers

417 views

### System of Equations Upper Bound

I asked a related question on math.stackexchange here but would now like to obtain a better bound. This question comes from a graph theory problem. I'll restate the new question here:
For ...

**4**

votes

**0**answers

191 views

### The ring generated by measures

Suppose $X$ is a space equipped with a $\sigma$-algebra $\mathcal{M}_X$. Then the set of measures on $X$ is closed under addition and scalar multiplication by elements of ${\mathbb R}$. Formally ...

**4**

votes

**0**answers

227 views

### Real Analytic Function and nth Prime

It is trivial that there are no polynomial function $P$ with integer coefficients that has the property $P(n)=p_n$ where $p_n$ is the $n$th prime.While it is true that can always construct a smooth ...

**4**

votes

**0**answers

96 views

### rank of a C^1 map

I saw this three star problem in Hirsch ..
If we have open sets $U \subset R^3$ ,$V \subset R^2$ and $f:U \to V$ is $C^1$ and onto...Prove there is at least one point in $U$ where $f$ has full rank
...

**4**

votes

**0**answers

153 views

### Symmetric functions and regularity (II)

My previous question (where $n=2$) was a bit too naive. I think that this one, which is the one being of genuine interest to me, is more involved.
Let $f=\mathbb R^n\rightarrow\mathbb R$ be a ...