A Characterization of Two-Weight Norm Inequality for Littlewood–Paley $$g_{\lambda }^{*}$$-Function

Let \(n\ge 2\) and \(g_{\lambda }^{*}\) be the well-known high-dimensional Littlewood–Paley function which was defined and studied by E. M. Stein,

$$\begin{aligned} g_{\lambda }^{*}(f)(x) =\bigg (\iint _{\mathbb {R}^{n+1}_{+}} \Big (\frac{t}{t+|x-y|}\Big )^{n\lambda } |\nabla P_tf(y,t)|^2 \frac{\mathrm{d}y \mathrm{d}t}{t^{n-1}}\bigg )^{1/2}, \ \quad \lambda > 1, \end{aligned}$$

where \(P_tf(y,t)=p_t*f(y)\), \(p_t(y)=t^{-n}p(y/t)\), and \(p(x) = (1+|x|^2)^{-(n+1)/2}\), \(\nabla =(\frac{\partial }{\partial y_1},\ldots ,\frac{\partial }{\partial y_n},\frac{\partial }{\partial t})\). In this paper, we give a characterization of two-weight norm inequality for \(g_{\lambda }^{*}\)-function. We show that \(\big \Vert g_{\lambda }^{*}(f \sigma ) \big \Vert _{L^2(w)} \lesssim \big \Vert f \big \Vert _{L^2(\sigma )}\) if and only if the two-weight Muckenhoupt \(A_2\) condition holds, and a testing condition holds:

$$\begin{aligned} \sup _{Q : \text {cubes}~\mathrm{in} \ {\mathbb {R}^n}} \frac{1}{\sigma (Q)} \int _{{\mathbb {R}^n}} \iint _{\widehat{Q}} \Big (\frac{t}{t+|x-y|}\Big )^{n\lambda }|\nabla P_t(\mathbf {1}_Q \sigma )(y,t)|^2 \frac{w \mathrm{d}x \mathrm{d}t}{t^{n-1}} \mathrm{d}y < \infty , \end{aligned}$$

where \(\widehat{Q}\) is the Carleson box over Q and \((w, \sigma )\) is a pair of weights. We actually prove this characterization for \(g_{\lambda }^{*}\)-function associated with more general fractional Poisson kernel \(p^\alpha (x) = (1+|x|^2)^{-{(n+\alpha )}/{2}}\). Moreover, the corresponding results for intrinsic \(g_{\lambda }^*\)-function are also presented.

     

Infinitely many non-radial solutions for fractional Nirenberg problem

In this paper, the prescribed \(\sigma \)-curvature problem

$$\begin{aligned} P_{\sigma }^{g_0} u={\tilde{K}}(x)u^{\frac{N+2\sigma }{N-2\sigma }}, x\in {\mathbb {S}}^N,u>0 \end{aligned}$$

is considered. When \({\tilde{K}}(x)\) is some axis symmetric function on \({\mathbb {S}}^N\), by using singular perturbation method, it is proved that this problem possesses infinitely many non-radial solutions for \(0<\sigma \le 1\) and \(N> 2\sigma +2\).

     

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.

     

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.

     

A Law of the Iterated Logarithm for Directed Last Passage Percolation

Let \({\widetilde{H}}_N\), \(N \ge 1\), be the point-to-point last passage times of directed percolation on rectangles \([(1,1), ([\gamma N], N)]\) in \({\mathbb {N}}\times {\mathbb {N}}\) over exponential or geometric independent random variables, rescaled to converge to the Tracy–Widom distribution. It is proved that for some \(\alpha _{\sup } >0\),

$$\begin{aligned} \alpha _{\sup } \, \le \, \limsup _{N \rightarrow \infty } \frac{{\widetilde{H}}_N}{(\log \log N)^{2/3}} \, \le \, \Big ( \frac{3}{4} \Big )^{2/3} \end{aligned}$$

with probability one, and that \(\alpha _{\sup } = \big ( \frac{3}{4} \big )^{2/3}\) provided a commonly believed tail bound holds. The result is in contrast with the normalization \((\log N)^{2/3}\) for the largest eigenvalue of a GUE matrix recently put forward by E. Paquette and O. Zeitouni. The proof relies on sharp tail bounds and superadditivity, close to the standard law of the iterated logarithm. A weaker result on the liminf with speed \((\log \log N)^{1/3}\) is also discussed.

     

