{"title":"时变问题的稳定谱方法与结构保持","authors":"Arieh Iserles","doi":"10.1007/s10208-024-09647-w","DOIUrl":null,"url":null,"abstract":"<p>This paper is concerned with orthonormal systems in real intervals, given with zero Dirichlet boundary conditions. More specifically, our interest is in systems with a skew-symmetric differentiation matrix (this excludes orthonormal polynomials). We consider a simple construction of such systems and pursue its ramifications. In general, given any <span>\\(\\text {C}^1(a,b)\\)</span> weight function such that <span>\\(w(a)=w(b)=0\\)</span>, we can generate an orthonormal system with a skew-symmetric differentiation matrix. Except for the case <span>\\(a=-\\infty \\)</span>, <span>\\(b=+\\infty \\)</span>, only few powers of that matrix are bounded and we establish a connection between properties of the weight function and boundedness. In particular, we examine in detail two weight functions: the Laguerre weight function <span>\\(x^\\alpha \\textrm{e}^{-x}\\)</span> for <span>\\(x>0\\)</span> and <span>\\(\\alpha >0\\)</span> and the ultraspherical weight function <span>\\((1-x^2)^\\alpha \\)</span>, <span>\\(x\\in (-1,1)\\)</span>, <span>\\(\\alpha >0\\)</span>, and establish their properties. Both weights share a most welcome feature of <i>separability,</i> which allows for fast computation. The quality of approximation is highly sensitive to the choice of <span>\\(\\alpha \\)</span>, and we discuss how to choose optimally this parameter, depending on the number of zero boundary conditions.</p>","PeriodicalId":55151,"journal":{"name":"Foundations of Computational Mathematics","volume":"240 1","pages":""},"PeriodicalIF":2.5000,"publicationDate":"2024-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Stable Spectral Methods for Time-Dependent Problems and the Preservation of Structure\",\"authors\":\"Arieh Iserles\",\"doi\":\"10.1007/s10208-024-09647-w\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>This paper is concerned with orthonormal systems in real intervals, given with zero Dirichlet boundary conditions. More specifically, our interest is in systems with a skew-symmetric differentiation matrix (this excludes orthonormal polynomials). We consider a simple construction of such systems and pursue its ramifications. In general, given any <span>\\\\(\\\\text {C}^1(a,b)\\\\)</span> weight function such that <span>\\\\(w(a)=w(b)=0\\\\)</span>, we can generate an orthonormal system with a skew-symmetric differentiation matrix. Except for the case <span>\\\\(a=-\\\\infty \\\\)</span>, <span>\\\\(b=+\\\\infty \\\\)</span>, only few powers of that matrix are bounded and we establish a connection between properties of the weight function and boundedness. In particular, we examine in detail two weight functions: the Laguerre weight function <span>\\\\(x^\\\\alpha \\\\textrm{e}^{-x}\\\\)</span> for <span>\\\\(x>0\\\\)</span> and <span>\\\\(\\\\alpha >0\\\\)</span> and the ultraspherical weight function <span>\\\\((1-x^2)^\\\\alpha \\\\)</span>, <span>\\\\(x\\\\in (-1,1)\\\\)</span>, <span>\\\\(\\\\alpha >0\\\\)</span>, and establish their properties. Both weights share a most welcome feature of <i>separability,</i> which allows for fast computation. The quality of approximation is highly sensitive to the choice of <span>\\\\(\\\\alpha \\\\)</span>, and we discuss how to choose optimally this parameter, depending on the number of zero boundary conditions.</p>\",\"PeriodicalId\":55151,\"journal\":{\"name\":\"Foundations of Computational Mathematics\",\"volume\":\"240 1\",\"pages\":\"\"},\"PeriodicalIF\":2.5000,\"publicationDate\":\"2024-02-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Foundations of Computational Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s10208-024-09647-w\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Foundations of Computational Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s10208-024-09647-w","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
Stable Spectral Methods for Time-Dependent Problems and the Preservation of Structure
This paper is concerned with orthonormal systems in real intervals, given with zero Dirichlet boundary conditions. More specifically, our interest is in systems with a skew-symmetric differentiation matrix (this excludes orthonormal polynomials). We consider a simple construction of such systems and pursue its ramifications. In general, given any \(\text {C}^1(a,b)\) weight function such that \(w(a)=w(b)=0\), we can generate an orthonormal system with a skew-symmetric differentiation matrix. Except for the case \(a=-\infty \), \(b=+\infty \), only few powers of that matrix are bounded and we establish a connection between properties of the weight function and boundedness. In particular, we examine in detail two weight functions: the Laguerre weight function \(x^\alpha \textrm{e}^{-x}\) for \(x>0\) and \(\alpha >0\) and the ultraspherical weight function \((1-x^2)^\alpha \), \(x\in (-1,1)\), \(\alpha >0\), and establish their properties. Both weights share a most welcome feature of separability, which allows for fast computation. The quality of approximation is highly sensitive to the choice of \(\alpha \), and we discuss how to choose optimally this parameter, depending on the number of zero boundary conditions.
期刊介绍:
Foundations of Computational Mathematics (FoCM) will publish research and survey papers of the highest quality which further the understanding of the connections between mathematics and computation. The journal aims to promote the exploration of all fundamental issues underlying the creative tension among mathematics, computer science and application areas unencumbered by any external criteria such as the pressure for applications. The journal will thus serve an increasingly important and applicable area of mathematics. The journal hopes to further the understanding of the deep relationships between mathematical theory: analysis, topology, geometry and algebra, and the computational processes as they are evolving in tandem with the modern computer.
With its distinguished editorial board selecting papers of the highest quality and interest from the international community, FoCM hopes to influence both mathematics and computation. Relevance to applications will not constitute a requirement for the publication of articles.
The journal does not accept code for review however authors who have code/data related to the submission should include a weblink to the repository where the data/code is stored.