王周結(jié)，趙前進(jìn)，戴浩波

(安徽理工大學(xué) 數(shù)學(xué)與大數(shù)據(jù)學(xué)院，安徽 淮南 232001)

0 引 言

一個(gè)整數(shù)n稱為y-光滑的,如果它的最大素因子p(記為P+(n))滿足P+(n)≤y。在數(shù)論中,將一個(gè)整數(shù)分解為兩個(gè)或者多個(gè)由其素因子大小決定的部分往往是重要的。比如,張益唐[1]2014年完成了關(guān)于相鄰素?cái)?shù)差的著名工作,光滑數(shù)在其中起了關(guān)鍵的作用。關(guān)于光滑數(shù)的性質(zhì)和應(yīng)用等內(nèi)容可以參見文獻(xiàn)。[2-6]

若對(duì)于任何的素?cái)?shù)d滿足d2不能整除n,則稱n是一個(gè)無平方因子數(shù)。無平方因子數(shù)也是數(shù)論中經(jīng)常研究的一類數(shù)。利用解析方法有很多關(guān)于無平方因子數(shù)研究,比如一元整值(或素變數(shù))多項(xiàng)式取無平方數(shù)個(gè)數(shù)的問題等。[7]本文主要利用M?bius變換的方法研究光滑數(shù)平移后取無平方因子數(shù)的個(gè)數(shù)問題。對(duì)于y≥exp{(logx)5/3+ε},事實(shí)上因?yàn)橛泻芏嗪玫墓烙?jì)[8],因此本文只考慮當(dāng)y小的時(shí)候的情形。

設(shè)x,y是兩個(gè)正實(shí)數(shù),記

S(x,y):={n|n≤x,P+(n)≤y}

為如下整數(shù)的集合:從1到x的y-光滑數(shù)所組成的集合。

記

Ψ(x,y):=#S(x,y)

為S(x,y)這個(gè)集合中元素的個(gè)數(shù)。對(duì)于2≤y≤x,記α=α(x,y)∈[0,1]是如下方程的解

(1)

對(duì)于自然數(shù)m,記

(2)

本文主要結(jié)果是下面定理:

定理1 設(shè)c≥4是一個(gè)常數(shù),若時(shí),有

#{n∈S(x,y):n+1是無平方因子數(shù)

1 一些基礎(chǔ)知識(shí)和記號(hào)

記φ(n)是通常的Euler函數(shù),ω(n)是自然數(shù)n的不同素因子的個(gè)數(shù)。在本文中,記號(hào)U=O(V)或者U?V是指存在常數(shù)c,使得|U|≤cV。

記

Ψ(x,y；a,q):=#{n∈S(x,y):n≡a(modq)}

Ψq(x,y):=#{n∈S(x,y):(n,q)=1}

首先，需要如下關(guān)于Ψm(x,y)的引理。

引理1[9]若(logx)2≤y≤x,P+(m)≤y,且則

其中，gm(α)由(2)式所表示的,而其次，還需要光滑數(shù)上Bombieri-Vinogradov類似的結(jié)論。

記

引理2[10]對(duì)于任意的ε>0,存在c,δ>0,對(duì)所有的x,y滿足(logx)c≤y≤x1/c,及對(duì)所有的A≥0,有

2 定理1的證明

在這一節(jié)中，證明定理1。

從初等數(shù)論中知道,對(duì)于任何自然數(shù)n,它可以唯一的表示為n=a2b,其中b是無平方因子數(shù)。因此自然數(shù)n是無平方因子數(shù)當(dāng)且僅當(dāng)a=1,由此可得

通過上述式子,可以把問題轉(zhuǎn)換為

(3)

通過后面計(jì)算可知∑1是主項(xiàng),∑2是余項(xiàng)。

首先，由引理2可得(取a1=-1，a2=1)

下面，分析Ψd2(x,y)。若記

則根據(jù)Ψm(x,y)的定義,容易得到

Ψd2(x,y)=Ψd(x,y)=Ψdy(x,y)

其次，估計(jì)Ψd2(x,y)中的余項(xiàng)Edy(1+Edy)。當(dāng)c≥4,由條件(logx)c≤y和引理1中Edy的定義,經(jīng)過簡單的代入,可得

因此

從而得到

下面估計(jì)∑2,事實(shí)上對(duì)于它的估計(jì),只需要給出如下平凡的上界:

(5)

綜合(3)、(4)和(5),就證明了定理1。