If the TopologyPreservingSimplifer is based upon the Douglas-Peucker algorithm, as it says at vividsolutions (creators of JTS), it will not generally change polygon areas. Each polygon must, however, have resulting sequences of tiny gains and losses (balancing out overall).
If you are focusing on a single polygon, or a small group of polygons, and you allow them to expand but not not shrink (at the expense of their neighbors) then you are introducing bias into your analysis.
addendum
Thus, i believe your original choice, the TopologyPreservingSimplifer, is the correct solution.