Blow Up Criteria for the Incompressible Nematic Liquid Crystal Flows

In this paper, we investigate blow up criteria for the local smooth solutions to the 3D incompressible nematic liquid crystal flows via the components of the gradient velocity field \(\nabla u\) and the gradient orientation field \(\nabla d\). More precisely, we show that \(0< T_{ \ast}<+\infty\) is the maximal time interval if and only if

$$\begin{aligned} & \int_{0}^{T_{\ast}} \bigl\Vert \Vert \partial_{i}u\Vert _{L_{x_{i}} ^{\gamma}} \bigr\Vert _{L_{x_{j}x_{k}}^{\alpha}}^{\beta}+ \|\nabla d\| _{L^{\infty}}^{\frac{8}{3}}\mathrm{d}t=\infty, \\ &\quad\text{ with } \frac{2}{\alpha}+\frac{2}{\beta}\leq\frac{3\alpha +2}{4\alpha}, \text{ and } 1\leq\gamma\leq\alpha,2< \alpha\leq+\infty, \end{aligned}$$

or

$$\begin{aligned} \int_{0}^{T_{\ast}}\|\partial_{3}u_{3} \|^{\beta}_{L^{\alpha}}+\| \nabla d\|^{\frac{8}{3}}_{L^{\infty}} \mathrm{d}t=\infty,\quad\text{with } \frac{3}{\alpha}+\frac{2}{\beta}\leq \frac{3(\alpha+2)}{4 \alpha}, \text{ and } 2< \alpha\leq\infty, \end{aligned}$$

where \(i,j,k\in\{1,2,3\}\), \(i\neq j\), \(i\neq k\), and \(j\neq k\).

     

On sums of binomial coefficients involving Catalan and Delannoy numbers modulo $$p^2$$

In this paper, we prove some congruences conjectured by Z.-W. Sun: For any prime \(p>3\), we determine

$$\begin{aligned} \sum \limits _{k = 0}^{p - 1} {\frac{{{C_k}C_k^{(2)}}}{{{{27}^k}}}} \quad {\text { and }}\quad \sum \limits _{k = 1}^{p - 1} {\frac{{\left( {\begin{array}{l} {2k} \\ {k - 1} \\ \end{array}} \right) \left( { \begin{array}{l} {3k} \\ {k - 1} \\ \end{array} } \right) }}{{{{27}^k}}}} \end{aligned}$$

modulo \(p^2\), where \(C_k=\frac{1}{k+1}\left( {\begin{array}{c}2k\\ k\end{array}}\right) \) is the k-th Catalan number and \(C_k^{(2)}=\frac{1}{2k+1}\left( {\begin{array}{c}3k\\ k\end{array}}\right) \) is the second-order Catalan numbers of the first kind. And we prove that

$$\begin{aligned} \sum _{k=1}^{p-1}\frac{D_k}{k}\equiv -q_p(2)+pq_p(2)^2\pmod {p^2}, \end{aligned}$$

where \(D_n=\sum _{k=0}^{n}\left( {\begin{array}{c}n\\ k\end{array}}\right) \left( {\begin{array}{c}n+k\\ k\end{array}}\right) \) is the n-th Delannoy number and \(q_p(2)=(2^{{p-1}}-1)/p\) is the Fermat quotient.

     

Uniform Bounds on the Relative Error in the Approximation of Upper Quantiles for Sums of Arbitrary Independent Random Variables

Fix any \(n\ge 1\). Let \(\tilde{X}_1,\ldots ,\tilde{X}_n\) be independent random variables. For each \(1\le j \le n\), \(\tilde{X}_j\) is transformed in a canonical manner into a random variable \(X_j\). The \(X_j\) inherit independence from the \(\tilde{X}_j\). Let \(s_y\) and \(s_y^*\) denote the upper \(\frac{1}{y}{\underline{\text{ th }}}\) quantile of \(S_n=\sum _{j=1}^nX_j\) and \(S^*_n=\sup _{1\le k\le n}S_k\), respectively. We construct a computable quantity \(\underline{Q}_y\) based on the marginal distributions of \(X_1,\ldots ,X_n\) to produce upper and lower bounds for \(s_y\) and \(s_y^*\). We prove that for \(y\ge 8\)

