Consider an expanding map T:A contained in Rn to Rn with TA contains/implies A strictly. Pianigiani and Yorke have shown that under some suitable conditions there exists a conditionally invariant probability measure mu f, with density f satisfying Pf= alpha f for the Perron-Frobenius operator P. We prove that the conditional probability measure of staying in A when the evolution occurs with probability mu f, i.e. mu f(B intersection T-nA mod T-nA) to n to infinity nu (B) for any Borel set B contained in/implied by A, is a T-invariant probability measure nu on the limit Cantor set K= intersection n>or=0T-nA which is Gibbsian with potential log mod detDTx mod .
Read full abstract