Doubtful that this paper is the first analytic solution. There's a light artist who exhibited lenses like this at NYC's Museum of Math several years ago. They turned flashlight beams into pictures. At the artist's talk he passed around a wavy lens and mentioned that one of the surfaces was solved in closed form. Looked like second-to-bottom lens on the page http://zintaglio.com/lens.html
I voted for your comment because it's interesting but I don't agree that the example you linked is the same problem as solved in this post. But that is an opinion because I'm not informed enough to know for sure. Meanwhile I did dig up a paper related to mapping radiance with a shaped lens like the artist you linked. It's a cool topic!
https://arxiv.org/pdf/1701.03076.pdf