{"title":"Threshold approximations for the resolvent of a polynomial nonnegative operator pencil","authors":"V. Sloushch, T. Suslina","doi":"10.1090/spmj/1704","DOIUrl":null,"url":null,"abstract":"<p>In a Hilbert space <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"German upper H\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">H</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathfrak {H}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, a family of operators <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A left-parenthesis t right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>A</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A(t)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"t element-of double-struck upper R\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>t</mml:mi>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">R</mml:mi>\n </mml:mrow>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">t\\in \\mathbb {R}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, is treated admitting a factorization of the form <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A left-parenthesis t right-parenthesis equals upper X left-parenthesis t right-parenthesis Superscript asterisk Baseline upper X left-parenthesis t right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>A</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>=</mml:mo>\n <mml:mi>X</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:msup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msup>\n <mml:mi>X</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A(t) = X(t)^* X(t)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, where <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper X left-parenthesis t right-parenthesis equals upper X 0 plus upper X 1 t plus midline-horizontal-ellipsis plus upper X Subscript p Baseline t Superscript p\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>X</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>=</mml:mo>\n <mml:msub>\n <mml:mi>X</mml:mi>\n <mml:mn>0</mml:mn>\n </mml:msub>\n <mml:mo>+</mml:mo>\n <mml:msub>\n <mml:mi>X</mml:mi>\n <mml:mn>1</mml:mn>\n </mml:msub>\n <mml:mi>t</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mo>⋯<!-- ⋯ --></mml:mo>\n <mml:mo>+</mml:mo>\n <mml:msub>\n <mml:mi>X</mml:mi>\n <mml:mi>p</mml:mi>\n </mml:msub>\n <mml:msup>\n <mml:mi>t</mml:mi>\n <mml:mi>p</mml:mi>\n </mml:msup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">X(t)=X_0+X_1t+\\cdots +X_pt^p</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p greater-than-or-equal-to 2\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>p</mml:mi>\n <mml:mo>≥<!-- ≥ --></mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">p\\ge 2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. It is assumed that the point <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"lamda 0 equals 0\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>λ<!-- λ --></mml:mi>\n <mml:mn>0</mml:mn>\n </mml:msub>\n <mml:mo>=</mml:mo>\n <mml:mn>0</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\lambda _0=0</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is an isolated eigenvalue of finite multiplicity for <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A left-parenthesis 0 right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>A</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mn>0</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A(0)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. Let <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper F left-parenthesis t right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>F</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">F(t)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> be the spectral projection of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A left-parenthesis t right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>A</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A(t)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> for the interval <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-bracket 0 comma delta right-bracket\">\n <mml:semantics>\n <mml:mrow>\n <mml:mo stretchy=\"false\">[</mml:mo>\n <mml:mn>0</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mi>δ<!-- δ --></mml:mi>\n <mml:mo stretchy=\"false\">]</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">[0,\\delta ]</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. For <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"StartAbsoluteValue t EndAbsoluteValue less-than-or-equal-to t Superscript 0\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo stretchy=\"false\">|</mml:mo>\n </mml:mrow>\n <mml:mi>t</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo stretchy=\"false\">|</mml:mo>\n </mml:mrow>\n <mml:mo>≤<!-- ≤ --></mml:mo>\n <mml:msup>\n <mml:mi>t</mml:mi>\n <mml:mn>0</mml:mn>\n </mml:msup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">|t| \\le t^0</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, approximation in the operator norm in <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"German upper H\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">H</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathfrak {H}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> for the projection <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper F left-parenthesis t right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>F</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">F(t)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> with an error <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper O left-parenthesis t Superscript 2 p Baseline right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>O</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mi>t</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>2</mml:mn>\n <mml:mi>p</mml:mi>\n </mml:mrow>\n </mml:msup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">O(t^{2p})</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is obtained as well as approximation for the operator <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A left-parenthesis t right-parenthesis upper F left-parenthesis t right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>A</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mi>F</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A(t)F(t)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> with an error <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper O left-parenthesis t Superscript 4 p Baseline right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>O</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mi>t</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>4</mml:mn>\n <mml:mi>p</mml:mi>\n </mml:mrow>\n </mml:msup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">O(t^{4p})</mml:annotation>\n </mml:semantics>","PeriodicalId":51162,"journal":{"name":"St Petersburg Mathematical Journal","volume":" ","pages":""},"PeriodicalIF":0.7000,"publicationDate":"2022-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"St Petersburg Mathematical Journal","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/spmj/1704","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 5
Abstract
In a Hilbert space H\mathfrak {H}, a family of operators A(t)A(t), t∈Rt\in \mathbb {R}, is treated admitting a factorization of the form A(t)=X(t)∗X(t)A(t) = X(t)^* X(t), where X(t)=X0+X1t+⋯+XptpX(t)=X_0+X_1t+\cdots +X_pt^p, p≥2p\ge 2. It is assumed that the point λ0=0\lambda _0=0 is an isolated eigenvalue of finite multiplicity for A(0)A(0). Let F(t)F(t) be the spectral projection of A(t)A(t) for the interval [0,δ][0,\delta ]. For |t|≤t0|t| \le t^0, approximation in the operator norm in H\mathfrak {H} for the projection F(t)F(t) with an error O(t2p)O(t^{2p}) is obtained as well as approximation for the operator A(t)F(t)A(t)F(t) with an error O(t4p)O(t^{4p})
在Hilbert空间H\mathfrak{H}中,一个算子族a(t)a(t,其中,X(t)=X 0+X 1 t+…+X p t p X(t)=X_0+X_1t+\cdots+X_pt^p,p≥2 p\ge 2。假定点λ0=0\λ0=0是A(0)A(0。设F(t)F(t。对于|t|≤t0|t|\le t^0,在H\mathfrak{H}中,得到了具有误差O(t2 p)O(t^{2p})的投影F(t)F(t带有错误O(t4p)O(t^{4p})
期刊介绍:
This journal is a cover-to-cover translation into English of Algebra i Analiz, published six times a year by the mathematics section of the Russian Academy of Sciences.