-
Homogenization of non-symmetric convolution type operators
Authors:
Andrey Piatnitski,
Vladimir Sloushch,
Tatiana Suslina,
Elena Zhizhina
Abstract:
The paper studies homogenization problem for a bounded in $L_2(\mathbb R^d)$ convolution type operator ${\mathbb A}_\eps$, $\eps >0$, of the form $$ ({\mathbb A}_\eps u) (\x) = \eps^{-d-2} \int_{\R^d} a((\x-\y)/\eps) μ(\x/\eps, \y/\eps) \left( u(\x) - u(\y) \right)\,d\y. $$ It is assumed that $a(\x)$ is a non-negative function from $L_1(\R^d)$, and $μ(\x,\y)$ is a periodic in $\x$ and $\y$ functio…
▽ More
The paper studies homogenization problem for a bounded in $L_2(\mathbb R^d)$ convolution type operator ${\mathbb A}_\eps$, $\eps >0$, of the form $$ ({\mathbb A}_\eps u) (\x) = \eps^{-d-2} \int_{\R^d} a((\x-\y)/\eps) μ(\x/\eps, \y/\eps) \left( u(\x) - u(\y) \right)\,d\y. $$ It is assumed that $a(\x)$ is a non-negative function from $L_1(\R^d)$, and $μ(\x,\y)$ is a periodic in $\x$ and $\y$ function such that $0< μ_- \leqslant μ(\x,\y) \leqslant μ_+< \infty$. No symmetry assumption on $a(\cdot)$ and $μ(\cdot)$ is imposed, so the operator ${\mathbb A}_\eps$ need not be self-adjoint. Under the assumption that the moments $M_k = \int_{\R^d} |\x|^k a(\x)\,d\x$, $k=1,2,3$, are finite we obtain, for small $\eps>0$, sharp in order approximation of the resolvent $({\mathbb A}_\eps + I)^{-1}$ in the operator norm in $L_2(\mathbb R^d)$, the discrepancy being of order $O(\eps)$. The approximation is given by an operator of the form $({\mathbb A}^0 + \eps^{-1} \langle \boldsymbolα,\nabla \rangle + I)^{-1}$ multiplied on the right by a periodic function $q_0(\x/\eps)$; here ${\mathbb A}^0 = - \operatorname{div}g^0 \nabla$ is the effective operator, and $\boldsymbolα$ is a constant vector.
△ Less
Submitted 8 June, 2025;
originally announced June 2025.
-
Operator estimates in homogenization of Lévy-type operators with periodic coefficients
Authors:
Andrey Piatnitski,
Vladimir Sloushch,
Tatiana Suslina,
Elena Zhizhina
Abstract:
The paper deals with homogenization of self-adjoint operators in $L_2(\mathbb R^d)$ of the form $$ ({\mathbb A}_\eps u) (\x) = \int_{\R^d} μ(\x/\eps, \y/\eps) \frac{\left( u(\x) - u(\y) \right)}{|\x - \y|^{d+α}}\,d\y, $$ where $0< α< 2$, and $\eps>0$ is a small parameter. It is assumed that the function $μ(\x,\y)$ is $\Z^d$-periodic in each variable, $μ(\x,\y)=μ(\y,\x)$ for all $\x$ and $\y$, and…
▽ More
The paper deals with homogenization of self-adjoint operators in $L_2(\mathbb R^d)$ of the form $$ ({\mathbb A}_\eps u) (\x) = \int_{\R^d} μ(\x/\eps, \y/\eps) \frac{\left( u(\x) - u(\y) \right)}{|\x - \y|^{d+α}}\,d\y, $$ where $0< α< 2$, and $\eps>0$ is a small parameter. It is assumed that the function $μ(\x,\y)$ is $\Z^d$-periodic in each variable, $μ(\x,\y)=μ(\y,\x)$ for all $\x$ and $\y$, and $0< μ_- \leqslant μ(\x,\y) \leqslant μ_+< \infty$. Under these assumptions we show that the resolvent $({\mathbb A}_\eps + I)^{-1}$ converges, as $\eps\to0$, in the operator norm in $L_2(\R^d)$ to the resolvent $({\mathbb A}^0 + I)^{-1}$ of the limit operator ${\mathbb A}^0$ given by $$ ({\mathbb A}^0 u) (\x) = \int_{\R^d} μ^0 \frac{\left( u(\x) - u(\y) \right)}{|\x - \y|^{d+α}}\,d\y, $$ where $μ^0$ is the mean value of $μ(\x,\y)$. We also show that the operator norm of the discrepancy $\|({\mathbb A}_\eps + I)^{-1} - (\A^0 + I)^{-1}\|_{L_2(\mathbb R^d)\to L_2(\mathbb R^d)}$ can be estimated by $O(\eps^α)$, if $0< α< 1$, by $O(\eps (1 + | \operatorname{ln} \eps|)^2)$, if $ α=1$, and by $O(\eps^{2- α})$, if $1< α< 2$.
△ Less
Submitted 29 December, 2024;
originally announced December 2024.
-
Homogenization of nonlocal convolution type operators: Approximation for the resolvent with corrector
Authors:
Andrei Piatnitski,
Vladimir Sloushch,
Tatiana Suslina,
Elena Zhizhina
Abstract:
In $L_2(\mathbb{R}^d)$, we consider a selfadjoint bounded operator ${\mathbb A}_\varepsilon$, $\varepsilon >0$, of the form $$ ({\mathbb A}_\varepsilon u) (\mathbf{x}) = \varepsilon^{-d-2} \int_{\mathbb{R}^d} a((\mathbf{x} - \mathbf{y} )/ \varepsilon ) μ(\mathbf{x} /\varepsilon, \mathbf{y} /\varepsilon) \left( u(\mathbf{x}) - u(\mathbf{y}) \right)\, d\mathbf{y}. $$ It is assumed that…
▽ More
In $L_2(\mathbb{R}^d)$, we consider a selfadjoint bounded operator ${\mathbb A}_\varepsilon$, $\varepsilon >0$, of the form $$ ({\mathbb A}_\varepsilon u) (\mathbf{x}) = \varepsilon^{-d-2} \int_{\mathbb{R}^d} a((\mathbf{x} - \mathbf{y} )/ \varepsilon ) μ(\mathbf{x} /\varepsilon, \mathbf{y} /\varepsilon) \left( u(\mathbf{x}) - u(\mathbf{y}) \right)\, d\mathbf{y}. $$ It is assumed that $a(\mathbf{x})$ is a nonnegative function of class $L_1(\mathbb{R}^d)$ such that \hbox{$a(-\mathbf{x}) = a(\mathbf{x})$} and $μ(\mathbf{x},\mathbf{y})$ is $\mathbb{Z}^d$-periodic in each variable and such that $μ(\mathbf{x},\mathbf{y}) = μ(\mathbf{y},\mathbf{x})$ and $0< μ_- \leqslant μ(\mathbf{x},\mathbf{y}) \leqslant μ_+< \infty$. Moreover, it is assumed that the moments $M_k (a)= \int_{\mathbb{R}^d} | \mathbf{x} |^k a(\mathbf{x})\,d\mathbf{x}$, $k=1,2,3,4,$ are finite. We obtain approximation of the resolvent $({\mathbb A}_\varepsilon + I)^{-1}$ for small $\varepsilon$ in the operator norm on $L_2(\mathbb{R}^d)$ with error of order $O(\varepsilon^2)$.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
On operator estimates in homogenization of non-local operators of convolution type
Authors:
A. Piatnitski,
V. Sloushch,
T. Suslina,
E. Zhizhina
Abstract:
The paper studies a bounded symmetric operator ${\mathbf{A}}_\varepsilon$ in $L_2(\mathbf{R}^d)$ with $$ ({\mathbf{A}}_\varepsilon u) (x) = \varepsilon^{-d-2} \int_{\mathbf{R}^d} a((x-y)/\varepsilon) μ(x/\varepsilon, y/\varepsilon) \left( u(x) - u(y) \right)\,dy; $$ here $\varepsilon$ is a small positive parameter. It is assumed that $a(x)$ is a non-negative $L_1(\mathbf{R}^d)$ function such that…
▽ More
The paper studies a bounded symmetric operator ${\mathbf{A}}_\varepsilon$ in $L_2(\mathbf{R}^d)$ with $$ ({\mathbf{A}}_\varepsilon u) (x) = \varepsilon^{-d-2} \int_{\mathbf{R}^d} a((x-y)/\varepsilon) μ(x/\varepsilon, y/\varepsilon) \left( u(x) - u(y) \right)\,dy; $$ here $\varepsilon$ is a small positive parameter. It is assumed that $a(x)$ is a non-negative $L_1(\mathbf{R}^d)$ function such that $a(-x)=a(x)$ and the moments $M_k =\int_{\mathbf{R}^d} |x|^k a(x)\,dx$, $k=1,2,3$, are finite. It is also assumed that $μ(x,y)$ is $\mathbf{Z}^d$-periodic both in $x$ and $y$ function such that $μ(x,y) = μ(y,x)$ and $0< μ_- \leq μ(x,y) \leq μ_+< \infty$. Our goal is to study the limit behaviour of the resolvent $({\mathbf{A}}_\varepsilon + I)^{-1}$, as $\varepsilon\to0$. We show that, as $\varepsilon \to 0$, the operator $({\mathbf{A}}_\varepsilon + I)^{-1}$ converges in the operator norm in $L_2(\mathbf{R}^d)$ to the resolvent $({\mathbf{A}}^0 + I)^{-1}$ of the effective operator ${\mathbf{A}}^0$ being a second order elliptic differential operator with constant coefficients of the form ${\mathbf{A}}^0= - \operatorname{div} g^0 \nabla$. We then obtain sharp in order estimates of the rate of convergence.
△ Less
Submitted 28 April, 2022;
originally announced April 2022.
-
Asymptotics and estimates of the discrete spectrum of the Schrodinger operator on a discrete periodic graph
Authors:
Evgeny Korotyaev,
Vladimir Sloushch
Abstract:
The periodic Schrodinger operator $ H $ on a discrete periodic graph is considered. We estimate the discrete spectrum of the perturbed operator $ H _ {-} (t) = H-tV $, $ t> 0 $, where the potential $ V \ ge 0 $ is decreasing and $t>0$ is the coupling constant. If the potential has a power asymptotics at infinity, then we obtain asymptotics of the discrete spectrum of operator $ H_ {-} (t) $ with a…
▽ More
The periodic Schrodinger operator $ H $ on a discrete periodic graph is considered. We estimate the discrete spectrum of the perturbed operator $ H _ {-} (t) = H-tV $, $ t> 0 $, where the potential $ V \ ge 0 $ is decreasing and $t>0$ is the coupling constant. If the potential has a power asymptotics at infinity, then we obtain asymptotics of the discrete spectrum of operator $ H_ {-} (t) $ with a large coupling constant.
△ Less
Submitted 28 March, 2019;
originally announced March 2019.
