1.

[1] R. A. Adams, Sobolev Spaces, Pure Appl. Math. 65, Academic Press, New York, 1975. MR0450957[1] R. A. Adams, Sobolev Spaces, Pure Appl. Math. 65, Academic Press, New York, 1975. MR0450957

2.

[2] F. Barthe, P. Cattiaux, and C. Roberto, Isoperimetry between exponential and Gaussian, Electron. J. Probab. 12 (2007), no. 44, 1212–1237. 1132.26005 10.1214/EJP.v12-441[2] F. Barthe, P. Cattiaux, and C. Roberto, Isoperimetry between exponential and Gaussian, Electron. J. Probab. 12 (2007), no. 44, 1212–1237. 1132.26005 10.1214/EJP.v12-441

3.

[3] C. Bennett and R. Sharpley, Interpolation of Operators, Pure Appl. Math. 129, Academic Press, Boston, 1988. 0647.46057[3] C. Bennett and R. Sharpley, Interpolation of Operators, Pure Appl. Math. 129, Academic Press, Boston, 1988. 0647.46057

4.

[4] L. Capogna and N. Garofalo, Boundary behaviour of nonnegative solutions of subelliptic equations in NTA domains for Carnot-Carathéodory metrics, J. Fourier Anal. Appl. 4 (1998), no. 4–5, 403–432. 0926.35043 10.1007/BF02498217[4] L. Capogna and N. Garofalo, Boundary behaviour of nonnegative solutions of subelliptic equations in NTA domains for Carnot-Carathéodory metrics, J. Fourier Anal. Appl. 4 (1998), no. 4–5, 403–432. 0926.35043 10.1007/BF02498217

5.

[5] D. A. Carlson, Minimizers for nonconvex variational problems in the plane via convex/concave rearrangements, J. Math. Anal. Appl. 451 (2017), no. 1, 175–196. 1361.49006 10.1016/j.jmaa.2017.01.097[5] D. A. Carlson, Minimizers for nonconvex variational problems in the plane via convex/concave rearrangements, J. Math. Anal. Appl. 451 (2017), no. 1, 175–196. 1361.49006 10.1016/j.jmaa.2017.01.097

6.

[6] D. Chamorro, Improved Sobolev inequalities and Muckenhoupt weights on stratified Lie groups, J. Math. Anal. Appl. 377 (2011), no. 2, 695–709. 1218.22006 10.1016/j.jmaa.2010.11.047[6] D. Chamorro, Improved Sobolev inequalities and Muckenhoupt weights on stratified Lie groups, J. Math. Anal. Appl. 377 (2011), no. 2, 695–709. 1218.22006 10.1016/j.jmaa.2010.11.047

7.

[7] A. Cianchi, L. Pick, and L. Slavíková, Higher-order Sobolev embeddings and isoperimetric inequalities. Adv. Math. 273 (2015), 568–650.[7] A. Cianchi, L. Pick, and L. Slavíková, Higher-order Sobolev embeddings and isoperimetric inequalities. Adv. Math. 273 (2015), 568–650.

8.

[8] W. S. Cohn, N. Lam, G. Lu, and Y. Yang, The Moser-Trudinger inequality in unbounded domains of Heisenberg group and sub-elliptic equations, Nonlinear Anal. 75 (2012), no. 12, 4483–4495. MR2927116 1254.35063 10.1016/j.na.2011.09.053[8] W. S. Cohn, N. Lam, G. Lu, and Y. Yang, The Moser-Trudinger inequality in unbounded domains of Heisenberg group and sub-elliptic equations, Nonlinear Anal. 75 (2012), no. 12, 4483–4495. MR2927116 1254.35063 10.1016/j.na.2011.09.053

9.

[9] W. S. Cohn and G. Lu, Best constants for Moser-Trudinger inequalities on the Heisenberg group, Indiana Univ. Math. J. 50 (2001), no. 4, 1567–1591. 1019.43009 10.1512/iumj.2001.50.2138[9] W. S. Cohn and G. Lu, Best constants for Moser-Trudinger inequalities on the Heisenberg group, Indiana Univ. Math. J. 50 (2001), no. 4, 1567–1591. 1019.43009 10.1512/iumj.2001.50.2138

10.

