Iteration of certain exponential-like meromorphic functions

The dynamics of functions \(f_\lambda (z)= \lambda \frac{\mathrm{e}^{z}}{z+1}\ \text{ for }\ z\in \mathbb {C}, \lambda >0\) is studied showing that there exists \(\lambda ^* > 0\) such that the Julia set of \(f_\lambda \) is disconnected for \(0< \lambda < \lambda ^*\) whereas it is the whole Riemann sphere for \(\lambda > \lambda ^*\). Further, for \(0< \lambda < \lambda ^*\), the Julia set is a disjoint union of two topologically and dynamically distinct completely invariant subsets, one of which is totally disconnected. The union of the escaping set and the backward orbit of \(\infty \) is shown to be disconnected for \(0<\lambda < \lambda ^*\) whereas it is connected for \(\lambda > \lambda ^*\). For complex \(\lambda \), it is proved that either all multiply connected Fatou components ultimately land on an attracting or parabolic domain containing the omitted value of the function or the Julia set is connected. In the latter case, the Fatou set can be empty or consists of Siegel disks. All these possibilities are shown to occur for suitable parameters. Meromorphic functions \(E_n(z) =\mathrm{e}^{z}(1+z+\frac{z^2}{2!}+\cdots +\frac{z^n}{n!})^{-1}\), which we call exponential-like, are studied as a generalization of \(f(z)=\frac{\mathrm{e}^{z}}{z+1}\) which is nothing but \(E_1(z)\). This name is justified by showing that \(E_n\) has an omitted value 0 and there are no other finite singular value. In fact, it is shown that there is only one singularity over 0 as well as over \(\infty \) and both are direct. Non-existence of Herman rings are proved for \(\lambda E_n \).     

Some results on generalized strong external difference families

A generalized strong external difference family (briefly \((v, m; k_1,\dots ,k_m; \lambda _1,\dots ,\lambda _m)\)-GSEDF) was introduced by Paterson and Stinson in 2016. In this paper, we give some nonexistence results for GSEDFs. In particular, we prove that a \((v, 3;k_1,k_2,k_3; \lambda _1,\lambda _2,\lambda _3)\)-GSEDF does not exist when \(k_1+k_2+k_3< v\). We also give a first recursive construction for GSEDFs and prove that if there is a \((v,2;2\lambda ,\frac{v-1}{2};\lambda ,\lambda )\)-GSEDF, then there is a \((vt,2;4\lambda ,\frac{vt-1}{2};2\lambda ,2\lambda )\)-GSEDF with \(v>1\), \(t>1\) and \(v\equiv t\equiv 1\pmod 2\). Then we use it to obtain some new GSEDFs for \(m=2\). In particular, for any prime power q with \(q\equiv 1\pmod 4\), we show that there exists a \((qt, 2;(q-1)2^{n-1},\frac{qt-1}{2};(q-1)2^{n-2},(q-1)2^{n-2})\)-GSEDF, where \(t=p_1p_2\dots p_n\), \(p_i>1\), \(1\le i\le n\), \(p_1, p_2,\dots ,p_n\) are odd integers.     

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.

     

Universal Cycle Packings and Coverings for <Emphasis Type="Italic">k</Emphasis>-Subsets of an <Emphasis Type="Italic">n</Emphasis>-Set

A cyclic sequence of elements of [n] is an (n, k)-Ucycle packing (respectively, (n, k)-Ucycle covering) if every k-subset of [n] appears in this sequence at most once (resp. at least once) as a subsequence of consecutive terms. Let \(p_{n,k}\) be the length of a longest (n, k)-Ucycle packing and \(c_{n,k}\) the length of a shortest (n, k)-Ucycle covering. We show that, for a fixed \(k,p_{n,k}={n\atopwithdelims ()k}-O(n^{\lfloor k/2\rfloor })\). Moreover, when k is not fixed, we prove that if \(k=k(n)\le n^{\alpha }\), where \(0<\alpha <1/3\), then \(p_{n,k}={n\atopwithdelims ()k}-o({n\atopwithdelims ()k}^\beta )\) and \(c_{n,k}={n\atopwithdelims ()k}+o({n\atopwithdelims ()k}^\beta )\), for some \(\beta <1\). Finally, we show that if \(k=o(n)\), then \(p_{n,k}={n\atopwithdelims ()k}(1-o(1))\).     

