Using theorems for calculus of variations, the algorithm of image restoration is strictly proved.

• 用变分法的理论重新证明了无约束图像恢复算法的结果。