[10] W. S. Cohn and G. Lu, Best constants for Moser-Trudinger inequalities, fundamental solutions and one-parameter representation formulas on groups of Heisenberg Type, Acta Math. Sin. (Engl. Ser.) 18 (2002), no. 2, 375–390. 1011.22004 10.1007/s101140200159[10] W. S. Cohn and G. Lu, Best constants for Moser-Trudinger inequalities, fundamental solutions and one-parameter representation formulas on groups of Heisenberg Type, Acta Math. Sin. (Engl. Ser.) 18 (2002), no. 2, 375–390. 1011.22004 10.1007/s101140200159

11.

[11] W. S. Cohn, G. Lu, and P. Wang, Sub-elliptic global high order Poincaré inequalities in stratified Lie groups and applications, J. Funct. Anal. 249 (2007), no. 2, 393–424. MR2345338 1129.22007 10.1016/j.jfa.2007.02.007[11] W. S. Cohn, G. Lu, and P. Wang, Sub-elliptic global high order Poincaré inequalities in stratified Lie groups and applications, J. Funct. Anal. 249 (2007), no. 2, 393–424. MR2345338 1129.22007 10.1016/j.jfa.2007.02.007

12.

[12] X. Cui, N. Lam, and G. Lu, Characterizations of Sobolev spaces in Euclidean spaces and Heisenberg groups, Appl. Math. J. Chinese Univ. Ser. B 28 (2013), no. 4, 531–547. 1299.46032 10.1007/s11766-013-3226-3[12] X. Cui, N. Lam, and G. Lu, Characterizations of Sobolev spaces in Euclidean spaces and Heisenberg groups, Appl. Math. J. Chinese Univ. Ser. B 28 (2013), no. 4, 531–547. 1299.46032 10.1007/s11766-013-3226-3

13.

[13] H. Federer and W. Fleming, Normal and integral currents, Ann. of Math. (2) 72 (1960), 458–520. 0187.31301 10.2307/1970227[13] H. Federer and W. Fleming, Normal and integral currents, Ann. of Math. (2) 72 (1960), 458–520. 0187.31301 10.2307/1970227

14.

[14] M. Franců, Higher-order Sobolev-type embeddings on Carnot-Carathéodory spaces, Math. Nachr. 290 (2017), no. 7, 1033–1052. MR3652213 1377.46019 10.1002/mana.201500418[14] M. Franců, Higher-order Sobolev-type embeddings on Carnot-Carathéodory spaces, Math. Nachr. 290 (2017), no. 7, 1033–1052. MR3652213 1377.46019 10.1002/mana.201500418

15.

[15] N. Garofalo and D.-M. Nhieu, Isoperimetric and Sobolev inequalities for Carnot-Carathéodory spaces and the existence of minimal surfaces. Comm. Pure Appl. Math. 49 (1996), no. 10, 1081–1144. 0880.35032 10.1002/(SICI)1097-0312(199610)49:10<1081::AID-CPA3>3.0.CO;2-A[15] N. Garofalo and D.-M. Nhieu, Isoperimetric and Sobolev inequalities for Carnot-Carathéodory spaces and the existence of minimal surfaces. Comm. Pure Appl. Math. 49 (1996), no. 10, 1081–1144. 0880.35032 10.1002/(SICI)1097-0312(199610)49:10<1081::AID-CPA3>3.0.CO;2-A

16.

[16] L. Gross, Logarithmic Sobolev inequalities, Amer. J. Math. 97 (1975), no. 4, 1061–1083. 0318.46049 10.2307/2373688[16] L. Gross, Logarithmic Sobolev inequalities, Amer. J. Math. 97 (1975), no. 4, 1061–1083. 0318.46049 10.2307/2373688

17.

[17] L. Guangzhou, Improved Gagliardo-Nirenberg inequalities on Heisenberg type groups, Acta Math. Sci. Ser. B (Engl. Ed.) 31 (2011), no. 4, 1583–1590. 1249.22007 10.1016/S0252-9602(11)60302-0[17] L. Guangzhou, Improved Gagliardo-Nirenberg inequalities on Heisenberg type groups, Acta Math. Sci. Ser. B (Engl. Ed.) 31 (2011), no. 4, 1583–1590. 1249.22007 10.1016/S0252-9602(11)60302-0