A concave–convex problem with a variable operator

We study the following elliptic problem \(-A(u) = \lambda u^q\) with Dirichlet boundary conditions, where \(A(u) (x) = \Delta u (x) \chi _{D_1} (x)+ \Delta _p u(x) \chi _{D_2}(x)\) is the Laplacian in one part of the domain, \(D_1\), and the p-Laplacian (with \(p>2\)) in the rest of the domain, \(D_2 \). We show that this problem exhibits a concave–convex nature for \(1<q<p-1\). In fact, we prove that there exists a positive value \(\lambda ^*\) such that the problem has no positive solution for \(\lambda > \lambda ^*\) and a minimal positive solution for \(0<\lambda < \lambda ^*\). If in addition we assume that p is subcritical, that is, \(p<2N/(N-2)\) then there are at least two positive solutions for almost every \(0<\lambda < \lambda ^*\), the first one (that exists for all \(0<\lambda < \lambda ^*\)) is obtained minimizing a suitable functional and the second one (that is proven to exist for almost every \(0<\lambda < \lambda ^*\)) comes from an appropriate (and delicate) mountain pass argument.     

Extremal eigenvalues and eigenvectors of deformed Wigner matrices

We consider random matrices of the form \(H = W + \lambda V, \lambda \in {\mathbb {R}}^+\), where \(W\) is a real symmetric or complex Hermitian Wigner matrix of size \(N\) and \(V\) is a real bounded diagonal random matrix of size \(N\) with i.i.d. entries that are independent of \(W\). We assume subexponential decay of the distribution of the matrix entries of \(W\) and we choose \(\lambda \sim 1\), so that the eigenvalues of \(W\) and \(\lambda V\) are typically of the same order. Further, we assume that the density of the entries of \(V\) is supported on a single interval and is convex near the edges of its support. In this paper we prove that there is \(\lambda _+\in {\mathbb {R}}^+\) such that the largest eigenvalues of \(H\) are in the limit of large \(N\) determined by the order statistics of \(V\) for \(\lambda >\lambda _+\). In particular, the largest eigenvalue of \(H\) has a Weibull distribution in the limit \(N\rightarrow \infty \) if \(\lambda >\lambda _+\). Moreover, for \(N\) sufficiently large, we show that the eigenvectors associated to the largest eigenvalues are partially localized for \(\lambda >\lambda _+\), while they are completely delocalized for \(\lambda <\lambda _+\). Similar results hold for the lowest eigenvalues.     

The Hardy–Schrödinger operator with interior singularity: the remaining cases

We consider the remaining unsettled cases in the problem of existence of energy minimizing solutions for the Dirichlet value problem \(L_\gamma u-\lambda u=\frac{u^{2^*(s)-1}}{|x|^s}\) on a smooth bounded domain \(\Omega \) in \({\mathbb {R}}^n\) (\(n\ge 3\)) having the singularity 0 in its interior. Here \(\gamma <\frac{(n-2)^2}{4}\), \(0\le s <2\), \(2^*(s):=\frac{2(n-s)}{n-2}\) and \(0\le \lambda <\lambda _1(L_\gamma )\), the latter being the first eigenvalue of the Hardy–Schrödinger operator \(L_\gamma :=-\Delta -\frac{\gamma }{|x|^2}\). There is a threshold \(\lambda ^*(\gamma , \Omega ) \ge 0\) beyond which the minimal energy is achieved, but below which, it is not. It is well known that \(\lambda ^*(\Omega )=0\) in higher dimensions, for example if \(0\le \gamma \le \frac{(n-2)^2}{4}-1\). Our main objective in this paper is to show that this threshold is strictly positive in “lower dimensions” such as when \( \frac{(n-2)^2}{4}-1<\gamma <\frac{(n-2)^2}{4}\), to identify the critical dimensions (i.e., when the situation changes), and to characterize it in terms of \(\Omega \) and \(\gamma \). If either \(s>0\) or if \(\gamma > 0\), i.e., in the truly singular case, we show that in low dimensions, a solution is guaranteed by the positivity of the “Hardy-singular internal mass” of \(\Omega \), a notion that we introduce herein. On the other hand, and just like the case when \(\gamma =s=0\) studied by Brezis and Nirenberg (Commun Pure Appl Math 36:437–477, 1983) and completed by Druet (Ann Inst H Poincaré Anal Non Linéaire 19(2):125–142, 2002), \(n=3\) is the critical dimension, and the classical positive mass theorem is sufficient for the merely singular case, that is when \(s=0\), \(\gamma \le 0\).     

