狄利克雷函数是否有原函数