Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Математика и информатика. Материалы Международной конференции (Москва, 14 - 18 марта 2016 г.)

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
1 Мб
Скачать

Точные оценки типов целых функций с нулями заданных плотностей

71

Типом и нижним типом целой функции ( ) при порядке (коротко, -типом) называют величины

 

( ) :=

 

lim

ln max

|

( ) ,

 

 

 

( ) := lim

ln max

|

( )

|

.

 

 

 

 

 

 

+

 

 

=

|

 

 

 

→+∞

 

 

=

 

 

 

 

 

 

 

 

 

 

| |

 

 

 

 

 

 

 

 

 

| |

 

 

 

 

 

 

 

 

Хорошо известны следующие точные оценки (см., например, [1]):

 

 

 

 

 

 

 

 

(Λ)

( ) ≤

 

 

 

 

 

 

 

 

*

(Λ) ≤ ( ) ≤

 

 

 

 

 

*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(Λ),

 

 

 

 

 

 

(Λ) .

 

 

 

 

sin

 

 

 

 

 

sin

 

 

 

 

Если учитывать не только верхнюю, но и нижнюю -плотности ее нулей, то

нижняя граница для -типа целой функции увеличится, (см. [3, c. 16]):

 

 

(Λ)

 

 

(Λ)

( ) ≥

 

 

 

exp {

 

 

− 1}.

 

 

 

 

 

(Λ)

А. Ю. Попов построил пример (см. [4, теорема 2.1]), обеспечивающий здесь равенство и показывающий к тому же, что нижняя оценка не может быть улучшена за счет учета нижней усредненной -плотности нулей. Сказанное позволяет представить ответы к следующим экстремальным задачам. Зафиксируем числа

> 0, > 0, [0, ], * > 0, * [0, *]. Тогда справедливы равенства

C( ; ) := inf

{ ( ) : Λ = Λ C,

 

 

(Λ) = }

=

 

,

 

 

 

 

 

 

 

 

 

 

 

C* ( *; ) := inf { ( ) : Λ = Λ

C,

 

 

 

*(Λ) = *

} = *,

 

 

 

 

 

C( , ; ) := inf { ( ) : Λ = Λ C,

 

(Λ) = ,

(Λ) ≥ } =

,

 

C* ( *, *; ) := inf { ( ) : Λ = Λ C,

 

 

*(Λ) = *,

* (Λ) ≥ *} = *.

 

 

Рассмотрим теперь экстремальные задачи для целых функций с нулями, расположенными на одном луче. Именно, для фиксированных чисел (0, 1), > 0,

[0, ], * > 0, * [0, *] требуется вычислить величины

R+ ( ; ) := inf { ( ) : Λ = Λ R+,

 

(Λ) = },

R+ ( , ; ) := inf { ( ) : Λ = Λ R+,

(Λ) ≥ ,

 

(Λ) = },

 

72

Брайчев Г. Г. (Москва, МПГУ)

 

 

 

 

 

R*+ ( *; ) := inf { ( ) : Λ = Λ R+,

 

*(Λ) = *},

(1)

 

 

 

R*+ ( *, *; ) := inf { ( ) : Λ = Λ R+,

* (Λ) ≥ *,

 

*(Λ) = *}.

(2)

 

 

Эти экстремальные задачи решены совсем недавно.

Теорема 1 (А. Ю. Попов [5]). При любых (0, 1) и > 0 справедливо равенство

 

 

 

R+ ( ; ) = ( ),

где ( ) = max

ln(1 + )

 

. Нижняя грань R+ ( ; ) достигается на некоторой

 

>0

 

возрастающей последовательности положительных чисел.

Теорема 2 (В. Б. Шерстюков [6]). Для произвольного (0, 1) и любых чисел > 0 и [0, ] имеет место равенство

 

 

 

 

 

 

 

 

 

 

 

( , ; ) =

+ max

 

 

.

 

 

 

 

 

 

R+

 

sin

>0

1/

+ 1

 

 

 

 

 

 

( / )

 

 

 

 

Нижняя грань R+ ( , ; ) достигается на некоторой возрастающей последо-

вательности Λ̃ R+, у которой

(Λ)̃

= и

 

(Λ)̃ = .

 

 

 

Теорема 3 (Г. Г. Брайчев [7]). I. При фиксированных (0, 1) и * > 0

экстремальная величина (1) находится по формуле

R*+ ( *; ) = ( ) *,

где функция ( ) определена в теореме 1.