$$\begin{aligned} 6^{-1} \gamma _{3y/16}\underline{Q}_{3y/16}\le s^*_{y}\le \underline{Q}_y \end{aligned}$$

where

$$\begin{aligned} \gamma _y=\frac{1}{2w_y+1} \end{aligned}$$

and \(w_y\) is the unique solution of

$$\begin{aligned} \Big (\frac{w_y}{e\ln (\frac{y}{y-2})}\Big )^{w_y}=2y-4 \end{aligned}$$

for \(w_y>\ln (\frac{y}{y-2})\), and for \(y\ge 37\)

$$\begin{aligned} \frac{1}{9}\gamma _{u(y)}\underline{Q}_{u(y)}<s_y \le \underline{Q}_y \end{aligned}$$

where

$$\begin{aligned} u(y)=\frac{3y}{32} \left( 1+\sqrt{1-\frac{64}{3y}}\right) . \end{aligned}$$

The distribution of \(S_n\) is approximately centered around zero in that \(P(S_n\ge 0) \ge \frac{1}{18}\) and \(P(S_n\le 0)\ge \frac{1}{65}\). The results extend to \(n=\infty \) if and only if for some (hence all) \(a>0\)

$$\begin{aligned} \sum _{j=1}^{\infty }E\{(\tilde{X}_j-m_j)^2\wedge a^2\}<\infty . \end{aligned}$$

(1)

     

Scaling Limits for Mixed Kernels

Let \(\mu \) and \(\nu \) be measures supported on \(\left( -1,1\right) \) with corresponding orthonormal polynomials \(\left\{ p_{n}^{\mu }\right\} \) and \( \left\{ p_{n}^{\nu }\right\} \), respectively. Define the mixed kernel

$$\begin{aligned} K_{n}^{{\mu },\nu }\left( x,y\right) =\sum _{j=0}^{n-1}p_{j}^{\mu }\left( x\right) p_{j}^{\nu }\left( y\right) . \end{aligned}$$

We establish scaling limits such as

$$\begin{aligned}&\lim _{n\rightarrow \infty }\frac{\pi \sqrt{1-\xi ^{2}}\sqrt{\mu ^{\prime }\left( \xi \right) \nu ^{\prime }\left( \xi \right) }}{n}K_{n}^{\mu ,\nu }\left( \xi +\frac{a\pi \sqrt{1-\xi ^{2}}}{n},\xi +\frac{b\pi \sqrt{1-\xi ^{2}}}{n}\right) \\&\quad =S\left( \frac{\pi \left( a-b\right) }{2}\right) \cos \left( \frac{\pi \left( a-b\right) }{2}+B\left( \xi \right) \right) , \end{aligned}$$

where \(S\left( t\right) =\frac{\sin t}{t}\) is the sinc kernel, and \(B\left( \xi \right) \) depends on \({\mu },\nu \) and \(\xi \). This reduces to the classical universality limit in the bulk when \(\mu =\nu \). We deduce applications to the zero distribution of \(K_{n}^{{\mu },\nu }\), and asymptotics for its derivatives.

     

On some congruences of certain binomial sums

For any prime \(p>3,\) we prove that

$$\begin{aligned} \sum _{k=0}^{p-1}\frac{3k+1}{(-8)^k}{2k\atopwithdelims ()k}^3\equiv p\left( \frac{-1}{p}\right) +p^3E_{p-3}\pmod {p^4}, \end{aligned}$$

