展开 狄利克雷函数定积分是否存在