<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">cheb</journal-id><journal-title-group><journal-title xml:lang="ru">Чебышевский сборник</journal-title><trans-title-group xml:lang="en"><trans-title>Chebyshevskii Sbornik</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2226-8383</issn><publisher><publisher-name>Tula State Lev Tolstoy  Pedagogical University</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.22405/2226-8383-2020-21-3-196-214</article-id><article-id custom-type="elpub" pub-id-type="custom">cheb-860</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Статьи</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>Article</subject></subj-group></article-categories><title-group><article-title>О среднем значении функций, родственных функции делителей, в кольце многочленов над конечным полем</article-title><trans-title-group xml:lang="en"><trans-title>On the mean value of functions related to the divisors function in the ring of polynomials over a finite field</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Юделевич</surname><given-names>Виталий Викторович</given-names></name><name name-style="western" xml:lang="en"><surname>Iudelevich</surname><given-names>Vitaly Viktorovich</given-names></name></name-alternatives><bio xml:lang="ru"><p>аспирант</p></bio><bio xml:lang="en"><p>graduate student</p></bio><email xlink:type="simple">vitaliiyudelevich@mail.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Московский государственный университет им. М. В. Ломоносова</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Lomonosov Moscow State University</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2020</year></pub-date><pub-date pub-type="epub"><day>28</day><month>12</month><year>2020</year></pub-date><volume>21</volume><issue>3</issue><fpage>196</fpage><lpage>214</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Юделевич В.В., 2020</copyright-statement><copyright-year>2020</copyright-year><copyright-holder xml:lang="ru">Юделевич В.В.</copyright-holder><copyright-holder xml:lang="en">Iudelevich V.V.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.chebsbornik.ru/jour/article/view/860">https://www.chebsbornik.ru/jour/article/view/860</self-uri><abstract><p>Пусть $\mathbb{F}_q[T]$~--- кольцо многочленов над конечным полем $\mathbb{F}_q$. Далее, пусть $ g\!:\mathbb{F}_q[T]\rightarrow \mathbb{R}$~--- мультипликативная функция, значения которой на степенях неприводимого многочлена зависят лишь от показателя степени, то есть $g(P^k)=d_k$ для любого неприводимого многочлена $P$ и некоторой фиксированной последовательности вещественных чисел $\{d_k\}_{k=1}^{\infty}$. В работе исследуется сумма $$T(N)=T(N;g)=\sum\limits_{\deg F=N}{g(F)},$$ где $F$ пробегает многочлены степени $N$ со старшим коэффициентом, равным 1 (унитарные многочлены). Для суммы $T(N)$ находится точная формула, а также вычисляется асимптотика при $q\to\infty$ и $N$ фиксированном; при $N\to\infty$ и $ q\to\infty$; при $\ q^N\to\infty$. В частности, доказаны следующие асимптотические формулы: $$\sum\limits_{\substack{\deg F=N \\ F \text{ унитарен}}}\tau(F^k)=\binom{k+N}{N}q^N+O_{N,k}\left(q^{N-1}\right),\ \ N\ge 1,\ q\to\infty; $$ $$ \sum\limits_{\substack{\deg F=N \\ F \text{ унитарен}}}\dfrac{1}{\tau(F)}=\dfrac{q^N}{4^N}\left(\binom{2N}{N}-\dfrac{2}{3}\binom{2N-4}{N-2}q^{-1}+O\left(\ \dfrac{4^N}{\sqrt{N}}q^{-2}\right)\right),\ N\to\infty,\ q\to\infty; $$ $$\sum\limits_{\substack{\deg F=N \\ F \text{ унитарен}}}\dfrac{1}{\tau(F)}=C_1\cdot\dfrac{\binom{2N}{N}}{4^N}q^N+O\left(\dfrac{q^{N-0.5}}{N^{1.5}}\right),\ \ C_1=\prod_{l=1}^{+\infty}\left(\sqrt{q^{2l}-q^{l}}\ln\dfrac{q^l}{q^l-1}\right)^{\pi_q(l)},\ q^N\to\infty;$$ где $\tau(F)$~--- число унитарных многочленов, делящих $F$, и $\pi_q(l)$~--- число неприводимых унитарных многочленов степени $l$. Последние две формулы представляют собой аналог для многочленов над конечным полем одного результата Рамануджана $$\sum_{n\leq x}{\dfrac{1}{d(n)}}=\dfrac{x}{\sqrt{\ln x}}\left(a_0+\dfrac{a_1}{\ln{x}}+\ldots+\dfrac{a_N}{(\ln{x})^N}+O_N\left(\dfrac{1}{(\ln{x})^{N+1}}\right)\right),$$ где $d(n)$~--- классическая функция делителей, $a_i$~--- константы, в частности $$a_0=\dfrac{1}{\sqrt{\pi}}\prod\limits_{p}\ln\dfrac{p}{p-1}\sqrt{p(p-1)}.$$</p></abstract><trans-abstract xml:lang="en"><p>Let $ g: \mathbb{F}_q[T] \rightarrow \mathbb{R} $ be a multiplicative function which values at the degrees of the irreducible polynomial, depends only on the exponent, such that $g(P^k)=d_k$ polynomial $P$ and for some arbitrary sequence of reals $\{d_k\}_{k=1}^{\infty}$. This paper regards the sum $$ T (N) = \sum\limits_{\substack{\deg F=N \\ F \text{ is monic}}}{g (F)}, $$ where $ F $ ranges over polynomials of degree $ N $ with leading coefficient equal to 1 (unitary polynomials). For the sum $ T (N) $, an exact formula is found, and various asymptotics are calculated in cases of \\ $ q \to \infty; \ q \to \infty, \ N \to \infty; \ q ^ N \to \infty $. In particular, the following asymptotic formulas are obtained $$\sum\limits_{\substack{\deg F=N \\ F \text{ is monic}}}\tau(F^k)=\binom{k+N}{N}q^N+O_{N,k}\left(q^{N-1}\right),\ \ N\ge 1,\ q\to\infty; $$ $$ \sum\limits_{\substack{\deg F=N \\ F \text{ is monic}}}\dfrac{1}{\tau(F)}=\dfrac{q^N}{4^N}\left(\binom{2N}{N}-\dfrac{2}{3}\binom{2N-4}{N-2}q^{-1}+O\left(\ \dfrac{4^N}{\sqrt{N}}q^{-2}\right)\right),\ N\to\infty,\ q\to\infty; $$ $$\sum\limits_{\substack{\deg F=N \\ F \text{ is monic}}}\dfrac{1}{\tau(F)}=C_1\cdot\dfrac{\binom{2N}{N}}{4^N}q^N+O\left(\dfrac{q^{N-0.5}}{N^{1.5}}\right),\ \ C_1=\prod_{l=1}^{+\infty}\left(\sqrt{q^{2l}-q^{l}}\ln\dfrac{q^l}{q^l-1}\right)^{\pi_q(l)},\ q^N\to\infty;$$ where $\tau(F)$ is a number of monic divisors of $F$, and $\pi_q(l)$ is a number of monic irreducible polynomials of degree $l$. The second and third equalities are analogous for polynomials over a finite field of one of Ramanujan's results $$\sum_{n\leq x}{\dfrac{1}{d(n)}}=\dfrac{x}{\sqrt{\ln x}}\left(a_0+\dfrac{a_1}{\ln{x}}+\ldots+\dfrac{a_N}{(\ln{x})^N}+O_N\left(\dfrac{1}{(\ln{x})^{N+1}}\right)\right),$$ where $d(n)$ is a classical divisor function, and $a_i$ are some constants. In particular, $$a_0=\dfrac{1}{\sqrt{\pi}}\prod\limits_{p}\ln\dfrac{p}{p-1}\sqrt{p(p-1)}.$$</p></trans-abstract><kwd-group xml:lang="ru"><kwd>кольцо многочленов над конечным полем</kwd><kwd>функция делителей</kwd></kwd-group><kwd-group xml:lang="en"><kwd>the ring of polynomials over a finite field</kwd><kwd>divisor function.</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">L. Carlitz, The arithmetic of polymomials in a Galois field. // emph{Amer. J. Math.} textbf{54(1)} (1932), pp. 39-50.</mixed-citation><mixed-citation xml:lang="en">L. Carlitz, The arithmetic of polymomials in a Galois field.  // \emph{Amer. J. Math.} \textbf{54(1)}, (1932), pp. 39-50.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">S. Ramanujan, Some formulae in the analytic theory of numbers. // emph{The Messenger of Math.} textbf{45} (1916), pp. 81-84.</mixed-citation><mixed-citation xml:lang="en">S. Ramanujan, Some formulae in the analytic theory of numbers.  // \emph{The Messenger of Math.} \textbf{45} (1916), pp. 81-84.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">M. Rosen 2002, Number Theory in Function Fields, New York: Springer.%--- 359 p.</mixed-citation><mixed-citation xml:lang="en">M. Rosen 2002, &lt;&lt;Number Theory in Function Fields&gt;&gt;, New York: Springer.%--- 359 p.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">O. Gorodetsky 2016, &lt;&lt;A Polynomial Analogue of Landau's Theorem and Related Problems&gt;&gt;, texttt{arXiv:1603.02890v1 [math.NT]}.</mixed-citation><mixed-citation xml:lang="en">O. Gorodetsky 2016, &lt;&lt;A Polynomial Analogue of Landau's Theorem and Related Problems&gt;&gt;, \texttt{arXiv:1603.02890v1 [math.NT]}.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">L. Bary-Soroker, Y. Smilansky, A. Wolf. 2016, &lt;&lt;On the function field analogue of Landau's theorem on sums of squares&gt;&gt;, texttt{arXiv:1504.06809v2 [math.NT]}.</mixed-citation><mixed-citation xml:lang="en">L. Bary-Soroker, Y. Smilansky, A. Wolf. 2016, &lt;&lt;On the function field analogue of Landau's theorem on sums of squares&gt;&gt;, \texttt{arXiv:1504.06809v2 [math.NT]}.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">R. Lidl, H. Niederreiter 1996, &lt;&lt;Finite fields&gt;&gt;, Cambridge University Press. %--- 430 p.</mixed-citation><mixed-citation xml:lang="en">R. Lidl, H. Niederreiter 1996, &lt;&lt;Finite fields&gt;&gt;, Cambridge University Press. %--- 430 p.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Karatsuba A.A. 1993, &lt;&lt;Basic Analytic Number Theory&gt;&gt;, Springer-Verlag Berlin Heidelberg.</mixed-citation><mixed-citation xml:lang="en">Karatsuba A.A. 1993, &lt;&lt;Basic Analytic Number Theory&gt;&gt;, Springer-Verlag Berlin Heidelberg.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
