-
Asymptotics of the spectra of the Dirichlet and Dirichlet-Neumann problems for the Sturm-Liouville equation with integral perturbation
Authors:
A. A. Shkalikov,
V. N. Sivkin
Abstract:
The article studies the Dirichlet and Dirichlet-Neumann problems for the Sturm-Liouville equation perturbed by an integral operator with a convolution kernel. Sharp asymptotic formulas for the eigenvalues of these problems are found. The formulas contain information about the Fourier coefficients of the potential and the kernel, and estimates are obtained for the remainder terms of the asymptotics…
▽ More
The article studies the Dirichlet and Dirichlet-Neumann problems for the Sturm-Liouville equation perturbed by an integral operator with a convolution kernel. Sharp asymptotic formulas for the eigenvalues of these problems are found. The formulas contain information about the Fourier coefficients of the potential and the kernel, and estimates are obtained for the remainder terms of the asymptotics, which take into account both the rate of decrease as the eigenvvalues tend to infinity and the rate of decrease as the norms of the potential and kernel tend to zero. The formulas are also new in the case of the Sturm-Liouville operator, when the convolution kernel is zero.
△ Less
Submitted 25 June, 2025;
originally announced June 2025.
-
Spectral asymptotics for solutions of $2\times 2$ system of ordinary differential equations of the first order
Authors:
A. P. Kosarev,
A. A. Shkalikov
Abstract:
The aim of the paper is to find representation for solutions of $2\times 2$ system of ordinary differential equations $$ \mathbf{y^\prime} - B(x)\mathbf{y} = λA(x)\mathbf{y}, \quad \ x \in [0, 1], $$ where $A(x) = diag\{a_1(x), a_2(x)\}$, $B(x) = (b_{ij}(x))$, $a_1(x) > 0, \ a_2(x) < 0$ and all the functions $a_{i}, b_{ij}$ belong to the Sobolev spaces $W^n_1[0,1]$ for given integer…
▽ More
The aim of the paper is to find representation for solutions of $2\times 2$ system of ordinary differential equations $$ \mathbf{y^\prime} - B(x)\mathbf{y} = λA(x)\mathbf{y}, \quad \ x \in [0, 1], $$ where $A(x) = diag\{a_1(x), a_2(x)\}$, $B(x) = (b_{ij}(x))$, $a_1(x) > 0, \ a_2(x) < 0$ and all the functions $a_{i}, b_{ij}$ belong to the Sobolev spaces $W^n_1[0,1]$ for given integer $n\geqslant 0$. We prove that there exists a fundamental matrix of solutions for the above system, which have representation $$ Y(x, λ) = M(x)\left(I + \frac{R^1(x)}λ + \dots + \frac{R^n(x)}{λ^n} + o(1)λ^{-n}\right)E(x, λ), $$ where $o(1) \to 0$ uniformly for $x\in [0,1]$ as the spectral parameter $λ\to \infty$ in the half plane $\Re\,λ>-κ$ or $\Re\,λ<κ$, where $κ$ is any fixed real number. The main novelty is that we give explicit formulae for all matrices $M,E$ and $R^m$ in this representation.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Multipliers in the scale of periodic Bessel potential spaces with smoothness indices of different signs
Authors:
Alexei A. Belyaev,
Andrei A. Shkalikov
Abstract:
We prove a general type description result for the multipliers acting between two periodic Bessel potential spaces, defined on the $n$--dimensional torus, in a case when their smoothness indices are of different signs. This is done through the detailed examination of a periodic analogue of the linear operator $J_s$, which is employed in the definition of the scale of the Bessel potential space def…
▽ More
We prove a general type description result for the multipliers acting between two periodic Bessel potential spaces, defined on the $n$--dimensional torus, in a case when their smoothness indices are of different signs. This is done through the detailed examination of a periodic analogue of the linear operator $J_s$, which is employed in the definition of the scale of the Bessel potential space defined on the whole space $\mathbb{R}^n$. Our method of defining this periodic analogue of $J_s$ uses the results about an asymptotic behaviour of the generalized Fourier coefficients and existence of a natural homeomorphism between the spaces $\mathcal{D}'(\mathbb{T}^n)$ and $S'_{2 \cdot π}(\mathbb{R}^n)$, where the latter consists of all $2 \cdot π$--periodic distributions from the dual Schwartz space $\mathcal{S}'(\mathbb{R}^n)$.
△ Less
Submitted 11 December, 2022;
originally announced December 2022.
-
The Complex Airy Operator as Explicitly Solvable PT-symmetrical Model
Authors:
A. A. Shkalikov,
S. N. Tumanov
Abstract:
We study the Sturm--Liouville operator $$
T(\varepsilon)y=-\frac{1}{\varepsilon}y''+ p(x)y, $$ with concrete $\mathcal{PT}$-- symmetric potential $p(x) = ix$ and Dirichlet boundary conditions on the segment $[-1,1]$. Here $\varepsilon \in (0, \infty)$ is a physical parameter. We explicitly describe a beautiful phenomenon of the eigenvalue behavior when $\varepsilon$ changes from $0$ to $\infty$.…
▽ More
We study the Sturm--Liouville operator $$
T(\varepsilon)y=-\frac{1}{\varepsilon}y''+ p(x)y, $$ with concrete $\mathcal{PT}$-- symmetric potential $p(x) = ix$ and Dirichlet boundary conditions on the segment $[-1,1]$. Here $\varepsilon \in (0, \infty)$ is a physical parameter. We explicitly describe a beautiful phenomenon of the eigenvalue behavior when $\varepsilon$ changes from $0$ to $\infty$. All the critical values of $\varepsilon$ which determine the eigenvalue dynamics, are found in terms of the special Airy functions.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
Operator Pencils and Half-range Problem in Operator Theory
Authors:
A. A. Shkalikov
Abstract:
This article can be considered as the first version of a book which the author plans to write about half-range problems in operator theory. It consists of two parts. The first part is based on lectures which the author delivered at University of Calgary and Lomonosov Moscow State University. The main attention in this part is paid to the selection of waves which are involved in the formulation of…
▽ More
This article can be considered as the first version of a book which the author plans to write about half-range problems in operator theory. It consists of two parts. The first part is based on lectures which the author delivered at University of Calgary and Lomonosov Moscow State University. The main attention in this part is paid to the selection of waves which are involved in the formulation of the Mandelstamm radiation principle (the eigen-pairs, corresponding to the real eigenvalues) and to the factorization problems of self-adjoint and dissipative, quadratic and polynomial operator pencils. There is a dramatic difference between finite dimensional and infinite dimensional cases. It is shown that in the finite dimensional case the factorization problems can be solved completely. In the second part we consider abstract models for concrete problems of mechanics. We demonstrate the methods how concrete problems can be represented in an abstract form. The main results concern the factorization of elliptic operator pencils satisfying the resolvent growth condition in a double sector containing the real axis and the investigation of the semi-group properties of a divisor. Using Pontrjagin space methods we obtain a criterium for the stability in the celebrated Sobolev problem about a rotating top with a cavity filled with a viscous liquid.
△ Less
Submitted 10 December, 2019;
originally announced December 2019.
-
Sharp embeddings of uniformly localized Bessel potential spaces into multiplier spaces
Authors:
Alexei A. Belyaev,
Andrei A. Shkalikov
Abstract:
For $p > 1, γ\in \mathbb{R}$, denote by $H^γ_p(\mathbb{R}^n)$ the Bessel potential space, by $H^γ_{p, unif}(\mathbb{R}^n)$ the corresponding uniformly localized Bessel potential space and by $M[s, -t]$ the space of multipliers from $H^s_2(\mathbb{R}^n)$ into $H^{-t}_2(\mathbb{R}^n)$. Assume that $s, t \geqslant 0, n/2 > \max(s, t) > 0, r: = \min(s, t), p_1: = n/max(s, t)$. Then the following embed…
▽ More
For $p > 1, γ\in \mathbb{R}$, denote by $H^γ_p(\mathbb{R}^n)$ the Bessel potential space, by $H^γ_{p, unif}(\mathbb{R}^n)$ the corresponding uniformly localized Bessel potential space and by $M[s, -t]$ the space of multipliers from $H^s_2(\mathbb{R}^n)$ into $H^{-t}_2(\mathbb{R}^n)$. Assume that $s, t \geqslant 0, n/2 > \max(s, t) > 0, r: = \min(s, t), p_1: = n/max(s, t)$. Then the following embeddings hold $$ H^{-r}_{p_1, unif}(\mathbb{R}^n) \subset M[s, -t] \subset H^{-r}_{2, unif}(\mathbb{R}^n). $$ The main result of the paper claims the sharpness of the left embedding in the following sense: it does not hold if the lower index $p_1$ is replaced by $p_1 -\varepsilon$ with any sufficiently small $\varepsilon > 0$.
△ Less
Submitted 8 December, 2019;
originally announced December 2019.
-
Stability in the inverse resonance problem for the Schr\" odinger operator
Authors:
V. L. Geynts,
A. A. Shkalikov
Abstract:
We work with the Schr\" odinger equation \begin{equation*} H_q y = -y'' + q(x)y = z^2y, \ x\in [0,\infty), \end{equation*} where $q\in L_1((0,\infty), xdx)$, and asssume that the corresponding operator $H_q$ is defined by the Dirihlet condition $y(0) = 0$ The function $ψ(z) = y(0,z)$ where $y(x,z)$ is the Jost solution of the above equation is analytic in the whole complex plane, provided that the…
▽ More
We work with the Schr\" odinger equation \begin{equation*} H_q y = -y'' + q(x)y = z^2y, \ x\in [0,\infty), \end{equation*} where $q\in L_1((0,\infty), xdx)$, and asssume that the corresponding operator $H_q$ is defined by the Dirihlet condition $y(0) = 0$ The function $ψ(z) = y(0,z)$ where $y(x,z)$ is the Jost solution of the above equation is analytic in the whole complex plane, provided that the support of the potential $q$ is finite. The zeros of $ψ$ are called the resonances. It is known that $q$ is uniquely determined by the sequence of resonances. Using only finitely many resonances lying in the disk $|z|\le r$ we can recover the potential $q$ with accuracy $\varepsilon(r)\to 0$ as $r \to \infty$. The main result of the paper is the estimate $\varepsilon(r) \le Cr^{-α}$ with some constants $C$ and $α>0$ which are defined by a priori information about the potential $q$.
△ Less
Submitted 8 December, 2019;
originally announced December 2019.
-
Odinary differential operators of odd order with distribution coefficients
Authors:
K. A. Mirzoev,
A. A. Shkalikov
Abstract:
We work with differential expressions of the form \begin{align} τ_{2n+1} y &=(-1)^ni \{(q_{0}y^{(n+1)})^{(n)}+(q_{0}y^{(n)})^{(n+1)}\}+ \sum\limits_{k=0}^{n}(-1)^{n+k}(p^{(k)}_ky^{(n-k)})^{(n-k)} \\ &\qquad+i\sum\limits_{k=1}^{n}(-1)^{n+k+1}\{(q^{(k)}_{k}y^{(n+1-k)})^{(n-k)}+ (q^{(k)}_{k}y^{(n-k)})^{(n+1-k)}\}, \end{align} where the complex valued coefficients $p_j$ and $q_j$ are subject the follo…
▽ More
We work with differential expressions of the form \begin{align} τ_{2n+1} y &=(-1)^ni \{(q_{0}y^{(n+1)})^{(n)}+(q_{0}y^{(n)})^{(n+1)}\}+ \sum\limits_{k=0}^{n}(-1)^{n+k}(p^{(k)}_ky^{(n-k)})^{(n-k)} \\ &\qquad+i\sum\limits_{k=1}^{n}(-1)^{n+k+1}\{(q^{(k)}_{k}y^{(n+1-k)})^{(n-k)}+ (q^{(k)}_{k}y^{(n-k)})^{(n+1-k)}\}, \end{align} where the complex valued coefficients $p_j$ and $q_j$ are subject the following conditions: $ q_0(x) \in AC_{loc}(a,b)$, $Re \,q_0>0$, while all the other functions $$q_1(x),q_2(x),\ldots,q_{n}(x), p_0(x),p_1(x),\ldots,p_n(x)$$ belong to the space $L^1_{loc}(a,b)$. This implies that the coefficients $p^{(k)}_{k}$ and $q^{(k)}_{k}$ in the expression $τ_{2n+1}$ are distributions of singularity order $k$. The main objective of the paper is to represent the differential expression $τ_{2n+1}$ in the other (regularized) form which allows to define the minimal and maximal operators associated with this differential expression.
△ Less
Submitted 10 December, 2019; v1 submitted 8 December, 2019;
originally announced December 2019.
-
Preserving of the unconditional basis property under non-self-adjoint perturbations of self-adjoint operators
Authors:
Alexander K. Motovilov,
Andrei A. Shkalikov
Abstract:
Let $T$ be a self-adjoint operator in a Hilbert space $H$ with domain $\mathcal D(T)$. Assume that the spectrum of $T$ is confined in the union of disjoint intervals $Δ_k =[α_{2k-1},α_{2k}]$, $k\in \mathbb{Z}$, and $$ α_{2k+1}-α_{2k} \geq b|α_{2k+1}+α_{2k}|^p\quad \text{ for some }\,b>0,\,p\in[0,1). $$ Suppose that a linear operator $B$ in $H$ is $p$-subordinated to $T$, i.e.…
▽ More
Let $T$ be a self-adjoint operator in a Hilbert space $H$ with domain $\mathcal D(T)$. Assume that the spectrum of $T$ is confined in the union of disjoint intervals $Δ_k =[α_{2k-1},α_{2k}]$, $k\in \mathbb{Z}$, and $$ α_{2k+1}-α_{2k} \geq b|α_{2k+1}+α_{2k}|^p\quad \text{ for some }\,b>0,\,p\in[0,1). $$ Suppose that a linear operator $B$ in $H$ is $p$-subordinated to $T$, i.e. $\mathcal D(B) \supset\mathcal D(T)$ and $\|Bx\| \leq b'\,\|Tx\|^p\|x\|^{1-p} +M\|x\| \text{\, for all } x\in \mathcal D(T)$, with some $b'>0$ and $M\geq 0$. Then the spectrum of the perturbed operator $A=T+B$ lies in the union of a rectangle in $\mathbb{C}$ and double parabola $P_{p,h} = \bigl\{λ\in \mathbb{C}\,\bigl|\,|\mathop{\rm Im} λ|\leq h|\mathop{\rm Re} λ|^p\bigr\}$, provided that $h>b'$. The vertical strips $Ω_k =\{λ\in\mathbb{C}|\,|r_k-{\rm Re}\,λ|\leq δr_k^p\}$, $r_k =(α_{2k}+α_{2k+1})/2$, belong to the resolvent set of $T$, provided that $δ<b -b'$ and $ |k|\geq N$ for $N$ large enough. For $|k|\ge N+1$, denote by $Π_k$ the curvilinear trapezoid formed by the lines ${\rm Re}\,λ= r_{k-1}$, ${\rm Re}\,λ= r_{k}$, and the boundary of the parabola $P_{p,h}$. Assume that $Q_0$ is the Riesz projection corresponding to the (bounded) part of the spectrum of $T$ that lies outside $\bigcup_{|k|\geq N+1}Π_k$. And let $Q_k$, $|k|\ge N+1$, be the Riesz projection for the part of the spectrum of $T$ confined within $Π_k$. Main result of the work consists in proving that the system of the invariant subspaces $Q_k(H)$, $|k|\geq N+1$, together with the invariant subspace $Q_0(H)$ forms an unconditional basis of subspaces in the space $H$.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.
-
Multipliers in Bessel potential spaces. The case of different sign smooth indices
Authors:
A. A. Belyaev,
A. A. Shkalikov
Abstract:
The objective of this paper is to describe the space of multipliers acting from a Bessel potential space $H^s_p(\mathbb R^n)$ into another space $H^{-t}_q(\mathbb R^n)$, provided that the smooth indices of these spaces have different signs, i.e. $s, t \geqslant 0$. This space of multipliers consists of distributions $u$, such that for all $\varphi \in H^s_p(\mathbb R^n)$ the product…
▽ More
The objective of this paper is to describe the space of multipliers acting from a Bessel potential space $H^s_p(\mathbb R^n)$ into another space $H^{-t}_q(\mathbb R^n)$, provided that the smooth indices of these spaces have different signs, i.e. $s, t \geqslant 0$. This space of multipliers consists of distributions $u$, such that for all $\varphi \in H^s_p(\mathbb R^n)$ the product $\varphi \cdot u$ is well-defined and belongs to the space $H^{-t}_q(\mathbb R^n)$. We succeed to describe this space explicitly, provided that $p \leqslant q$ and one of the following conditions $$ s \geqslant t \geqslant 0, \ s > n/p \ \ \, \text{or} \ \ \, t \geqslant s \geqslant 0, \ t > n/q' \quad (\: \text{where} \; 1/q +1/q' = 1), $$ holds. In this case one has $$ M[H^s_p(\mathbb{R}^n) \to H^{-t}_{q}(\mathbb{R}^n)] = H^{-t}_{q, \: unif}(\mathbb{R}^n) \cap H^{-s}_{p', \: unif}(\mathbb{R}^n), $$ where $H^γ_{r, \: unif}(\mathbb{R}^n), \: γ\in \mathbb{R}, \: r > 1$ is the scale of uniformly localized Bessel potential spaces.
In particular but important case $s = t < n/\max (p,q')$ we prove two-sided continuous embeddings $$ H^{-s}_{r_1, \: unif}(\mathbb{R}^n) \subset M[H^s_p(\mathbb{R}^n) \to H^{-s}_q(\mathbb{R}^n)] \subset H^{-s}_{r_2, \: unif}(\mathbb{R}^n), $$ where $r_2 = \max (p', q), \ r_1 =[s/n-(1/p -1/q)]^{-1}$.
△ Less
Submitted 5 January, 2018;
originally announced January 2018.
-
Eigenvalue Dynamics of a PT-symmetric Sturm-Liouville Operator. Criteria of the Similarity to a Self-adjoint or Normal Operator
Authors:
A. A. Shkalikov,
S. N. Tumanov
Abstract:
The goal of the paper is to investigate the dynamics of the eigenvalues of the Sturm-Liouville operator with summable PT-symmetric potential on the finite interval. It turns out that the case of a complex Airy operator presents an exactly solvable model which allows us to trace the dynamics of the movement of the eigenvalues in all details and to find explicitly the critical parameter values, in p…
▽ More
The goal of the paper is to investigate the dynamics of the eigenvalues of the Sturm-Liouville operator with summable PT-symmetric potential on the finite interval. It turns out that the case of a complex Airy operator presents an exactly solvable model which allows us to trace the dynamics of the movement of the eigenvalues in all details and to find explicitly the critical parameter values, in particular, to specify precisely the number $\varepsilon_1$ such that for $0<\varepsilon<\varepsilon_1$ the operator has a real spectrum and is similar to a self-adjoint operator.
△ Less
Submitted 25 July, 2017;
originally announced July 2017.
-
Unconditional bases of subspaces related to non-self-adjoint perturbations of self-adjoint operators
Authors:
A. K. Motovilov,
A. A. Shkalikov
Abstract:
Assume that $T$ is a self-adjoint operator on a Hilbert space $\mathcal{H}$ and that the spectrum of $T$ is confined in the union $\bigcup_{j\in J}Δ_j$, $J\subseteq\mathbb{Z}$, of segments $Δ_j=[α_j, β_j]\subset\mathbb{R}$ such that $α_{j+1}>β_j$ and $$ \inf_{j} \left(α_{j+1}-β_j\right) = d > 0. $$ If $B$ is a bounded (in general non-self-adjoint) perturbation of $T$ with $\|B\|=:b<d/2$ then the s…
▽ More
Assume that $T$ is a self-adjoint operator on a Hilbert space $\mathcal{H}$ and that the spectrum of $T$ is confined in the union $\bigcup_{j\in J}Δ_j$, $J\subseteq\mathbb{Z}$, of segments $Δ_j=[α_j, β_j]\subset\mathbb{R}$ such that $α_{j+1}>β_j$ and $$ \inf_{j} \left(α_{j+1}-β_j\right) = d > 0. $$ If $B$ is a bounded (in general non-self-adjoint) perturbation of $T$ with $\|B\|=:b<d/2$ then the spectrum of the perturbed operator $A=T+B$ lies in the union $\bigcup_{j\in J} U_{b}(Δ_j)$ of the mutually disjoint closed $b$-neighborhoods $U_{b}(Δ_j)$ of the segments $Δ_j$ in $\mathbb{C}$. Let $Q_j$ be the Riesz projection onto the invariant subspace of $A$ corresponding to the part of the spectrum of $A$ lying in $U_{b}\left(Δ_j\right)$, $j\in J$. Our main result is as follows: The subspaces $\mathcal{L}_j=Q_j(\mathcal H)$, $j\in J$, form an unconditional basis in the whole space $\mathcal H$.
△ Less
Submitted 24 January, 2017; v1 submitted 23 January, 2017;
originally announced January 2017.
-
The Limit Spectral Graph in the Semi-Classical Approximation for the Sturm-Liouville Problem With a Complex Polynomial Potential
Authors:
A. A. Shkalikov,
S. N. Tumanov
Abstract:
The limit distribution of the discrete spectrum of the Sturm-Liouville problem with complex-valued polynomial potential on an interval, on a half-axis, and on the entire axis is studied. It is shown that at large parameter values, the eigenvalues are concentrated along the so-called limit spectral graph; the curves forming this graph are classified. Asymptotics of eigenvalues along curves of vario…
▽ More
The limit distribution of the discrete spectrum of the Sturm-Liouville problem with complex-valued polynomial potential on an interval, on a half-axis, and on the entire axis is studied. It is shown that at large parameter values, the eigenvalues are concentrated along the so-called limit spectral graph; the curves forming this graph are classified. Asymptotics of eigenvalues along curves of various types in the graph are calculated.
△ Less
Submitted 18 April, 2016; v1 submitted 29 March, 2016;
originally announced March 2016.
-
The estimation of the ratio of two entire functions with the same zeros in the ball
Authors:
V. L. Geynts,
A. A. Shkalikov
Abstract:
The paper studies entire functions of finite order of growth for which a representation of the form $ψ(z) = 1+ O(|z|^{-μ}), μ>0,$ as $z\to \infty$, is valid on a fixed ray of the complex plane. The main result is the following. Assume that the zeros of two functions $ψ_1, ψ_2$ of this class coincide in the circle of radius $R$ with the center in zero. Then given arbitrary small $δ\in (0,1)$ and…
▽ More
The paper studies entire functions of finite order of growth for which a representation of the form $ψ(z) = 1+ O(|z|^{-μ}), μ>0,$ as $z\to \infty$, is valid on a fixed ray of the complex plane. The main result is the following. Assume that the zeros of two functions $ψ_1, ψ_2$ of this class coincide in the circle of radius $R$ with the center in zero. Then given arbitrary small $δ\in (0,1)$ and $\varepsilon >0$ the relation of these functions admits the estimate $|ψ_1(z)/ψ_2(z) -1| \leqslant \varepsilon R^{-μ(1-δ)}$ for all $|z|\leqslant R^{1-δ}$, provided that $R\geqslant R_0$ and $R_0 =R_0(\varepsilon, δ)$ is sufficiently large.
This result is of considerable interest in the analysis of the stability in the inverse resonance problem for the Schroedinger equation.
△ Less
Submitted 16 January, 2016;
originally announced January 2016.
-
Asymptotics of the Solutions of the Sturm--Liouville Equation with Singular Coefficients
Authors:
A. A. Shkalikov,
V. E. Vladykina
Abstract:
We obtain asymptotic representations as $λ\to \infty$ in the upper and lower half-planes for the solutions of the Sturm--Liouville equation $$ -y"+p(x)y'+q(x)y= λ^2 ρ(x)y, \qquad x\in [a,b] \subset \mathbb{R}, $$ under the condition that $q$ is a distribution of the first-order singularity, $ρ$ is a positive absolutely continuous function, and $p$ belongs to the space $L_2[a,b]$.
In supplementar…
▽ More
We obtain asymptotic representations as $λ\to \infty$ in the upper and lower half-planes for the solutions of the Sturm--Liouville equation $$ -y"+p(x)y'+q(x)y= λ^2 ρ(x)y, \qquad x\in [a,b] \subset \mathbb{R}, $$ under the condition that $q$ is a distribution of the first-order singularity, $ρ$ is a positive absolutely continuous function, and $p$ belongs to the space $L_2[a,b]$.
In supplementary part, the results are generilized on equation of the following type $$-(r^2y')'+py'+qy=λ^2 ρ^2 y, \qquad x\in [a,b] \subset \mathbb{R},$$ where $λ^2$ is the large parameter, $r$ and $ρ$ are positive functions, while $p$ and $q$ are complex valued ones. It is assumed that $p\in L_1[a,b],\quad q\in W_2^{-1}[a,b], \quad ρ,r \in AC[a,b] =W_1^1[a,b],$ moreover, \begin{equation*} ρ'u, r'u, pu \in L_1[a,b], \quad \text{where }\, u=\int q \, dx, \end{equation*} and the antiderivative is understood in the sense of distributions.
△ Less
Submitted 19 May, 2017; v1 submitted 21 November, 2015;
originally announced November 2015.
-
On the Interpolation of Analytic Maps
Authors:
A. M. Savchuk,
A. A. Shkalikov
Abstract:
Let (E_0,E_1) and (H_0,H_1) be a pair of Banach spaces with dense and continuous embeddings E_1 into E_0, H_1 into H_0. For $θ\in [0,1]$ denote by $B_θ(0,R)$ the ball of radius R centered at zero in the interpolation spaces E_θ. Assume that an analytic map $Φ$ maps the ball B_0(0,R) into H_0, $Φ$ maps B_1(0,R) into H_1 and for $θ=0,1$ the estimates…
▽ More
Let (E_0,E_1) and (H_0,H_1) be a pair of Banach spaces with dense and continuous embeddings E_1 into E_0, H_1 into H_0. For $θ\in [0,1]$ denote by $B_θ(0,R)$ the ball of radius R centered at zero in the interpolation spaces E_θ. Assume that an analytic map $Φ$ maps the ball B_0(0,R) into H_0, $Φ$ maps B_1(0,R) into H_1 and for $θ=0,1$ the estimates $$ \|Φ(x)\|_{H_θ} \le C_θ\|x\|_{H_θ}, \forall\ x\in B_θ(0,R), $$ hold. Then for all $θ\in(0, 1)$ and r<R $Φ$ maps the ball $B_θ(0,r)$ into $H_θ$ and the same estimate holds for $x\in B_θ(0,r)$ if the constant $C_θ$ is replaced by $C_0^{1-θ}C_1^θR/(R-r)$.
△ Less
Submitted 2 July, 2013;
originally announced July 2013.
-
Eigenvalue Asymptotics of Perturbed Self-adjoint Operators
Authors:
A. A. Shkalikov
Abstract:
We study perturbations of a self-adjoint positive operator $T$, provided that a perturbation operator $B$ satisfies "local" subordinate condition $\|B\varphi_k\|\leqslant bμ_k^β$ with some $β<1$ and $b>0$. Here $\{\varphi_k\}_{k=1}^\infty$ is an orthonormal system of the eigenvectors of the operator $T$ corresponding to the eigenvalues $\{μ_k\}_{k=1}^\infty$. We introduce the concept of $α$-non-co…
▽ More
We study perturbations of a self-adjoint positive operator $T$, provided that a perturbation operator $B$ satisfies "local" subordinate condition $\|B\varphi_k\|\leqslant bμ_k^β$ with some $β<1$ and $b>0$. Here $\{\varphi_k\}_{k=1}^\infty$ is an orthonormal system of the eigenvectors of the operator $T$ corresponding to the eigenvalues $\{μ_k\}_{k=1}^\infty$. We introduce the concept of $α$-non-condensing sequence and prove the theorem on the comparison of the eigenvalue-counting functions of the operators $T$ and $T+B$. Namely, it is shown that if $\{μ_k\}$ is $α-$non-condensing then the difference of the eigenvalue-counting functions is subject to relation
$$|n(r,\, T)- n(r,\, T+B)| \leqslant C[n(r+ar^γ,\, T) - n(r-ar^γ,\, T)] +C_1 $$
with some constants $C, C_1, a$ and $γ= \max(0, β, 2β+α-1)\in [0,1)$.
△ Less
Submitted 23 February, 2012;
originally announced February 2012.
-
Spectral and oscillation properties for a linear pencil of fourth-order differential operators
Authors:
J. Ben Amara,
A. A. Shkalikov,
A. A. Vladimirov
Abstract:
The present paper deals with the spectral and the oscillation properties of a linear pencil $A-λB$. Here $A$ and $B$ are linear operators generated by the differential expressions $(py")"$ and $-y"+ cry$, respectively. In particular, it is shown that the negative eigenvalues of this problem are simple and the corresponding eigenfunctions $y_{-n}$ have $n-1$ zeros in $(0,1)$.
The present paper deals with the spectral and the oscillation properties of a linear pencil $A-λB$. Here $A$ and $B$ are linear operators generated by the differential expressions $(py")"$ and $-y"+ cry$, respectively. In particular, it is shown that the negative eigenvalues of this problem are simple and the corresponding eigenfunctions $y_{-n}$ have $n-1$ zeros in $(0,1)$.
△ Less
Submitted 11 December, 2011;
originally announced December 2011.
-
Inverse problems for Sturm--Liouville operators with potentials from Sobolev spaces. Uniform stability
Authors:
A. M. Savchuk,
A. A. Shkalikov
Abstract:
The paper deals with two inverse problems for Sturm--Liouville operator $Ly=-y" +q(x)y$ on the finite interval $[0,π]$. The first one is the problem of recovering of a potential by two spectra. We associate with this problem the map $F:\, W^θ_2\to l_B^θ,\ F(σ) =\{s_k\}_1^\infty$, where $W^θ_2 = W^θ_2[0,π]$ are Sobolev spaces with $θ\geqslant 0$, $σ=\int q$ is a primitive of the potential $q$ and…
▽ More
The paper deals with two inverse problems for Sturm--Liouville operator $Ly=-y" +q(x)y$ on the finite interval $[0,π]$. The first one is the problem of recovering of a potential by two spectra. We associate with this problem the map $F:\, W^θ_2\to l_B^θ,\ F(σ) =\{s_k\}_1^\infty$, where $W^θ_2 = W^θ_2[0,π]$ are Sobolev spaces with $θ\geqslant 0$, $σ=\int q$ is a primitive of the potential $q$ and $l_B^θ$ are special Hilbert spaces which we construct to place in the regularized spectral data $\bold s = \{s_k\}_1^\infty$. The properties of the map $F$ are studied in details. The main result is the theorem on uniform stability. It gives uniform estimates from above and below of the norm of the difference $\|σ-σ_1\|_θ$ by the norm of the difference of the regularized spectral data $\|\bold s -\bold s_1\|_θ$ where the last norm is taken in $l_B^θ$. A similar result is obtained for the second inverse problem when the potential is recovered by the spectral function of the operator $L$ generated by Dirichlet boundary conditions. The results are new for classical case $q\in L_2$ which corresponds to the value $θ=1$.
△ Less
Submitted 28 October, 2010;
originally announced October 2010.
-
Properties of the map associated with recovering of the Sturm-Liouville operator by its spectral function. Uniform stability in the scale of Sobolev spaces
Authors:
A. M. Savchuk,
A. A. Shkalikov
Abstract:
Denote by $L_D$ the Sturm-Liouville operator $Ly=-y" +q(x)y$ on the finite interval $[0,π]$ with Dirichlet boundary conditions $y(0)=y(π)=0$. Let $\{λ_k\}_1^\infty$ and $\{α_k\}_1^\infty$ be the sequences of the eigenvalues and norming constants of this operator. For all $θ\geqslant 0$ we study the map $F: W_2^θ \to l_D^θ$ defined by $F(σ) =\{s_k\}_1^\infty$. Here $σ= \int q $ is the primitive of…
▽ More
Denote by $L_D$ the Sturm-Liouville operator $Ly=-y" +q(x)y$ on the finite interval $[0,π]$ with Dirichlet boundary conditions $y(0)=y(π)=0$. Let $\{λ_k\}_1^\infty$ and $\{α_k\}_1^\infty$ be the sequences of the eigenvalues and norming constants of this operator. For all $θ\geqslant 0$ we study the map $F: W_2^θ \to l_D^θ$ defined by $F(σ) =\{s_k\}_1^\infty$. Here $σ= \int q $ is the primitive of $q$, $\bold s = \{s_k\}_1^\infty$ be regularized spectral data defined by $s_{2k} =\sqrt{λ_k}-k,\ s_{2k-1}=α_k-π/2$ and $l_D^θ$ are special Hilbert spaces which are constructed in the paper as finite dimensional extensions of the usual weighted $l_2$ spaces. We give a complete characterization of the image of this nonlinear operator, show that it is locally invertible analytic map, find explicit form of its Frechet derivative. The main result of the paper are the uniform estimates of the form $\|σ-σ_1\|_θ\asymp \|\bold s -\bold s_1\|_θ$, provided that the spectral data $\bold s$ and $\bold s_1$ run through special convex sets in the spaces $l_D^θ$.
△ Less
Submitted 26 October, 2010;
originally announced October 2010.
-
On the Riesz Basis Property of the Eigen- and Associated Functions of Periodic and Antiperiodic Sturm-Liouville Problems
Authors:
A. A. Shkalikov,
O. A. Veliev
Abstract:
The paper deals with the Sturm-Liouville operator $$ Ly=-y^{\prime\prime}+q(x)y,\qquad x\in\lbrack0,1], $$ generated in the space $L_{2}=L_{2}[0,1]$ by periodic or antiperiodic boundary conditions. Several theorems on Riesz basis property of the root functions of the operator $L$ are proved. One of the main results is the following. \textsl{Let $q$ belong to Sobolev space $W_{1}^{p}[0,1]$ with s…
▽ More
The paper deals with the Sturm-Liouville operator $$ Ly=-y^{\prime\prime}+q(x)y,\qquad x\in\lbrack0,1], $$ generated in the space $L_{2}=L_{2}[0,1]$ by periodic or antiperiodic boundary conditions. Several theorems on Riesz basis property of the root functions of the operator $L$ are proved. One of the main results is the following. \textsl{Let $q$ belong to Sobolev space $W_{1}^{p}[0,1]$ with some integer $p\geq0$ and satisfy the conditions $q^{(k)}(0)=q^{(k)}(1)=0$ for $0\leq k\leq s-1$, where s}$\leq p.$ \textsl{Let the functions $Q$ and $S$ be defined by the equalities $Q(x)=\int_{0}^{x}q(t) dt, S(x)=Q^{2}(x)$ and let $q_{n}%, Q_{n},S_{n}$ be the Fourier coefficients of $q,Q,S$ with respect to the trigonometric system $\{e^{2πinx}\}_{-\infty}^{\infty}$. Assume that the sequence $q_{2n}-S_{2n}+2Q_{0}Q_{2n}$ decreases not faster than the powers $n^{-s-2}$. Then the system of eigen and associated functions of the operator $L$ generated by periodic boundary conditions forms a Riesz basis in the space $L_{2}[0,1]$ (provided that the eigenfunctions are normalized) if and only if the condition $$ q_{2n}-S_{2n}+Q_{0}Q_{2n}\asymp q_{-2n}-S_{-2n}+2Q_{0}Q_{-2n},\quad n>1, $$ holds.
△ Less
Submitted 14 November, 2008;
originally announced November 2008.
-
Bounds on variation of spectral subspaces under J-self-adjoint perturbations
Authors:
S. Albeverio,
A. K. Motovilov,
A. A. Shkalikov
Abstract:
Let $A$ be a self-adjoint operator on a Hilbert space $\fH$. Assume that the spectrum of $A$ consists of two disjoint components $σ_0$ and $σ_1$. Let $V$ be a bounded operator on $\fH$, off-diagonal and $J$-self-adjoint with respect to the orthogonal decomposition $\fH=\fH_0\oplus\fH_1$ where $\fH_0$ and $\fH_1$ are the spectral subspaces of $A$ associated with the spectral sets $σ_0$ and $σ_1$,…
▽ More
Let $A$ be a self-adjoint operator on a Hilbert space $\fH$. Assume that the spectrum of $A$ consists of two disjoint components $σ_0$ and $σ_1$. Let $V$ be a bounded operator on $\fH$, off-diagonal and $J$-self-adjoint with respect to the orthogonal decomposition $\fH=\fH_0\oplus\fH_1$ where $\fH_0$ and $\fH_1$ are the spectral subspaces of $A$ associated with the spectral sets $σ_0$ and $σ_1$, respectively. We find (optimal) conditions on $V$ guaranteeing that the perturbed operator $L=A+V$ is similar to a self-adjoint operator. Moreover, we prove a number of (sharp) norm bounds on variation of the spectral subspaces of $A$ under the perturbation $V$. Some of the results obtained are reformulated in terms of the Krein space theory. As an example, the quantum harmonic oscillator under a PT-symmetric perturbation is discussed.
△ Less
Submitted 27 October, 2008; v1 submitted 20 August, 2008;
originally announced August 2008.
-
Regular and Completely Regular Differential Operators
Authors:
E. A. Shiryaev,
A. A. Shkalikov
Abstract:
We define the concept of completely regular ordinary differential operators and give various criteria for operators to belong to this class. We give also criteria for Birkhof regularity of ordinary differential operators in terms of the growth of the Green function and basis property.
We define the concept of completely regular ordinary differential operators and give various criteria for operators to belong to this class. We give also criteria for Birkhof regularity of ordinary differential operators in terms of the growth of the Green function and basis property.
△ Less
Submitted 5 July, 2007;
originally announced July 2007.
-
Dissipative operators in Krein Space: invariant subspaces and properties of restrictions
Authors:
A. A. Shkalikov
Abstract:
We prove that a dissipative operator in Krein space possesses a maximal non-negative invariant subspace provided that this operator admits matrix representation with respect to canonical decomposition of the space and the right upper entry of the operator matrix is relatively compact with respect to the right lower entry. Under additional condition when the left upper and left lower operators ar…
▽ More
We prove that a dissipative operator in Krein space possesses a maximal non-negative invariant subspace provided that this operator admits matrix representation with respect to canonical decomposition of the space and the right upper entry of the operator matrix is relatively compact with respect to the right lower entry. Under additional condition when the left upper and left lower operators are bounded (the so-called "Langer condition") this result was proved (in the increasing order of generality) by Pontryagin, Krein, Langer, and Azizov. The Langer condition is replaced in the paper by a much weaker condition. We also prove: if a dissipative operator $A$ in Krein space is maximal then there exists a maximal non-negative invariant subspace $\mathcal L_+$ such that the spectrum of the restriction $A_+ = A|_{\mathcal L_+}$ lies in the closed left half-plane. We found sufficient conditions in terms of the entries of $A$ which garantee that $A_+$ is the generator of a holomorphic or $C_0$-semigroup.
△ Less
Submitted 15 January, 2007;
originally announced January 2007.
-
On the eigenvalues of Sturm--Liouville operators with potentials from Sobolev spaces
Authors:
A. M. Savchuk,
A. A. Shkalikov
Abstract:
We study asymptotic behavior of the eigenvalues of Strum--Liouville operators $Ly= -y'' +q(x)y $ with potentials from Sobolev spaces $W_2^{θ-1}, θ\geqslant 0$, including the non-classical case $θ\in [0,1)$ when the potentials are distributions. The results are obtained in new terms. Define the numbers $$ s_{2k}(q)= λ_{k}^{1/2}(q)-k, \quad s_{2k-1}(q)= μ_{k}^{1/2}(q)-k-1/2, $$ where…
▽ More
We study asymptotic behavior of the eigenvalues of Strum--Liouville operators $Ly= -y'' +q(x)y $ with potentials from Sobolev spaces $W_2^{θ-1}, θ\geqslant 0$, including the non-classical case $θ\in [0,1)$ when the potentials are distributions. The results are obtained in new terms. Define the numbers $$ s_{2k}(q)= λ_{k}^{1/2}(q)-k, \quad s_{2k-1}(q)= μ_{k}^{1/2}(q)-k-1/2, $$ where $\{λ_k\}_1^{\infty}$ and $\{μ_k\}_1^{\infty}$ are the sequences of the eigenvalues of the operator $L$ generated by the Dirichlet and Dirichlet--Neumann boundary conditions, respectivaly. We construct special Hilbert spaces $\hat l_2^θ$ such that the map $F: W^{θ-1}_2 \to \hat l_2^θ$, defined by formula $F(q)=\{s_n\}_1^{\infty}$, is well-defined for all $θ\geqslant 0$. The main result is the following: for all fixed $θ>0$ the map $F$ is weekly nonlinear, i.e. it admits a representation of the form $F(q) =Uq+Φ(q)$, where $U$ is the isomorphism between the spaces $W^{θ-1}_2 $ and $\hat l_2^θ$, and $Φ(q)$ is a compact map. Moreover we prove the estimate $\|Φ(q)\|_τ \leqslant C\|q\|_{θ-1}$, where the value of $τ=τ(θ)>θ$ is given explicitly and the constant $C$ depends only of the radius of the ball $\|q\|_θ \leqslant R$ but does not depend on the function $q$, running through this ball
△ Less
Submitted 7 September, 2006;
originally announced September 2006.
-
On the invariant subspace problem for dissipative operators in Krein spaces
Authors:
A. A. Shkalikov
Abstract:
We relax assumptions for a dissipative operator in Krein space to possess a maximal non-negative invariant subspace. Our main result is a generalization of a well-known Pontrjagin-Krein-Langer-Azizov theorem. Then we investigate the semigroup properties of the restriction of the operator onto the invariant subspace.
We relax assumptions for a dissipative operator in Krein space to possess a maximal non-negative invariant subspace. Our main result is a generalization of a well-known Pontrjagin-Krein-Langer-Azizov theorem. Then we investigate the semigroup properties of the restriction of the operator onto the invariant subspace.
△ Less
Submitted 22 December, 2005; v1 submitted 20 December, 2005;
originally announced December 2005.
-
On invariant subspaces of dissipative operators in a space with indefinite metric
Authors:
A. A. Shkalikov
Abstract:
The theorem on the existence of maximal nonnegative invariant subspaces for a special class of dissipative operators in Hilbert space with indefinite inner product is proved in the paper. It is shown in addition that the spectra of the restrictions of these operators on the corresponding invariant subspaces lie in the closed upper half-plane. The obtained theorem is a generalization of well-know…
▽ More
The theorem on the existence of maximal nonnegative invariant subspaces for a special class of dissipative operators in Hilbert space with indefinite inner product is proved in the paper. It is shown in addition that the spectra of the restrictions of these operators on the corresponding invariant subspaces lie in the closed upper half-plane. The obtained theorem is a generalization of well-known results of L.S.Pontrjagin, H.K.Langer, M.G.Krein and T.Ja.Azizov devoted to this subject.
△ Less
Submitted 6 December, 2004;
originally announced December 2004.
-
Spectral portraits and the resolvent growth of a model problem associated with the Orr--Sommerfeld equation
Authors:
A. A. Shkalikov
Abstract:
A model problem of the form -iεy''+q(x)y=λy, y(-1)=y(1)=0, is associated with well-known in hydrodynamics Orr--Sommerfeld operator. Here (λ) is the spectral parameter, (ε) is the small parameter which is proportional to the viscocity of the liquid and to the reciprocal of the Reynolds number, and (q(x)) is the velocity of the stationary flow of the liquid in the channel (|x|\leqslant 1). We stud…
▽ More
A model problem of the form -iεy''+q(x)y=λy, y(-1)=y(1)=0, is associated with well-known in hydrodynamics Orr--Sommerfeld operator. Here (λ) is the spectral parameter, (ε) is the small parameter which is proportional to the viscocity of the liquid and to the reciprocal of the Reynolds number, and (q(x)) is the velocity of the stationary flow of the liquid in the channel (|x|\leqslant 1). We study the behaviour of the spectrum of the corresponding model operator as (ε\to 0) with monotonous analytic functions. We assert that the sets of the accumulation points of the spectra (the limit spectral graphs) of the model and the corresponding Orr--Sommerfeld operators coincide as well as the main terms of the counting eigenvalue functions along the curves of the graphs. We prove the estimate from below for the resolvent of the operator (L(ε)) associated with the model problem. It turns out that the resolvent grows exponentially with respect to (ε) provided that the spectral parameter varies at some compacts belonging to the numerical range of the operator.
△ Less
Submitted 24 June, 2003;
originally announced June 2003.
-
Schroedinger and elliptic operators with distributional coefficients on a bounded domain
Authors:
M. I. Neiman-zade,
A. A. Shkalikov
Abstract:
We study the operator $L=-Δ+q$ on a bounded domain $Ω\subset\mathbb R^n$, where $q(x)$ is a distributional potential. We find sufficient conditions for $q(x)$ which guarantee that $L$ is well--defined with Dirichlet and generalized Neumann boundary conditions. The asymptotics of the eigenvalues and the basis properties of the eigen- and associated functions of such operators are studied. The res…
▽ More
We study the operator $L=-Δ+q$ on a bounded domain $Ω\subset\mathbb R^n$, where $q(x)$ is a distributional potential. We find sufficient conditions for $q(x)$ which guarantee that $L$ is well--defined with Dirichlet and generalized Neumann boundary conditions. The asymptotics of the eigenvalues and the basis properties of the eigen- and associated functions of such operators are studied. The results are generalized for strongly elliptic operator of order $2m$ with Dirichlet boundary conditions.
△ Less
Submitted 13 January, 2003;
originally announced January 2003.
-
Strongly elliptic operators with distributional coefficients
Authors:
M. I. Neiman-zade,
A. A. Shkalikov
Abstract:
We study operators of the form $$ L=\sum_{|α|,|β|\le n} D^αc_{α,β} D^β, x\in\mathbb R^n $$ provided that the coefficients of the main symbol corresponding to the indices $|α|=|β|=m$ are continuous while the other ones are distributions. Assuming that the main symbol defines the strongly elliptic operator we find sufficient conditions for the coefficients $c_{α,β}(x)$ which guarantee that the ope…
▽ More
We study operators of the form $$ L=\sum_{|α|,|β|\le n} D^αc_{α,β} D^β, x\in\mathbb R^n $$ provided that the coefficients of the main symbol corresponding to the indices $|α|=|β|=m$ are continuous while the other ones are distributions. Assuming that the main symbol defines the strongly elliptic operator we find sufficient conditions for the coefficients $c_{α,β}(x)$ which guarantee that the operator $L$ is well defined. In particular, if $c_{α,β}(x)$ belong to the spaces of multipliers from $H_2^{m-|α|}$ to $H_2^{|β|-m}$ then $L$ defines a maximal sectorial operator in $L_2(\mathbb R^n)$. We also describe the spaces of multipliers.
△ Less
Submitted 13 January, 2003;
originally announced January 2003.
-
Multipliers from Sobolev space $H^\al_p$ into $H^{-\al}_p$
Authors:
M. I. Neiman-zade,
A. A. Shkalikov
Abstract:
A function $q(x)$ is said to be a multiplier from the Sobolev space $H^\al_p(R^n)$ into $H^{-\al}_p(R^n)$ if the operator $Lf(x)=q(x)f(x)$ is a bounded operator from the first space into the second one. Let $M^\al_p$ the the space of such multipliers. In this paper we give the description of the spaces $M^\al_p$ provided the condition $\al>min(n/p,n/p')$. In the case $\al\le min(n/p,n/p')$ we ob…
▽ More
A function $q(x)$ is said to be a multiplier from the Sobolev space $H^\al_p(R^n)$ into $H^{-\al}_p(R^n)$ if the operator $Lf(x)=q(x)f(x)$ is a bounded operator from the first space into the second one. Let $M^\al_p$ the the space of such multipliers. In this paper we give the description of the spaces $M^\al_p$ provided the condition $\al>min(n/p,n/p')$. In the case $\al\le min(n/p,n/p')$ we obtain some embedding theorems for Sobolev spaces with negative smoothness indices into $M^\al_p$.
△ Less
Submitted 13 January, 2003;
originally announced January 2003.
-
Sturm-Liouville operators with distributional potentials
Authors:
A. M. Savchuk,
A. A. Shkalikov
Abstract:
In this paper we propose four different methods to determine Sturm-Liouville operator on an interval $(a,b)$ in case, when a potential $q(x)$ is a distribution from the Sobolev space with negative index of smoothness, i.e. (q\in W_2^{-θ}), where (θ\le 1). The main and second terms of asymptotic series for eigenvalues and eigenfunctions of these operators are obtained and the remaining terms are…
▽ More
In this paper we propose four different methods to determine Sturm-Liouville operator on an interval $(a,b)$ in case, when a potential $q(x)$ is a distribution from the Sobolev space with negative index of smoothness, i.e. (q\in W_2^{-θ}), where (θ\le 1). The main and second terms of asymptotic series for eigenvalues and eigenfunctions of these operators are obtained and the remaining terms are estimated depending on the class of smoothness of potential /(q/). Particular families of potentials, not belonging to the space (W_2^{-1}) are studied as well.
△ Less
Submitted 9 January, 2003;
originally announced January 2003.
-
On the Orr-Sommerfeld Equation with Linear Profile
Authors:
A. V. Dyachenko,
A. A. Shkalikov
Abstract:
The Orr-Sommerfeld equation with linear profile on the finite interval is considered. The behavior of the spectrum of this problem is completely investigated for large Reynolds numbers. The limit curves are found to which the eigenvalues concentrate and the counting eigenvalue functions along these curves are obtained.
The Orr-Sommerfeld equation with linear profile on the finite interval is considered. The behavior of the spectrum of this problem is completely investigated for large Reynolds numbers. The limit curves are found to which the eigenvalues concentrate and the counting eigenvalue functions along these curves are obtained.
△ Less
Submitted 18 December, 2002; v1 submitted 9 December, 2002;
originally announced December 2002.
