Разностные и дискретные уравнения на прямой и полупрямой Текст научной статьи по специальности «Математика»

Известия Института математики и информатики УдГУ

2015. Вып. 2 (46)

УДК 517.929.2

© А. В. Васильев, В. Б. Васильев

РАЗНОСТНЫЕ И ДИСКРЕТНЫЕ УРАВНЕНИЯ НА ПРЯМОЙ И ПОЛУПРЯМОЙ1

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

Ключевые слова: разностное уравнение, дискретное уравнение, символ, индекс факторизации, разрешимость, общее решение.

Введение

Очень часто разностные уравнения конечного порядка возникают в различных задачах математики и прикладных наук, например, в математической физике и биологии. Теория решения таких уравнений построена давно для уравнений с постоянными коэффициентами [9,10], но практически отсутствуют какие-либо результаты о разрешимости для уравнений с переменными коэффициентами. Отметим, что определенные типы таких уравнений были получены одним из авторов при исследовании общих граничных задач для модельных эллиптических псевдодифференциальных уравнений в канонических негладких областях, однако отсутствуют методы решения таких уравнений [7,11,12]. Здесь мы рассмотрим некоторый промежуточный случай между упомянутыми выше двумя, точнее, здесь будут рассмотрены некоторые разностные уравнения бесконечного порядка с постоянными коэффициентами. Ниже мы поясняем, о каких уравнениях мы будем говорить.

Как правило, рассматривались линейные разностные уравнения и-го порядка следующего вида [9,10]:

п

У^дк(х)и(х + к) = ь(х), х € М С М, (1)

к=о

где функции дк(х), к = 1,..., и, ь(х) заданы на М, и(х) — неизвестная функция, также определенная на М. Поскольку и € М, множество М должно быть либо лучом, либо всей прямой М. Более общий тип разностного уравнения конечного порядка — это уравнение

п

^ак(х)и(х + вк)= ^(х), х € М С М, (2)

к=о

где {вк }П=о С М.

Далее, такие уравнения можно рассматривать как с непрерывным, так и с дискретным аргументом. Уравнения с непрерывным аргументом мы называем разностными, а с дискретным — дискретными, хотя к уравнениям типа вполне применим термин «дискретно-разностные».

х

риваются в пространстве ^(М) для всех уравнений. Если начать рассмотрение с уравнения

п

У^ дки(х + вк)= ъ(х), х € М, (3)

к=о

1 Работа поддержана РФФИ и Администрацией Липецкой области (грант № 14-4Ю3595-р-центр-а).

легко сообразить, что оно немедленно решается с помощью преобразования Фурье:

/+те

е-и(х)йх.

-те

Действительно, применяя преобразование Фурье к уравнению (3), мы получим

п к=0

или, переобозначая,

й(СК (С) = ^(С)-

Функция рп(С) называется символом оператора, стоящего в левой части уравнения (3) (см. [3]). Если рп(С) = 0, € М, то уравнение (3) легко решается:

и(х) = F--_1X (р—ЧСЖС))-

Аналогичные рассуждения применимы и в случае неограниченной последовательности {вкВ этом случае разностный оператор с комплексными коэффициентами

+те

V: и(х) -—аки(х + вк), х € М, ак € С, (4)

—те

имеет следующий символ:

+те

*(С) = Е ак егвк ?.

— те

Лемма 1. Оператор V является линейным ограниченным оператором Ь2(М) — Ь2(М), если {ак}+те € I1.

Доказательство этого утверждения практически очевидно. Если рассмотреть оператор (4) только для х^ € Ъ,

+те

V: и(ха) -—аки(ха + вк), ха € Ъ, (5)

—те

его символ можно определить дискретным преобразованием Фурье [16,17]:

+те

^(С) = Еакегвк?, С € [-п,п].

—те

Безусловно, существует определенная связь между дискретными и разностными уравнениями. Так, в частности, если {вк}+те = Ъ то оператор (5) — это оператор дискретной свертки. Для изучения дискретных операторов в полупространстве авторы развили определенную аналитическую технику [13-15]. Ниже мы стараемся расширить границы применимости этой техники, включив более общие ситуации.

§ 1. Общие разностные уравнения

Мы рассматриваем уравнение

^и)(х) = и(х), х € М+, (6)

