Main Question or Discussion Point
it is a well known result, but it is a rigorious result or not?
I don't believe this. Even the Bloch's theorem is not dealt with rigorously, so how could the Anderson localization then? The Anderson localization looks like more complicated phenomenon than Bloch waves.In 1D, yes, it is fully rigorous. A quick google brings up references and papers --- too many to list here.