指数分布 密度函数 微分方程