On a class of differential-difference equations arising in number theory. (English) Zbl 0797.11072

Hildebrand, Adolf; Tenenbaum, Gérald

J. Anal. Math. 61, 145-179 (1993).

Functions defined by a differential-difference equation of the type (1) \(uf ' (u) + af(u) + bf(u-1) = 0\), where \(a\) and \(b\) are constants, arise frequently in number theory. Probably the best known examples are the Dickman function \(\rho(u)\) and the Buchstab function \(\omega (u)\). Functions satisfying (1) when \(a+b\) is an integer arise in sieve theory and in this context have been investigated by various authors. The equation (1) with general coefficients \(a\) and \(b\) have been studied by H. Iwaniec [Acta Arith. 36, 171-202 (1980; Zbl 0435.10029)] and F. Wheeler [Trans. Am. Math. Soc. 318, 491-523 (1990; Zbl 0697.10035)].
The object of the present paper is to describe, for any given pair of complex coefficients \((a,b)\) with \(b \neq 0\) the structure and asymptotic behavior of the general solution to \((1)\). Equation (1) with the initial condition (2) \(f(u) = \varphi(u)\) \((u_ 0 - 1 \leq u \leq u_ 0)\), where \(\varphi (u)\) is any given continuous function on \([u_ 0 - 1,u_ 0]\), has a unique continuous solution \(f(u) = f(u;\varphi)\) for \(u \geq u_ 0\). In the paper, the authors construct a set of “fundamental” solutions \(F(u)\) and \(F_ n(u)\) \((n \in \mathbb{Z})\) and the solution \(f(u)\) can be expressed as a convergent series \(f(u) = \alpha F(u) + \sum_{n \in \mathbb{Z}} \alpha_ n F_ n (u)\) with suitable coefficients \(\alpha\) and \(\alpha_ n\).
The functions \(F\) and \(F_ n\) are defined by means of a contour integral, which can be estimated rather precisely. To state the result we set \[ \Phi (u,s) = {\exp \{-us + bI(s)\}s^{a+b-1} \over \sqrt {2 \pi u(1-1/s)}}, \] where \(I(s) = \int^ s_ 0{e^ z-1 \over z} dz\), and then we have the following result: For any fixed non-zero integer \(n\) and \(u \geq u_ 0 (\varepsilon,n)\) we have \[ F_ n(u) = (1+O({1 \over u})) \Phi (u, \zeta_ n) \] where \(\zeta_ n = \zeta_ n (u/b)\) is a certain complex solution of the equation \(e^ \zeta = 1 + {u \over b} \zeta\), and the implied constant depends at most on \(\varepsilon\) and \(n\).
The principal result of the paper is as follows. Let \(\varphi (u)\) be a continuous function on \([u_ 0 - 1,u_ 0]\) and let \(f(u) = f(u;\varphi)\) be the unique continuous solution to (1) and (2). Then we have \[ f(u) = \alpha F(u) + \sum_{\alpha \in \mathbb{Z}} \alpha_ n F_ n(u), \quad u>u_ 0+1 \tag{3} \] where \(\alpha = \langle \varphi, G \rangle\), \(\alpha_ n = \langle \varphi, G_ n \rangle\) and the series in (3) is uniformly convergent for \(u \geq u_ 0 + 1 + \delta\), for any fixed \(\delta>0\).
Moreover, the authors derive several corollaries from the principal result.

Reviewer: Xuan Tizuo (Beijing)

MSC:

11N25	Distribution of integers with specified multiplicative constraints
34K99	Functional-differential equations (including equations with delayed, advanced or state-dependent argument)

Keywords:

adjoint equation; differential-difference equation; asymptotic behavior

Citations:

Zbl 0435.10029; Zbl 0697.10035

References:

[1]	Alladi, K., An Erdös-Kac theorem for integers without large prime factors, Acta Arith, 49, 81-105 (1987) · Zbl 0627.10030
[2]	Ankeny, N. C.; Onishi, H., The general sieve, Acta Arith, 10, 31-62 (1964) · Zbl 0127.27002
[3]	[Be] J. J. A. Beenakker,The differential-difference equation αxf^1(x)+f(x−1)=0, Thesis, Eindhoven, 1966. · Zbl 0144.08702
[4]	Bellimann, R.; Cooke, K., Differential-Difference Equations (1963), New York: Academic Press, New York · Zbl 0105.06402
[5]	de Bruijn, N. G., On some Volterra integral equations of which all solutions are convergent, Nederl. Akad. Wetensch. Proc., 53, 813-821 (1950) · Zbl 0038.26602
[6]	de Bruijn, N. G., On the number of uncancelled elements in the sieve of Eratosthenes, Nederl. Akad. Wetensch. Proc., 53, 803-812 (1950) · Zbl 0037.03001
[7]	de Bruijn, N. G., On the number of positive integers ≤ x and free of prime factors >y, Nederl. Akad. Wetensch. Proc., 54, 50-60 (1951) · Zbl 0042.04204
[8]	de Bruijn, N. G., The asymptotic behavior of a function occurring in the theory of primes, J. Indian Math. Soc., 15, 25-32 (1951) · Zbl 0043.06502
[9]	de Bruijn, N. G., The difference-differential equation F′(x)=e^αx+βF(x−1), I, II, Nederl. Akad. Wetensch. Proc., 56, 449-464 (1953) · Zbl 0053.38703
[10]	de Bruijn, N. G., Asymptotic methods in Analysis (1981), New York: Dover, New York · Zbl 0556.41021
[11]	Buchstab, A. A., Asymptotic estimates of a general number-theoretic function (Russian), Mat. Sb., 44, 1237-1246 (1937)
[12]	Cheer, A. Y.; Goldston, D., A differential delay equation arising from the sieve of Eratosthenes, Math. Comp., 55, 129-141 (1990) · Zbl 0702.11059 · doi:10.2307/2008795
[13]	Diamond, H.; Halberstam, H.; Richert, H.-E.; Berndt, B., A boundary, value problem for a pair of differential delay equations related to sieve theory I, Analytic Number Theory, 133-157 (1990), Boston: Birkhaüser, Boston · Zbl 0717.11036
[14]	Dickman, K., On the frequency of numbers containing primes of a certain relative magnitude, Ark. Mat. Astr. Fys., 22, 1-14 (1930) · JFM 56.0178.04
[15]	Friedlander, J.; Granville, A.; Hildebrand, A.; Maier, H., Oscillation theorems for primes in arithmetic progressions and for sifting functions, J. Amer. Math. Soc., 4, no. 1, 25-86 (1991) · Zbl 0724.11040 · doi:10.2307/2939254
[16]	Grupp, F.; Richert, H.-E., Notes on functions connected with the sieve, Analysis, 8, 1-23 (1988) · Zbl 0657.10048
[17]	Hensley, D., The convolution powers of the Dickman function, J. London Math. Soc., 33, 289-307 (1986) · Zbl 0565.10041 · doi:10.1112/jlms/s2-33.3.395
[18]	Hildebrand, A., The asymptotic behavior of the solutions of a class of differential-difference equations, J. London Math. Soc., 42, 2, 11-31 (1990) · Zbl 0675.34037 · doi:10.1112/jlms/s2-42.1.11
[19]	Iwaniec, H., Rosser’s sieve, Acta Arith., 36, 171-202 (1980) · Zbl 0435.10029
[20]	Jurkat, W.-B.; Richert, H.-E., An improvement of Selberg’s sieve method, I, Acta Arith., 11, 217-240 (1965) · Zbl 0128.26902
[21]	Maier, H., Primes in short intervals, Michigan Math. J., 32, 221-225 (1985) · Zbl 0569.10023 · doi:10.1307/mmj/1029003189
[22]	[Ten] G. Tenenbaum,Introduction à la théorie analytique et probabiliste des nombres, Revue de l’Institut Elie Cartan13, Département de Mathématiques de l’Université de Nancy 1 (1990).
[23]	Wheeler, F., Two differential-difference equations arising in number theory, Trans. Amer. Math. Soc., 318, 491-523 (1990) · Zbl 0697.10035 · doi:10.2307/2001317