Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН
ПРЕПРИНТ 06/2026
Е. А. Жижина, А. Л. Пятницкий,
В. А. Слоущ, Т. А. Суслина
ОПЕРАТОРНЫЕ ОЦЕНКИ ПРИ УСРЕДНЕНИИ
ПАРАБОЛИЧЕСКОГО УРАВНЕНИЯ СВЁРТОЧНОГО ТИПА
С ПЕРИОДИЧЕСКИМИ КОЭФФИЦИЕНТАМИ
Высшая школа современной математики МФТИ,
Климентовский пер., д.1, стр.1,
Москва, 115184, Россия
elena.jijina@gmail.com
Высшая школа современной математики МФТИ,
Климентовский пер., д.1, стр.1,
Москва, 115184, Россия
Арктический университет Норвегии, кампус Нарвик,
Лодве Лангес гате 2,
Нарвик 8517, Норвегия
apiatnitski@gmail.com
Санкт-Петербургский государственный университет,
\centerline{Университетская наб., д. 7/9,
\centerline{Санкт-Петербург, 199034, Россия
v.slouzh@spbu.ru
t.suslina@spbu.ru
This preprint was accepted May 4, 2026
АННОТАЦИЯ:
Пусть $u_\varepsilon(\mathbf{x},t)$, $\mathbf{x} \in {\mathbb R}^d$,
$t \in [0,\infty)$, $\varepsilon >0$, --- решение задачи Коши для
параболического уравнения с нелокальным оператором свёрточного типа:
\begin{equation*}
\frac{\partial u_\varepsilon(\mathbf{x},t)}{\partial t} =
\varepsilon^{-d-2}\int_{\mathbb{R}^{d}} a( (\mathbf{x} - \mathbf{y})/\varepsilon)
\mu(\mathbf{x}/\varepsilon, \mathbf{y}/\varepsilon, t/\varepsilon^2)(u_\varepsilon(\mathbf{y},t)-
u_\varepsilon(\mathbf{x},t))\,d\mathbf{y},
\quad
u_\varepsilon(\mathbf{x},0) = \varphi(\mathbf{x}).
\end{equation*}
Здесь $\varphi \in L_{2}(\mathbb{R}^{d})$.
Предполагается, что $a(\x) = a(-\x) \ge 0$, причем
$0< \int_{\R^d} (1+ |\x|^3) a(\x)\,d\x < \infty$, а функция
$\mu \in L_\infty(\R^{2d}\times \R_+)$
симметрична: $\mu(\x,\y,t)= \mu(\y,\x,t)$, положительно определена и периодична по всем переменным.
Мы показываем, что при фиксированном $t>0$ и $\eps \to 0$ решение $u_\eps(\cdot,t)$ сходится
в $L_2(\R^d)$ к решению $u_0(\cdot,t)$ усредненной задачи
\begin{equation*}
\frac{\partial u_0(\mathbf{x},t)}{\partial t} =
\operatorname{div} g^0 \nabla u_0(\mathbf{x},t),
\quad
u_0(\mathbf{x},0) = \varphi(\mathbf{x}).
\end{equation*}
Здесь $g^0$ --- положительная эффективная матрица.
Получена оценка погрешности
$$
\bigl\| u_\varepsilon(\cdot, t) - u_0(\cdot,t) \bigr\|_{L_2(\mathbb{R}^d)}
\leqslant \frac{C \varepsilon}{(t+ \varepsilon^2)^{1/2}} \| \varphi\|_{L_2(\mathbb{R}^d)},
\quad t \ge 0,\ \eps >0.
$$
Ключевые слова:
нелокальные операторы свёрточного типа,
периодическое усреднение, неавтономное параболическое уравнение,
операторные оценки погрешности, эффективный оператор.
E. A. Zhizhina, A. L. Piatnitski, V. A. Sloushch, T. A. Suslina
Operator estimates for homogenization of a parabolic convolution-type equation
with periodic coefficients
ABSTRACT:
Let $u_\varepsilon(\mathbf{x},t)$, $\mathbf{x} \in {\mathbb R}^d$,
$t \in [0,\infty)$, $\varepsilon >0$, be a solution of the Cauchy problem
for a parabolic equation with nonlocal convolution-type operator:
\begin{equation*}
\begin{aligned}
\frac{\partial u_\varepsilon(\mathbf{x},t)}{\partial t} &=
\varepsilon^{-d-2}\int_{\mathbb{R}^{d}} a( (\mathbf{x} - \mathbf{y})/\varepsilon)
\mu(\mathbf{x}/\varepsilon, \mathbf{y}/\varepsilon, t/\varepsilon^2)(u_\varepsilon(\mathbf{y},t)-
u_\varepsilon(\mathbf{x},t))\,d\mathbf{y},
\\
u_\varepsilon(\mathbf{x},0) &= \varphi(\mathbf{x}).
\end{aligned}
\end{equation*}
Here $\varphi \in L_{2}(\mathbb{R}^{d})$.
It is assumed that $a(\mathbf{x}) = a(- \mathbf{x}) \geqslant 0$ and
$$
0< \int_{\mathbb{R}^d} (1+ | \mathbf{x}|^3) a(\mathbf{x})\,d\mathbf{x} < \infty.
$$
We also assume that a function
$\mu \in L_\infty(\mathbb{R}^{2d}\times \mathbb{R}_+)$
is symmetric: $\mu(\mathbf{x},\mathbf{y},t)= \mu(\mathbf{y},\mathbf{x},t)$, positive definite and periodic in all variables.
It is shown that for a fixed $t>0$ and $\varepsilon \to 0$ the solution $u_\varepsilon(\cdot,t)$ converges in $L_2(\mathbb{R}^d)$ to the solution $u_0(\cdot,t)$ of the homogenized problem
\begin{equation*}
\frac{\partial u_0(\mathbf{x},t)}{\partial t} =
\operatorname{div} g^0 \nabla u_0(\mathbf{x},t),
\quad
u_0(\mathbf{x},0) = \varphi(\mathbf{x}).
\end{equation*}
Here $g^0$ is a positive effective matrix. We obtain the following estimate:
$$
\bigl\| u_\varepsilon(\cdot, t) - u_0(\cdot,t) \bigr\|_{L_2(\mathbb{R}^d)} \leqslant \frac{C \varepsilon}{(t+ \varepsilon^2)^{1/2}} \| \varphi\|_{L_2(\mathbb{R}^d)},
\quad t \geqslant 0,\ \varepsilon >0.
$$
Key words:
nonlocal convolution-type operators,
periodic homogenization, non-autonomous parabolic equation,
operator error estimates, effective operator.
[Full text:
Preprint in Russian (.pdf.gz)]
Back to all preprints
Back to the Steklov
Institute of Mathematics at St.Petersburg