A Sharp Weak-Type $$(\infty ,\infty )$$ Inequality for the Hilbert Transform

The paper is devoted to sharp weak type \((\infty ,\infty )\) estimates for \({\mathcal {H}}^{\mathbb {T}}\) and \({\mathcal {H}}^{\mathbb {R}}\), the Hilbert transforms on the circle and real line, respectively. Specifically, it is proved that

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {T}}f\right\| _{W({\mathbb {T}})}\le \Vert f\Vert _{L^\infty ({\mathbb {T}})} \end{aligned}$$

and

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {R}}f\right\| _{W({\mathbb {R}})}\le \Vert f\Vert _{L^\infty ({\mathbb {R}})}, \end{aligned}$$

where \(W({\mathbb {T}})\) and \(W({\mathbb {R}})\) stand for the weak-\(L^\infty \) spaces introduced by Bennett, DeVore and Sharpley. In both estimates, the constant \(1\) on the right is shown to be the best possible.

     

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.

     

Limit problems for a Fractional p-La placian as $${ p\to\infty}$$

The purpose of this work is the analysis of the solutions to the following problems related to the fractional p-Laplacian in a Lipschitzian bounded domain \({\Omega \subset \mathbb{R}^N}\),

$$\left\{\begin{array}{lll}-\int_{\mathbb{R}^N}\frac{|u(y)-u(x)|^{p-2}(u(y)-u(x))}{|x-y|^{\alpha p}}\;dy=f(x,u)\;\;&x\in \Omega,\\ u=g(x) &x\in\mathbb{R}^N\setminus \Omega,\end{array}\right.$$

where \({\alpha\in(0,1)}\) and the exponent p goes to infinity. In particular we will analyze the cases:

1. (i)
   \({f=f(x).}\)
    
2. (ii)
   \({f=f(u)=|u|^{\theta(p)-1} u \, {\rm with} \, 0 < \theta(p) < p -1 \, {\rm and} \, \lim_{p\to\infty}\frac{\theta(p)}{p-1}=\Theta < 1 \, {\rm with} \, g \geq 0.}\)
    

We show the convergence of the solutions to certain limit as \({p\to\infty}\) and identify the limit equation. In both cases, the limit problem is closely related to the Infinity Fractional Laplacian:

$$\mathcal{L}_\infty v(x)=\mathcal{L}_\infty^+ v(x)+\mathcal{L}_\infty^- v(x),$$

where

$$\mathcal{L}_\infty^+ v(x)=\sup_{y\in\mathbb{R}^N}\frac{v(y)-v(x)}{|y-x|^\alpha}, \quad \mathcal{L}_\infty^- v(x)=\inf_{y\in\mathbb{R}^N}\frac{v(y)-v(x)}{|y-x|^\alpha}.$$

     

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

     

Classification of minimal mass blow-up solutions for an $${L^{2}}$$ critical inhomogeneous NLS

We establish the classification of minimal mass blow-up solutions of the \({L^{2}}\) critical inhomogeneous nonlinear Schrödinger equation

$$i\partial_t u + \Delta u + |x|^{-b}|u|^{\frac{4-2b}{N}}u = 0,$$

thereby extending the celebrated result of Merle (Duke Math J 69(2):427–454, 1993) from the classic case \({b=0}\) to the case \({0< b< {\rm min} \{2,N\} }\), in any dimension \({N \geqslant 1}\).

     

Ramanujan-like series for $$\frac{1}{\pi }$$ involving harmonic numbers

We introduce new classes of Ramanujan-like series for \(\frac{1}{\pi }\), by devising methods for evaluating harmonic sums involving squared central binomial coefficients, such as the Ramanujan-type series

$$\begin{aligned} \sum _{n=1}^{\infty } \frac{\left( {\begin{array}{c}2 n\\ n\end{array}}\right) ^2 \left( H_n^2+H_n^{(2)}\right) }{16^n (2 n-1)} = \frac{4 \pi }{3}-\frac{32 \ln ^2(2) - 32 \ln (2) + 16 }{\pi } \end{aligned}$$

introduced in this article. While the main technique used in this article is based on the evaluation of a parameter derivative of a beta-type integral, we also show how new integration results involving complete elliptic integrals may be used to evaluate Ramanujan-like series for \(\frac{1}{\pi }\) containing harmonic numbers.

     

On the classification of 4-dimensional $$(m,\rho )$$-quasi-Einstein manifolds with harmonic Weyl curvature

In this paper we study four-dimensional \((m,\rho )\)-quasi-Einstein manifolds with harmonic Weyl curvature when \(m\notin \{0,\pm 1,-2,\pm \infty \}\) and \(\rho \notin \{\frac{1}{4},\frac{1}{6}\}\). We prove that a non-trivial \((m,\rho )\)-quasi-Einstein metric g (not necessarily complete) is locally isometric to one of the following: (i) \({\mathcal {B}}^2_\frac{R}{2(m+2)}\times {\mathbb {N}}^2_\frac{R(m+1)}{2(m+2)}\), where \({\mathcal {B}}^2_\frac{R}{2(m+2)}\) is the northern hemisphere in the two-dimensional (2D) sphere \({\mathbb {S}}^2_\frac{R}{2(m+2)}\), \({\mathbb {N}}_\delta \) is a 2D Riemannian manifold with constant curvature \(\delta \), and R is the constant scalar curvature of g. (ii) \({\mathcal {D}}^2_\frac{R}{2(m+2)}\times {\mathbb {N}}^2_\frac{R(m+1)}{2(m+2)}\), where \({\mathcal {D}}^2_\frac{R}{2(m+2)}\) is half (cut by a hyperbolic line) of hyperbolic plane \({\mathbb {H}}^2_\frac{R}{2(m+2)}\). (iii) \({\mathbb {H}}^2_\frac{R}{2(m+2)}\times {\mathbb {N}}^2_\frac{R(m+1)}{2(m+2)}\). (iv) A certain singular metric with \(\rho =0\). (v) A locally conformal flat metric. By applying this local classification, we obtain a classification of the complete \((m,\rho )\)-quasi-Einstein manifolds given the condition of a harmonic Weyl curvature. Our result can be viewed as a local classification of gradient Einstein-type manifolds. A corollary of our result is the classification of \((\lambda ,4+m)\)-Einstein manifolds, which can be viewed as (m, 0)-quasi-Einstein manifolds.     

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

     

Least energy sign-changing solutions for a class of fourth order Kirchhoff-type equations in $$\mathbb {R}^{N}$$

In this article we study the problem

$$\begin{aligned} \Delta ^{2}u-\left( a+b\int _{\mathbb {R}^{N}}\left| \nabla u\right| ^{2}dx\right) \Delta u+V(x)u=\left| u\right| ^{p-2}u\ \text { in }\mathbb {R}^{N}, \end{aligned}$$

where \(\Delta ^{2}:=\Delta (\Delta )\) is the biharmonic operator, \(a,b>0\) are constants, \(N\le 7,\) \(p\in (4,2_{*})\) for \(2_{*}\) defined below, and \(V(x)\in C(\mathbb {R}^{N},\mathbb {R})\). Under appropriate assumptions on V(x), the existence of least energy sign-changing solution is obtained by combining the variational methods and the Nehari method.

     

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}$$

     

