{"entities":{"Q5947125":{"pageid":8123927,"ns":120,"title":"Item:Q5947125","lastrevid":47691646,"modified":"2026-01-02T11:00:59Z","type":"item","id":"Q5947125","labels":{"en":{"language":"en","value":"On Whitney's extension theorem for spaces of ultradifferentiable functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1662992"}},"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":"Q5947125$FEB19CFA-0C84-449C-AAA2-77B021F1C147","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff3f29838a2eb8894036c08428c072addc19e8fc","datavalue":{"value":{"text":"On Whitney's extension theorem for spaces of ultradifferentiable functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5947125$DAA84741-9BBE-4480-BC1C-EFB6A0BF947D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a83006cec2c78839292b2d4dc688682524706b5","datavalue":{"value":"0989.46019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947125$49251CA0-2798-4483-BB8F-FEE5C48530C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b6b4d3c6a5ae1ae0e7111eec7b6fbe4c8729bce","datavalue":{"value":"10.1007/PL00004464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947125$721ABB4D-DAE1-4DF3-BBF9-9C509CBD3A75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecc1d39c0cc125867e6676ad4267a7d228dcd4ed","datavalue":{"value":{"entity-type":"item","numeric-id":458331,"id":"Q458331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947125$62B9660D-6A81-4DEA-A330-17FB0B7B1187","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947125$BB493B30-86F0-4926-A169-73EFC44FC0E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5947125$0A50CB79-2F70-4D43-B225-BBB3424FDE96","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"95beb471c7d39738b99a58055c968762f492ed0e","datavalue":{"value":"An increasing continuous function \\(\\omega: [0,\\infty)\\to [0,\\infty)\\) is called a weight function if   (i) \\(\\omega(2t)= O(\\omega(t))\\) as \\(t\\to\\infty\\),   (ii) \\(\\int^\\infty_1 {\\omega(t)\\over t^2} dt< \\infty\\),   (iii) \\(\\log(t)= o(\\omega(t))\\) as \\(t\\to\\infty\\),   (iv) \\(\\phi_\\omega: x\\to \\omega(e^x)\\) is convex on \\([0,\\infty)\\).   Let \\(\\phi^*_\\omega(y)= \\sup\\{xy- \\phi_\\omega(x): x\\geq 0\\}\\). For \\(f\\in C^\\infty(\\mathbb{R}^N)\\) and \\(s,p\\in (0,\\infty)\\) define  \\[ |f|_{\\omega, s,p}= \\sup_{\\alpha\\in N^N_0} \\sup_{|x|\\leq p}|f^{(\\alpha)}(x)|\\exp(- s\\phi^*_\\omega(|\\alpha||s|)). \\]  Let \\({\\mathcal E}_{(\\omega)}(\\mathbb{R}^N)= \\bigcap_{p> 0} \\bigcap_{s> 0}{\\mathcal E}_{\\omega, s,p}(\\mathbb{R}^N)\\), \\({\\mathcal E}_{\\{\\omega\\}}(\\mathbb{R}^N)= \\bigcap_{p> 0} \\bigcup_{s> 0}{\\mathcal E}_{\\omega,s,p}(\\mathbb{R}^N)\\) be the spaces of ultra differentiable functions of Beurling and Roumieu type with their usual topologies. For a compact \\(K\\neq\\emptyset\\) of \\(\\mathbb{R}^N\\) denote by  \\[ \\rho_K: f\\mapsto (f^{(\\alpha)}|_K)_{\\alpha\\in N^N_0} \\]  the restriction map from \\(C^\\infty(\\mathbb{R}^N)\\) into the space \\(J(K)\\) of all jets on \\(K\\) (a jet on \\(K\\) is a sequence \\((f_\\alpha)_{\\alpha\\in N^N_0}\\) of continuous functions on \\(K\\)). A weight function \\(\\omega\\) is called strong if there exists \\(C> 0\\) such that  \\[ \\int^\\infty_1 {\\omega(yt)\\over t^2} dt\\leq C\\omega(y)+ C\\qquad\\forall y\\geq 0. \\]  Let \\({\\mathcal E}_*(\\mathbb{R}^N)\\) denote either \\({\\mathcal E}_{(\\omega)}(\\mathbb{R}^N)\\) or \\({\\mathcal E}_{\\{\\omega\\}}(\\mathbb{R}^N)\\).   In this paper, the author proves that if \\(\\omega\\) is not strong then the operator \\(\\rho_K:{\\mathcal E}_*(\\mathbb{R}^N)\\to{\\mathcal E}_*(K)\\) is not surjective for compact set \\(K\\neq\\emptyset\\) in \\(\\mathbb{R}^N\\) and uses this to characterize surjective restriction operators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947125$F492A055-70BA-44B1-8F02-3B3B2124B5B7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c469f1af562d84ffd1c37d5e484f8eee571c50b2","datavalue":{"value":{"entity-type":"item","numeric-id":534673,"id":"Q534673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947125$B2A560A0-E13B-4615-9726-BA38707CFA39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b08a4790957615edeb4e328207494cfa904ac447","datavalue":{"value":"46F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947125$AF3705DD-9900-4A3C-9BF4-484D8C93784D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2ef9aee7d2875518a1be0e78f973253e2bd5527","datavalue":{"value":"1662992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947125$9ACC318F-D2BB-4BC2-A820-D2E6FBA1E852","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c87f5a8cf22007b9c36bf5f461676129bbe48ca","datavalue":{"value":"weight function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947125$5F96F80B-89AB-49E9-9BB9-9E677EF0741F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeae7d0ba1f9df579ed5fd7a68d18ea8d06a5573","datavalue":{"value":"spaces of ultra differentiable functions of Beurling and Roumieu type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947125$1D1363D7-7A84-417F-80A5-2B7C234A6D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26046c9aeea28c5a2061b98b0e7f1e393b0c0de0","datavalue":{"value":"jet","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947125$E00CAFF4-6C17-4392-84EE-0615299350E5","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":"Q5947125$0E0F1768-2C37-4BD8-B3C4-2EB28F49B071","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c37323ba08f2223a2a028e3489c1bd301b265cd0","datavalue":{"value":"https://doi.org/10.1007/pl00004464","type":"string"},"datatype":"url"},"type":"statement","id":"Q5947125$B3C3F4F8-968E-49EE-AAF9-5D62B76F7729","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33685dec1d6558f8b41fad9165f93dd43d87f3bd","datavalue":{"value":"W2006927836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947125$229B8AD5-03D3-4AFB-A95F-EAD86D674390","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12e1d88adbd82461f353eb87d7650caf7ac4f77","datavalue":{"value":{"entity-type":"item","numeric-id":1432224,"id":"Q1432224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a44cfa66bba553387d1f7b5119a05ee791508a","datavalue":{"value":{"amount":"+0.9477728605270386","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":"Q5947125$AA67E684-B589-417E-9C10-D66E7B8F7350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71751c61e432f8e37b0f3d172d2f3a6de44787a4","datavalue":{"value":{"entity-type":"item","numeric-id":3979470,"id":"Q3979470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2bc3a0d2da3f8d2c114366795017b135ac8fa2","datavalue":{"value":{"amount":"+0.910365104675293","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":"Q5947125$900A1390-7516-4128-89AB-F6DA60A1ADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa6116d21b339a80a5c91df3059f90eb85e35b9","datavalue":{"value":{"entity-type":"item","numeric-id":4860270,"id":"Q4860270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb73069718c4dcc6e28431e64f533ed37e027b1b","datavalue":{"value":{"amount":"+0.9094772934913636","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":"Q5947125$A281E9D9-9F87-42C2-8AA8-8C67D8527CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32eb62848b07ecfe54103b5c432c9656a4a1778e","datavalue":{"value":{"entity-type":"item","numeric-id":1319590,"id":"Q1319590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf924ae37e1db70ebb1467a93cff446a489288c","datavalue":{"value":{"amount":"+0.9082348346710204","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":"Q5947125$57D39E3E-B661-44EE-A449-75F79C093648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe22ee4d7254912a84d6ef3f701a020fc45bb4c3","datavalue":{"value":{"entity-type":"item","numeric-id":692321,"id":"Q692321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b185cc79f3f9e4efd1b27d0250a5aed00c80f0df","datavalue":{"value":{"amount":"+0.9074638485908508","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":"Q5947125$042183A7-AD2F-4294-9D1B-8981A47E5B45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5947125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5947125"}}}}}