On the free boundary for thin obstacle problems with Sobolev variable coefficients

We establish a quasi-monotonicity formula for an intrinsic frequency function related to solutions to thin obstacle problems with zero obstacle driven by quadratic energies with Sobolev W1,p coefficients, where p is bigger than the space dimension. From this, we deduce several regularity and structural properties of the corresponding free boundaries at those distinguished points with finite order of contact with the obstacle. In particular, we prove the rectifiability and the local finiteness of the Minkowski content of the whole free boundary in the case of Lipschitz coefficients.