{"entities":{"Q1901658":{"pageid":1912400,"ns":120,"title":"Item:Q1901658","lastrevid":71746458,"modified":"2026-04-14T00:16:30Z","type":"item","id":"Q1901658","labels":{"en":{"language":"en","value":"Remark on extensions of the Watermelon theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 817697"}},"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":"Q1901658$6BED74C1-EC47-49B8-8E4D-4226C4CF8F01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8eebd865c5fd3e83846b59d73728fdebb1a1971","datavalue":{"value":{"text":"Remark on extensions of the Watermelon theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901658$FA4793A9-549E-40EF-88CB-CED1BD2F4F2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab7e946b7f018468e7f48f14955e9dabc701d442","datavalue":{"value":"0842.35003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901658$D8633260-4ECB-4765-8D23-D76275111B28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901658$729B0766-7008-4A87-BE44-AB97A506B4DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fe9570de9a95521efde3dc121cd04d3b5b6390f","datavalue":{"value":{"time":"+1996-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901658$F40B739E-8F0A-4638-AE2C-D0C6EFB263BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68ddcfda67c0c0c5993a673cd18c2ec4227bf528","datavalue":{"value":"In a recent work [Ann. Inst. Fourier 43, No. 5, 1223-1251 (1993; Zbl 0804.35004)] \\textit{L. H\u00f6rmander} has given some refinements of Kashiwara's Watermelon Theorem. The purpose of this note is to give some slight improvements of one of the results of H\u00f6rmander.    Let \\(u\\) be a distribution (or a hyperfunction) on \\(\\mathbb{R}^n\\), \\(n \\geq 2\\), with compact support \\(K\\). Let \\(y_0 \\in K\\) and let \\(\\eta_0 \\in \\mathbb{R}^n\\), \\(|\\eta_0 |= 1\\), be an exterior normal vector of \\(K\\) at \\(y_0\\) in the \\(C^2\\) sense. In other words, there exists a real \\(C^2\\) function, defined in a neighborhood of \\(y_0\\) such that \\(h(y_0) = 0\\), \\(dh (y_0) = \\eta_0\\), and \\(h(y) \\leq 0\\) for all \\(y\\) in \\(K\\) which are in a neighborhood of \\(y_0\\). After an analytic change of variables (a convexification) and a truncation away from \\(y_0\\), we may assume that \\((y - y_0) \\cdot \\eta_0 |_K \\leq 0\\). Kashiwara's Watermelon theorem then states that if \\(\\xi_0 \\in \\mathbb{R}^n \\backslash \\{0\\}\\), \\(\\lambda \\in \\mathbb{R}\\), \\((y_0, \\xi_0) \\notin WF_a (u)\\), then \\((y_0, \\xi_0 + \\lambda \\eta_0) \\notin WF_a\\). Here \\(WF_a\\) is the analytic wavefront set. The following result is a slight refinement of the first half of Corollary 2.7 of [loc. cit.].   Theorem. Assume that there is a sequence \\(\\eta_j \\in \\mathbb{R}^n\\), \\(j = 1,2, \\dots\\), with \\(\\eta_j \\to \\eta_0\\), such that  \\[ \\begin{aligned} {\\eta_j - \\eta_0 \\over |\\eta_j - \\eta_0 |} \\to \\nu, \\quad & j \\to \\infty, \\\\ (y - y_0) \\cdot \\eta_j |_K - \\delta_j \\leq 0, \\quad & \\text{where } \\delta_j > 0, \\;\\delta_j \\to 0, \\\\ {\\delta_j \\over |\\eta_j - \\eta_0 |^2} \\to 0, \\quad & j \\to \\infty. \\end{aligned}  \\]  Then if \\(\\xi_0 \\neq 0\\), \\((y_0, \\xi_0) \\notin WF_a (u)\\), we have \\((y_0, \\xi_0 + \\lambda \\nu) \\notin WF_a(u)\\), for all \\(\\lambda \\in \\mathbb{R}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901658$9131D3F1-40E0-46C7-948E-998F80B778CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e023833ac31982f802a2107fc74af381931dffa","datavalue":{"value":"35A27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901658$B69DFDA7-E2E1-4458-A0A9-0C0E9008CE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"728f5fa227bd04be9871079d4a974822449989c3","datavalue":{"value":"35A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901658$77AE1F76-564A-4B31-9C77-2BF1856A9CC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2ec7bdc22d0e08f1c2807f2a29fa9708bf0dadd","datavalue":{"value":"817697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901658$B2BD368A-6203-4149-8720-00284BE87D4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e996c4058e6dc144290bd1c9de08e0f2635173","datavalue":{"value":"Watermelon theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901658$996B2CE3-3107-49AE-89D2-566389869919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c865d0eea3dc889478dda6649408f88bccf3532b","datavalue":{"value":"analytic wavefront set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901658$CA2CC400-57B8-411F-810A-9BE61BB11D16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3ef370861deef198ec8f9c80e8fe1a32efb4fd","datavalue":{"value":{"entity-type":"item","numeric-id":182032,"id":"Q182032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901658$6CF80D6E-37D6-43BC-8474-74501E2FFEFF","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":"Q1901658$1746ED13-F9B9-4299-80A3-EC6AA73F1CE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7390d318235361b1b4d340ab47c8d18cde1433bf","datavalue":{"value":"https://doi.org/10.4310/mrl.1994.v1.n3.a3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1901658$4D55E095-0D67-4F79-BB10-FFD506A0BE8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43fce4909820119a734b15de673e7ceeaeb07cc7","datavalue":{"value":"W2335490383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901658$EC271595-DDF4-49BC-A865-1A754BA50FC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6309e2c2886ef844dc25ca3ce3531acfa91c4a8f","datavalue":{"value":"10.4310/MRL.1994.V1.N3.A3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901658$612A1655-D27F-4506-8657-4DBE875C546F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6e64ac937e7f3d9719639d1d0d31bafd8d821c","datavalue":{"value":{"entity-type":"item","numeric-id":3428823,"id":"Q3428823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fde3a499f4af8f09f11632fc23ef1791d537e6","datavalue":{"value":{"amount":"+0.8705169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901658$8051E046-DA0A-4476-9BCF-C1C4AA7232CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69e0ccc0b5ffe16f7348b4503f902adfc82e0ee","datavalue":{"value":{"entity-type":"item","numeric-id":1924563,"id":"Q1924563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f8a471cb4fb6c32fb2cc0c3abf5fb97ec80ef4","datavalue":{"value":{"amount":"+0.86281455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901658$A89E7BB6-EDCD-420E-B080-9B7077EDE41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eea2625e34c50e5f902d46fad8cae7c195053eb","datavalue":{"value":{"entity-type":"item","numeric-id":5584661,"id":"Q5584661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b876aca1a21eb34350a030d58b71b09d3008ebc","datavalue":{"value":{"amount":"+0.85873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901658$83CEDC05-C543-4114-A505-C00EE77009EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f351fcb1c2bb3c2d12abbb0e478247625e5b98","datavalue":{"value":{"entity-type":"item","numeric-id":4673357,"id":"Q4673357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87feba978198bc7a70eb61760388ea3015815760","datavalue":{"value":{"amount":"+0.856966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901658$1DA35529-3F56-419B-847A-67FB11E22F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f642caad1bb26b26af1e95c8d26c41e7086fde92","datavalue":{"value":{"entity-type":"item","numeric-id":3449916,"id":"Q3449916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58657f5c7dfbbb05e18598f93945f1c7b9d1027","datavalue":{"value":{"amount":"+0.8541991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901658$5F039C98-9794-4D63-88A0-73AA20B21B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cecefab3a74d915736b4347fc81313dd4dc9129","datavalue":{"value":{"entity-type":"item","numeric-id":3800141,"id":"Q3800141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47851fc1dd1f607d1b02981c07433bf3084c980f","datavalue":{"value":{"amount":"+0.8501843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901658$46E6F031-E624-49A8-A10E-9F99B7E57B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"162062f5d6de0f6f4625b6e1a65f18867a5a26b0","datavalue":{"value":{"entity-type":"item","numeric-id":3829604,"id":"Q3829604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb5ddb09a3268a71c4e65c6fcc0633aefcb2bd8","datavalue":{"value":{"amount":"+0.84965444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901658$15A7B8C5-E806-4685-B0AB-4FD9CDD52336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19169227e0b5614432fadd400381472db9b8c93c","datavalue":{"value":{"entity-type":"item","numeric-id":1743250,"id":"Q1743250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fece6c7896f0680d6010d810a31fcda51229df","datavalue":{"value":{"amount":"+0.84944946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901658$3D058177-B212-46C2-BC95-17041C86C83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd519698ba1b807cdb7be8ea94bfd78d4ac64095","datavalue":{"value":{"entity-type":"item","numeric-id":1825375,"id":"Q1825375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9572e7d751450c9108a806a84250a803ee4d5e","datavalue":{"value":{"amount":"+0.84837586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901658$401474D2-A1CF-4927-86E9-012F8018C690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff820edc5351b34ff149817a8356b58fee4ef83","datavalue":{"value":{"entity-type":"item","numeric-id":3134019,"id":"Q3134019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3741eaa9561c5803fed38965a41d1a12e33600a","datavalue":{"value":{"amount":"+0.84831434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901658$0F0FDC75-37FD-4E61-BCDF-7297A39D8279","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remark on extensions of the Watermelon theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remark_on_extensions_of_the_Watermelon_theorem"}}}}}