Russian Mathematical Surveys
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Uspekhi Mat. Nauk:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Russian Mathematical Surveys, 2022, Volume 77, Issue 3, Pages 546–548
DOI: https://doi.org/10.1070/RM10038
(Mi rm10038)
 

This article is cited in 3 scientific papers (total in 3 papers)

Brief Communications

Spectrum of a convolution operator with potential

D. I. Borisovabc, E. A. Zhizhinad, A. L. Piatnitskide

a Institute of Mathematics with Computing Centre – Subdivision of the Ufa Federal Research Centre of Russian Academy of Science
b Bashkir State University
c University of Hradec Králové, Czech Republic
d Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute)
e The Arctic University of Norway, Norway
Funding agency Grant number
Ministry of Science and Higher Education of the Russian Federation 075-15-2019-1620
075-15-2019-1619
This research was supported in the framework of the thematic program “Spectral Theory and Mathematical Physics” at the “Leonhard Euler International Mathematical Institute in Saint Petersburg” World-Class Mathematical Center (agreements no. 075-15-2019-1620 and 075-15-2019-1619 of 8 November, 2019).
Received: 02.11.2021
Russian version:
Uspekhi Matematicheskikh Nauk, 2022, Volume 77, Issue 3(465), Pages 173–174
DOI: https://doi.org/10.4213/rm10038
Bibliographic databases:
Document Type: Article
MSC: 47A10, 47G05
Language: English
Original paper language: Russian

Let $V=V(x)$ and $a=a(x)$ be functions on $\mathbb{R}^d$, where the function $a\in L_1(\mathbb{R}^d)$ is complex-valued and satisfies $a(-x)=\overline{a(x)}$, and $V$ is such that its Fourier transform $\widehat{V}$ obeys the same conditions as $a$. The Fourier image of $a$ is denoted by $\hat{a}$. Note that under these conditions the functions $V$ and $\hat{a}$ are real-valued, bounded, and continuous.

We study the spectrum of the bounded linear self-adjoint operator

$$ \begin{equation} (\mathcal{L} u)(x):=\int_{\mathbb{R}^d}a(x-y)u(y)\,dy+ V(x)u(x)\quad\text{in}\ L_2(\mathbb{R}^d). \end{equation} \tag{1} $$
Let $a_{\min}:=\inf_{\mathbb{R}^d} \hat{a}$, $a_{\max}:=\sup_{\mathbb{R}^d} \hat{a}$, $V_{\min}:=\inf_{\mathbb{R}^d}V$, $V_{\max}:=\sup_{\mathbb{R}^d} V$. By the conditions on $a$ and $V$ we have $a_{\min}\leqslant 0\leqslant a_{\max}$ and $V_{\min}\leqslant 0\leqslant V_{\max}$. Our fist result describes the essential spectrum and a possible location of the discrete spectrum of the operator $\mathcal{L}$.

Theorem 1. The essential spectrum of the operator $\mathcal{L}$ coincides with the segment $[\mu_0,\mu_1]$, where $\mu_0:=\min\{a_{\min},V_{\min}\}$ and $\mu_1:=\max\{a_{\max},V_{\max}\}$. The points of the discrete spectrum of $\mathcal{L}$ can lie only in the intervals $[a_{\min}+V_{\min},\mu_0)$ and $(\mu_1,a_{\max}+V_{\max}]$ and can accumulate only at $\mu_0$ and $\mu_1$.

The rest of our note describes the discrete spectrum of the operator $\mathcal{L}$. The results are given only for the interval $[a_{\min}+V_{\min},\mu_0)$, because the change of the operator $\mathcal{L}$ to $-\mathcal{L}$ swaps $[a_{\min}+V_{\min},\mu_0)$ and $(\mu_1,a_{\max}+V_{\max}]$, and so the results that follow can be directly extended to the second interval. We also assume that $\mu_0=V_{\min}$, for otherwise it suffices to apply the Fourier transform to the operator $\mathcal{L}$, which preserves its structure, but swaps functions $a$ and $V$. Let $Q_r(x)$ denote the cube in $\mathbb{R}^d$ with centre at $x$ and side length $2r$; for $x=0$ we write $Q_r=Q_r(0)$.

Theorem 2. Let $a_{\min}\geqslant V_{\min}$, let $x_0$ be a global minimum point of the function $V$, and let $\delta>0$ be such that $\displaystyle\int_{Q_\delta(x_0)}\bigl(V(x)-V_{\min}\bigr)\,dx+ \displaystyle\int_{Q_\delta\times Q_\delta}\operatorname{Re}a(x-y)\,dx\,dy<0$. Then the discrete spectrum of the operator $\mathcal{L}$ is located inside $[a_{\min}+V_{\min},\mu_0)$.

We set $V_-(x):=-\min\{V(x),0\}$ and $\hat{a}_-(\xi):=-\min\{\hat{a}(\xi),0\}$.

Theorem 3. Let $a_{\min}\geqslant V_{\min}$, let the functions $V_-$, $\hat{a}_-$ belong to $L_1(\mathbb{R}^d)$, and let the integrals $I_V:=\displaystyle\int_{\mathbb{R}^d}\dfrac{V_-(x)\,dx}{V_-(x)+V_{\min}}$, $I_a:=\dfrac{1}{(2\pi)^{d}}\displaystyle\int_{\mathbb{R}^d} \frac{\hat{a}_-(x)\,dx}{\hat{a}_-(x)+V_{\min}}$ be finite. Then the number of eigenvalues of the operator $\mathcal{L}$ to the left of the point $V_{\min}$ is bounded above by $I_a I_V$.

