Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
Глава 13. ЭФФЕКТИВНЫЕ ОЦЕНКИ МЕР§ 1. Определения и обозначенияОценки мер значений аналитических функций Постоянную, входящую в оценку меры, будем называть эффективной, если она может быть вычислена с помощью конечного числа действий (четырех арифметических операций, возведения в степень, логарифмирования, нахождения наименьшего и наибольшего элемента конечного множества), производимых над параметрами, определяющими класс функций, к которому принадлежат В противном случае такую постоянную будем называть неэффективной. Оценку меры, в которой все входящие постоянные эффективны, будем называть эффективной. В некоторых случаях будем говорить об эффективности оценок мер по некоторым из рассматриваемых параметров. Оценки мер, установленные в гл. 11 и 12, были неэффективными, так как в их доказательствах не указывалось, как вычислить постоянные, входящие в правые части соответствующих неравенств. Но если внимательно просмотреть доказательства лемм метода, изложенного в гл. 3, то можно заметить, что все возникающие в вычислениях постоянные будут эффективными в указанном выше смысле, кроме одной постоянной В доказательстве общей теоремы Зигеля [73:4] и ее обобщении, опубликованном в статье [28:9], в леммах, соответствующих лемме 9 гл. 3, число существенно более тяжелых ограничениях, чем линейная независимость рассматриваемых функций над Совокупность функций
называется неприводимой системой функцищ если ни одна из них не равна тождественно нулю и равенство
где Другими словами, приведенное определение означает, что для неприводимой системы функций совокупность ненулевых компонент, входящих в любое решение системы дифференциальных уравнений (1), линейно независима Из определения следует, что если функции В настоящей главе, после некоторого изменения определения Е-функции, устанавливаются теоремы об оценках мер линейной и алгебраической независимости значений IE-функций, эффективные, или эффективные по степени меры. Они уточняют некоторые теоремы гл. 11 за счет улучшения в оценках остаточного члена в показателе, с заменой числа Для упрощения получения эффективных оценок мер целесообразно несколько изменить определение Е-функции. Целую функцию
будем называть Е-функцией, если она удовлетворяет трем условиям, аналогичным условиям, определяющим Е-функцию в § 1 гл. 3, но в которых оценки для
где Легко видеть, что совокупность всех Е-функций, как и в случае первоначального определения, образует кольцо функций, замкнутое относительно операции дифференцирования, интегрирования в пределах от 0 до z и замены аргумента z на Заметим, что все пока известные Е-функции, удовлетворяющие линейным дифференциальным уравнениям с коэффициентами из Обозначим Е класс всех Е-фунщищ удовлетворяющих новому определению и являющихся решениями линейных дифференциальных уравнений с коэффициентами из Для выяснения характера зависимости постоянных, входящих в оценки мер от рассматриваемых Е-функций, чисел Целую функцию (2) будем называть Е-функцией, принадлежащей классу
2) существуют постоянные 3) существует последовательность Рассмотрим совокупность функций
из класса
обладающая тем свойством, что
Действительно, например, в качестве такой последовательности можно взять последовательность
В некоторых случаях существуют последовательности типа (4), удовлетворяющие условиям (5), для которых Всюду в этой главе для рассматриваемой совокупности КЕ-функций (3) числа В дальнейшем будем рассматривать совокупность Е-функций (3), удовлетворяющую системе линейных однородных дифференциальных уравнений (1) или системе дифференциальных уравнений
Рассматриваемые функции будут линейно независимы над Обозначим буквой В случае если рассматриваемая совокупность Е-функций распадается на Условимся в дальнейшем всюду обозначать буквой а и той же буквой с индексами положительные постоянные, зависящие только от класса Буквой 7 и той же буквой с индексами будем обозначать положительные постоянные, зависящие только от Заметим, что числа а, и не зависят от Положительные постоянные Все постоянные
|
1 |
Оглавление
|