где М+ = {х € М, х > 0}.

Для исследования этого уравнения мы используем методы теории сингулярных интегральных и псевдодифференциальных уравнений [3,6,7], которые, насколько нам известно, не очень

привычны для теории разностных уравнений. Наша основная цель — это изучение многомерных разностных уравнений, и этот одномерный вариант, который рассматривается здесь, представляет собой простейшую модель для рассмотрения более сложных ситуаций. Этот подход основан на теории классической краевой задачи Римана, одномерных сингулярных интегральных уравнений [1,2,5] и технике факторизации [20].

На первом этапе мы будем пользоваться теорией парных уравнений [5] вида

(аР+ + ЬР-)и = V (7)

в пространстве .¿2(К), где а, Ь — операторы свертки с соответствующими ядрами а(х), Ь(х), х € К Р± — проекторы на полуоси К±. В развернутом виде

г+ж п 0

(аР+ и)(х)=/ а(х - у)и(ЬР-и)(х) = Ь(х - у)и

.)о ■)-ж

Применяя преобразование Фурье к уравнению (7), мы получим [6] следующее одномерное сингулярное интегральное уравнение [1,2,5]

а(0(Ри )(£) + Ь(0(ди )(£) = V (£), (8)

где Р, ^ — два проектора, связанные с преобразованием Гильберта

(Ни)(х) = и.р. —— Г°° ^^йу, пг У-ж х - у

Уравнение (8) тесно связано с краевой задачей Римана [1,2] для верхней и нижней полуплоскостей. Напомним постановку задачи: найти пару функций Ф±(£), допускающих аналитическое продолжение в верхнюю (С+) и нижнюю (С-) полуплоскости в комплексной плоскости С, таких, что их граничные значения на К связаны линейным соотношением

Ф+(£) = с(£)Ф-(0 + <(£), (9)

где С (£),<(£) — заданные функции на К.

Хорошо известно взаимно однозначное соответствие между краевой задачей Римана (9) и сингулярным интегральным уравнением (8),

с(£) = v-1(eже), V(е) = V-1 шо.

Мы будем предполагать, что символ С(£) — это непрерывная не обращающаяся в нуль функция на одноточечной компактификации К (С(£) = 0 для всех £ € К) и

1 г +ж

Шв = — dargG(í) = 0. (10)

2п )-ж

Последнее условие (10) является необходимым и достаточным для однозначной разрешимости задачи (9) в пространстве .2(К) [1,2]. Более того, это единственное решение задачи (9) можно явно построить с помощью преобразования Гильберта:

Ф+(*) = С+ (¿)Р (С-1 (%(*)) , Ф-(*) = -С-1^ (С+1 (*)<(*)),

где С± — элементы факторизации функции С(£) (см. ниже):

С+(£) = ехр (Р (1п С- (*) =ехр(д (1п С(*))).

Уравнение (6) легко привести к виду (7) следующим образом. Поскольку правая часть в (6) определена только на М+, мы продолжим -и(х) та все М так, чтобы это продолжение I/ € ¿2(М). Затем переобозначим неизвестную функцию на и+(х) и определим функцию

и-(х) = (I/)(х) — (Ри+)(х).

Таким образом, мы получили уравнение

(Ри+)(х)+ и-(х) = (1/)(х), х € М, (11)

М

После преобразования Фурье имеем

а(е)г+(е)+г_(е) = ме),

где а(е) является символом оператора V. Мы называем символ эллиптическим, если а(е) = 0 для каждого е € ИМ.

Чтобы пояснить технику решения уравнения (11), введем следующее (см. [1,2])

Определение 1. Факторизацией эллиптического символа называется его представление в виде

а(е ) = а+(е) ■ ме),

где сомножители а+, а_ допускают аналитическое продолжение в верхнюю и нижнюю комплексные полуплоскости С± и а± €

Пример 1. Рассмотрим интеграл типа Коши:

1 Г+™ и(£) , Л - / = г = х±гу.

Хорошо известна его ключевая роль в разложении ¿2(М) на два ортогональных подпространства, точнее

¿2(М) = А+(М) ф А-(М),

где А±(М) состоит из функций, допускающих аналитическое продолжение в С±.

Граничные значения интеграла Ф(я) подчинены формулам Сохоцкого [1,2], и, следовательно, проекторы Р и Я являются соответствующими проекторами на подпространства А±(М) [5]. Пример нужной факторизации легко предложить в виде

ехр(и) = ехр(Ри) ■ ехр(фи).

Теорема 1. Пусть а(е) € С(М), 1пё а = 0. Тогда уравнение (6) имеет, единственное решение в пространстве Р2(М+) для, любой пра,вой части V € Ь2(М+); преобразование Фурье которого дается формулой

2 2п е — П

Доказательство. Имеем

а+(е)г+(е) + а-1 (е)г-(е) = а-1(е ме).

Далее, поскольку а-1 (е)^(е) € Ь2(М), разложим его на два слагаемых

а-чеме) = р (а-чеме)) + я (а- Чеме))