II. При заданных (0, 1), * > 0, * [0, *] экстремальная величина (2)

вычисляется по формуле

*

( *, *; ) =

*

+ max

21/

* − * −

 

,

 

1/

 

R+

 

 

sin

>0

+ 1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где 1 = 1 ( *, *) и

2 = 2 ( *, *) , 1 ≤ 1 ≤ 2, — корни уравнения

ln = */ *.

 

 

Точные оценки типов целых функций с нулями заданных плотностей

73

Величина R*+ ( *, *; ) достигается для некоторой целой функции с нулями

Λ

= Λ

такими, что

*

(Λ) = *

и

 

*(Λ) = *.

 

 

̃

 

̃

 

̃

 

Обратим внимание на то, что в отличие от случая общего расположения нулей Λ C, учет нижней -плотности существенно изменяет величину минимально возможного -типа целых функций, когда Λ R+.

Таким образом, влияние основных плотностных характеристик последовательности нулей Λ из C или из R+ целой функции ( ) на величину ее типа к настоящему времени изучено. Для полноценного описания поведения целых функций ( ) осталось установить точный диапазон изменения не только типа

( ), но и нижнего типа ( ). Приведем точные двусторонние оценки нижнего типа целой функции с положительными или произвольно расположенными на плоскости нулями заданных усредненных плотностей. Из формулы Иенсена и неравенств, связывающих обычные и усредненные плотности вытекает оценка снизу

( ) ≥

* (Λ) ≥

(Λ)

,

 

Оценки сверху нижнего -типа через нижние -плотности, подобные верхним оценкам, в математической литературе вообще отсутствуют. В работе [8] найдено объяснение этому факту. Именно, доказана принципиальная невозможность оценки сверху нижнего типа только через нижнюю плотность. Тем не менее, оценки нижнего -типа сверху, учитывающие обе -плотности, возможны, и в [8] доказан такой точный результат, утверждающий дополнительно, что наибольшая возможная величина нижнего -типа не зависит от расположения нулей целой функции на плоскости.

Теорема 4 (Г. Г. Брайчев, О. В. Шерстюкова [8]). Для произвольного порядка (0, 1) и любых чисел ≥ 0 и > 0 ( ≤ ) справедливы равенства

I.

sup { ( ) : Λ = Λ C,

(Λ) ≥ ,

 

(Λ) = } =

= sup { ( ) : Λ = Λ R+,

(Λ) ≥ ,

 

(Λ) = } =: ( , ; ).

 

74

Брайчев Г. Г. (Москва, МПГУ)

 

II.

( , ; ) =

 

 

 

−1/

 

,

 

 

 

sup

 

 

 

 

 

sin

>0

+ 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где обозначено = / . Верхняя грань ( , ; ) достигается на некоторой

возрастающей последовательности Λ̃, у которой (Λ)̃ = и (Λ)̃ = .

Приведем теперь неулучшаемые оценки нижнего -типа и снизу и сверху через усредненные -плотности корней. Речь идет о следующих экстремальных задачах.

Пусть заданы числа (0, 1), * > 0 и * [0, *]. Требуется вычислить экстремальные величины:

 

*C( *; ) := inf { ( ) : Λ = Λ C,

 

*(Λ) = *},

*C( *, *; ) := inf { ( ) : Λ = Λ C,

* (Λ) = *,

 

 

 

 

 

*(Λ) ≤ *},

 

 

 

 

 

*R+ ( * ; ) := inf {

 

(

 

) : Λ = Λ R+

,

*(Λ) =

*

*}

 

 

 

 

 

 

 

 

 

 

,

*R+ ( *, *; ) := inf { ( ) : Λ = Λ R+,

*(Λ) = *,

 

 

 

 

(Λ) ≤ *},

 

 

 

 

*C( *, *; ) := sup { ( ) : Λ = Λ C,

* (Λ) = *,

 

 

*(Λ) ≤ *},

 

 

*R+ ( *, *; ) := sup { ( ) : Λ = Λ R+,

*(Λ) = *,

 

 

*(Λ) ≤ *}.

 

 

Теорема 5 (Г. Г. Брайчев, [9]). Пусть > 0. Для любых фиксированных

чисел * > 0

и * [0, *] справедливы равенства

 

 

 

 

 

 

 

 

 

 

*C( *; ) = *C( * , *; ) = *.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*R+ ( *; ) = *R+ ( *, *; ) =

 

 

 

