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

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

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

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

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

В работе доказывается один критерий того, что некоторая гармоническая в полуполосе \Pi_0: 0

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

IDR: 14318205

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

В работе доказывается один критерий того, что некоторая гармоническая в полуполосе П о : 0 Re z <  2, 0 im z <  ж функция не имеет в ней нулей. С помощью этого результата устанавливается (в различных формах) критерий, при выполнении которого не имеет нулей в П о мнимая часть некоторой функции F , аналитической всюду в замкнутой полуполосе 0 6 Re z 6 2, кроме точки z = 2, в которой F ( z ) имеет простой полюс.

1. Перед тем, как рассмотреть основной объект настоящей работы, установим одно простое вспомогательное утверждение, которое будет играть существенную роль в дальнейшем изложении.

Пусть z = ст + iX , 5 Е (0, 2 ) ; П о — полуполоса 0 < Re z 2 , 0 < im z < + ro ; Щ — область, ограниченная положительной мнимой полуосью 11 , отрезком 1 2 : im z = 0 , 0 6 Re z 6 5 , четвертью окружности C g : (ст 2 ) 2 + X 2 = 5 2 , 0 6 X < + го , 5 6 ст 6 2 , и лучом 1 g : Re z = 2 , im z >  5 .

Обозначим символом HC о ) класс всех функций, гармонических в П о и непрерывных в каждой конечной точке контура Г о , ограничивающего П о , кроме точки ст = 2 , X = 0 . При этом Г о состоит из полуоси 1 1 , отрезка X = 0 , 0 6 ст 6 2 , и луча 1 о : ст = 2 , 0 < X < + го . Далее, HC д ) (0 < 5 <  2 ) — это множество всех функций, гармонических в П д и непрерывных в каждой конечной точке контура Г д = 1 1 U 1 g U C g U 1 g , ограничивающего область П д .

Для любой функции д(ст, X) из HC о ) и любого X Е (0, + го ) введем характеристику а \ := max { g(ст, X) : 0 6 ст 6 2 }

Предложение 1. Пусть 5 Е (0, +го), g Е HC(По) и g(ст,X) < 0 Vz Е По. (1)

Тогда выполняются соотношения

z l 1

0,1) ,   g(ст,X) 6 0;

V z Е 1 о g ^,X^

6 0;

lim sup a \ 6 0; λ +

3 5 о Е (g, 1) : V 5 Е (0,5 о ), V z Е C g g(ст,X) < 0.

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

Обратно, если выполнены условия (2) - (5) , то справедливо неравенство (1) .

C 1. Импликация (1) ^ (5) очевидна. Далее, в силу непрерывности д(ст, А) в каждой конечной точке Г о , кроме ( 2 ,0) , из неравенства (1) следуют соотношения (2), (3) и неравенство: а х 6 0 для любого А £ (0, + го ) , откуда, в свою очередь, вытекает (4).

2. Пусть теперь g G HC о ) и выполнены условия (2)-(5). Зафиксируем 6 G (0,5 о ) и произвольно малое е >  0 . Тогда существует А о G (6, + го ) такое, что а х < Е для А > А о . Пусть А > 6 и в х = max { g(a,^) : (ст, ^) G T/ } , где Т § — замкнутый контур, состоящий из 1 2> , C g и трех отрезков { (0, ^) : 0 6 ^ 6 А } , { 2 , ^) : 6 6 ^ 6 А } , { (ст, А) : 0 6 ст 6 2 } .

Тогда вх 6 max{0,ax} < е для А > Ао. Заметим, что величина вх не убывает с ростом А, и потому существует Л = lim вх, причем Л 6 е и Л > вх для А > 6. Так как λ→+∞ число е > 0 можно взять как угодно малым, то Л 6 0 и подавно вх 6 0 для А > 6. Для любого фиксированного А > 6 функция д(ст, А) гармонична в области D^, ограниченной контуром T λ , и не превосходит нуля в любой точке T .

Но тогда по принципу максимума для гармонической функции д(ст, А) 6 0, в D ^ .

При этом, если функция д(ст, А) отлична от постоянной, то д(ст, А) < 0 в D ^ . Если же д(ст, А) — постоянная, то она в силу условия (5) должна быть отрицательным числом. Таким образом д(ст, А) < 0 в D ^ для 6 G (0, 6 о ) , откуда следует неравенство (1). B

