{"entities":{"Q881211":{"pageid":883059,"ns":120,"title":"Item:Q881211","lastrevid":65060835,"modified":"2026-04-12T00:03:25Z","type":"item","id":"Q881211","labels":{"en":{"language":"en","value":"On solvability conditions for overdetermined systems of differential equations in Sobolev spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5155785"}},"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":"Q881211$316D9AA6-6B9D-4915-B1CB-AEF9F17B9814","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6499a92649da27a113370b3c735f3aa43567df0b","datavalue":{"value":{"text":"On solvability conditions for overdetermined systems of differential equations in Sobolev spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q881211$FFB95C58-6314-4621-A15C-141BDE37E591","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92b4512b660b4b6efff4fe3e51548674e14b8683","datavalue":{"value":"1121.58023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q881211$18B1C5E8-0911-4954-A910-C1065F65EBFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881211$BB5D86A1-0B21-4A16-AA84-B464F410540F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d772ea33f63b1c17d1cd0f194baa280f4e932509","datavalue":{"value":{"time":"+2007-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q881211$CE26F29B-C7BE-4B16-80C7-4E7939C4BEEF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ab0fb71cc2721015bbda2d8984fee9980b191d9","datavalue":{"value":"By using iterations of Green's integrals [\\textit{M. Nacinovich} and \\textit{A. Shlapunov}, Math. Nachr. 180, 243--284 (1996; Zbl 0871.35066)], local solvability conditions for the equation \\(A_iu= f\\) are studied. Here \\(\\{A_i, E_i\\}\\) is an elliptic complex such that \\(A_i: C^\\infty(E_1)\\to C^\\infty(E_{i+1})\\), \\(0\\leq i\\leq N\\), is a differential operator of degree \\(m\\), \\(E_i\\) is a vector bundle over a smooth compact \\(n\\)-dimensional manifold \\(X\\) with smooth boundary \\(\\partial X\\). The interior of \\(X\\) is denoted by \\(\\mathring X\\).  Let \\(H^m(X, E_i)\\) be the \\(m\\)th Sobolev space of the sections of \\(E_i\\), \\(\\mathring H^m(X, E_i)\\) the closure of compact support sections of \\(E_i\\) in \\(H^m(X, E_i)\\), and let \\({\\mathcal H}_i(X)=\\{u\\in\\mathring H^m(X, E_i)|A^*_{i-1} u= A_i u= 0\\}\\). Then there exist orthogonal projectors  \\[ \\Pi^{(i)}: H^{-m}(X, E_i)\\to{\\mathcal H}_i(X),\\;\\Phi_i: H^{-m}(X, E_i)\\to \\mathring H^m(X, E_i)\\cap{\\mathcal H}^\\perp_i(X), \\]  such that \\({\\mathfrak A}_i\\Pi^{(i)}= \\Phi_i\\Pi^{(i)}= \\Pi^{(i)}\\Pi_i= 0\\) and \\(\\Phi_i\\Delta_i u= u- \\Pi^{(i)}u\\), \\(\\Delta_i\\Phi_i w= w- \\Pi^{(i)}w\\) [\\textit{B.-W. Schulze}, \\textit{A. Shlapunov} and \\textit{N. Tarkhanov}, Ann. Global Anal. Geom. 24, 131--160 (2003; Zbl 1067.58019)]. Here \\({\\mathfrak A}_i= A_i+ A^*_{i-1}\\) and \\(\\Delta_i= A^*_i A_i+ A_{i-1} A^*_{i-1}\\). By using these operators and the Green operator \\(G_{A_i}\\), etc., for \\(A_i\\), etc., [\\textit{N. N. Tarkhanov}, The parametrix method in the theory of differential complexes, Novosibirsk: Nauka. (1990; Zbl 0758.58002)] operators on \\(C^\\infty(\\overline D, E_i)\\), etc., \\(D\\Subset\\mathring X\\)   \\[ ({\\mathcal G}^{(i,1)}u)(x)= -\\int_{\\partial D} G_{A_i}(^tA^*_i \\Phi_i(x,\\cdot), u), \\]   \\[ (T^{(i,1)}f)(x)= \\int_D \\langle^t A^*_i \\Phi_i(x,\\cdot), f\\rangle_{x,i+1}\\,dx, \\]  and \\({\\mathcal G}^{(i,2)}\\), \\(T^{(i,2)}\\), which are defined similar to \\({\\mathcal G}^{(i,1)}\\), \\(T^{(i,1)}\\), but replaced \\(^tA^*_i\\) by \\(^tA_{i-1}\\), are introduced. Then to set \\({\\mathcal G}^{(i)}={\\mathcal G}^{(i,1)}+{\\mathcal G}^{i,2)}\\), the Green formula  \\[ (\\chi_D u)(x)= ({\\mathcal G}^{(i)}u)(x)+ (T^{(i,1)} A_iu)(x)+ (T^{(i,2)} A^*_{i-1} u)(x)+ (\\Pi^{(i)}_D u)(x), \\]  is shown (Lemma 1). Here \\(\\chi_D\\) is the characteristic function of \\(D\\). Then for the strong operator topologies of \\({\\mathcal L}(H^m(D, E_i))\\) and \\({\\mathcal L}(L^2(D, E_{i+1})\\), it is shown   \\[ \\begin{aligned} I&= \\pi_{S^m(A_i, D)}+ \\sum^\\infty_{\\nu= 0} (\\Pi^{(i)}_D+{\\mathcal G}^{(i)}+ T^{(i,2)} A^*_{i-1})^\\nu T^{(i,1)} A_i,\\\\ I&= \\pi_{\\ker T}^{(i,1)}+ \\sum^\\infty_{\\nu= 0} A_i(\\Pi^{(i)}_D+{\\mathcal G}^{(i)}+ T^{(i,2)} A^*_{i-1})^\\nu T^{(i,1)}, \\end{aligned} \\]  (Theorem 2). Here \\({\\mathcal L}(H)\\) is the Banach space of continuous linear operators on a Hilbert space \\(H\\) and \\(S^m(A_i, D)\\) is the space of weak solutions of the equation \\(A_iu= 0\\) in \\(D\\). Then it is shown that the equation \\(A_u= f\\), \\(f\\in L^2(D, E_{i+1})\\) has a solution \\(u\\in H^m(D, E_i)\\) if and only if \\(f\\perp\\ker T^{(i,1)}\\) and the series  \\[ R^{(i)} f= \\sum^\\infty_{\\nu= 0} (\\Pi^{(i)}_D+{\\mathcal G}^{(i)}+ T^{(i,2)} A^*_{i-1})^\\nu T^{(i,1)} f, \\]  converges in \\(H^m(D, E_i)\\) (\\S5. Theorem 3). Introducing the harmonic space \\({\\mathcal H}^{i+1}(D)= \\{g\\in S^0(A^*_i, D)\\cap S^0(A_{i+1}, D)|\\nu_i(g)= 0\\}\\) of the complex \\(\\{A_i, E_i\\}\\), the first condition of Th.3 is refined to \\(f\\perp{\\mathcal H}^{i+1}(D)\\) and \\(A_{i+1} f= 0\\) (Corollary 4). The author remarks that \\({\\mathcal H}^{i+1}(D)\\) is not a finite-dimensional space in general.  To show these results, the Hermitian form  \\[ h^{(i)}_D(u,v)= \\int_X ({\\mathfrak A}_i e_i(u),{\\mathfrak A}_i e_i(v))_x \\,dx+ \\int_X (\\Pi^{(i)} e_i(u), \\Pi^{(i)} e_i(v))_x \\,dx, \\]  where \\(e_i(u)\\) is obtained from \\(u\\) by adopting suitable Dirichlet problem of \\(\\Delta_i\\), which is shown to give an equivalent norm as the standard Sobolev \\(m\\)-norm (\\S2. Theorem 1) is heavily used.  The author remarks for the Dolbeault complex, \\({\\mathcal G}^{(i)}\\), etc. are similar-to the Martinelli-Bochner integral [\\textit{A. V. Romanov}, Sov. Math., Dokl. 19, 1211--1215 (1978); translation from Dokl. Akad. Nauk SSSR 242, 780--783 (1978; Zbl 0434.35066)]. In \\S3, after computing \\({\\mathcal G}^{(i,k)}\\), it is shown \\({\\mathcal G}^{(i,1)}\\) is not self-adjoint with respect to \\(h^{(i)}_D\\) if \\(D\\) is the unit ball \\({\\mathcal B}_1\\) (Lemma 3). It is also remarked that the pointwise convergence of the iteration of \\({\\mathcal G}^{(i)}+\\Pi^{(i)}_D\\) in spaces other than \\({\\mathcal L}(H^m(D, E_i))\\) is impossible, in general (\\S4. Proposition).","type":"string"},"datatype":"string"},"type":"statement","id":"Q881211$277911C5-81AE-46BF-981B-6334ED6D09FE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff218d8a6072e9b189d21d69809bca07a41e5929","datavalue":{"value":{"entity-type":"item","numeric-id":587361,"id":"Q587361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881211$013371FD-F9A5-4757-8393-494B25D83273","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"666976d18ca545b4ec6bf28ea0d5014ed43a9ee1","datavalue":{"value":"58J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q881211$8A87485F-AA8A-407F-98ED-5BED17BDA49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84e79da2d436f0c8b2df9d7ee0eebf29d95f82d2","datavalue":{"value":"35N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q881211$2822E53D-97FA-4C87-9DB6-19DBF00A15EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4055b63f7133a12a0b69b293fcd906bba6512850","datavalue":{"value":"5155785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q881211$B34A222A-38B2-4FF0-91B4-A048284159BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91c4ceba49bf12fc2aac57054b5084cefd558b02","datavalue":{"value":"elliptic complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q881211$3E9786D7-13AD-4277-9422-0FF476895003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"662e674a0de2c8f00a18fa5678166d4f0f800fb2","datavalue":{"value":"Green's integral","type":"string"},"datatype":"string"},"type":"statement","id":"Q881211$6E330F9A-F1F5-41CF-920A-4D10405FF347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47bf850bd5264fb3503f84c25b58017ca1ea9e9","datavalue":{"value":"iteration of Green's integrals","type":"string"},"datatype":"string"},"type":"statement","id":"Q881211$ABAD12E8-B210-42CC-A1BD-469AAA87B0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7b4f051f1ad80a1da1fdf26d8fb572d54dba8d","datavalue":{"value":"Sobolev space","type":"string"},"datatype":"string"},"type":"statement","id":"Q881211$5753DAD2-0668-4E62-A541-C22FED0D29D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c97c0c9d3c4101ef990070546a0c0944e51dfc","datavalue":{"value":"overdetermined system","type":"string"},"datatype":"string"},"type":"statement","id":"Q881211$A75BA5B2-0D23-4170-B33C-B1A86BCE33F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"522a513ec66d9194c94d475e11e110cc9b94ac47","datavalue":{"value":{"entity-type":"item","numeric-id":1335474,"id":"Q1335474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881211$1452FCD1-987F-4E23-9E8F-B08FA27E8ED0","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":"Q881211$87187654-7960-4F71-A714-AB6DF14B3238","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f12fe0eb994784e1e673ef1391e2c597c6caa1","datavalue":{"value":{"entity-type":"item","numeric-id":3322520,"id":"Q3322520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c042930704347fb6e36578935e43aa39544ee78","datavalue":{"value":{"amount":"+0.7783598899841309","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":"Q881211$BF79E2B6-CE09-4C68-97EB-60B144707BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10aea3a86b22866dc6a3af0e66916772be159011","datavalue":{"value":{"entity-type":"item","numeric-id":4888022,"id":"Q4888022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2653cef150e5e6f05b3d5f842dcbd5b7f5815b95","datavalue":{"value":{"amount":"+0.7637287378311157","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":"Q881211$65F32892-5C33-41FD-9FE9-64CC830F7F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7eb74972a2c038a2420b51e238f796694489b47","datavalue":{"value":{"entity-type":"item","numeric-id":1077628,"id":"Q1077628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40a0c001676b90e71c1ef62ee31015f799af6c6","datavalue":{"value":{"amount":"+0.7600422501564026","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":"Q881211$4BDC7A16-DD10-4A40-A57F-9A1734F581CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e6803bd7850fa8c633554b6625403df3bf83db","datavalue":{"value":{"entity-type":"item","numeric-id":1874450,"id":"Q1874450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43ea265d9d2520445c527e6c93b406988af98e9","datavalue":{"value":{"amount":"+0.7523747682571411","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":"Q881211$F55C9BC6-C47F-44EC-B574-51AC0A36CE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d69dc6ef8fafd1a7b87081f45027ab0381ed4d0","datavalue":{"value":{"entity-type":"item","numeric-id":3312998,"id":"Q3312998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fad4bdc40645d9026ea0d4e180ce035a0d66cc","datavalue":{"value":{"amount":"+0.751689076423645","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":"Q881211$6483E33C-99E9-4C29-BA54-8F6E21A94D3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On solvability conditions for overdetermined systems of differential equations in Sobolev spaces","badges":[]}}}}}