Explicit conformally constrained Willmore minimizers in arbitrary codimension

In our previous work (Ndiaye and Schätzle, 2014), we proved that the flat constant mean curvature tori $$\begin{aligned} T_r := r S^1 \times \sqrt{1 - r^2} S^1 \subseteq S^3 \quad \hbox {for } 0 < r \le 1/\sqrt{2} \end{aligned}$$ minimize the Willmore energy in their conformal class in codimension one when \(r \approx 1 / \sqrt{2}\) , that is \(T_r\) is close to the Clifford torus \(T_{Cliff} = T_{1/\sqrt{2}}\) . In this article, we extend this to arbitrary codimension. Moreover we prove that the Clifford torus minimizes the Willmore energy in an open neighbourhood of its conformal class, again in arbitrary codimension, but the neighbourhood may depend on the codimension.     

On a problem of Bourgain concerning the L^1-norm of exponential sums

Bourgain posed the problem of calculating $$\begin{aligned} \Sigma = \sup _{n \ge 1} ~\sup _{k_1 < \cdots < k_n} \frac{1}{\sqrt{n}} \left\| \sum _{j=1}^n e^{2 \pi i k_j \theta } \right\| _{L^1([0,1])}. \end{aligned}$$ It is clear that $\Sigma \le 1$ ; beyond that, determining whether $\Sigma < 1$ or $\Sigma =1$ would have some interesting implications, for example concerning the problem whether all rank one transformations have singular maximal spectral type. In the present paper we prove $\Sigma \ge \sqrt{\pi }/2 \approx 0.886$ , by this means improving a result of Karatsuba. For the proof we use a quantitative two-dimensional version of the central limit theorem for lacunary trigonometric series, which in its original form is due to Salem and Zygmund.     

On the normalizing multiplier of the generalized Jackson kernel

We consider the question of evaluating the normalizing multiplier $$\gamma _{n,k} = \frac{1}{\pi }\int_{ - \pi }^\pi {\left( {\frac{{sin\tfrac{{nt}}{2}}}{{sin\tfrac{t}{2}}}} \right)^{2k} dt} $$ for the generalized Jackson kernel J _n,k (t). We obtain the explicit formula $$\gamma _{n,k} = 2\sum\limits_{p = 0}^{\left[ {k - \tfrac{k}{n}} \right]} {( - 1)\left( {\begin{array}{*{20}c} {2k} \\ p \\ \end{array} } \right)\left( {\begin{array}{*{20}c} {k(n + 1) - np - 1} \\ {k(n - 1) - np} \\ \end{array} } \right)} $$ and the representation $$\gamma _{n,k} = \sqrt {\frac{{24}}{\pi }} \cdot \frac{{(n - 1)^{2k - 1} }}{{\sqrt {2k - 1} }}\left[ {1\frac{1}{8} \cdot \frac{1}{{2k - 1}} + \omega (n,k)} \right],$$ , where $$\left| {\omega (n,k)} \right| < \frac{4}{{(2k - 1)\sqrt {ln(2k - 1)} }} + \sqrt {12\pi } \cdot \frac{{k^{\tfrac{3}{2}} }}{{n - 1}}\left( {1 + \frac{1}{{n - 1}}} \right)^{2k - 2} .$$ .     

Some new estimates of the Fourier transform in \mathbb{L}_2 (ℝ)

Given a function $\mathbb{L}_2 $ (?), its Fourier transform $g(x) = \hat f(x) = F[f](x) = \frac{1} {{\sqrt {2\pi } }}\int\limits_{ - \infty }^{ + \infty } {f(x)e^{ - ixt} dt} ,f(t) = F^{ - 1} [g](t) = \frac{1} {{\sqrt {2\pi } }}\int\limits_{ - \infty }^{ + \infty } {g(x)e^{ - ixt} dx} $ and the inverse Fourier transform are considered in the space f ε $\mathbb{L}_2 $ (?). New estimates are presented for the integral $\int\limits_{|t| \geqslant N} {|g(t)|^2 dt} = \int\limits_{|t| \geqslant N} {|\hat f(t)|^2 dt} ,N \geqslant 1,$ in the vase of f ε $\mathbb{L}_2 $ (?) characterized by the generalized modulus of continuity of the kth order constructed with the help of the Steklov function. Some other estimates associated with this integral are proved.     

