Value function of variational regularization (source code)

= Value function of variational regularization
{title2=$\Psi(\alpha)=\inf_u[D(u)+\alpha J(u)]$}

For a nonnegative regulariser $J$, the optimal objective value is non-decreasing and <concave> in the positive regularization parameter. If $J(0)=0$ and $D(0)<\infty$, comparison with zero makes it finite and a <locally Lipschitz function> away from parameter zero.