A new approach to Frobenius-Perron operators
type: Item
instance of: scholarly article
title: A new approach to Frobenius-Perron operators
zbMATH Open document ID: 0819.47043
author: J. Ding
author: William E. Hornor
published in: Journal of Mathematical Analysis and Applications
publication date: 1995-08-17T00:00:00Z
review text: Let \((X,\Sigma, \mu)\) be a complete \(\sigma\)-finite measure space, \(ba(X,\Sigma,\mu)= ba(\mu)\) the set of all finitely additive complex valued measures which vanish on all sets of \(\mu\)-measure 0, \(L^ 1(\mu)= L^ 1(X,\Sigma, \mu)\) and \(L^ \infty(\mu)= L^ \infty(X,\Sigma,\mu)\) denote the usual Lebesgue spaces of complex valued functions on \(X\). Let \(S: X\to X\) be a non-singular transformation: \((S^{-1}(A))= 0\) for each \(A\in \Sigma\) with \(\mu(A)= 0\). The authors define the Koopman operator \(U_ S: L^ \infty(\mu)\to L^ \infty(\mu)\) by the equality \(U_ S\varphi= \varphi\circ S\). They call the conjugate operator \(U^*_ S:= {\mathcal P}_ S: ba(\mu)\to ba(\mu)\) a generalizing Frobenius-Perron operator corresponding to \(S\). Then the classical Frobenius-Perron operator \(P_ S\) is a restriction of \({\mathcal P}_ S\) onto \(L^ 1(\mu)\) (the latter is (up to an isometry) a subspace of \(ba(\mu)\)) and acts by the formula \(P_ S f= h(E(f| S^{- 1}(\Sigma))\circ S^{-1})\), \(f\in L^ 1(\mu)\), where \(E(\cdot| S^{-1}(\Sigma))\) is the conditional expectation operator with respect to the \(\sigma\)-algebra \(S^{-1}(\Sigma)\), \(h= d(\mu\circ S^{- 1})/d\mu\). In these notations the following two theorems should be counted to be main ones in the paper. Theorem 3.3. Let \((X, S^{-1}(\Sigma),\mu)\) be a \(\sigma\)-finite measure space. Then the following statements are equivalent: (a) \(P_ S\) is one-to-one; (b) \(U_ S\) is onto; (c) \(U_ S(L^ \infty(\mu))\) is dense in \(L^ \infty(\mu)\); (d) \(S^{-1}(\Sigma)= \Sigma\); (e) \(E(\cdot| S^{-1}(\Sigma))\) is the identity operator; (f) \(P_ S\) is isometric. Theorem 3.6. Let \((X,\Sigma,\mu)\) be the segment \([0,1]\) equipped with Lebesgue measure. Then \(P_ S\) is an isometry if and only if \(S\) is measure-theoretically one-to-one in the sense that there exists a non- singular transformation \(T\) such that \(T\circ S(x)= x\) a.e. on \([0,1]\). Furthermore, \(P_ T(h)= 1\). At the end a Corollary of spectral…
Mathematics Subject Classification ID: 47B38
Mathematics Subject Classification ID: 46E30
Mathematics Subject Classification ID: 28A10
zbMATH DE Number: 703376
zbMATH Keywords: Koopman operator
zbMATH Keywords: generalizing Frobenius-Perron operator
reviewed by: Alexander A. Mekler
MaRDI profile type: Publication
full work available at URL: jmaa.1994.1405
OpenAlex ID: W2047318035
DOI: 10.1006/JMAA.1994.1405
Recommended article: Q4431011
Recommended article: On the spectrum of Frobenius-Perron operators
Recommended article: The spectral analysis of Frobenius-Perron operators
Recommended article: Q4619854
Recommended article: The projection method for a class of Frobenius-Perron operators
Recommended article: Q4344971
Recommended article: Q4536838
Recommended article: Weighted Frobenius-Perron operators and their spectra
Recommended article: Approximations of Frobenius-Perron operators via interpolation
Recommended article: On Ruelle-Perron-Frobenius operators. I: Ruelle theorem
description: scientific article; zbMATH DE number 703376