Exact minimizer for the couple (L∞, BV) and the one-dimensional analogue of the Rudin-Osher-Fatemi model

We provide a simple algorithm that constructs an exact minimizer for the E-functional E(t,f;L^~,BV)[email protected][email protected]?"L"^"[email protected][email protected][email protected]?"B"V. Here L^~,BV stand for the space of bounded functions and the space of functions with bounded variation on the interval [a,b], respectively. As a corollary we obtain the following formula for the K-functional K(N,f;BV,L^~)@[email protected]?x"[email protected][email protected]?x"[email protected][email protected]?i=1N|f(x"i)-f(x"i"+"1)|. We also discussed the connection between the results and the Rudin-Osher-Fatemi denoising model.