где
р _ некоторая последовательность трехмерных векторов, то
и(х,
О)
= 2 (I +
/"
(OP)
1
)"
1
[c/?J (1 —сг
(/1
р
|))-i +
э
+ F|,(Q)]exp(ipx), (5.7.10)
где П = 5[^(Й')(1+/
2
ФЙТГ
Х
]-
В работах [121, 130] аналогичные формулы получены для много-
групповых задач в ^-мерных пространствах.
§ 5.8. 2яГ-ПЕРИОДИЧЕСКИЕ РЕШЕНИЯ
Получим формулы для решения в ячейках различной формы
[121].
Такие решения формально можно Описать следующим образом. Пусть
Т
—
трехмерная матрица и det Т Ф 0. Обозначим п = (п
ъ
п
ъ
п
3
) —
вектор с целочисленными компонентами; пусть х = 2дГу, где х,
у £ R
3
. В R
3
отождествим все точки, отличающиеся друг от друга на
векторы вида 2яГп. Полученное многообразие всех эквивалентных
то-
чек представляет собой трехмерный тор Г
3
, который называется фун-
даментальной областью для 2яГ-периодических функций. Так назы-
ваются функции ф (х), для которых при любом х и любом целочислен-
ном п справедливо равенство ф (х)= ф (х + 2пТп). При помощи раз-
резов тор Т
3
может быть превращен в односвязную область, и притом
разными способами, например, в куб— 1/2 ^ y
t
^ 1/2, i = 1, 2, 3.
Нахождению 2яГ-периодических решений для полигармонических
уравнений посвящены исследования С. Л. Соболева
[220].
Найдем на Т
3
решение уравнения
—
[/«Vl
2
и + и = cSu + F (х, Q), (5.8.1)
в котором для простоты считаем / и с <
1
постоянными. Эта задача
является идеализированной для ячеек реактора, форма которых
определяется матрицей Т (например , плоских, кубических, шести-
гранных). Для нахождения решения 2я7'-периодической задачи ис-
пользуем метод, изложенный в работе
[121].
Условимся в формулах
суммирования по п не ставить индекс суммирования. Пусть Т* обоз-
начает сопряженную к Т матрицу. Предположим, что функция F (х, Q)
разлагается в ряд Фурье:
F(x,Q) = 2F
n
(Q)exp(i$
n
x), (5.8.2)
где р
п
= (Г""
1
)* п; пусть
^n^lPnl/^^r^J^^^arctg^; О
п
(Й) = (1+(Р
п
Й)
2
/
2
)"
1
. (5.8.3)
Решение задачи (5.8.1) имеет вид
a = 2g
n
(Q)exp(ip
n
x). (5.8.4)
Подставляя (5.8.4), (5.8.2) в (5.8.1) и приравнивая коэффициенты
при функциях exp (iP
n
x), получаем для определения g
n
(£i) уравнения
(1 + (№)
2
l
2
)gn(®) =
cSg
n
+
F
n
(Q).
(5.8.5)
92