The zeros of the complementary error function

We show that the complementary error function, $\text{erfc} (z)= \frac{2}{\sqrt{\pi}}\int_z^{\infty}{e^{-s^2} \text{d}s}$ , has no zeros in $\text{D}= \left\{ z : \frac{3}{4} \ \pi \le Arg z \le\frac{5}{4} \ \pi \right\}$ .     

Regularized sums of half-integer powers of a Sturm-Liouville operator

We investigate the question of the regularized sums of part of the eigenvalues z_n (lying along a direction) of a Sturm-Liouville operator. The first regularized sum is $$\sum\nolimits_{n = 1}^\infty {(z_n - n - \frac{{c_1 }}{n} + \frac{2}{\pi } \cdot z_n arctg \frac{1}{{z_n }} - \frac{2}{\pi }) = \frac{{B_2 }}{2} - c_1 \cdot \gamma + \int_1^\infty {\left[ {R(z) - \frac{{l_0 }}{{\sqrt z }} - \frac{{l_1 }}{z} - \frac{{l_2 }}{{z\sqrt z }}} \right]} } \sqrt z dz,$$ where the z_n are eigenvalues lying along the positive semi-axis, z _n ² =λ_n, $$l_0 = \frac{\pi }{2}, l_1 = - \frac{1}{2}, l_2 = - \frac{1}{4}\int_0^\pi {q(x) dx,} c_1 = - \frac{2}{\pi }l_2 ,$$ , B₂ is a Bernoulli number, γ is Euler's constant, and \(R(z)\) is the trace of the resolvent of a Sturm-Liouville operator.     

Regularity of semi-stable solutions to fourth order nonlinear eigenvalue problems on general domains

We examine the fourth order problem $\Delta ^2 u = \lambda f(u) $ in $ \Omega $ with $ \Delta u = u =0 $ on $ {\partial \Omega }$ , where $ \lambda > 0$ is a parameter, $ \Omega $ is a bounded domain in $\mathbb{R }^N$ and where $f$ is one of the following nonlinearities: $ f(u)=e^u$ , $ f(u)=(1+u)^p $ or $ f(u)= \frac{1}{(1-u)^p}$ where $ p>1$ . We show the extremal solution is smooth, provided $$\begin{aligned} N < 2 + 4 \sqrt{2} + 4 \sqrt{ 2 - \sqrt{2}} \approx 10.718 \text{ when} f(u)=e^u, \end{aligned}$$ and $$\begin{aligned} N < \frac{4p}{p-1} + \frac{4(p+1)}{p-1} \left( \sqrt{ \frac{2p}{p+1}} + \sqrt{ \frac{2p}{p+1} - \sqrt{ \frac{2p}{p+1}}} - \frac{1}{2} \right) \end{aligned}$$ when $ f(u)=(u+1)^p$ . New results are also obtained in the case where $ f(u)=(1-u)^{-p}$ . These are substantial improvements to various results on critical dimensions obtained recently by various authors. To do that, we derive a new stability inequality satisfied by minimal solutions of the above equation, which is more amenable to estimates as it allows a method of proof reminiscent of the second order case.     

The maximal variation of a bounded martingale

