{"entities":{"Q494198":{"pageid":495965,"ns":120,"title":"Item:Q494198","lastrevid":62263434,"modified":"2026-04-11T04:53:25Z","type":"item","id":"Q494198","labels":{"en":{"language":"en","value":"A proof of H\u00f6rmander's theorem for sublaplacians on Carnot groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6477048"}},"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":"Q494198$F2EFB50F-93E0-44E8-B370-AE9D058CFAEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f282f251793d4a7249ce4932138454e3038b4161","datavalue":{"value":{"text":"A proof of H\u00f6rmander's theorem for sublaplacians on Carnot groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q494198$4B2CA287-5D04-4158-8511-8AB6E05CF1A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"725f94be4a92adbf2803335e6aaba5ed4477c138","datavalue":{"value":"1333.35005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494198$36764F7B-2A45-4C77-83A2-BFCA7BF9D788","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10b264401fecbc96ba1fa7262040b7e93390b5dc","datavalue":{"value":{"entity-type":"item","numeric-id":321241,"id":"Q321241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$323A5C3D-1C8E-4756-807E-D1090D1DFD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbfe0b079a17002460b1b81988a235a4e27f0a3a","datavalue":{"value":{"entity-type":"item","numeric-id":204030,"id":"Q204030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$91E33662-7533-48D6-B467-7D15ED4D8B04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ac1f3f44634d62750a40905e0c9a48415220e79","datavalue":{"value":{"entity-type":"item","numeric-id":161653,"id":"Q161653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$D7B07392-BC36-465E-AF5A-BFC8CE984116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ef0b939129953c2410671e64e47a3234acffbba","datavalue":{"value":{"time":"+2015-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q494198$6990B3BB-6A95-4803-88BF-66E4BD9EF0F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7213fcb29a5496a92b7d767a43178d7c5b451eda","datavalue":{"value":"http://hdl.handle.net/10446/55969","type":"string"},"datatype":"url"},"type":"statement","id":"Q494198$56C9A0BE-7803-4ABF-8F48-65AEA9CA7689","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98154edb7eaab95c2a95904a75eca37eab7b6e83","datavalue":{"value":"Let \\(G\\) be a Carnot group and let \\(\\mathcal{L}\\) be its left-invariant sub-Laplacian. As a consequence of H\u00f6rmander's theorem, \\(\\mathcal{L}\\) is hypoelliptic, that is, for every distribution \\(u\\) on \\(G\\), if \\(\\mathcal{L}u \\in C^\\infty\\), then \\(u \\in C^\\infty\\). In this paper, the authors give a self-contained proof of the hypoellipticity of \\(\\mathcal{L}\\).   H\u00f6rmander's theorem, of course, is much more general: it applies to any operator of the form \\(\\mathcal{L} = \\sum_{j=1}^q X_j^2 + X_0\\), where \\(X_0, X_1, \\dots, X_q\\) are vector fields satisfying a bracket-generating condition. A few different proofs have been given, but all are rather difficult. The authors give a brief history of the theorem, citing in particular [\\textit{L. H\u00f6rmander}, Acta Math. 119, 147--171 (1967; Zbl 0156.10701)], [\\textit{J. J. Kohn}, Proc. Sympos. Pure Math. 23, 61--69 (1973; Zbl 0262.35007)] and [\\textit{P. Malliavin}, in: Proc. int. Symp. on stochastic differential equations, Kyoto 1976, 195--263 (1978; Zbl 0411.60060)]. So, in this paper, the authors give a new and simpler proof in the special case of the sub-Laplacian of a Carnot group in which the vector fields \\(X_1, \\dots, X_q\\) are left-invariant and \\(X_0=0\\).   The proof is based on subelliptic estimates for Sobolev spaces \\(W^{k,p}_X\\) defined in terms of the left-invariant vector fields \\(X_1, \\dots, X_q\\), rather than the Euclidean derivatives \\(\\frac{\\partial}{\\partial x_1}, \\dots, \\frac{\\partial}{\\partial x_N}\\). A key technique is to study the interaction between the norms of \\(W^{k,p}_X\\) and the analogous spaces \\(W^{k,p}_{X^R}\\) defined using the right-invariant vector fields instead. The main regularity estimate, Theorem 3.4, bounds the \\(W^{k,2}_{X^R}\\) norm of \\(f\\) in terms of higher \\(X^R\\)-Sobolev norms of \\(\\mathcal{L} f\\), under the hypothesis that \\(f \\in W^{1,2}_{X}\\), and its proof occupies most of the paper. In particular, Theorem 3.4 implies that if \\(f \\in W^{1,2}_X\\) and \\(\\mathcal{L} f \\in C^\\infty\\), then \\(f \\in C^\\infty\\). The remainder of the paper (Section 4) is concerned with using a regularization argument to drop the hypothesis \\(f \\in W^{1,2}_X\\), thus obtaining the full result for arbitrary distributions.   As a general principle, the authors have focused on writing a clear exposition, using techniques as elementary as possible, rather than on obtaining the sharpest possible results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q494198$51D60B74-E52D-4CC9-AA81-0A8F6BE713FB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f33964709f9e56f3c523dde26f7afda4dcd60087","datavalue":{"value":{"entity-type":"item","numeric-id":482794,"id":"Q482794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$C3E6852F-9E58-44A4-B307-B79BE04D527B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3ab935704d45437b3b725c9364bc0f78f1d379","datavalue":{"value":"35H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494198$0438A64A-6836-4B28-BB95-1499A4E2F999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"908a8c54f3ec2df14627c679ab8970357287a720","datavalue":{"value":"35R03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494198$EABD5802-BE4C-4ECB-B009-4FF1D50C18A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eca2665a2b410bb164e65b25a90c788c17f2c10f","datavalue":{"value":"53C17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494198$31854AF6-A772-4FE8-8A13-086DFEC3D476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"daf9322b99841248717c64b3a7fe9b8a012600ee","datavalue":{"value":"22E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494198$E18B037C-0F3E-4F2E-9523-713E8D1FB211","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d51a4960de2195974d0add93e13ce757ec994ed","datavalue":{"value":"6477048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494198$C78FE595-DA9F-4B2C-BB5E-3855804BAD1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d95c44611e7289a190fc9f73b6bb7d466b66fb2","datavalue":{"value":"hypoelliptic operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q494198$894ADA52-6C92-4181-9B2C-43F885199D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab487b15e728ac84230401628085b74f8612924","datavalue":{"value":"H\u00f6rmander's hypoellipticity theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q494198$6FC1F36B-1166-47F0-948A-04BA006DC946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73981b8921a865d6bd51886c5b98165e3457b452","datavalue":{"value":"Carnot groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q494198$86ED59AC-FB66-4923-9336-81781704E0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9913acde9c7cca7f09187d3fb547dc67dad9d4","datavalue":{"value":"sub-Laplacian","type":"string"},"datatype":"string"},"type":"statement","id":"Q494198$74E2074A-7942-4979-B99B-5E51CEE26E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f337978cf3e3b174b72d6b8fcc0ce4a062fcf9","datavalue":{"value":"sub-Riemannian geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q494198$E461BBF1-CE5A-4A6B-87D5-6BDCB5155F73","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":"Q494198$70B179A3-002E-466B-900F-E0C8FA9DAF8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e2579d2979b1abb932d93c17caeeb38d3a148e1","datavalue":{"value":"W2039361728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494198$9F33A87C-A5CC-4E61-B433-7130DAC34031","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca4f16a654d583e2e0c4cff161539b2af7f8bbe","datavalue":{"value":{"entity-type":"item","numeric-id":3591291,"id":"Q3591291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$C510BC25-5997-48AB-A550-5C1EE01D6C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0d465abbcac19b0afa3c0af6f58122cc0c38c5","datavalue":{"value":{"entity-type":"item","numeric-id":4273944,"id":"Q4273944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$571C407C-CBE6-4D14-A694-2E99BF35BF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3405f57f6bc034813620234ef04d38af6562f0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1220014,"id":"Q1220014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$B4E66D48-2B00-4E38-9146-3620F243C318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"325fe96b7e2e6433779e30d51abc5b03cdc2d224","datavalue":{"value":{"entity-type":"item","numeric-id":2526647,"id":"Q2526647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$59F7AA43-FFAE-4AE0-BD94-17D9A3C9D518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81113ac55ed632f1d98cb7b7bbce72da8d8769b3","datavalue":{"value":{"entity-type":"item","numeric-id":5677870,"id":"Q5677870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$6BA29B53-642E-46AE-B1D9-BB9375E30DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e431ea063fdfcd94060b8f4c8a5598c3210554f4","datavalue":{"value":{"entity-type":"item","numeric-id":4197841,"id":"Q4197841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$F39A92C7-161D-482E-8302-78839BA681BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1001153f8f08fe020013d87c79a614045a0b439","datavalue":{"value":{"entity-type":"item","numeric-id":1233565,"id":"Q1233565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$9796423A-9C61-4166-9CFD-40DA7AAC6DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dd2e9375ac9f555d0da8d07cf958a4ef5fad8b","datavalue":{"value":{"entity-type":"item","numeric-id":4340096,"id":"Q4340096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$036FB108-B25E-419F-8148-0810C6239B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14e9950d7cb225b4817fbefe7514fd96222c5b3","datavalue":{"value":{"entity-type":"item","numeric-id":3142876,"id":"Q3142876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$F8C2DCD2-DD46-449A-B82B-6EC1AC8C20A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8690fbba9dd56ac012a36ffc644031bb374bfefa","datavalue":{"value":{"entity-type":"item","numeric-id":5557339,"id":"Q5557339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$FE3F9188-03C3-4C96-B558-D2A63C4B4CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d11b0a381bb36342e1aa3a71ff0c84f1d9e62151","datavalue":{"value":{"entity-type":"item","numeric-id":4002250,"id":"Q4002250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494198$B603B95C-956D-40F5-B67E-2FBF42709892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50f25ef37860270b8078434a47ef6555d6ce5cbe","datavalue":{"value":"10.1016/J.NA.2015.02.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494198$947786E2-A4D3-4731-8305-C802D5A60948","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306361d4b26501832e525f38958366e801a4ec62","datavalue":{"value":{"entity-type":"item","numeric-id":5217435,"id":"Q5217435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557a9749406fa94f370d3bf785178015062d80e6","datavalue":{"value":{"amount":"+0.8523577451705933","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":"Q494198$A345BECF-83A2-40D6-823A-3FA46AC0FBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad67219a4a0617f9e3768e99ff4d288ffa5fb05","datavalue":{"value":{"entity-type":"item","numeric-id":6156410,"id":"Q6156410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b49bb459e39579f3bdba442d8b4224cbb5c34dd","datavalue":{"value":{"amount":"+0.828156054019928","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":"Q494198$5A3A4645-6978-4895-A410-D02AE27026DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353439fae42d0752a90e3aa8f54bb48b60310800","datavalue":{"value":{"entity-type":"item","numeric-id":1814766,"id":"Q1814766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4094ffd695c5cda6314762203e42482b3ff64c","datavalue":{"value":{"amount":"+0.7855507135391235","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":"Q494198$E49618CA-7B0E-4556-8638-E4ED1E3BA905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487976aed3b263decd84a9fab98521928bcd9421","datavalue":{"value":{"entity-type":"item","numeric-id":2512976,"id":"Q2512976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82cb0075e4a0c88f2d1bd72d4dc9a72c5e6fd92","datavalue":{"value":{"amount":"+0.7696073651313782","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":"Q494198$7354812C-008D-412D-BF65-F8A10DD4508C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225539c2c7282f28af1efe40097deb4305598b89","datavalue":{"value":{"entity-type":"item","numeric-id":843184,"id":"Q843184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87649291dae73e217efa011ec268d940b706938","datavalue":{"value":{"amount":"+0.7580111622810364","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":"Q494198$14696466-DAD2-43AD-8B2B-96CE02B96642","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of H\u00f6rmander's theorem for sublaplacians on Carnot groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_of_H%C3%B6rmander%27s_theorem_for_sublaplacians_on_Carnot_groups"}}}}}