{"entities":{"Q1746001":{"pageid":1756743,"ns":120,"title":"Item:Q1746001","lastrevid":73837596,"modified":"2026-04-14T17:26:36Z","type":"item","id":"Q1746001","labels":{"en":{"language":"en","value":"On a generalization of the Poincar\u00e9 lemma to equations of the type \\(dw+a\\wedge w=f\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6861583"}},"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":"Q1746001$FDC2A597-8E4E-4A9E-9BE9-5D7CC858A869","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06b47394f0ac0f3011c6f58adb6efcdc19453a49","datavalue":{"value":{"text":"On a generalization of the Poincar\u00e9 lemma to equations of the type \\(dw+a\\wedge w=f\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1746001$FF58AD4E-7B21-4DC5-8B6B-B19A5F71D973","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06a73c90dcc5de21225776c8f916d6f7d940d1e0","datavalue":{"value":"1463.35181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1746001$19C648F5-59C5-4FFF-B787-EB050BA064BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a97ecdc3f12db777fce5f1e404032decb6372ea0","datavalue":{"value":{"entity-type":"item","numeric-id":1746000,"id":"Q1746000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1746001$97779B16-2CE0-4029-B94E-1AB08BB548C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e86011e2769647dea02ca169e80d62e950098b0c","datavalue":{"value":{"entity-type":"item","numeric-id":180990,"id":"Q180990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1746001$6368C3B9-B7D5-4F48-A97D-44E31712561B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3c7d9692f5333e2f04da676c6d873cf90782793","datavalue":{"value":{"time":"+2018-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1746001$1CFADCCE-21CE-4429-8476-9430104CDE31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e50464174cf82b3922cb481a82f27b8d4fc957d","datavalue":{"value":"The paper is deal with solving the following problem. Consider \\(\\Omega\\subset\\mathbb{R}^{n}\\) an open bounded set and \\(0\\leq k\\leq n-1\\). Find \\(w:\\Omega\\to\\Lambda^k\\) such that \\[L_{a}^{k}(w):=dw+a\\wedge w=f,\\tag{P}\\] where \\(a:\\Omega\\to\\Lambda^{1}\\) and \\(f:\\Omega\\to\\Lambda^{k+1}\\) are given differential forms. When \\(k=0\\), defining \\(w\\), the \\(0\\)-form with a scalar field and \\(a\\), \\(f\\) the \\(1\\)-forms with vector fields, the equation for the gradient is taken as follow \\[\\nabla w+w\\cdot a=f.\\] When \\(k=1\\) and \\(n=3\\), equation (P) is equivalent to the curl equation \\[\\operatorname{curl}w+a\\times w=f,\\] where \\(w,a\\) and \\(f\\) are vector fields, and \\(\\times\\) represents the vector product in \\(\\mathbb{R}^{3}\\). If \\(k=n-1\\) equation (P) is equivalent to the divergence equation \\[\\operatorname{div}w+\\langle a,w\\rangle=f.\\] The equation (P) is a generalization of the Poincar\u00e9 lemma. If \\(a\\) is exact, that is there exists \\(A\\) a \\(0\\)-form such that \\(dA=a\\), then (P) is equivalent to \\[d\\left(e^{A}w\\right)=e^{A}f.\\] So, there exists a solution to (P) if and only if \\(e^{A}f\\) is exact.  For the above reason, the author focuses the attention to the cases where \\(a\\) is nonexact. Given an exterior \\(2\\)-form \\(\\alpha\\), naturally associate a skew symmetric square matrix \\(\\bar{\\alpha}\\) by defining \\(\\bar{\\alpha}_{ij}=\\alpha^{ij}\\) if \\(i<j\\) and \\(\\bar{\\alpha}_{ij}=-\\alpha^{ij}\\) if \\(i>j\\). The rank of \\(\\alpha\\) noted rank\\([\\alpha]\\) is then the rank of the matrix \\(\\bar{\\alpha}\\). Here, the rank of \\(da\\) is assumed to be constant on the whole of \\(\\Omega\\). In this work, the main achievement of this article is the following theorem:  \\textbf{Theorem 0.1} Let \\(\\Omega\\subset\\mathbb{R}^{n}\\) be an open bounded set, \\(0\\leq k\\leq n-1,\\) \\(r\\geq 1\\) be integers, \\(a\\in C^{1}\\left(\\Omega,\\Lambda^{1}\\right)\\) and \\(f\\in C^{1}\\left(\\Omega,\\Lambda^{k+1}\\right)\\). Then, \\begin{itemize}\\item[(i)] any \\(w\\in C^{1}\\left(\\Omega,\\Lambda^{k}\\right)\\) solution of \\[dw+a\\wedge w=f,\\tag{P}\\] is a solution of \\[da\\wedge w=df+a\\wedge f;\\tag{0.1}\\]\\item[(ii)] if rank\\([da]\\) \\(\\geq 2(k+1)\\), (P) and (0.1) have at most one solution;\\item[(iii)] if rank\\([da]\\equiv 2m\\geq 2(k+2)\\), \\(a\\in C^{r+2}\\) and \\(f\\in C^{r+1}\\), then (P) and (0.1) are equivalent and admit at most one solution \\(w\\in C^{r};\\)\\item[(iv)] if \\(k\\geq1\\) and \\(u\\in C^{1}\\left(\\Omega,\\Lambda^{k-1}\\right)\\) is such that \\(du\\in C^{1}\\) and \\[da\\wedge u=f,\\] then \\(w=du+a\\wedge u\\in C^{1}\\) is a solution of (P);\\item[(v)] if rank\\([da]\\equiv 2m\\geq 2(n-k)\\), \\(a\\in C^{r+3}\\) and \\(f\\in C^{r+1}\\), (P) always admits a solution \\(w\\in C^{r}\\).\\end{itemize}  In additional, the notations, propositions and remarks are given for this problem. The other main theorems are proved and cited for proof of many theorems. As a conclusion of this paper, according to the states of rank\\([da]\\), the solutions of the equation are reached under some conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1746001$2CF0E0CF-A6BC-4BD0-9743-D0BFA199EBC3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"86baf609067a074da6a9b8b93421a6bcecfdfc6a","datavalue":{"value":{"entity-type":"item","numeric-id":590480,"id":"Q590480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1746001$82CB50E8-32A6-4F19-BAB7-51B396B7D012","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"823b7630a5cab65a0032e8743c26e9a8258e4515","datavalue":{"value":"35F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1746001$EEF28985-DF9D-482A-BB39-C8519C0CD766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7632a6d5542fa6bc4eb8e66c1ba53976eb6fe0d3","datavalue":{"value":"58A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1746001$D714F8FC-138C-44D9-A020-B902FC7766CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3fc81160cd3ffca73ac0a1d9b18641b47a3e1d9","datavalue":{"value":"6861583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1746001$1C766F25-1C81-4C95-AEAA-72A76B1757BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5eb63a0bc4259404767d8d4d10bcfdcc98407a","datavalue":{"value":"linear partial differential equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1746001$AB465D06-B265-4B5D-92D8-6C8F1295BBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d1459a61d5225b6cb619cd4e2d072f432e94413","datavalue":{"value":"Poincar\u00e9 lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1746001$E9153595-9B31-4F18-80E6-0FC967F3AB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c78f3bcbf943c967c6d8ae2802afcd9b000c9a4","datavalue":{"value":"curl equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1746001$2D1D60AC-B92E-4561-AD35-E1BD6CE45540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9105669859a4b530d588eb4a46ae78c386cb3c","datavalue":{"value":"differential form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1746001$C2634462-EB46-429C-9185-D1C58B31D886","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":"Q1746001$A9D75479-5D06-4BFB-A924-BBB361E06716","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ca35f77b5d8cfcea0ade03da386bdff69085ed","datavalue":{"value":{"entity-type":"item","numeric-id":402752,"id":"Q402752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad66b37467d62660b27551897b43e2fa041d892","datavalue":{"value":{"amount":"+0.7349167466163635","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":"Q1746001$FA8310D2-DCB0-4405-B3F4-23D516FB2DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cb46d3bf9b94595ca81dc497a82176380703125","datavalue":{"value":{"entity-type":"item","numeric-id":3593986,"id":"Q3593986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae5644db0881654a2aa5de1d0b624e290e13e7e","datavalue":{"value":{"amount":"+0.720500648021698","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":"Q1746001$87604AFE-6414-4337-80D2-CFB75FA4A82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a2a2cdb4279c8054ab66d3947aa5a40502511a","datavalue":{"value":{"entity-type":"item","numeric-id":1594470,"id":"Q1594470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b700bee476f7dba139f769ff05911419dd7f4ef8","datavalue":{"value":{"amount":"+0.7146432995796204","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":"Q1746001$BA8F1574-3204-4305-B510-C49C03C79A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18dbfcc482848249f21214add344d5f4576e1e45","datavalue":{"value":{"entity-type":"item","numeric-id":3715484,"id":"Q3715484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b700bee476f7dba139f769ff05911419dd7f4ef8","datavalue":{"value":{"amount":"+0.7146432995796204","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":"Q1746001$B3778EBD-2042-4CEF-A638-E50F2EA45238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c308db9515a98b1be0fe9d7f05cdd0dde687f8ea","datavalue":{"value":{"entity-type":"item","numeric-id":4661760,"id":"Q4661760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17a5d8c1a03f93ad1ef29955f416d3090ef1a18","datavalue":{"value":{"amount":"+0.7143263220787048","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":"Q1746001$C3A88DC1-129E-4926-A95A-0EAF7D7B4F77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a generalization of the Poincar\u00e9 lemma to equations of the type \\(dw+a\\wedge w=f\\).","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_generalization_of_the_Poincar%C3%A9_lemma_to_equations_of_the_type_%5C(dw%2Ba%5Cwedge_w%3Df%5C)."}}}}}