Some vanishing theorems on $(p,q)$ double form and curvature operator of the second kind

We establish a Bochner formula for double forms in terms of the curvature operator of the second kind. As an application, we prove that a complete Riemannian manifold of dimension $n \ge 4$ with harmonic Weyl tensor and $\frac{3(n-1)}{4}$-nonnegative curvature operator of the second kind is either g