18.

[18] L. Hörmander, Hypoelliptic second order differential equations, Acta Math. 119 (1967), 147–171.[18] L. Hörmander, Hypoelliptic second order differential equations, Acta Math. 119 (1967), 147–171.

19.

[19] D. Jerison and C. E. Kenig, Boundary behavior of harmonic functions in nontangentially accessible domains, Adv. Math. 46 (1982), 80–147. 0514.31003 10.1016/0001-8708(82)90055-X[19] D. Jerison and C. E. Kenig, Boundary behavior of harmonic functions in nontangentially accessible domains, Adv. Math. 46 (1982), 80–147. 0514.31003 10.1016/0001-8708(82)90055-X

20.

[20] D. Jerison D. and J. M. Lee, Extremals for the Sobolev inequality on the Heisenberg group and the CR Yamabe problem, J. Amer. Math. Soc. 1 (1988), no. 1, 1–13. 0634.32016 10.1090/S0894-0347-1988-0924699-9[20] D. Jerison D. and J. M. Lee, Extremals for the Sobolev inequality on the Heisenberg group and the CR Yamabe problem, J. Amer. Math. Soc. 1 (1988), no. 1, 1–13. 0634.32016 10.1090/S0894-0347-1988-0924699-9

21.

[21] E. Jiménez Fernández, E. A. Sánchez Pérez, and D. Werner, Approximation of integration maps of vector measures and limit representations of Banach function spaces, Ann. Polon. Math. 120 (2017), no. 1, 63–81. MR3726192 10.4064/ap170407-21-9[21] E. Jiménez Fernández, E. A. Sánchez Pérez, and D. Werner, Approximation of integration maps of vector measures and limit representations of Banach function spaces, Ann. Polon. Math. 120 (2017), no. 1, 63–81. MR3726192 10.4064/ap170407-21-9

22.

[22] P. W. Jones, Quasiconformal mappings and extendability of functions in Sobolev spaces, Acta Math. 147 (1981), no. 1–2, 71–88. 0489.30017 10.1007/BF02392869 euclid.acta/1485890130[22] P. W. Jones, Quasiconformal mappings and extendability of functions in Sobolev spaces, Acta Math. 147 (1981), no. 1–2, 71–88. 0489.30017 10.1007/BF02392869 euclid.acta/1485890130

23.

[23] M. Kobilarov, K. Crane and M. Desbrun, Lie group integrators for animation and control of vehicles, ACM Trans. Graph. 28 (2009), no. 2, available online at  https://www.cs.cmu.edu/~kmcrane/Projects/LieGroupIntegrators/paper.pdf (accessed 22 August 2018).[23] M. Kobilarov, K. Crane and M. Desbrun, Lie group integrators for animation and control of vehicles, ACM Trans. Graph. 28 (2009), no. 2, available online at  https://www.cs.cmu.edu/~kmcrane/Projects/LieGroupIntegrators/paper.pdf (accessed 22 August 2018).

24.

[24] I. V. Kondrachov, Sur certaines propriétés des fonctions dans l’espace, Dokl. Akad. Nauk SSSR 48 (1945), 535–538. 0061.26202[24] I. V. Kondrachov, Sur certaines propriétés des fonctions dans l’espace, Dokl. Akad. Nauk SSSR 48 (1945), 535–538. 0061.26202

25.

[25] J. Manfredi and V. Vera de Serio, Rearrangements in Carnot groups, preprint,  arXiv:1805.10595v1 [math.AP]. 1805.10595v1[25] J. Manfredi and V. Vera de Serio, Rearrangements in Carnot groups, preprint,  arXiv:1805.10595v1 [math.AP]. 1805.10595v1

26.

[26] V. G. Maz’ya, Classes of domains and imbedding theorems for function spaces (in Russian), Dokl. Akad. Nauk. SSR 133 (1960), 527-530; English translation in Soviet Math. Dokl. 1 (1960), 882–885.[26] V. G. Maz’ya, Classes of domains and imbedding theorems for function spaces (in Russian), Dokl. Akad. Nauk. SSR 133 (1960), 527-530; English translation in Soviet Math. Dokl. 1 (1960), 882–885.

27.

