  We introduce topological conditions on a broad class of functionals that
ensure that the persistent homology modules of their associated sublevel set
filtration admit persistence diagrams, which, in particular, implies that they
satisfy generalized Morse inequalities. We illustrate the applicability of
these results by recasting the original proof of the Unstable Minimal Surface
Theorem given by Morse and Tompkins in a modern and rigorous framework.
