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

вания к его точности. Также уменьшить вариационную ошибку ИБС позволяет выбор высокоточных измерителя тока и ИОН.

Напряжение, В - график максимальной приведенной ошибки 0(30 - график приведенной методической ошибки ООО - график приведенной вариационной ошибки

Рис. 7. Приведенные ошибки СНФОТ при одном и том же напряжении нагрузки

Библиографические ссылки

1. Мизрах Е. А. Исследование статической точности имитаторов солнечных батарей II Вестник Сиб-ГАУ. 2005. № 7. С. 24-27.

2. Мизрах Е. А. О выборе структуры имитатора первичного источника электроэнергии космического аппарата II Вестник СибГАУ. 2002. №3. С. 50-54.

3. Штабель Н. В. Исследование цифрового функционального преобразователя для имитатора солнечных батарей. II Актуальные проблемы авиации и космонавтики : сб. тез. докл. Всерос. науч.-практ. конф. студентов, аспирантов и молодых специалистов (б-10 апреля 2009, г. Красноярск) : в 2 т. Т. 1. I под общ. ред. Ю. Ю. Логинова ; Сиб. гос. аэрокосмич. ун-т. Красноярск, 2009. 37б с.

References

1. Mizrakh E. A. VestnikSibGAU. 2005, № 7, p. 24-27.

2. Mizrakh E. A. Vestnik SibGAU. 2002, № 3, p. 50-54.

3. Shtabel' N. V. Aktual’nye problemy aviatsii i kosmonavtiki : sb. tez. dokl. Vseros. nauch.-prakt. konf. studentov, aspirantov i molodykh spetsialistov. Vol. 1. Tekhnicheskie nauki. Informatsionnye tekhnologii. Soobshcheniya shkol'nikov (Modern questions of aviation and astronautics) I SibGAU. Krasnoyarsk, 2009. 37б p.

© Мизрах Е. А., Штабель Н. В., 2013

УДК 517.55+517.929.4

устойчивость многослойных линеиных

НЕОДНОРОДНЫХ РАЗНОСТНЫХ СХЕМ И АМЕБЫ АЛГЕБРАИЧЕСКИХ

ГИПЕРПОВЕРХНОСТЕЙ

М. С. Рогозина

Сибирский федеральный университет Россия, 660041, Красноярск, просп. Свободный, 79 E-mail: rogozina.marina@mail.ru

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

Ключевые слова: разностная схема, устойчивость, амеба алгебраической гиперповерхности.

STABILITY OF MULTILAYER INHOMOGENEOUS DIFFERENCE SCHEMES AND AMOEBAS OF ALGEBRAIC HYPERSURFACES

M. S. Rogozina

Siberian Federal University 79 Svobodnyy prosp., Krasnoyarsk, 660041, Russia. E-mail: rogozina.marina@mail.ru

We study the stability of polynomial difference operators coming mainly from the theory of difference schemes. In the study we use the terminology and the methods of this theory as well as those of the theory of amoebas of algebraic hypersurfaces. The notion of amoeba allows to formulate a multidimensional analog of the condition that all roots of the characteristic polynomial lie in the unit disc, i.e. the stability condition for multidimensional difference schemes. In the terms of the latter we formulate and prove the stability criterion for multilayer linear inhomogeneous difference schemes. A formula representing the solution to the Cauchy problem via its fundamental solution is obtained.

Keywords: difference scheme, stability, amoeba of algebraic hypersurfaces.

Разностные уравнения возникают в различных областях математики. В комбинаторном анализе разностные уравнения в сочетании с методом производящих функций дают мощный аппарат исследования перечислительных задач. Другой источник появления разностных уравнений - дискретизация дифференциальных. Так, дискретизация уравнения Коши-Римана привела к созданию теории дискретных аналитических функций, которая нашла применение в теории римановых поверхностей и комбинаторном анализе [1; 2]. Методы дискретизации дифференциальной задачи являются важной составной частью теории разностных схем и также приводят к разностным уравнениям [3]. Одно из важнейших свойств разностной схемы - устойчивость.

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

В монографии [5] исследована устойчивость однородной двухслойной линейной разностной схемы с постоянными коэффициентами. Условие устойчивости здесь дается в терминах, связанных с понятием разностной функции Грина задачи Коши. В работе [6] к исследованию устойчивости многослойных однородных разностных схем применяется теория амеб алгебраических гиперповерхностей.

В данной работе исследуется случай неоднородных разностных схем. В первом параграфе получена формула для решения задачи Коши через ее фундаментальное решение (Теорема 1). Во втором параграфе формулируется и доказывается критерий устойчивости задачи Коши для многослойной линейной неоднородной разностной схемы (Теорема 2) в терминах теории амеб алгебраических гиперповерхностей.

Формула для решения задачи Коши. Введем необходимые обозначения и определения.

Пусть 5,- оператор сдвига по у-ой переменной

5/(x) = fx1,

P (S, Sn+1 )= £

Xj-1, Xj+ 1, Xj+1,

xn). Обозначим

