Turnpike in infinite dimension

Let Φ be a correspondence from a normed vector space X into itself, let u : X → R be a function, and let I be an ideal on N. In addition, assume that the restriction of u on the fixed points of Φ has a unique maximizer η*. Then, we consider feasible paths (x0, x1,.) with values in X such that xn+1 ∈ Φ(xn), for all n ≥ 0. Under certain additional conditions, we prove the following turnpike result: every feasible path (x0, x1,.) which maximizes the smallest I-cluster point of the sequence (u(x0), u(x1),.) is necessarily I-convergent to η*. We provide examples that, on the one hand, justify the hypotheses of our result and, on the other hand, prove that we are including new cases which were previously not considered in the related literature.