Some properties of a hypergeometric function which appear in an approximation problem

In this paper we consider properties and power expressions of the functions $f:(-1,1)\rightarrow \mathbb{R }$ and $f_L:(-1,1)\rightarrow \mathbb{R }$ , defined by $$\begin{aligned} f(x;\gamma )=\frac{1}{\pi }\int \limits _{-1}^1 \frac{(1+xt)^\gamma }{\sqrt{1-t^2}}\,\mathrm{d}t \quad \text{ and}\quad f_L(x;\gamma )=\frac{1}{\pi }\int \limits _{-1}^1 \frac{(1+xt)^\gamma \log (1+x t)}{\sqrt{1-t^2}}\,\mathrm{d}t, \end{aligned}$$ respectively, where $\gamma $ is a real parameter, as well as some properties of a two parametric real-valued function $D(\,\cdot \,;\alpha ,\beta ) :(-1,1) \rightarrow \mathbb{R }$ , defined by $$\begin{aligned} D(x;\alpha ,\beta )= f(x;\beta )f(x;-\alpha -1)- f(x;-\alpha )f(x;\beta -1),\quad \alpha ,\beta \in \mathbb{R }. \end{aligned}$$ The inequality of Turán type $$\begin{aligned} D(x;\alpha ,\beta )>0,\quad -1<x<1, \end{aligned}$$ for $\alpha +\beta >0$ is proved, as well as an opposite inequality if $\alpha +\beta <0$ . Finally, for the partial derivatives of $D(x;\alpha ,\beta )$ with respect to $\alpha $ or $\beta $ , respectively $A(x;\alpha ,\beta )$ and $B(x;\alpha ,\beta )$ , for which $A(x;\alpha ,\beta )=B(x;-\beta ,-\alpha )$ , some results are obtained. We mention also that some results of this paper have been successfully applied in various problems in the theory of polynomial approximation and some “truncated” quadrature formulas of Gaussian type with an exponential weight on the real semiaxis, especially in a computation of Mhaskar–Rahmanov–Saff numbers.     

Weak-strong uniqueness criterion for the \beta -generalized surface quasi-geostrophic equation

We prove that weak-strong uniqueness holds for the $\beta $ -generalized surface quasi-geostrophic equation in the regular class $\nabla \theta \in L^{q}(0,T; L^{p}(\mathbb{R }^{2}))$ with $\frac{\alpha }{q}+\frac{2}{p}=\alpha +\beta -1$ , where $\alpha \in (0,1], \beta \in [1,2)$ and $\frac{2}{\alpha +\beta -1}<p<\infty $ .     

Biharmonic maps from a complete Riemannian manifold into a non-positively curved manifold

We consider biharmonic maps $\phi :(M,g)\rightarrow (N,h)$ from a complete Riemannian manifold into a Riemannian manifold with non-positive sectional curvature. Assume that $ p $ satisfies $ 2\le p <\infty $ . If for such a $ p $ , $\int _M|\tau (\phi )|^{ p }\,\mathrm{d}v_g<\infty $ and $\int _M|\,\mathrm{d}\phi |^2\,\mathrm{d}v_g<\infty ,$ where $\tau (\phi )$ is the tension field of $\phi $ , then we show that $\phi $ is harmonic. For a biharmonic submanifold, we obtain that the above assumption $\int _M|\,\mathrm{d}\phi |^2\,\mathrm{d}v_g<\infty $ is not necessary. These results give affirmative partial answers to the global version of generalized Chen’s conjecture.     

Diophantine approximation with sign constraints

