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\).

     

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.

     

Large conformal metrics with prescribed sign-changing Gauss curvature

Let \((M,g)\) be a two dimensional compact Riemannian manifold of genus \(g(M)>1\). Let \(f\) be a smooth function on \(M\) such that

$$\begin{aligned} f \ge 0, \quad f\not \equiv 0, \quad \min _M f = 0. \end{aligned}$$

Let \(p_1,\ldots ,p_n\) be any set of points at which \(f(p_i)=0\) and \(D^2f(p_i)\) is non-singular. We prove that for all sufficiently small \(\lambda >0\) there exists a family of “bubbling” conformal metrics \(g_\lambda =e^{u_\lambda }g\) such that their Gauss curvature is given by the sign-changing function \(K_{g_\lambda }=-f+\lambda ^2\). Moreover, the family \(u_\lambda \) satisfies

$$\begin{aligned} u_\lambda (p_j) = -4\log \lambda -2\log \left( \frac{1}{\sqrt{2}} \log \frac{1}{\lambda }\right) +O(1) \end{aligned}$$

and

$$\begin{aligned} \lambda ^2e^{u_\lambda }\rightharpoonup 8\pi \sum _{i=1}^{n}\delta _{p_i},\quad \text{ as } \lambda \rightarrow 0, \end{aligned}$$

where \(\delta _{p}\) designates Dirac mass at the point \(p\).

     

Congruences for 5-regular partitions modulo powers of 5

Let \(b_{5}(n)\) denote the number of 5-regular partitions of n. We find the generating functions of \(b_{5}(An+B)\) for some special pairs of integers (A, B). Moreover, we obtain infinite families of congruences for \(b_{5}(n)\) modulo powers of 5. For example, for any integers \(k\ge 1\) and \(n\ge 0\), we prove that

$$\begin{aligned} b_{5}\left( 5^{2k-1}n+\frac{5^{2k}-1}{6}\right) \equiv 0 \quad (\mathrm{mod}\, 5^{k}) \end{aligned}$$

and

$$\begin{aligned} b_{5}\left( 5^{2k}n+\frac{5^{2k}-1}{6}\right) \equiv 0 \quad (\mathrm{mod}\, 5^{k}). \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.

     

On $$\ell $$-regular bipartitions modulo $$\ell $$

Let \(B_\ell (n)\) denote the number of \(\ell \)-regular bipartitions of n. In this paper, we prove several infinite families of congruences satisfied by \(B_\ell (n)\) for \(\ell \in {\{5,7,13\}}\). For example, we show that for all \(\alpha >0\) and \(n\ge 0\),

$$\begin{aligned} B_5\left( 4^\alpha n+\frac{5\times 4^\alpha -2}{6}\right)\equiv & {} 0 \ (\text {mod}\ 5),\\ B_7\left( 5^{8\alpha }n+\displaystyle \frac{5^{8\alpha }-1}{2}\right)\equiv & {} 3^\alpha B_7(n)\ (\text {mod}\ 7) \end{aligned}$$

and

$$\begin{aligned} B_{13}\left( 5^{12\alpha }n+5^{12\alpha }-1\right) \equiv B_{13}(n)\ (\text {mod}\ 13). \end{aligned}$$

     

Optimal bounds for convergence of expected spectral distributions to the semi-circular law

Let \(\mathbf {X}=(X_{jk})_{j,k=1}^n\) denote a Hermitian random matrix with entries \(X_{jk}\), which are independent for \(1\le j\le k\le n\). We consider the rate of convergence of the empirical spectral distribution function of the matrix \(\mathbf {X}\) to the semi-circular law assuming that \(\mathbf{E}X_{jk}=0\), \(\mathbf{E}X_{jk}^2=1\) and that

$$\begin{aligned} \sup _{n\ge 1}\sup _{1\le j,k\le n}\mathbf{E}|X_{jk}|^4=:\mu _4<\infty , \end{aligned}$$

and

$$\begin{aligned} \sup _{1\le j,k\le n}|X_{jk}|\le D_0n^{\frac{1}{4}}. \end{aligned}$$