where \(E_{0},E_{1},E_{2},\ldots \) are Euler numbers and \(\left( \frac{\cdot }{p}\right) \) is the Legendre symbol. This result confirms a conjecture of Z.-W. Sun. We also re-prove that for any odd prime \(p,\)

$$\begin{aligned} \sum _{k=0}^{\frac{p-1}{2}}\frac{6k+1}{(-512)^k}{2k\atopwithdelims ()k}^3\equiv p\left( \frac{-2}{p}\right) \pmod {p^2} \end{aligned}$$

using WZ method.

     

Congruences involving $$g_n(x)=\sum \limits _{k=0}^n\left( {\begin{array}{c}n\\ k\end{array}}\right) ^2\left( {\begin{array}{c}2k\\ k\end{array}}\right) x^k$$

Define \(g_n(x)=\sum _{k=0}^n\left( {\begin{array}{c}n\\ k\end{array}}\right) ^2\left( {\begin{array}{c}2k\\ k\end{array}}\right) x^k\) for \(n=0,1,2,\ldots \). Those numbers \(g_n=g_n(1)\) are closely related to Apéry numbers and Franel numbers. In this paper we establish some fundamental congruences involving \(g_n(x)\). For example, for any prime \(p>5\) we have

$$\begin{aligned} \sum _{k=1}^{p-1}\frac{g_k(-1)}{k}\equiv 0\pmod {p^2}\quad \text {and}\quad \sum _{k=1}^{p-1}\frac{g_k(-1)}{k^2}\equiv 0\pmod p. \end{aligned}$$

This is similar to Wolstenholme’s classical congruences

$$\begin{aligned} \sum _{k=1}^{p-1}\frac{1}{k}\equiv 0\pmod {p^2}\quad \text {and}\quad \sum _{k=1}^{p-1}\frac{1}{k^2}\equiv 0\pmod p \end{aligned}$$

for any prime \(p>3\).

     

Existence of positive solution for nonlocal singular fourth order Kirchhoff equation with Hardy potential

This paper is concerned with the existence of positive solution to a class of singular fourth order elliptic equation of Kirchhoff type

$$\begin{aligned} \triangle ^2 u-\lambda M(\Vert \nabla u\Vert ^2)\triangle u-\frac{\mu }{\vert x\vert ^4}u=\frac{h(x)}{u^\gamma }+k(x)u^\alpha , \end{aligned}$$

under Navier boundary conditions, \(u=\triangle u=0\). Here \(\varOmega \subset {\mathbf {R}}^N\), \(N\ge 1\) is a bounded \(C^4\)-domain, \(0\in \varOmega \), h(x) and k(x) are positive continuous functions, \(\gamma \in (0,1)\), \(\alpha \in (0,1)\) and \(M:{\mathbf {R}}^+\rightarrow {\mathbf {R}}^+\) is a continuous function. By using Galerkin method and sharp angle lemma, we will show that this problem has a positive solution for \(\lambda > \frac{\mu }{\mu ^*m_0}\) and \(0<\mu <\mu ^*\). Here \(\mu ^*=\Big (\frac{N(N-4)}{4}\Big )^2\) is the best constant in the Hardy inequality. Besides, if \(\mu =0\), \(\lambda >0\) and h, k are Lipschitz functions, we show that this problem has a positive smooth solution. If \(h,k\in C^{2,\,\theta _0}(\overline{\varOmega })\) for some \(\theta _0\in (0,1)\), then this problem has a positive classical solution.

     

Inequalities for the inverses of the polygamma functions

We provide an elementary proof of the left-hand side of the following inequality and give a new upper bound for it.

$$\begin{aligned} \bigg [\frac{n!}{x-(x^{-1/n}+\alpha )^{-n}}\bigg ]^{\frac{1}{n+1}}&<((-1)^{n-1}\psi ^{(n)})^{-1}(x) \\&<\bigg [\frac{n!}{x-(x^{-1/n}+\beta )^{-n}}\bigg ]^{\frac{1}{n+1}}, \end{aligned}$$

