In fact, L is the time-independent Schrödinger operator (disregarding constants) with potential ϕ ϕ ( x , t ) . It can be shown that due to this Lax formulation that in fact the eigenvalues do not depend on t .