{"entities":{"Q5947243":{"pageid":8124045,"ns":120,"title":"Item:Q5947243","lastrevid":47688883,"modified":"2026-01-02T10:50:05Z","type":"item","id":"Q5947243","labels":{"en":{"language":"en","value":"A remarkable class of second order differential operators on the Heisenberg group \\(\\mathbb{H}_2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1660682"}},"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":"Q5947243$48E6FD41-0F6D-4AF1-9695-59F76B19BD8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f219eb22c64edd9d3b3eb261e95af7d22e7c615f","datavalue":{"value":{"text":"A remarkable class of second order differential operators on the Heisenberg group \\(\\mathbb{H}_2\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5947243$7CE28F33-6049-4CF7-9098-6309DD8DEC4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a11c571b2ed1e7294892fe5668ff7dfaecb7f797","datavalue":{"value":"0982.22008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947243$90F549EF-0E47-4B09-A9B4-C84E294710BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d813fbe65e6dbd5a074c4be8cfe969cc63d3b29d","datavalue":{"value":"10.1007/PL00004493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947243$2B194EF5-2F84-4EED-A4FA-0142E7D2ADF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c980cfaa0c53a9d43021db42b0c2532e55f8f2f","datavalue":{"value":{"entity-type":"item","numeric-id":636814,"id":"Q636814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947243$E28EFA79-6A31-471E-915E-3432ED05247F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68614413459650d72887cf0ac17842a8fef789fe","datavalue":{"value":{"entity-type":"item","numeric-id":209009,"id":"Q209009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947243$638F0A21-7F4C-42A7-A0EB-C7C7D34FEC2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947243$91EAA55A-1EB2-4B9B-84E8-BBEBDA43ACAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c13d1740a28716c4c5bfcac03995e635a2c76533","datavalue":{"value":{"time":"+2002-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5947243$D3FECB42-92B6-4727-8ED6-22987361591B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07de78e7984e624225a6cdcaa1b451f9ccdfe980","datavalue":{"value":"Let \\(L\\) be a second order complex coefficient operator on the Heisenberg group \\(\\mathbb{H}_2\\) of the form  \\[ L = \\sum^2_{j,k=1}\\alpha_{jk}X_jY_k + \\sum^2_{k=1}(a_kX_k+ b_kY_k) + cU + d), \\]  where \\(X_j = \\partial x_j\\), \\(Y_j = \\partial_{y_j} +x_j\\partial_u\\), \\(U = \\partial_u\\), and where the coefficients \\(\\alpha_{jk}\\), \\(a_k\\), \\(b_k\\), \\(c\\), \\(d\\) are complex-valued smooth functions of \\((x, y, u) = (x_1, x_2, y_1,y_2,u)\\) in a bounded open neighborhood \\(V\\) of the origin in \\(\\mathbb{R}^5\\). In this article the authors study the problem of local solvability of these operators \\(L\\).   Let \\(A\\) and \\(B\\) be the real part and the imaginary part of the matrix \\({\\mathcal A} = (\\alpha_{jk})\\), respectively, i.e. \\({\\mathcal A} = A + iB\\). Let \\(E\\) be a symmetric matrix of the form  \\[ E={}^tAJB-{}^tBJA, \\]  where  \\[ J=\\left(\\begin{smallmatrix} 0 & 1\\\\ 1 & 0\\end{smallmatrix}\\right). \\]  Theorem 1. Assume that, at the origin, \\(\\mathcal A\\) satisfies the assumption  \\[ \\text{det }E<0\\tag{\\(H_-\\)}  \\]  and that the commutator \\([A(0),B(0)]\\) does not vanish. Then the operator \\(L\\) is not locally solvable at the origin.    Theorem 2. Assume that, at the origin, \\(\\mathcal A\\) satisfies the assumption  \\[ \\text{det }E > 0.\\tag{\\(H_+\\)}  \\]  Then there exist complex numbers \\(\\mu\\) and \\(\\nu\\) depending only on the coefficients of the matrix \\({\\mathcal A}(0)\\), such that the following holds: (i) If  \\[ -(i\\alpha + 1)\\nu + (c(0) + \\text{tr }{\\mathcal A})\\mu\\not\\in\\mathbb{Z}\\tag{1} \\]  for every \\(\\alpha\\in\\mathbb{R}\\), then the transposed operator \\(^tL\\) is locally solvable at the origin. Moreover, there exists a neighborhood \\(V_1\\subset V\\) of the origin such that the following a priori estimate is valid:  \\[ \\|X_jY_k\\phi\\|+ \\|Y_j X_k\\phi\\|\\leq C\\|L\\phi\\|\\tag{2} \\]  for every \\(\\phi\\in C^\\infty_0(V_1)\\) and \\(j, k = 1,2\\), and \\(\\|\\cdot \\|\\) stands for the \\(L^2\\)-norm.   (ii) If (1) does not hold, then (2) fails to be true. However, \\(^tL\\) is still locally solvable, provided all coefficients \\(\\alpha_{jk},a_k,b_k,c,d\\) are constant, i.e. that \\(L\\) is left-invariant on \\(\\mathbb{H}_2\\), and that \\((a_1,a_2)\\in{\\mathcal A}(\\mathbb{C}^2)\\), \\((b_1,b_2)\\in {}^t{\\mathcal A}(\\mathbb{C}^2)\\). Clearly, the latter condition holds if \\(\\text{det }{\\mathcal A}\\neq 0\\).   The following proposition complements Theorem 2.   Proposition. (i) If \\(\\mathcal A\\) satisfies condition \\((H_+)\\), then \\(\\nu\\) is of the form \\(\\nu=\\tfrac 12 \\text{tr }{\\mathcal A}\\mu+\\rho,\\) where \\(\\rho\\in \\{-1,0,1\\}\\). Moreover, \\(\\text{Re} \\nu\\neq 0\\). -- Thus (1) is equivalent to  \\[ \\left(c(0)-(i\\alpha-1)\\;\\frac{\\text{tr} {\\mathcal A}}{2}\\right)\\mu-i\\alpha \\rho\\not\\in\\mathbb{Z} \\]  for every \\(\\alpha\\in\\mathbb{R}\\).   Moreover, either \\(\\rho = 0\\) and \\(\\mu\\neq 0\\), or \\(\\mu = 0\\) and \\(\\rho\\neq 0\\). (ii) If \\(\\mu= 0\\), then (1) does not hold for any value of \\(c(0)\\).   (iii) If \\(\\mu\\neq 0\\), then (1) holds if and only if \\(c(0)\\notin\\frac\\nu\\mu-\\text{tr }{\\mathcal A}+\\frac{i\\nu}{\\mu} \\mathbb{R}+\\frac{1}{\\mu} \\mathbb{Z},\\) hence for generic \\(c(0)\\in\\mathbb{C}\\). Moreover, if \\(\\Delta=(\\text{tr }{\\mathcal A})^2-4\\text{det }{\\mathcal A}\\) denotes the discriminant of the characteristic polynomial of \\(\\mathcal A\\), then \\(\\Delta\\neq 0\\), so that one may define: \\(N=\\text{tr }{\\mathcal A}/\\sqrt{\\Delta}\\). Then \\(\\nu=\\pm N\\) and \\(\\mu=\\pm 2/\\sqrt{\\Delta}\\). In particular, \\(\\text{Re } N\\neq 0\\), so that \\(\\kappa = \\frac{|N|^2+\\text{Re }(\\overline{Nc(0)\\mu})}{\\text{Re }N}\\) is well defined. Then (1) holds if and only if \\(\\kappa\\not\\in\\mathbb{Z}\\).    As a corollary to the results, the authors prove that the exceptional operator, which arose in [\\textit{D. M\u00fcller, M. M. Peloso} and \\textit{F. Ricci}, J. Reine Angew. Math. 513, 181-234 (1999; Zbl 0937.43003)], is locally solvable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947243$69CD2143-2F6D-4C3E-A7A9-616F8274F678","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":"Q5947243$E588392A-881F-4F54-BB07-CF97316742D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f094898204ab1c32f3988c519485b552a7de5c","datavalue":{"value":"22E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947243$2BE24D75-3A2A-4CDB-9717-039C0E000E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbed850c915f37773cd66c505b6620e577f975ef","datavalue":{"value":"43A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947243$87C8D03E-11B1-4BD3-93E0-F1FE7F201DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"daf9322b99841248717c64b3a7fe9b8a012600ee","datavalue":{"value":"22E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947243$56C2951C-3AE3-4A80-BB4E-6D63E861A270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"728f5fa227bd04be9871079d4a974822449989c3","datavalue":{"value":"35A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947243$4003BC55-FDF4-453B-8545-18F03BA04E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9b219645b0b86b170af2608c804ef502e12b633","datavalue":{"value":"35A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947243$864D3B10-20FA-40BE-B178-C361C19220EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0d774e28b260bbad3354a9788cc03514009802b","datavalue":{"value":"35G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947243$FBBF7DA8-41F8-4F63-9866-88C8E774DA59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78ae6ca9a39f460f885e7efab86c16c7538f229f","datavalue":{"value":"1660682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947243$0A4759BF-545D-4749-95EF-E857C115CA44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb9313857efcf39829b362c06097d517b5b5efa","datavalue":{"value":"second order complex coefficient operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947243$A5C1F0EB-03DF-42D2-B29F-65572E061067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b05f11759e50cb73b3b995261cfc4f4683f1a4d","datavalue":{"value":"Heisenberg group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947243$08C4E01F-0229-44EA-AEF1-1B46F829B708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947243$F1910289-0C48-4D6C-9A2B-EC18E80C8989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c47e85fe4c75d89f6f5d1dee76ced4119e98ded","datavalue":{"value":"operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947243$2082179F-F8EF-44B6-BE8E-33CE4F39EF75","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":"Q5947243$95BA3CDE-9A86-4406-AD99-183BF107A0ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37ce7a2995b25b30adb4b22456678ca502e08276","datavalue":{"value":"https://doi.org/10.1007/pl00004493","type":"string"},"datatype":"url"},"type":"statement","id":"Q5947243$2C4736C0-F8F3-4F1A-9FFB-BDA1694FA6E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"034f4570a89e7f0fce112e82e17a40672c15a7e9","datavalue":{"value":"W2026896163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947243$A772823C-7384-47CD-806E-6DFAEB867B0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad1a2d907fc6964c71c810b37a0dd7a419cb39e","datavalue":{"value":{"entity-type":"item","numeric-id":5421669,"id":"Q5421669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c2a633144ec44d0993c1b8525b3d23882a2f3a","datavalue":{"value":{"amount":"+0.8726179003715515","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":"Q5947243$D4A153E8-251F-4AB8-A387-CF332A467AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d4bcae9c2aed0c5382eb82c33653896a2898d6","datavalue":{"value":{"entity-type":"item","numeric-id":4842524,"id":"Q4842524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa3939fa44b5003e4a0a8a48451dca7d06fddc1","datavalue":{"value":{"amount":"+0.8672917485237122","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":"Q5947243$9B33C0E7-6EEE-4889-9B49-057B82473D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648c15ad204e6787f45d8925996459bcfc6c0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4260205,"id":"Q4260205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e72b609e95abd3b506e8497e3e503900c1ab4b4","datavalue":{"value":{"amount":"+0.8671274781227112","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":"Q5947243$C16C54D9-9648-4E6B-8DCF-66FB66514979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750320fcc742258dccb3d0e46c8a52b1854ba3b4","datavalue":{"value":{"entity-type":"item","numeric-id":4794616,"id":"Q4794616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153adc732c545b3c3ec3a223d120a74ff6e5fde4","datavalue":{"value":{"amount":"+0.866377055644989","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":"Q5947243$3D94ABE6-5E7D-4331-A49B-F25BE8AC19BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c95188345e72f50f1a5c4fb0b697eaa31237d4","datavalue":{"value":{"entity-type":"item","numeric-id":1803316,"id":"Q1803316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfc916f85f35ca0721f5a08ea5fb5afba0d958b","datavalue":{"value":{"amount":"+0.8573429584503174","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":"Q5947243$3A0CAFCF-3D50-4059-A01A-847D14AEBE1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5947243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5947243"}}}}}