By means of a recursion argument it is shown that the Kolmogorov distance between the expected spectral distribution of the Wigner matrix \(\mathbf {W}=\frac{1}{\sqrt{n}}\mathbf {X}\) and the semicircular law is of order \(O(n^{-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.

     

Congruences for 7 and 49-regular partitions modulo powers of 7

Let \(b_{k}(n)\) denote the number of k-regular partitions of n. In this paper, we prove Ramanujan-type congruences modulo powers of 7 for \(b_{7}(n)\) and \(b_{49}(n)\). For example, for all \(j\ge 1\) and \(n\ge 0\), we prove that

$$\begin{aligned} b_{7}\Bigg (7^{2j-1}n+\frac{3\cdot 7^{2j-1}-1}{4}\Bigg )\equiv 0\pmod {7^{j}} \end{aligned}$$

and

$$\begin{aligned} b_{49}\Big (7^{j}n+7^{j}-2\Big )\equiv 0\pmod {7^{j}}. \end{aligned}$$

     

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\}\).

     

Sign-changing blowing-up solutions for a non-homogeneous elliptic equation at the critical exponent

We consider the equation \(-\Delta u = |u| ^{\frac{4}{n-2}}u + \varepsilon f(x) \) under zero Dirichlet boundary conditions in a bounded domain \(\Omega \) in \(\mathbb {R}^{n}\), \(n \ge 3\), with \(f\ge 0\), \(f\ne 0\). We find sign-changing solutions with large energy. The basic cell in the construction is the sign-changing nodal solution to the critical Yamabe problem

$$\begin{aligned} -\Delta w = |w|^{\frac{4}{n-2}} w, \quad w \in {\mathcal D}^{1,2} (\mathbb {R}^n) \end{aligned}$$

recently constructed in del Pino et al. (J Differ Equ 251(9):2568–2597, 2011).

     

Multiplicity of nodal solutions to the Yamabe problem

Given a compact Riemannian manifold (M, g) without boundary of dimension \(m\ge 3\) and under some symmetry assumptions, we establish existence of one positive and multiple nodal solutions to the Yamabe-type equation

$$\begin{aligned} -\text {div}_{g}(a\nabla u)+bu=c|u|^{2^{*}-2}u\quad \text { on }M, \end{aligned}$$

where \(a,b,c\in \mathcal {C}^{\infty }(M), a\) and c are positive, ? div\(_{g}(a\nabla )+b\) is coercive, and \(2^{*}=\frac{2m}{m-2}\) is the critical Sobolev exponent. In particular, if \(R_{g}\) denotes the scalar curvature of (M, g), we give conditions which guarantee that the Yamabe problem

$$\begin{aligned} \Delta _{g}u+\frac{m-2}{4(m-1)}R_{g}u=\kappa u^{2^{*}-2}\quad \text { on }M \end{aligned}$$

admits a prescribed number of nodal solutions.

     

On the sum of the reciprocals of the differences between consecutive primes

Let \(p_n\) denote the n-th prime number, and let \(d_n=p_{n+1}-p_{n}\). Under the Hardy–Littlewood prime-pair conjecture, we prove

$$\begin{aligned} \sum _{n\le X}\frac{\log ^{\alpha }d_n}{d_n}\sim {\left\{ \begin{array}{ll} \quad \frac{X\log \log \log X}{\log X}~\qquad \quad ~ &{}\alpha =-1,\\ \frac{X}{\log X}\frac{(\log \log X)^{1+\alpha }}{1+\alpha }\qquad &{}\alpha >-1, \end{array}\right. } \end{aligned}$$

and establish asymptotic properties for some series of \(d_n\) without the Hardy–Littlewood prime-pair conjecture.

     

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.

     

$$L^p$$-Fourier asymptotics,Hardy-type inequality and fractal measures

Suppose \(\mu \) is an \(\alpha \)-dimensional fractal measure for some \(0<\alpha <n\). Inspired by the results proved by Strichartz (J Funct Anal 89:154–187, 1990), we discuss the \(L^p\)-asymptotics of the Fourier transform of \(fd\mu \) by estimating bounds of

$$\begin{aligned} \underset{L\rightarrow \infty }{\liminf }\ \frac{1}{L^k} \int _{|\xi |\le L}\ |\widehat{fd\mu }(\xi )|^pd\xi , \end{aligned}$$

for \(f\in L^p(d\mu )\) and \(2<p<2n/\alpha \). In a different direction, we prove a Hardy type inequality, that is,

$$\begin{aligned} \int \frac{|f(x)|^p}{(\mu (E_x))^{2-p}}d\mu (x)\le C\ \underset{L\rightarrow \infty }{\liminf }\frac{1}{L^{n-\alpha }} \int _{B_L(0)}|\widehat{fd\mu }(\xi )|^pd\xi \end{aligned}$$

where \(1\le p\le 2\) and \(E_x=E\cap (-\infty ,x_1]\times (-\infty ,x_2]\ldots (-\infty ,x_n]\) for \(x=(x_1,\ldots x_n)\in {\mathbb R}^n\) generalizing the one dimensional results by Hudson and Leckband (J Funct Anal 108:133–160, 1992).

     

On a problem of Bourgain concerning the $$L_p$$ norms of exponential sums

For \(n \ge 1\) let

$$\begin{aligned} {\mathcal {A}}_n := \bigg \{ P: P(z) = \sum \limits _{j=1}^n{z^{k_j}}: 0 \le k_1 < k_2 < \cdots < k_n, k_j \in {\mathbb {Z}} \bigg \}, \end{aligned}$$

that is, \({\mathcal {A}}_n\) is the collection of all sums of \(n\) distinct monomials. These polynomials are also called Newman polynomials. Let

$$\begin{aligned} M_{p}(Q) := \left( \int _{0}^{1}{\left| Q(e^{i2\pi t}) \right| ^p\,dt} \right) ^{1/p}, \qquad p > 0. \end{aligned}$$

We define

$$\begin{aligned} S_{n,p} := \sup _{Q \in {\mathcal {A}}_n}{\frac{M_p(Q)}{\sqrt{n}}} \qquad \text{ and } \qquad S_p := \liminf _{n \rightarrow \infty }{S_{n,p}} \le \Sigma _p := \limsup _{n \rightarrow \infty }{S_{n,p}}. \end{aligned}$$

We show that

$$\begin{aligned} \Sigma _p \ge \Gamma (1+p/2)^{1/p}, \qquad p \in (0,2). \end{aligned}$$

The special case \(p=1\) recaptures a recent result of Aistleitner [1], the best known lower bound for \(\Sigma _1\).

     

Multiple complex-valued solutions for nonlinear magnetic Schrödinger equations

We study, in the semiclassical limit, the singularly perturbed nonlinear Schrödinger equations

$$\begin{aligned} L^{\hbar }_{A,V} u = f(|u|^2)u \quad \hbox {in}\quad \mathbb {R}^N \end{aligned}$$

(0.1)

where \(N \ge 3\), \(L^{\hbar }_{A,V}\) is the Schrödinger operator with a magnetic field having source in a \(C^1\) vector potential A and a scalar continuous (electric) potential V defined by

$$\begin{aligned} L^{\hbar }_{A,V}= -\hbar ^2 \Delta -\frac{2\hbar }{i} A \cdot \nabla + |A|^2- \frac{\hbar }{i}\mathrm{div}A + V(x). \end{aligned}$$

(0.2)

Here, f is a nonlinear term which satisfies the so-called Berestycki-Lions conditions. We assume that there exists a bounded domain \(\Omega \subset \mathbb {R}^N\) such that

$$\begin{aligned} m_0 \equiv \inf _{x \in \Omega } V(x) < \inf _{x \in \partial \Omega } V(x) \end{aligned}$$

and we set \(K = \{ x \in \Omega \ | \ V(x) = m_0\}\). For \(\hbar >0\) small we prove the existence of at least \({\mathrm{cupl}}(K) + 1\) geometrically distinct, complex-valued solutions to (0.1) whose moduli concentrate around K as \(\hbar \rightarrow 0\).

     

Arithmetic properties of 7-regular partitions

Let \(b_{\ell }(n)\) denote the number of \(\ell \)-regular partitions of n. By employing the modular equation of seventh order, we establish the following congruence for \(b_{7}(n)\) modulo powers of 7: for \(n\ge 0\) and \(j\ge 1\),

$$\begin{aligned} b_{7}\left( 7^{2j-1}n+\frac{3\cdot 7^{2j}-1}{4}\right) \equiv 0 \pmod {7^j}. \end{aligned}$$

We also find some infinite families of congruences modulo 2 and 7 satisfied by \(b_{7}(n)\).