Let $\alpha $ and $\beta $ be real numbers such that $1$ , $\alpha $ and $\beta $ are linearly independent over $\mathbb {Q}$ . A classical result of Dirichlet asserts that there are infinitely many triples of integers $(x_0,x_1,x_2)$ such that $|x_0+\alpha x_1+\beta x_2| < \max \{|x_1|,|x_2|\}^{-2}$ . In 1976, Schmidt asked what can be said under the restriction that $x_1$ and $x_2$ be positive. Upon denoting by $\gamma \cong 1.618$ the golden ratio, he proved that there are triples $(x_0,x_1,x_2) \in \mathbb {Z}^3$ with $x_1,x_2>0$ for which the product $|x_0 + \alpha x_1 + \beta x_2| \max \{|x_1|,|x_2|\}^\gamma $ is arbitrarily small. Although Schmidt later conjectured that $\gamma $ can be replaced by any number smaller than $2$ , Moshchevitin proved very recently that it cannot be replaced by a number larger than $1.947$ . In this paper, we present a construction of points $(1,\alpha ,\beta )$ showing that the result of Schmidt is in fact optimal. These points also possess strong additional Diophantine properties that are described in the paper.     

Approximations of periodic functions to \mathbb R ^n by curvatures of closed curves

We show that for any $n$ real periodic functions $f_1,\ldots , f_n$ with the same period, such that $f_i>0$ for $i<n$ , and a real number $\varepsilon >0$ , there is a closed curve in $\mathbb R ^{n+1}$ with curvatures $\kappa _1, \ldots , \kappa _n$ such that $\left| \kappa _{i(t)}-f_{i(t)}\right|<\varepsilon $ for all $i$ and $t$ . This does not hold for parametric families of closed curves in $\mathbb R ^{n+1}$ .     

Diophantine approximation of the orbit of 1 in the dynamical system of beta expansions

We consider the distribution of the orbits of the number 1 under the $\beta $ -transformations $T_\beta $ as $\beta $ varies. Mainly, the size of the set of $\beta >1$ for which a given point can be well approximated by the orbit of 1 is measured by its Hausdorff dimension. The dimension of the following set $E\big (\{\ell _n\}_{n\ge 1}, x_0\big )=\Big \{\,\beta >1: |T^n_{\beta }1-x_0|<\beta ^{-\ell _n}, \hbox { for infinitely many}, \, n\in \mathbb{N }\,\Big \}$ is determined, where $x_0$ is a given point in $[0,1]$ and $\{\ell _n\}_{n\ge 1}$ is a sequence of integers tending to infinity as $n\rightarrow \infty $ . For the proof of this result, the notion of the recurrence time of a word in symbolic space is introduced to characterise the lengths and the distribution of cylinders (the set of $\beta $ with a common prefix in the expansion of 1) in the parameter space $\{\,\beta \in \mathbb{R }: \beta >1\,\}$ .     

On the singular set of minimizers of p(x)-energies

We treat the partial regularity of locally bounded local minimizers $u$ for the $p(x)$ -energy functional $$\begin{aligned} \mathcal{E }(v;\Omega ) = \int \left( g^{\alpha \beta }(x)h_{ij}(v) D_\alpha v^i (x) D_\beta v^j (x) \right) ^{p(x)/2} dx, \end{aligned}$$ defined for maps $v : \Omega (\subset \mathbb R ^m) \rightarrow \mathbb R ^n$ . Assuming the Lipschitz continuity of the exponent $p(x) \ge 2$ , we prove that $u \in C^{1,\alpha }(\Omega _0)$ for some $\alpha \in (0,1)$ and an open set $\Omega _0 \subset \Omega $ with $\dim _\mathcal{H }(\Omega \setminus \Omega _0) \le m-[\gamma _1]-1$ , where $\dim _\mathcal{H }$ stands for the Hausdorff dimension, $[\gamma _1]$ the integral part of $\gamma _1$ , and $\gamma _1 = \inf p(x)$ .     

Collapsibility and Vanishing of Top Homology in Random Simplicial Complexes