Some applications of the regularity principle in sequence spaces

The Hardy–Littlewood inequalities for m-linear forms have their origin with the seminal paper of Hardy and Littlewood (Q J Math 5:241–254, 1934). Nowadays it has been extensively investigated and many authors are looking for the optimal estimates of the constants involved. For \(m<p\le 2m\) it asserts that there is a constant \(D_{m,p}^{\mathbb {K}}\ge 1\) such that

$$\begin{aligned} \left( \sum _{j_{1},\ldots ,j_{m}=1}^{n}\left| T(e_{j_{1}},\ldots ,e_{j_{m} })\right| ^{\frac{p}{p-m}}\right) ^{\frac{p-m}{p}}\le D_{m,p} ^{\mathbb {K}}\left\| T\right\| , \end{aligned}$$

for all m-linear forms \(T:\ell _{p}^{n}\times \cdots \times \ell _{p} ^{n}\rightarrow \mathbb {K}=\mathbb {R}\) or \(\mathbb {C}\) and all positive integers n. Using a regularity principle recently proved by Pellegrino, Santos, Serrano and Teixeira, we present a straightforward proof of the Hardy–Littlewood inequality and show that:

1. (1)
   If \(m<p_{1}\le p_{2}\le 2m\) then \(D_{m,p_{1}}^{\mathbb {K}}\le D_{m,p_{2}}^{\mathbb {K}}\);
    
