Benyamin Minas, Calder Jeff, Sundaramoorthi Ganesh, Yezzi Anthony
School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, Georgia.
School of Mathematics, University of Minnesota, Minneapolis, USA.
J Math Imaging Vis. 2020 Jan;62(1):10-36. doi: 10.1007/s10851-019-00910-2. Epub 2019 Sep 30.
We further develop a new framework, called , by applying it to calculus of variation problems defined for general functions on , obtaining efficient numerical algorithms to solve the resulting class of optimization problems based on simple discretizations of their corresponding accelerated PDEs. While the resulting family of PDEs and numerical schemes are quite general, we give special attention to their application for regularized inversion problems, with particular illustrative examples on some popular image processing applications. The method is a generalization of momentum, or accelerated, gradient descent to the PDE setting. For elliptic problems, the descent equations are a nonlinear damped wave equation, instead of a diffusion equation, and the acceleration is realized as an improvement in the CFL condition from ~ (for diffusion) to ~ (for wave equations). We work out several explicit as well as a semi-implicit numerical scheme, together with their necessary stability constraints, and include recursive update formulations which allow minimal-effort adaptation of existing gradient descent PDE codes into the accelerated PDE framework. We explore these schemes more carefully for a broad class of regularized inversion applications, with special attention to quadratic, Beltrami, and total variation regularization, where the accelerated PDE takes the form of a nonlinear wave equation. Experimental examples demonstrate the application of these schemes for image denoising, deblurring, and inpainting, including comparisons against primal-dual, split Bregman, and ADMM algorithms.
我们进一步开发了一个名为 的新框架,将其应用于为 上的一般函数定义的变分问题,基于其相应加速偏微分方程的简单离散化,获得有效的数值算法来解决由此产生的一类优化问题。虽然由此产生的偏微分方程族和数值格式相当通用,但我们特别关注它们在正则化反演问题中的应用,并在一些流行的图像处理应用中给出了具体的示例。该方法是动量法或加速梯度下降法在偏微分方程设置下的推广。对于椭圆问题,下降方程是一个非线性阻尼波动方程,而不是扩散方程,并且加速表现为CFL条件从 ~ (对于扩散)提高到 ~ (对于波动方程)。我们推导了几种显式以及半隐式数值格式,以及它们必要的稳定性约束,并包括递归更新公式,这些公式允许以最小的工作量将现有的梯度下降偏微分方程代码改编到加速偏微分方程框架中。我们针对一类广泛的正则化反演应用更仔细地研究这些格式,特别关注二次、贝尔特拉米和全变差正则化,其中加速偏微分方程采用非线性波动方程的形式。实验示例展示了这些格式在图像去噪、去模糊和修复中的应用,包括与原始对偶、分裂Bregman和ADMM算法的比较。