{"title":"分析性,一级扰动和左谱的不变性","authors":"Sameer Chavan, Soumitra Ghara, Paramita Pramanick","doi":"10.1007/s44146-023-00076-9","DOIUrl":null,"url":null,"abstract":"<div><p>We discuss the question of the analyticity of a rank one perturbation of an analytic operator. If <span>\\({\\mathscr {M}}_z\\)</span> is the bounded operator of multiplication by <i>z</i> on a functional Hilbert space <span>\\({\\mathscr {H}}_\\kappa \\)</span> and <span>\\(f \\in {\\mathscr {H}}\\)</span> with <span>\\(f(0)=0,\\)</span> then <span>\\({\\mathscr {M}}_z + f \\otimes 1\\)</span> is always analytic. If <span>\\(f(0) \\ne 0,\\)</span> then the analyticity of <span>\\({\\mathscr {M}}_z + f \\otimes 1\\)</span> is characterized in terms of the membership to <span>\\({\\mathscr {H}}_\\kappa \\)</span> of the formal power series obtained by multiplying <i>f</i>(<i>z</i>) by <span>\\(\\frac{1}{f(0)-z}.\\)</span> As an application, we discuss the problem of the invariance of the left spectrum under rank one perturbation. In particular, we show that the left spectrum <span>\\(\\sigma _l(T + f \\otimes g)\\)</span> of the rank one perturbation <span>\\(T + f \\otimes g,\\)</span> <span>\\(\\,g \\in \\ker (T^*),\\)</span> of a cyclic analytic left invertible bounded linear operator <i>T</i> coincides with the left spectrum of <i>T</i> except the point <span>\\(\\langle {f},\\,{g} \\rangle .\\)</span> In general, the point <span>\\(\\langle {f},\\,{g} \\rangle \\)</span> may or may not belong to <span>\\(\\sigma _l(T + f \\otimes g).\\)</span> However, if it belongs to <span>\\(\\sigma _l(T + f \\otimes g) \\backslash \\{0\\},\\)</span> then it is a simple eigenvalue of <span>\\(T + f \\otimes g\\)</span>.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"89 3-4","pages":"559 - 571"},"PeriodicalIF":0.5000,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Analyticity, rank one perturbations and the invariance of the left spectrum\",\"authors\":\"Sameer Chavan, Soumitra Ghara, Paramita Pramanick\",\"doi\":\"10.1007/s44146-023-00076-9\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We discuss the question of the analyticity of a rank one perturbation of an analytic operator. If <span>\\\\({\\\\mathscr {M}}_z\\\\)</span> is the bounded operator of multiplication by <i>z</i> on a functional Hilbert space <span>\\\\({\\\\mathscr {H}}_\\\\kappa \\\\)</span> and <span>\\\\(f \\\\in {\\\\mathscr {H}}\\\\)</span> with <span>\\\\(f(0)=0,\\\\)</span> then <span>\\\\({\\\\mathscr {M}}_z + f \\\\otimes 1\\\\)</span> is always analytic. If <span>\\\\(f(0) \\\\ne 0,\\\\)</span> then the analyticity of <span>\\\\({\\\\mathscr {M}}_z + f \\\\otimes 1\\\\)</span> is characterized in terms of the membership to <span>\\\\({\\\\mathscr {H}}_\\\\kappa \\\\)</span> of the formal power series obtained by multiplying <i>f</i>(<i>z</i>) by <span>\\\\(\\\\frac{1}{f(0)-z}.\\\\)</span> As an application, we discuss the problem of the invariance of the left spectrum under rank one perturbation. In particular, we show that the left spectrum <span>\\\\(\\\\sigma _l(T + f \\\\otimes g)\\\\)</span> of the rank one perturbation <span>\\\\(T + f \\\\otimes g,\\\\)</span> <span>\\\\(\\\\,g \\\\in \\\\ker (T^*),\\\\)</span> of a cyclic analytic left invertible bounded linear operator <i>T</i> coincides with the left spectrum of <i>T</i> except the point <span>\\\\(\\\\langle {f},\\\\,{g} \\\\rangle .\\\\)</span> In general, the point <span>\\\\(\\\\langle {f},\\\\,{g} \\\\rangle \\\\)</span> may or may not belong to <span>\\\\(\\\\sigma _l(T + f \\\\otimes g).\\\\)</span> However, if it belongs to <span>\\\\(\\\\sigma _l(T + f \\\\otimes g) \\\\backslash \\\\{0\\\\},\\\\)</span> then it is a simple eigenvalue of <span>\\\\(T + f \\\\otimes g\\\\)</span>.</p></div>\",\"PeriodicalId\":46939,\"journal\":{\"name\":\"ACTA SCIENTIARUM MATHEMATICARUM\",\"volume\":\"89 3-4\",\"pages\":\"559 - 571\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2023-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACTA SCIENTIARUM MATHEMATICARUM\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s44146-023-00076-9\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACTA SCIENTIARUM MATHEMATICARUM","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.1007/s44146-023-00076-9","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
Analyticity, rank one perturbations and the invariance of the left spectrum
We discuss the question of the analyticity of a rank one perturbation of an analytic operator. If \({\mathscr {M}}_z\) is the bounded operator of multiplication by z on a functional Hilbert space \({\mathscr {H}}_\kappa \) and \(f \in {\mathscr {H}}\) with \(f(0)=0,\) then \({\mathscr {M}}_z + f \otimes 1\) is always analytic. If \(f(0) \ne 0,\) then the analyticity of \({\mathscr {M}}_z + f \otimes 1\) is characterized in terms of the membership to \({\mathscr {H}}_\kappa \) of the formal power series obtained by multiplying f(z) by \(\frac{1}{f(0)-z}.\) As an application, we discuss the problem of the invariance of the left spectrum under rank one perturbation. In particular, we show that the left spectrum \(\sigma _l(T + f \otimes g)\) of the rank one perturbation \(T + f \otimes g,\)\(\,g \in \ker (T^*),\) of a cyclic analytic left invertible bounded linear operator T coincides with the left spectrum of T except the point \(\langle {f},\,{g} \rangle .\) In general, the point \(\langle {f},\,{g} \rangle \) may or may not belong to \(\sigma _l(T + f \otimes g).\) However, if it belongs to \(\sigma _l(T + f \otimes g) \backslash \{0\},\) then it is a simple eigenvalue of \(T + f \otimes g\).