2. (2)
   \(D_{m,p}^{\mathbb {K}}\le D_{m-1,p}^{\mathbb {K}}\) whenever \(m<p\le 2\left( m-1\right) \) for all \(m\ge 3\).
    

     

A logarithmically improved regularity criterion for the supercritical quasi-geostrophic equations in Besov space

In this paper, we consider the logarithmically improved regularity criterion for the supercritical quasi-geostrophic equation in Besov space \(\dot B_{\infty ,\infty }^{ - r}\left( {{\mathbb{R}^2}} \right)\). The result shows that if θ is a weak solutions satisfies

$$\int_0^T {\frac{{\left\| {\nabla \theta ( \cdot ,s)} \right\|_{\dot B_{\infty ,\infty }^{ - r} }^{\tfrac{\alpha }{{\alpha - r}}} }}{{1 + \ln \left( {e + \left\| {\nabla ^ \bot \theta ( \cdot ,s)} \right\|_{L^{\tfrac{2}{r}} } } \right)!}}ds < \infty for some 0 < r < \alpha and 0 < \alpha < 1,}$$

then θ is regular at t = T. In view of the embedding \({L^{\frac{2}{r}}} \subset M_{\frac{2}{r}}^p \subset \dot B_{\infty ,\infty }^{ - r}\) with \(2 \leqslant p < \frac{2}{r}\) and 0 ≤ r < 1, we see that our result extends the results due to [20] and [31].

     

Hölder continuity for continuous solutions of the singular minimal surface equation with arbitrary zero set

In this paper we prove the following theorem: Let \(\Omega \subset \mathbb {R}^{n}\) be a bounded open set, \(\psi \in C_{c}^{2}(\mathbb {R}^{n})\), \(\psi > 0\) on \(\partial \Omega \), be given boundary values and u a nonnegative solution to the problem

$$\begin{aligned}&u \in C^{0}(\overline{\Omega }) \cap C^{2}(\{u> 0\}) \\&u = \psi \quad \text { on } \; \partial \Omega \\&{\text {div}} \left( \frac{Du}{\sqrt{1 + |Du|^{2}}}\right) = \frac{\alpha }{u \sqrt{1 + |Du|^{2}}} \quad \text { in } \; \{u > 0\} \end{aligned}$$

where \(\alpha > 0\) is a given constant. Then \(u \in C^{0, \frac{1}{2}} (\overline{\Omega })\). Furthermore we prove strict mean convexity of the free boundary \(\partial \{u = 0\}\) provided \(\partial \{u = 0\}\) is assumed to be of class \(C^{2}\) and \(\alpha \ge 1\).

     

Mixed Wavelet Leaders Multifractal Formalism in a Product of Critical Besov Spaces

In this paper, we will prove (resp. study) the Baire generic validity of the upper-Hölder (resp. iso-Hölder) mixed wavelet leaders multifractal formalism on a product of two critical Besov spaces \(B_{t_{1}}^{\frac{m}{t_{1}},q_{1}}(\mathbb {R}^m) \times B_{t_{2}}^{\frac{m}{t_{2}},q_{2}}(\mathbb {R}^m)\), for \(t_1,t_2>0\), \(q_1 \le 1\) and \(q_2 \le 1\). Contrary to product spaces \(B_{t_{1}}^{s_{1},\infty }(\mathbb {R}^m) \times B_{t_{2}}^{s_{2},\infty }(\mathbb {R}^m) \) with \(s_{1} > \frac{m}{t_{1}}\) and \(s_{2} >\frac{m}{t_{2}}\) (Ben Slimane in Mediterr J Math, 13(4):1513–1533, 2016) and \((B_{t_{1}}^{s_{1},\infty }(\mathbb {R}^m) \cap C^{\gamma _{1}}(\mathbb {R}^m)) \times (B_{t_{2}}^{s_{2},\infty }(\mathbb {R}^m) \cap C^{\gamma _{2}}(\mathbb {R}^m)\) with \(0<\gamma _{1}<s_{1}<\frac{m}{t_{1}}\) and \(0<\gamma _{2}<s_{2}<\frac{m}{t_{2}}\) (Ben Abid et al. in Mediterr J Math, 13(6):5093–5118, 2016), all pairs of functions in the obtained generic set are not uniform Hölder. Nevertheless, the characterization of the upper bound of the Hölder exponent by decay conditions of local wavelet leaders suffices for our study.     

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