{"entities":{"Q1179169":{"pageid":1189918,"ns":120,"title":"Item:Q1179169","lastrevid":46217374,"modified":"2025-12-24T08:19:29Z","type":"item","id":"Q1179169","labels":{"en":{"language":"en","value":"Local solvability in a class of overdetermined systems of linear PDE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 24062"}},"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":"Q1179169$22FA9ECF-D637-4E71-B36E-50A16F75A7B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fc5ec5b8b5a74e326670248d6da56b9ccf93a00","datavalue":{"value":{"text":"Local solvability in a class of overdetermined systems of linear PDE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179169$D4991D07-0887-468A-B1F6-A3A7A0859D2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2893824ca9a8b1eaf95e949eb6715d96001a32b2","datavalue":{"value":"0794.35002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179169$9E55A3A3-13A1-4F9E-8489-A2F32BC494CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1a058285d314fd6075a88dd993bc1dc84189e64","datavalue":{"value":"10.1215/S0012-7094-91-06315-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179169$9A9BBDB1-C1AA-47BB-9B5C-FD10C408E866","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$8A5E423D-F993-4F14-A9ED-76337C861BB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1179169$20FFFA32-5B1E-4C7B-B433-072A14766187","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07ede999957e9205806da9748ae2244c32215f02","datavalue":{"value":"The present work extends to vector fields with \\(C^ \\infty\\) coefficients the main result about vector fields with analytic coefficients in [\\textit{F. Treves}, Acta Math. 151, 1-48 (1983; Zbl 0534.35009)]. Thus we consider \\(n\\) smooth complex vector fields \\(L_ 1,\\dots,L_ n\\) in an open neighborhood of the origin \\(U\\) in \\(\\mathbb{R} \\times \\mathbb{R}^ n\\); they are assumed to be linearly independent over the complex numbers. We shall be concerned with the local solvability of the system of differential equations  \\[ L_ ju=f_ j, \\quad j=1, \\dots,n. \\tag{1}  \\]  We reason under the hypothesis of local integrability: there is a \\(C^ \\infty\\) solution in \\(U\\) of the homogeneous equations \\(L_ jZ=0\\), \\(j=1,\\dots,n\\) such that \\(dZ \\neq 0\\) at every point of \\(U\\). Possibly after contracting \\(U\\) about the origin, we can select the coordinates \\(x,t_ 1,\\dots,t_ n\\) in such a way that \\(Z=x+i\\varphi (x,t)\\) with \\(\\varphi (0,0)=0\\). Furthermore, after a substitution of the vector fields \\(L_ j\\) by linear combinations of them with \\(C^ \\infty\\) coefficients, we assume that \\(L_ j=\\partial/ \\partial t_ j+\\lambda_ j(x,t) \\partial/ \\partial x\\).   The system of the inhomogeneous equations (1) is said to be locally solvable in \\(C^ \\infty\\) functions at the origin if, given any open neighborhood \\(U_ 1 \\subset U\\) of 0 there is another open neighborhood \\(U_ 2 \\subset U_ 1\\) of 0, such that, given any set of functions \\(f_ j \\in C^ \\infty(U_ 1)\\) \\((j=1,\\dots,n)\\) satisfying the compatibility conditions \\(L_ jf_ k=L_ kf_ j\\), \\(j,k=1,\\dots,n\\), there is a \\(C^ \\infty\\) function \\(u\\) in \\(U_ 2\\) which satisfies the equations (1) in \\(U_ 2\\).   The statement of the main theorem requires the concept of a fibre of the map \\(Z:U \\to \\mathbb{C}\\); it is simply the preimage under \\(Z\\) of a single point \\(z_ 0\\in Z(U)\\). The property that is relevant to the local solvability (about 0) of the inhomogeneous equations (1) is the following one.   (P) There are two bases of neighborhoods \\({\\mathcal N}_ k' \\subset {\\mathcal N}_ k \\subset U\\) \\((k=1,2,\\dots)\\) of the origin such that for each \\(k\\) the fibres of \\(Z\\) in \\({\\mathcal N}_ k\\) which intersect \\({\\mathcal N}_ k'\\) are connected.   The present paper presents the proof of the following fact. If property \\((P)\\) holds when \\({\\mathcal N}_ k=I_ k\\times Q_ k\\), for a sequence of intervals \\(I_ k\\) in the \\(x\\)-line and of cubes \\(Q_ k\\) in \\(t\\)-space \\(\\mathbb{R}^ n\\), then the inhomogeneous equations (1) are locally solvable at the origin, in \\(C^ \\infty\\) functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179169$3CC8EC12-9EBD-42B1-963F-FCA07F05BA53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"728f5fa227bd04be9871079d4a974822449989c3","datavalue":{"value":"35A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179169$2242CEB7-BC84-43E4-982D-D1679D5396A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84e79da2d436f0c8b2df9d7ee0eebf29d95f82d2","datavalue":{"value":"35N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179169$42FD0D0C-86E1-4192-80F0-91276C165113","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"780f97844aa90d869a48824a60223a5ad089b733","datavalue":{"value":"24062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179169$8F3C07F4-425F-48A9-9CD6-957D6D964370","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054a788596376c32bf2463ad611894b81a9a606b","datavalue":{"value":"local solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179169$533FE545-1BCD-49C7-9BEB-68EC5DBEC49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603080eb6925fc9df630d9c2f6ace0a9641ebc2e","datavalue":{"value":"overdetermined systems of linear PDE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179169$F9E52075-3B7E-4B6B-8CE8-9B711CE2DE2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c78939b90fb46b1757b3aa47111163d193fe6028","datavalue":{"value":{"entity-type":"item","numeric-id":375735,"id":"Q375735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$34B34B0D-6451-4FAC-84B7-9B28C6022EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0211b0ddd172a15773c932c9d32a32216f871cf","datavalue":{"value":{"entity-type":"item","numeric-id":383994,"id":"Q383994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$846A55E2-8FC6-4C5D-B327-42D607D40676","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":"Q1179169$DE7DFA79-DE6C-4081-8E00-DA09E67F6AEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f573e2b3b084c4a3a114744647f6e9c18f299368","datavalue":{"value":{"entity-type":"item","numeric-id":1167339,"id":"Q1167339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$8328B784-1DB3-4546-A1A6-390AD57D8D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4201d62ad587f3ead4ccb45c3f7abaad03e20b9","datavalue":{"value":{"entity-type":"item","numeric-id":3490667,"id":"Q3490667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$34E5B7E1-836E-425A-BFAD-6DF5FA6414B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e364a41325bd68d8b99123e85b217b36a4d750","datavalue":{"value":{"entity-type":"item","numeric-id":2644807,"id":"Q2644807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$0EDDCF1F-B1D1-4E90-8DFE-E3B54E4F641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ebf3f695a7503e4d0733d050b73a13373dc484","datavalue":{"value":{"entity-type":"item","numeric-id":5726852,"id":"Q5726852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$58101A71-0F2E-4238-9499-E287A8DD29FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a2ee9a37ee2f2233375d18dc53590f01ace286","datavalue":{"value":{"entity-type":"item","numeric-id":1236722,"id":"Q1236722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$F3CE5CAC-C7F7-40D7-A197-C152A6307FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce545c301fc09a5e8b65dcf073efbaeb35951c93","datavalue":{"value":{"entity-type":"item","numeric-id":3662334,"id":"Q3662334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$4A6EA7F7-A42F-4ABD-8E5D-A775D1AFB277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed2028f54f25f81366897fdb0719c57d4913197","datavalue":{"value":{"entity-type":"item","numeric-id":790339,"id":"Q790339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$B857B6CC-675A-4E70-B7A8-6C8D9F5FB430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc39f000b9bb21f241fbdd2e20ac3bfab44a7394","datavalue":{"value":{"entity-type":"item","numeric-id":4712357,"id":"Q4712357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179169$F0736439-C933-4C7F-A6E6-543F5B7D374A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3804496d062927336e7926098023870270a3ff1","datavalue":{"value":"https://doi.org/10.1215/s0012-7094-91-06315-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1179169$D2D45AB2-7698-4363-BC72-17B8C8D6696D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"def55ff505db8052a39a5638c57aeba5102bf866","datavalue":{"value":"W1608809436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179169$132741A0-69B2-43AA-9A33-69F3047D7A19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f212d34f27e274f79b98447e0240077b239a29","datavalue":{"value":{"entity-type":"item","numeric-id":910924,"id":"Q910924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866a4d12c38ea3b314ae49ec9ca1de80f6e76f86","datavalue":{"value":{"amount":"+0.8757390975952148","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":"Q1179169$1329F054-B3EB-4085-A29A-468C616702A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361e94f538417d632b9588ea3e0c12e295aa762b","datavalue":{"value":{"entity-type":"item","numeric-id":790339,"id":"Q790339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd144cf5931e1928049408d5ca23f24d1333770","datavalue":{"value":{"amount":"+0.8600637912750244","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":"Q1179169$8C121CE6-D8FC-4ABF-8E46-EF17C50B2768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6dbb3778789454f173ec6b504fb2c7079af1ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3490667,"id":"Q3490667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c35ed284584411348e0a13ae3e433cb155c04b4c","datavalue":{"value":{"amount":"+0.8453027606010437","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":"Q1179169$2072DFA4-920D-437F-A6C7-424487C52D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8849636a51d7f296c735c245af27648a69e3ec","datavalue":{"value":{"entity-type":"item","numeric-id":4878655,"id":"Q4878655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74943a7fa327db884a16383ebc7729e18caaeee","datavalue":{"value":{"amount":"+0.8298940062522888","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":"Q1179169$C11E1E52-7D61-4A86-B2A1-7C4C52A6AB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712c26e31d8523bcfd9b5038addf03d67c6de2fe","datavalue":{"value":{"entity-type":"item","numeric-id":4347760,"id":"Q4347760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46604fe25d075c8c4d47575f60f06e671a25fc99","datavalue":{"value":{"amount":"+0.8243242502212524","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":"Q1179169$1351D404-2A3D-472B-90DC-A31E6F280066","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1179169","badges":[]}}}}}