Let \(\chi _0^n = \left\{ {X_t } \right\}_0^n \) be a martingale such that 0≦X_i≦1;i=0, …,n. For 0≦p≦1 denote by ? _p ⁿ the set of all such martingales satisfying alsoE(X₀)=p. Thevariation of a martingale χ ₀ ⁿ is denoted byV ₀ ⁿ and defined by \(V(\chi _0^n ) = E\left( {\sum {_{l = 0}^{n - 1} } \left| {X_{l + 1} - X_l } \right|} \right)\) . It is proved that $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\mathop {Sup}\limits_{x_0^n \in \mathcal{M}_p^n } \left[ {\frac{1}{{\sqrt n }}V(\chi _0^n )} \right]} \right\} = \phi (p)$$ , where ?(p) is the well known normal density evaluated at itsp-quantile, i.e. $$\phi (p) = \frac{1}{{\sqrt {2\pi } }}\exp ( - \frac{1}{2}\chi _p^2 ) where \int_{ - \alpha }^{x_p } {\frac{1}{{\sqrt {2\pi } }}\exp ( - \frac{1}{2}\chi ^2 )} dx = p$$ . A sequence of martingales χ ₀ ⁿ ,n=1,2, … is constructed so as to satisfy \(\lim _{n \to \infty } (1/\sqrt n )V(\chi _0^n ) = \phi (p)\) .     

The normal distribution and repeated games

