Полнота систем производных функций Эйри и гиперциклические операторы Текст научной статьи по специальности «Математика»

ISSN 2074-1863 Уфимский математический журнал. Том 2. № 4 (2010). С. 52-57.

УДК 517.53+517.98

ПОЛНОТА СИСТЕМ ПРОИЗВОДНЫХ ФУНКЦИЙ ЭЙРИ И ГИПЕРЦИКЛИЧЕСКИЕ ОПЕРАТОРЫ

Аннотация. Изучается задача построения новых классов гиперциклических операторов на пространстве всех целых функций с топологией равномерной сходимости на компактах комплексной плоскости. Эта задача тесно связана с задачей о полноте некоторой системы целых функций. В работе доказывается, что система последовательных производных любого ненулевого решения дифференциального уравнения Эйри полна в пространстве всех целых функций. Этот результат применяется для описания новых классов гиперциклических дифференциальных операторов с полиномиальными коэффициентами, связанных с уравнением Эйри.

Ключевые слова: целые функции, гиперциклические операторы, функции Эйри.

1. Введение

Пусть Н(С) - пространство целых функций с топологией равномерной сходимости на компактах. В 1929 году Дж. Биркгоф получил следующий результат [1]: Для любого 0 = а Е С существует целая функция f, такая, что множество ее сдвигов {f (г + ап), п = 0,1, 2,...} плотно в Н (С). В 1952 году МакЛейн [2] доказал, что существует целая функция f, такая, что множество ее производных {f(п)(г), п = 0,1, 2,...} плотно в Н(С). Эти работы положили начало изучению гиперциклических операторов.

Определение 1. Пусть X — топологическое векторное пространство. Линейный непрерывный оператор Т : X ^ X называется гиперциклическим, если существует такой элемент х Е X, что его орбита {Тпх, п = 0,1, 2,...} плотна в X.

Данное определение гиперциклического оператора было впервые предложено в работе [3]. С точки зрения этого определения результаты работ [1] и [2] означают соответственно, что операторы сдвига и дифференцирования явлются гиперциклическими на пространстве Н(С). В 1991 году в работе Годфруа и Шапиро [4] была установлена гиперцикличность для значительно более широкого класса операторов.

Известно (см., например, [5]), что любая целая функция экспоненциального типа Ь(\) = ^2^=0 ¿кАк определяет на пространстве Н(С) оператор свертки М, который может быть записан в виде дифференциального оператора (вообще говоря, бесконечного порядка) с постоянными коэффициентами:

Функция L называется характеристической функцией оператора (1). В работе [4] было показано, что любой оператор свертки (1) является гиперциклическим, если его характеристическая функция не равна тождественно константе.

V.E. Kim, Completeness of systems of derivatives of Airy functions and hypercyclic operators.

© Ким В.Э. 2010.

Работа выполнена при поддержке РФФИ (проект 08-01-00779).

Поступила 14 июня 2010 г.

В.Э. КИМ

го

(1)

к=о

Возникает следующий вопрос: какие другие операторы, помимо операторов свертки, являются гиперциклическими на пространстве H (С)? Исследованию этого вопроса был посвящен ряд работ (см., например, [6], [7], [8], [9]). В работе [6] было показано, что оператор вида (a): / (z) — /'(Az) является гиперциклическим при любой константе А Є С, такой, что |А| > 1 и не является гиперциклическим, если |А| < 1. В работе [7] доказывается гиперцикличность обобщенных операторов свертки вида (b): /(z) — Еd^A^f (z), где

Ла/(z) = /'(z) + (a + 1/2)^f(-z)^ — оператор Данкла, a > -1/2. В работе [8] даны некоторые достаточные условия гиперцикличности и указаны примеры операторов, удовлетворяющих этим условиям, и не являющихся операторами свертки. В качестве таких примеров приведены, в частности, операторы вида (a) из работы [6], а также операторы вида (c): /(z) - ЕK ^ dkzk 1/(k)(z). В работе [9] доказана гиперцикличность операторов обобщенной свертки вида (d): /(z) — Еь=0 dkDk/(z), где D — оператор обобщенного дифференцирования Гельфонда-Леонтьева. Отметим также, что операторы вида (d) содержат в себе операторы видов (a), (b), (c).