Следствие. Пусть д(ст, А ) — функция из HC(П о ) , удовлетворяющая условиям (2) , (4) , (5) . Тогда (1) О (3) .

Предложение 2. Пусть g G HC(П о ) и выполнены условия (2) , (4) , (5) . Тогда неравенство (3) равносильно (1) , а также эквивалентному ему утверждению:

1) д(ст, А) не имеет нулей в П о .

C По следствию предложения 1 (1) (3). Далее, очевидно, что (1) 1). Пусть, обратно, функция д(ст, А) не имеет нулей в П о . Тогда эта функция сохраняет постоянный знак в П о . Если бы это было не так, то в П о нашлась бы пара точек (ст 1 1 ) и (ст 2 , А 2 ) таких, что д(ст 1 1 ) < 0 , д(ст 2 2 ) > 0 . Тогда на отрезке прямой, соединяющей эти две точки, имеется хотя бы один нуль функции д(ст, А) , что противоречит 1). Итак, д(ст, А) сохраняет постоянный знак в П о . Но в силу условия (5) этот знак может быть только минусом, и условие (1) выполнено. Таким образом 1) (1) и окончательно 1) (1) (3). B

2. Рассмотрим один пример довольно общего характера. Для любого s G Nо : = {0,1, 2,...} обозначим символом Ms множество всех функций f : [1, +го) ^ R, непрерывных в промежутке [1, +го) вместе со своими производными до порядка s включительно и таких, что lim x→+∞

Введем функцию

Ff (z) =       + z2 - 4

In | f (j) (x) | In x

< - 2, j = 0,i,...,s.

1 f Ы 3 -z, z , 2 f(x)x 4 (x 2 +

z x 2) dx = — z

2 -

т + Ф/ С4 4

Если f G М о , то Ф у G А(П) , где П — полоса | Re z | 2 и A(D) — пространство функций, голоморфных в области D . Более того, Ф у аналитична в окрестности любой точки множества П := © z : | Rez | 6 2 }• Что же касается функции F f , то она аналитична в П , имеет простые полюсы в точках ± 1 2 и регулярна в достаточно малой окрестности любой из остальных точек границы П .

Считая, что f Е M o , преобразуем выражение для F f с помощью замены переменной x = e t в интеграле, представляющем Ф у , и последующего разделения вещественной и мнимой частей. После проведения этих операций получим

Ff (z) =(A1 + Bi) + i(A2 + B2), im Ff = *(a, A)

2aA

Ka-JF+A2Ia+>+A^

+2

I f (e 2t )e 2 sh at sin Atdt,

где

∞∞

A 1 = j f (e t )e 4 ch — cos — dt = 2 j f (e 2t )e 2 ch at cos Atdt,

A 2 = 2 У f (e 2t )sh at sin Atdt;

0

о    — A 2 4 + a 2     о      2aA           /    1A2    2   /    1A2     2

B 1 =      д      , B 2 =    ; 4 :=[(a   2) + A][(a + 2) + A

В дальнейшем мы сосредоточим свое внимание на мнимой части функции F f :

0 6 a 6 ^, 0 < A < + го .

Заметим прежде всего, что *(0, A) = 0 , A Е ( —го , + го ) ; *(a, 0) = 0 , а Е [0, 2 ) .

Таким образом, множество Z (im F f ) всех нулей *(a, A) , лежащих в П , содержит «нулев о й крест», составленный из мнимой оси и перпендикулярного к ней интервала (— 2 , + 2). Далее, *(a, A) = A* 1 (a, A) для (a, A) Е П , где

* 1 (aA):     [(a 2 ) 2 + A 2 ][(a + 2 ) 2 + A 2 ]

t , sin At f (e2t)e 2t sh at—-— λt dt.

При | z 2 1 2 = (a 2 ) 2 + A 2 - 1 ) 2+A2 ](1+A 2 ) , стремится к

^ 0 первое слагаемое последней суммы, эквивалентное — го . В то же время абсолютная величина второго сла-