For a reperated zero-sum two-person game with incomplete information discussed byZamir, it is proved here that \(\mathop {\lim }\limits_{n \to \infty } \sqrt n v_n (p) = \phi (p)\) whereφ (p) is the normal density function evaluated at itsp-quantile (i.e. \(\phi (p) = \frac{1}{{\sqrt {2\pi } }}e^{ - ({1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2})x^2 } p\) where \(\frac{1}{{\sqrt {2\pi } }}\mathop {\smallint ^p }\limits_{ - \infty }^x e^{ - ({1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2})x^2 } dx = p\) . Here for 0?p?1, (p, 1 ?p) is the a priori probability distribution on two states of nature, the actual state of nature is known to the maximizer but not to the minimizer.v _n (p) is the minimax value of the game withn stages.     

Schrödinger equation and oscillatory Hilbert transforms of second degree

Let $h(t,x): = p.v. \sum\limits_{n \in Z\backslash \left| 0 \right|} {\frac{{e^{\pi i(tn^2 + 2xn)} }}{{2\pi in}}} = \mathop {\lim }\limits_{N \to \infty } \sum\limits_{0< \left| n \right| \leqslant N} {\frac{{e^{\pi i(tn^2 + 2xn)} }}{{2\pi in}}} $ ( $(i = \sqrt { - 1;} t,x$ -real variables). It is proved that in the rectangle $D: = \left\{ {(t,x):0< t< 1,\left| x \right| \leqslant \frac{1}{2}} \right\}$ , the function h satisfies the followingfunctional inequality: $\left| {h(t,x)} \right| \leqslant \sqrt t \left| {h\left( {\frac{1}{t},\frac{x}{t}} \right)} \right| + c,$ where c is an absolute positive constant. Iterations of this relation provide another, more elementary, proof of the known global boundedness result $\left\| {h; L^\infty (E^2 )} \right\| : = ess sup \left| {h(t,x)} \right|< \infty .$ The above functional inequality is derived from a general duality relation, of theta-function type, for solutions of the Cauchy initial value problem for Schrödinger equation of a free particle. Variation and complexity of solutions of Schrödinger equation are discussed.     

Representation of Integers by Positive Quaternary Quadratic Forms

Let $f(x,y,x,w) = x^2 + y^2 + z^2 + Dw^2$ , where $D >1$ is an integer such that $D \ne d^2$ and ${{\sqrt n } \mathord{\left/ {\vphantom {{\sqrt n } {\sqrt D = n^\theta , 0 < \theta < {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}}} \right. \kern-0em} {\sqrt D = n^\theta , 0 < \theta < {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}}$ . Let $rf(n)$ be the number of representations of n by f. It is proved that $r_f (n) = \pi ^2 \frac{n}{{\sqrt D }}\sigma _f (n) + O\left( {\frac{{n^{1 + \varepsilon - c(\theta )} }}{{\sqrt D }}} \right),$ where $\sigma _f (n)$ is the singular series, $c(\theta ) >0$ , and ε is an arbitrarily small positive constant. Bibliography: 14 titles.     

Using Fourier–Legendre expansions to derive series for \frac{1}{\pi} and \frac{1}{\pi^{2}}

In this paper, we derive some series for $\frac{1}{\pi}$ and $\frac{1}{\pi^{2}}$ from the Fourier–Legendre expansions of odd powers of $\sqrt{1-x^{2}}$ .     

Finite-time blowup for a complex Ginzburg–Landau equation with linear driving

In this paper, we consider the complex Ginzburg–Landau equation ${u_t = e^{i\theta} [\Delta u + |u|^\alpha u] + \gamma u}$ on ${\mathbb{R}^N}$ , where ${\alpha > 0,\,\gamma \in \mathbb{R}}$ and ${-\pi /2 < \theta < \pi /2}$ . By convexity arguments, we prove that, under certain conditions on ${\alpha,\theta,\gamma}$ , a class of solutions with negative initial energy blows up in finite time.     

Rational approximation to 19-0119-0119-01on [0, 1]

В стАтьЕ пОлУЧЕНО УсИ лЕНИЕ НЕскОлькИх РЕж УльтАтОВ О РАцИОНАльНОИ АппРОк сИМАцИИx ^α НА [0,1]. ДОкАжАНО, ЧтО НАИ лУЧшИЕ пРИБлИжЕНИьr _n (x ^α) ФУНкцИИx ^α НА [0,1] РАцИОНА льНыМИ ДРОБьМИ пОРьДкАn Дль лУБОгО НЕцЕлОгО пОлО жИтЕльНОгО А УДОВлЕтВОРьУт сООт НОшЕНИУ $$\mathop {\lim }\limits_{n \to \infty } r_n^{1/\sqrt n } (x^\alpha ) = \exp ( - 2\pi \sqrt \alpha ).$$ гИпОтЕжА О спРАВЕДлИ ВОстИ ЁтОИ ОцЕНкИ Был А ВыскАжАНА А. А. гОНЧАРОМ В 1974 г. кРОМЕ тОгО, тОЧНАь ОцЕ НкА, пОлУЧЕННАь Н. с. Вь ЧЕслАВОВНы Дль слУЧАь А=1/2 РАс-пРОс тРАНьЕтсь В РАБОтЕ НА пРОИжВОль НыЕ пОлОжИтЕльНыЕ РА цИОНАльНыЕ ЧИслА α: $$b_\alpha |\sin \pi \alpha |< r_n (x^\alpha )\exp (2\pi \sqrt {\alpha n} )< B_{p,q} ,$$ жДЕсь α=p/q.     

Optimal rate of integration and ɛ-entropy of a class of analytic functions

The author considers a class F of analytic functions real in the interval [-1, 1] and bounded in the unit circle. As an estimate of the optimal quadrature error R(n) over the class F it is shown that $$_e - \left( {2\sqrt 2 + \frac{1}{{\sqrt 2 }}} \right)\pi \sqrt n \leqslant R(n) \leqslant e^{ - \frac{\pi }{{\sqrt 2 }}n} .$$ With the additional condition that \(\mathop {max}\limits_{x \in [ - 1,1]}\) ¦f(x)¦?B, an estimate is obtained for the ?-entropy H_?(F): $$\frac{8}{{27}}\frac{{(1n2)^2 }}{{\pi ^2 }} \leqslant \mathop {\lim }\limits_{\varepsilon \to 0} \frac{{H_\varepsilon (F)}}{{\left( {\log \frac{1}{\varepsilon }} \right)^3 }} \leqslant \frac{2}{{\pi ^2 }}(1n2)^2 .$$      

Rational approximations of real numbers

For anyx ∈ r put $$c(x) = \overline {\mathop {\lim }\limits_{t \to \infty } } \mathop {\min }\limits_{(p,q\mathop {) \in Z}\limits_{q \leqslant t} \times N} t\left| {qx - p} \right|.$$ . Let [x₀; x₁,..., x_n, ...] be an expansion of x into a continued fraction and let \(M = \{ x \in J,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n< \infty \}\) .Forx∈M put D(x)=c(x)/(1?c(x)). The structure of the set \(\mathfrak{D} = \{ D(x),x \in M\}\) is studied. It is shown that $$\mathfrak{D} \cap (3 + \sqrt 3 ,(5 + 3\sqrt 3 )/2) = \{ D(x^{(n,3} )\} _{n = 0}^\infty \nearrow (5 + 3\sqrt 3 )/2,$$ where \(x^{(n,3)} = [\overline {3;(1,2)_n ,1} ].\) This yields for \(\mu = \inf \{ z,\mathfrak{D} \supset (z, + \infty )\}\) (“origin of the ray”) the following lower bound: μ?(5+3√3)/2=5.0n>(5 + 3/3)/2=5.098.... Suppose a∈n. Put \(M(a) = \{ x \in M,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n = a\}\) , \(\mathfrak{D}(a) = \{ D(x),x \in M(a)\}\) . The smallest limit point of \(\mathfrak{D}(a)(a \geqslant 2)\) is found. The structure of (a) is studied completely up to the smallest limit point and elucidated to the right of it.     

The error term in the Sato–Tate conjecture

Let \({f(z) = \sum_{n=1}^\infty a(n)e^{2\pi i nz} \in S_k^{\mathrm{new}}(\Gamma_0(N))}\) be a newform of even weight \({k \geq 2}\) that does not have complex multiplication. Then \({a(n) \in \mathbb{R}}\) for all n; so for any prime p, there exists \({\theta_p \in [0, \pi]}\) such that \({a(p) = 2p^{(k-1)/2} {\rm cos} (\theta_p)}\) . Let \({\pi(x) = \#\{p \leq x\}}\) . For a given subinterval \({[\alpha, \beta]\subset[0, \pi]}\) , the now-proven Sato–Tate conjecture tells us that as \({x \to \infty}\) , $$ \#\{p \leq x: \theta_p \in I\} \sim \mu_{ST} ([\alpha, \beta])\pi(x),\quad \mu_{ST} ([\alpha, \beta]) = \int\limits_{\alpha}^\beta \frac{2}{\pi}{\rm sin}^2(\theta) d\theta. $$ Let \({\epsilon > 0}\) . Assuming that the symmetric power L-functions of f are automorphic, we prove that as \({x \to \infty}\) , $$ \#\{p \leq x: \theta_p \in I\} = \mu_{ST} ([\alpha, \beta])\pi(x) + O\left(\frac{x}{(\log x)^{9/8-\epsilon}} \right), $$ where the implied constant is effectively computable and depends only on k,N, and \({\epsilon}\) .     

The Voronoi Identity via the Laplace Transform

The classical Voronoi identity $$\Delta (x) = - \frac{2}{\pi }\sum\limits_{n = 1}^\infty {d(n)} \left( {\frac{x}{n}} \right)^{1/2} \left( {K_1 (4\pi \sqrt {xn} ) + \frac{\pi }{2}Y_1 (4\pi \sqrt {xn} )} \right)$$ is proved in a relatively simple way by the use of the Laplace transform. Here Δ(x) denotes the error term in the Dirichlet divisor problem, d(n) is the number of divisors of n and K_1, Y_1 are the Bessel functions. The method of proof may be used to yield other identities similar to Voronoi's.     

Error function inequalities

We present various inequalities for the error function. One of our theorems states: Let α?≥?1. For all x,y?>?0 we have $$ \delta_{\alpha} < \frac{ \mbox{erf} \left( x+ \mbox{erf}(y)^{\alpha}\right) +\mbox{erf}\left( y+ \mbox{erf}(x)^{\alpha}\right) } {\mbox{erf}\left( \mbox{erf}(x)+\mbox{erf}(y)\right) } < \Delta_{\alpha} $$ with the best possible bounds $$ \delta_{\alpha}= \left\{ \begin{array}{ll} 1+\sqrt{\pi}/2, & \ \ \textrm{{if} $\alpha=1$,}\\ \sqrt{\pi}/2, & \ \ \textrm{{if} $\alpha>1$,}\\ \end{array}\right. \quad{\mbox{and} \,\,\,\,\, \Delta_{\alpha}=1+\frac{1}{\mbox{erf}(1)}.} $$