{"title":"关于多项式的几个连续值的最小公倍数","authors":"A. Dubickas","doi":"10.1090/spmj/1755","DOIUrl":null,"url":null,"abstract":"<p>The periodicity is proved for the arithmetic function defined as the quotient of the product of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k plus 1\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>k</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">k+1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> values (where <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k greater-than-or-equal-to 1\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>k</mml:mi>\n <mml:mo>≥<!-- ≥ --></mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">k \\geq 1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>) of a polynomial <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f element-of double-struck upper Z left-bracket x right-bracket\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Z</mml:mi>\n </mml:mrow>\n </mml:mrow>\n <mml:mo stretchy=\"false\">[</mml:mo>\n <mml:mi>x</mml:mi>\n <mml:mo stretchy=\"false\">]</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f\\in {\\mathbb Z}[x]</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> at <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k plus 1\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>k</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">k + 1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> consecutive integers <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis n right-parenthesis f left-parenthesis n plus 1 right-parenthesis midline-horizontal-ellipsis f left-parenthesis n plus k right-parenthesis\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>⋯<!-- ⋯ --></mml:mo>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mi>k</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">{f(n) f(n + 1) \\cdots f(n + k)}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and the least common multiple of the corresponding integers <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis n right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f(n)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis n plus 1 right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f(n + 1)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, …, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis n plus k right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mi>k</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f(n + k)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. It is shown that this function is periodic if and only if no difference between two roots of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f\">\n <mml:semantics>\n <mml:mi>f</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">f</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is a positive integer smaller than or equal to <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k\">\n <mml:semantics>\n <mml:mi>k</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">k</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. This implies an asymptotic formula for the least common multiple of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis n right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f(n)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis n plus 1 right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f(n+1)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, …, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis n plus k right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>n</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mi>k</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f(n+k)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and extends some earlier results in this area from linear and quadratic polynomials <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f\">\n <mml:semantics>\n <mml:mi>f</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">f</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> to polynomials of arbitrary degree <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"d\">\n <mml:semantics>\n <mml:mi>d</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">d</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. A period in terms of the reduced resultants of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis x right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>x</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f(x)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis x plus script l right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>x</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mi>ℓ<!-- ℓ --></mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f(x+\\ell )</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, where <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"1 less-than-or-equal-to script l less-than-or-equal-to k\">\n <mml:semantics>\n <mml:mrow>\n <mml:mn>1</mml:mn>\n <mml:mo>≤<!-- ≤ --></mml:mo>\n <mml:mi>ℓ<!-- ℓ --></mml:mi>\n <mml:mo>≤<!-- ≤ --></mml:mo>\n <mml:mi>k</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">1 \\leq \\ell \\leq k</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, is given explicitly, as well as few examples of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f\">\n <mml:semantics>\n <mml:mi>f</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">f</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> when the smallest period can be established.</p>","PeriodicalId":51162,"journal":{"name":"St Petersburg Mathematical Journal","volume":" ","pages":""},"PeriodicalIF":0.7000,"publicationDate":"2023-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the least common multiple of several consecutive values of a polynomial\",\"authors\":\"A. Dubickas\",\"doi\":\"10.1090/spmj/1755\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The periodicity is proved for the arithmetic function defined as the quotient of the product of <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"k plus 1\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>k</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mn>1</mml:mn>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">k+1</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> values (where <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"k greater-than-or-equal-to 1\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>k</mml:mi>\\n <mml:mo>≥<!-- ≥ --></mml:mo>\\n <mml:mn>1</mml:mn>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">k \\\\geq 1</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>) of a polynomial <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f element-of double-struck upper Z left-bracket x right-bracket\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>f</mml:mi>\\n <mml:mo>∈<!-- ∈ --></mml:mo>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"double-struck\\\">Z</mml:mi>\\n </mml:mrow>\\n </mml:mrow>\\n <mml:mo stretchy=\\\"false\\\">[</mml:mo>\\n <mml:mi>x</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">]</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f\\\\in {\\\\mathbb Z}[x]</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> at <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"k plus 1\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>k</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mn>1</mml:mn>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">k + 1</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> consecutive integers <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f left-parenthesis n right-parenthesis f left-parenthesis n plus 1 right-parenthesis midline-horizontal-ellipsis f left-parenthesis n plus k right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>n</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>n</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mn>1</mml:mn>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n <mml:mo>⋯<!-- ⋯ --></mml:mo>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>n</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mi>k</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">{f(n) f(n + 1) \\\\cdots f(n + k)}</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> and the least common multiple of the corresponding integers <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f left-parenthesis n right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>n</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f(n)</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>, <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f left-parenthesis n plus 1 right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>n</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mn>1</mml:mn>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f(n + 1)</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>, …, <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f left-parenthesis n plus k right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>n</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mi>k</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f(n + k)</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>. It is shown that this function is periodic if and only if no difference between two roots of <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f\\\">\\n <mml:semantics>\\n <mml:mi>f</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> is a positive integer smaller than or equal to <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"k\\\">\\n <mml:semantics>\\n <mml:mi>k</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">k</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>. This implies an asymptotic formula for the least common multiple of <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f left-parenthesis n right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>n</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f(n)</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>, <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f left-parenthesis n plus 1 right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>n</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mn>1</mml:mn>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f(n+1)</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>, …, <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f left-parenthesis n plus k right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>n</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mi>k</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f(n+k)</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> and extends some earlier results in this area from linear and quadratic polynomials <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f\\\">\\n <mml:semantics>\\n <mml:mi>f</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> to polynomials of arbitrary degree <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"d\\\">\\n <mml:semantics>\\n <mml:mi>d</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">d</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>. A period in terms of the reduced resultants of <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f left-parenthesis x right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>x</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f(x)</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> and <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f left-parenthesis x plus script l right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>x</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mi>ℓ<!-- ℓ --></mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f(x+\\\\ell )</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>, where <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"1 less-than-or-equal-to script l less-than-or-equal-to k\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mn>1</mml:mn>\\n <mml:mo>≤<!-- ≤ --></mml:mo>\\n <mml:mi>ℓ<!-- ℓ --></mml:mi>\\n <mml:mo>≤<!-- ≤ --></mml:mo>\\n <mml:mi>k</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">1 \\\\leq \\\\ell \\\\leq k</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>, is given explicitly, as well as few examples of <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f\\\">\\n <mml:semantics>\\n <mml:mi>f</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> when the smallest period can be established.</p>\",\"PeriodicalId\":51162,\"journal\":{\"name\":\"St Petersburg Mathematical Journal\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2023-03-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"St Petersburg Mathematical Journal\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1090/spmj/1755\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"St Petersburg Mathematical Journal","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/spmj/1755","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
On the least common multiple of several consecutive values of a polynomial
The periodicity is proved for the arithmetic function defined as the quotient of the product of k+1k+1 values (where k≥1k \geq 1) of a polynomial f∈Z[x]f\in {\mathbb Z}[x] at k+1k + 1 consecutive integers f(n)f(n+1)⋯f(n+k){f(n) f(n + 1) \cdots f(n + k)} and the least common multiple of the corresponding integers f(n)f(n), f(n+1)f(n + 1), …, f(n+k)f(n + k). It is shown that this function is periodic if and only if no difference between two roots of ff is a positive integer smaller than or equal to kk. This implies an asymptotic formula for the least common multiple of f(n)f(n), f(n+1)f(n+1), …, f(n+k)f(n+k) and extends some earlier results in this area from linear and quadratic polynomials ff to polynomials of arbitrary degree dd. A period in terms of the reduced resultants of f(x)f(x) and f(x+ℓ)f(x+\ell ), where 1≤ℓ≤k1 \leq \ell \leq k, is given explicitly, as well as few examples of ff when the smallest period can be established.
期刊介绍:
This journal is a cover-to-cover translation into English of Algebra i Analiz, published six times a year by the mathematics section of the Russian Academy of Sciences.