∞t гаемого не превосходит при a Е [0, 2] конечного числа E := 2j |f(e2t)|e 21 sh 2 dt =

J I f (e 2 t ) | t(e t 1) dt- Поэтому lim * 1 (a, A) = —го , и следовательно, существует 0                                        z 1 2 , z Π0

5 1 Е (0, + го ) такое, что *(a, A) < 0 , если (a 2 ) 2 + A 2 <5 1 , a Е [0, 2 ] , A Е (0, + го ) .

Таким образом, условие (5) выполняется при всех 5 Е (0,5 1 ) для функции g(a, A) = *(a, A) , и для применения предложений 1 и 2 осталось убедиться в справедливости соотношения (4).

  • 3.    Предварительно докажем, возможно известное, обобщение одной теоремы А. Лебега (см., например, [1, с. 240–241]).

Предложение 3. Пусть функция ф(t, a) непрерывна на множестве [0, + го ) х [0, 2 ] и абсолютно интегрируема на [0, + го ) по t при всех ст из [0, 2 ] Пусть, далее, функция

Ф(t, ст) удовлетворяет следующим условиям:

I

sup {| ф(t,ст) | : 0 6 ст 6 2 } =: ^(t) Е L i ([0, + го ));

sup {| ф(t, ст) | : (t, ст) Е [0, + го ) х [0, 2 ] } = v <  х :

( V i > 0) ( V Т Е (0, + го )) ( 3 п т > 0) | ф(t 1 ,ст) - ф(t 2 ,ст) | < I, если ст Е [0,1/2], | t 1 - t 2 | < П т , t j Е [0, Т], j = 1, 2.

Предположим еще, что семейство непрерывных на [0, + го ) функций { h A (t) : А Е [0, + ^ ) } равномерно ограничено:

sup {| h A (t) | : А Е [0, + го ), t Е [0, + ^ ) } = Н о < + ^

и, кроме того,

c lim / h^(t)dt = 0 Vc Е (0, +ro).

A——+^c J

Тогда lim J ф(t, ст)hA(t) dt = 0, причем стремление к пределу равномерно относительно A—+7 о параметра ст из [0, 2] • Этот факт будем обозначать следующим образом

7                       , 2 ]

/ ф(t,ст)h A (t) dt ^ 0 при А ^ + го . о

Доказательство предложения 3 проводится по той же схеме, как и доказательство соответствующей теоремы Лебега. Именно, задав произвольное I > 0 , найдем Т о такое, что ∞   ∞∞

I | ф(t,ст) || h A (t) | dt 6 Н о У | Ф(t,ст) | dt 6 Н о У ^(t) dt < 1 V ст Е |^0, |j .

T 0                              T 0                      T 0

Далее разделим отрезок [0, Т о ] точками t o = 0 < t i < ... < t m = Т о на столь малые

отрезки, что на каждом из них колебание функции ф(t, ст) <  4 т0 н о при любом ст из [0, Тогда

T 0                   m 1 tk+1                              m 1          tk+1

/ ф(t,ст)h A (t) dt = X / [ф(t, ст) - ф(t k , ст)1h A (t) dt + X ф(t k , ст) / h A (t) dt.

О                     к=о tk                                   k- о          J

k =0

t k

t k+1

Но / [Ф(t, ст) - ф(t k ,ст)]h A (t) dt 6 tk

.,/ ., •// ., ^ H o (t k +1

-

t k ) ,

откуда

m 1 tk+1

X / [ф(t, ст) - ф(tk, ст)1hд(t) dt k=0 tk

ε

6 4

V ст ■ [о, I].

tk+1

Далее, в силу (10) lim J h A (t) dt = 0 , k = 0,1,. Ax tk

.

., m 1 . Учитывая еще второе

из

m 1

tk+1

соотношений (7), находим, что lim ^ |ф(tk, ст)| J hA(t) dt = 0, причем стремление A—+7 k=o tk

к пределу (нулю) равномерно относительно параметра ст из [0, 2 ] . Следовательно, существует A 2 такое, что для любых А £ [A 2 , + ^ ) и ст £ [0, 2]

m 1          tk+1

X Ф(tk, ст) / hл(t) dt k=0           tk

ε

< 4 ‘

Окончательно J ф(t, ст)h л (t) dt < e для любых ст £ [0, 2 ] и A > A 2 (e). 0

Применим предложение 3 к функции (6), положив h л (t) = sin At , ф(t, ст)

2f(e 2t )e 2 sh стt и считая, что f £ M o . В данном случае ^(t) = 2 J | f(e 2t | (e t 0

0 6 sup { 2 | f(e 2t ) | e t : t £ [0, + ^ ) } < + ro . Условие (10), очевидно, выполняется. Таким образом

1) dt ,

при А ^ + ro и

Далее, lim

Л \ '

∞ f o t                          [0,2 ]

2   f (e 2t )e 2 sh CTt sin Atdt ^ 0

lim sup <

Л——+^о

λσ

∞ j f (e2t)sh CTt sin Atdt : ст £ |^0, |] 0

- 2 ) 2 + Л 2 ][( а + 2 ) 2 + Л 2 ]

