Text this: Equilibrium validation in models for pattern formation based on Sobolev embeddings.