Alvino–Ferone–Trombetti conjecture on extremal functions for Hardy–Sobolev–Maz'ya inequalities
Alvino–Ferone–Trombetti's conjecture. Every extremal function uuu for inequality (1.1) is of the form