{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1593733","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1593733","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1593733","kernelVersion":"v1","immutable":true,"modified":"2025-07-22T15:37:22Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1593733","name":"The structure of shift-invariant subspaces of \\(L^2(\\mathbb{R}^n)\\)","headline":"The structure of shift-invariant subspaces of \\(L^2(\\mathbb{R}^n)\\)","description":"scientific article; zbMATH DE number 1556910","url":"https://portal.mardi4nfdi.de/entity/Q1593733","datePublished":"2001-10-11","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q170061"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q165791"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1006/JFAN.2000.3635","url":"https://doi.org/10.1006/JFAN.2000.3635"},"sameAs":["https://doi.org/10.1006/JFAN.2000.3635"],"comment":"The author of this note investigates the structure of shift invariant spaces in \\(L^2(\\mathbb{R}^n)\\) under the action of some lattice \\(\\Gamma= P\\mathbb{Z}^n\\), where \\(P\\) is a nonsingular \\(n\\) by \\(n\\) real matrix. He treates \\(P\\) as the unit matrix, since general \\(P\\) case follows by standard arguments.   The proofs are followed by the idea from \\textit{H. Helson's} book ``Lectures on invariant subspaces'', New York/London (1964; Zbl 0119.11303) and it also can reproduce the former results by \\textit{R. Ron} and \\textit{Z. Shen} of \\(L_2(\\mathbb{R}^d)\\), Can. J. Math. 47, No. 5, 1051-1094 (1995; Zbl 0838.42016).   The typical theorem is in the following:   Theorem. Suppose \\(V\\subset L^2(\\mathbb{R}^n)\\) is shift invariant and \\(J\\) is its range function. For every shift preserving operator \\(L: V\\to L^2(\\mathbb{R}^n)\\) there exists a measurable range operator \\(R\\) on \\(J\\) such that  \\[ ({\\mathcal T}\\circ L) f(x)= R(x)({\\mathcal T}f(x))\\quad\\text{for a.e. }x\\in\\mathbb{T}^n,\\quad f\\in V,\\tag{\\(*\\)} \\]  where \\({\\mathcal T}: L^2(\\mathbb{R}^n)\\to L^2(\\mathbb{R}^n, \\ell^2(\\mathbb{Z}))\\) defined for \\(f\\in L^2(\\mathbb{R}^n)\\) by  \\[ {\\mathcal T}f: \\mathbb{T}^n\\to \\ell^2(\\mathbb{Z}^n),\\quad{\\mathcal T}f(x)= (\\widehat f(x+ k))_{k\\in \\mathbb{Z}^n}, \\]  is an isometric isomorphic between \\(L^2(\\mathbb{R}^n)\\) and \\(L^2(\\mathbb{T}^n, \\ell^2(\\mathbb{Z}^n))\\). Conversely, given a measurable range operator \\(R\\) on \\(J\\) with \\(\\text{sup ess}_{x\\in\\mathbb{T}^n}\\|R(x)\\|< \\infty\\) there is a bounded shift preserving operator \\(L: V\\to L^2(\\mathbb{R}^n)\\) such that \\((*)\\) holds. The correspondence between \\(L\\) and \\(R\\) is one-to-one under the convention that the range operators are identified if they are equal a.e. Moreover, we have \\(\\|L\\|= \\text{sup ess}_{x\\in\\mathbb{T}^n}\\|R(x)\\|\\).","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1328340"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4286809"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1272846"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5929153"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4003891"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5730397"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4863044"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1366693"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1368853"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1375141"}]},"provenance":{"prov:generatedAtTime":"2025-07-22T15:37:22Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}