Theorem 4. Let $a_{\min}\geqslant V_{\min}$ and let $V(x)\equiv V_{\min}$ on some cube $Q_r(x_0)$. Assume that at least one of the following two conditions is satisfied: 1) $a_{\min}<0$ and $\hat{a}(\xi)\leqslant 0$ for all $\xi\in\mathbb{R}^d$; 2) there exists $\eta\leqslant r$ such that $\displaystyle\int_{Q_\eta} a(x)e^{(2\pi \mathrm{i}/\eta)m\cdot x}\,dx \leqslant 0$ for all and $a(x)\not\equiv 0$ in $Q_{\eta}$. Then the operator $\mathcal{L}$ has countably many discrete eigenvalues in the interval $[a_{\min}+V_{\min},\mu_0)$, which accumulate at $\mu_0$.

Consider now the operator $\mathcal{L}$ in (1) with small integral term:

$$ \begin{equation} (\mathcal{L}_\varepsilon u)(x):= \varepsilon\int_{\mathbb{R}^d}a(x-y)u(y)\,dy+ V(x)u(x)\quad \text{in}\ L_2(\mathbb{R}^d), \end{equation} \tag{2} $$
where $\varepsilon>0$ is a small parameter, the functions $a$ and $V$ satisfy the assumptions of Theorem 1, and $\varepsilon a_{\min}>V_{\min}$ for all sufficiently small $\varepsilon$. The following result holds.

Theorem 5. Let $d=1$, let $x_0$ be a global minimum point for $V$, and let $V\in C^5(x_0-\eta, x_0+\eta)$ for some $\eta>0$, $a\in W_\infty^5(\mathbb{R})$ and $V''(x_0)>0$. Also let $a(0)<0$. Then, for sufficiently small $\varepsilon$, the operator $\mathcal{L}_\varepsilon$ has precisely one isolated eigenvalue to the left of the point $V_{\min}$. Moreover, this eigenvalue is simple and behaves asymptotically as

$$ \begin{equation} V_{\min}-\lambda_\varepsilon=\varepsilon^2\pi^2 a^2(0)(V''(x_0))^{-2} +o(\varepsilon^3). \end{equation} \tag{3} $$

Let us briefly discuss the main results. Theorem 1 describes the location of the essential spectrum of the operator $\mathcal{L}$ and a possible location of the discrete spectrum. Theorem 2 provides sufficient conditions for the existence of a discrete spectrum in terms of the behaviour of the functions $V$ and $a$ near the points $x_0$ and $0$, respectively. Theorem 3 is an analogue of the classical Birman–Schwinger theorem in the case of non-local operators, which gives a good upper bound for the number of points of the discrete spectrum for $d \geqslant 3$. (For $d=1,2$, this upper bound is finite under additional constraints on the behaviour of $V$ near $x_0$. Note that these constraints are not satisfied under the conditions of Theorem 5.) It is worth pointing out that, under the hypotheses of Theorem 3, the relation $I_a I_V=+\infty$ does not necessarily mean that there exist infinitely many discrete eigenvalues. Theorem 4 describes sufficient conditions for the existence of a countable number of eigenvalues under the assumption that $V$ attains its global minimum on a set of positive measure. Theorem 5 asserts that, in the case when $d=1$ and the convolution kernel of $a$ is small, there appears precisely one eigenvalue with asymptotics (3). We have also been able to find a lower estimate for the number of eigenvalues, but this result is quite bulky. We only note that it is formulated in terms of the Taylor coefficients of the convolution kernel at $0$ and the behaviour of $V$ near $x_0$.

Operators of type $\mathcal{L}$ appear in models of population dynamics based on birth- and- death processes. In particular, such operators control the evolution of the first correlation function in an inhomogeneous contact model in $\mathbb{R}^d$ which describes the spread of epidemics in a population. The first correlation function is the averaged density of configurations in the contact model, and hence the appearance of the discrete spectrum for the evolution operator indicates a qualitative change in the large time behavior of the model, when, with the presence of a positive discrete spectrum, the average density of the configuration points in bounded domains grows exponentially. Such operators also play an important role in the description of some types of porous medium.


Citation: D. I. Borisov, E. A. Zhizhina, A. L. Piatnitski, “Spectrum of a convolution operator with potential”, Uspekhi Mat. Nauk, 77:3(465) (2022), 173–174; Russian Math. Surveys, 77:3 (2022), 546–548
Citation in format AMSBIB
\Bibitem{BorZhiPia22}
\by D.~I.~Borisov, E.~A.~Zhizhina, A.~L.~Piatnitski
\paper Spectrum of a convolution operator with potential
\jour Uspekhi Mat. Nauk
\yr 2022
\vol 77
\issue 3(465)
\pages 173--174
\mathnet{http://mi.mathnet.ru/rm10038}
\crossref{https://doi.org/10.4213/rm10038}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4461379}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2022RuMaS..77..546B}
\transl
\jour Russian Math. Surveys
\yr 2022
\vol 77
\issue 3
\pages 546--548
\crossref{https://doi.org/10.1070/RM10038}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000992284200005}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85167408217}
Linking options:
  • https://www.mathnet.ru/eng/rm10038
  • https://doi.org/10.1070/RM10038
  • https://www.mathnet.ru/eng/rm/v77/i3/p173
  • This publication is cited in the following 3 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Успехи математических наук Russian Mathematical Surveys
    Statistics & downloads:
    Abstract page:334
    Russian version PDF:83
    English version PDF:42
    Russian version HTML:134
    English version HTML:103
    First page:35
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024