В работе рассматривается бинарная аддитивная задача вида n1 +n2 = N с условиями n1 ∈ N(α, I1), n2 ∈ N(β, I2), где N(α, I) = {n ∈ N : {nα} ∈ I}. Такие множества описывают, в частности, натуральные числа, име- ющие заданное окончание разложения по линейным рекуррентным по- следовательностям, связанным с числами Пизо. Кроме того, множества N(α, I) являются частными случаями так называемых квазирешеток. Ра- нее рассматривались аддитивные задачи на множествах такого вида для случая α = β. В этом случае были получены асимптотические формулы для числа решений аддитивной задачи с произвольным числом слагаемых, а также для аналогов тернарной проблемы Гольдбаха, проблемы Хуа-Локена, проблемы Варинга и проблемы Лагранжа о представлении натуральных чисел в виде сумм четырех квадратов. При этом Гриценко и Мотькина обнаружили, что в случае линейных задач возникает нетри- виальный эффект: появление некоторой достаточно сложной функции в главном члене асимптотики числа решений. Для нелинейных задач подобный эффект отсутствует и вид главного члена получается из плотностных соображений. В рассматриваемой задаче обнаружено, что поведение главного чле- на асимтотической формулы для числа решений существенным образом зависит от арифметических свойств α и β. Если 1, α и β линейно независимы над кольцом целых чисел Z, то главный член асимптотики имеет плотностный вид, то есть равен |I1||I2|N. В случае линейной зависимо- сти 1, α и β имеет место эффект Гриценко-Мотькиной, то есть главный член имеет вид ρ({Nβ})N, где ρ – достаточно сложная эффективно вычислимая кусочно линейная функция от дробной доли {Nβ}. В работе получен алгоритм вычисления функции ρ, а также изучены ее основные свойства. В частности, получены достаточные условия ее необращения в нуль. Также рассмотрен численный пример вычисления данной функции для конкретных множеств N(α, I1), N(β, I2). В завершающей части работы обсуждается ряд открытых проблем в данной области.
In this paper we consider binary additive problem of the form n1 +n2 = N with n1 ∈ N(α, I1), N2 ∈ N(β, I2), where N(α, I) = {n ∈ N : {nα} ∈ I}. Main examples of such sets are the sets of natural numbers with specified ending of greedy expansion of the number by linear recurrence sequences associated with Pisot numbers. Besides that, the sets N(α, I) are special cases of quasilattices. Previously additive problems on the sets of this type are considered only for the case α = β. In this case was obtained asymptotic formulaes for the number of solutions of the additive problem with an arbitrary number of terms, and for number of solutions in analogues of ternary Goldbach problem, Hua-Loken problem, Waring problems, and Lagrange problem about the representation number of natural numbers as a sum of four squares. Wherein, Gritsenko and Motkina discovered that in the case of linear problems we have the following nontrivial effect: apprearence of a rather complicated function in the main term of the asymptotics for the number of solutions. For nonlinear problems corrsponding effect is missing and the form of the main term can be obtained by the density considerations. In our problem, we show that the behavior of the main term of the asymptotic formula for the number of solutions significantly depends on the arithmetic of α and β. If 1, α and β are linearly independent over the ring of integers Z, then the main term of the asymptotic has the "density"form, i.e. it is equal to |I1||I2|N. In the case of linear dependence of 1, α and β we have the Gritsenko-Motkina effect, i.e. the main term is ρ({Nβ})N, where ρ is a rather complicated efficiently computable piecewise linear function of the fractional part {Nβ}. we obtain an algorithm for computation of the function ρ, and study basic properties of this function. In particular, we obtain sufficient conditions for its non-vanishing. Also we give a numerical example of the computation of this function for some concrete sets N(α, I1), N(β, I2). In the final part of the paper we discuss some open problems in this area.
The authors declare that there are no conflicts of interest present.