{"title":"帧正则序列","authors":"Pu-Ting Yu","doi":"10.1007/s10444-024-10182-z","DOIUrl":null,"url":null,"abstract":"<div><p>Let <i>H</i> be a separable Hilbert space and let <span>\\(\\{x_{n}\\}\\)</span> be a sequence in <i>H</i> that does not contain any zero elements. We say that <span>\\(\\{x_{n}\\}\\)</span> is a <i>Bessel-normalizable</i> or <i>frame-normalizable</i> sequence if the normalized sequence <span>\\({\\bigl \\{\\frac{x_n}{\\Vert x_n\\Vert }\\bigr \\}}\\)</span> is a Bessel sequence or a frame for <i>H</i>, respectively. In this paper, several necessary and sufficient conditions for sequences to be frame-normalizable and not frame-normalizable are proved. Perturbation theorems for frame-normalizable sequences are also proved. As applications, we show that the Balazs–Stoeva conjecture holds for Bessel-normalizable sequences. Finally, we apply our results to partially answer the open question raised by Aldroubi et al. as to whether the iterative system <span>\\(\\bigl \\{\\frac{A^{n} x}{\\Vert A^{n}x\\Vert }\\bigr \\}_{n\\ge 0,\\, x\\in S}\\)</span> associated with a normal operator <span>\\(A:H\\rightarrow H\\)</span> and a countable subset <i>S</i> of <i>H</i>, is a frame for <i>H</i>. In particular, if <i>S</i> is finite, then we are able to show that <span>\\(\\bigl \\{\\frac{A^{n} x}{\\Vert A^{n}x\\Vert }\\bigr \\}_{n\\ge 0,\\, x\\in S}\\)</span> is not a frame for <i>H</i> whenever <span>\\(\\{A^{n}x\\}_{n\\ge 0,\\,x\\in S}\\)</span> is a frame for <i>H</i>.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"50 4","pages":""},"PeriodicalIF":1.7000,"publicationDate":"2024-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Frame-normalizable sequences\",\"authors\":\"Pu-Ting Yu\",\"doi\":\"10.1007/s10444-024-10182-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Let <i>H</i> be a separable Hilbert space and let <span>\\\\(\\\\{x_{n}\\\\}\\\\)</span> be a sequence in <i>H</i> that does not contain any zero elements. We say that <span>\\\\(\\\\{x_{n}\\\\}\\\\)</span> is a <i>Bessel-normalizable</i> or <i>frame-normalizable</i> sequence if the normalized sequence <span>\\\\({\\\\bigl \\\\{\\\\frac{x_n}{\\\\Vert x_n\\\\Vert }\\\\bigr \\\\}}\\\\)</span> is a Bessel sequence or a frame for <i>H</i>, respectively. In this paper, several necessary and sufficient conditions for sequences to be frame-normalizable and not frame-normalizable are proved. Perturbation theorems for frame-normalizable sequences are also proved. As applications, we show that the Balazs–Stoeva conjecture holds for Bessel-normalizable sequences. Finally, we apply our results to partially answer the open question raised by Aldroubi et al. as to whether the iterative system <span>\\\\(\\\\bigl \\\\{\\\\frac{A^{n} x}{\\\\Vert A^{n}x\\\\Vert }\\\\bigr \\\\}_{n\\\\ge 0,\\\\, x\\\\in S}\\\\)</span> associated with a normal operator <span>\\\\(A:H\\\\rightarrow H\\\\)</span> and a countable subset <i>S</i> of <i>H</i>, is a frame for <i>H</i>. In particular, if <i>S</i> is finite, then we are able to show that <span>\\\\(\\\\bigl \\\\{\\\\frac{A^{n} x}{\\\\Vert A^{n}x\\\\Vert }\\\\bigr \\\\}_{n\\\\ge 0,\\\\, x\\\\in S}\\\\)</span> is not a frame for <i>H</i> whenever <span>\\\\(\\\\{A^{n}x\\\\}_{n\\\\ge 0,\\\\,x\\\\in S}\\\\)</span> is a frame for <i>H</i>.</p></div>\",\"PeriodicalId\":50869,\"journal\":{\"name\":\"Advances in Computational Mathematics\",\"volume\":\"50 4\",\"pages\":\"\"},\"PeriodicalIF\":1.7000,\"publicationDate\":\"2024-08-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Advances in Computational Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s10444-024-10182-z\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Advances in Computational Mathematics","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s10444-024-10182-z","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
Let H be a separable Hilbert space and let \(\{x_{n}\}\) be a sequence in H that does not contain any zero elements. We say that \(\{x_{n}\}\) is a Bessel-normalizable or frame-normalizable sequence if the normalized sequence \({\bigl \{\frac{x_n}{\Vert x_n\Vert }\bigr \}}\) is a Bessel sequence or a frame for H, respectively. In this paper, several necessary and sufficient conditions for sequences to be frame-normalizable and not frame-normalizable are proved. Perturbation theorems for frame-normalizable sequences are also proved. As applications, we show that the Balazs–Stoeva conjecture holds for Bessel-normalizable sequences. Finally, we apply our results to partially answer the open question raised by Aldroubi et al. as to whether the iterative system \(\bigl \{\frac{A^{n} x}{\Vert A^{n}x\Vert }\bigr \}_{n\ge 0,\, x\in S}\) associated with a normal operator \(A:H\rightarrow H\) and a countable subset S of H, is a frame for H. In particular, if S is finite, then we are able to show that \(\bigl \{\frac{A^{n} x}{\Vert A^{n}x\Vert }\bigr \}_{n\ge 0,\, x\in S}\) is not a frame for H whenever \(\{A^{n}x\}_{n\ge 0,\,x\in S}\) is a frame for H.
期刊介绍:
Advances in Computational Mathematics publishes high quality, accessible and original articles at the forefront of computational and applied mathematics, with a clear potential for impact across the sciences. The journal emphasizes three core areas: approximation theory and computational geometry; numerical analysis, modelling and simulation; imaging, signal processing and data analysis.
This journal welcomes papers that are accessible to a broad audience in the mathematical sciences and that show either an advance in computational methodology or a novel scientific application area, or both. Methods papers should rely on rigorous analysis and/or convincing numerical studies.