{"entities":{"Q752308":{"pageid":754157,"ns":120,"title":"Item:Q752308","lastrevid":64144665,"modified":"2026-04-11T17:56:34Z","type":"item","id":"Q752308","labels":{"en":{"language":"en","value":"A propagation theorem for a class of microfunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177670"}},"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":"Q752308$5FA969CB-90CD-49CC-9ACC-6212E7BF3330","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1df17d4a97f9b39a775b7c28fcc865ee3d9524f","datavalue":{"value":{"text":"A propagation theorem for a class of microfunctions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752308$291C5E27-3A08-4721-83B9-381A75E3B6C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d426d208d8c817f79b08b9d7ecd36e684467877a","datavalue":{"value":"0715.35009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752308$8FA269BC-532D-4290-92AE-82E577EA30BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ab648ec746f5a91fed6449acf494cb22a43b6f4","datavalue":{"value":{"entity-type":"item","numeric-id":301603,"id":"Q301603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752308$70D89DAB-FF4B-4C34-BCEB-0397FC7B979D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5edb1ffd9b363389e7f3e4790e080c79148126b","datavalue":{"value":{"entity-type":"item","numeric-id":344430,"id":"Q344430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752308$276CF321-CFBE-4BC7-AAFB-3E13353033C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7e3f6e5b33be10b2f4aef979a84b2db8fbd69d63","datavalue":{"value":{"entity-type":"item","numeric-id":162242,"id":"Q162242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752308$E3F2A96F-09E4-447C-9253-570DD0BD77DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q752308$9E7AB0A6-C28A-4B11-A7C7-5CFF2AE3542A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f76aab6483cc63447b986849d74c7af787244e37","datavalue":{"value":"https://eudml.org/doc/244098","type":"string"},"datatype":"url"},"type":"statement","id":"Q752308$868425B4-497A-4DA2-B37B-3790260CCD5C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5e2ccade7e9ab663fc51e2c6d4495dee0a7aca8","datavalue":{"value":"This article presents a unique continuation theorem for the boundary microfunction sheaf \\({\\mathcal C}_{A| X}\\) and its application to the propagation of micro-analyticity at the boundary for hyperfunction solutions of systems of linear differential equations. It generalizes Kataoka's former result done for the half space A. In this article \\(A\\subset {\\mathbb{R}}^ n\\) is a subset satisfying the following conditions:    (1) Let \\(\\gamma^*_ x(A)\\) denote the polar of the tangent cone C(A,\\(\\{\\) \\(x\\}\\)). Then (i) \\(\\exists\\) neighborhood S of \\(x_ 0\\in \\partial A\\) such that \\(\\forall x\\neq y\\) in \\(\\partial A\\cap S\\), \\((x-\\gamma^*_ x(A))\\cap (y-\\gamma^*_ y(A))\\cap S=\\emptyset\\). (ii) \\(x\\mapsto \\gamma^*_ x(A)\\) is upper semi-continuous.    (2) \\(A=\\overline{int A}\\) in the linear hull of A.    (3) \\(SS({\\mathbb{Z}}_ A)\\subset \\gamma^*(A).\\)    For such A, \\({\\mathcal C}_{A| X}\\) satisfies the unique continuation property along the complex integral manifolds of \\(\\{H(\\phi^{{\\mathbb{C}}}_ i)\\}_{i=1,...,m}\\), where \\(\\{\\phi_ i\\}\\) is a basis for the linear subspace spanned by \\(\\gamma^*_{x_ 0}(A)\\) in \\(T^*_{x_ 0}X\\). As a corollary, for a \\({\\mathcal D}_ X\\)-module \\({\\mathcal M}\\) and \\(\\Omega ={\\mathbb{R}}^ n\\setminus A\\), it follows that  \\[  {\\mathcal H}om_{{\\mathcal D}_ X}({\\mathcal M},{\\mathfrak A}_{{\\bar \\Omega}})=\\{f\\in {\\mathcal H}om_{{\\mathcal D}_ X}({\\mathcal M},\\Gamma_{\\Omega}({\\mathcal B}))_{x_ 0};\\quad SS_{\\Omega}^{m,0}(f)\\cap {\\dot \\pi}^{-1}(x_ 0)=\\emptyset \\}.  \\]  Here \\(SS_{\\Omega}^{m,0}\\) denotes the boundary wave-front set introduced by Shapira.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752308$FE4E4DBE-E009-4F57-AE0E-27C8E6C07D57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e41661602860a19325b8c5423d3de0c761d26fb","datavalue":{"value":"35B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752308$BEBACA89-84B4-41B4-820F-C71D55CC2335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e023833ac31982f802a2107fc74af381931dffa","datavalue":{"value":"35A27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752308$D988E25C-6B22-477A-A9BB-1444EDA03EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0735187a012b620f59dd63b9ad209066585185f","datavalue":{"value":"35G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752308$76CE68E5-DC8F-49D3-B433-2FC4AB2ECF75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b60d8c95300d21e523db8d67df6176e995d31b91","datavalue":{"value":"4177670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752308$48B50914-ABCC-4333-84D9-2DDCD43D5DFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958d3095bcdee6fe1ac27549fb95ddeb7ec0ae1a","datavalue":{"value":"unique continuation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q752308$89323135-FCC1-4543-8978-309ECC35BA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d05a1b1aa644dfb5a5f2636c210d8bd1666b785","datavalue":{"value":"microfunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q752308$C2681BC9-6F60-49E3-B4B4-44EE24D7AD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8753975496c8fcd87cd9e6ca22f7bb30dcb11762","datavalue":{"value":"micro-analyticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q752308$0DC1FACC-5F3A-4E4A-82B3-13B1D6E9E390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948c840aad4942156443c59e8883e90f60000008","datavalue":{"value":"wave-front set","type":"string"},"datatype":"string"},"type":"statement","id":"Q752308$C104523C-EF2F-4ECA-B57C-6F4353DF112B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"084d399c77d36ac72f29db2be18dd146bc54a732","datavalue":{"value":{"entity-type":"item","numeric-id":1226211,"id":"Q1226211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752308$F318158D-315F-4C76-8621-54F2F6806A44","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":"Q752308$B7B2832F-BC88-444C-80CF-56C280D26ED7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a016106bc204578f499f3bf4e82b733bf1ab2192","datavalue":{"value":{"entity-type":"item","numeric-id":3029465,"id":"Q3029465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f436f6d78201f042050d422124d3f4eddd6009","datavalue":{"value":{"amount":"+0.8674330711364746","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":"Q752308$F67537BF-B592-4A64-BD35-C0F4298D3192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c1093bec46efeb6e4efc6c1dcb518aeda21d24","datavalue":{"value":{"entity-type":"item","numeric-id":3830274,"id":"Q3830274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc420153fb188c6ef0970e8d54a5e22dcd2256d4","datavalue":{"value":{"amount":"+0.8152189254760742","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":"Q752308$C1B11615-B8C9-412D-8DE5-A8E3FE07D034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625deb54b27bf866ac84d8baaac598fa1dbb6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":3796045,"id":"Q3796045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9279ef55cedebcff5b19c7d78c42c85c310828a7","datavalue":{"value":{"amount":"+0.8001845479011536","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":"Q752308$68797623-26A7-4EB2-9C19-2B00F3FE4E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fabb27c32b0e4e5bf5d5bee9dc5ceb4af14973ed","datavalue":{"value":{"entity-type":"item","numeric-id":3497445,"id":"Q3497445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49e371934a4a1a4ee9f7d23558ef78ae013c5c9","datavalue":{"value":{"amount":"+0.7933438420295715","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":"Q752308$88BC3BAA-E211-4F45-A15F-11EC6711B557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2701b14cb8ec76359d823779adfe2dbc42fefab","datavalue":{"value":{"entity-type":"item","numeric-id":3779484,"id":"Q3779484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a715a6fa9b5a00b5cbb279264e1f95f85666ab7","datavalue":{"value":{"amount":"+0.7907010316848755","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":"Q752308$5D927E60-C523-4AD2-A549-D52088AF484A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A propagation theorem for a class of microfunctions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_propagation_theorem_for_a_class_of_microfunctions"}}}}}