*.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

 

 

 

 

 

 

*C( * , *; ) = *R+ ( *, *; ) =

 

 

 

= *

 

sup

 

 

2

+

1−1/

1

 

 

,

sin

 

 

 

 

>0

 

1/

+ 1

 

 

 

+ 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Точные оценки типов целых функций с нулями заданных плотностей

75

где 1

и 2

— корни уравнения ln

 

= */ * ( 1 ≤ 1 ≤ 2). Все указанные

 

 

 

верхние и нижние грани достигаются.

Последнее равенство показывает, что наибольший возможный нижний -тип целой функции, как и в случае обычных -плотностей, не зависит от расположения нулей на плоскости, но зависит от обеих усредненных -плотностей.

Список литературы

1.Левин Б.Я. Распределение корней целых функций. – М.: Гостехиздат, 1956.

2.Pfluger A. Die Wertverteilung und das Verhalten von Betrag und Argument einer speziellen Klasse analytischer Funktionen. I //Comm. Math. Helv. – 1938.

V. 11. – P. 180 – 213.

3.Boas R.P. Entire functions. – New-York: Acad. Press, 1954.

4.Попов А.Ю. Развитие теоремы Валирона-Левина о наименьшем возможном типе целой функции с заданной верхней -плотностью корней. //СМФН. – 2013. – Т. 49. – С. 132 – 164.

5.Попов А.Ю. Наименьший возможный тип при порядке < 1 канонических произведений с положительными нулями заданной верхней - плотности. //Вестник Моск. ун-та. Сер. 1. Математика. Механика. – 2005.

№ 1. – С. 31 – 36.

6.Брайчев Г.Г., Шерстюков В.Б. О наименьшем возможном типе целых функций порядка (0, 1) с положительными нулями. //Изв. РАН. Сер. матем. – 2011. – Т. 75. – № 1. – С. 3 – 28.

7.Брайчев Г.Г. Наименьший тип целой функции порядка (0, 1) с положительными корнями заданных усредненных плотностей. //Матем. сб. – 2012. – Т. 203. – № 7. – С. 31 – 56.

76

Брайчев Г. Г. (Москва, МПГУ)

8.Брайчев Г.Г., Шерстюкова О.В. Наибольший возможный нижний тип целой функции порядка (0, 1) с нулями фиксированных -плотностей. //Матем. заметки. Т. 90. № 2. 2011. С. 199 – 215.

9.Брайчев Г.Г. Точные границы величины нижнего типа целой функции порядка (0, 1) с нулями заданных усредненных плотностей. //Уфимск. матем. журн. – 2015.– Т. 7. – № 4. – С. 34 – 60.

Поведение коэффициентов в полиномах Бернштейна

77

О поведении коэффициентов в полиномах Бернштейна для симметричного модуля на симметричном отрезке

Петросова М. А. (Москва, МПГУ)

petrosova05@mail.ru

Полиномы Бернштейна для функции ( ) = | | на отрезке [−1, 1] определяют формулой

 

( ) = 2

 

− 1 (1 + ) (1 − ) ,

 

N,

 

 

=0

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при этом 2 +1( ) = 2 ( )

для любого

N (см. [1]). Явная алгебраическая

запись полиномов 2 ( ) выглядит так

 

 

1

 

 

 

]

 

 

N

 

 

 

 

2

 

 

 

2

