Basic properties of Sobolev's spaces on time scales.
The dynamics of a discrete-time predator-prey model with Holling-IV functional response are investigated. It is shown that the model undergoes a flip bifurcation, a Hopf bifurcation and a saddle-node bifurcation by using the center manifold theorem and bifurcation theory. Numerical simulations not only exhibit our results with the theoretical analysis, but also show the complex dynamical behaviors, such as the period-3, 6, 9, 12, 20, 63, 70, 112 orbits, a cascade of period-doubling bifurcations...