В данной статье установлен новый класс гиперциклических операторов на пространстве H (С). Отметим, что задача о гиперцикличности операторов из определенного класса связана, как правило, с задачей о полноте некоторой системы функций. В статье устанавливается полнота систем последовательных производных решений дифференциального уравнения Эйри:

у" — zy = 0. (2)

На основе этого результата устанавливается гиперцикличность линейных дифференциальных операторов с полиномиальными коэффициентами, связанных с уравнением (2).

Отметим, что любое ненулевое решение уравнения (2) является трансцендентной целой функцией и имеет порядок, равный 3/2 (см., например, [10, с. 74]). Общее решение уравнения (2) может быть записано в виде y(z) = c1Ai(z) + c2Bi(z), где Ai(z), Bi(z) — функции Эйри, c1, c2 — произвольные константы. Функции Эйри имеют многочисленные применения в различных задачах математики и физики (см., например, монографию [11]).

Основные результаты статьи сформулированы в следующих теоремах.

Теорема 1. Пусть целая функция / является решением уравнения Эйри (2) и / не равна тождественно нулю. Тогда система последовательных производных {/(n), n = 0,1,...} полна в пространстве H (С).

Теорема 2. Пусть P(А) = Еfc=0 ckAk — произвольный многочлен, не равный тождественно константе, U : H (С) — H (С) — линейный непрерывный оператор вида

к

и [/] = P (V)/ = Y, Ck Vk [/], (3)

k=0

где V [/](z) = / ''(z) — z/(z). Тогда U — гиперциклический оператор на H (С).

2. Полнотл систем целых функций и гиперциклические операторы

Как уже отмечалось во введении, существует тесная связь между гиперцикличностью и полнотой некоторой системы функций. Данная связь устанавливается благодаря следующей теореме [12]:

Теорема 3. (Gethner, Shapiro) Пусть T : X — X — линейный непрерывный оператор, X — пространство Фреше. Предположим, что существуют плотные подмножества Ф, Ф С X и отображение S : Ф — X, такие, чт,о: 1) Тпф — 0, Уф Є Ф, 2) — 0,

Уф Є Ф, 3) TS-ф = ф, Уф Є Ф. Тогда T — гиперциклический оператор.

Используя теорему 3 и схему, использованную Годфруа и Шапиро в [4, Теорема 5.1], получаем следующее утверждение:

Теорема 4. Пусть Т — линейный непрерывный оператор на Н(С), такой, что найдутся система целых функций |/л}лес и отличная от константы функция О Є Н(С), для которых выполняется Т[/л (г)] = О(Л)/л(г), УЛ Є С. Пусть система {/л}лел полна в Н(С) для любого множества Л С С, содержащего хотя бы одну предельную точку. Тогда Т — гиперциклический оператор.

Доказательство. Обозначим Лі = {Л Є С : |О(Л)| < 1} и Л2 = {Л Є С : |О(Л)| > 1}. Тогда Лі и Л2 являются непустыми открытыми подмножествами в С. Из условий теоремы вытекает, что Ф = врап{Д,Л Є Лі} и Ф = врап{Д,Л Є Л2} являются плотными подмножествами в Н(С). Определим оператор Б : Ф ^ Н(С):

5[/л]М = /щ Л Є Л2.

Имеем: 1) Тга[/л](г) = (О(Л))га/л(г) ^ 0 равномерно на компактах, УЛ Є Лі ^ Тпф ^ 0, Уф Є Ф; 2) Бп[/л](г) = ^ 0 равномерно на компактах, УЛ Є Л2 ^ Бпф ^ 0, Уф Є Ф;

3) ТБ[/л](г) = /л (г), УЛ «ЕЕ Л2 ^ ТБф = ф, Уф Є Ф.

Таким образом, по теореме 3, Т — гиперциклический оператор. □

3. Доказательство основных результатов

В этом разделе приводится доказательство теорем 1 и 2, сформулированых во введении. Приведем вначале доказательство теоремы 1.