[27] V. G. Maz’ya, On $p$-conductivity and theorems on embedding certain functional spaces into a $C$-space (in Russian), Dokl. Akad. Nauk. SSR 140 (1961), 299–302; English translation in Soviet Math. Dokl. 2 (1961), 1200–1203.[27] V. G. Maz’ya, On $p$-conductivity and theorems on embedding certain functional spaces into a $C$-space (in Russian), Dokl. Akad. Nauk. SSR 140 (1961), 299–302; English translation in Soviet Math. Dokl. 2 (1961), 1200–1203.

28.

[28] K. Moen and V. Naibo, Higher-order multilinear Poincaré and Sobolev inequalities in Carnot groups, Potential Anal. 40 (2014), no. 3, 231–245. 1303.26019 10.1007/s11118-013-9347-8[28] K. Moen and V. Naibo, Higher-order multilinear Poincaré and Sobolev inequalities in Carnot groups, Potential Anal. 40 (2014), no. 3, 231–245. 1303.26019 10.1007/s11118-013-9347-8

29.

[29] R. Monti and D. Morbidelli, Regular domains in homogeneous groups, Trans. Amer. Math. Soc. 357 (2005), no. 8, 2975–3011. 1067.43003 10.1090/S0002-9947-05-03799-2[29] R. Monti and D. Morbidelli, Regular domains in homogeneous groups, Trans. Amer. Math. Soc. 357 (2005), no. 8, 2975–3011. 1067.43003 10.1090/S0002-9947-05-03799-2

30.

[30] A. Nagel, E. M. Stein, and S. Wainger, Balls and metrics defined by vector fields, I: Basic properties, Acta Math. 155 (1985), no. 1–2, 103–147. 0578.32044 10.1007/BF02392539 euclid.acta/1485890398[30] A. Nagel, E. M. Stein, and S. Wainger, Balls and metrics defined by vector fields, I: Basic properties, Acta Math. 155 (1985), no. 1–2, 103–147. 0578.32044 10.1007/BF02392539 euclid.acta/1485890398

31.

[31] Y. Qiaohua, On critical cases of Sobolev’s inequalities for Heisenberg groups, Acta Math. Sci. Ser. B Engl. Ed. 32 (2012), no. 4, 1584–1592. 1274.22008 10.1016/S0252-9602(12)60125-8[31] Y. Qiaohua, On critical cases of Sobolev’s inequalities for Heisenberg groups, Acta Math. Sci. Ser. B Engl. Ed. 32 (2012), no. 4, 1584–1592. 1274.22008 10.1016/S0252-9602(12)60125-8

32.

[32] M. A. Ragusa, Embeddings for Morrey-Lorentz spaces, J. Optim. Theory Appl. 154 (2012), no. 2, 491–499. 1270.46025 10.1007/s10957-012-0012-y[32] M. A. Ragusa, Embeddings for Morrey-Lorentz spaces, J. Optim. Theory Appl. 154 (2012), no. 2, 491–499. 1270.46025 10.1007/s10957-012-0012-y

33.

[33] F. Rellich, Ein Satz über mittlere Konvergenz, Nachr. Göttingen (1930), 30–35. 56.0224.02[33] F. Rellich, Ein Satz über mittlere Konvergenz, Nachr. Göttingen (1930), 30–35. 56.0224.02

34.

[34] L. Slavíková, Almost-compact embeddings. Math. Nachr. 285 (2012), no. 11–12, 1500–1516.[34] L. Slavíková, Almost-compact embeddings. Math. Nachr. 285 (2012), no. 11–12, 1500–1516.

35.

[35] L. Slavíková, Compactness of higher-order Sobolev embeddings. Publ. Mat. 59 (2015), no. 2, 373–448.[35] L. Slavíková, Compactness of higher-order Sobolev embeddings. Publ. Mat. 59 (2015), no. 2, 373–448.

36.

[36] G. Zhang, Ground state solitary waves for the planar Schrodinger-Poisson system, Appl. Anal. 96 (2017), no. 9, 1516–1527. 1375.35160 10.1080/00036811.2016.1276174[36] G. Zhang, Ground state solitary waves for the planar Schrodinger-Poisson system, Appl. Anal. 96 (2017), no. 9, 1516–1527. 1375.35160 10.1080/00036811.2016.1276174