Tameness for maps is one of the main ingredients for the Nash-Moser inverse function theorem. A linear map $f: X \to Y$ between Fŕechet spaces with fixed seminorms is called tame if we have an estimate of the form 
$$ ||f(x)||\_k \leq C ||x||\_{k+r}$$
for some $C$ and $r$ (and all $k$), where $|| \cdot ||\_k$ denotes the $k$-th seminorm. Hamilton (1982) shows that every partial differential operator is a tame map and, moreover, he claims that many inverses of partial differential operators are also tame. A few pages later, he shows that the Green's operator of an elliptic differential operator is tame.


What are examples of other differential operators with tame inverses? (In particular, is there any hope that inverses to hyperbolic operators are tame?)



Inverse of partial differential operator as a smooth tame map
In fact, it's hard to find an example of a PDO which has a right inverse that is *not* smooth tame. It's certainly true for the standard types: elliptic, hyperbolic, and parabolic.


On the other hand, why do you need this for hyperbolic operators? Local solvability of a quasilinear hyperbolic PDE can be proved using the standard implicit function theorem on a Banach space (or, equivalently, the contraction mapping argument). Moreover, even a fully nonlinear hyperbolic PDE can be turned into a quasilinear hyperbolic PDE by "prolongation" (add new unknown functions that are set equal to the partial derivatives of the original unknown functon). In practice, Nash-Moser is rarely needed for most useful or interesting PDE's.


But if you really want to see the smooth tame estimates, you can look at the appendix of:


Klainerman, Sergiu
Global existence for nonlinear wave equations. 
Comm. Pure Appl. Math. 33 (1980), no. 1, 43–101.