Доказательство. Пусть / удовлетворяет условиям теоремы. Известен следующий результат [14]: для любой функции ^ Є Н(С) полнота в пространстве Н(С) системы {^(п), п = 0,1,...} эквивалетна тому, что ^ не удовлетворяет ни одному однородному уравнению свертки на пространстве Н(С). Таким образом, для доказательства теоремы достаточно показать, что / не удовлетворяет ни одному однородному уравнению свертки на пространстве Н(С).

Предположим, что / является решением некоторого однородного уравнения свертки вида

ГО

^ 4 F (к)(г) = 0, (4)

й=0

где Ь(г) = ЕГО=0 ^— целая функция экспоненциального типа. Отметим вначале, что, если функция Ь имеет лишь конечное число нулей, то /, очевидно, не может удовлетворять уравнению (4). Действительно, любое решение уравнения (4) является в этом случае конечной суммой экспоненциальных решений и, следовательно, является целой функцией экспоненциального типа. С другой стороны, функция /, являясь решением уравнения Эйри, имеет порядок 3/2.

Предположим теперь, что Ь имеет бесконечно много нулей. Обозначим через {Л-, т-}°=1 множество нулей функции Ь, где через т- обозначена кратность нуля Л-. Тогда функции г“ехр(Л-г), і Є N а = 0,1, ...,т- — 1, являются решениями уравнения (4). Решения такого вида обычно называют элементарными решениями. Известно, что любое решение однородного уравнения свертки (4) может быть аппроксимировано линейными комбинациями элементарных решений (см. [13]). Следовательно, функцию / можно представить в виде:

Я.п

г) = Ііт N р-(г)ехр(Л-г), (5)

П^ГО * ^

-=і

где р-(г) — полиномы степени не выше т- — 1; дп Є N Іітга^го = +то. Таким образом,

П^ГО

-=і

Я.п

///(г) = Ііт £ехр(Л-г)(р"(г) + 2—(г) + Л2р-(г)), (6)

П—»ГО * ■* ° и и

Определим следующие многочлены: (г) = р"(г) + 2Л-р- (г) + (г) — гр- (г). Так как f

является решением уравнени Эйри, то ^(г) = f/;(г). Тогда с учетом (5) и (6) получаем:

Я.п

Пт О- (г)ехр(Л-г) = 0. (7)

п—>г>о * ^

г ^

П^ГО { ^

-=і

Покажем, что (г) = 0 для любого ] Е N. Для этого зафиксируем произвольное в Е N и определим функцию

2ГО

Тогда является целой функцией экспоненциального типа и, таким образом, определяет на пространстве Н(С) оператор свертки

ГО

м,№) = £ д

к=0

Очевидно, ¿3 (Л8) = 0. Если ] = в, то Л- является нулем функции ¿3 кратности 2т- > т- + 1. Следовательно, М5[г“ехр(Л-г)] = 0 при ] = 8, а = 0,1, ...,т- + 1. Применяя к (7) оператор М3, получаем:

М5[^5(г)ехр(Л5г)] = 0. (8)

Заметим теперь, что для любой функции ^ Е Н(С) и любого Л Е С выполняется:

(^(г) ехр(Лг))' = ехр(Лг)(^' + Л^1),

(^(г) ехр(Лг))" = ехр(Лг)(^" + 2Л^' + Л2^),

(^(г) ехр(Лг))(") = ехр(Лг)(^(" + Ь"-А^("-1) + ... + М"-1^' + Л"^), где Ь1, ...,Ь"-1 — определенные константы. Используя эти соотношения, получаем:

мла^ехр^г)] = ехр(Л^) в* (^ + +... + м*-і^ + л* ш

*=0

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

ГО

Мв[0,(г)ехр(Лвг)] = ехр(Л^г) £ в*^(г). (9)

*=0

Тогда из (8) и (9) следует, что

ГО

£ взд™« = 0. (10)

*=0

Из (10) вытекает, что, если многочлен не равен тождественно нулю, то необходимо выполняется в0 = 0. Действительно, перепишем (10) в виде

ГО

в0<Э,(г) = — £ в*0'Ч(г).

*=і

Последнее равенство, очевидно, может выполняться лишь в том случае, если обе его части тождественно равны нулю. Таким образом, при предположении, что многочлен Qs не равен тождественно нулю, должно выполняться во = 0. С другой стороны,

го

во = £ AcAk = Ls(As) = 0. fc=0

Следовательно, Qs(z) = 0. Таким образом, многочлен ps должен удовлетворять дифференциальному уравнению:

p"(z) + 2AspS(z) + A2Ps(z) = zPs(z).

Тогда, очевидно, ps(z) = 0. Таким образом, с учетом произвольности зафиксированного s, из представления (5) вытекает f = 0, что противоречит условиям теоремы. Следовательно, f не может быть решением ни одного однородного уравнения свертки вида (4). □

Приведем теперь доказательство теоремы 2.

Доказательство. Докажем, что оператор (3) является гиперциклическим оператором. Пусть F £ ker V и F не равна тождественно нулю. Для A £ C обозначим FA(z) = F(z + A). Нетрудно видеть, что V[F\] = AFa при любом A £ C. Следовательно, U[Fa] = P(A)Fa. Согласно теореме 1, система {F(n), n = 0,1,...} полна в H(C), что эквивалетно (см. [15]) полноте в H(C) системы {Fa, A £ Л}, где Л — любое подмножество в C, содержащее предельную точку. Следовательно, по теореме 4, оператор U является гиперциклическим. □

СПИСОК ЛИТЕРАТУРЫ

1. G.D. Birkhoff, Demonstration d’un theoreme elementaire sur les fonctions entieres // C. R. Acad. Sci. Paris. T. 189, № 14. 1929. P. 473-475.

2. G. MacLane, Sequences of derivatives and normal families // J. Anal. Math. V. 2. 1952. P. 72-87.

3. B. Beauzamy, Un operateur sur l’espace de Hilbert dont tous les polynomes sont hypercycliques //

C. R. Acad. Sci. Paris Ser. I Math. V. 303. 1986. P. 923-925.

4. G. Godefroy, J.H. Shapiro, Operators with dense, invariant, cyclic vector manifolds // J. Funct. Anal. V. 98, № 2. 1991. P. 229-269.

5. R.D. Carmichael, Linear differential equations of infinite order // Bull. Amer. Math. Soc. 42, № 4. 1936. P. 193-218.

6. R. Aron, D. Markose, On universal functions // J. Korean Math. Soc. V. 41, № 1. 2004. P. 65-76.

7. J.J. Betancor, M. Sifi, K. Trimeche, Hypercyclic and chaotic convolution operators associated with Dunkl operators on C // Acta Math. Hungar. V. 106, № 1-2. 2005. P. 101-116.

8. H. Petersson, Supercyclic and hypercyclic non-convolution operators // J. Operator Theory. V. 55, № 1. 2006. P. 133-151.

9. Ким В.Э. Гиперцикличность и хаотичность операторов обобщенной свертки, порождаемых операторами Гельфонда-Леонтьева // Матем. заметки. Т. 85, № 6. 2009. С. 849-856.

10. I. Laine, Nevanlinna Theory and Complex Differential Equations. Walter de Gruyter. 1993.

11. O. Vallee, M. Soares, Airy functions and applications to physics, Imperial College Press. 2004.

12. R.M. Gethner, J.H. Shapiro, Universal vectors for operators on space of holomorphic functions // Proc. Amer. Math. Soc. V. 100, № 2. 1987.P. 281-288.

13. Гельфонд А.О. Исчисление конечных разностей. М.: Физматлит. 1959.

14. В.П. Громов О полноте систем производных аналитической функции // Изв. АН СССР, Серия матем. Т. 25. 1961. С. 543-556.

15. Маркушевич А.И. О базисе в пространстве аналитических функций // Матем. сборник. Т. 17, № 2. 1945. С. 211-252.

Виталий Эдуардович Ким,

Институт математики с ВЦ УНЦ РАН, ул. Чернышевского, 112,

450008, г. Уфа, Россия E-mail: kim@matem.anrb.ru