'■,^A

лав

SaStn -

полиномиальный раз-

подмножество целочисленной решетки Z”+ , и 5 = (5і, 52, ..., 5И), а = (аь а, ..., ап) и 8“ =81“18а2...8^ .

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

P(z, w) = Pm(z)wm + Pm-1(z)wm

+ P0(z),

где Р/х) являются многочленами переменных 2 = (Х\, 12, ..., 2п) и коэффициент при старшей по V степени Рт(х) = 1. Это означает, что (0, т) е А

и для всех (а, в) є A,

(а, в) Ф (0, m) выполняется условие m > р.

(*)

Такие разностные уравнения возникают в теории разностных схем и ниже мы будем использовать терминологию этой теории.

Сформулируем задачу Коши для неоднородной (т + 1)-слойной линейной разностной схемы вида

+£ Pj (S)S:

k=1

m-k n+1

/ ( X, y ) = g ( X, y ),

(1)

ностный оператор, то есть A = (а, в) - конечное

где Р,(5) - полиномиальные разностные операторы с постоянными коэффициентами; g(x,y) - заданная функция и X = (хь х2, ..., хп) е Ъп .

Найти решение _Дх, у) уравнения (1), удовлетворяющее начальным условиям

f (X у) = фу (хХ у = ^..^ т - \, (2)

где фу(х) - заданные функции переменных х = (хь

Х2, ..., хп) е Zn .

Определение 1. Решение Р (х, у) разностного уравнения

Р(5, 5п+:)Р (х, у) = 5(о,о)(х, у), (х, у) е Zn+1, удовлетворяющее начальным условиям

Р (х,у) = 0,у = 0, 1, ..., т - 1,

я Го, если (х, у) ф (0,0)

где о(0 0) (х, у) = \ называется фун-

(0,0^ [1, если (х, у) = (0,0)

даментальным решением (функцией Грина) задачи (1)-(2).

9б

Определим на Zn+ две функции:

шу (x), дляx e Zn,y = 0,1,...,m -1,

ф( x, y) = ■

j0, для x e Zn, y > m;

Ц( x, y) = яарф(x + a, y + P), x e Zn, - m < y < 0.

(a,p)eA

Обозначим через П = {(x, y)e Zn+1: y > 0} «полупространство» Zn+l.

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

Теорема 1. Если f(x, y) решение задачи Коши (1)-(2), то для (x, y) e П справедлива формула fx, y) = = fix, y) + f(x, y), где

f)(x, y) = X^( x', y ')P(x - x', y - y'), (3)

( x'y')

причем суммирование проводится по всем точкам (x’,y’)e Zn+l, удовлетворяющим условию - m <y' < 0, а

f*(x, y) = X g(x', y ')P(x - x', y - y'), (4)

( x', y')

где суммирование проводится по всем точкам (x', y') e Zn+l, удовлетворяющим условию 0 < y’ < m-1. При этом для любого фиксированного (x, y) e П число слагаемых для f0 и f конечно.

Замечание. Отметим, что f0(x, y) - решение однородной задачи Коши, f (x, y) - частное решение с нулевыми начальными данными.

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

решетки Zn в [7], для многослойных однородных разностных схем в [6].

Для доказательства теоремы 1 нам потребуется следующая лемма.

Лемма. Пусть K - конус в ®П+у) порожденный векторами d = (d\,..., dn, dn+1), j = 1, 2, ..., m.

K = j(x, y) e Г+1 :(x, y) = X ^jdJ, k > 0 j.

Если dn+i > 0 для j = 1, ..., m, то пересечение конуса K с гиперплоскостью y = const является ограниченным множеством.

