Apply the direct method in the calculus of variations to . Since , take a minimizing sequence with . Then
Thus the sequence is bounded in the bounded-variation space. The bounded-variation compactness gives a subsequence converging in the strong convergence sense in to . Boundedness of the linear operator gives strongly in , so the residual norm converges. The variation term is sequentially lower semicontinuous, hence
Therefore attains the infimum. The useful inverse hypothesis is the lower bound ; a bounded inverse on the range already suffices for this proof. No uniqueness follows from the nonsquared fidelity.

Articles by others on the same topic (0)

There are currently no matching articles.