On a Fractional $$ p \& q$$ Laplacian Problem with Critical Sobolev–Hardy Exponents

We consider the following fractional \( p \& q\) Laplacian problem with critical Sobolev–Hardy exponents

$$\begin{aligned} \left\{ \begin{array}{ll} (-\Delta )^{s}_{p} u + (-\Delta )^{s}_{q} u = \frac{|u|^{p^{*}_{s}(\alpha )-2}u}{|x|^{\alpha }}+ \lambda f(x, u) &{} \text{ in } \Omega \\ u=0 &{} \text{ in } \mathbb {R}^{N}{\setminus } \Omega , \end{array} \right. \end{aligned}$$

where \(0<s<1\), \(1\le q<p<\frac{N}{s}\), \((-\Delta )^{s}_{r}\), with \(r\in \{p,q\}\), is the fractional r-Laplacian operator, \(\lambda \) is a positive parameter, \(\Omega \subset \mathbb {R}^{N}\) is an open bounded domain with smooth boundary, \(0\le \alpha <sp\), and \(p^{*}_{s}(\alpha )=\frac{p(N-\alpha )}{N-sp}\) is the so-called Hardy–Sobolev critical exponent. Using concentration-compactness principle and the mountain pass lemma due to Kajikiya [23], we show the existence of infinitely many solutions which tend to be zero provided that \(\lambda \) belongs to a suitable range.

     

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

     

Algebraic independence of certain Mahler functions

A monotonicity-type result for functions \(f\ : \ \mathbb {N}_a\rightarrow \mathbb {R}\) satisfying the sequential fractional difference inequality

$$\begin{aligned} \Delta _{1+a-\mu }^{\nu }\Delta _{a}^{\mu }f(t)\ge 0, \end{aligned}$$

for \(t\in \mathbb {N}_{2+a-\mu -\nu }\), where \(0<\mu <1\), \(0<\nu <1\), and \(1<\mu +\nu <2\), is proved, subject to the restriction that

$$\begin{aligned} \mu <2(1-\nu ). \end{aligned}$$

We demonstrate that this result is sharp in the sense that the restriction \(\mu <2(1-\nu )\) cannot be improved.

     

The solution gap of the Brezis–Nirenberg problem on the hyperbolic space

We consider the positive solutions of the nonlinear eigenvalue problem \(-\Delta _{\mathbb {H}^n} u = \lambda u + u^p, \) with \(p=\frac{n+2}{n-2}\) and \(u \in H_0^1(\Omega ),\) where \(\Omega \) is a geodesic ball of radius \(\theta _1\) on \(\mathbb {H}^n.\) For radial solutions, this equation can be written as an ordinary differential equation having n as a parameter. In this setting, the problem can be extended to consider real values of n. We show that if \(2<n<4\) this problem has a unique positive solution if and only if \(\lambda \in \left( n(n-2)/4 +L^*\,,\, \lambda _1\right) .\) Here \(L^*\) is the first positive value of \(L = -\ell (\ell +1)\) for which a suitably defined associated Legendre function \(P_{\ell }^{-\alpha }(\cosh \theta ) >0\) if \(0 < \theta <\theta _1\) and \(P_{\ell }^{-\alpha }(\cosh \theta _1)=0,\) with \(\alpha = (2-n)/2\).     

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.

     

Towards a Comprehensive Stability Theory for Feynman’s Operational Calculus: The Time-Dependent Setting

We obtain lower bounds on blow-up of solutions for the 3D magneto-micropolar equations. More precisely, we establish some estimates for the solution \((\mathbf{u},\mathbf{w},\mathbf{b}) (t)\) in its maximal interval \([0,T^{*})\) provided that \(T^{*}<\infty\), which show for \(\delta\in(0,1)\) that \(\|(\mathbf{u},\mathbf{w},\mathbf{b})(t)\|_{\dot{H}^{s}}\) is at least of the order \((T^{*}-t)^{-(\delta s)/(1+2\delta)}\) for \(s\geq1/2+\delta\). In particular, by choosing a suitable \(\delta\), one concludes that \(\|(\mathbf{u},\mathbf{w},\mathbf{b})(t)\|_{\dot{H}^{s}}\) is at least of the order \((T^{*}-t)^{-s/4}\), and \((T^{*}-t)^{1/4-s/2}\) for \(s\geq1\), and \(1/2< s<3/2\), respectively. We also show that \((T^{*}-t)^{-s/3}\) is a lower rate for \(\|(\mathbf{u},\mathbf{w},\mathbf{b})(t)\|_{\dot{H}^{s}}\) if \(s>3/2\).     

CCZ equivalence of power functions

Let \(F\simeq {{\mathrm{GF}}}(p^n)\) be a finite field of characteristic p and \(p_k\) and \(p_\ell \) be power functions on F defined by \(p_k(x)=x^k\) and \(p_\ell (x)=x^\ell \) respectively. We show, that \(p_k\) and \(p_\ell \) are CCZ equivalent, if and only if there exists a positive integer \(0\le a< n\), such that \(\ell \equiv p^a k \pmod {p^n-1}\) or \(k\ell \equiv p^a \pmod {p^n-1}\).     

Uniqueness of self-shrinkers to the degree-one curvature flow with a tangent cone at infinity

Given a smooth, symmetric and homogeneous of degree one function \(f\left( \lambda _{1},\ldots ,\lambda _{n}\right) \) satisfying \(\partial _{i}f>0\quad \forall \,i=1,\ldots , n\), and a properly embedded smooth cone \({\mathcal {C}}\) in \({\mathbb {R}}^{n+1}\), we show that under suitable conditions on f, there is at most one f self-shrinker (i.e. a hypersurface \(\Sigma \) in \({\mathbb {R}}^{n+1}\) satisfying \(f\left( \kappa _{1},\ldots ,\kappa _{n}\right) +\frac{1}{2}X\cdot N=0\), where \(\kappa _{1},\ldots ,\kappa _{n}\) are principal curvatures of \(\Sigma \)) that is asymptotic to the given cone \({\mathcal {C}}\) at infinity.     

On the eigenvalues and spectral radius of starlike trees

Let \(k\ge 1\) and \(n_1,\ldots ,n_k\ge 1\) be some integers. Let \(S(n_1,\ldots ,n_k)\) be a tree T such that T has a vertex v of degree k and \(T{\setminus } v\) is the disjoint union of the paths \(P_{n_1},\ldots ,P_{n_k}\), that is \(T{\setminus } v\cong P_{n_1}\cup \cdots \cup P_{n_k}\) so that every neighbor of v in T has degree one or two. The tree \(S(n_1,\ldots ,n_k)\) is called starlike tree, a tree with exactly one vertex of degree greater than two, if \(k\ge 3\). In this paper we obtain the eigenvalues of starlike trees. We find some bounds for the largest eigenvalue (for the spectral radius) of starlike trees. In particular we prove that if \(k\ge 4\) and \(n_1,\ldots ,n_k\ge 2\), then \(\frac{k-1}{\sqrt{k-2}}<\lambda _1(S(n_1,\ldots ,n_k))<\frac{k}{\sqrt{k-1}}\), where \(\lambda _1(T)\) is the largest eigenvalue of T. Finally we characterize all starlike trees that all of whose eigenvalues are in the interval \((-2,2)\).     

The positive solutions to a quasi-linear problem of fractional <Emphasis Type="Italic">p</Emphasis>-Laplacian type without the Ambrosetti–Rabinowitz condition

In this paper, we study the existence of nontrivial solution to a quasi-linear problem

Open image in new window

where \( (-\Delta )_{p}^{s} u(x)=2\lim \nolimits _{\epsilon \rightarrow 0}\int _{\mathbb {R}^N \backslash B_{\varepsilon }(X)} \frac{|u(x)-u(y)|^{p-2} (u(x)-u(y))}{| x-y | ^{N+sp}}dy, \) \( x\in \mathbb {R}^N\) is a nonlocal and nonlinear operator and \( p\in (1,\infty )\), \( s \in (0,1) \), \( \lambda \in \mathbb {R} \), \( \Omega \subset \mathbb {R}^N (N\ge 2)\) is a bounded domain which smooth boundary \(\partial \Omega \). Using the variational methods based on the critical points theory, together with truncation and comparison techniques, we show that there exists a critical value \(\lambda _{*}>0\) of the parameter, such that if \(\lambda >\lambda _{*}\), the problem \((P)_{\lambda }\) has at least two positive solutions, if \(\lambda =\lambda _{*}\), the problem \((P)_{\lambda }\) has at least one positive solution and it has no positive solution if \(\lambda \in (0,\lambda _{*})\). Finally, we show that for all \(\lambda \ge \lambda _{*}\), the problem \((P)_{\lambda }\) has a smallest positive solution.

     

Group divisible designs with large block sizes

For positive integers n, k with \(3\le k\le n\), let \(X=\mathbb {F}_{2^n}\setminus \{0,1\}\), \({\mathcal {G}}=\{\{x,x+1\}:x\in X\}\), and \({\mathcal {B}}_k=\left\{ \{x_1,x_2,\ldots ,x_k\}\!\subset \!X:\sum \limits _{i=1}^kx_i=1,\ \sum \limits _{i\in I}x_i\!\ne \!1\ \mathrm{for\ any}\ \emptyset \!\ne \!I\!\subsetneqq \!\{1,2,\ldots ,k\}\right\} \). Lee et al. used the inclusion–exclusion principle to show that the triple \((X,{\mathcal {G}},{\mathcal {B}}_k)\) is a \((k,\lambda _k)\)-GDD of type \(2^{2^{n-1}-1}\) for \(k\in \{3,4,5,6,7\}\) where \(\lambda _k=\frac{\prod _{i=3}^{k-1}(2^n-2^i)}{(k-2)!}\) (Lee et al. in Des Codes Cryptogr,  https://doi.org/10.1007/s10623-017-0395-8, 2017). They conjectured that \((X,{\mathcal {G}},{\mathcal {B}}_k)\) is also a \((k,\lambda _k)\)-GDD of type \(2^{2^{n-1}-1}\) for any integer \(k\ge 8\). In this paper, we use a similar construction and counting principles to show that there is a \((k,\lambda _k)\)-GDD of type \((q^2-q)^{(q^{n-1}-1)/(q-1)}\) for any prime power q and any integers k, n with \(3\le k\le n\) where \(\lambda _k=\frac{\prod _{i=3}^{k-1}(q^n-q^i)}{(k-2)!}\). Consequently, their conjecture holds. Such a method is also generalized to yield a \((k,\lambda _k)\)-GDD of type \((q^{\ell +1}-q^{\ell })^{(q^{n-\ell }-1)/(q-1)}\) where \(\lambda _k=\frac{\prod _{i=3}^{k-1}(q^n-q^{\ell +i-1})}{(k-2)!}\) and \(k+\ell \le n+1\).     

The Sharp Weighted Bound for Multilinear Maximal Functions and Calderón–Zygmund Operators

We investigate the weighted bounds for multilinear maximal functions and Calderón–Zygmund operators from \(L^{p_1}(w_1)\times \cdots \times L^{p_m}(w_m)\) to \(L^{p}(v_{\vec {w}})\), where \(1<p_1,\cdots ,p_m<\infty \) with \(1/{p_1}+\cdots +1/{p_m}=1/p\) and \(\vec {w}\) is a multiple \(A_{\vec {P}}\) weight. We prove the sharp bound for the multilinear maximal function for all such \(p_1,\ldots , p_m\) and prove the sharp bound for \(m\)-linear Calderón–Zymund operators when \(p\ge 1\).     

On a ternary Diophantine inequality

Let \(\Omega (n)\) be the total number of prime factors of n, and let \(\lambda _j\) be the real numbers satisfying suitable conditions. Let \(J_k(N)\) denote the number of solutions to the inequality

$$\begin{aligned} \left\{ \begin{array}{ll} |\lambda _1n_1+\lambda _2n_2+\lambda _3n_3+\eta |<\varepsilon ,&{} \\ \Omega (n_j)= k,&{} \\ 2\le n_j\le N \quad (j=1,2,3).&{} \end{array} \right. \end{aligned}$$

In this note, we investigate the properties of \(J_k(N)\) for any integer \(k\ge 1\), which is allowed to tend to infinity with respect to N. Using an asymptotic formula for the weighted exponential sums, we obtain a sharper lower bound for it and also discuss an application of the main result.