各向异性椭圆方程障碍问题弱解的拟最小化性质