{"entities":{"Q790054":{"pageid":791902,"ns":120,"title":"Item:Q790054","lastrevid":48684076,"modified":"2026-01-05T14:47:49Z","type":"item","id":"Q790054","labels":{"en":{"language":"en","value":"Some existence theorems for functional equations arising in dynamic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847249"}},"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":"Q790054$2B5862AB-8AE0-41D4-8166-7D25EC2EA735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1f015bfe6ead44d334a37fe52891c7e6aabd6d1","datavalue":{"value":{"text":"Some existence theorems for functional equations arising in dynamic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790054$BB3CDD24-05B9-4B38-BEDC-720C3656001E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fba466f1076c2e3ffae0f8c40de2e1cefcfe8be","datavalue":{"value":"0533.90091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790054$428EC887-1A2C-4CFC-9B0B-C886EC61FDA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d302cd1427ba42881f5baf4854f1c0f2dad6207","datavalue":{"value":"10.1016/0022-247X(84)90254-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790054$4C18BEA6-4535-4CAE-9A8D-16892D890451","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7e8bce0f4c852613c5e073c5da333d7d687bcf7","datavalue":{"value":{"entity-type":"item","numeric-id":790052,"id":"Q790052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790054$2480B65C-E46C-4BFD-A0F0-1A4DFF9A5DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44434731710a0c1d19b917c975161566a3db3713","datavalue":{"value":{"entity-type":"item","numeric-id":790053,"id":"Q790053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790054$06B80EAE-9E38-4108-A59D-F2AFB83BE371","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790054$97FEFA0A-28EB-49BF-800C-5C88CC637271","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q790054$C1B5EE81-3B83-46C1-8804-E57E7735C98D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a438151eb6783e43810b7fa92207abbbb460b2ba","datavalue":{"value":"The authors prove some existence theorems for functional equations which arose in a certain type of continuous multistage decision processes which are described below.    Let \\(S\\subset X\\) be the state space and \\(D\\subset Y\\) be the decision space. The state vectors are denoted by x, the decision vectors by y. Let T:\\(S\\times D\\to S\\), g:\\(S\\times D\\to R\\) and G:\\(S\\times D\\times R\\to R\\), R being the field of real numbers. The return function f:\\(S\\to R\\) of the continuous decision process is defined by the functional equation  \\[  (*)\\quad f(x)=\\sup_{y\\in D}[g(x,y)+G(x,y,f(T(x,y)))]\\quad(x\\in S).  \\]  The authors prove the existence of a solution to the functional equation (*) under various conditions; in some cases they also prove uniqueness. Among the results are the following two typical ones:    Theorem A. (i) Let g and G be bounded. (ii) Let \\(| G(x,y,z_ 1)- G(x,y,z_ 2)| \\leq \\phi(| z_ 1-z_ 2|)\\) for all \\((x,y,z_ 1)\\), \\((x,y,z_ 2)\\) in \\(S\\times D\\times R\\), where \\(\\phi\\) :[0,\\(\\infty)\\to [0,\\infty)\\) is nondecreasing, continuous and \\(\\phi(r)<r\\) for every \\(r>0\\). Then the functional equation (*) possesses a unique bounded solution on S.    Theorem B. (i) Let \\(| g(x,y)| \\leq M\\| x\\|\\) for (x,y)\\(\\in S\\times D\\), where M is a positive constant. (ii) Let \\(\\| T(x,y)\\| \\leq \\phi(\\| x\\|)\\) for (x,y)\\(\\in S\\times D\\), where \\(\\phi\\) :[0,\\(\\infty)\\to [0,\\infty)\\) is nondecreasing and \\(\\sum \\phi^ n(r)\\) converges for every \\(r>0\\). Then the functional equation  \\[  f(x)=\\sup_{y\\in D}[g(x,y)+f(T(x,y))]\\quad(x\\in S)  \\]  possesses a unique solution \\(f_ 0\\) satisfying the condition (iii):    (iii) If \\(x\\in S\\), \\(\\{Y_ n\\}^{\\infty}\\!_{n=1}\\subset D\\) and \\(x_ n=T(x_{n-1},Y_ n)\\), \\((x_ 0=x\\), \\(n=1,2,3,...)\\), then \\(f_ 0(x_ n)\\to 0\\) as \\(n\\to \\infty\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q790054$BA96ABC1-775D-4F40-A4C3-C4DA7D4FA967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa3ca91474fff28e420d9cace433f8447ec799b0","datavalue":{"value":"90C39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790054$F0D5D860-764C-4A97-AB10-00B302226E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15c1c1e0a1d69b462ee4ebf3442d37cf266ace92","datavalue":{"value":"49L20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790054$A67FC887-AA3D-4AFC-A942-A0A6B3663B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790054$6387C1A1-D2D7-4FB3-AA90-B8898FA15745","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebf7612a0f0ba8dc735eed9581b3bf4cb3aa50fc","datavalue":{"value":"3847249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790054$75A50A11-8B7F-40BE-AD16-E6305E8F1160","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8450ebfb449b0ab34d6b7e52cbd9ef0e542620a5","datavalue":{"value":"Banach spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q790054$76659069-D1B5-4DE9-9F8B-CB322026F1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d424ea33817dd39505e88360dfaf15df86fdb2f","datavalue":{"value":"existence proves","type":"string"},"datatype":"string"},"type":"statement","id":"Q790054$9B0CEC80-83A6-4C4D-A466-7EA9F6A384DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fdbc51cd49539e1be6cf21d1a36e8e0bee2d94c","datavalue":{"value":"multistage decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q790054$E54B00BF-19E9-4464-99E8-8BDC9EDACA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b139f7228e51306717a3522bed5c3c725026e9","datavalue":{"value":"uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q790054$D66039FC-FE4E-4EA0-912E-E17884552928","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":"Q790054$2835C99A-8453-48B6-9EAD-CC52CA0F6CAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c1796e72cedb9cec7d209315e5d347076889e8","datavalue":{"value":{"entity-type":"item","numeric-id":2562278,"id":"Q2562278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790054$10370C11-849C-4DD0-A3D2-D4F0A76C4A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f454b1e832379a9c96e9c596dcc16d30ee93036","datavalue":{"value":{"entity-type":"item","numeric-id":5535921,"id":"Q5535921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790054$391A6625-E77B-43EE-9BEC-7F1079E2B9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430f7da0bd0fe9edc8eb91627dbeb25c30a63261","datavalue":{"value":{"entity-type":"item","numeric-id":5568770,"id":"Q5568770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790054$A4857F67-4EBA-4C98-BDBD-7C23C71C2AC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e234aa8fb1479c4e03fe0ef7c70f38a5656c1eb4","datavalue":{"value":"https://doi.org/10.1016/0022-247x(84)90254-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q790054$5EC1EA1D-E62B-4D8E-9A13-CA9ED1D8A9E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc5b15d29c1f44b9bd2958487bd8c390e2f9c434","datavalue":{"value":"W2004325944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790054$B3618146-CBB3-43E8-8497-92D34FA12377","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3cd4de27025e69f1bdb439ab45feaba38a264f8","datavalue":{"value":{"entity-type":"item","numeric-id":1114599,"id":"Q1114599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e46933a5df5e02ca338714338dbc3203233b4f5","datavalue":{"value":{"amount":"+0.9187456369400024","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":"Q790054$C6143EA9-82AC-449D-A0E0-89DF5FA21179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c130cdfce6869b7185d01bd4b11ae6d44d8805","datavalue":{"value":{"entity-type":"item","numeric-id":434685,"id":"Q434685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef823a30b75c3dcbb1a6ce6a6a206ef2395ff6cf","datavalue":{"value":{"amount":"+0.8813285231590271","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":"Q790054$7F4341E9-0C6F-44F7-A83B-1BEB9EB189C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06f58d7b9d4e50ea31b97c72d9897155120ea20","datavalue":{"value":{"entity-type":"item","numeric-id":536885,"id":"Q536885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92a6b0cb930fd19a79ae227b2e8ac158cf5a77f","datavalue":{"value":{"amount":"+0.8754952549934387","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":"Q790054$AA21733E-9216-4516-AB58-4AEB616E6506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458c46600ce7bc66fff6d46cc64b8709e4a04745","datavalue":{"value":{"entity-type":"item","numeric-id":532964,"id":"Q532964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c4f69ee52cb4e0031ae15b1b636915ce9ee7b8","datavalue":{"value":{"amount":"+0.8699359893798828","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":"Q790054$75C863EF-C54C-4E0C-8335-2954F70709F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325e571bb7af294eaf1842d889d9e4f51ec416a5","datavalue":{"value":{"entity-type":"item","numeric-id":5255380,"id":"Q5255380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb0f1141bc297434c8385ffffadd50f34f6d7b5","datavalue":{"value":{"amount":"+0.869070827960968","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":"Q790054$4AC74F23-5CC7-4C80-94DD-D06074651343","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:790054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:790054"}}}}}