и запишем

а+(е)г+(е) — р (а-1 шме)) = я (а-че)ме)) — а-1(е)г_ (е).

Левая часть последнего равенства принадлежит пространству А+(М), а правая часть — пространству А_ (М), следовательно, по теореме Лиувилля, они должны быть нулями. Таким образом,

а+(£)Г+(£) - р(а_1(£)/г(£)) =0

и

г+(£) = а_1(£)р(а_1(£)М£)), (12)

или (в развернутой форме)

«+(0 = ^ (ОНО + «.р. / —уийг],

2 2пг £ - п

что и требовалось доказать. □

Замечание 1. Легко убедиться, что результат не зависит от выбора продолжения /«. Обозначим М±(х) обратные преобразования Фурье функций а-1(£). Формула (12) будет выглядеть так:

/ + ТО / Г- + \ Г- + / Г- + \

М+(х - у) ( J М_(у - ¿у = J М+(х - у) ( J М_(у - ф(г)л) ¿у.

Замечание 2. Ограничение а(£) € С (К) не очень обременительно. Во-первых, такие символы существуют хотя бы в случае, когда а(£) представлена конечной суммой и вк € Тогда а(£) будет непрерывной периодической функцией. Во-вторых, если символ не является непрерывной функцией, можно воспользоваться аппроксимационными методами в силу устойчивости индекса относительно малых возмущений.

§ 2. Структура решения

Поскольку а(£) € С(М), 1пё а — целое число, и в этом разделе мы рассмотрим случай ж = 1пё а € N.

Теорема 2. Пусть 1пё а € N. Тогда общее решение уравнения (6) в образах Фурье можно записать в виде

г+(£) = а-1(£)^_ж(£)Р (а_1(£)/«(£)) + (£ - г)_жа-1(£)Рж_1(£),

которое зависит, от, ж произвольных постоянных.

Доказательство. Функция

1

/с л\—ж

I £ - г

= ) ■

имеет нулевой индекс, следовательно, мы можем факторизовать функцию

^_ж(£ )а(£)= а+(£)а_ (£). Далее, после представления (11) в образах Фурье

^ж(£ )^_ж(£)а(£ )Г+ (£) + г_(£) = М£), мы факторизуем ш_ж(£)а(£) и записываем

^ж(£ )а+(£)г+(£) + а_1(£)Г_ (£) = а^ (£)/«(£).

С учетом наших обозначений можно записать

(о+(о = ^-ж(е)р (пчомо) + ^-ж(е)я (а-№(е)), (1з>

поскольку

а-чеме) = р + я

и

(е - г)жа+(е)«+(е) - (е+г)жр (е)) = (е+г)жя )) -

- (е + ¿)жа-1(е)й-(е). (м)

Отсюда по обобщенной теореме Лиувилля [1,2] мы заключаем, что правая и левая части последнего равенства представляют собой многочлены Рж(е) степени ж, поскольку левая часть равенства имеет полюс порядка ж в С в точке г = г. Следовательно,

я+(е) = ^-1(е)^-ж(е)р (а-чеме)) + (е - г)-ж^-1(е)Рж-1(е),

