{"entities":{"Q1192113":{"pageid":1202862,"ns":120,"title":"Item:Q1192113","lastrevid":47079319,"modified":"2025-12-31T14:53:45Z","type":"item","id":"Q1192113","labels":{"en":{"language":"en","value":"Smooth positive definite functions on some multiplicative semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 60566"}},"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":"Q1192113$A9B112B3-B09C-4416-804F-81867BF8D208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65e2e5c12ef7394a0500c1ff6b3014ce4ed40bc5","datavalue":{"value":{"text":"Smooth positive definite functions on some multiplicative semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192113$119BBC46-D13F-4F1E-99E2-A9006AAB2209","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbc31df12c1282b7cc250a05649d65353aeae054","datavalue":{"value":"0764.43002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192113$B75246A6-EE6B-43C3-9690-65AFA3B15643","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fd430e4b572e971feae2a6898d1bb2b76cea826","datavalue":{"value":"10.1007/BF02844685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192113$8D55D7A1-93C1-4434-A3B9-D6170443A282","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c117b63570e71833cb242a6005ab376f17af5c6","datavalue":{"value":{"entity-type":"item","numeric-id":371676,"id":"Q371676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$E8A632DE-6B52-4349-AD23-2F8CD46D50CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192113$89B5518C-3F88-4EA8-A1FF-EA9A863BA0E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5bce43bc0d74450bb59ef7183690e75624a73c0","datavalue":{"value":"Let \\(I\\) denote the multiplicative semigroup \\(]-1,1[\\). In the following formulae we write \\(0^ u=0\\) for \\(u\\geq0\\). Then a positive definite function \\(\\phi\\colon I\\to \\mathbb{R}\\) is locally bounded at \\(0\\) iff there are Radon measures \\(\\mu_{\\pm1}\\) on \\(\\mathbb{R}_ +=[0,\\infty[\\) such that \\(\\int_ 0^ \\infty| x| ^ u d\\mu_{\\pm1}(u)<\\infty\\) and \\(\\phi(x)=c+\\int_ 0^ \\infty | x| ^ ud\\mu_ 1(u) +\\text{sgn}(x)\\int_ 0^ \\infty| x| ^ u d\\mu_{-1}(u)\\) for some \\(c\\geq0\\). The data \\(\\mu_{\\pm1}\\) and \\(c\\) are uniquely determined by these conditions, and if they are satisfied, then \\(\\phi\\) is analytic on \\(I\\setminus\\{0\\}\\) (Proposition 2.1). Also, \\(\\phi\\) is continuous at 0 iff \\(\\phi\\) is continuous on \\(I\\) iff \\(\\mu_{\\pm1}(\\{0\\})=0\\) (Proposition 2.2). If \\(\\phi\\) is a continuous positive definite function on \\(I\\) then it has an \\(n\\)-th derivative at \\(0\\) iff \\(\\mu_{\\pm1}(]k,k+1[)=0\\) and \\(\\mu_{(-1)^ k}(\\{k+1\\})=0\\) for \\(k=0,1,\\dots,n-1\\). In this case \\(\\phi(x)=c+\\sum_{k=1}^ n\\mu_{(-1)^ k}(\\{k\\})x^ k +\\int_{]n,\\infty[}| x| ^ ud\\mu_ 1(u) +\\text{sgn}(x)\\int_{]n,\\infty[}| x| ^ ud\\mu_{-1}(u)\\), and all \\(k\\)-th derivatives, \\(k=1,\\dots,n\\) can be computed and the derivative of the remainder integrals are given by integral formulae (see Theorem 2.3). This theory is then extended to a theory of continuous positive definite functions on \\(I^ 2\\); the degree of technicality increases considerably due to the increasing complication of the set of singularities. The power of the results obtained is such that they allow a quick proof of the following theorem (5.2): A positive definite continuous function on \\(I^ 2\\) which is locally bounded at \\((0,0)\\) extends to a holomorphic positive definite continuous function on \\(\\{(z_ 1,z_ 2)\\in\\mathbb{C}^ 2: | z_ 1| , | z_ 2| \\leq1\\}\\) if and only if there are \\(x, y\\in ]0,1[\\) such that both \\(\\phi(x,{\\cdot})\\) and \\(\\phi({\\cdot},y)\\) are smooth on \\(I\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192113$2B84BE64-15A8-4EE4-BE80-17A0F14A749B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e7430e460999274065e3fd12819322967d343f81","datavalue":{"value":"43A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192113$F7EB48F2-C015-4CCD-8565-4DE7B48283D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50f5f885df2d55875ce80e9e9c1700180f2c8892","datavalue":{"value":"43A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192113$5860E700-3AD0-4AC5-85F8-DD96D497DB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d48e7fcbf5eadbbce70eeb7c13a508997fdb109a","datavalue":{"value":"42A82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192113$181C4A55-8E99-4C9B-A1D4-F95406B8A850","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d05bb3665d8d03d9c87d99a95719ab67b5b8b43","datavalue":{"value":"60566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192113$F0E06FEE-36F3-43FB-95DA-318DFA8638BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95202bca9de4d1f07a92cee3520194d4a2574cdb","datavalue":{"value":"Radon measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192113$5C3ED15C-7387-4257-8B25-0CEEF3BC6899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e693024b6481410108cb2b860dfaf51f85737a","datavalue":{"value":"continuous positive definite function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192113$83706093-D3D0-4D29-8A2F-60FE7EC601BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"869804c54fc67421013d4b873822c9383db054ad","datavalue":{"value":"derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192113$81B1DCBE-5880-4500-9B97-6A5DDE23ADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d3f3992379ff65f34ef6e8866c6443e7e930ddd","datavalue":{"value":"integral formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192113$91B431E1-7ABE-46CF-9CBD-83A2E6B1B893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b287c6901f3fddb460785f9566fc3e6a4621946","datavalue":{"value":"holomorphic positive definite continuous function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192113$8A160553-1B64-4C06-B378-AED1D89E480D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17ae5f342de87580aa61d1b6acefb14fd1a8e3b2","datavalue":{"value":{"entity-type":"item","numeric-id":581558,"id":"Q581558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$567922B7-3E41-486E-9CCB-337F6AF08668","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":"Q1192113$77E3479C-1521-468B-A683-288F5F314CE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1a71d71304f3628c81a34afbd2a71b86db3d97","datavalue":{"value":{"entity-type":"item","numeric-id":3755956,"id":"Q3755956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$09866DD2-7D77-430C-8380-52E56DD62CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7978afa5fe746e89fec631e3f77c6cd064f6d9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1812603,"id":"Q1812603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$B4E63C2B-7B3C-4317-9478-37E6B1D114A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b718ff427084c16fc3017c710eff6e53406b69","datavalue":{"value":{"entity-type":"item","numeric-id":4735621,"id":"Q4735621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$8019C218-8BEA-4CA0-A8A0-D4DB610C3BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abe4f31a62f02b1e64ce9df9911e69c3584a6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5624248,"id":"Q5624248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$85E88780-CBFC-49A3-AA6E-B8BEC9F56075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa576bc0f472e3f72ae22907badbe1846057e637","datavalue":{"value":{"entity-type":"item","numeric-id":2554509,"id":"Q2554509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$E02F58BB-B38E-4E2B-9675-447E7DBE0D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0096541ec1c64742e276572f64bef0d714bbaee5","datavalue":{"value":{"entity-type":"item","numeric-id":3913858,"id":"Q3913858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$9585BB18-9526-43B3-98AA-FF9B69698CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28658b1c77be6d173943eb19db504ace472cad4d","datavalue":{"value":{"entity-type":"item","numeric-id":772135,"id":"Q772135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$717F99E7-5276-4FFB-BAF0-5D549E693242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"278dd41daac35220e1b329470b55220885e0c1ad","datavalue":{"value":{"entity-type":"item","numeric-id":2653332,"id":"Q2653332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$8D8F0AFE-EEE3-4861-B168-01838DCFCE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a0c712b3c6891b5032530b1dbbe345efd11431","datavalue":{"value":{"entity-type":"item","numeric-id":3041715,"id":"Q3041715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$94215E8A-14CF-4E14-9662-DE6258EC2B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f2686222afa1ec29edf4b413e8b36b42a88594","datavalue":{"value":{"entity-type":"item","numeric-id":3715699,"id":"Q3715699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$A7487F14-8F7E-4DEF-8F70-7CF490817D69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7db817327938cdc8b83382314e7e1d63339cacd9","datavalue":{"value":{"entity-type":"item","numeric-id":559543,"id":"Q559543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192113$9C54C8B7-0370-4E4D-AD6C-1C86BD519F49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe639dacdba3a12e2ba4c3985659c21c77d38fa3","datavalue":{"value":{"entity-type":"item","numeric-id":4344190,"id":"Q4344190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73e26bee5ab7c8c7dd7da29bb37cad595a38ff9","datavalue":{"value":{"amount":"+0.758871853351593","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":"Q1192113$48B91C30-EAE7-44DA-A8EB-213585763BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"701a01292ea71315818de8b564ac0061457612cf","datavalue":{"value":{"entity-type":"item","numeric-id":3487973,"id":"Q3487973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef93490ae8e6c092798170c1b576b1a453a244c3","datavalue":{"value":{"amount":"+0.7543622851371765","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":"Q1192113$99B4CFA2-76DA-4964-B22D-A8E6C49EC65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d17b305185c11885ce7d2321251b7b2d9ea675","datavalue":{"value":{"entity-type":"item","numeric-id":1752018,"id":"Q1752018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f9ca24463fa54a45a051a94b12ac60221d3e91","datavalue":{"value":{"amount":"+0.7525498270988464","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":"Q1192113$2C6A39EE-C0C5-4380-87EB-ED730E23FFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4359fe2b54857d8db49928cfb7c0c96475eb24c7","datavalue":{"value":{"entity-type":"item","numeric-id":1812603,"id":"Q1812603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9afcbaf849d58f92996132c1f5257eb71e9cf7","datavalue":{"value":{"amount":"+0.7455399632453918","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":"Q1192113$5B405882-1EE2-4E84-AAEC-3512BED027FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79f3ce1a92cbdf0cd7a54a85147a8a7e0aaae413","datavalue":{"value":{"entity-type":"item","numeric-id":3764651,"id":"Q3764651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2b42674679b509472f2250b8f8eca13a077f28","datavalue":{"value":{"amount":"+0.7287956476211548","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":"Q1192113$06E6F5A4-E7A5-46BE-9A93-F3A5C3CAA035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1192113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1192113"}}}}}