{"entities":{"Q2455316":{"pageid":2466059,"ns":120,"title":"Item:Q2455316","lastrevid":79077119,"modified":"2026-05-06T13:05:41Z","type":"item","id":"Q2455316","labels":{"en":{"language":"en","value":"Stability in the Liouville theorem on Heisenberg groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5203081"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455316$BE79A544-98F0-4A40-8BF6-F5518137C550","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce83c926e4473f5cff4d3ce0ebd1fb5ac35c1ae9","datavalue":{"value":{"text":"Stability in the Liouville theorem on Heisenberg groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2455316$05E4038A-7A8E-4FC4-88B6-5F24018D11BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c9516016f60074dbc6ba60eaff2c36a4fdf002a","datavalue":{"value":"1126.43005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455316$033A29D1-BD74-470A-B358-C5F4F90168EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e7c3db060ac9f39b5ed4923848ae77184b874","datavalue":{"value":{"entity-type":"item","numeric-id":358209,"id":"Q358209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455316$1A141784-DB86-4101-913A-1692B79C3339","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455316$6F145F62-1DBC-4BBC-A869-580ACBACE2A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d51bff7266eb0f39f18b2fdc3f96cb8c3e56c83c","datavalue":{"value":{"time":"+2007-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2455316$B569751F-D4E9-43E9-A5F1-64FA67ACEAC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92fc661574b3c922f6d34e12cec4a84d247c42e3","datavalue":{"value":"Let \\(H^n\\) be the Heisenberg group which can be identified with \\(R^{2n+1}\\). Any point \\(x\\in H^n\\) can be represented as \\((z,t)\\in C^n \\times R\\) where \\(z=(x_1+i x_{n+1},x_2+ix_{n+2},\\dots,x_n+ix_{2n}) \\in C^n\\) and \\(t=x_{2n+1}\\in R\\). The group law is then defined as   \\[ x \\cdot y=(z,t)\\cdot(w,s)=(z+w,t+s+2\\Im(z,w)). \\]   The vector fields  \\[ \\begin{aligned} X_i &=\\frac{\\partial}{\\partial x_i}+2x_{i+n}\\frac{\\partial} {\\partial x_{2n+1}},\\quad i=1,2,\\dots,n,\\\\ X_{i+n}&= \\frac{\\partial}{\\partial x_{i+n}}-2x_i\\frac{\\partial}{\\partial x_{2n+1}},\\quad i=1,2,\\dots,n,\\\\ X_{2n+1}&= \\frac{\\partial}{\\partial x_{2n+1}} \\end{aligned} \\]  form the standard basis in the Lie algebra \\(H_n\\). The norm \\(\\rho(x)=(|z|^4+t^2)^{1/4}\\) determines a Heisenberg metric according to the rule \\(\\rho(x,y)=\\rho(x^{-1}\\cdot y)\\) for any two points \\(x,y\\in H^n\\). Let \\(B=B(x,r)=\\{y\\in H^n\\mid\\rho(x,y) <r\\}\\) be a ball of radius \\(r>0\\) centered at the point \\(x\\in H^n\\), and let \\(v=2n+2\\) be the homogeneous dimension. Let \\(\\Omega\\) be a domain in \\(H^n\\). The Sobolev space \\(W^1_q(\\Omega)\\), where \\(1 \\leq q\\leq\\infty\\), consists of locally integrable functions \\(f:\\Omega\\to R\\) that have generalized derivatives \\(X_if\\) for \\(i=1,2,\\dots,2n\\) and \\(\\|f\\|_{W^1_q (\\Omega)}=\\|f\\|_{q,\\Omega}+\\|\\nabla_Lf\\|_{q,\\Omega}<\\infty\\) where \\(\\nabla_Lf= (X_1f,X_2f,\\dots,X_{2n}f)\\). If \\(f\\in W_q^1(U)\\) for every open set \\(U\\) with \\(\\overline U\\subset\\Omega\\), then \\(f\\) is said to be of class \\(W^1_{q,\\text{loc}} (\\Omega)\\). A mapping \\(f:\\Omega\\to H^n\\), where \\(\\Omega\\subset H^n\\), belongs to the class \\(W^1_{q,\\text{loc}} (\\Omega,H^n)\\) if the following conditions hold:   (a) for any \\(y\\in H^n\\), the function \\([f]_y(x)=\\rho(f(x),y)\\) belongs to the class \\(W^1_{q, \\text{loc}}(\\Omega)\\);  (b) the family of functions \\(\\{\\nabla_L [f]_y \\}_{y\\in H^n}\\) has a majorant in \\(L_{q,\\text{loc}}(\\Omega)\\); that is, there exists a function \\(g\\in L_{q,\\text{loc}}(\\Omega)\\) such that it does not depend on \\(y\\) and \\(|\\nabla_L[f]_y(x)|\\leq g(x)\\) for almost all \\(x\\in \\Omega\\).   For any mapping \\(f\\) of Sobolev class, the formal horizontal differential \\(D_hf=(X_i f_j)_{i,j=1,2,\\dots,2n}\\) generates a homomorphism \\(Df:H_n\\to H_n\\) of the Lie algebra. The determinant of the matrix \\(Df(x)\\) is called the (formal) Jacobian of the mapping \\(f\\) and denoted by \\(J(x,f)\\).   Let \\(f:U\\to H^n\\) be a mapping of class \\(W^1_{v,\\text{loc}}(U,H^n)\\) defined on an open set \\(U\\subset H^n\\). We say that \\(f\\) is a mapping with bounded distortion if there exists a constant \\(K\\geq 1\\) such that \\(|D_hf(x)|^v\\leq KJ(x,f)\\) almost everywhere on \\(U\\). The least constant \\(K\\) is called external distortion coefficient of the mapping \\(f\\) and denoted \\(K_0(f)\\). The number \\(K_0(f)^{\\frac{1} {n+1}}\\) is called the (linear) distortion coefficient of \\(f\\) and denoted by \\(K(f)\\).   Let \\(\\text{SU}(1,n+1)=\\{g\\in \\text{SU}(n+2):\\langle gy,gy\\rangle= \\langle y,y\\rangle\\}\\) where \\(\\langle y,y\\rangle=y_0 \\overline y_0-\\sum^{n+1}_{i=1}y_i\\overline y_i\\). The group \\(\\text{SU}(1,n+1)\\), together with the reflection \\((z,t)\\mapsto(\\overline z,-t)\\), generates the group \\(M_n\\) of M\u00f6bius transformations. The main result of this paper is the following theorem on local stability in the Sobolev norm.   Theorem 1. There exist positive constants \\(A_0\\) and \\(\\varepsilon_0\\) such that, for every \\(n>1\\), any mapping \\(f:U \\to H^n\\) with bounded distortion \\(K= K(f)\\leq 1+\\varepsilon_0\\) belongs to \\(W^1_{p, \\text{loc}}(U,H^n)\\) for all \\(p\\in[v,\\frac{A_0}{\\sqrt{K-1}})\\). Moreover, for any ball \\(B=B(a,r)\\) such that \\(B(a,8r)\\subset U\\), there exists a mapping \\(\\varphi\\in M_n\\) such that \\(\\varphi\\neq\\infty\\) on \\(B(a,\\frac{10r}{3})\\),   \\[ \\rho(\\varphi^{-1} \\circ f(x),x)\\leq C_1r\\sqrt{K-1}\\text{ for all }x\\in B\\biggl(a,\\frac{8r}{9}\\biggr), \\]    \\[ \\|D_h (\\varphi^{-1}\\circ f)-I\\|_{p,B}\\leq C_2r^{\\frac{v}{p}}(K-1)^{\\frac{v+p}{2p}}, \\]   \\[ \\|D_hf-D_h\\varphi\\|_{p,B}\\leq C_3\\sqrt{K-1}\\|D_h\\varphi\\|_{p,B}, \\]   for any number \\(p\\in[v,\\frac{A_0(1-\\delta)}{\\sqrt{K-1}})\\), where \\(\\delta>0\\).   Moreover, there exists a number \\(A_1\\in(v,\\frac{A_0}{\\sqrt{K-1}})\\) such that   \\[ \\|D_h (\\varphi^{-1}\\circ f)-I\\|_{p,B}\\leq C_4r^{v/p}(K-1) \\]   for all \\(p\\in [v, A_1)\\).   The constants \\(C_1,\\dots, C_4\\) depend only on \\(n,p\\), and \\(\\delta\\).   Theorem 1 can be used to prove stability in the Sobolev norm on John domains. A domain \\(U\\subset H^n\\) is called a John domain with inner radius \\(\\alpha\\) and outer radius \\(\\beta\\), or a domain of class \\(J(\\alpha,\\beta)\\), where \\(0<\\alpha\\leq \\beta<\\infty\\), if there exists a point \\(p_0\\in U\\) such that any other point \\(p \\in U\\) can be joined with \\(p_0\\) in \\(U\\) by a rectifiable curve \\(\\gamma(s)\\), where \\(0\\leq s\\leq l\\leq \\beta\\), \\(\\gamma(0)=p\\), \\(\\gamma(l)=p_0\\) and \\(\\rho(\\gamma(s), \\partial u)\\geq\\frac{\\alpha}{l}s\\) for all \\(s\\in[0,l]\\).   Theorem 2. Let \\(U\\) be a domain of class \\(J(\\alpha,\\beta)\\) in \\(H^n\\), where \\(n>1\\). Then there exist positive numbers \\(A_2,A_3\\) such that for any mapping \\(f:U \\to H^n\\) with bounded distortion \\(K=K(f)\\), there exists a mapping \\(\\varphi\\in M_n\\) for which the following conditions hold:   (a) if \\(K<1 +A_2(\\frac{\\alpha}{\\beta})^2\\), then \\(\\rho(\\varphi^{-1}\\circ f(x),x)\\leq C_1\\frac{\\beta^2}{\\alpha}\\sqrt{K-1}\\) for all \\(x\\in U\\);  (b) if \\(K<1 +\\varepsilon_0\\) and \\(p\\in[v,\\min\\{\\frac{A_3}{K-1} (\\frac{\\alpha} {\\beta})^{v+3},\\frac{A_0(1-\\delta)}{\\sqrt{K-1}}\\})\\), where \\(\\delta >0\\), then  \\[ \\int_U|D_h(\\varphi^{-1}\\circ f)(x)-I|^p\\,dx\\leq C_2\\beta^v(K-1)^{\\frac {v+p}{2}}, \\]  \\(\\int_U|D_h(\\varphi^{-1}\\circ f)(x)-I|^p\\,dx\\leq C_3\\beta^v(K-1)^p\\) provided that \\(p<A_1\\). The constant \\(C_1\\) depends only on \\(n\\), the constants \\(C_2\\) and \\(C_3\\) depend on \\(\\frac {\\beta}{\\alpha}\\), \\(n,p\\), and \\(\\delta\\), the constants \\(\\varepsilon_0, A_0\\) and \\(A_1\\) are the same as in Theorem 1.   For John domains in the group \\(H^1\\), the following theorem is valid.   Theorem 3. Let \\(U\\) be a domain of class \\(J(\\alpha,\\beta)\\) in \\(H^1\\). Then there exists an \\(\\varepsilon=\\varepsilon(\\frac{\\beta}{\\alpha})>0\\) and functions \\(\\lambda_i:[0, \\varepsilon)\\to[0,\\infty)\\) such that \\(\\lambda_i(t)\\to 0\\) as \\(t\\to 0\\) for \\(i=0,1\\) and, for a mapping \\(f:U\\to H^1\\) with bounded distortion \\(K=K(f)<1+\\varepsilon\\), there exists a mapping \\(\\varphi\\in M_1\\) such that \\(\\rho(\\varphi^{-1}\\circ f(x), x)\\leq\\frac{\\beta^2} {\\alpha}\\lambda_0(K-1)\\) for all \\(x\\in U\\) and \\(\\int_U|D_h (\\varphi^{-1} \\circ f)(x)-I|^pdx\\leq C\\beta^4(\\lambda_1(K-1))^p\\) for all \\(p\\in[4,\\min \\{\\frac{E_1}{(\\lambda_0(K-1))^2}(\\frac{\\alpha}{\\beta})^7,\\frac{E_2} {\\lambda_1(K-1)}\\})\\). The constants \\(E_1\\) and \\(E_2\\) are positive, and \\(C\\) depends on \\(\\frac{\\alpha}{\\beta}\\) and \\(p\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2455316$7BFAF4B5-87B2-4C30-B0C8-52FD9A467B85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbed850c915f37773cd66c505b6620e577f975ef","datavalue":{"value":"43A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455316$C94C097C-AAFC-42C6-9138-BCA10B33605D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f094898204ab1c32f3988c519485b552a7de5c","datavalue":{"value":"22E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455316$C5991354-A2AD-4537-AF48-33FCAE1A58B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3ab935704d45437b3b725c9364bc0f78f1d379","datavalue":{"value":"35H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455316$6D97C429-51D4-4ACD-B263-2B37A64F4394","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cba077908fe86b4facb8122a3f5d497caad96e8c","datavalue":{"value":"5203081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455316$39A86EFC-02D7-49B1-99E7-845F8923656F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e08e1416b8132cb9fc28a772e91c83c4d5f93c76","datavalue":{"value":{"entity-type":"item","numeric-id":590725,"id":"Q590725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455316$753C0CB2-6370-462C-BFEF-08438887527C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455316$970BDD2F-0254-4346-A020-CDBCCA74DF76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5c11bbc5746d4562b814d71f3e4924184b69c5","datavalue":{"value":{"entity-type":"item","numeric-id":5391570,"id":"Q5391570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5daba3f31459db1f24afe0c8b3357fc8b3967692","datavalue":{"value":{"amount":"+0.8998526334762573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2455316$1BD95CEF-73FB-4EF1-91B9-1FF5442FCBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4386b5546315c281882edd45ccf87378c654ff09","datavalue":{"value":{"entity-type":"item","numeric-id":3545527,"id":"Q3545527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d8ec57bc43686c7ebf55b4ff0b627c67e0d7db","datavalue":{"value":{"amount":"+0.8679682016372681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2455316$C24C85FC-B655-47C1-9B54-216150D73765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b388a371f845a0ec47042b03dfb22bf13c3d775b","datavalue":{"value":{"entity-type":"item","numeric-id":3544717,"id":"Q3544717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e5c055fe1a7d6373ddba843af308cde2c72e9c","datavalue":{"value":{"amount":"+0.8508841395378113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2455316$76B3C91E-7565-4132-83C8-934A18FE9320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22aaf66309ca8222774330e14e144c5789e758af","datavalue":{"value":{"entity-type":"item","numeric-id":2773610,"id":"Q2773610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974b9087d91cab40bc004c2197738a314635f1e4","datavalue":{"value":{"amount":"+0.8207294940948486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2455316$0F5CDDDA-7039-4F70-83C1-4722934DA3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426dd88eff93179d1f40d24da2afd5b9269158f7","datavalue":{"value":{"entity-type":"item","numeric-id":1427884,"id":"Q1427884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df793fed6c5b65aa211522b007df63beb3ebaa42","datavalue":{"value":{"amount":"+0.7959536910057068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2455316$6E749D30-4966-477E-BFFA-75FA578D3C28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stability in the Liouville theorem on Heisenberg groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stability_in_the_Liouville_theorem_on_Heisenberg_groups"}}}}}