Замечания о нулях одного класса гармонических функций

Автор: Коробейник Юрий Федорович

Журнал: Владикавказский математический журнал @vmj-ru

Статья в выпуске: 1 т.14, 2012 года.

Бесплатный доступ

В работе показывается, что метод статьи [1] можно распространить и на один не исследованный в этой статье случай, если на гладкость функции наложить дополнительные ограничения.

Нули гармонических функций.

Короткий адрес: https://sciup.org/14318372

IDR: 14318372

Текст научной статьи Замечания о нулях одного класса гармонических функций

Настоящая заметка продолжает исследование, проведенное в [1], и использует ее обозначения и результаты. Напомним некоторые из них. Пусть s Е No := {0,1, 2,...} и Ms — класс всех отображений f : [1, +го) ^ R, непрерывных на [1, +го) вместе со свои-ln |f(j) (x)| ми производными до порядка s включительно и таких, что limx^+^ — ы^4 < - 2 при j = 0,1,..., s.

Если f M 0 , то функция

1                             z

Ff (z) := —--1/4 + J f (x)x 3/4 ch ^lnXj dx аналитична в полосе П := {z Е C : | Re z| < 2}; кроме того, она имеет простые полюсы в точках z = ± 2 и регулярна в достаточно малой окрестности любой из остальных точек границы П. Пусть еще По — полуполоса 0 < Re z < 2, 0 < Im z < +ro и Im Ff — мнимая часть Ff .

Справедлива

Теорема 1 [1] 1 . Если f Е M o , то функция F f не имеет нулей в П о тогда и только тогда, когда

v ( Л ) := Л (1 + Л 2 ) У h ( t ) sin At dt 6 1 , Л Е [0 , + го ) ,                    (1)

где h ( t ) := f ( e 2t )( e t - 1) .

Проверка выполнения условия (1) проведена в [1] при дополнительном предположении о том, что f Е M 3 . Именно, если h 00 (0) 1 , то согласно [1] условие (1) не выполняется, и потому Im F f имеет нули в П о ; при этом множество всех ее нулей в П о бесконечно и, более того, имеет мощность континуума. Если же h 00 (0) 1 , то

( 3 q Е (0 , 1)) ( 3 A i = A i ( q ) Е (0 , + го )) v ( Л ) ( V Л > A i ) .               (2)

Пусть, как в [1], А д — единственный положительный корень (неполного) кубического уравнения x (1 + x 2 ) J^ | h ( t ) | dt = 1 . Значение А д можно определить по известной формуле Кардано или же вычислить приближенно с любой степенью точности. Ясно, что v ( А ) 1 при любых А £ [0 , А д ) . Если А д А 1 , то условие (1) имеет место при всех А из [0 , + го ) , и по теореме 1 Im F f не имеет нулей в П д . Если же А д < А 1 ( q ) , то согласно [1] можно привлечь к рассмотрению величину y : = max { v ( А ) : А £ [ А д , А 1 ] } , которая определяется обычными методами математического анализа. Если при этом окажется, что y 6 1 , то условие (1) выполнено, и в этом случае функция F f не имеет нулей в П д по теореме 1. В случае же, когда y 1 , условие (1) не выполняется и тогда множество нулей Im F f в П д непусто, бесконечно, и, более того, имеет континуальную мощность.

Последний возможный случай, когда h 00 (0) = 1 , в работе [1] не исследован. Далее показано, что при дополнительных ограничениях на функцию f теорему 1 можно применить и в этом оставшемся открытым случае.

Предположим вначале, что f £ М 5 . Тогда с помощью стандартного интегрирования по частям найдем (учитывая, что h (0) = 0 и h " (0) = 1 ):

∞ v (А) = 1 + у2+Т2Г1 + "\2 h^ (0) + V4 f1 + "\2 h^ (t)

cos Аt dt

А 2 А2 \ А2 /           А4 \ А2 J J

д

= 1 + д 2 [ 1 + h (0) ] + O ( Д 5 )

Отсюда, рассуждая как в [1] заключаем, что если h (4) (0) 1 , то условие (1) нарушено, и по теореме 1 множество всех нулей Im F f в П д непусто (более того, оно бесконечно и имеет мощность континуума). Если же h (4) (0) 1 , то выполняется соотношение (2). Точно так же, как раньше, находим, что в случае, когда А д А 1 , Im F f не имеет нулей в П д . Если же А д < А 1 , то здесь решающую роль играет значение величины 7 : если y 1 , то функция Im F f не имеет нулей в П д , а если y 1 , то множество всех нулей Im F f в П д непусто (более того, оно бесконечно и имеет мощность континуума). Наконец, если h (4) (0) = 1 , то приходится накладывать новые ограничения на гладкость функции f .

В общем случае, если l 1 , f £ М 2 1 +1 и хотя бы при одном s 6 l h (2s) (0) = 1 , то можно использовать вышеприведенные соображения, которые ничего не дают лишь, когда h (2s) (0) = 1 , s = 0 , 1 ,... l .

В частности, если M∞ — класс всех вещественнозначных бесконечно дифференцируемых в промежутке [1, +го) функций f таких, что к in if(m) (x)i < — 1

  • x . - ^ in x 2

при любых m 0 , то метод статьи [1] применим ко всем функциям этого класса, у которых h f = [ f ( e 2t )( e t 1)] (2Yg = 1 хотя бы при одном y o 1 . Например, если f M и h f γ 0 1 , то множество всех нулей Im F f в П д бесконечно. Таким образом, теорема 1 неприменима лишь к весьма узкому подклассу М ^ класса М ^ , а именно, к тем функциям f , у которых h fs) = 1 для любого s £ N o .

К сожалению, есть некоторые основания полагать, что в этот исключительный класс М ^ входит хорошо известная в теории дзета-функций Римана (см., например, [2, гл. 2]) функция ш д ( х ) := 52П =1 e -nn x . Приходится с горечью констатировать в очередной раз, что, как правило, действительность оказывается сложнее и хуже наших представлений о ней и наших ожиданий.

Коробейник Ю. Ф.

Список литературы Замечания о нулях одного класса гармонических функций

  • Коробейник Ю. Ф. О нулях одного класса гармонических функций//Владикавк. мат. журн.-2007.-Т. 9, вып. 1.-C. 48-55.
  • Титчмарш Е. К. Теория дзета-функции Римана.-М.: Изд-во иностр. лит., 1953.-406 с.
Статья научная