added proof of half-density advection equation implies Louiville
edited analysis portion more