Analysis of a Variational Approach to Progressive Lens Design. - Fadil Santosa; Jing Wang 012; Robert Gulliver (SIAM J. Appl. Math., 2003)