where \(\alpha =[(n-1)!]^{-1/n}\) and \(\beta =[n!\zeta (n+1)]^{-1/n}\), which was proved in Batir (J Math Anal Appl 328:452–465, 2007), and we prove the following inequalities for the inverse of the digamma function \(\psi \).

$$\begin{aligned} \frac{1}{\log (1+e^{-x})}<\psi ^{-1}(x)< e^{x}+\frac{1}{2}, \quad x\in \mathbb {R}. \end{aligned}$$

The proofs are based on nice applications of the mean value theorem for differentiation and elementary properties of the polygamma functions.

     

Existence results for a singular quasilinear elliptic equation

Let \(\Omega \subset \mathbb R^N\) be a bounded domain with smooth boundary. Existence of a positive solution to the quasilinear equation

$$\begin{aligned} -\text {div}\left[ \left( a(x)+|u|^\theta \right) \nabla u\right] +\frac{\theta }{2}|u|^{\theta -2}u|\nabla u|^2=|u|^{p-2}u \quad \text {in}\ \Omega \end{aligned}$$

with zero Dirichlet boundary condition is proved. Here \(\theta >0\) and a(x) is a measurable function satisfying \(0<\alpha \le a(x)\le \beta \). The equation involves singularity when \(0<\theta \le 1\). As a main novelty with respect to corresponding results in the literature, we only assume \(\theta +2<p<\frac{2^*}{2}(\theta +2)\). The proof relies on a perturbation method and a critical point theory for E-differentiable functionals.

     

On Ambrosetti–Malchiodi–Ni conjecture on two-dimensional smooth bounded domains

We consider the problem

$$\begin{aligned} \epsilon ^2 \Delta u-V(y)u+u^p\,=\,0,\quad u>0\quad \text{ in }\quad \Omega , \quad \frac{\partial u}{\partial \nu }\,=\,0\quad \text{ on }\quad \partial \Omega , \end{aligned}$$

where \(\Omega \) is a bounded domain in \({\mathbb {R}}^2\) with smooth boundary, the exponent p is greater than 1, \(\epsilon >0\) is a small parameter, V is a uniformly positive, smooth potential on \(\bar{\Omega }\), and \(\nu \) denotes the outward unit normal of \(\partial \Omega \). Let \(\Gamma \) be a curve intersecting orthogonally \(\partial \Omega \) at exactly two points and dividing \(\Omega \) into two parts. Moreover, \(\Gamma \) satisfies stationary and non-degeneracy conditions with respect to the functional \(\int _{\Gamma }V^{\sigma }\), where \(\sigma =\frac{p+1}{p-1}-\frac{1}{2}\). We prove the existence of a solution \(u_\epsilon \) concentrating along the whole of \(\Gamma \), exponentially small in \(\epsilon \) at any fixed distance from it, provided that \(\epsilon \) is small and away from certain critical numbers. In particular, this establishes the validity of the two dimensional case of a conjecture by Ambrosetti et al. (Indiana Univ Math J 53(2), 297–329, 2004).

     

Singular Values Distribution of Squares of Elliptic Random Matrices and Type B Narayana Polynomials

We consider Gaussian elliptic random matrices X of a size \(N \times N\) with parameter \(\rho \), i.e., matrices whose pairs of entries \((X_{ij}, X_{ji})\) are mutually independent Gaussian vectors with \(\mathbb {E}\,X_{ij} = 0\), \(\mathbb {E}\,X^2_{ij} = 1\) and \(\mathbb {E}\,X_{ij} X_{ji} = \rho \). We are interested in the asymptotic distribution of eigenvalues of the matrix \(W =\frac{1}{N^2} X^2 X^{*2}\). We show that this distribution is determined by its moments, and we provide a recurrence relation for these moments. We prove that the (symmetrized) asymptotic distribution is determined by its free cumulants, which are Narayana polynomials of type B:

$$\begin{aligned} c_{2n} = \sum _{k=0}^n {\left( {\begin{array}{c}n\\ k\end{array}}\right) }^2 \rho ^{2k}. \end{aligned}$$

     

Continued fractions for some transcendental numbers

We consider series of the form

$$\begin{aligned} \frac{p}{q} +\sum _{j=2}^\infty \frac{1}{x_j}, \end{aligned}$$

where \(x_1=q\) and the integer sequence \((x_n)\) satisfies a certain non-autonomous recurrence of second order, which entails that \(x_n|x_{n+1}\) for \(n\ge 1\). It is shown that the terms of the sequence, and multiples of the ratios of successive terms, appear interlaced in the continued fraction expansion of the sum of the series, which is a transcendental number.

     

Analytic Hypoellipticity for a New Class of Sums of Squares of Vector Fields in $${\mathcal {R}}^3$$

This paper is devoted to a substantial generalization of previous work on the analytic hypoellipticity of sums of squares \(P=\sum _1^4X^2_j\) of real vector fields with real analytic coefficient in three variables. For p(x, y) quasi-homogeneous in (x, y), consider the vector fields

$$\begin{aligned} X_1 = \frac{\partial }{\partial x}, \quad X_2=-\frac{\partial }{\partial y} + p(x,y)\frac{\partial }{\partial t}, \quad X_3=x^{n_1}\frac{\partial }{\partial t}, \quad X_4=y^{n_2}\frac{\partial }{\partial t}, \end{aligned}$$

\( n_1, n_2 \ne 0\). We show that the operator

$$\begin{aligned} P=\sum _1^4 X_j^2, \end{aligned}$$

well known to be \(C^\infty \)-hypoelliptic, is actually analytic hypoelliptic near the origin in \({\mathcal {R}}^3\).

     

Sharp Affine and Improved Moser–Trudinger–Adams Type Inequalities on Unbounded Domains in the Spirit of Lions

The purpose of this paper is threefold. First, we prove sharp singular affine Moser–Trudinger inequalities on both bounded and unbounded domains in \({\mathbb {R}}^{n}\). In particular, we will prove the following much sharper affine Moser–Trudinger inequality in the spirit of Lions (Rev Mat Iberoamericana 1(2):45–121, 1985) (see our Theorem 1.4): Let \(\alpha _{n}=n\left( \frac{n\pi ^{\frac{n}{2}}}{\Gamma (\frac{n}{2}+1)}\right) ^{\frac{1}{n-1}}\), \(0\le \beta <n\) and \(\tau >0\). Then there exists a constant \(C=C\left( n,\beta \right) >0\) such that for all \(0\le \alpha \le \left( 1-\frac{\beta }{n}\right) \alpha _{n}\) and \(u\in C_{0}^{\infty }\left( {\mathbb {R}}^{n}\right) \setminus \left\{ 0\right\} \) with the affine energy \(~{\mathcal {E}}_{n}\left( u\right) <1\), we have

$$\begin{aligned} {\displaystyle \int \nolimits _{{\mathbb {R}}^{n}}} \frac{\phi _{n,1}\left( \frac{2^{\frac{1}{n-1}}\alpha }{\left( 1+{\mathcal {E}}_{n}\left( u\right) ^{n}\right) ^{\frac{1}{n-1}}}\left| u\right| ^{\frac{n}{n-1}}\right) }{\left| x\right| ^{\beta }}dx\le C\left( n,\beta \right) \frac{\left\| u\right\| _{n}^{n-\beta }}{\left| 1-{\mathcal {E}}_{n}\left( u\right) ^{n}\right| ^{1-\frac{\beta }{n}}}. \end{aligned}$$