так как полином должен иметь степень ж - 1, чтобы победнее слагаемое входило в )•

□

Замечание 3. Как и выше, можно убедиться, что результат не зависит от выбора продолжения I.

Следствие 1. Пусть -и(ж) = 0, ж € N. Тогда общее решение однородного уравнения (6) дается формулой

и+(е) = (е - г)-ж^-1(е)Рж-1(е).

§ 3. Условия разрешимости

Теорема 3. Пусть -1пё а € N Тогда, уравнение (6) имеет решение из £2(М+) тогда и только тогда, когда выполнены, следующие условия:

/+те _

(е - ¿)*-1а-че)меж = о, к = 1,2,..., м.

-те

Доказательство. Рассуждая так же, как и выше, и останавливаясь на равенстве (14), получаем, что (поскольку мы работаем в пространстве .¿2(М)) как правая, так и левая части (14) обнуляются на бесконечности, следовательно, такая функция — тождественный нуль, и значит

-ж

= <7^(0 Р (пЧОМО) •

Однако в последней формуле есть некоторое несоответствие. Действительно, это решение

принадлежит пространству А+ (М), но на самом деле оно принадлежит подиространству А+ (М).

С+

порядка - ж в точке г = г. Чтобы получить решение из ¿2(М+), нужно несколько подкорректи-

р

использовать некоторые формулы разложения для этого интеграла (см. также [1,2,6]). Обозначим а-Че)Ме) = $(е) и рассмотрим следующий интеграл:

J-те г - П

Используя простую формулу для ядра

|ж|

(■г] — г)к 1 (г? - г)!33!

г - П (г - г)к (г - г)|ж|(г - п):

мы получим следующее разложение:

I оо ° дШТ] + .1-ж (г-гГКг - ,)''

Таким образом, мы пришли к следующему свойству. Если выполнены условия

(П - i)fc-1g(n)dn = 0, к = 1,2,..., |ж|

-те

f"swn = ii-ir Г

■J—<x z П J — '.

то мы имеем

М