6 0.

= 0 , причем стремление к пределу равномерно

по σ из

[0, 2 ] . В итоге мы установили, что в рассматриваемой ситуации условие (4) выполнено, и применимы предложения 1, 2.

Учитывая, что ^(ст, A) < 0 , если | z 2 1 < 6 о и z £ П о , используя предложения 1, 2 при сколь угодно малом 6 из (0, ^ о ) , получаем, что если функция f £ M o, то функция ^(ст, A) = im F f (z) не имеет нулей в П о тогда и только тогда, когда выполнено неравенство

Ф(A) := ^ f| ,a) = —     1     + f f ( e 2t ) ( e t 1 ) sinAtdt 6 0 V A £ (0, + ro ).   (11)

2         A(1 + A 2 )

о

Заметим, что условие (11) равносильно такому

A(1 + A 2 ) J f ( e 2t ) ( e t 1 ) sin Atdt 6 1, A £ (0, + ro ) о

или, что то же самое, sup <

A(1 + A 2 ) If (e 2 t ) ( e t

-

1 ) sin At dt : А £ [0, + го ) > 6 1

.

Таким образом, справедлива

Теорема 1. Если f £ M o , то функция im F f не имеет нулей в П тогда и только тогда, когда выполняется любое из трех равносильных условий (11) - (13) .

  • 4.    При некоторых дополнительных предположениях на функцию f критерий (11) можно представить в другой форме, а именно, свести его к некоторой простой по формулировке проблеме для косинус-преобразования Фурье.

Предположим, что f M 1 . Тогда соотношение (11) равносильно неравенству

∞ j ff (e2t '^ - 1)]° COS Xtdt 6 1 + Д2 , Л G (°’ +X '■

Но, как хорошо известно (см., например, [2, с. 39]),

----=    e-t cos Xtdt.

1 + X2 J

Поэтому неравенство (14) равносильно такому:

∞ j{[f(e2t)(et — 1)]0 — e-tO cosXtdt 6 °, X G (°, +ro).                (15)

Сформулируем полученный результат.

Теорема 2. Если f G M i , то функция im F f не имеет нулей в П в том и только том случае, если выполнено неравенство (15) .

К сожалению, нам не удалось найти в какой-либо из довольно многочисленных работ по теории преобразования Фурье критерий справедливости соотношения (15).

Замечание. Обозначим для любого s >  1 символом M ^s. 1 множество всех функций f из M 2 s +i , удовлетворяющих условиям (f(e t )e 4 ) 02j 1) = 4 1 - 2j , j = 1,...,s . Тогда нетрудно показать, что если f M 3 0 , то соотношение (15) равносильно следующему:

V X G (°, + ro ) j |[ f(e 2t )(e t 1) ] 0 f f(e 2t )(e t 1) ]0"} cos Xtdt 6 °. 0

  • 5.    Возвращаясь к теореме 1, остановимся немного подробнее на критерии в форме (12). Считая, что f G M 3 , при h(t) := f(e 2t )(e t 1) получим

    У h(t) sin Xt dt =


    X У h 0 (t) cosXtdt =


    X 2 /^"(t)


    sin Xt dt =


  • = —     —            " Xtdt = —    1 + o( A

λ 3      λ 3                          λ 3        λ 3

