Extremal functions for trace Trudinger-Moser inequalities - Mengjie Zhang (2019)