狄利克雷函数解析式推