大域微分幾何(下):幾何變分學