Moreover, the constant \(\left( 1-\frac{\beta }{n}\right) \alpha _{n}\) is the best possible in the sense that there is no uniform constant \(C(n, \beta )\) independent of u in the above inequality when \(\alpha >\left( 1-\frac{\beta }{n}\right) \alpha _{n}\). Second, we establish the following improved Adams type inequality in the spirit of Lions (Theorem 1.8): Let \(0\le \beta <2m\) and \(\tau >0\). Then there exists a constant \(C=C\left( m,\beta ,\tau \right) >0\) such that

$$\begin{aligned} \underset{u\in W^{2,m}\left( {\mathbb {R}}^{2m}\right) , \int _{ {\mathbb {R}}^{2m}}\left| \Delta u\right| ^{m}+\tau \left| u\right| ^{m} \le 1}{\sup } {\displaystyle \int \nolimits _{{\mathbb {R}}^{2m}}} \frac{\phi _{2m,2}\left( \frac{2^{\frac{1}{m-1}}\alpha }{\left( 1+\left\| \Delta u\right\| _{m}^{m}\right) ^{\frac{1}{m-1}}}\left| u\right| ^{\frac{m}{m-1}}\right) }{\left| x\right| ^{\beta }}dx\le C\left( m,\beta ,\tau \right) , \end{aligned}$$

for all \(0\le \alpha \le \left( 1-\frac{\beta }{2m}\right) \beta (2m,2)\). When \(\alpha >\left( 1-\frac{\beta }{2m}\right) \beta (2m,2)\), the supremum is infinite. In the above, we use

$$\begin{aligned} \phi _{p,q}(t)=e^{t}- {\displaystyle \sum \limits _{j=0}^{j_{\frac{p}{q}}-2}} \frac{t^{j}}{j!},\,\,\,j_{\frac{p}{q}}=\min \left\{ j\in {\mathbb {N}} :j\ge \frac{p}{q}\right\} \ge \frac{p}{q}. \end{aligned}$$

The main difficulties of proving the above results are that the symmetrization method does not work. Therefore, our main ideas are to develop a rearrangement-free argument in the spirit of Lam and Lu (J Differ Equ 255(3):298–325, 2013; Adv Math 231(6): 3259–3287, 2012), Lam et al. (Nonlinear Anal 95: 77–92, 2014) to establish such theorems. Third, as an application, we will study the existence of weak solutions to the biharmonic equation