Let $\Delta _{n-1}$ denote the $(n-1)$ -dimensional simplex. Let $Y$ be a random $d$ -dimensional subcomplex of $\Delta _{n-1}$ obtained by starting with the full $(d-1)$ -dimensional skeleton of $\Delta _{n-1}$ and then adding each $d$ -simplex independently with probability $p=\frac{c}{n}$ . We compute an explicit constant $\gamma _d$ , with $\gamma _2 \simeq 2.45$ , $\gamma _3 \simeq 3.5$ , and $\gamma _d=\Theta (\log d)$ as $d \rightarrow \infty $ , so that for $c < \gamma _d$ such a random simplicial complex either collapses to a $(d-1)$ -dimensional subcomplex or it contains $\partial \Delta _{d+1}$ , the boundary of a $(d+1)$ -dimensional simplex. We conjecture this bound to be sharp. In addition, we show that there exists a constant $\gamma _d< c_d <d+1$ such that for any $c>c_d$ and a fixed field $\mathbb{F }$ , asymptotically almost surely $H_d(Y;\mathbb{F }) \ne 0$ .     

Optimal relationships between L^p-norms for the Hardy operator and its dual

We obtain sharp two-sided inequalities between $L^p$ -norms $(1<p<\infty )$ of functions $\textit{Hf}$ and $H^*f$ , where $H$ is the Hardy operator, $H^*$ is its dual, and $f$ is a nonnegative measurable function on $(0,\infty ).$ In an equivalent form, it gives sharp constants in the two-sided relationships between $L^p$ -norms of functions $H\varphi -\varphi $ and $\varphi $ , where $\varphi $ is a nonnegative nonincreasing function on $(0,+\infty )$ with $\varphi (+\infty )=0.$ In particular, it provides an alternative proof of a result obtained by Kruglyak and Setterqvist (Proc Am Math Soc 136:2005–2013, 2008) for $p=2k \,\,(k\in \mathbb N )$ and by Boza and Soria (J Funct Anal 260:1020–1028, 2011) for all $p\ge 2$ , and gives a sharp version of this result for $1<p<2$ .     

p-Harmonic functions in the Heisenberg group: boundary behaviour in domains well-approximated by non-characteristic hyperplanes

In this paper we study, for given $p,~1<p<\infty $ , the boundary behaviour of non-negative $p$ -harmonic functions in the Heisenberg group $\mathbb{H }^n$ , i.e., we consider weak solutions to the non-linear and potentially degenerate partial differential equation $$\begin{aligned} \sum _{i=1}^{2n}X_i(|Xu|^{p-2}\,X_i u)=0 \end{aligned}$$ where the vector fields $X_1,\ldots ,X_{2n}$ form a basis for the space of left-invariant vector fields on $\mathbb{H }^n$ . In particular, we introduce a set of domains $\Omega \subset \mathbb{H }^n$ which we refer to as domains well-approximated by non-characteristic hyperplanes and in $\Omega $ we prove, for $2\le p<\infty $ , the boundary Harnack inequality as well as the Hölder continuity for ratios of positive $p$ -harmonic functions vanishing on a portion of $\partial \Omega $ .     

