{"title":"多项式非负算子铅笔预解式的阈值近似","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":"{\"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}","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
摘要
在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})
Threshold approximations for the resolvent of a polynomial nonnegative operator pencil
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})
期刊介绍:
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.