CC BY
40
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 15 Выпуск 3 (2014)
УДК 511.3
О МЕТОДЕ Н. М. КОРОБОВА ПРИБЛИЖЕННОГО РЕШЕНИЯ ЗАДАЧИ ДИРИХЛЕ1
А. В. Родионов (г. Тула) [email protected]
Аннотация
В работе рассмотрены варианты обобщения метода Н. М. Коробова приближенного решения задачи Дирихле для уравнений с частными производными вида
Ч еХг--’^) a(x)=/ (x)
c граничным условием u(x) |dGs = ^(х), где функции u(x), f (x),ip(x) пренадлежат классу периодческих функций Ef на случай использования обобщенных параллелепипедальных сеток M(Л) целочисленных решеток Л.
Особое внимание уделено классу дифференциальных операторов, состоящему из операторов Q (qX", • • •, э^) с нулевым ядром. Важность этого класса операторов объясняется тем, что с точностью до константы решение дифференциального уравнения с частными производными для этих операторов определяется однозначно. Примером такого оператора является оператор Лапласа.
В работе было получено приближённое решение задачи Дирихле для уравнений с частными производными с помощью произвольной обобщенной параллелепипедальной сетки M(Л) целочисленной решетки Л для некоторого класса периодических функций и показано, что при использовании бесконечной последовательности вложенных обобщенных паралле-лепипедальных сеток будет иметь место достаточно быстрая сходимость приближённого решения к функции u(x).
Ключевые слова: обобщённые параллелепипедальные сетки, дифференциальные уравнения в частных производных, задача Дирихле.
Библиография: 15 названий.
METHOD N. M. KOROBOVA APPROXIMATE SOLUTION OF THE DIRICHLET PROBLEM
A. V. Rodionov (Tula)
хРабота выполнена по гранту РФФИ № 11-01-00571
Abstract
The paper discusses the generalization of the method embodiments N. M. Korobov approximate solution of the Dirichlet problem for equations
of the form
where the functions u(x),f(x),^>(x) belongs to the class of functions Ef in case of using generalized Parallelepipedal nets M(Л) integral lattices Л.
Particular attention is paid to the class of differential operators, consisting of operators Q (дХг, • • •, dr) with zero kernel. The importance of this class of operators due to the fact that up to a constant solution of differential equations with partial derivatives for these operators is uniquely determined. An example of such an operator is the Laplace operator.
In the work, an approximate solution of the Dirichlet problem for partial differential equations using arbitrary generalized parallelepiped mesh M(Л) integer lattice Л for a certain class of periodic functions and shown that by using an infinite sequence of nested grids is generalized parallelepipedal nets sufficiently fast convergence of the approximate solutions to the function u(x).
Keywords: parallelepiped nets, partial differential equations, the Dirichlet problem.
Bibliography: 15 titles.
1. Введение ................................................................49
2. Необходимые сведения и обозначения из теории решеток.....................52
3. Концентрическая последовательность сеток.................................58
4. Тригонометрические суммы и интерполяционные многочлены ..................58
5. Решение задачи Дирихле для случая тригонометрических полиномов .. .66
6. Дискретная задача Дирихле с решеткой Л ..................................72
7. Решение задачи Дирихле для общего периодического случая..................77
8. Погрешность приближенного решения задачи Дирихле.........................80
9. Заключение ..............................................................83
Список цитированной литературы ............................................83
1. Введение
В 1961 году В. С. Рябенький в работе [15] предложил численный метод решения задачи Коши для следующего класса дифференциальных уравнений с частными производными:
(1)
0 ^ t ^ T, — ж < xv < ж (v = 1,..., s), u(0, x) = <^(x), x = (x\, ..., xs),
где
= ]=0-]=1аіі иЩ'- (3)
— дифференциальный оператор порядка и(ф) = щ + ... + и3, с максимальным порядком по отдельным переменным, не превосходящим ш(ф) = шах(иі,... , и8), а <^(х) = ^(х1,...,х3) — периодическая с периодом единица по каждому из своих аргументов функция из класса Е^ (а > ш(ф) + 1).2 Таким образом,
СЮ СЮ
р(хі ,...,х,) = ^ ... ^ ст1...,тве2пг(т1Х1+...+т°х°) (4)
ті=-^ Шз=—<х>
и для коэффициентов Фурье выполняется оценка
Величина
|с I <_____"г||Еа______
|СШ1’...’ШЗ 1 < (ті... т)«.
Еа = йир |Сші,...,Шз(ті .. .ш8)“| < (6)
Ш1,...,Ш8
является нормой на пространстве Е^, относительно которой оно является несепарабельным банаховым пространством.
В своей работе В. С. Рябенький предложил некоторый общий подход численного решения задачи Коши с использованием произвольных сеток, для которых выполнены специальные условия, и показал, что его конструкция применима для многомерных кубических сеток, которые ещё называют равномерными, и для параллелепипедальных сеток Н. М. Коробова.
В работах [1], [12] — [14] предложено обобщение метода В. С. Рябенького на случай использования произвольных обобщенных параллелепипедальных сеток М(Л) целочисленной решетки Л.
В работе [9] Н. М. Коробов рассмотрел решение частной задачи Дирихле с нулевым граничным условием для уравнения Пуассона с правой частью из класса Еа:
"в
д2и д2и
щ + ■ ■ ■ + ах2 =f <х)’ (7)
u(x),f(х) ёЕ“, (8)
f (хі,..., х^,... ,х8) = — f (хі, ... ,Хэ ,... ,х8) (І = 1,..., в),
и(х) = 0 при хі(1 — хі) ■ ... ■ х3(1 — х3) = 0. (9)
2Условие на а гарантирует, что ряд Фурье для образа Q ,..., дХг) ^(х), полученный почленным дифференцированием, равномерно и абсолютно сходится.
Таким образом,
и(х) |ас3 =0, 03 = [0; 1)5.
Метод Н. М. Коробова состоял в получении с помощью параллелепипедаль-ных сеток Мт = ({^дт} ,..., {^дт}) (к = 0,... , N — 1) приближенного решения указанной задачи Дирихле на основании точного решения в виде ряда Фурье, которое легко выписать по ряду Фурье периодической функции f (х). Необходимость приближенного решения обусловлена тем, что, как правило, явного вида ряда Фурье неизвестно, а потому, точное решение имеет только теоретическое значение.
Общая задача Дирихле для дифференциального оператора Q вида (3) выглядит следующим образом
с){ дЬ---’дХ;) “(х) = ; (х)
и(х) 1вс, = р(х) ,
(х),^(х) еЕ?.
Естественно, что в таком виде задача Дирихле не всегда разрешима. Требуются дополнительные необходимые и достаточные условия, связывающие функции f (х) и <^(х), которые обеспечивают разрешимость задачи Дирихле на некотором классе функций, который будет определен позднее.
Целью настоящей работы является получение приближенного решения общей задачи Дирихле с помощью произвольной обобщенной параллелепипедаль-ной сетки М(Л) целочисленной решетки Л.
Как показано в работе [8] по значениям произвольной функции f (х) в узлах обобщенной параллелепипедальной сетки М(Л) однозначно определяется тригонометрический многочлен ^(х), который, с одной стороны, является интерполяционным многочленом для функции f (х) с узлами в М (Л), а с другой стороны — конечным рядом Фурье по этой обобщенной параллелепипедальной сетке.
Наш вариант обобщения метода Н. М. Коробова приближенного решения уравнений с частными производными на случай использования произвольных обобщенных параллелепипедальных сеток для целочисленных решеток состоит в следующем.
Пусть Zs Э Л1 Э Л2 Э ... Э Лп Э ... — бесконечная последовательность целочисленных решеток в К5. Ей соответствует бесконечная последовательность обобщенных параллелепипедальных сеток:
{0} = М^) С М(Л1) С М(Л2) С ... С М(Лп) С ...
в единичном кубе 03 = [0; 1)5 и бесконечная последовательность конечных множеств целочисленных векторов т — минимальных гиперболических полных
(10)
(11)
(12)
систем вычетов М*(Л) фундаментальной решетки Zs относительно подрешет-ки Л^:
{0} = М*^) С М*(Л1) С М*(Л2) С ... С М*(Л^) С ....
При соответствующих условиях на последовательность решеток для любой периодической функции f (х) из класса Е^ (а > 1) для последовательности интерполяционных многочленов f (х) будет иметь место достаточно быстрая
сходимость
Ит Та* f (х) = f(х).
Как будет показано далее, при достаточно естественных ограничениях либо на дифференциальный оператор Q ,... , даЬ) , либо на граничные условия в задаче Дирихле последовательность решений (х), соответствующих гранич-
ным условиям ^ (х) = /л„ <^(х) и правой части Д, (х) = /д^ f (х) будет сходиться к решению м(х).
2. Необходимые сведения и обозначения из теории решеток
Пусть Л1,... , Л5 — линейно независимая система векторов вещественного арифметического пространства К5. Совокупность Л всех векторов вида
Я1Л1 + . . . + ЯзЛз,
где а независимо друг от друга пробегают все целые рациональные числа, называется решеткой в К5, а сами векторы Л1,... , Л5 — базисом этой решетки.
Взаимной решеткой к решетке Л называется множество Л*, заданное равенством
Л* = {х е Кя|Уу е Л (х,у) е Zs}. (13)
Нетрудно видеть, что если Лу = (Лу 1, Л^-2,... , Лу5) (1 ^ 7 ^ в) — произвольный базис решетки Л, то взаимную решетку Л* можно задать взаимным базисом Л* = (Л*1, Л*2,..., Л*я) (1 ^ 7 ^ в), который определяется равенством
/л г Г 1, если 7 = г, . . . . ч
(Л,, Л*) = бя = ’ (1 ^ 7, г ^ в).
^ у [ 0, если 7 = г,
Из определения взаимного базиса и свойств определителей обратных и транспонированных матриц следует, что detЛ* = ^е^)-1.
Для произвольного вектора х его дробной частью называется вектор {х} = = ({х1},...,{Жя}).
Приведем определение обобщенной параллелепипедальной сетки М(Л) решетки Л.
Определение 1. Для произвольной решетки Л обобщенной параллелепи-педальной сеткой М(Л) называется множество М(Л) = Л* П 03.
Пусть целочисленная решетка Л задана матрицей
( а11 ... а1я \
А = . ... .
У ая1 ... ая
где а^ — целые числа (V, ^ = 1,. которая задается матрицей
det А = 0,
в). Рассмотрим взаимную решетку Л*,
(
А
А
-1
и
А
Л
в!
ёе1Л
\
. А!в
\ det Л
Авв . detЛ /
где величина А^ — алгебраическое дополнение к элементу а^ в матрице А.
Отметим, что базису Л^ = (а^1,..., а^я) (V = 1,... , в) решетки Л взаимным
базисом Л* (V = 1,... , в) взаимной решетки Л* будут векторы
Л* = ( Ау1
Аь
Л
det Л у
Из определения сетки М(Л) следует, что
к1А1^ +. . .+ кяАяь
М (Л)
х
det Л
(v= 1,...,в).
< 1 (V = 1,... , в); к е
Усеченной нормой называется величина „(х) = х1 • ... • хя, где для вещественного х обозначаем х = тах(1, |х|). Гиперболический параметр „(Л) решетки Л определяется равенством
9(Л)
тт „(х).
х€Л, х=0
Он имеет простой геометрический смысл: гиперболический крест К(Т) не содержит ненулевых точек решетки Л при Т < ^(Л).
Гиперболическим крестом называется область
К(Т) = {х | 9(х) < Т},
а величина Т — его параметром.
Назовем г-й компонентой гиперболического креста К (Т) подмножество
К (Т) = {х | 9(х) ^ Т, ровно г координат х отличны от 0}.
Ясно, что справедливо следующее разбиение гиперболического креста:
к(Т) = у К,(Т) У{0}.
\Т=1
Если M С Л - подрешетка решетки Л, то величина D = detM/ detA называется индексом подрешетки M решетки Л. Два вектора x и у решетки Л сравнимы по подрешетке M ( находятся в одном классе относительно подрешетки M), если x — у € M. В этом случае пишем x = у (mod M). Индекс D подрешетки M решетки Л равен числу классов решетки Л относительно M. Произвольное множество векторов решетки Л по одному из каждого класса относительно решетки M называется полной системой вычетов решетки Л относительно M. Каждая полная система вычетов решетки Л относительно M имеет естественную структуру конечной абелевой группы, изоморфной Л/M.
Отсюда следует, что для любой целочисленной решетки Л обобщенная па-раллелепипедальная сетка M(Л) является полной системой вычетов взаимной решетки Л* относительно фундаментальной решетки Zs, т.е. M(Л) = Л*^5. Таким образом, на обобщенной параллелепипедальной сетке целочисленной решетки определена естественная операция сложения, относительно которой она является конечной абелевой группой.
Обычно полную систему вычетов фундаментальной решетки Zs относительно целочисленной решетки Л будем обозначать через M*(Л), хотя она определена неоднозначно. Ниже будут сформулированы дополнительные условия для выбора M*(Л).
В одномерном случае любая целочисленная решетка, имеет вид pZ и множество чисел {—pi,..., 0,... ,p2}, где pi = [pf-], p2 = [f], является наименьшей абсолютной полной системой вычетов одномерной фундаментальной решетки Z по подрешетке pZ. Приведем многомерный аналог этому понятию из работы [8].
Определение 2. Полная система вычетов фундаментальной решетки Zs относительно целочисленной решетки Л называется минимальной гиперболической полной системой вычетов, если минимальный гиперболический крест,, содержащий эту полную систему вычетов, имеет минимальное значение своего параметра для всех полных систем вычетов фундаментальной решетки Zs относительно целочисленной решетки Л.
Определение 3. Полная система вычетов фундаментальной решетки Zs относительно целочисленной решетки Л, состоящая из представителей классов вычетов с наименьшей усеченной нормой среди всех элементов класса вычетов, называется абсолютно минимальной гиперболической полной системой вычетов.
Такая полная система вычетов обозначается через MH(Л). Вообще говоря, полная система вычетов MH (Л) определена неоднозначно. Это видно на примере решетки NZs при четном N. Действительно, Nf = — Nf (mod N). Уже в одномерном случае две полные системы вычетов {—N-,..., 0,... , N2} и { — N2,... , 0,... , N1} удовлетворяют определению 3. В s-мерном случае таких систем будет 2s. Для однозначности выбора MH (Л) можно еще ввести лексико-
графический линейный порядок на . Тогда из нескольких возможных элементов с одинаковым значением усеченной нормы выберем наименьший в смысле лексографического упорядочивания. Тем самым МН (Л) будет определено однозначно.
Лемма 1. Для любой целочисленной решетки Л и подрешетки Л1 справедливо вложение
Доказательство. См. [8].
Для произвольной целочисленной решетки Л определяются второй и третий гиперболические параметры.
Определение 4. Вторым гиперболическим параметром целочисленной решетки Л называется наименьшее натуральное число д2(Л), такое, что гиперболический крест К(„2(Л)) содержит полную систему вычетов фундаментальной решетки Zs относительно целочисленной решетки Л.
Определение 5. Третьим гиперболическим параметром целочисленной решетки Л называется наибольшее натуральное число д3(Л), такое, что все целые точки гиперболического креста К(„3(Л)) содержатся в полной системе вычетов фундаментальной решетки Zs относительно целочисленной решетки Л. Другими словами все целые точки этого креста несравнимы по модулю
Алгоритмы нахождения абсолютно наименьшей полной гиперболической системы вычетов, а также трёх гиперболических параметров решётки линейного сравнения предложены в работе [12].
Через К^ (Т) обозначим множество всех целых точек, принадлежащих гиперболическому кресту К(Т). Так как |К^(1)| = 3я, то для любого N ^ 3я можно определить функцию Т,^) из условий |Кя(Т„^))| ^ N, |К^(Т„^) + 1)| > N. Ясно, что
Из (15) следует, что при N < 3я надо полагать д3(Л) = 0, так как минимальный крест К(1) содержит больше элементов, чем полная система вычетов фундаментальной решетки Zs относительно целочисленной решетки Л, состоящая из N элементов.
В работе [3] доказана следующая теорема.
Теорема 1. При N > в^е справедливы неравенства:
МН(Л) С МН(Л1)).
(14)
Л.
(15)
(в — 1)! N
^-------------------- ---- ---------------------гг. (16)
2я (1пN + 1п((в — 1)!) — в 1п 2 — (в — 1) 1п(1пN))
Из определений 4 и 5 сразу следует, что
9з(Л) < 9(Л) 9з(Л) ^ ?2(Л).
Общие нетривиальные соотношения между этими тремя гиперполическими параметрами, по-видимому, установить непросто. Априори даже неясно, всегда ли существует полная система вычетов М*(Л) фундаментальной решетки Zs относительно целочисленной решетки Л такая, что выполнены соотношения
К(„з(Л)) С М*(Л) С КЫЛ))? (17)
Рассмотрим для примера случай решетки Л = NZs. Очевидно, что
( 1 N -11я
М (^я) = ^0, ^,..., —, |М №*)| = det(NZs) = Ns. (18)
Нетрудно видеть, что в качестве минимальной гиперболической полной системы
вычетов фундаментальной решетки Zs относительно подрешетки NZs можно взять
М *(^я) = { — ^,...,^}в. (19)
Отсюда следует, что
/V
?(Л) = N, „2 (Л) = N2 ^ — и 9з(Л) = N1. (20)
Лемма 2. Для любой целочисленной решетки Л найдется минимальная гиперболическая полная система вычетов М*(Л) фундаментальной решетки Zs относительно подрешетки Л такая, что выполнены соотношения (17).
Доказательство. См. [8].
Лемма 3. Абсолютно минимальная гиперболическая полная система вычетов МН (Л) фундаментальной решетки Zs относительно подрешетки Л удовлетворяет соотношению (17).
Доказательство. См. [8].
Рассмотрим для произвольного вектора х понятие его индекса - количество ненулевых координат. Обозначим эту величину через г(х). Таким образом наименьший индекс у нулевого вектора: г(0) = 0, а максимальное значение индекса равно в. Для целого вектора т рассмотрим его индекс по модулю 2, т.е. количество его нечетных координат, которое обозначим через г2(т).
Лемма 4. Если для целочисленной решетки Л вектор т = 0 и имеет минимальное значение усеченной нормы (д(т) = д(Л)); то для третьего гиперболического параметра решетки Л справедлива оценка сверху:
3(Л)
2r(m)-r2(m) '
(21)
Доказательство. См. [8].
Обозначим через множество всех целочисленных векторов ^ каждый из которых имеет координаты, образующие перестановку чисел 1, 2, ... , 5.
Лемма 5. Пусть для заданного ^ є Л вектора Аі = (Аід,..., А^),..., Л5 = (Л8,1,..., Л8,8) целочисленной решетки Л определены из условий:
Л1= min їх,-, I, ,j1 хЄЛ\{0} j1
(22)
Л„,1 = ... = Л,лі._1 = 0, Л, = min |x,vI (v = 2,...,s), (23)
x£A<v)\{0}
где Л(^) = {x є Л |
x
ji
x
Jv-l
0}, тогда они образуют базис решетки
Л.
Доказательство. См. [8].
Теорема 2. Для любой целочисленной решетки Л второй гиперболический параметр решетки удовлетворяет соотношению:
ф(Л) ^ тш ——^ ... —^ . (24)
Доказательство. См. [8].
Теорема 3. Для любой целочисленной решетки Л с д(Л) > 45 третий гиперболический параметр решетки удовлетворяет соотношению:
І.
(25)
Доказательство. Рассмотрим s-мерный куб
Л?(Л)
+ 1;
/д(Л)
содержащий 2s
/q(A)
< д(Л) целых точек. Если найдутся две различные
целые точки x, у є
/q(A)
+ 1;
О = x — у є
2
yq(A)
2
+1; 2
/q(A)
/q(A)
І
такие, что x = y (mod Л), тогда , x — y G Л. Отсюда следует, что
2
s
2
2
s
2
s
2
2
д(х — у) < ^(Л), что невозможно. Следовательно, все целые точки гиперболического креста
V 5(Л) — 1 С — 1 С V ?(Л) +1; V ?(Л)
2 2 2
К
содержатся в полной системе вычетов фундаментальной решетки Zs отно-
сительно целочисленной решетки Л. Поэтому 5з(Л) ^ доказана. □
/«(Л)
— 1 и теорема
£
2
3. Концентрическая последовательность сеток
Следуя работе [2], последовательность вложенных обобщенных параллеле-пипедальных сеток будем называть концентрической.
Пусть даны две целочисленных решетки Л! Э Л2 и det Л! < det Л2, тогда для обобщенных параллелепипедальных сеток имеем вложение: М(Л1) С М(Л2).
Действительно, рассмотрим взаимные решетки Л? и Л2:
Л! = {хеЕ£|УуеЛ1 (х,у) е28}, Л? = {хеЕ£|УуеЛ2 (х,у) е28}. (26) Отсюда следует, что Л! С Л?, а, значит,
м(Л1) = (Л? п с*) С м(Л2) = (Л? п с*).
Аналогичное свойство установлено для минимальных гиперболических полных систем вычетов М*(Л) фундаментальной решетки Zs относительно подре-шетки Л (см. лемму 1 на стр. 55).
Таким образом, если имеется вложенная последовательность решёток Л1 Э Л2 Э... Э Лп Э... , то она задает концентрическую последовательность вложенных обобщенных параллелепипедальных сеток.
В частности, если Zs Э Л1 Э Л2 Э ... Э Лп Э ... — бесконечная последовательность целочисленных решеток в К£, то ей соответствует бесконечная последовательность обобщенных параллелепипедальных сеток:
{0} = М^) С М(Л1) С М(Л2) С ... С М(Лп) С ...
в единичном кубе = [0; 1)£ и бесконечная последовательность конечных множеств целочисленных векторов т — минимальных гиперболических полных систем вычетов М*(Л^) фундаментальной решетки Zs относительно подрешет-ки Л^:
{0} = М*^£) С М?(Л1) С М?(Л2) С ... С М*(Л^) С ....
4. Тригонометрические суммы и интерполяционные многочлены
При изучении вопросов приближенного интегрирования и интерполирования периодических функций многих переменных естественным образом возникают тригонометрические суммы. Приведем несколько необходимых определений и результатов из работ [5] и [7].
Определение 6. Тригонометрической суммой сетки М и произвольного целочисленного вектора т называется величина
Рассмотрим для произвольной целочисленной решетки Л, целого вектора т и произвольного вектора х из взаимной решетки Л* величины:
Символ $л(т) является многомерным обобщением известного теоретико-числового символа Коробова
Определение 7. Полной линейной кратной тригонометрической суммой целочисленной решетки Л называется выражение
где т — произвольный целочисленный вектор.
Ясно, что для обобщенной параллелепипедальной сетки М(Л) справедливо равенство $(т, М(Л)) = в(т, Л).
Определение 8. Полной линейной кратной тригонометрической суммой взаимной решетки Л* целочисленной решетки Л называется выражение
где х — произвольный вектор взаимной решетки Л* и т0,..., т«_ - полная система вычетов решетки по подрешетке Л.
S(m,M) = ^2 e2ni(m’x).
x€M
1, если т € Л,
0, если те28\ Л,
<*A(x) = |
1, если х € 25,
0, если х € Л* \ 25.
1, если m = 0 (mod N), 0, если m = 0 (mod N).
m
eZs/A
Справедливы следующие двойственные утверждения.
Теорема 4. Для s(m, Л) справедливо равенство
s(m, Л) = ^л(т) ■ detЛ.
Доказательство. См. [7] стр. 47.
Теорема 5. Для любой целочисленной решетки Л с de^ = N и для произвольного x е Л* справедливо равенство
s*(x, Л) = ^л(x) ■ detЛ.
Доказательство. См. [7] стр. 48.
Как уже отмечалось, класс периодических функций Е^ состоит из функций f (x) с рядом Фурье
f (x) = Y c(m)e2"(m'x),
m£Zs
у которых для коэффициентов Фурье выполняется оценка
c(m) = I--р <x)e“dx=O ((m^W)-
Класс периодических функций Е^ относительно нормы
||f (x) 11 E“ = suP |c(m)(ml . . . ms)a 1 (27)
m€ZS
является несепарабельным банаховым пространством, изоморфным пространству /0 — пространству всех ограниченных последовательностей комплексных чисел.
Наряду с нормой (27) рассмотрим нормы
||f (x)||c=sup|f (x)| (28)
xGGs
и 1
^ ^ \ 2
||f(x)||ii= Y |c(m)1, ||f(x)||i2=( Y |c(m)|2J - (29)
m=-<^ \m=-^ /
Относительно норм (28) и (29) класс Е^ становится незамкнутым линейным подмногообразием простраств непрерывных периодических функций и периодических функций с абсолютно сходящимися рядами Фурье соответственно (см. [6]).
Нетрудно видеть, что справедливы следующие неравенства:
||f (x)||l2 ^ ||f (x)||C, ||f (x)||C ^ ||f (x)||1l ,
||f(x)||ii ^ ||f(x)||Ea(1 + 2Z(a))s. (30)
Последнее неравенство (30) можно уточнить при дополнительном ограничении, что с(т) = 0 при т € К(£). Предварительно сформулируем несколько лемм из работ [3, 4].
Для натурального £ > 1 положим, что
А «= Е („1.1 )а (“>1>. (31)
Ш1...т^ >4 •'
в м = Е 1 с«)= Е • (32)
Ш1...т^ Ш1...т^ •/
суммирование проводится только по натуральным „1,..., т,.
Так как £ - натуральное, то
сю
_ 1 Г 1
А1(£) = У------- </—= 7--------Т, В (£) = £, С (£) ^ 1п £ + 1. (33)
^та ] 1“ (а - 1На-1’ v у
т>4 " ' 1
Лемма 6. Справедливо неравенство
к!
й=0
Доказательство. См. [4].
Лемма 7. Справедливо неравенство
,_1 ^к
"к!
,Л 1пй £
С« <Е А]—: (34)
Т 1п*Ч
в, (£) « <Е ,-к, . (35)
й=0
Доказательство. См. [4].
Лемма 8. Справедливо неравенство
А (^Л(( ’ПХ, +Е “""Г ( Е С (а)*-2-* СГа ~1+С,(а)+Ст_1)) . (36)
’() ^ ^(а-1)(.?-1)! т=0 т! \^=тц () ‘ а - 1 а- Ч)
Доказательство. См. [4].
Теорема 6. Пусть натуральное £ > 1 и разложение периодической функции / (х) € Еа имеет вид:
/(х)= Е с(т)е2"<“’х». (37)
ш0 К (4)
Справедливо неравенство
/Э* ( +
+Е^е^е С,2'«")'-+ Ем
т=0 й=т \,=й+2 ,=й+1 / /
Доказательство. См. [4].
Рассмотрим для любого натурального £ конечномерное подпространство Р(4) всех тригонометрических полиномов вида:
/(х)= Е с(т)е2-‘(“'х). (39)
ш€К (4)
Тригонометрический полином
fo(x) = £ e2ni(m’x), (40)
m€K (t)
очевидно, имеет следующие нормы:
|f0(x)|io= suP |c(m)| = 1, ||fo(x)||c = |KZ(t)1,
me|K(t)l
|fo(x)|ii = |Kz (t)|, ||fo(x)|^ = ta. (41)
В работе [3] доказаны следующие две теоремы.
Теорема 7. Справедливо неравенство
2s ( 3s)s—1
|Kz(t)| (^+т) +1. (42)
Доказательство. См. [4].
Теорема 8. Справедливо неравенство
2slns—1t
|Kz(t)| ^ t^—^ + t(1 - (-1)s) + (-1)s. (43)
Доказательство. См. [4].
Из теоремы 7 и равенств (41) вытекает, что
f( ^ II f0(x) II E“
/0(x) ||zq = -
ta
s / о _ \ s—1
>(x)iic=nfo(x)iiii^ |fot(a—i|e? f (s -1)! ^nt+3s) +1). (44)
Из оценки снизу (43) и равенства (41) следует оценка снизу для норм: И/о(х)||с = ||/о(х)|к > ||/о^|1е? (1п‘-‘( + 1 + (-1)'-1 + ^
(45)
Таким образом, оценка сверху (44) и оценка снизу (45) совпадают по порядку относительно і.
Теорема 5 позволяет доказать, что произвольную функцию f (х) на обобщенной параллелепипедальной сетке М(Л) целочисленной решетки Л с ёе1 Л = N можно разложить в конечный ряд Фурье.
Теорема 9. Для любой функции f (х) на М(Л) справедливо равенство
N -1
f (х) = е2пі(хт),
і=0
где
1
N
* = - £ f(у)е-2"(у’т>>.
уЄМ (Л)
Доказательство. См. [6].
Из этой теоремы сразу следует, что если известны значения периодической функции /(х) в узлах обобщенной параллелепипедальной сетки М(Л) целочисленной решетки Л и выбрана произвольная полная система вычетов М* (Л) решетки Zs по подрешетке Л, то следующий тригонометрический полином
(Л),м *(Л)(х) = ^ См (л),м *(л)(т)е2пг(ш,х\ (46)
шеМ *(Л)
где
СМ (Л),М *(Л)(т) = N ^ / (у)е-2пг(ш,у) = ^с(т + п), (47)
уеМ (Л) пеЛ
является интерполяционным для функции / (х).
Тригонометрический полином (46) зависит от полной системы вычетов М*(Л) решетки Zs по подрешетке Л. Возникает вопрос о том, как оптимально выбирать М*(Л), чтобы погрешность интерполирования была наименьшей. Ответ на этот вопрос зависит от класса функций, для которого рассматривается данная задача. Мы остановимся на классе Е^.
Рассмотрим сначала решетку N■ Zs. Как известно, для любой целочисленной решетки Л с ёе1 Л = N справедливо включение: N^ С Л. В следующей теореме будем использовать обозначения (18) и (19).
Теорема 10. Для любой периодической функции f (x) є Е^ и интерполяционного полинома SM(N•Zs),M*(N•Zs)(x) справедливы неравенства
|c(m) — cm(n•ze),M*(n•zs)(m)| ^
< ||f (x;||e? (1 + 2° +N2f(a;)’1 s(2° (!c (a;;, (4s)
||f(x) - SM(N.Zs).M*(N*Zs)(x;||C ^ ||f(X;||£?---(a — іІд-.;1 I--* (49)
Доказательство. См. [8].
Формула (4б) задает оператор интерполирования 1л на пространстве Е^, который каждой функции f (x) є Е^ ставит в соответствие ее интерполяционный многочлен (4б). Таким образом,
W(x)= £ f (y) (N Е e2ni(m'x-y)) . (50)
УЄМ(Л) у m£M ‘ (Л) У
Лемма 9. Для любой функции f (x) є Е^ справедливо неравенство
||1л/'(x)||ii ^ ||f(x)|k* (51)
Доказательство. См. [8].
Лемма 10. Для любого тригонометрического полинома f (x) вида
,,2ni(m,x)
J.XJ.)e
m€M ‘(Л)
справедливо равенство
f (x)= Е C(m;e2n>(m'x) (52)
^ (х) = f (х). (53)
Доказательство. См. [8].
Множество тригонометрических полиномов вида (52) обозначим через Рл.
Теорема 11. Для любой целочисленной решетки Л с detЛ ^ ?/ и д3(Л) ^ 1 на пространстве Р(9з(л)) для абсолютно минимальной гиперболической полной система вычетов МН (Л) фундаментальной решетки Zs относительно подре-шетки Л справедливо равенство (53).
При і > д3(Л) найдется тригонометрический полином f (х) є Р(4) такой, что равенство (53) нарушается. В частности,
Р(і) П кег/л = 0.
Доказательство. См. [8].
Для любого т € М*(Л) обозначим через Еаш банахово подпространство пространства Е^, состоящее из функций вида
f (х) = £ с(т + п)е2пг(т+п’х). (54)
пЄЛ
Ясно, что имеет место разложение Е^ в прямую сумму Е0?ш:
£,“= £ ®Е;!т.
тЄМ* (Л)
Отсюда следует, что произвольная функция f (х) є Е^ представима в виде сумм
f (х) = Е fm(x),
тЄМ *(Л)
где
пЄЛ
В работе [6] показано, что для проектора Ат : f (х) ^ fm(x) имеется конечное представление:
Ат а(х)) = Лп(х) = ^ Е f ({х + у})е-2"(у’т) (тєМ*(Л)).
уЄМ (Л)
Здесь для произвольного вектора х под его дробной частью подразумевается вектор {х} = ({хі},... , {х8}).
Теорема 12. На пространстве Е^ операторы Ат и /Л коммутируют:
1л(Ат^(х))) = Ат(/л(/(х))) = ( Е с(т + п) ) е2*‘(т’х). (55)
пЄЛ
Доказательство. См. [8].
Теорема 13. На пространстве Е^ ядро кег/л оператора интерполирования /л имеет нормированный базис:
^■‘(х) = (9(т + п)). (е2*‘(т,х) - е2"(т+п,х)) (т є МН(Л), п є Л\{0}). (56)
Доказательство. См. [8].
Следствие 1. Пространство Еа разлагается в прямую сумму ядра кег/л оператора интерполирования /л и пространства тригонометрических полиномов РЛ:
Еа = ker /л Ф Рл.
Простейшую оценку снизу погрешности интерполирования получается с помощью третьего гиперболического параметра решетки.
Теорема 14. Для любой целочисленной решетки Л найдется функция f (x) е Еа такая, что справедлива оценка снизу погрешности интерполирования:
||f (x) - Mf (x))||c > (flk_. (57)
Доказательство. См. [8].
Теорема 15. Для любой целочисленной решетки Л и абсолютно минимальной гиперболической полной системы вычетов MH (Л) фундаментальной решетки Zs относительно подрешетки Л для любой функции f (x) е Еа справедлива оценка сверху погрешности интерполирования:
\\t( ^ т (t( ^мl / 2||f (x)He“ ^251п"-1(9з(Л)) ( s-2, ,А ^
||f(x) - Wf(x))||c « ЫЛ))^ U- 1)!(а- 1) + O (ln <9з(Л)) *
Доказательство. См. [8].
Теорема 16. Пусть дана последовательность целочисленных решёток Zs 3 Л0 D Л1 D ... D Лп D ... и lim д(Лп) = то, тогда для любой f (x) е Еа
П—<^
справедливо равенство
lim ||f (x) - ^„f (x)||c = 0. (59)
n—<^
Доказательство. Так как по теореме Минковского о выпуклом теле всегда ^(Л) ^ det^, то при n ^ то имеем lim de^n = то. По определению 5 (см.
П—
стр. 55) и теореме 3 (см. стр. 57) отсюда делаем вывод, что lim д3(Л) = то, но,
П—<^
применяя теорему 15, получаем доказываемое утверждение. □
5. Решение задачи Дирихле для случая тригонометрических полиномов
Прежде всего найдем собственные функции и ядро дифференциального оператора Q ,... , дг). Для любого m е зададим величины Q(m) равенствами
ni ns n(Q)
Q(m) = Ё... Ё aji.....j- (2ni)ji+...+js ... mSs = Ё (60)
ji=0 js=0 j=0
Л + ...+І =і
Заметим, что если все коэффициенты яіь...,і — алгебраические числа, то в силу трансцендентности числа п величина ^(т) = 0 тогда и только тогда, когда А'(т) = 0, для всех і = 0,... , п(ф).
Лемма 11. Для любого т є 2* функция е2пі(т,х) является собственной функцией оператора Q ,..., ддг) с собственным числом ^(т), если ф(т) = 0, или принадлежит ядру Кегд оператора, если Q(m) = 0.
Доказательство. Действительно, д'1 д'
із
2пі(т,х) = (2пг)л+...+ізті1 . ..т*/е2пг(т,х).
Поэтому
дхі1 дх*
д д
Q( —,..., — )е2пі(т,х) дХі дх*
П1
)і1+...+ізтІ1 ...т*е2пг(т,х)
= Ё ... Ё аі1,...,із(2пі)і
І1=0 із=0
= Q(m)e2пi(m,x), что и доказывает утверждение леммы. □
Будем использовать обозначение Кегд для самого ядра оператора, а для множества значений т, для которых е2пі(т,х) є Кегд будем использовать обозначение Кегд.
Пусть 5 С 2* — произвольное конечное множество целочисленных векторов т. Обозначим через Т0(5) — пространство всех тригонометрических многочленов с постоянными коэффициентами
То(5) = І Р(х) = Е ЬтЄ2пі(т,х)
І тЄ5
Ьт Є С, т є 5
Очевидно, что если / (х) € Кегд и / (х) = 0, то уравнение
д( дк ) “<х) = / (х) (62)
не имеет решений. Более того, пространство Т0 (5) можно представить как прямую сумму подпространств
То(5) = То(5\ Кегд) ®То (.?П КвГд и уравнение (62) имеет решение тогда и только тогда, когда
/(х) € То(£\ Кегд) ■
Теорема 17. Для пространства Т0(5) общим решением дифференциального уравнения
Ч аЖі'""^) и(х) = / (х)
/ (х) = Е ЬтЄ2Пі(т,х) Є Т0 (5 \ КеГд) , -ТО < < ТО (^=1,...,й)
тЄ£\Кегд
(63)
является тригонометрический многочлен
и(х)= Е е2пі(т,х) + Е Ст е2пі(т,х), (64)
тЄ£\Кегд тЄ^рКєгд
где ст — произвольные числа.
Доказательство. Рассмотрим произвольный многочлен и(х) є Т0(5):
<х) = Е
и(х)= > СтЄ2Пі(т,х).
шЕ£
Тогда
«( аХг-й и(х) = Есш«(т>е2"(ш'х) =
41 8/ ш€5
= Е сшд(т)е2пг(ш’х) = /(х) = Е Ьшв2пг(ш’х).
шЕ£\КвГд шЕ£\КвГд
Таким образом, приравнивая коэффициенты тригонометрических многочленов слева и справа, получим
Ьш
Сп
д(т)
для каждого те 5 \ КвГд и Сш — произвольное число, если т € ^Р|КвГд, что и доказывает утверждение теоремы. □
Обозначим через множество всех целочисленных векторов jS)t =
= (^1, ■ ■ ■ , ^8), каждый из которых имеет координаты, образующие перестановку чисел 1, 2, ■ ■ ■ , ^ такую, что 1 ^ ^ < ■ ■ ■ < ^ ^ 5, 1 ^ ^+1 < ■ ■ ■ < ^ ^ 5. Таким образом |/*4| = С и /*0 = = {(1, 2, ■ ■ ■ , 5)}. Для дальнейшего потребуется
явный вид /*8-1:
</*8-1 = {(2,■■■,^ ^ (1, 3,...,5,2),...,(1,...,5 — 2,5,5 — 1), (1,■■■,3)} ,
/* ;1 = 5.
Для произвольного вектора ^ Є </** и многочлена <^(х) Є Т0 (5) определим действие оператора Рг0,,4) проектирования на пространство Т0(5, js,t), где
Т0 (5,.Ці) =
Р((.гл.......)) = Е 6К<, т,, )Є2”(”^^ +..-+™^.х^.)
(т, ,...,т, )Є5(Ів,0
Ь(тп ,...,т,) Є С (тл,- • • ,ті,) Є 5 Ц ,
5 СЦ*) = І(тл,... ,то^)|(ті,... ,шв) Є 5}, следующим образом
Рг(Ц4)р(х) = Е е2пі(т,і х,і+...+т,,х,,) Е Ьп.
Таким образом
(т,1 ,...,т,, ( N
1 ‘ (п,і,..., )=(т,1 ,...,т,,)
РгСЦ0)^(х) = Еь
п
пЄ£
рг(,]5,5)^(х) = ^(х).
Лемма 12. Для и(х),^(х) є Т0(5) граничное условие
и(х) = <^(х) (х є дС, ) (65)
выполняется тогда и только тогда, когда для любого Ь с 0 ^ ^<s и js,t є і, выполняются соотношения
Рг(Ц*)и(х) = Рг(Ц*)^(х).
Доказательство. Обозначим через С°0,,4) грань ^-мерного единичного куба С, такую, что ж^ = 0 для Ь+1^ V ^ 8, а через С^^) грань ^-мерного единичного куба С, такую, что ж^ = 1 для Ь + 1 ^ V ^ з. Ясно, что
дс,= и (с0а,<)ис1М.
Если х е С^^) и^СЦ*), то справедливо равенство и(х) = Рг08;4)и(х), аналогично, <^(х) = Рг08)*)^(х). Отсюда следует утверждение леммы. □
Лемма 13. Для и(х),^(х) е Т0($):
м(х) = Е Ств2пг(т,х), ^(х) = Е ^тв2пг(т,х)
тЄ£ тЄ£
а
граничное условие (65) выполняется тогда и только тогда, когда для любого ,Ъ,8-1 е /*)в-1 и (тЛ ,. ■ ■,т^3-1 ) е £ СЪ,^
выполняются соотношения
Е сп = Е ^. (66)
Сп
пЄ5, пЄ5,
(п,1 ,...,п,-в_1) = (т,1 ,...,т,в_і) (п,і ,...,п,в_і) = (т,і ,...,т,в_і)
Доказательство. Действительно,
Рг(ів,в-і)и(х) =
= Е е2пі(т,і х,і+...+т,в_і х,в_і) Е
(т,і ,...,т, і )єS(js,s_1) ( п^
•' 1 •'О 1 І п • п • \ — І т •
С
п
РгСЦ«-і)(£(х) =
= Е е2пі(т,1 Х,1 +...+т,о_1 х,о_1 ) Е ^п.
(т,1 ,...,т, 1 ПЄ5 ї
1 О 1 (п,1 ,...,",о_1) = (т,1 ,...,т,о_1)
В силу леммы 12 имеем:
Е е2пі(т,1 Х,1+...+т,3_1 х,в_1) Е Сп =
(т,і ,...,т, і )^Ск3_1) ( ПЄ5 )
1 О 1 (п,1 ,...,",о_1) = (т,1 ,...,т,3_1)
= Е е2пі(т,1 Х,1 +...+т,3_1 х,О_1) Е ^п,
(т,і ,...,т,о_і ^СЬ,*^ ( П^ )
1 О 1 (п,1 ,...,"Іо _ 1)і(т,1 ,...,т,о _ 1)
что и доказывает утверждение леммы. □
Теорема 18. Для пространства Т0(5) задача Дирихле для дифференциального уравнения с частными производными
Ч а§7 ’-’дії) и(х) = / (х)
/ (х) = Е ЬтЄ2Пі(т,х) є І0 (5 \ Кегд) , -ТО < 1^ < ТО ^=1,...,^)
тЄ£\Кегд
(67)
с граничным условием
и(х) = <^(х) (х є дС,) , <^(х) є ¥0(5), (68)
где тригонометрический многочлен <^(х) имеет вид
^(х)=Е^т Є2пі(т,х), (69)
тЄ£
разрешима тогда и только тогда, когда найдутся сш (т е 5Р|Кег^), для которых для любого jS)S_1 е ; и (т,^,., ш^_ 1) е 5 (ь,.^)
выполняются
соотношения
Е Е сп =
пЄ5\Кегд, ' ' пЄ5р|Кегд,
(п,і ,...,",а- 1)1(т,1 ,...,т,О-1) (п,1 ,...,",О- 1)1(т,1 ,...,™,3_ 1)
Е йп, (70)
пЄЯ,
и ее решением является тригонометрический многочлен
Ь
Ж—,
тЄ^\Кегд тЄ^ріКєгд
Доказательство. Пусть
и(х)= Ё Л7ттв2пг(т,х) + ^ Ст Є2Пі(т,х). (71)
^(т)
_Ьт (т
тЄ£\Кегд тЄ^ріКєгд
и(х) = Ё ^7т)е2пг(т,х) + ^ СтЄ2пї(т-х) (72)
^(т)
— общее решение дифференциального уравнения (67). Тогда на основании леммы 13 имеем утверждение теоремы. □
В случае, если 5 Р| Кег^ = {(0, ■ ■ ■ , 0)}, то общим решением уравнения (63) является многочлен
^ш 2„.(ш,Х) +
е ( ’ ) + С>
д(т)
“« = Е 7^е2"(т,х) +С.
ш€5\{0}
где с — произвольная константа.
Рассмотрим, например, задачу Дирихле для уравнения Пуассона:
52! 52!
5*2 + ■■■■■■ + IX! = / (х), (73)
/(х)= Е Ьше2”(ш'х) е Т0 (5 \ {0}), -то<х,<«> (V = 1, ■ ■ ■, 5) (74)
ш€5\{0} с граничным условием
и(х) = ^(х) (х е 5С8) , <^(х) е Т0(5), (75)
где тригонометрический многочлен <^(х) имеет вид
^(х)=Е^ш е2™^’^ (76)
шб£
(п,1 ,...,п,я_ 1) = (т,1 ,...,т, 1 )
Для оператора Лапласа
д д N д2 52
ОЬ-,..,тт- = 7г-* + ...+
имеем:
дх1 ’ ’ дxsJ 5x1 5x2
Таким образом Кег^ = {0}. Тогда, согласно теореме 17, общим решением дифференциального уравнения (73) является тригонометрический многочлен
1 Ьт
(2п)2 ^ ті + ... + т2
“(*) = — Е —-—"2п,(т'х)
ш€5\{0}
Согласно теореме 18 задача Дирихле (73) — (76) разрешима тогда и только тогда, когда существует с0 такое, что для каждого ,Ц8-1 € </^-1 выполнены соотношения
1 _ V _____________________________-______= V А
2 2.^ „2 + + „2 2.^ Ап’
(2п)2 п2 + ... + п пея
71 7,8 — 1 71 ів —1 71 ^й — 1 71 7^ — 1
тл + ... + т1—1 = 0, (77)
1 Ь
П
Со,
т21 + ... + т2з—1 = °. (78)
Решением задачи Дирихле (73) — (76) является функция
“(Х) = - (2п)2 Е , + ^ + „, е”<"’ + * (79>
^ ’ ш€5\{0} 1 5
Среди всех дифференциальных операторов Q ^д^-, • • • , дХт) выделим класс
0 невырожденных дифференциальных операторов, состоящий из операторов Q , • • • , , для которых Кегд = {(0,... , 0)}. Важность этого класса опе-
раторов объясняется тем, что с точностью до константы решение дифференциального уравнения с частными производными для этих операторов определяется однозначно. Из предыдущего видно, что оператор Лапласа принадлежит классу 0.
Отметим, что если оператор Q , • • • , вида (3) невырожденный, то
ао,...,о = 0.
(п71 ’...’п73- 1) = (т71 -.>т73_ 1>
6. Дискретная задача Дирихле с решеткой Л
Пусть задана целочисленная решетка Л, которая определяет обобщенную параллелепипедальную сетку М(Л) и абсолютно минимальную гиперболическую полную систему вычетов МН(Л). С задачей Дирихле (10) — (12) свяжем дискретную задачу Дирихле с решеткой Л, отличие которой от просто задачи Дирихле заключается в том, что дифференциальное уравнение с частными производными и граничное условие ослабляются и задаются не на единичном 5-мерном кубе и его границе, а только на конечном множестве М(Л) и его проекциях на грани единичного 5-мерного куба. За счет этого решение можно найти в пространстве Т(МН(Л)).
Введем следующие обозначения:
Для произвольного вектора Ц* Є /*( и обобщенной параллелепипедальной сетки М(Л) определим действие оператора Рг(,Ц*) проектирования на грань
адд где
ад,*) = {х= (х1 ^..^ЖХ'!,...,ХЛ) Є Сі,
следующим образом
у Є М(Л) (х'1,
Х'
= х' =0},
Рг (js,^ )М (Л)
х
(хі, . . . ,Хs)
> Х'£ ) = (уЛ , . . . , ' ) ,
и'4+1
= Х' = 0
Пространство Е^ представим в виде прямой суммы Е^ = Е^’ КвГд, где
Е= <! /(х) = Е с(т)е2пі(т’х)
тЄ^\Кегд
/ (х) Є Е
/ (х) Є е
г-,2пг(т,х)
АХА)е
тЄКегд
Таким образом, дифференциальное уравнение с частными производными
Я
д
д
и(х) = / (х)
ч5ж1 ’ ’
разрешимо только для функций f (х) € Е^^.
Прежде всего рассмотрим дискретную задачу для дифференциального уравнения с частными производными.
Определение 9. Дискретной задачей с решеткой Л для дифференциального уравнения с частными производными называется уравнение
Я
д
5х1
д
дх.
и(х) = /(х), х Є М(Л),
/(х) Є Е,“'«,
(80)
(81)
Решением дискретной задачи с решеткой Л для дифференциального уравнения с частными производными назовем тригонометрический многочлен и(х) € Т(М*(Л)), удовлетворяющий уравнению (80) с функцией (81).
Определение 10. Дискретной задачей Дирихле с решеткой Л называется уравнение
“<х) = /<х)- х€М<Л)- (82)
/(х) е ЕТ'«, (83)
с дискретными граничными условиями
и(х) = /д^(х), (х € ) , (84)
где <^(х) — периодическая функция из класса Е^ (а > га(ф) + 1), а /л^(х) — её интерполяционный многочлен,
/л^(х)= £ ^(ш)е2™(ш’х),
шеМ *(Л)
где
й(ш) = ]1 Е ^У)е-2"(ш’у), ЛТ=|М(Л)|.
уем (Л)
Решением дискретной задачи Дирихле с решеткой Л назовем тригонометрический многочлен и(х) € Т(М*(Л)), удовлетворяющий уравнению (82)
с функцией (83) и с дискретными граничными условиями (84).
Таким образом, дискретную задачу Дирихле с решеткой Л для дифференциального уравнения с частными производными можно рассматривать как приближение решения задачи Дирихле (10) — (12). Вопрос о сходимости последовательности решений дискретных задач Дирихле с последовательностью вложенных решеток Л1 3 Л2 3... 3 Лп Э... будет рассмотрен в последнем разделе.
Для невырожденных операторов Q ,..., € П имеем Кегд = С как
множество функций и КеГд = {0} как множество тех ш, для которых е2пг(ш,х) € € Кегд. В этом случае для краткости будем писать Е*а = Е^’д. Другими словами, класс функций Е*а состоит из всех функций /(х) € Е^, у которых с(0) = 0.
Отметим одну особенность оператора интерполирования по сетке М(Л). Если /(х) € Е*а, то интерполяционный многочлен /л/(х) не обязан принадлежать Е*а. Действительно, для функции /(х) € Е*а,3
/(х) = Ё с(ш)е2™(ш’х)
шей8
3Здесь и далее символ ^' означает, что из области суммирования исключена точка п = 0.
имеем
/л/(х) = £ 6(т)е2пі(т’х),
тЄМ *(Л)
где
6<т)=]1 £ /(У)е-2"(т’у), N =|М(Л)|
УЄМ (Л)
и на основании теоремы 4 (см. стр. 60) имеем
6(0) = £ /(у) = ! £ £' с(т)е2"(т,х) =
УЄМ(Л) уеМ(Л) тей3
= £' с(т) N £ е'2”(т-х) =
тей3 уЄМ(Л)
= с(т) — з(т,Л) = с(т)£Л(т) = с(т).
тей3 тей3 теЛ
Поэтому коэффициент 6(0) не обязан равняться 0.
Теорема 19. Решением дискретной задачи с решеткой Л для дифференциального уравнения с частными производными
Я(аХ1 —’эх:)“(х) = /(х)-N £ /<у)' хЄМ(Л)' (85)
41 ^ уеМ (Л)
Я( £ ,...,^ )Єа/ (х) ЄЕ“ (86)
является тригонометрический многочлен
“« = £' Т^е2"(т’х) +C’ (87)
теМ*(Л) Я( )
где с — произвольное число и
{ N Е /(у)е-2пі(т’у), при т = 0;
6(т) = < уеМ (Л)
0, при т = 0.
Доказательство. Рассмотрим интерполяционный многочлен для функции / (х)
/л/(х) = £ 6(т)е2пі(т’х),
теМ *(Л)
где
Ь(ш) = — £ /(у)е-2™(ш’у). уем (Л)
Поскольку б(0) = N Е /(у), то для функции /*(х) = /(х) -Е /(у)
уем (Л) уем (Л)
интерполяционный многочлен имеет вид
/Л / * (х) = £' 6(ш)е2™(ш’х).
шем* (Л)
Из теоремы 17 в случае 5' = М*(Л) имеем доказываемое утверждение. □
Теорема 20. Дискретная задача Дирихле с решёткой Л для дифференциального уравнения с частными производными
о( й?...,аХ") “(х) = /<х)— Е !(у), х€М(Л), (88)
41 3/ уем (Л)
о( ^ ,-,£ )€°,/ (х) €Е~ (89)
с дискретными граничными условиями
и(х) = /л^(х), (х € ) , (90)
где <^(х) — периодическая функция из класса Е^ (а > т(0) + 1), а /Л^(х) — её интерполяционный многочлен,
/л^(х)= £ ^(ш)е2пг(ш’х),
шем *(Л)
где
<г<ш) = — Е ^<у)е-2"(ш’у), — = |М<Л)|
уем (Л)
разрешима тогда и только тогда, когда существует сл такое, что для каждого ,Ц8-1 € </*8-1 выполнены соотношения
£ опт £ ^
пеМ*(Л), ^ 4 ' пеМ*(Л),
(пп ,...,п^8_1) = (тл ,...,т^8_1) (пл ,...,п^8_1) = (тп ,...,т^з_1)
тл +... + т2^ = ° (91)
£ ад + £'
6(п)
- Сл,
о(п)
1бМ*(Л), пеМ*(Л), ^ 4 '
_1) = (т^1 ,...,т^з_1) (п^1 ,...,п^з_1) = (т^1
т21 + ... + т2з_1 = °, (92)
где
6<п)=м Е /<у)е-2”("'у).
уем (Л)
Решением дискретной задачи Дирихле с решёткой Л (88) — (90) является функция
Р (х) = £ 6(ш)е2пг(ш’х) = £ Ь(ш)е2
“<х)= £' ^е2п'(ш’х) (93)
шем*(Л) 0( )
Доказательство. Согласно теореме 18 в случае 5 = М* (Л) и Кегд = {0} имеем доказываемое утверждение. □
Рассмотрим пространство тригонометрических многочленов Т*(М*(Л)), состоящее из всех тригонометрических многочленов Р (х) вида
=>2пг(ш’х) _
Е'
Ь<ш)е2™(ш’х) шем *(Л)\{0} шем *(Л)
В пространстве тригонометрических многочленов Т*(М*(Л)) рассмотрим базис, состоящий из функций
Ьу(х)_^ £' е2пг(ш’х-у), у €М (Л),
шем *(Л)
которые выделяются характеристическим свойством
Г (х) _ /1 — N> при х = у>
у( ) | — е2пг(ш’х), при х _ у, х € М(Л).
Обозначим через иу (х) € Т*(М*(Л)) решение дифференциального уравнения с частными производными
д_ _д_
5ж1 ’ ’
Таким образом,
1 ,__/ е2пг(ш,х-у)
<х)_ — £ -ошг
шем *(Л) ^ '
и общее решение дискретной задачи с решеткой Л дифференциального уравнения с частными производными
о( дХт.д!:)“<х)_/<х) — — £ !<y), х€М<Л) (95)
У 1 :/ уем (Л)
0 (—,...,— )и(х)_Ьу(х), х€М (Л). (94)
можно записать через базисные функции следующим образом
и(х)_ Е / (у)иу(х) + С
уем(Л)
где С — произвольное число.
7. Решение задачи Дирихле для общего периодического случая
Введем в рассмотрение новый класс функций Е^ (0), где
5x1 д!:; ^-0 ^-0 7,'"’78д!11 дхЗ8
/ л-0 ^-0 1 :
— дифференциальный оператор порядка п _ п1 + ... + п:.
Определение 11. Периодическая функция ^(ж1,...,ж:) с периодом 1 по каждой переменной принадлежит классу Еа(0), если
^(х) = £
mGZs
и для коэффициентов Фурье выполняется оценка
|Сш| < l,^ff(Q^ • (96)
(m1 • • • ms)a ■ Q(m)
Величина
ES«(Q) = sup |cm ■ (mi • • •ms)" ■ Q(m)| < to, (97)
m€Zs ni ns
Q(m) = £ • • • £ aii,...,js(2ni)j1+...+jSmi1 • • • m2‘ • (98)
ji=0 js=0
является нормой на пространстве Ea(Q), относительно которой оно является несепарабельным банаховым пространством.
Положим
0*(т) _ тах 0(п)-1.
9(п)<?(ш)
Заметим, что для любого т € справедливо неравенство 0*(т) ^ 1.
Определение 12. Периодическая функция ^(ж1,...,ж:) с периодом 1 по каждой переменной принадлежит классу Е+а(0), если
^(x) = £
mGZs
и для коэффициентов Фурье выполняется оценка
E+“(Q)
|c I < _______ Es (Q)_____________________________________• (99)
m (mi• • • mS)a ■ Q*(m)
s
Величина
IMIe+“(Q) = sup |cm ■ (mr^ • •ms)a ■ Q*(m)| < to (100)
s m£Zs
является нормой на пространстве E+a(Q), относительно которой оно является несепарабельным банаховым пространством.
Теорема 21. Для пространства Ea(Q) общим решением дифференциального уравнения
Ч “(x) = / (x)
— to < < to (v = 1, • • •,s),
/(x)= £ bme2"(m,x). /(x) €E+“(Q) (101)
m€Zs\{0}
является периодическая функция
bm Q(m)
/ b
“(x) = E e“(m'x) + c- “(x) € (Q), (102)
m€Zs “
где с — произвольное число и ряды в правых частях (101) и (102) абсолютно сходятся.
Доказательство. Рассмотрим произвольную периодическую функцию и(х) € Еа(0):
и(х) _ £ Сшв2пг(ш’х), Сш € С, т € й:. шей8
Тогда
0( ^,...,^) “<х)_Е
4 7 шей8
Таким образом, приравнивая коэффициенты тригонометрических рядов Фурье, получим для каждого вектора т € \ {0} уравнение сш0(т) _ Ьш, решение
которого имеет вид сш _ Ошу.
Далее заметим, в силу условия
________С__________
ш ^ (шТ... ш:)“-0*(т)
имеем
32пг(ш,х) 1 - ^ л С
Е Ibme2-(m,x)| « £ (=7;:=^? = с(1 + 2С(a))s. (103)
\а
.............t'S/
mGZs mGZs v 1 J
m€Zs
bm e2ni(m,x) < ________________C_________________< c(1 + 2Z(a))s
* J Q(m) ^ (^m" m )a . IQ(m) I . Q*(^n)
(mi • • • m>)a ■ |Q(m)| ■ Q,(m)
что и доказывает утверждение теоремы. □
/(х) = £ 6те2пг(т’х) (105)
Теорема 22. Для пространства Еа(О) задача Дирихле для дифференциального уравнения
Ч діг ’-’дії) и(х) = / (х)-
— то < і^ < то (V = 1, . . . ,й),
э2пг(т,х)
Ьте
т€^5
с граничным условием
и(х) = <^(х) (х є 5Сз) , <^(х) є Еа, (106)
где периодическая функция <^(х) имеет вид
^(х) = £ ^тв2пг(т’х) (107)
тЄЙ8
разрешима тогда и только тогда, когда найдётся со, для которого для любого .Цз-і є ІІгІ-1 и (ш^,.............,т^з-1) є (ь,.^) выполняются соотношения
£ ОМ = £
пЄ2й, ^ 4 ' пЄ2й,
(п^1 ,...,пІ5-і) = (т^і ,...,т^_і) (п^1 ,...,п5-в-і) = (т5-і
Ш21 + ... + ш2з_і = 0’ (108)
£ ^п+ £ о(П) = со ’
пЄ2в, пЄ2в, ^ ^ '
(пл ,...,пі3_і)=(тл ,...,ті3_і) (ПЛ ,...,пі3_і)=(тл ,...,ті3_і)
т2і + ... + т2з_і = 0. (109)
Решением задачи Дирихле (105) — (107) является периодическая функция
Ьт
О(т)
/ Ь
“<х)=ЕО(т) е2"(т,х) +С’ (ПО)
тЄЙ8
Доказательство. На границе функция и(х) имеет вид
Рг(ь;ї-і)и(х) =
32пі(т^і ж^і +...+т. і ж,- і)
_ \^' р2п*(тл Хл +-+т^3_1 Хв_1) \^' Ьш_I Сп
^ 6 ^ 0(т)+С0.
(т^1 ,...,т^в_1 )е£вСЬ,в_1) ( n)eiгs, )
(пЛ ,...,п^в_1)=(т^1 ,...,т^3_1)
Аналогично для функции <^(х)
-Р>г (^ — 1) ^ (^^) _
_ £ е2п»(тл Хл +...+т^3_1 Хв_1) £ ^п.
(тл >...>т3_1 ( )
(пл ,...,п^з_1) = (тп ,...,т^8_ 1 )
Приравнивая коэффиценты рядов Фурье получим утверждение теоремы. □
8. Погрешность приближенного решения задачи Дирихле
Пусть задана целочисленная решетка Л и М*(Л) _ М^ (Л) — абсолютно минимальная гиперболическая полная система вычетов фундаментальной решетки Zs относительно целочисленной решетки Л. Согласно теореме 20 (см. стр. 76) решением дискретной задачи Дирихле (88) — (90) с решеткой Л является тригонометрический многочлен
“лм= е' от>е2'‘(т'х)+сл’ (ті
тем*(А) О( )
где
1
N
Ь(т) = -- Е /(у)в-2-(т'у),
СА =
уем (А)
6(п)
О(п)
пЄМ*(Л), пЄМ*(Л), ^ 4 7
п=(пі ,0,...,0) п=(пі ,0,...,0)
Естественно рассматривать тригонометрический многочлен “л(х) как приближение к решению “(х) задачи Дирихле (105) — (106). Следующая теорема отвечает на вопрос о точности этого приближения.
Теорема 23. Для произвольной целочисленной решетки Л для решения (110) задачи Дирихле (105) — (106) справедливо неравенство
и ( ) ( мі / 2Мх)11е?(з) ( 211п1 гдз(Л) ,
™“<х) — ил(х)Ис « «з(Л)а^і (,{8— 1)!(а— 1) +
+Е 1nmm!т<Лм Е т (Е с2'<(а)1-2 +Е с2'^г)). (112)
т=0 к=т \^=к+2 і=й+1
Доказательство. Действительно
_Ь
°(т)
“(х) = Е' е2пі(т,х) + С’
Ьт .2пг(т,х)
“А (х) = Е О^е2"(т'Х) +СА.
тем *(А)
Поэтому
тей8
Ь(т) О(т) '
“(х) — “а (х) = Е ^ е2ПІ(т'Х) + Е ТїА е2"(т'х) +С0 — СА.
О(т) ^(т)
тем *(А) 4 ' тей8\м *(А)
Оценим по отдельности сначала первую сумму, а затем остаточный ряд и последнюю разность.
Имеем для суммы:
Si =
£ £'
£
m€M *(Л) |bm+n
bm - b(m) e2ni(m,x)
Q(m)
£
|bn|
|Q(m)| ^ |Q(m(n, Л))|
meM *(A) пеЛ и пей3\М*(Л)
где m(n, Л) G M*(Л) и n — m(n, Л) G Л, то есть n = m(n,Л) (mod Л). Отсюда следует, что
Si< £
neZs\M *(Л)
(ni... ns)a ■ Q*(n) ■ |Q(m(n, Л))|
1
neZs\M *(Л)
так как ^*(п) • |ф(ш(п,Л))| ^ 1 по определению величины ^*(п) и неравенству д(ш(п,Л)) ^ ?(п).
Аналогично оценивается остаточный ряд:
S2
£
m g2ni(m,x)
meZs\M *(Л)
Q(m)
llf (x)IIe?(q)
^ V ______________ _
mezS\M*(Л) (m1...ms)a ■ |Q(m)| -Q(m)-1 1
« llf<x)»E?(«) £ (mj...mi)
meZs\M *(Л)
Теперь рассмотрим разность
co — сл = dn +
nGZs, nGZs,
n=(ni ,0,...,0) n=(ni ,0,...,0)
bn
Q(n)
£ d(n) + £'
nGM* (Л), n=(ni ,0,...,0)
nGM* (Л),
n=(ni ,0,...,0)
b(n)
Q(n)
/
£(dn-d(n))+ £ dn+ £'b^+ £ Oh
' nGZs\M * (Л), nGM *(Л), ' nGZs\M * (Л)Л
n=(ni ,0,...,0) n=(ni ,0,...,0) n=(ni ,0,...,0)
nGM *(Л), n=(ni ,0,...,0)
a
a
Очевидно, что оценки данных сумм аналогичны соответствующим оценкам сумм 51 и 52. Отличие состоит лишь в том, что суммирование происходит по одной переменной.
Из теоремы 6 (см. стр. 61) при £ _ д3(Л) следует оценка '■<"> - •■»»■
+е е
т=0 к=т \7=А:+2 ,=к+1
что и доказывает утверждение теоремы. □
9. Заключение
В работе [9] Н. М. Коробов рассмотрел решение задачи Дирихле с нулевым граничным условием для уравнения Пуассона с правой частью из класса Е^:
32и 32и
+ ... + 7И2 _/(х),
5x1 "" Зх2
и(х),/(х) еЕ?
/ (Х1, . . . , х,, . . . ,х*) _ -/(Х1, ... ,х,,... ,х*) а _ 1,..., з), и(х) _ 0 при х1(1 — х1) • ... • х*(1 — х*) _ 0.
В данной работе метод Н. М. Коробова был обобщён на случай использования обобщённых параллелепипедальных сеток М(Л) целочисленных решеток Л. При этом рассмотрена более общая задача с дифференциальным оператором
5 д \ ^ д1 3*
а,
3х1 ’ ’ Зх*) ^-0 ^~0 Зх!1 Зх*
,1=0 ,3=0 1 *
и ненулевыми граничными условиями. Условие нечётности функции / (х) также не требуется.
Особое внимание уделено классу невырожденных дифференциальных операторов, состоящему из операторов Q ,... , дхг) с нулевым ядром. Важность этого класса операторов объясняется тем, что с точностью до константы решение дифференциального уравнения с частными производными для этих операторов определяется однозначно. Для этого класса дифференциальных операторов получено приближённое решение задачи Дирхле с помощью обобщенной параллелепипедальной сетки М(Л) целочисленной решетки Л для некоторого класса периодических функций и показано, что при использовании бесконечной последовательности вложенных обобщенных параллелепипедальных сеток будет иметь место достаточно быстрая сходимость приближённого решения к функции и(х).
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Rodionov A. V. Number theoretic metods for solving partial differential equations // Proceedings XII Iinternatioonal Conference Algebra and Number Theory: Modern Problems and Application, dedicated to 80-th anniversary of Professor V. N. Latyshev, 2014, Tula, pp. 159 — 161.
2. Добровольская Л. П., Добровольский Н. М., Симонов А. С. О погрешности приближенного интегрирования по модифицированным сеткам / / Чебы-шевский сборник, 2008. Т. 9, вып. 1(25). С. 185 — 223.
3. Добровольский М. Н. Об оптимальных коэффициентах комбинированных сеток // Чебышевский сборник, 2004. Т. 5, вып. 1(9). С. 95 — 121.
4. Добровольский М. Н. Оценки сумм по гиперболическому кресту // Изв. ТулГУ. Сер. Математика. Механика. Информатика. 2003. Т. 9, вып. 1. С. 82 — 90.
5. Добровольский Н. М. Гиперболическая дзета функция решёток. Деп. в ВИНИТИ 24.08.84, №6090-84.
6. Добровольский Н. М., Манохин Е. В. Банаховы пространства периодических функций // Изв. ТулГУ. Сер. Механика. Математика. Информатика. 1998. Т. 4, вып. 3. C. 56-67.
7. Добровольский М. Н., Добровольский Н. М., Киселева О. В. О произведении обобщенных параллелепипедальных сеток целочисленных решёток // Чебышевский сборник. 2002. Т. 3, вып. 2(4). С. 43 - 59.
8. Добровольский Н. М., Есаян А. Р., Андреева О. В., Зайцева Н. В. Многомерная теоретико-числовая Фурье интерполяция // Чебышевский сборник. 2004. Т. 5, вып. 1(9). С. 122 — 143.
9. Коробов Н. М. Теоретико-числовые методы в приближенном анализе. М.: Физматгиз, 1963.
10. Коробов Н. М. Теоретико-числовые методы в приближенном анализе. (2-е изд.) М.: МЦНМО, 2004.
11. Родионов А. В., Чуприн С. Ю. О гиперболических параметрах решётки линейного сравнения // Известия ТулГУ. Естественные науки. 2014. Вып. 1.
Ч. 1. С. 50 — 63.
12. Родионов А. В. О методе В. С. Рябенького — Н. М. Коробова приближенного решения уравнений с частными производными // Чебышевский сборник. 2009. Т. 10, вып. 3(31). С. 110 — 136.
13. Родионов А. В. Решение дифференциальных уравнений в частных производных методом В. С. Рябенького // Известия саратовского университета, 2013. Вып. 4, ч. 2 С. 120 — 124.
14. Родионов А. В. Теоретико-числовые методы решения дифференциальных уравнений в частных производных // Алгебра и теория чисел: современны-епроблемы и приложения: Материалы XII Междунар. конф., посвященной 80-летию проф. Виктора Николаевича Латышева, Тула 2014. С. 297 — 300.
15. Рябенький В. С. Об одном способе получения разностных схем и об использовании теоретикочисловых сеток для решения задачи Коши методом конечных разностей // Тр. мат. ин-та им. В. А. Стеклова. 1961. Т. 60. С. 232 — 237.
Тульский государственный педагогический университет им. Л. Н. Толстого
Поступило 6.06.2014