Доказательство. Всякая точка (x, y) e K представ-

ляется в

виде (x,y) = X^jdj , где kj > 0, j = 1, ..., m.

j=1

Точки (x, y) e K П {y = const}, следовательно, определяются из уравнения относительно kb ., km вида

dn+?"1 + ■■■ + СЛ m = cons^

в котором коэффициенты dn+1 > 0. Множество Л = {k} решений k = (kb ..., km) такого уравнения - ограниченное множество в Rm , а конус K можно рассматривать как образ множества Л при линейном преобра-

зовании, матрица которого составлена из координат векторов а.

Доказательство теоремы 1. Покажем, что число слагаемых в правой части формул (3), (4) конечно. Из ограничения (*) на характеристический многочлен Р(г, V) следует, что т - в > 0 для всех (а, в) е А, (а, в) Ф Ф (0, т). Ниже (см. § 2) будет показано, что носитель фундаментального решения Р(х, у) (т. е. множество suppP = (х, у): Р(х, у) Ф 0) лежит в конусе К порожденном векторами (0, т) - (а, в). Согласно лемме, для фиксированного у это означает, что число значений фундаментального решения Р(х, у), не равных нулю, конечно.

Докажем, что формулы (3), (4) дают решение уравнения (1). Действительно,

Р(5, 5п+1/ = Р(8,5п+:)Ях, у) + Р(5, 5п+1)/(х, у).

При у > 0 с учетом определения фундаментального решения для любых (х, у) е П, имеем у -у' > 0, т. е.

X ц(х’ у ’)5(0 0) (х- х’,у -у’) = 0, тогда (х’, У)

Р(5,5п+1) f = X ^( х ’, у ,)5(0,0)( х - х ’, у - у,) +

(х', у '):-т< у '<0

+ X g(х', у ')5С0,0) (х - х', у - у') = g(х, у).