р (<?(£)) = (£ - г)жр ((£ - г)|ж|0(0

Подставляя последнюю формулу в формулу для решения, мы получаем Г+ (£) = а_1(£)(£ + г)жР ((£ - г)|ж|а_1(£)/«(£)).

Заключение

□

Рассмотренные ситуации для уравнений с постоянными коэффициентами будут служить основой для описания свойств фредгольмовости уравнений с переменными коэффициентами. По всей видимости, локальный принцип [4] в этой ситуации также будет применим, хотя потребуется определенная адаптация (или модификация, например, для дискретных уравнений) к более общим классам операторов. В многомерной ситуации проблема существенно усложнится, однако и здесь есть возможность получить содержательные результаты, подобные [19].

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

1. Гахов Ф.Д. Краевые задачи. М.: Наука, 1977. 640 с.

2. Мусхелишвили 11.11. Сингулярные интегральные уравнения. М.: Наука, 1968. 511 с.

3. Mikhlin S.G., Prößdorf S. Singular integral operators. Berlin-Heidelberg-New York: Springer, 1986. 528 p.

4. Симоненко И.Б. Локальный метод в теории инвариантных относительно сдвига операторов и их огибающих. Ростов-на-Дону: Изд-во ЦВВР, 2007. 120 с.

5. Гохберг H.H.. Крупник Н.Я. Введение в теорию одномерных сингулярных интегральных уравнений. Кишинёв: Штиинца, 1973. 426 с.

6. Эскпн Г. 11. Краевые задачи для эллиптических псевдодифференциальных уравнений. М.: Наука, 1973. 232 с.

7. Васильев В.Б. Мультипликаторы интегралов Фурье, псевдодифференциальные уравнения, волновая факторизация, краевые задачи. М.: Едиториал УРСС, 2010. 135 с.

8. Титчмарш Е. Введение в теорию интегралов Фурье. М.-Л.: ОГИЗ «Гостехиздат», 1948. 479 с.

9. Milne-Thomson L.M. The calculus of finite differences. New York: Chelsea Publishing Company, 1981. 558 p.

10. Jordan C. Calculus of finite differences. New York: Chelsea Publishing Company, 1965. 654 p.

11. Vasilyev V.B. General boundary value problems for pseudo differential equations and related difference equations // Advances in Difference Equations. 2013. Vol. 2013:289. P. 1-7.

DOI: 10.1186/1687-1847-2013-289

12. Vasilyev V.B. On some difference equations of first order // Tatra Mt. Math. Publ. 2013. Vol. 54. P. 165-181.

13. Vasilyev A.V., Vasilyev V.B. Discrete singular operators and equations in a half-space // Azerbaijan Journal of Mathematics. 2013. Vol. 3. № 1. P. 84-93.

14. Vasilyev A.V., Vasilyev V.B. Discrete singular integrals in a half-space // Current Trends in Analysis and its Applications. Proceedings of the 9th ISAAC Congress. Krakow, Poland, 2013. P. 663-670.

15. Васильев A.B., Васильев В.Б. Периодическая задача Римана и дискретные уравнения в свертках // Дифференциальные уравнения. 2015. Т. 51. № 5. С. 642-649.

16. Соболев С.Л. Введение в теорию кубатурных формул. М.: Наука, 1974. 808 с.

17. Даджион Д., Мерсеро Р. Цифровая обработка многомерных сигналов. М.: Мир, 1988. 488 с.

18. Курбатов В.Г. Линейные дифференциально-разностные уравнения. Воронеж: Изд-во Воронежского ун-та, 1990. 167 с.

19. Каменский Г.А., Скубачевский А.Л. Линейные краевые задачи для дифференциально-разностных уравнений. М.: Изд-во МАИ, 1992. 190 с.

20. Нобл Б. Применение метода Винера^Хопфа для решения дифференциальных уравнений в частных производных. М.: ИЛ, 1962. 279 с.

Поступила в редакцию 02.10.2015

Васильев Александр Владимирович, аспирант, кафедра математического анализа, Национальный исследовательский Белгородский государственный университет, 307008, Россия, г. Белгород, ул. Студенческая, 14/1.

E-mail: alexvassel@gmail.com

Васильев Владимир Борисович, д.ф.-м.н., профессор, Липецкий государственный технический университет, 398600, Россия, г. Липецк, ул. Московская, 30. E-mail: vbv57@inbox.ru

A. V. Vasil'ev, V.B. Vasil'ev

Difference and discrete equations on the real axis and the semiaxis

Keywords: difference equation, discrete equation, symbol, index of factorization, solvability, general solution. MSC: 39A06, 44A35

We consider general difference equations on the real axis and the semiaxis in terms of the theory of pseudo-differential equations and boundary value problems. It is shown that a principal role for describing the picture of solvability for such equations plays an index of factorization of an elliptic symbol of difference equation with constant coefficients. A form of solution of such equation in the spaces of square integrable functions is described and necessary and sufficient conditions for solvability are obtained. Some discrete analogues of such equations are described.

REFERENCES

1. Gakhov F.D. Kraevye zadachi (Boundary value problems), Moskow: Nauka, 1977, 640 p.

2. Muskhelishvili N.I. Singulyarnye integral'nye uravneniya (Singular integral equations), Moscow: Nauka, 1968, 511 p.

3. Mikhlin S.G., Prößdorf S. Singular integral operators, Berlin-Heidelberg-New York: Springer, 1986, 528 p.

4. Simonenko I.B. Lokal'nyi metod v teorii invariantnykh otnositel'no sdviga operatorov i ikh ogibayushchikh (Local method in theory of operators that are invariant under a shift and their envelopes), Rostov-on-Don: TsVVR, 2007, 120 p.

5. Gokhberg I.Ts., Krupnik N.Ya. Vvedenie v teoriyu odnomernykh singulyarnykh integral'nykh uravnenii (Introduction to theory of one-dimensional singular integral equations), Chisinau: Shtiintsa, 1973, 426 p.

6. Eskin G.I. Boundary value problems for elliptic pseudodifferential equations, Translations of Mathematical Monographs, vol. 52, AMS, 1981, 375 p. Original Russian text published in Eskin G.I. Kraevye zadachi dlya ellipticheskikh psevdodifferentsial'nykh uravnenii, Moscow: Nauka, 1973, 232 p.

7. Vasil'ev V.B. Multiplikatory integralov Fur'e, psevdodifferentsial'nye uravneniya, volnovaya factorizat-siya, kraevye zadachi (Fourier integral multipliers, pseudodifferential equations, wave factorization, and boundary value problems), Moscow: Editorial URSS, 2010, 135 p.

8. Titchmarsh E. Introduction to the theory of Fourier integrals, Oxford: The Clarendon press, 1937, 390 p. Translated under the title Vvedenie v teoriyu integralov Fur'e, Moscow-Leningrad: Gostekhizdat, 1948, 479 p.

9. Milne-Thomson L.M. The calculus of finite differences, New York: Chelsea Publishing Company, 1981, 558 p.

10. Jordan C. Calculus of finite differences, New York: Chelsea Publishing Company, 1965, 654 p.

11. Vasilyev V.B. General boundary value problems for pseudo differential equations and related difference equations, Advances in difference equations, 2013, 2013:289, pp. 1-7.

DOI: 10.1186/1687-1847-2013-289

12. Vasilyev V.B. On some difference equations of first order, Tatra Mt. Math. Publ., 2013, vol. 54, pp. 165-181.

13. Vasilyev A.V., Vasilyev V.B. Discrete singular operators and equations in a half-space, Azerbaijan Journal of Mathematics, 2013, vol. 3, no. 1, pp. 84-93.

14. Vasilyev A.V., Vasilyev V.B. Discrete singular integrals in a half-space, Current Trends in Analysis and its Applications, Proceedings of the 9th ISAAC Congress, Krakow, Poland, 2013, pp. 663-670.

15. Vasil'ev A.V., Vasil'ev V.B. Periodic Riemann problem and discrete convolution equations, Differential Equations, 2015, vol. 51, no. 5, pp. 652-660. DOI: 10.1134/S0012266115050080

16. Sobolev S.L. Vvedenie v teoriyu kubaturnykh formul (Introduction to the theory of cubature formulae), Moscow: Nauka, 1974, 808 p.

17. Dudgeon D., Mersereau R. Multidimensional digital signal processing, 1984, Englewood Cliffs, New Jersey: Prentice Hall, 400 p. Translated under the title Tsifrovaya obrabotka mnogomernykh signalov, Moscow: Mir, 1988, 488 p.

18. Kurbatov V.G. Lineinye differentsial'no-raznostnye uravneniya (Linear differential-difference equations), Voronezh: Voronezh University Publ., 1990, 167 p.

19. Kamenskii G.A., Skubachevskii A.L. Lineinye kraevye zadachi dlya differentsial'no-raznostnykh uravnenii (Linear boundary-value problems for differential-difference equations), Moscow: MAI, 1992, 190 p.

20. Noble B. Methods based on the Wiener-Hopf technique for the solution of partial differential equations, London-New York-Paris-Los Angeles: Pergamon Press, 1958, 246 p. Translated under the title Primene-nie metoda Vinera-Khopfa dlya resheniya differentsial'nykh uravnenii v chastnykh proizvodnykh, Moscow: Inostrannaya Literatura, 1962, 279 p.

Received 02.10.2015

Vasil'ev Aleksandr Vladimirovich, Post-Graduate Student, Department of Mathematical Analysis, National

Research Belgorod State University, ul. Studencheskaya, 14/1, Belgorod, 307008, Russia.

E-mail: alexvassel@gmail.com

Vasil'ev Vladimir Borisovich, Doctor of Physics and Mathematics, Professor, Lipetsk State Technical University, ul. Moskovskaya, 30, Lipetsk, 398600, Russia.

E-mail: vbv57@inbox.ru