Spectral analysis of time changes of horocycle flows (Q456686): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Rafael Tiedra de Aldecoa / rank | |||
Property / review text | |||
Let \(M\) be a \(C^\infty\) manifold of dimension \(n\geq1\) with volume form \(\Omega\), and let \(\{F_{j,t}\}_{t\in\mathbb R}\), \(j=1,2,\) be \(C^\infty\) complete flows on \(M\) preserving the measure \(\mu_\Omega\) induced by \(\Omega\), and \(X_j\) the associated vector fields. Denote by \(H_j\) the generator of the strongly continuous unitary group \(\{U_j(t)\}_{t\in\mathbb R}\) in the Hilbert space \(\mathcal H\) and by \(\mathcal L_{X_j}\) the corresponding Lie derivative. Consider a \(C^1\) vector field \(fX_1\) where \(f\in C^1(M)\cap L^\infty(M)\). By this, define a unitary group \(\{\tilde U_1(t)\}_{t\in\mathbb R}\) in the Hilbert space \(\tilde H\), the generator \(\tilde H\) and Lie derivative \(\mathcal L_{fX_1}\). Suppose that there exists a \(C^1\) isomorphism \(e\) such that \[ U_2(s)U_1(t)U_2(-s)=U_1(e(s)t). \] \medskip { Assumption 3.2.} [Time Change] The function \(f\in C^2(M)\) is such that \(f\geq\delta_f\) for some \(\delta_f>0\), the functions \(f\), \(\mathcal L_{X_1}(f)\), \(\mathcal L_{X_2}(f)\), \(\mathcal L_{X_1}(\mathcal L_{X_2}f)\) and \(\mathcal L_{X_2}(\mathcal L_{X_2}f)\) belong to \(L^\infty(M)\), and the function \(g:={e'(0)f-\mathcal L_{X_2}(f)\over 2f}\) satisfies \(g\geq\delta_g\) for some \(\delta_g>0\). { Theorem 3.5.} Let \(f\) satisfy Assumption 3.2. Then, \(H\) has purely absolutely continuous spectrum except at 0, where it may have an eigenvalue. \medskip If \(M\) is compact, then Assumption 3.2 reduces to: \medskip { Assumption 4.1.} The functions \(f\in C^2(M)\) and \(f-\mathcal L_{X_2}(f)\in C^1(M)\) are strictly positive. \medskip { Theorem 4.2.} Let \(f\) satisfy Assumption 3.2 with \(e'(0)=1\) (or simply Assumption 4.1 if \(M\) is compact). Then, the self-adjoint operator \(\tilde H\) associated to the vector field \(fX_1\) has purely absolutely continuous spectrum, except at 0, where it has a simple eigenvalue. | |||
Property / review text: Let \(M\) be a \(C^\infty\) manifold of dimension \(n\geq1\) with volume form \(\Omega\), and let \(\{F_{j,t}\}_{t\in\mathbb R}\), \(j=1,2,\) be \(C^\infty\) complete flows on \(M\) preserving the measure \(\mu_\Omega\) induced by \(\Omega\), and \(X_j\) the associated vector fields. Denote by \(H_j\) the generator of the strongly continuous unitary group \(\{U_j(t)\}_{t\in\mathbb R}\) in the Hilbert space \(\mathcal H\) and by \(\mathcal L_{X_j}\) the corresponding Lie derivative. Consider a \(C^1\) vector field \(fX_1\) where \(f\in C^1(M)\cap L^\infty(M)\). By this, define a unitary group \(\{\tilde U_1(t)\}_{t\in\mathbb R}\) in the Hilbert space \(\tilde H\), the generator \(\tilde H\) and Lie derivative \(\mathcal L_{fX_1}\). Suppose that there exists a \(C^1\) isomorphism \(e\) such that \[ U_2(s)U_1(t)U_2(-s)=U_1(e(s)t). \] \medskip { Assumption 3.2.} [Time Change] The function \(f\in C^2(M)\) is such that \(f\geq\delta_f\) for some \(\delta_f>0\), the functions \(f\), \(\mathcal L_{X_1}(f)\), \(\mathcal L_{X_2}(f)\), \(\mathcal L_{X_1}(\mathcal L_{X_2}f)\) and \(\mathcal L_{X_2}(\mathcal L_{X_2}f)\) belong to \(L^\infty(M)\), and the function \(g:={e'(0)f-\mathcal L_{X_2}(f)\over 2f}\) satisfies \(g\geq\delta_g\) for some \(\delta_g>0\). { Theorem 3.5.} Let \(f\) satisfy Assumption 3.2. Then, \(H\) has purely absolutely continuous spectrum except at 0, where it may have an eigenvalue. \medskip If \(M\) is compact, then Assumption 3.2 reduces to: \medskip { Assumption 4.1.} The functions \(f\in C^2(M)\) and \(f-\mathcal L_{X_2}(f)\in C^1(M)\) are strictly positive. \medskip { Theorem 4.2.} Let \(f\) satisfy Assumption 3.2 with \(e'(0)=1\) (or simply Assumption 4.1 if \(M\) is compact). Then, the self-adjoint operator \(\tilde H\) associated to the vector field \(fX_1\) has purely absolutely continuous spectrum, except at 0, where it has a simple eigenvalue. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Makoto Mori / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37D40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 81Q10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58J51 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11F72 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6094026 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
horocycle flow | |||
Property / zbMATH Keywords: horocycle flow / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
time change | |||
Property / zbMATH Keywords: time change / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
spectral analysis | |||
Property / zbMATH Keywords: spectral analysis / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
commutator methods | |||
Property / zbMATH Keywords: commutator methods / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Rafael Tiedra de Aldecoa / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963353680 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1202.4640 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:06, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Spectral analysis of time changes of horocycle flows |
scientific article |
Statements
Spectral analysis of time changes of horocycle flows (English)
0 references
16 October 2012
0 references
Let \(M\) be a \(C^\infty\) manifold of dimension \(n\geq1\) with volume form \(\Omega\), and let \(\{F_{j,t}\}_{t\in\mathbb R}\), \(j=1,2,\) be \(C^\infty\) complete flows on \(M\) preserving the measure \(\mu_\Omega\) induced by \(\Omega\), and \(X_j\) the associated vector fields. Denote by \(H_j\) the generator of the strongly continuous unitary group \(\{U_j(t)\}_{t\in\mathbb R}\) in the Hilbert space \(\mathcal H\) and by \(\mathcal L_{X_j}\) the corresponding Lie derivative. Consider a \(C^1\) vector field \(fX_1\) where \(f\in C^1(M)\cap L^\infty(M)\). By this, define a unitary group \(\{\tilde U_1(t)\}_{t\in\mathbb R}\) in the Hilbert space \(\tilde H\), the generator \(\tilde H\) and Lie derivative \(\mathcal L_{fX_1}\). Suppose that there exists a \(C^1\) isomorphism \(e\) such that \[ U_2(s)U_1(t)U_2(-s)=U_1(e(s)t). \] \medskip { Assumption 3.2.} [Time Change] The function \(f\in C^2(M)\) is such that \(f\geq\delta_f\) for some \(\delta_f>0\), the functions \(f\), \(\mathcal L_{X_1}(f)\), \(\mathcal L_{X_2}(f)\), \(\mathcal L_{X_1}(\mathcal L_{X_2}f)\) and \(\mathcal L_{X_2}(\mathcal L_{X_2}f)\) belong to \(L^\infty(M)\), and the function \(g:={e'(0)f-\mathcal L_{X_2}(f)\over 2f}\) satisfies \(g\geq\delta_g\) for some \(\delta_g>0\). { Theorem 3.5.} Let \(f\) satisfy Assumption 3.2. Then, \(H\) has purely absolutely continuous spectrum except at 0, where it may have an eigenvalue. \medskip If \(M\) is compact, then Assumption 3.2 reduces to: \medskip { Assumption 4.1.} The functions \(f\in C^2(M)\) and \(f-\mathcal L_{X_2}(f)\in C^1(M)\) are strictly positive. \medskip { Theorem 4.2.} Let \(f\) satisfy Assumption 3.2 with \(e'(0)=1\) (or simply Assumption 4.1 if \(M\) is compact). Then, the self-adjoint operator \(\tilde H\) associated to the vector field \(fX_1\) has purely absolutely continuous spectrum, except at 0, where it has a simple eigenvalue.
0 references
horocycle flow
0 references
time change
0 references
spectral analysis
0 references
commutator methods
0 references