( х’, у'): у ’>0

Проверим выполнение условия (2).

Пусть 0 < у < т-1. Так как суммирование здесь ведется по всем (х'у) таким, что -т < у’ < -1, то f (х, у) = 0. Имеем

f (x, y) = f)( x, y) =

= X X 0х,рф(x' + a, y' + e)

(x,y') V(a,P)eA

P (x - x', y - y ').

Во внутренней сумме суммируем по тем (а, в), для которых -у’ < в < т, так как для остальных (а, в) имеем ф(х' + а, у’ + в) = 0.

Меняя порядок суммирования

f (^у) = X аа,в X ф(х' + а,у' +в) х

(а, в)еА (х', у')

х Р(х + а - (х + а), у + в - (у’ + в))

и индексы суммирования х" = х’ + а, у” = у + в после приведения во внутренней сумме подобных при ф(х’’, у”), получим

f(x, у) = X яа,в X ф(х" , у")Р(х + а-х", у + в- у") =

(а, в) ( х, у')

= X ф(x'', у П) X аа,вР(х - х" ^ у ~у" +в).

(х ", у ") (а,в)еА: у "+1<в<т

Здесь уже суммируем по (х’’, у”) таким, что 0 < у’’ < < т-1 и по (а, в) таким, что у” + 1 < в < т, поэтому для 0 < в < у” в силу неравенств 0 < у < т-1 по определению фундаментального решения имеем Р(х -х’’ + а,у - у’’ + в) = 0.

Тогда

/ (х У )= X Ф( x”, У И) х

(х ", у "):0< у''<т-1

х X яа,РР(х - х " +а, У - У " + Р) =

(а,р)єА:0<р<т

= X Ф(х ", У ")Р(8,8„+і)Р(х - х ", у - у ") =

(х'', У )

= X Ф(х ", У")8(0,0)(х - х ", У - У") = ф(х, у).

(х'', У )

Устойчивость и амебы алгебраических гиперповерхностей. Приведем некоторые сведения из теории амеб алгебраических гиперповерхностей (см. [8]). Определение 2. Многогранником Ньютона N

многочлена Р ( ^) = X яар2ам,в называется вы-

(а,р)єА

пуклая оболочка в

элементов множества A.

P(z, w)

на вида

1

1

p(z,w) w- + Х аа,рzawP

(a, p^A'

=_________________1_________________

= wm (1 - Х (-aa,p) z a wp-m)

(a, |3^A'

P (X, y)

w k =0

( x, y )є(0,-)+Ko,m HZ'

n+1 z w

x y+1

ЛЛ)'

где А' = А\{0, т}, (х, у) є (0, т) + К0,т П Ъ^1, а К0,т -конус, построенный на векторах (0, т) - (а, в), (а, в) є А.

Непосредственно проверяется, что Р(х, у) - фундаментальное решение и єиррР с К0т.

Для произвольной функции ф(х, у), заданной в полупространстве П = {(х, у) є Ъ"+1 :у > 0}, определим ее норму следующим образом

||ф(X, у)|| = sup |ф(X, y)|.

( X, у)єП

Пусть V = {(z, w) e cn+1 :P(z, w) = 0} - множество нулей многочлена P(z, w), оно называется характеристическим множеством.

Определение 3. Амебой алгебраической гиперповерхности называется образ множества нулей V многочлена P (z, w) = X dap za we при отображении

(a,p)eA

log: (z, w) = (zb ..., zn, w) ^

^ (log|z11, ..., log|z„|, log|w|) = (log|z|, log|w|).

Отметим следующие свойства амебы.

Множество V, а значит и logV, замкнуто, поэтому его дополнение открыто. Оно состоит из конечного числа связных выпуклых компонент и вершине (0, m) многогранника Ньютона NP соответствует связная компонента E0m дополнения амебы, в которой рациональная функция —1— разлагается в ряд Лора-

Определение 4. Назовем задачу (1)-(2) устойчивой, если существует константа L > 0 такая, что при любых ограниченных начальных данных (2) и ограниченной правой части g(x,y) для соответствующего решения f выполняется неравенство

\\А\ < L •

Теорема 2. Пусть E0m - связная компонента дополнения амебы характеристического многочлена P(z, w), соответствующая вершине (0, m) многогранника Ньютона. Задача Коши (1)-(2) устойчива тогда и только тогда, когда начало координат принадлежит E0,m, т. е. (0, 0) e E0,m.

Доказательство. Пусть задача (1)-(2) устойчива, докажем, что начало координат принадлежит E0,m.

Для произвольной фиксированной точки (x1, y1) e П найдем решение задачи (1)-(2) для начальных данных 9(x, y) = 0 и правой части g(x, y), построенной , следующим образом:

(5)

( , | Р- ;х'- *-у - у) , Р (х, - х, у, - у) Ф 0,

Л)( X, у) = 1 \Рт (х1 - X, у - у)

,0, Рт (х1 - x, у1 - у) = 0.

Согласно теореме 1, для решения ^х1у1)(х, у) задачи (1)-(2) с этими входными данными ф(х, у) = 0,

g = g(x1,y1) имеем

Аху y1)(x, у) = X ^хь Л)( х', у' )Рт (х - х', у --).

( х', у' )еП

При (х, у) = (х1, у1) получим, что

f;x1,y1)(x,у) = X |!т(х1 х,у У ")|Рт(х1 -x,у -у) =

(х,у')еП\Рт (х1 - х ,у -у )

= X |Рт (х1 - х ', у1 - у '^ = X \Рт (х" , у ")|-

;x', у')еП ;x", у')

Так как ||ф|| = 0 и | ^(х1,у1)| | < 1, то в силу устойчивости задачи (1)-(2) получим

|Лхь й)( х1, у)| = X \Рт (х ", у 1 < К

(х', у")

для некоторого К > 0 и произвольной точке (х1, у1) е П.

^\Рт (x, у^ !

Это означает, что ряд X—х—у+1 сходится при 2 = 1,

V = 1, а значит точка (0,0) е Е0—.

Пусть начало координат (0, 0) е Е0-, докажем, что задача Коши (1)-(2) устойчива.

Пусть ф(х, у) - начальные данные и ||ф|| < +да. Согласно теореме 1 соответствующее решение разностного уравнения можно записать в виде

f (х, у) = X ^(х ", у ")Р(х - х, у - у ") +

( х', у )

+ X g(х', у )Р(х - х', у - у'),

( х', у')

где

ц( х, у) = X a,увф(х + а,у + в), х е Zn, -т < у < 0.

(а,в)еА

9В

Оценим функцию /x,y):

ІД^У^ < Х Х |aa,в|ф(x ' +ay +e)l lP(x - ^У -У")\ +

(X, У) (a, в)єA

+ Х g(x',У') jj P(x-x',y-y') j<

(X, У)

<1|ф|| Х Х К,р| lP(x - ^ У - У)| +

(x',y') (a,P^A

+ jj g jj Х IP(x - x',y -y')j<

( x', y')

< AI Ml Х lP (x - x', у - у ' + 1)l +

(x',y')

+ II g II Х |P(x - x', У - У) I,

(x', У')

где L 1 = Х |aap| .

(a,p^A

Так как точка (0,0) є Eo., то ряд Х P^ У

(x, у )єП ^У

сходится, причем абсолютно в точке z = 1, w = 1, т. е. Х |P(x,у)| < L2, где L2 - некоторая константа.

( x, У )єП

Получаем

\f (x, У)\ < V L2 -|М1 + L2 • jj g jj< L • (jj ф jj + jj g jj),

где L = max{L1 L2, L2} и по определению это означает, что задача Коши (1)-(2) устойчива.

В качестве примера, иллюстрирующего теорему 2, рассмотрим задачу (1)-(2) для разностного оператора

P(S1, S2) = S2 - 4 S1 --j.

Амеба его характеристического многочлена P(z, w) = w - -4z -3 имеет вид представленный на рисунке:

+log|w|

Обозначения на рисунке следующие: Е0,1, Е1,0, Е00 - компоненты дополнения амебы, соответствующие вершинам (0,1), (1,0), (0,0) многогранника Ньютона. Заштрихованная на рисунке область - амеба.

По рисунку видно, что (0; 0) e E0,1, поэтому задача (1)-(2) для этого оператора устойчива. Тот же результат получается, если использовать известные методы теории схем [4].

Библиографические ссылки

1. Duffin R. J. Basic Properties of Discrete Analytic Functions // Duke Math. J. 1956. Vol. 23. P. 335-363.

2. Данилов О. А., Медных А. Д. Дискретные аналитические функции многих переменных и формула Тейлора // Вестник НГУ. Серия: Математика, механика, информатика. 2009. Т. 9, № 2. С. 38-46.

3. Самарский А. А. Введение в теорию разностных схем. М. : Наука, 1971. 552 с.

4. Рябенький В. С. Введение в вычислительную математику. М. : Физматлит, 2000. 296 с.

5. Федорюк М. В. Асимптотика: интегралы и ряды. М. : Наука, 1987. 544 с.

6. Рогозина М. С. Устойчивость многослойных разностных схем и амебы алгебраических гиперповерхностей // Журнал СФУ. Математика и физика. 2012. Т. 5, № 2. С. 256-263.

7. Лейнартас Е. К. Устойчивость задачи Коши для многомерного разностного оператора и амеба характеристического множества // Сиб. матем. журн., 2011. Т. 52, № 5. С. 387-393.

8. Forsberg M., Passare M., Tsikh A. Laurent determinants and arrangements of hyperplane amoebas // Advances in Mathematics, 2000. Vol. 151, № 1. P. 45-70.

References

1. Duffin R. J. Basic Properties of Discrete Analytic Functions. Duke Math. J. 1956, vol. 23, p. 335-363.

2. Danilov O. A., Мednykh A. D. Vestnik NGU. Seriya: Mdtematikd, mekhanikd, informatikd. 2009. Vol. 9, issue. 2, p. 38-46.

3. Samarskiy A. A. Vvedenie v teoriyu raznostnykh skhem (Introduction to the theory of difference schemes/ Moscow, Nauka, 1971, 552 p.

4. Ryaben'kiy V. S. Vvedenie v vychislitel'nuyu matematiku (Introduction to computational mathematics). Moscow, FIZMATLIT, 2000, 296 p.

5. Fedoryuk M. V. Asimptotika: integraly i ryady (Asymptotics: integrals and series). Moscow, Nauka, 1987, 544 p.

6. Rogozina M. S. Zhurnal SFU. Matematika i fizika. 2012, vol. 5, № 2, p. 256-263.

7. Leynartas E. K. Sib. matem. zhurn., 2011, vol. 52, № 5, s. 387-393.

8. Forsberg M., Passare M., Tsikh A., Laurent determinants and arrangements of hyperplane amoebas, Advances in Mathematics, 2000, vol. 151, № 1, p. 45-70.

© Рогозина М. С., 2013