{"entities":{"Q1090894":{"pageid":1101646,"ns":120,"title":"Item:Q1090894","lastrevid":49075243,"modified":"2026-01-06T13:41:01Z","type":"item","id":"Q1090894","labels":{"en":{"language":"en","value":"On positive generalized functionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4009093"}},"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":"Q1090894$A0A2B188-2851-46A2-A1D0-BBBA02EE03EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d79c9098885a68c19ddd6a45d354b96083a2e34","datavalue":{"value":{"text":"On positive generalized functionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090894$ED80CD6B-AF79-4294-97FB-B6F04D9F2A4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"648e563ab4cac0cd2a52ebf9e8f7b88db535ccf8","datavalue":{"value":"0622.46031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090894$68690C35-E81C-4711-8CA3-59C0596FBDE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9771473ff632416977f149a40f058dabb43b5243","datavalue":{"value":"10.1016/0022-1236(87)90039-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090894$2EE96792-C24F-46B7-9F07-0496379442E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c822db5813f0f9086f4e4ec19f4b6b46b5b495","datavalue":{"value":{"entity-type":"item","numeric-id":165791,"id":"Q165791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$7EF2A00E-4DD3-489B-8B58-57ADF7CA34DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1090894$56F12319-2E05-4B47-B01A-7B62A4170D86","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1714a2aca0be89f23c0803016d9cad73aa30f61","datavalue":{"value":"Given a Gaussian space (\\({\\mathcal N}^*,{\\mathcal B},d\\mu)\\), where \\({\\mathcal N}^*\\) is the dual of a real nuclear space \\({\\mathcal N}\\), B its topological \\(\\sigma\\)-algebra and \\(d\\mu\\) a Gaussian measure on \\({\\mathcal B}\\), we construct spaces of test functionals on \\({\\mathcal N}^*\\) as follows. \\(L^ 2({\\mathcal N}^*,d\\mu)\\) is isometric to the symmetric Fock space \\(\\Gamma\\) (\\({\\mathcal H})\\) over the Hilbert space \\({\\mathcal H}\\), whose scalar product determines \\(d\\mu\\) [\\textit{E. Nelson}: ''Probability theory and Euclidean field theory'', in Lect. Notes Phys. 25, 94-124 (1973; Zbl 0367.60108)]. If A is a linear (selfadjoint positive) operator on \\({\\mathcal H}\\), one can construct from it a linear (selfadjoint pos.) operator \\(d\\Gamma\\) (A) on \\(\\Gamma\\) (\\({\\mathcal H})\\) [loc. cit.] and therefore one obtains a corresponding operator \\(d\\gamma\\) (A) on \\(L^ 2({\\mathcal N}^*,d\\mu)\\). If A is densely defined, then so is \\(d\\gamma\\) (A) on the algebra \\({\\mathcal A}\\) generated by cylindrical polynomials and exponentials on \\({\\mathcal N}^*\\). Define a compatible system of norms on \\({\\mathcal A}\\) by setting (A\\(\\geq 0)\\) \\({}_ A\\| \\cdot \\|_{p,k}:=\\| (1+d\\gamma (A))^{k/2}\\cdot \\|_ p\\), where \\(\\| \\cdot \\|_ p\\) is the norm of \\(L^ p({\\mathcal N}^*,d\\mu)\\). The completion of A w.r.t. \\({}_ A\\| \\cdot \\|_{p,k}\\) is denoted by \\(L_ A^{p,k}\\) and the projective limit of the resulting family of spaces is denoted by \\(\\Sigma_ A:\\Sigma_ A:=_{p\\in {\\mathbb{N}},}-\\lim_{k\\in {\\mathbb{N}}_ o}L_ A^{p,k}\\Sigma\\) \\({}_ A\\) serves as a space of test functionals on \\({\\mathcal N}^*\\), \\(\\Sigma^*_ A\\), its dual, is a space of generalized functionals.    Let \\(\\Sigma_{A,+}\\) denote the cone of a.e. positive test functionals and \\(\\Sigma^*_{A,+}\\) the cone of those elements in \\(\\Sigma^*_ A\\), which map \\(\\Sigma_{A,+}\\) into \\({\\mathbb{R}}_+\\). In this article two theorems on \\(\\Sigma^*_{A,+}\\) analogous to classical results of Bochner are proven.    Theorem A: Let \\(F\\in \\Sigma^*_{A,+}\\). Then there exists a unique positive measure \\(d\\nu_ F\\) on \\({\\mathcal B}\\), s.t. for all \\(\\phi\\in {\\mathcal A}\\), \\(<F,\\phi >=\\int_{{\\mathcal N}^*}\\phi (x)d\\nu_ F(x)\\)    Theorem B: Choose \\(A=id\\) and let \\(F\\in \\Sigma^*_{id}\\). Then \\(F\\in \\Sigma^*_{id,+}\\) if and only if its Fourier transform \\({\\mathcal T}F\\), \\({\\mathcal T}F(\\xi):=<F(\\cdot),\\exp\\) \\(i<\\cdot,\\xi >>\\), \\(\\xi\\in {\\mathcal N}\\), is a positive definite functional on \\({\\mathcal N}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090894$BCE45675-31F4-41B5-AACF-F9D900616661","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a46df0688980640205cad3f13e6520e469e8779","datavalue":{"value":"46F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090894$54D25849-9816-4CFA-9836-B19D03E5868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3de9d0f248c6a04f9cebd5d8b431ae4553b61a05","datavalue":{"value":"46A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090894$811C5765-E144-4DF3-8C07-95B46C4A0E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f56763ee31d02e8d0de6a319408bf4c05dc45943","datavalue":{"value":"46A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090894$162CE5D8-D01B-4D50-870D-AF57C30336DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"04a0fd183d5a51010a3c6ce911855569f7ca7a61","datavalue":{"value":"46F12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090894$CBCBFDEE-A0B4-43D6-8556-A76060BB0B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"482ab7b2f947ff1dc27588bea31723f63750f3c4","datavalue":{"value":"46G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090894$92AA9F0F-C6C7-4BA0-A9B0-8F682430B116","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bba27868cd7e8190f136d4d8b07bf3f1c80d1327","datavalue":{"value":"4009093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090894$61F49B46-92E7-461C-9B2D-715B7471FDD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639b0e54a83ff0460b8ee3b314189bd1834c2171","datavalue":{"value":"positive generalized functionals, Bochner's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090894$E928133D-EACD-44CE-9EFC-CE9EDBEA412D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"783a96e40a231e608770658e27205d5e8e152757","datavalue":{"value":"Gaussian space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090894$8BDA804F-B1EE-4CD9-BB78-ECD451A10CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6594b7a3f7bd03483bcbcad53eab6f3e60636f7","datavalue":{"value":"dual of a real nuclear space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090894$F6EEB8A0-1C14-473E-8D68-9AC51A6F4ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc0d839b0f7f7e7f87a5955f544be347954c5ee","datavalue":{"value":"Gaussian measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090894$CE68F214-827D-48BB-A331-55C567F17364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486fc05c931e985d18705d7e340561975df8f8ca","datavalue":{"value":"spaces of test functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090894$BF394BF0-217D-4289-8A64-E5E51F69CF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2576976da61a900b474a17577893a88b8c4599e","datavalue":{"value":"symmetric Fock space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090894$56E989CE-CF52-4AC4-A667-E631F8D6CA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f79a792885d1e7af688c91b9d09d93d34536dc","datavalue":{"value":"cylindrical polynomials and exponentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090894$6B962BB6-985A-488F-B574-FA7F0930A970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd617c003bf13ed2c26464de9e0ff07118ebe39","datavalue":{"value":"projective limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090894$87EA243A-267A-437B-B4A8-82A5B19F4B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f909a437ecf2c481079bc7248774e9018f4a79b4","datavalue":{"value":"space of generalized functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090894$0DA145D6-43A0-43D1-A3AE-92838F1BD37E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a27bd8ca6a776ed7def123a64add9e397cfc2d0","datavalue":{"value":{"entity-type":"item","numeric-id":1050706,"id":"Q1050706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$962E21D1-0BD5-4D8A-9A6C-D771E67A00F8","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":"Q1090894$3102818C-3899-416A-B28D-D78172D93497","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"864aea043590ab35f32df0c41bd861fb5f6581d3","datavalue":{"value":"https://doi.org/10.1016/0022-1236(87)90039-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090894$4D1B70D8-448B-4177-AA2B-28AAF9F05F7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ea47d4e44139661c19b2d2189d36c329f1e7321","datavalue":{"value":"W1968100042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090894$CDD35C61-A85A-4D7A-B2B5-E188252B6FE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3adfdcc0eb6ae9ba5db72d6a21bace66fb90c73f","datavalue":{"value":{"entity-type":"item","numeric-id":5662630,"id":"Q5662630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$4539B157-E70D-4935-B9D5-76196E47B6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8617267d13e831028d958ca5ed40773cb6992558","datavalue":{"value":{"entity-type":"item","numeric-id":5824218,"id":"Q5824218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$42C9AE5D-77D4-4242-A441-D762B91DE75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d138ecbcd0e0476a65882881400eeafb4b35d3","datavalue":{"value":{"entity-type":"item","numeric-id":3286594,"id":"Q3286594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$89B91E0F-6D09-4A6A-B038-E1400BE1A09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94d9045792192b3429998067cd6814dfc9553d2","datavalue":{"value":{"entity-type":"item","numeric-id":3870044,"id":"Q3870044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$8E2F3623-EC4A-440E-A388-C3CF835101D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f701a23d9c0c683340d932f91769e5ea301e5cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1838769,"id":"Q1838769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$143679BC-4656-4C28-A23B-B17470024A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0980d87b88d24dad6a93751951bb7fc378f304ed","datavalue":{"value":{"entity-type":"item","numeric-id":5598785,"id":"Q5598785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$E2244D07-04CA-4016-9570-2DFF3F059C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3518d31afab93ddadddb49b07db059ef3310c206","datavalue":{"value":{"entity-type":"item","numeric-id":3660634,"id":"Q3660634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$13BBE74E-E5EE-4B60-997A-DA3DE3794881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b19f0b804e289b764610a3f005e2b4a0bab0302","datavalue":{"value":{"entity-type":"item","numeric-id":579746,"id":"Q579746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$A6887EBD-D566-4650-B0D8-77FF932F8A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a134830bfc11feee6c3ecf540d20193ead14d50c","datavalue":{"value":{"entity-type":"item","numeric-id":3665727,"id":"Q3665727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$7910C269-D31E-4AE3-BAD9-89C9662D3270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbbc366c5a9eff39f307dd71c14eddaaed08c72","datavalue":{"value":{"entity-type":"item","numeric-id":3643263,"id":"Q3643263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$31C8A7A4-7EDD-4BE0-817B-CA03B78133BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb44ee53c1cf4142b089f574cd7647787e065279","datavalue":{"value":{"entity-type":"item","numeric-id":1068323,"id":"Q1068323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$D8CD554A-5045-4BF0-ABCD-CAA5D90A5651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d8a4a0764d279076c325a5cc7e3a427efc51c7","datavalue":{"value":{"entity-type":"item","numeric-id":3657133,"id":"Q3657133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090894$992A6A96-DC13-4E39-9B07-363542B2F0F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddba292493ebe18eddd1f0a4600217b59595a457","datavalue":{"value":{"entity-type":"item","numeric-id":751047,"id":"Q751047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4df1ddedb6eea79ad3ecda23ad742c152efdf42","datavalue":{"value":{"amount":"+0.8398197293281555","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":"Q1090894$729864AE-AE93-453E-855A-4EF5AB82F418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f96628ade66539dfbab8f388c74f7ba8558c80","datavalue":{"value":{"entity-type":"item","numeric-id":3138648,"id":"Q3138648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0615eb517eea9d53f7aef6ab3d5dbfbc26bf938","datavalue":{"value":{"amount":"+0.8098303079605103","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":"Q1090894$1003CF97-CA7C-419B-B47A-9C51785D466F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2059ce92337cc5c570799dd5dc7ece622706302","datavalue":{"value":{"entity-type":"item","numeric-id":4845120,"id":"Q4845120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7158aa293d72ce715f64244405953fe83cd6192","datavalue":{"value":{"amount":"+0.8084934949874878","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":"Q1090894$F7D51580-3632-49A8-8BFF-F9E89CA817B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7202095dfc03e01992c267df9a777599ee4620","datavalue":{"value":{"entity-type":"item","numeric-id":4306520,"id":"Q4306520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b8d38ee00137f85443e53f5fa8b867a96573bb","datavalue":{"value":{"amount":"+0.8003863096237183","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":"Q1090894$4292E964-373E-4881-B27C-E97075C6F077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72bec3bcab08d59d3c15412e1cfaf297efc857aa","datavalue":{"value":{"entity-type":"item","numeric-id":5694565,"id":"Q5694565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85178f94f8bb12f8872b897d4c92b98c23973d8","datavalue":{"value":{"amount":"+0.7932154536247253","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":"Q1090894$111B264B-E582-4E9A-8C83-A26126D8BED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1090894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1090894"}}}}}