$$\begin{aligned} \left\{ \begin{array}{l} \Delta ^{2}u+V(x)u=f(x,u)\text { in }{\mathbb {R}}^{4}\\ u\in H^{2}\left( {\mathbb {R}}^{4}\right) ,~u\ge 0 \end{array} \right. , \end{aligned}$$

where the nonlinearity f has the critical exponential growth.

     

Sharp Moser–Trudinger Inequalities on Hyperbolic Spaces with Exact Growth Condition

Let \(\Phi _{n}(x)=e^x-\sum _{j=0}^{n-2}\frac{x^j}{j!}\) and \(\alpha _{n} =n\omega _{n-1}^{\frac{1}{n-1}}\) be the sharp constant in Moser’s inequality (where \(\omega _{n-1}\) is the area of the surface of the unit \(n\)-ball in \(\mathbb {R}^n\)), and \(dV\) be the volume element on the \(n\)-dimensional hyperbolic space \((\mathbb {H}^n, g)\) (\(n\ge {2}\)). In this paper, we establish the following sharp Moser–Trudinger type inequalities with the exact growth condition on \(\mathbb {H}^n\):

For any \(u\in {W^{1,n}(\mathbb {H}^n)}\) satisfying \(\Vert \nabla _{g}u\Vert _{n}\le {1}\), there exists a constant \(C(n)>0\) such that

$$\begin{aligned} \int _{\mathbb {H}^n}\frac{\Phi _{n}(\alpha _{n}|u|^{\frac{n}{n-1}})}{(1+|u|)^{\frac{n}{n-1}}}dV \le {C(n)\Vert u\Vert _{L^n}^{n}}. \end{aligned}$$

The power \(\frac{n}{n-1}\) and the constant \(\alpha _{n}\) are optimal in the following senses:

1. (i)
   If the power \(\frac{n}{n-1}\) in the denominator is replaced by any \(p<\frac{n}{n-1}\), then there exists a sequence of functions \(\{u_{k}\}\) such that \(\Vert \nabla _{g}u_{k}\Vert _{n}\le {1}\), but

   $$\begin{aligned} \frac{1}{\Vert u_{k}\Vert _{L^n}^{n}}\int _{\mathbb {H}^n} \frac{\Phi _{n}(\alpha _{n}(|u_{k}|)^{\frac{n}{n-1}})}{(1+|u_{k}|)^{p}}dV \rightarrow {\infty }. \end{aligned}$$
    
2. (ii)
   If \(\alpha >\alpha _{n}\), then there exists a sequence of function \(\{u_{k}\}\) such that \(\Vert \nabla _{g}u_{k}\Vert _{n}\le {1}\), but

   $$\begin{aligned} \frac{1}{\Vert u_{k}\Vert _{L^n}^{n}}\int _{\mathbb {H}^n} \frac{\Phi _{n}(\alpha (|u_{k}|)^{\frac{n}{n-1}})}{(1+|u_{k}|)^{p}}dV\rightarrow {\infty }, \end{aligned}$$

   for any \(p\ge {0}\).
    

This result sharpens the earlier work of the authors Lu and Tang (Adv Nonlinear Stud 13(4):1035–1052, 2013) on best constants for the Moser–Trudinger inequalities on hyperbolic spaces.

     

Contributions to a conjecture of Mueller and Schmidt on Thue inequalities

Let \(F(X,Y)=\sum \nolimits _{i=0}^sa_iX^{r_i}Y^{r-r_i}\in {\mathbb {Z}}[X,Y]\) be a form of degree \(r=r_s\ge 3\), irreducible over \({\mathbb {Q}}\) and having at most \(s+1\) non-zero coefficients. Mueller and Schmidt showed that the number of solutions of the Thue inequality

$$\begin{aligned} |F(X,Y)|\le h \end{aligned}$$

is \(\ll s^2h^{2/r}(1+\log h^{1/r})\). They conjectured that \(s^2\) may be replaced by s. Let

$$\begin{aligned} \Psi = \max _{0\le i\le s} \max \left( \sum _{w=0}^{i-1} \frac{1}{r_i-r_w},\sum _{w= i+1}^{s}\frac{1}{r_w-r_i}\right) . \end{aligned}$$

Then we show that \(s^2\) may be replaced by \(\max (s\log ^3s, se^{\Psi })\). We also show that if \(|a_0|=|a_s|\) and \(|a_i|\le |a_0|\) for \(1\le i\le s-1\), then \(s^2\) may be replaced by \(s\log ^{3/2}s\). In particular, this is true if \(a_i\in \{-1,1\}\).

     

The concentration behavior of ground state solutions for a fractional Schrödinger–Poisson system

In this paper, we study the following fractional Schrödinger–Poisson system

$$\begin{aligned} \left\{ \begin{array}{ll} \varepsilon ^{2s}(-\Delta )^s u +V(x)u+\phi u=K(x)|u|^{p-2}u,\,\,\text {in}~\mathbb {R}^3,\\ \\ \varepsilon ^{2s}(-\Delta )^s \phi =u^2,\,\,\text {in}~\mathbb {R}^3, \end{array} \right. \end{aligned}$$

(0.1)

where \(\varepsilon >0\) is a small parameter, \(\frac{3}{4}<s<1\), \(4<p<2_s^*:=\frac{6}{3-2s}\), \(V(x)\in C(\mathbb {R}^3)\cap L^\infty (\mathbb {R}^3)\) has positive global minimum, and \(K(x)\in C(\mathbb {R}^3)\cap L^\infty (\mathbb {R}^3)\) is positive and has global maximum. We prove the existence of a positive ground state solution by using variational methods for each \(\varepsilon >0\) sufficiently small, and we determine a concrete set related to the potentials V and K as the concentration position of these ground state solutions as \(\varepsilon \rightarrow 0\). Moreover, we considered some properties of these ground state solutions, such as convergence and decay estimate.

     

Sharp Inequalities Involving $$(n!)^{1/n}$$

We prove that, for all integers \(n\ge 1\),

$$\begin{aligned} \Big (\sqrt{2\pi n}\Big )^{\frac{1}{n(n+1)}}\left( 1-\frac{1}{n+a}\right) <\frac{\root n \of {n!}}{\root n+1 \of {(n+1)!}}\le \Big (\sqrt{2\pi n}\Big )^{\frac{1}{n(n+1)}}\left( 1-\frac{1}{n+b}\right) \end{aligned}$$

and

$$\begin{aligned} \big (\sqrt{2\pi n}\big )^{1/n}\left( 1-\frac{1}{2n+\alpha }\right) <\left( 1+\frac{1}{n}\right) ^{n}\frac{\root n \of {n!}}{n}\le \big (\sqrt{2\pi n}\big )^{1/n}\left( 1-\frac{1}{2n+\beta }\right) , \end{aligned}$$

with the best possible constants

$$\begin{aligned}&a=\frac{1}{2},\quad b=\frac{1}{2^{3/4}\pi ^{1/4}-1}=0.807\ldots ,\quad \alpha =\frac{13}{6} \\&\text {and}\quad \beta =\frac{2\sqrt{2}-\sqrt{\pi }}{\sqrt{\pi }-\sqrt{2}}=2.947\ldots . \end{aligned}$$

     

Lp estimates for non-smooth bilinear Littlewood–Paley square functions on $${\mathbb{R}}$$

In this work, we study some non-smooth bilinear analogues of linear Littlewood–Paley square functions on the real line. We prove boundedness-properties in Lebesgue spaces for them. Let us consider the functions \({\phi_{n}}\) satisfying \({\widehat{\phi_n}(\xi)={\bf 1}_{[n,n+1]}(\xi)}\) and define the bilinear operator \({S_n(f,g)(x):=\int f(x+y)g(x-y) \phi_n(y) dy}\) . These bilinear operators are closely related to the bilinear Hilbert transforms. Then for exponents \({p,q,r'\in[2,\infty)}\) satisfying \({\frac{1}{p}+\frac{1}{q}=\frac{1}{r}}\) , we prove that

$\left\| \left( \sum_{n\in \mathbb{Z}}\left|S_n(f,g) \right|^2 \right)^{1/2}\right\|_{L^{r}(\mathbb{R})}\lesssim \|f\|_{L^p(\mathbb{R})}\|g\|_{L^q(\mathbb{R})}.$

     

Complementary Euler numbers

For an integer k, define poly-Euler numbers of the second kind \(\widehat{E}_n^{(k)}\) (\(n=0,1,\ldots \)) by

$$\begin{aligned} \frac{{\mathrm{Li}}_k(1-e^{-4 t})}{4\sinh t}=\sum _{n=0}^\infty \widehat{E}_n^{(k)}\frac{t^n}{n!}. \end{aligned}$$

When \(k=1\), \(\widehat{E}_n=\widehat{E}_n^{(1)}\) are Euler numbers of the second kind or complimentary Euler numbers defined by

$$\begin{aligned} \frac{t}{\sinh t}=\sum _{n=0}^\infty \widehat{E}_n\frac{t^n}{n!}. \end{aligned}$$

Euler numbers of the second kind were introduced as special cases of hypergeometric Euler numbers of the second kind in Komatsu and Zhu (Hypergeometric Euler numbers, 2016, arXiv:1612.06210), so that they would supplement hypergeometric Euler numbers. In this paper, we study generalized Euler numbers of the second kind and give several properties and applications.