简述有限元分析求得的位移解收敛于真实解得下界的条件。