It is quite easy to construct a dynamical system which has a physical measure with a positive Lyapunov exponent and zero entropy, just a figure $\infty$ system. By Pesin's entropy formula such a measure can not be a SinaiRuelleBowen measure. Now my question is, if there exists a system with a physical measure with positive entropy that is not a SRBmeasure. I think the answer is Yes, but I did not manage the construction of such a system. (Perhaps I have to add that I am interested in ergodic and hyperbolic physical measures that are not SRB)
1 Answer
Yes. The simplest construction is to let $f$ be the figureeight system so that $\delta_p$ is a physical nonSRB measure (where $p$ is the saddle point) and let $g$ be an Anosov diffeomorphism with SRB measure $\mu$ (a hyperbolic toral automorphism with Lebesgue measure will do the job); then consider the product system $f\times g$. The product measure $\delta_p\times \mu$ is physical, not SRB, and has positive entropy.
Of course that example feels like cheating and is almost certainly not the sort of thing you had in mind. A more informative example comes from
Hofbauer, Franz; Keller, Gerhard, Quadratic maps without asymptotic measure, Commun. Math. Phys. 127, No. 2, 319337 (1990). ZBL0702.58034.
Theorem 2 in that paper says that if one considers a full, continuous family of Sunimodal interval maps (for example, the family of quadratic maps $\{f_a\colon [0,1]\to [0,1] : a\in [0,4]\}$ given by $f_a(x) =ax(1x)$), then for every $0 < h < \log(\frac{1+\sqrt{5}}2)$ there are uncountably many parameter values with an ergodic measure $\nu$ that is singular to Lebesgue, has entropy $h$, and is the limit of the empirical measures for Lebesguea.e. $x$ (in other words, it is physical).
I have not read the paper carefully enough to have any insight into how those parameters are chosen, beyond knowing that it has something to do with kneading sequences.
It is then reasonable to ask about diffeomorphisms (as opposed to noninvertible interval maps) and conjecture that similar examples exist in the Hénon family of maps, but I do not know of any results in this direction and did not find any in a quick search.

1$\begingroup$ Many thanks for this detailed answer! $\endgroup$ May 3, 2020 at 13:29