Transfer operator, WKB-analysis