We prove that functions defined on a lattice in a finite dimensional torus with bounded finite differences can be smoothly extended to the whole torus, and relate the bounds on the extensions derivatives with bounds on the original functions finite differences.
We derive some formulas that rule the behaviour of finite differences under composition of functions with vector values and arguments.
