We establish \(\textrm{C}^{\infty }\) -partial regularity results for relaxed minimizers of strongly quasiconvex functionals \(\begin{aligned} \mathscr {F}[u;\Omega ]:=\int _{\Omega }F(\nabla u)\textrm{d}x,\qquad u:\Omega \rightarrow \mathbb {R}^{N}, \end{aligned}\) subject to a q-growth condition \(|F(z)|\leqq c(1+|z|^{q})\) , \(z\in \mathbb {R}^{N\times n}\) , and natural p-mean coercivity conditions on \(F\in \textrm{C}^{\infty }(\mathbb {R}^{N\times n})\) for the basically optimal exponent range \(1\leqq p\leqq q<\min \{\frac{np}{n-1},p+1\}\) . With the p-mean coercivity condition being stated in terms of a strong quasiconvexity condition on F, our results include pointwise (p, q)-growth conditions as special cases. Moreover, we directly allow for signed integrands which is natural in view of coercivity considerations and hence the direct method, but is novel in the study of relaxed problems. In the particular case of classical pointwise (p, q)-growth conditions, our results extend the previously known exponent range from Schmidt’s foundational work (Schmidt in Arch Ration Mech Anal 193:311–337, 2009) for non-negative integrands to the maximal range for which relaxations are meaningful, moreover allowing for \(p=1\) . We also emphasize that our results apply to the canonical class of signed integrands and do not rely in any way on measure representations à la Fonseca and Malý (Ann Inst Henri Poincaré Anal Non Linéaire 14:309–338, 1997).
