変分法における直接法