{"entities":{"Q2855473":{"pageid":2866193,"ns":120,"title":"Item:Q2855473","lastrevid":51853781,"modified":"2026-01-20T09:33:06Z","type":"item","id":"Q2855473","labels":{"en":{"language":"en","value":"The positivity of the heat kernel on Heisenberg group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220055"}},"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":"Q2855473$B51467F2-70F5-4088-A06A-95301CC4C1D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84310f64bbf45b125fa64f4f8842a316c5bdbc4d","datavalue":{"value":"1296.53058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855473$B69F0B99-252C-4BB0-8144-CAAF11D26EB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16afdf1ce0fa3f54dbc395cd20c9f44564361696","datavalue":{"value":"10.1142/S021953051350019X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855473$B6612B11-8701-4336-AF26-D0D83DC8C040","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c481b4f037c728551e0f85c9bf54f3160aa5ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1064436,"id":"Q1064436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2855473$7991C14B-6FB7-47FB-8180-6F6753335A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a5c983021df0e39ec4e135ef80d63eea64dd1af","datavalue":{"value":{"entity-type":"item","numeric-id":1591411,"id":"Q1591411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2855473$30A9F123-9B4F-4F94-8634-46C9F3FC5C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbe2b4730894b904e5aad2bfb58c730650e33cc","datavalue":{"value":{"entity-type":"item","numeric-id":1094558,"id":"Q1094558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2855473$F0AAF933-6CD2-47D1-8677-982E97294210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c43bd05c5f92dfb24de3bb3b930265fd2d7a69","datavalue":{"value":{"entity-type":"item","numeric-id":802188,"id":"Q802188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2855473$20AD7891-8F79-4DC8-8612-C14D7F618B97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bcfbb5ee16d2a7ab6c44dcb73548f4d40646813","datavalue":{"value":{"time":"+2013-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2855473$4737CC4C-0AC1-4675-9BD9-A624DC5E7D45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eca2665a2b410bb164e65b25a90c788c17f2c10f","datavalue":{"value":"53C17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855473$4BB77636-E09C-49AA-93C2-77CD07C4377E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"402994ae9b14408367a5e5f04c96f68bdb5717b5","datavalue":{"value":"34K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855473$EEF47AE9-CFCF-4E09-B528-4A6FB5DFDB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0abefd646609d9c72ef0c7c960df609622e3061","datavalue":{"value":"35H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855473$784D6FB4-4FA5-4DD0-B169-D87E581FACA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54c0e588f011a82cc4240de9b3565235c8773f51","datavalue":{"value":"6220055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855473$75EB0CEE-960C-45EF-A37E-5E57D9459728","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b05f11759e50cb73b3b995261cfc4f4683f1a4d","datavalue":{"value":"Heisenberg group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855473$678665F3-68AD-4490-8D4C-47DD98A464C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9913acde9c7cca7f09187d3fb547dc67dad9d4","datavalue":{"value":"sub-Laplacian","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855473$6FE919BD-EBB3-4594-9078-9979B9C00F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f1f7d236acc92277c9dca97d47783a05f55f6","datavalue":{"value":"Gru\u0161in operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855473$AD781E4D-0826-4F0B-A789-138D33AA11F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0c0a0eac8da579270364de4e8f40d4f5c83dbd5","datavalue":{"value":"heat kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855473$AA4D9030-56AC-4A26-B7B1-34E77F0577CD","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":"Q2855473$9EE95ED1-152A-47C8-924F-0B2854BD96A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed582693f892525f386aa69a02533e622a19c07","datavalue":{"value":{"entity-type":"item","numeric-id":1241823,"id":"Q1241823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2855473$93B281D0-519F-439F-A28D-7F8B41970CC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cd63619480b7b7b4df8f409ba5d93e7cab4a12f","datavalue":{"value":"https://doi.org/10.1142/s021953051350019x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2855473$B1C7A3EF-5A78-4791-B589-2E1BFC0DDBB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca32290388608d43bc54210803d03c633baf9ce5","datavalue":{"value":"W2117036238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855473$E6E17DD6-6387-4779-A334-23316D0F68A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec3d2e72b0028ba0921e322d6657505cca748462","datavalue":{"value":{"text":"The positivity of the heat kernel on Heisenberg group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2855473$A313DD21-78FE-44CF-A3A8-3F860842C959","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4ae1b328f01e119ba894cb4899cd3f3bdf020223","datavalue":{"value":{"entity-type":"item","numeric-id":6496337,"id":"Q6496337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2855473$9F6D6222-8DFC-44FF-AED9-EEE2CA6A504A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e2ba1147a229a2f3cd9f93136b28fe6f31ca1d2","datavalue":{"value":"The (one-dimensional) Heisenberg group \\({\\mathbf H}_1\\) is the nilpotent group structure in \\({\\mathbb R}^3\\) given by the product law NEWLINE\\[NEWLINE (x_1,x_2,y)\\cdot(x_1',x_2',y')=\\big(x_1+x_1',x_2+x_2',y+y'+\\frac12(x_2x_1'-x_1x_2')\\big). NEWLINE\\]NEWLINE The natural sub-Riemannian structure on this Lie group, see [\\textit{L. Capogna} et al., An introduction to the Heisenberg group and the sub-Riemannian isoperimetric problem. Basel: Birkh\u00e4user (2007; Zbl 1138.53003)], induces a sub-elliptic operator called sub-Laplacian NEWLINE\\[NEWLINE \\Delta_{{\\mathbf H}_1}=\\frac12(X_1^2+X_2^2), NEWLINE\\]NEWLINE where \\(X_1\\) and \\(X_2\\) are the vector fields given by NEWLINE\\[NEWLINE X_1=\\frac\\partial{\\partial x_1}+\\frac{x_2}2\\frac\\partial{\\partial y},\\quad X_2=\\frac\\partial{\\partial x_2}-\\frac{x_1}2\\frac\\partial{\\partial y}. NEWLINE\\]NEWLINE It is known, see [\\textit{B. Gaveau}, Acta Math. 139, 95--153 (1977; Zbl 0366.22010)], that for \\((x,y)=(x_1,x_2,y)\\in{\\mathbf H}_1\\) and \\(t>0\\), the heat kernel \\(P_{{\\mathbf H}_1}(t;x,y)\\) of the heat equation \\(\\Delta_{{\\mathbf H}_1}-\\frac\\partial{\\partial t}\\) is given by the formula NEWLINE\\[NEWLINE P_{{\\mathbf H}_1}(t;x,y)=\\frac1{(2\\pi t)^2}\\int_C e^{\\frac{f(\\eta,x,y)}{t}}\\frac{\\eta}{2\\sinh\\dfrac{\\eta}2}d\\eta, NEWLINE\\]NEWLINE for some appropriate path of integration \\(C\\), and NEWLINE\\[NEWLINE f(\\eta,x,y)=i\\eta y-\\frac{\\eta}4(x_1^2+x_2^2)\\coth\\frac{\\eta}2. NEWLINE\\]NEWLINE The aim of the present paper is to give a proof of the fact that \\(P_{{\\mathbf H}_1}(t;x,y)>0\\) for all \\(t>0\\) and all \\((x,y)\\in{\\mathbb R}^3\\), using techniques from complex mechanics instead of the more classical probabilistic approach, see [Gaveau, loc. cit.; \\textit{A. Hulanicki}, Stud. Math. 56, 165--173 (1976; Zbl 0336.22007)]. A consequence of this result is the positivity of the heat kernel associated to the Gru\u0161in operator NEWLINE\\[NEWLINE \\frac12\\left(\\frac{\\partial^2}{\\partial x^2}+x^2\\frac{\\partial^2}{\\partial y^2}\\right) NEWLINE\\]NEWLINE in \\({\\mathbb R}^2\\), see [\\textit{C.-H. Chang} et al., Bull. Inst. Math., Acad. Sin. (N.S.) 4, No. 2, 119--188 (2009; Zbl 1178.53031)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855473$C8664B21-379A-4AB5-AE6F-90D712FB6244","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccbb07600e3adfac370e4990815ae33a3da959b5","datavalue":{"value":{"entity-type":"item","numeric-id":345271,"id":"Q345271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2855473$C89E96D3-D960-475F-9C72-F94C0856D019","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"014c987ded6f7275bf5a2138604f17630e14a735","datavalue":{"value":{"entity-type":"item","numeric-id":4532580,"id":"Q4532580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0d844670064148f4a8e2cbb496c5c22851f994","datavalue":{"value":{"amount":"+0.850446879863739","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":"Q2855473$EE03F391-293F-4BE6-BB8B-FBA6AAB4867D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f11b7c2dbfbdfe4e3a44ce79c635f0d748198d","datavalue":{"value":{"entity-type":"item","numeric-id":2497925,"id":"Q2497925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ce2f91c1e5774d04571e0d96be6022420a6890","datavalue":{"value":{"amount":"+0.8498192429542542","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":"Q2855473$E66640F4-34B0-45D8-A92E-DFAE1380D834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7005fa6bd21f70702b6525be56f160836682069c","datavalue":{"value":{"entity-type":"item","numeric-id":4914466,"id":"Q4914466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70da92bf6f2709160c35d9758f1bc44b183958f3","datavalue":{"value":{"amount":"+0.8087494969367981","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":"Q2855473$77FCE605-C201-4693-9430-D7FE57533E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2054b12728758db1fdcecf7bec2321f41d4381","datavalue":{"value":{"entity-type":"item","numeric-id":4428750,"id":"Q4428750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad09b470b8ecee8e02ab6c1cd555cce3f1ac84e","datavalue":{"value":{"amount":"+0.8055557608604431","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":"Q2855473$13B1E2D3-1B5C-4DC4-AE19-15FCFF05E75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0380722630daff55280900083c8646eeece17d95","datavalue":{"value":{"entity-type":"item","numeric-id":3593684,"id":"Q3593684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1c268a0a174f1f154257d13fce019f8fca38e3","datavalue":{"value":{"amount":"+0.7986096739768982","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":"Q2855473$A2A5EEF4-003C-42E1-AA08-7E4A241FCF00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2855473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2855473"}}}}}