Central limit theorems for hyperbolic spaces and Jacobi processes on [0,\infty [

We present a unified approach to a couple of central limit theorems for the radial behavior of radial random walks on hyperbolic spaces as well as for time-homogeneous Markov chains on $[0,\infty [$ whose transition probabilities are defined in terms of Jacobi convolutions. The proofs of all central limit theorems are based on corresponding limit results for the associated Jacobi functions $\varphi _{\lambda }^{(\alpha ,\beta )}$ . In particular, we consider the limit $\alpha \rightarrow \infty $ , the limit $\varphi _{i\rho -n\lambda }^{(\alpha ,\beta )}(t/n)$ for $n\rightarrow \infty $ , and the behavior of the Jacobi function $\varphi _{i\rho -\lambda }^{(\alpha ,\beta )}(t)$ for small $\lambda $ . The proofs of all these limit results are based on the known Laplace integral representation for Jacobi functions. Parts of the results are known, other improve known ones, and other are new.     

Prime number races with three or more competitors

Let $q\ge 3$ and $2\le r\le \phi (q)$ be positive integers, and $a_1,\ldots ,a_r$ be distinct reduced residue classes modulo $q$ . Rubinstein and Sarnak defined $\delta (q;a_1,\ldots ,a_r)$ to be the logarithmic density of the set of real numbers $x$ such that $\pi (x;q,a_1)>\pi (x;q,a_2)>\cdots >\pi (x;q,a_r)$ . In this paper, we establish an asymptotic formula for $\delta (q;a_1,\ldots ,a_r)$ when $r\ge 3$ is fixed and $q$ is large. Several applications concerning these prime number races are then deduced. First, comparing with a recent work of Fiorilli and Martin on the case $r=2$ , we show that these densities behave differently when $r\ge 3$ . Another surprising consequence of our results is that, unlike two-way races, biases do appear in races involving three or more squares (or non-squares) to large moduli. Furthermore, we establish a partial result towards a conjecture of Rubinstein and Sarnak on biased races, and disprove a recent conjecture of Feuerverger and Martin concerning bias factors. Lastly, we use our method to derive the Fiorilli and Martin asymptotic formula for the densities when $r=2$ .     

Sharp weak type estimates for Riesz transforms

Let $d$ be a given positive integer and let $\{R_j\}_{j=1}^d$ denote the collection of Riesz transforms on $\mathbb {R}^d$ . For $1<p<\infty $ , we determine the best constant $C_p$ such that the following holds. For any locally integrable function $f$ on $\mathbb {R}^d$ and any $j\in \{1,\,2,\,\ldots ,\,d\}$ , $$\begin{aligned} ||(R_jf)_+||_{L^{p,\infty }(\mathbb {R}^d)}\le C_p||f||_{L^{p,\infty }(\mathbb {R}^d)}. \end{aligned}$$ A related statement for Riesz transforms on spheres is also established. The proofs exploit Gundy–Varopoulos representation of Riesz transforms and appropriate inequality for orthogonal martingales.     

On smooth extensions of vector-valued functions defined on closed subsets of Banach spaces

Let $X$ and $ Z$ be Banach spaces, $A$ a closed subset of $X$ and a mapping $f:A\rightarrow Z$ . We give necessary and sufficient conditions to obtain a $C^1$ smooth mapping $F:X \rightarrow Z$ such that $F_{\mid _A}=f$ , when either (i) $X$ and $Z$ are Hilbert spaces and $X$ is separable, or (ii) $X^*$ is separable and $Z$ is an absolute Lipschitz retract, or (iii) $X=L_2$ and $Z=L_p$ with $1<p<2$ , or (iv) $X=L_p$ and $Z=L_2$ with $2<p<\infty $ , where $L_p$ is any separable Banach space $L_p(S,\Sigma ,\mu )$ with $(S,\Sigma ,\mu )$ a $\sigma $ -finite measure space.     

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 matrix pseudodifferential operators

The skewfield $\mathcal{K }(\partial )$ of rational pseudodifferential operators over a differential field $\mathcal{K }$ is the skewfield of fractions of the algebra of differential operators $\mathcal{K }[\partial ]$ . In our previous paper, we showed that any $H\in \mathcal{K }(\partial )$ has a minimal fractional decomposition $H=AB^{-1}$ , where $A,B\in \mathcal{K }[\partial ],\,B\ne 0$ , and any common right divisor of $A$ and $B$ is a non-zero element of $\mathcal{K }$ . Moreover, any right fractional decomposition of $H$ is obtained by multiplying $A$ and $B$ on the right by the same non-zero element of $\mathcal{K }[\partial ]$ . In the present paper, we study the ring $M_n(\mathcal{K }(\partial ))$ of $n\times n$ matrices over the skewfield $\mathcal{K }(\partial )$ . We show that similarly, any $H\in M_n(\mathcal{K }(\partial ))$ has a minimal fractional decomposition $H=AB^{-1}$ , where $A,B\in M_n(\mathcal{K }[\partial ]),\,B$ is non-degenerate, and any common right divisor of $A$ and $B$ is an invertible element of the ring $M_n(\mathcal{K }[\partial ])$ . Moreover, any right fractional decomposition of $H$ is obtained by multiplying $A$ and $B$ on the right by the same non-degenerate element of $M_n(\mathcal{K } [\partial ])$ . We give several equivalent definitions of the minimal fractional decomposition. These results are applied to the study of maximal isotropicity property, used in the theory of Dirac structures.