是磨光子(也可以叫磨光算子),则 (1) , ; (2) 当 时, 。 (1)实际上就是证明被磨光函数磨光后的函数也是光滑的,(2)就是说明这个磨光函数是可以逼近原函数的。 证:(1)证明参考磨光子的部分(磨光子将在未来更新) (2)现证当 时,有 先展开等式左端,对 由于 ,由弱导数的公式可得 结合上面两式,得 这...