<?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-2015-16-3-285-294</article-id><article-id custom-type="elpub" pub-id-type="custom">cheb-214</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 DIFFERENTIATION WITH RESPECT TO PARAMETER</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>Ivankov</surname><given-names>P. L.</given-names></name></name-alternatives><email xlink:type="simple">ivankovpl@mail.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff xml:lang="ru" id="aff-1"><institution>Московский государственный технический университет им. Н. Э. Баумана</institution><country>Russian Federation</country></aff><pub-date pub-type="collection"><year>2015</year></pub-date><pub-date pub-type="epub"><day>06</day><month>07</month><year>2016</year></pub-date><volume>16</volume><issue>3</issue><fpage>285</fpage><lpage>294</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Иванков П.Л., 2016</copyright-statement><copyright-year>2016</copyright-year><copyright-holder xml:lang="ru">Иванков П.Л.</copyright-holder><copyright-holder xml:lang="en">Ivankov P.L.</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/214">https://www.chebsbornik.ru/jour/article/view/214</self-uri><abstract><p>Исследование арифметической природы значений продифференцированных по параметру обобщенных гипергеометрических функций проводилось во многих работах, см. [<xref ref-type="bibr" rid="cit1">1</xref>]–[<xref ref-type="bibr" rid="cit7">7</xref>], а также соответствующие главы в книгах [<xref ref-type="bibr" rid="cit8">8</xref>] и [<xref ref-type="bibr" rid="cit9">9</xref>]. Первоначально для этих целей использовался метод Зигеля. Этот метод применим для исследования гипергеометрических функций с рациональными параметрами и c его помощью были получены результаты о трансцендентности и алгебраической независимости значений таких функций, а также соответствующие количественные результаты (например, оценки мер алгебраической независимости). Возможности применения метода Зигеля в случае гипергеометрических функций с иррациональными параметрами ограничены. В классической форме метод Зигеля не удается применить в этой ситуации, и здесь потребовались некоторые дополнительные соображения. Следует, однако, отметить, что наиболее общие результаты об арифметической природе значений гипергеометрических функций с иррациональными параметра- ми получены с помощью метода Зигеля (в модифицированном виде, см. поэтому поводу [<xref ref-type="bibr" rid="cit10">10</xref>] и [<xref ref-type="bibr" rid="cit11">11</xref>]). Здесь речь не идет об алгебраической независимости и приходится ограничиться лишь результатами о линейной независимости соответствующих значений. Рассуждения по методу Зигеля начинаются с построения функциональной линейной приближающей формы, имеющей в начале координат достаточно высокий порядок нуля. Такая форма строится с помощью принципа Дирихле. Именно невозможность провести соответствующее рассуждение для функций с иррациональными параметрами служит препятствием при попытках применить метод Зигеля в случае иррациональных параметров. Уже давно было замечено, что в некоторых случаях линейную приближающую форму можно построить эффективно, указав явные формулы для ее коэффициентов. Этот метод значительно уступает методу Зигеля в общности получаемых результатов. Однако, именно с помощью метода, основанного на эффективном построении линейных приближающих форм, были получены наиболее точные оценки снизу модулей линейных форм от значений гипергеометрических функций, а также во многих случаях были получены результаты об арифметической природе значений таких функций в случае иррациональных параметров (см., например, [<xref ref-type="bibr" rid="cit12">12</xref>]). Эффективная конструкция линейных приближающих форм для функций (2) была предложена в работе [<xref ref-type="bibr" rid="cit13">13</xref>]. Эта конструкция использовала контурный интеграл, который применялся ранее для получения результатов об оценках линейных форм от значений гипергеометрических функций с различными параметрами, см. [<xref ref-type="bibr" rid="cit14">14</xref>]. В настоящей работе предлагается новый подход к построению линейной приближающей формы для функций (2). Используется связь между гипергеометрическими функциями различных типов, которая позволяет упомянутое построение линейной приближающей формы свести к более простой задаче. В заключении даны краткие указания относительно возможных приложений.</p><p> </p></abstract><trans-abstract xml:lang="en"><p>The investigation of the arithmetic nature of the values of differentiated with respect to parameter generalized hypergeometric functions was carried out in many works; see [<xref ref-type="bibr" rid="cit1">1</xref>]–[<xref ref-type="bibr" rid="cit7">7</xref>] and also corresponding chapters of the books [<xref ref-type="bibr" rid="cit8">8</xref>] and [<xref ref-type="bibr" rid="cit9">9</xref>]. Primarily the method of Siegel was used for these purposes. This method can be applied for the investigation of hypergeometric functions with rational parameters and the results concerning transcendence and algebraic independence of the values of such functions and corresponding quantitative results (for example estimates of the measures of algebraic independence) were obtained by means of it. The possibilities of application of Siegel’s method in case of hypergeometric functions with irrational parameters are restricted. In its classic form Siegel’s method cannot be applied in this situation and here were required some new considerations. But it must be noted that the most general results concerning the arithmetic nature of the values of hypergeometric functions with irrational parameters were obtained exactly by Siegel’s method (by modified form of it, see [<xref ref-type="bibr" rid="cit10">10</xref>] and [<xref ref-type="bibr" rid="cit11">11</xref>]). In this case it’s impossible to say of the results of transcendence or algebraic independence and one must restrict oneself by the results concerning linear independence of the corresponding values. In Siegel’s method reasoning begins with the construction of functional linear approximating form which has a sufficiently high order of zero at the origin of coordinates. Such a form is constructed by means of the Dirichlet principle. The impossibility to realize the corresponding reasoning for the functions with irrational parameters is an obstacle for the attempts to apply Siegel’s method in case of irrational parameters. It was noted long ago that in some cases the linear approximating form can be constructed effectively and explicit formulae can be pointed out for its coefficients. This method is inferior to Siegel’s one in the sense of the generality of the results obtained. But by means of the method based on the effective construction of linear approximating form the most precise low estimates of the modules of linear forms in the values of hypergeometric functions were obtained and in many cases were established linear independence of the values of functions with irrational parameters (see for example [<xref ref-type="bibr" rid="cit12">12</xref>]). The effective construction of linear approximating form for the function (2) was proposed in the work [<xref ref-type="bibr" rid="cit13">13</xref>]. In this work the construction was based on a contour integral which was earlier used for the achievement of results concerning the estimates of linear forms of the values of hypergeometric functions with different parameters; see [<xref ref-type="bibr" rid="cit14">14</xref>]. In this paper we propose a new approach for the construction of linear approximating form for functions (2). Here we make use of a connection between hypergeometric functions of different types which makes it possible to reduce above mentioned constructing of linear approximating form to less difficult task. In the conclusion we give short directions concerning possible applications.</p><p> </p></trans-abstract><kwd-group xml:lang="ru"><kwd>простейшая гипергеометрическая функция</kwd><kwd>дифференцирование по параметру</kwd><kwd>оценки линейных форм</kwd></kwd-group><kwd-group xml:lang="en"><kwd>the simplest hypergeometric function</kwd><kwd>differentiation with respect to parameter</kwd><kwd>estimates of linear forms</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">Белогривов И. И. О трансцендентности и алгебраической независимости значений некоторых E-функций // Вестник МГУ. Сер. 1. Математика, механика. 1967, № 2. С. 55–62.</mixed-citation><mixed-citation xml:lang="en">Belogrivov, I. I. 1967, "Transcendentality and algebraic independence of values of certain E-functions" , Vestnik Moskov. Univ. Ser. I Mat. Meh., vol. 22, no. 2, pp. 55–62. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Белогривов И. И. О трансцендентности и алгебраической независимости значений некоторых гипергеометрических E-функций // Математический сборник. 1970. Т. 82 (124), № 3(7). С. 387–408.</mixed-citation><mixed-citation xml:lang="en">Belogrivov, I. I. 1970, "The transcendence and algebraic independence of the values of certain hypergeometric E-functions" , Mat. Sb. (N.S.), vol. 82(124), pp. 387–408. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Белогривов И. И. О трансцендентности и алгебраической независимости значений E-функций одного класса // Сибирский математический журнал. 1973. Т. 14, № 1. С. 16–35.</mixed-citation><mixed-citation xml:lang="en">Belogrivov, I. I. 1973, "The transcendence and algebraic independence of the values of a certain class of E-functions" , Sibirsk. Mat. Zh., vol. 14, pp. 16–35, 235. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">V¨a¨an¨anen K. On a cojecture of Mahler concerning the algebraic independence of the values of some E-functions // Ann. Acad. Sci. Fennicae. Ser. A. Math. 1972. Vol. 512. P. 3–46.</mixed-citation><mixed-citation xml:lang="en">V¨a¨an¨anen, K. 1972, "On a cojecture of Mahler concerning the algebraic independence of the values of some E-functions" , Ann. Acad. Sci. Fennicae. Ser. A. Math., vol. 512, pp. 3–46.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">V¨a¨an¨anen K. On the transcendence and algebraic independence of the values of certain E-functions // Ann. Acad. Sci. Fennicae. Ser. A. Math. 1973. Vol. 537. P. 3–15.</mixed-citation><mixed-citation xml:lang="en">V¨a¨an¨anen, K. 1973, "On the transcendence and algebraic independence of the values of certain E-functions" , Ann. Acad. Sci. Fennicae. Ser. A. Math., vol. 537, pp. 3–15.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">V¨a¨an¨anen K. On the algebraic independence of some E-functions related to Kummer’s functions // Ann. Acad. Sci. Fennicae. Ser. A. Math. 1975. Vol. 1. P. 183–194.</mixed-citation><mixed-citation xml:lang="en">V¨a¨an¨anen, K. 1975, "On the algebraic independence of some E-functions related to Kummer’s functions" , Ann. Acad. Sci. Fennicae. Ser. A. Math., vol. 1, pp. 183–194.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">V¨a¨an¨anen K. On the algebraic independence of the values of some E-functions // Ann. Acad. Sci. Fennicae. Ser. A. Math. 1975. Vol. 1. P. 93–109.</mixed-citation><mixed-citation xml:lang="en">V¨a¨an¨anen, K. 1975, "On the algebraic independence of the values of some Efunctions" , Ann. Acad. Sci. Fennicae. Ser. A. Math., vol. 1, pp. 93–109.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Mahler K. Lectures on Transcendental Numbers. Berlin: Springer Verlag. 1976.</mixed-citation><mixed-citation xml:lang="en">Mahler, K. 1976, "Lectures on Transcendental Numbers." Berlin: Springer Verlag.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Шидловский А. Б. Трансцендентные числа. — М.: Наука. 1987.</mixed-citation><mixed-citation xml:lang="en">Shidlovskii, A. B. 1987, "Transtsendentnye chisla" [Transcendental numbers] “Nauka”, Moscow, 448 pp. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Галочкин А. И. О некотором аналоге метода Зигеля //Вестник МГУ. Серия 1. Математика, механика. — 1986, № 2. — С. 30–34.</mixed-citation><mixed-citation xml:lang="en">Galochkin, A. I. 1986, "An analogue of Siegel’s method" , Vestnik Moskov. Univ. Ser. I Mat. Mekh., no. 2, pp. 30–34, 113. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Иванков П. Л. О линейной независимости значений целых гипергеометрических функций // Сибирский математический журнал. — Том 34, № 5. — 1993. — С. 53–62.</mixed-citation><mixed-citation xml:lang="en">Ivankov, P. L. 1993, "Linear independence of values of entire hypergeometric functions with irrational parameters" Sibirsk. Mat. Zh., vol. 34, no. 5, pp. 53– 62, ii, vii (Russian); translation in Siberian Math. J., vol. 34 (1993), no. 5, pp. 839—847.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Галочкин А. И. О неулучшаемых по высоте оценках некоторых линейных форм // Математический сборник. 1984. Т. 124 (166), № 3(7). С. 416–430.</mixed-citation><mixed-citation xml:lang="en">Galochkin, A. I. 1984, "Estimates, unimprovable with respect to height, for certain linear forms" , Mat. Sb. (N.S.), vol. 124(166), no. 3, pp. 416–430. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Иванков П. Л. О дифференцировании гипергеометрической функции по параметру // Фундаментальная и прикладная математика. Т. 16, выпуск 6. 2010. С. 91–94.</mixed-citation><mixed-citation xml:lang="en">Ivankov, P. L. 2010, "On the differentiation of a hypergeometric function with respect to a parameter" , Fundam. Prikl. Mat. vol. 16, no. 6, pp. 91–94 (Russian); translation in J. Math. Sci. (N. Y.)vol. 182 (2012), no. 4, pp. 505–507.</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">Иванков П. Л. Об арифметических свойствах значений гипергеометрических функций с различными параметрами // Математические заметки. Т. 52, выпуск 6. 1992. С. 25–31.</mixed-citation><mixed-citation xml:lang="en">Ivankov, P. L. 1992, "Arithmetic properties of values of hypergeometric functions with different parameters" , Mat. Zametki, vol. 52, no. 6, pp. 25–31, 157 (Russian) ; translation in Math. Notes, vol. 52 (1992), no. pp. 5–6, 1188—1192 (1993).</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Иванков П. Л. О линейной независимости значений некоторых функций // Фундаментальная и прикладная математика. 1995. Т. 1, № 1. С. 191-206.</mixed-citation><mixed-citation xml:lang="en">Ivankov, P. L. 1995, "On the linear independence of the values of some functions" , Fundam. Prikl. Mat., vol. 1, no. 1, pp. 191—206. (Russian)</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>
