Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН
ПРЕПРИНТ 04/2020
М. А. ДОРОДНЫЙ, Т. А. СУСЛИНА
УСРЕДНЕНИЕ НЕСТАЦИОНАРНОЙ
ПЕРИОДИЧЕСКОЙ СИСТЕМЫ МАКСВЕЛЛА
В СЛУЧАЕ ПОСТОЯННОЙ
МАГНИТНОЙ ПРОНИЦАЕМОСТИ
С.-Петербургский международный
математический институт им. Леонарда Эйлера,
С.-Петербургский государственный университет,
14 линия В.О., д. 29Б,
С.-Петербург, 199178, Россия
mdorodni@yandex.ru
С.-Петербургский государственный университет,
Университетская наб., д. 7/9,
С.-Петербург, 199034, Россия
t.suslina@spbu.ru
This preprint was accepted August 3, 2020
АННОТАЦИЯ:
В $L_2({\mathbb R}^3;{\mathbb C}^3)$ рассматривается самосопряженный оператор ${\mathcal L}_\varepsilon$,
\hbox{$\varepsilon >0$}, порожденный дифференциальным выражением
$\mu_0^{-1/2}\operatorname{rot} \eta(\mathbf{x}/\varepsilon)^{-1} \operatorname{rot} \mu_0^{-1/2}
- \mu_0^{1/2}\nabla \nu(\mathbf{x}/\varepsilon) \operatorname{div} \mu_0^{1/2}$, где
$\mu_0$ --- положительная матрица,
матрица-функция $\eta(\mathbf{x})$ и вещественная функция $\nu(\mathbf{x})$ периодичны
относительно некоторой решетки, положительно определены и ограничены.
Изучается поведение оператор-функций $\cos (\tau {\mathcal L}_\varepsilon^{1/2})$ и
${\mathcal L}_\varepsilon^{-1/2} \sin (\tau {\mathcal L}_\varepsilon^{1/2})$
при $\tau \in \R$ и малом $\varepsilon$. Показано, что эти операторы сходятся к
соответствующим оператор-функциям от оператора ${\mathcal L}^0$ по норме операторов, действующих из
пространства Соболева $H^s$ (с подходящим $s$) в $L_2$. Здесь ${\mathcal L}^0$
--- эффективный оператор с постоянными коэффициентами. Для оператора
${\mathcal L}_\varepsilon^{-1/2} \sin (\tau {\mathcal L}_\varepsilon^{1/2})$
получена аппроксимация при учете корректора по $(H^s \to H^1)$-норме.
Установлены оценки погрешности; исследован вопрос о точности результатов в отношении типа
операторной нормы и зависимости оценок от $\tau$. Результаты применяются к вопросу об усреднении
задачи Коши для нестационарной системы Максвелла в случае, когда магнитная проницаемость
равна $\mu_0$, а диэлектрическая проницаемость задается матрицей $\eta(\mathbf{x}/\varepsilon)$.