где X 3 o( ^ 1 ^ ° при X ^ + ro .

Отсюда lim X(1 + X 2 ) J h(t) sin Xtdt = h 00 (°) = 4f 0 (1) f (1). λ + ∞         0

Рассмотрим последовательно три возможных случая.

  • 1.    Если h " (°) 1 , т. е., если h " (°) > 1 , то условие (12), очевидно, не выполняется, и тогда функция im F f имеет нули в П . Легко показать, что в этом случае im F f имеет в П бесконечное множество нулей континуальной мощности.

  • 2.    Пусть теперь h 00 (0) >  1 , т. е. h 00 (0) < 1 . Тогда существует q <  1 такое, что для любого A > A i = A i (q)

  • 3.    Последний логически возможный случай h 00 (O) = 1 наиболее труден для исследования, но зато и наиболее интересен. Как показано в [3], если f M 3 и F f имеет бесконечное множество нулей в П , то h 00 (O) = 1 . В частности, так будет, когда 2

v(А) := А(1 + A 2 ) j f (e 2t )(e t 1) dt <  q.

Пусть еще λ 0 — положительный корень (очевидно, единственный) уравнения

∞ x ■■x2)jf (e2* )l(e* - 1)dt=1.

Тогда v(A) < 1 для A G [0, A o ] . Если A o > A i , то для любого A 6 (0, + го ) v(A) < 1 , и условие (12) выполнено. Но тогда применима теорема 1, согласно которой im F f не имеет нулей в П . Если же A o < A i , то дело сводится к оценке сверху величины y := max { v(A) : A G [A o , A i ] } . Так как [A o , A i ] — конечный сегмент, то такую оценку можно получить обычными методами математического анализа. Если y 6 1 , то условие (12) выполнено (и, следовательно, im F f не имеет нулей в П ), а если y > 1 , то оно нарушено, и Z(im F f ) — непустое множество мощности континуум.

f = f o := 2^ о , где ^ o (x) := ^ e nn x — функция, использовавшаяся Риманом при n =1

исследовании дзета-функции Z(z) . Как хорошо известно (см., например, [4, гл. II, п. 6]), функция ^ o (x) удовлетворяет функциональному уравнению (полученному Риманом) V x(1 + 2^ o (x)) = 2w o( 1) + 1 , 0 < x <  го , из которого, в частности, следует (известное еще Риману) равенство w'o (1) + ^°^ = 8 , равносильное соотношению h " (0) = 1 (при f = f o ).

Случай, когда h 00 (0) = 1 , должен быть объектом отдельного исследования. Отметим здесь лишь то немаловажное обстоятельство, что если бы в случае f = f o удалось доказать справедливость хотя бы одного из трех (равносильных) условий (11)–(13), то отсюда следовала бы справедливость знаменитой гипотезы Римана о нулях Z(z) в критической полосе. Если же окажется, что при f = f o хотя бы одно из этих условий нарушено, то это будет означать, что множество нулей функции im { (n) - z Г( 2 )Z(z) } в П , бесконечно (и имеет мощность континуума).

В заключение отметим некоторые опечатки в статье [3], затрудняющие ее чтение. На с. 11, 5-я сверху строка, вместо «по лемме 1» должно быть «по предложению 1». На с. 12, в формулировке предложения 1, вместо Z(ReFf) должно быть Z(imFf). На с. 14, вместо f(k)(1) должно быть f (k)(1). На с. 18, 10-я сверху строка, вместо lim должно k→+∞ стоять lim sup. Наконец, на с. 19, 7-я сверху строка, неравенство v(xi, yi) < 0 следует k→+∞ заменить на v(xi, yi) > 0.

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

  • Натансон И. П. Теория функций вещественной переменной.-М.: ГИТТЛ, 1950.-399 с
  • Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. Т. II.-М.: ОГИЗ ГИТТЛ, 1948.-860 с.
  • Коробейник Ю. Ф. Об одном классе четных мероморфных функций//Известия вузов. Северо-Кавказский регион. Сер. естеств. наук.-2006.-Т. 41, приложение № 5.-С. 8-20.
  • Титчмарш Е. К. Теория дзета-функции Римана.-М.: Изд-во иностр. лит., 1953.-406 с.
Статья научная