Reducibility for a linear wave equation with Sobolev smooth fast-driven potential

We prove a reducibility result for a linear wave equation with a time quasi-periodic driving on the one dimensional torus. The driving is assumed to be fast oscillating, but not necessarily of small size. Provided that the external frequency vector is sufficiently large and chosen from a Cantor set of large measure, the original equation is conjugated to a time-independent, block-diagonal one. With the present paper we extend the previous work \cite{FM19} to more general assumptions: we replace the analytic regularity in time with Sobolev one; the potential in the Schr\"odinger operator is a non-trivial smooth function instead of the constant one. The key tool to achieve the result is a localization property of each eigenfunction of the Schr\"odinger operator close to a subspace of exponentials, with a polynomial decay away from the latter.