{"entities":{"Q6992430":{"pageid":21457581,"ns":120,"title":"Item:Q6992430","lastrevid":83996294,"modified":"2026-05-07T16:26:30Z","type":"item","id":"Q6992430","labels":{"en":{"language":"en","value":"On the local controllability for optimal control problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8031799"}},"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":"Q6992430$7B2F094A-709A-433C-A32A-04919F64EED1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e65f4f9260d700452d1c62a61c535b26134430b2","datavalue":{"value":{"text":"On the local controllability for optimal control problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6992430$7CA8669D-4104-4951-8FE0-1E03E9A0ACF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd576cfde2188483c5c33eef50e2f3e29af05c74","datavalue":{"value":"1564.49034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992430$1EA115E8-93E1-4D85-9DD7-53C2BBEBAD88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1cb120d2c8bab62f31ba760e648482ca96af768","datavalue":{"value":"10.57016/MV-TXBR5253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992430$6B1A781A-D7DD-47DE-994E-19BC86E8A6A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a272f09e07a9e86ad9f6879c03a47c09166fb22","datavalue":{"value":{"entity-type":"item","numeric-id":224219,"id":"Q224219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$E9516FCA-4F48-441B-AEEF-15EE8CF9C62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bdb5c1d09a8cba030afc2596743c59aae7e6de6","datavalue":{"value":{"entity-type":"item","numeric-id":2018759,"id":"Q2018759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$9E28E8FB-0B99-4CA7-B184-C540775D5F92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3f1460db8ea36d993c2e0ac765e5165a423dfd80","datavalue":{"value":{"entity-type":"item","numeric-id":6152186,"id":"Q6152186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$2BDBF454-11AC-46F6-A19B-11F4863A29D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52dd936f8c0ddb15003e967ef13d55cbe84b4cbe","datavalue":{"value":{"time":"+2025-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6992430$C90299EB-5C99-4268-A1D7-C1E59DF4A93C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9dfacebf3814bad300d205e4cf05480a171034d","datavalue":{"value":"The authors consider the control system: \\(\\overset{.}{x}=f(x,u,t)\\), \\( x(t_{0})=x_{0}\\), \\(u(t)\\in U(t)\\), \\(t\\in \\lbrack t_{0},t_{1}]\\), where \\(t\\) is the time, \\(x\\in \\mathbb{R}^{n}\\) a state variable, \\(x_{0}\\) is fixed, and the control \\(u(t)\\in U(t)\\) for a.a. \\(t\\in \\lbrack t_{0},t_{1}]\\). The set-valued mapping \\(U:\\mathbb{R}\\rightrightarrows \\mathbb{R}^{s}\\) is measurable and essentially bounded, and the mapping \\(f:\\mathbb{R}^{n}\\times \\mathbb{R} ^{s}\\times \\lbrack t_{0},t_{1}]\\rightarrow \\mathbb{R}^{n}\\) is continuous, the mapping \\(f(\\cdot ,u,t)\\) being continuously differentiable for every \\(u\\) and \\(t\\). A pair of functions \\((x(\\cdot ),u(\\cdot ))\\) is an admissible process if \\(x(t)\\) is a solution to the Cauchy problem and \\(u(\\cdot )\\) is an admissible control, that is \\(u\\) is measurable and essentially bounded on \\( [t_{0},t_{1}]\\), and \\(u(t)\\in U(t)\\) for a.a. \\(t\\in \\lbrack t_{0},t_{1}]\\). The authors consider the optimization problem for the functional: \\( J(u)=\\int_{t_{0}}^{t_{1}}f_{0}(x(t),u(t),t)dt+\\psi _{0}(x_{1})\\rightarrow \\mathrm{extr}\\), over the set of all admissible pairs \\((x(\\cdot ),u(\\cdot ))\\) satisfying the transversality condition \\(\\psi _{1}(x(t_{1}))=0\\), where \\(\\psi _{1}:\\mathbb{R}^{n}\\rightarrow \\mathbb{R}^{k_{1}}\\) is a continuously differentiable mapping and \\(k_{1}\\geq 0\\) a non-negative integer. In the expression of \\(J\\), the function \\(f_{0}\\) satisfies the same smoothness conditions as \\(f\\) and the function \\(\\psi _{0}\\) is continuously differentiable. The admissible process \\((\\widehat{x}(\\cdot ),\\widehat{u} (\\cdot ))\\) satisfies the controllability condition if there exist \\(\\delta ,C>0\\) such that for every \\(e=(e_{1},e_{0})\\in \\mathbb{R}^{k_{1}}\\times \\mathbb{R}\\) satisfying the inequality \\(\\left\\vert e_{1}\\right\\vert +\\left\\vert e_{0}-J(\\widehat{u})\\right\\vert \\leq \\delta \\) there exists an admissible process \\((x(\\cdot ),u(\\cdot ))\\) such that \\(\\psi _{1}(x(t_{1}))=e_{1}\\), \\(J(u)=e_{0}\\), and \\(\\rho (u,\\widehat{u})=\\mathrm{meas}\\{t\\in \\lbrack t_{0},t_{1}]:\\widehat{u}(t)\\neq u(t)\\}\\leq C(\\left\\vert e_{1}\\right\\vert +\\left\\vert e_{0}-J(\\widehat{u})\\right\\vert )\\). The admissible process \\((\\widehat{x}(\\cdot ),\\widehat{u}(\\cdot ))\\) satisfies the maximum principle if there exists \\((\\lambda _{0},\\lambda _{1})\\neq 0\\) in \\( \\mathbb{R}\\times \\mathbb{R}^{k_{1}}\\) such that the transversality condition \\( p(t_{1})=-\\frac{\\partial l}{\\partial x_{1}}(\\lambda _{0},\\lambda _{1}, \\widehat{x}(t_{1}))\\), holds and the condition of maximum of the Hamiltonian with respect to \\(u\\): \\(H(\\lambda _{0},p(t),\\widehat{x}(t),\\widehat{u} (t),t)=\\max_{u\\in U(t)}H(\\lambda _{0},p(t),\\widehat{x}(t),u,t)\\) for a.a. \\( t\\in \\lbrack t_{0},t_{1}]\\) holds, the Hamiltonian \\(H\\) being defined by: \\( H(\\lambda _{0},p,x,u,t)=\\lambda _{0}f_{0}(x,u,t)+\\left\\langle p,f(x,u,t)\\right\\rangle \\). Here \\(l(\\lambda _{0},\\lambda _{1},x_{1})=\\lambda _{0}\\psi _{0}(x_{1})+\\left\\langle \\lambda _{1},\\lambda \\psi _{1}(x_{1})\\right\\rangle \\), \\(p(t)\\) is an absolutely continuous solution to the linear (with respect to \\(p\\)) and nonhomogeneous equation: \\(\\overset{.}{p} =-\\frac{\\partial H}{\\partial x}(\\lambda _{0},p(t),\\widehat{x}(t),\\widehat{u} (t),t)=-p(t)\\frac{\\partial f}{\\partial x}(\\widehat{x}(t),\\widehat{u} (t),t)+\\lambda _{0}\\frac{\\partial f_{0}}{\\partial x}(\\widehat{x}(t),\\widehat{ u}(t),t)\\). The main result of the paper proves that if the admissible process \\((\\widehat{x}(\\cdot ),\\widehat{u}(\\cdot ))\\) does not satisfy the maximum principle, i.e. for every \\(\\lambda =(\\lambda _{0},\\lambda _{1})\\neq 0 \\) and for the corresponding solution \\(p\\) to the adjoint system, the condition of maximum of the Hamiltonian fails over a set of positive measure, then this process satisfies the controllability condition. For the proof, the authors introduce a finite-dimensional approximation of the optimal control problem, a countable set of admissible controls \\( \\{u_{i}(\\cdot )\\}\\) such that the set \\(\\{u_{1}(t),u_{2}(t),\\ldots \\}\\) is everywhere dense in \\(U(t)\\) for a.a. \\(t\\in \\lbrack t_{0},t_{1}]\\). They recall the definition of an approximative continuity point for a given function \\(\\varphi :[t_{0},t_{1}]\\rightarrow \\mathbb{R}^{n}\\) and they draw computations in finite-dimensional spaces. The paper ends with the description of two examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6992430$FBDDA924-7AAC-4CAC-BF72-8E80DDFCC202","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ee19f59fe9c6e76362df4d3a667daf03171654d5","datavalue":{"value":{"entity-type":"item","numeric-id":536424,"id":"Q536424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$939D3606-04AF-45B9-9590-DBBB2BAE951C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18d3ff98a6b36ff583aa8db8acc5f9669058d6c6","datavalue":{"value":"49K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992430$99C114CD-60DA-4F67-BFAA-17800CC4789A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"825824b72358cea3f4c538ac811267e114a8e2b4","datavalue":{"value":"49M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992430$E162D508-31A9-421D-8198-6408B033D556","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1bea28805816fc181999ad9a7f2015774dcc937","datavalue":{"value":"8031799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992430$AF9AD65A-F70E-4ED5-AC26-52EF8233B2CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47fee90c5592664decba5aa2e51ae852ecd7730","datavalue":{"value":"optimal control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6992430$47094BF9-E407-4D35-900B-23AAA7676A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e5295fa967420db17bb05d1fd567ce5a7917b7","datavalue":{"value":"controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6992430$07C3D6A5-879E-451C-97AC-AF4A7F256228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24b57089134e6c38aad29924033d0c30e7e87ac2","datavalue":{"value":"Pontryagin's maximum principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6992430$AF757FCB-31D4-493A-A0A2-12A3F14DE5E5","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":"Q6992430$C92EA0C1-1A0F-467B-BD29-EE7B99CB7E5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"960487f1c18181c8a7bb3fd6a9bf742e563c822f","datavalue":{"value":{"entity-type":"item","numeric-id":4692740,"id":"Q4692740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$7D3CF0A5-7C31-458D-8988-A62DE05A418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbff804fcd1eedc420c1cccd655aa7f9a692ea7e","datavalue":{"value":{"entity-type":"item","numeric-id":1780201,"id":"Q1780201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$930E51FF-DA77-4AEE-A793-D76CD4AEFB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c815ab57dda1862bd1f121c5b5c53ebacdc657f","datavalue":{"value":{"entity-type":"item","numeric-id":1873489,"id":"Q1873489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$D85EAB91-6BB9-440E-B99F-157373310ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbb1c2b5424a227079549f3834821d017e99988","datavalue":{"value":{"entity-type":"item","numeric-id":1878310,"id":"Q1878310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$7ED4040C-D6A3-4A82-9AD2-3E1766AC7C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea17f53582e991431347bab70db3cd3d8bcaef9","datavalue":{"value":{"entity-type":"item","numeric-id":3006686,"id":"Q3006686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$BA26B1C9-89E0-4C51-8AAA-7446B2DB32AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba094fa9a66e15eb4aa50862708d8072c05e05","datavalue":{"value":{"entity-type":"item","numeric-id":5295507,"id":"Q5295507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$79BF7158-6394-492C-99B6-14354047E889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adbfaa7e9246cd68b3d2b4b5772b8061002a34c","datavalue":{"value":{"entity-type":"item","numeric-id":1846099,"id":"Q1846099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$D88C4ED9-7306-4037-8118-17EB6C613289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6d2b49e8cfad926c235174ab1f1120631817e5","datavalue":{"value":{"entity-type":"item","numeric-id":4194725,"id":"Q4194725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$6BAE5654-6024-4A17-BF69-52B01BBFBE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a232efbc9168cfda50a5e29c69f6cd5d60d7545","datavalue":{"value":{"entity-type":"item","numeric-id":267927,"id":"Q267927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$BB81B8FD-4BF1-4535-A85D-9F0CB4255870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92aaa47f0e49278227801f55d523cefad347b818","datavalue":{"value":{"entity-type":"item","numeric-id":4117590,"id":"Q4117590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$1F64298F-DF7C-4DDC-9CD7-00144BE8EF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e93f5a37f794822f07867f48b71677f875e1ba4","datavalue":{"value":{"entity-type":"item","numeric-id":5667133,"id":"Q5667133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992430$7770C42B-5DE6-4433-B14F-F1A89F002667","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the local controllability for optimal control problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_local_controllability_for_optimal_control_problems"}}}}}