[

 

 

2

 

 

 

 

 

 

 

 

 

 

( ) = 2−2

 

1 +

(−1) −1

2

,

 

 

 

.

(1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Введем для коэффициентов полиномов (1) стандартное обозначение

 

 

 

2 ,2

= 2−2

 

(−1) −1

,

 

 

N

,

= 1, . . . , .

(2)

 

 

 

2 2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поставим вопрос о поведении чисел (2) при увеличении значения .

 

Для старших коэффициентов (при = ) имеем формулу

 

 

 

 

 

 

 

 

 

 

= 2−2 (−1) −1

 

(−1) −1 ,

 

 

 

,

 

 

 

 

 

2 ,2

 

 

2

2

1

 

23/2

 

→ ∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т. е. числа 2 ,2 стремятся к нулю степенным образом. Младшие коэффициен-

ты (при = 1) имеют степенной рост:

 

 

 

 

2 ,2 = 2−2 2

 

 

,

→ ∞.

 

 

 

 

 

 

 

Поведение промежуточных коэффициентов более сложно.

Рассмотрим максимальный из всех промежуточных коэффициентов. Для

этого введем специальное обозначение

 

2 =

16 6

|

2 ,2 |

2

16 6

(2 − 1

)

 

N

 

 

 

 

max

 

 

= 2−2

max

1

 

 

,

 

 

.

(3)

 

 

 

 

 

78 Петросова М. А. (Москва, МПГУ)

Регулярное поведение 2 прослеживается при > 8. Для величины (3) верна асимптотическая формула

 

 

 

 

 

 

 

2

 

 

 

 

2

2

·

→ ∞,

 

 

 

 

 

 

 

 

 

,

 

 

(4)

 

 

2

 

и справедлива оценка

 

 

 

 

 

 

 

 

 

0.45 ·

2

 

·

2

N,

> 8.

 

 

< 2 < 0.55

 

,

(5)

2

2

Максимальное значение (3) среди коэффициентов (2) при > 8 достигается, когда = [( − 1)/2]. Формулы (4), (5) показывают экспоненциальный рост чисел (3) (см. также [2]).

Можно показать, что коэффициенты, «соседние» с максимальным, имеют ту же асимптотику. Например, при = 2 максимальным по модулю среди коэффициентов 2 , 2 будет коэффициент 4 , 2 −2. «Соседние» с ним коэффициенты

4 , 2 −4 и 4 , 2 с точностью до знака асимптотически представляются так

 

22

 

 

 

| 4 , 2 −4 | | 4 , 2 |

22 2

,

→ ∞.

(6)

При = 2 + 1 максимальным по модулю среди коэффициентов 2 , 2 будет 4 +2, 2 . При этом

 

 

 

22 +1

 

 

22

 

 

| 4 +2, 2 −2 | | 4 +2, 2 +2 |

2

·

 

,

→ ∞. (7)

 

(2 + 1)2

 

2

2

Экспоненциальный рост чисел (6), (7) совпадает с ростом (4) при выборе соответствующих значений , хотя коэффициенты, фигурирующие в формулах (6), (7), несколько меньше (по модулю) максимальной величины (3).

Выражаю глубокую признательность И. В. Тихонову за постановку задачи и В. Б. Шерстюкову за большую помощь в исследовании.

Список литературы

1.Тихонов И.В., Шерстюков В.Б., Петросова М.А. Правило склеивания для полиномов Бернштейна на симметричном отрезке //Известия

Поведение коэффициентов в полиномах Бернштейна

79

Саратовского университета, Сер. Математика. Механика. Информатика,

2015, Т. 15, вып. 3, C. 288 – 300.

2.Петросова М.А. О скорости роста максимальных коэффициентов в полиномах Бернштейна, взятых от симметричного модуля на симметричном отрезке. //Современные проблемы теории функций и их приложения. Материалы 18-ой междунар. Сарат. зимней школы. – Саратов: «Научная книга». 2016. С. 209 – 211.

80

Подорога А. В. (Москва, МГУ)

Геометрический подход при изучении решений квазилинейного уравнения дорожного движения

Подорога А. В. (Москва, МГУ) anastasiapodoroga@gmail.com

В работе Лайтхилла и Уизема [1] (см. также [2]) предложен геометрический подход для изучения задач о движении транспортных потоков. На современном языке этот подход можно интерпретировать как своеобразную модификацию

метода характеристик для квазилинейного уравнения дорожного движения.

Ключевыми величинами при описании транспортных потоков являются плотность = ( , ) и интенсивность = ( , ), вычисляемые в точке R в

момент времени > 0 (см. [3]). Специфика задач дорожного движения заключается в предположении о зависимости = ( ). Такая зависимость называется фундаментальной диаграммой дорожного движения. Возникает уравнение,

аналогичное уравнению неразрывности из гидродинамики:

 

+

∂ ( )

= 0,

= ( , ).

(1)

 

 

 

 

 

 

Предположим, что начальное распределение автомобилей задано:

 

 

 

 

( , 0) = ( ).

 

(2)

Согласно теории квазилинейных уравнений (см. [4], [5]) решение задачи Коши (1), (2) записывается неявно по формуле

= ( − ( ) ),

= ( , ).

(3)

За исключением отдельных редких случаев восстановить явный вид зависимости = ( , ) из формулы (3) весьма затруднительно. При этом можно находить решение методом характеристик.

Так, в плоскости ( , ) через точку 0, взятую на оси , проводится характеристика

( ) = 0 + ( ( 0)) .

(4)

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]