{"entities":{"Q2022434":{"pageid":2033176,"ns":120,"title":"Item:Q2022434","lastrevid":53988218,"modified":"2026-01-26T01:10:15Z","type":"item","id":"Q2022434","labels":{"en":{"language":"en","value":"An elementary proof of the Pontryagin maximum principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7341168"}},"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":"Q2022434$B6DA9AE1-301F-4F5E-8BD9-B77CBE0BB411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be04bab2f09044d6c8f306ba353a3dc38b85acd7","datavalue":{"value":{"text":"An elementary proof of the Pontryagin maximum principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2022434$08EA5005-8F91-4E49-8163-B752527BD161","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe78e85fbf291ff3c7f0361fab0299633553ad4e","datavalue":{"value":"1462.49045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2022434$F357521D-C176-4FCB-B807-650477EECF28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b2751fb71d212e9eab0a41abf35a593195e2694","datavalue":{"value":{"entity-type":"item","numeric-id":172186,"id":"Q172186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$B53B1530-950A-4CF2-A596-96A7A24F1021","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d23500e60ff764d81f80d2bfe210cd2ea479abb","datavalue":{"value":{"time":"+2021-04-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":"Q2022434$2ACB0DDF-F934-455A-95D9-6C80BB264AA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4af32a43c52daef74eed59ca5052befc0cf4483","datavalue":{"value":"The subject is the standard control problem for systems of ODE  \\begin{gather*} \\begin{aligned} \\text{minimize} & \\quad \\ell_0(x(0), x(T)) \\\\ \\text{subject to} & \\quad x'(t) = f(t, x(t), u(t)) \\quad (u(t) \\in U) \\end{aligned} \\\\  \\ell_j(x(0), x(T)) \\le 0 \\quad j = 1,\\dots ,l \\, , \\quad \\ell_j(x(0), x(T)) = 0 \\quad j = l+1,\\dots ,r \\, .  \\end{gather*}  If \\(H(t, x, p, u) = \\langle p, f(t, x, u) \\rangle\\) and \\((\\bar x(t), \\bar y(t))\\) is an optimal trajectory/control then there exist numbers \\(\\lambda_j\\) not all zero such that \\(\\lambda_j \\ge 0\\), \\(\\lambda_j \\ell_j(\\bar x(0), \\bar x(T)) = 0\\) for \\(j \\le l\\) and a function \\(\\bar p(t)\\) satisfying the adjoint equation and transversality conditions  \\[  \\begin{aligned} - \\bar p'(t) & = H'_x(t, \\bar x(t), \\bar p(t), \\bar u(t)) \\\\ (\\bar p(0), - \\bar p(T)) & = \\lambda_0 \\ell'_0(\\bar x(0), \\bar x(T)) + \\dots + \\lambda_r \\ell'_r(\\bar x(0), \\bar x(T)) \\end{aligned} \\]  and such that the maximum principle  \\[  H(t, \\bar x(t), \\bar p(t), \\bar u(t)) = \\max_{u \\in U} H(t, \\bar x(t), \\bar p(t), u)  \\]  is satisfied. The proof is based on the author's \\textit{optimality alternative,} where \\(f(x)\\) is a function defined in a complete metric space \\(X\\) and \\(\\bar x \\in M \\subseteq X\\) is a local minimum constrained by \\(M\\). If \\(\\varphi(x) \\ge 0\\), \\(\\varphi(\\bar x) = 0\\) and \\(f, \\varphi\\) are suitably restricted then either there exists \\(\\rho > 0\\) such that \\(\\rho f(x) + \\varphi(x)\\) has an unconditional local minimum at \\(\\bar x\\) or there exists a sequence \\(x_m \\to \\bar x\\) such that \\(\\varphi(x) + d(x, x_m)/m\\) has a global minimum at \\(x_m\\). Application of the alternative is rather technical and requires various modifications and approximations of the original problem, one of which involves a discretization of the control space where \\(U\\) is replaced by \\(U_k(t) = \\{ \\bar u(t), u_1(t), \\dots, u_k(t) \\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2022434$000B2412-B336-4D49-ABBD-0F61820727CA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"71b174392024ff471fe883ab87527d44b0b1d9af","datavalue":{"value":{"entity-type":"item","numeric-id":590499,"id":"Q590499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$78464726-7170-48CB-A9F8-2FBEC9359CF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18d3ff98a6b36ff583aa8db8acc5f9669058d6c6","datavalue":{"value":"49K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2022434$E6695822-185D-44EF-8206-DEEC47B2E3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfa29f7a757172b4651c58566a98151c10e7b6ad","datavalue":{"value":"49J45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2022434$E5C9ACBE-EA71-477D-BB14-D9987BA7F53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"63d741e0f22e0451d1edb9ab803cae60ecf912c2","datavalue":{"value":"49J53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2022434$15A47374-4EAE-4265-AA03-0EBA377F1C74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fe3bb5aca82bd28eca847e3182e79a75eca25fd","datavalue":{"value":"7341168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2022434$DA131BC8-A77B-4406-A5E1-3AB4BC2209C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47fee90c5592664decba5aa2e51ae852ecd7730","datavalue":{"value":"optimal control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2022434$46C73F78-00F7-4EC4-B4D9-EF88340E90CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a750c58464f64c5c6078f2245f856b58dc280a","datavalue":{"value":"variational analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2022434$9E281287-1BDC-4D28-9071-C0A7375813E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24bf864758a4dc725585d0a3e97abec5462f7ce0","datavalue":{"value":"unconstrained reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2022434$89195AD3-CD53-43BF-8214-86DADAF1248D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbe6aae2186dafcf4ac00e68af36aaa03702ef99","datavalue":{"value":"metric regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2022434$C836D234-A385-411D-8AC1-A7AB5C7A32B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17c4fbcbfa59949ddfa2791469eaf14a943d17b4","datavalue":{"value":"optimality alternative","type":"string"},"datatype":"string"},"type":"statement","id":"Q2022434$4A0AD2DB-1403-440E-83E3-D263E5DA8705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6ee55bc0dd201c344cece9aa02636da9d2ce53b","datavalue":{"value":{"entity-type":"item","numeric-id":207138,"id":"Q207138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$79421AF0-31A5-49E7-AF5B-98D8CA2C8CA4","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":"Q2022434$E63E535B-148C-4252-9BEB-6227F7B5D38A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f6e700d834a977098d029d56a353bad310d9e23","datavalue":{"value":"https://doi.org/10.1007/s10013-020-00397-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2022434$E5FA0ABA-8BBC-4C43-86F0-4388C64F2873","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b98a40c7339a279d6b70246e59b795f7e75f7d32","datavalue":{"value":"W3010338937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2022434$4048680B-CBA4-4095-BDCD-BA5FEBDD08F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63947a4c21b936436aa8ca9ff7000ab017d03bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3995083,"id":"Q3995083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$95DDBE58-9C29-4BED-91A3-6C1AEDC247BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10bbb4163cb05d4d9188265691b3c6368009ce93","datavalue":{"value":{"entity-type":"item","numeric-id":3938113,"id":"Q3938113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$0484CFEF-880C-4239-9ED5-EF0412BF401B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab890cda0134e692dfeb87d241db4eff3721e964","datavalue":{"value":{"entity-type":"item","numeric-id":4976865,"id":"Q4976865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$9050C49E-F857-4B25-9BDF-2BD9DE6C9C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4caafeff3e2f1463d55369ab2e6462837ca1778","datavalue":{"value":{"entity-type":"item","numeric-id":2315265,"id":"Q2315265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$14827C68-7AFE-444C-AB3F-8FDBF4D65F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6507c5c6a38471c99c84e7a8337bb1fdf3922742","datavalue":{"value":{"entity-type":"item","numeric-id":3141909,"id":"Q3141909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$6CA59D19-1D5F-4A42-B3E8-F6C7D224666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8d262b8c68ce82d10918cf5610c82373de636d","datavalue":{"value":{"entity-type":"item","numeric-id":3285813,"id":"Q3285813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$28142387-8F9D-4811-920C-E367789CF521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fc1ebd72311c6bd86f820fa81d0f54181755a1","datavalue":{"value":{"entity-type":"item","numeric-id":4375190,"id":"Q4375190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$069CD440-E6CE-4670-BEAF-281493D0927A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04fa24f939a7284d817dc9682317dcdde43687b","datavalue":{"value":{"entity-type":"item","numeric-id":5915360,"id":"Q5915360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2022434$931529EC-FED4-4064-ABA7-CFE3A811A5C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f13a3bf4b78d6a8d658d8bd65083e75c0bb60c6","datavalue":{"value":"10.1007/S10013-020-00397-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2022434$1A4AE7E6-DDC9-4F59-BBBD-6209F0D15368","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d124cd7bd0772027149003ab9bde7d9dc498b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":1304131,"id":"Q1304131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aaac660c9e195f7e313d8677f16ab926583a902","datavalue":{"value":{"amount":"+0.8684470057487488","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":"Q2022434$5696E7AE-76BD-47CB-94F0-2D7BF6F80399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb6e4ff7fd05332bd799d51717155fb0d300f86","datavalue":{"value":{"entity-type":"item","numeric-id":5501013,"id":"Q5501013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba19e7d17bd54b31ba24829b29bf7ae16e8003ad","datavalue":{"value":{"amount":"+0.8680976629257202","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":"Q2022434$4ED07B37-00FA-423B-A0C9-7FC0DEEF36F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab0aea072f9ec68e481eeb20f218c8ed4b0f030","datavalue":{"value":{"entity-type":"item","numeric-id":4661007,"id":"Q4661007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a75948037caddb6dd0743760463e00f80a04ab","datavalue":{"value":{"amount":"+0.854498028755188","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":"Q2022434$0D8B3876-6C86-4D12-9FD1-0F91B848FF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e66da5321f86c4b47e95f1a10f345f47c52302e4","datavalue":{"value":{"entity-type":"item","numeric-id":267927,"id":"Q267927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7113d2aa1a82b2f96f5210c8e1e276a25b900d","datavalue":{"value":{"amount":"+0.853441059589386","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":"Q2022434$9E2335D9-ADA2-46F0-81E7-DD5D7DF78CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8da59a4e4bb88393b7b0db1a05e07d605d09c8","datavalue":{"value":{"entity-type":"item","numeric-id":4877562,"id":"Q4877562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d5bb0a264f73b9bffc5b200e667c227effbb69","datavalue":{"value":{"amount":"+0.8500550985336304","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":"Q2022434$6E585210-37C6-488A-96BC-F82677165EE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2022434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2022434"}}}}}