Apply the direct method in the calculus of variations to . Since , take a minimizing sequence with . ThenThus 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, henceTherefore 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
There are currently no matching articles.