बहुपद एसओएस: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(8 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{about|representing a [[positive polynomial|non-negative polynomial]] as sum of squares of polynomials|representing polynomial as a sum of squares of rational functions|Hilbert's seventeenth problem|the sum of squares of consecutive integers|square pyramidal number|representing an integer as a sum of squares of integers|Lagrange's four-square theorem}}
गणित में, [[वास्तविक संख्या]] n आयामी सदिश x में [[एक बहुपद की डिग्री|बहुपद की]] घात 2m का एक [[सजातीय बहुपद]] h(x) के रूप (एसओएस) के वर्गों का योग होता है और यदि केवल घात एम के <math>g_1(x),\ldots,g_k(x)</math> के रूप में उपस्थित होती है। जैसे कि,
 
गणित में, एक [[सजातीय बहुपद]] (अर्थात  एक सजातीय बहुपद) h(x) [[एक बहुपद की डिग्री]] 2m [[वास्तविक संख्या]] n-आयामी सदिश x में रूपों (SOS) के वर्गों का योग होता है यदि और केवल यदि रूप उपस्थित  हों <math>g_1(x),\ldots,g_k(x)</math> डिग्री एम की ऐसी है कि
<math display="block">h(x) = \sum_{i=1}^k g_i(x)^2 .</math>
<math display="block">h(x) = \sum_{i=1}^k g_i(x)^2 .</math>
एसओएस का हर रूप भी एक [[सकारात्मक बहुपद]] है, और चूंकि विलोम (तर्क) हमेशा सत्य नहीं होता है, [[हिल्बर्ट]] ने सिद्ध किया कि एन = 2, 2 एम = 2 या एन = 3 और 2 एम = 4 के लिए एक फॉर्म एसओएस है यदि और केवल यदि यह सकारात्मक है।<ref>{{cite journal|last1=Hilbert|first1=David|title=रूपों के वर्गों के योग के रूप में निश्चित रूपों के प्रतिनिधित्व के बारे में|journal=Mathematische Annalen|date=September 1888|volume=32|issue=3|pages=342–350|doi=10.1007/bf01443605|s2cid=177804714 |url=https://zenodo.org/record/1428214}}</ref> सकारात्मक सममित रूपों पर एनालॉग समस्या के लिए भी यही मान्य है।<ref>{{cite journal|last1=Choi|first1=M. D.|last2=Lam|first2=T. Y.|title=हिल्बर्ट का एक पुराना सवाल|journal=Queen's Papers in Pure and Applied Mathematics|date=1977|volume=46|pages=385–405}}</ref><ref>{{cite journal|last1=Goel|first1=Charu|last2=Kuhlmann|first2=Salma|last3=Reznick|first3=Bruce|title=On the Choi–Lam analogue of Hilbert's 1888 theorem for symmetric forms|journal=Linear Algebra and Its Applications|date=May 2016|volume=496|pages=114–120|doi=10.1016/j.laa.2016.01.024|arxiv=1505.08145|s2cid=17579200 |author3-link=Bruce Reznick}}</ref>
एसओएस का हर रूप एक [[सकारात्मक बहुपद]] के रूप में होता है और चूंकि विलोम (तर्क) सदैव सत्य नहीं होता है, [[हिल्बर्ट]] ने सिद्ध किया कि n = 2, 2 n = 2 या n = 3 और 2 n = 4 के लिए एक फॉर्म एसओएस के रूप में होता है, यदि और केवल यदि यह सकारात्मक होता है।<ref>{{cite journal|last1=Hilbert|first1=David|title=रूपों के वर्गों के योग के रूप में निश्चित रूपों के प्रतिनिधित्व के बारे में|journal=Mathematische Annalen|date=September 1888|volume=32|issue=3|pages=342–350|doi=10.1007/bf01443605|s2cid=177804714 |url=https://zenodo.org/record/1428214}}</ref> सकारात्मक सममित रूपों पर एनालॉग समस्या के लिए भी यही मान्य होता है।<ref>{{cite journal|last1=Choi|first1=M. D.|last2=Lam|first2=T. Y.|title=हिल्बर्ट का एक पुराना सवाल|journal=Queen's Papers in Pure and Applied Mathematics|date=1977|volume=46|pages=385–405}}</ref><ref>{{cite journal|last1=Goel|first1=Charu|last2=Kuhlmann|first2=Salma|last3=Reznick|first3=Bruce|title=On the Choi–Lam analogue of Hilbert's 1888 theorem for symmetric forms|journal=Linear Algebra and Its Applications|date=May 2016|volume=496|pages=114–120|doi=10.1016/j.laa.2016.01.024|arxiv=1505.08145|s2cid=17579200 |author3-link=Bruce Reznick}}</ref>
चूंकि  प्रत्येक फॉर्म को एसओएस के रूप में प्रदर्शित नहीं किया जा सकता है, एसओएस होने के लिए एक फॉर्म के लिए स्पष्ट पर्याप्त शर्तें पाई गई हैं।<ref>{{cite journal|last1=Lasserre|first1=Jean B.|title=एक वास्तविक बहुपद के वर्गों का योग होने के लिए पर्याप्त शर्तें| journal=Archiv der Mathematik|volume=89|issue=5|pages=390–398|doi=10.1007/s00013-007-2251-y|url=http://www.optimization-online.org/DB_HTML/2007/02/1587.html|arxiv=math/0612358|year=2007|citeseerx=10.1.1.240.4438|s2cid=9319455 }}</ref><ref>{{cite journal| last1=Powers|first1=Victoria|author1-link=Victoria Powers|last2=Wörmann|first2=Thorsten|title=वास्तविक बहुपदों के वर्गों के योग के लिए एल्गोरिद्म|journal=Journal of Pure and Applied Algebra|date=1998|volume=127|issue=1|pages=99–104| doi=10.1016/S0022-4049(97)83827-3| url=http://www.mathcs.emory.edu/~vicki/pub/sos.pdf|doi-access=free}}</ref> इसके अतिरिक्त , हर वास्तविक गैर-नकारात्मक रूप को वांछित के रूप में निकटता से अनुमानित किया जा सकता है ( <math>l_1</math>इसके गुणांक वेक्टर का मानदंड) रूपों के अनुक्रम द्वारा <math>\{f_\epsilon\}</math> वह एसओएस हैं।<ref>{{cite journal|last1=Lasserre|first1=Jean B.|title=गैर-ऋणात्मक बहुपदों के वर्ग सन्निकटन का योग|journal=SIAM Review|date=2007|volume=49|issue=4|pages=651–669|doi=10.1137/070693709|arxiv=math/0412398|bibcode=2007SIAMR..49..651L}}</ref>


 
चूंकि प्रत्येक फॉर्म को एसओएस के रूप में प्रदर्शित नहीं किया जा सकता है, एसओएस होने के लिए एक फॉर्म के लिए स्पष्ट पर्याप्त शर्तें पाई गई हैं।<ref>{{cite journal|last1=Lasserre|first1=Jean B.|title=एक वास्तविक बहुपद के वर्गों का योग होने के लिए पर्याप्त शर्तें| journal=Archiv der Mathematik|volume=89|issue=5|pages=390–398|doi=10.1007/s00013-007-2251-y|url=http://www.optimization-online.org/DB_HTML/2007/02/1587.html|arxiv=math/0612358|year=2007|citeseerx=10.1.1.240.4438|s2cid=9319455 }}</ref><ref>{{cite journal| last1=Powers|first1=Victoria|author1-link=Victoria Powers|last2=Wörmann|first2=Thorsten|title=वास्तविक बहुपदों के वर्गों के योग के लिए एल्गोरिद्म|journal=Journal of Pure and Applied Algebra|date=1998|volume=127|issue=1|pages=99–104| doi=10.1016/S0022-4049(97)83827-3| url=http://www.mathcs.emory.edu/~vicki/pub/sos.pdf|doi-access=free}}</ref> इसके अतिरिक्त, हर वास्तविक गैर-नकारात्मक रूप को वांछित के रूप में निकटता से अनुमानित किया जाता है <math>l_1</math>इसके गुणांक सदिश का मानदंड रूपों के अनुक्रम द्वारा <math>\{f_\epsilon\}</math> एसओएस के रूप में हैं।<ref>{{cite journal|last1=Lasserre|first1=Jean B.|title=गैर-ऋणात्मक बहुपदों के वर्ग सन्निकटन का योग|journal=SIAM Review|date=2007|volume=49|issue=4|pages=651–669|doi=10.1137/070693709|arxiv=math/0412398|bibcode=2007SIAMR..49..651L}}</ref>
== स्क्वायर मैट्रिकियल प्रतिनिधित्व (एसएमआर) ==
== वर्ग मैट्रिकियल प्रतिनिधित्व (एसएमआर) ==
यह स्थापित करने के लिए कि क्या एक फॉर्म {{math|''h''(''x'')}} [[उत्तल अनुकूलन]] समस्या को हल करने के लिए एसओएस राशि है। वास्तव में, कोई {{math|''h''(''x'')}} के रूप में लिखा जा सकता है
यह स्थापित करने के लिए कि क्या एक फॉर्म {{math|''h''(''x'')}} [[उत्तल अनुकूलन]] समस्या को हल करने के लिए एसओएस राशि के रूप में होती है। वास्तव में, इसे {{math|''h''(''x'')}} के रूप में लिखा जा सकता है
<math display="block">h(x) = x^{\{m\}'}\left(H+L(\alpha)\right)x^{\{m\}}</math>
<math display="block">h(x) = x^{\{m\}'}\left(H+L(\alpha)\right)x^{\{m\}}</math>
कहाँ <math>x^{\{m\}}</math> एक वेक्टर है जिसमें एक्स में डिग्री एम के रूपों के लिए आधार होता है (जैसे एक्स में डिग्री एम के सभी [[ एकपद ]]), प्राइम '[[ खिसकाना ]]को दर्शाता है, एच कोई भी [[सममित मैट्रिक्स]] संतोषजनक है
जहाँ <math>x^{\{m\}}</math> एक सदिश होता है, जिसमें एक्स में घात एम के रूपों के आधार पर होता है, जैसे कि एक्स में घात एम के सभी [[ एकपद |एकपद]], प्राइम, अभाज्य [[स्थानान्तरण]] को दर्शाता है, h कोई भी [[सममित मैट्रिक्स]] के रूप में संतोषजनक होता है,
<math display="block">h(x) = x^{\left\{m\right\}'}Hx^{\{m\}}</math>
<math display="block">h(x) = x^{\left\{m\right\}'}Hx^{\{m\}}</math>
और <math>L(\alpha)</math> सदिश स्थान का एक रैखिक पैरामीटरकरण है
और <math>L(\alpha)</math> सदिश स्थान का एक रैखिक पैरामीटरकरण के रूप में होता है
<math display="block">\mathcal{L} = \left\{L=L':~x^{\{m\}'} L x^{\{m\}}=0\right\}.</math>
<math display="block">\mathcal{L} = \left\{L=L':~x^{\{m\}'} L x^{\{m\}}=0\right\}.</math>
वेक्टर का आयाम <math>x^{\{m\}}</math> द्वारा दिया गया है
सदिश का आयाम <math>x^{\{m\}}</math> द्वारा दिया गया है
<math display="block">\sigma(n,m) = \binom{n+m-1}{m},</math>
<math display="block">\sigma(n,m) = \binom{n+m-1}{m},</math>
जबकि वेक्टर का आयाम <math>\alpha</math> द्वारा दिया गया है
जबकि सदिश <math>\alpha</math> अल्फा का आयाम द्वारा दिया गया है<math display="block">\omega(n,2m) = \frac{1}{2}\sigma(n,m)\left(1+\sigma(n,m)\right)-\sigma(n,2m).</math><br />तब, {{math|''h''(''x'')}} एसओएस के रूप में होता है, यदि और केवल यदि कोई सदिश उपस्थित <math>\alpha</math> है ऐसा है कि
<math display="block">\omega(n,2m) = \frac{1}{2}\sigma(n,m)\left(1+\sigma(n,m)\right)-\sigma(n,2m).</math>
तब, {{math|''h''(''x'')}} एसओएस है यदि और केवल यदि कोई वेक्टर उपस्थित है <math>\alpha</math> ऐसा है कि
<math display="block">H + L(\alpha) \ge 0,</math>
<math display="block">H + L(\alpha) \ge 0,</math>
मतलब कि [[मैट्रिक्स (गणित)]] <math>H + L(\alpha)</math> धनात्मक-अर्द्धपरिमित मैट्रिक्स है|सकारात्मक-अर्द्धपरिमित। यह एक [[रैखिक मैट्रिक्स असमानता]] (एलएमआई) व्यवहार्यता परीक्षण है, जो एक उत्तल अनुकूलन समस्या है। इजहार <math>h(x)=x^{\{m\}'}\left(H+L(\alpha)\right)x^{\{m\}}</math> में प्रस्तुत  किया गया था <ref>{{cite conference |url=https://ieeexplore.ieee.org/document/7099515 |title=कुछ न्यूनतम दूरी की समस्याओं के उत्तलीकरण पर|last1=Chesi |first1=G. |last2=Tesi |first2=A. |last3=Vicino |first3=A. |last4=Genesio |first4=R.  |date=1999 |publisher=IEEE |book-title=Proceedings of the 5th European Control Conference |pages=1446–1451 |location=Karlsruhe, Germany}}</ref> एक एलएमआई के माध्यम से एक फॉर्म एसओएस है या नहीं यह स्थापित करने के लिए स्क्वायर मैट्रिकियल प्रतिनिधित्व (एसएमआर) नाम के साथ। इस प्रतिनिधित्व को ग्राम मैट्रिक्स के रूप में भी जाना जाता है।<ref>{{cite conference |title=वास्तविक बहुपदों के वर्गों का योग|last1=Choi |first1=M. |last2=Lam |first2=T. |last3=Reznick |first3=B. |date=1995 |book-title=Proceedings of Symposia in Pure Mathematics |pages=103–125 |url=https://www.researchgate.net/publication/240268385}}</ref>


मतलब कि [[मैट्रिक्स (गणित)]] <math>H + L(\alpha)</math> धनात्मक-अर्द्धपरिमित मैट्रिक्स के रूप में होती है। यह एक [[रैखिक मैट्रिक्स असमानता]] एलएमआई व्यवहार्यता परीक्षण है, जो एक उत्तल अनुकूलन समस्या के रूप में है। व्यंजक <math>h(x)=x^{\{m\}'}\left(H+L(\alpha)\right)x^{\{m\}}</math> में प्रस्तुत किया गया है <ref>{{cite conference |url=https://ieeexplore.ieee.org/document/7099515 |title=कुछ न्यूनतम दूरी की समस्याओं के उत्तलीकरण पर|last1=Chesi |first1=G. |last2=Tesi |first2=A. |last3=Vicino |first3=A. |last4=Genesio |first4=R.  |date=1999 |publisher=IEEE |book-title=Proceedings of the 5th European Control Conference |pages=1446–1451 |location=Karlsruhe, Germany}}</ref> वर्ग मैट्रिक प्रतिनिधित्व एसएमआर नाम के साथ यह स्थापित करने के लिए कि एलएमआई के माध्यम से एक फॉर्म एसओएस के रूप में होता है या नहीं। इस प्रतिनिधित्व को ग्राम मैट्रिक्स के रूप में भी जाना जाता है।<ref>{{cite conference |title=वास्तविक बहुपदों के वर्गों का योग|last1=Choi |first1=M. |last2=Lam |first2=T. |last3=Reznick |first3=B. |date=1995 |book-title=Proceedings of Symposia in Pure Mathematics |pages=103–125 |url=https://www.researchgate.net/publication/240268385}}</ref>
=== उदाहरण ===
=== उदाहरण ===


*दो चरों में घात 4 के रूप पर विचार करें <math>h(x)=x_1^4-x_1^2x_2^2+x_2^4</math>. अपने पास <math display="block">m = 2,~x^{\{m\}} = \begin{pmatrix} x_1^2\\x_1x_2\\x_2^2\end{pmatrix}\!,
*हमारे पास दो चरों <math>h(x)=x_1^4-x_1^2x_2^2+x_2^4</math>. में घात 4 के रूप पर विचार करते है,<math display="block">m = 2,~x^{\{m\}} = \begin{pmatrix} x_1^2\\x_1x_2\\x_2^2\end{pmatrix}\!,
~H+L(\alpha) = \begin{pmatrix}
~H+L(\alpha) = \begin{pmatrix}
1&0&-\alpha_1\\0&-1+2\alpha_1&0\\-\alpha_1&0&1
1&0&-\alpha_1\\0&-1+2\alpha_1&0\\-\alpha_1&0&1
\end{pmatrix}\!.</math> चूँकि वहाँ उपस्थित है α ऐसा कि <math>H+L(\alpha)\ge 0</math>, अर्थात् <math>\alpha=1</math>, यह इस प्रकार है कि h(x) SOS है।
\end{pmatrix}\!.</math>चूँकि वहाँ α उपस्थित है, जैसे कि <math>H+L(\alpha)\ge 0</math>, अर्थात् <math>\alpha=1</math>, यह इस प्रकार अनुसरण करता है कि h(x) एसओएस है।
*तीन चरों में घात 4 के रूप पर विचार करें <math>h(x)=2x_1^4-2.5x_1^3x_2+x_1^2x_2x_3-2x_1x_3^3+5x_2^4+x_3^4</math>. अपने पास <math display="block">m=2,~x^{\{m\}}=\begin{pmatrix}x_1^2\\x_1x_2\\x_1x_3\\x_2^2\\x_2x_3\\x_3^2\end{pmatrix},
*हमारे पास तीन चरों <math>h(x)=2x_1^4-2.5x_1^3x_2+x_1^2x_2x_3-2x_1x_3^3+5x_2^4+x_3^4</math>. में घात 4 के रूप पर विचार करते है,<math display="block">m=2,~x^{\{m\}}=\begin{pmatrix}x_1^2\\x_1x_2\\x_1x_3\\x_2^2\\x_2x_3\\x_3^2\end{pmatrix},
~H+L(\alpha) = \begin{pmatrix}
~H+L(\alpha) = \begin{pmatrix}
2&-1.25&0&-\alpha_1&-\alpha_2&-\alpha_3\\
2&-1.25&0&-\alpha_1&-\alpha_2&-\alpha_3\\
Line 37: Line 31:
-\alpha_2&-\alpha_4&\alpha_5&0&2\alpha_6&0\\
-\alpha_2&-\alpha_4&\alpha_5&0&2\alpha_6&0\\
-\alpha_3&-\alpha_5&-1&-\alpha_6&0&1
-\alpha_3&-\alpha_5&-1&-\alpha_6&0&1
\end{pmatrix}.</math> तब से <math>H+L(\alpha)\ge 0</math> के लिए <math>\alpha=(1.18,-0.43,0.73,1.13,-0.37,0.57)</math>, यह इस प्रकार है कि {{math|''h''(''x'')}} एसओएस है।
\end{pmatrix}.</math> तब से <math>H+L(\alpha)\ge 0</math> के लिए <math>\alpha=(1.18,-0.43,0.73,1.13,-0.37,0.57)</math>, इससे पता चलता है कि {{math|''h''(''x'')}} एसओएस के रूप में है।


== सामान्यीकरण ==
== सामान्यीकरण ==


=== मैट्रिक्स मुसीबत का इशारा ===
=== मैट्रिक्स एसओएस ===
वास्तविक n-आयामी सदिश x में आयाम r और डिग्री 2m का एक मैट्रिक्स रूप F(x) (अर्थात, एक मैट्रिक्स जिसकी प्रविष्टियाँ रूप हैं) SOS है यदि और केवल यदि मैट्रिक्स रूप उपस्थित हैं <math>G_1(x),\ldots,G_k(x)</math> डिग्री एम की ऐसी है कि
एक मैट्रिक्स रूप F(x) अर्थात, मैट्रिक्स जिसकी प्रविष्टियाँ वास्तविक n आयामी सदिश x में आयाम r और घात 2m एसओएस के रूप में होती है यदि और केवल मैट्रिक्स रूप उपस्थित हैं
<math display="block">F(x)=\sum_{i=1}^k G_i(x)'G_i(x) .</math>
 
घात एम का <math>G_1(x),\ldots,G_k(x)</math> ऐसी है कि,<math display="block">F(x)=\sum_{i=1}^k G_i(x)'G_i(x) .</math>




==== मैट्रिक्स एसएमआर ====
==== मैट्रिक्स एसएमआर ====
उत्तल अनुकूलन समस्या को हल करने के लिए एक मैट्रिक्स फॉर्म एफ (एक्स) एसओएस राशि है या नहीं यह स्थापित करने के लिए। दरअसल, स्केलर केस के समान किसी भी एफ (एक्स) को एसएमआर के अनुसार लिखा जा सकता है
उत्तल अनुकूलन समस्या को हल करने के लिए एक मैट्रिक्स रूप एफ (एक्स) एसओएस राशि के रूप में है या नहीं यह स्थापित करने के लिए होता है। दरअसल, अदिश केस के समान किसी भी एफ (एक्स) को एसएमआर के अनुसार लिखा जा सकता है
<math display="block">F(x) = \left(x^{\{m\}}\otimes I_r\right)'\left(H+L(\alpha)\right)\left(x^{\{m\}}\otimes I_r\right)</math>
<math display="block">F(x) = \left(x^{\{m\}}\otimes I_r\right)'\left(H+L(\alpha)\right)\left(x^{\{m\}}\otimes I_r\right)</math>
कहाँ <math>\otimes</math> आव्यूहों का क्रोनेकर गुणनफल है, H कोई सममित आव्यूह संतोषजनक है
जहाँ <math>\otimes</math> आव्यूहों का क्रोनेकर गुणनफल है, H कोई सममित आव्यूह संतोषजनक रूप में होता है
<math display="block">F(x) = \left(x^{\{m\}}\otimes I_r\right)'H\left(x^{\{m\}}\otimes I_r\right)</math>
<math display="block">F(x) = \left(x^{\{m\}}\otimes I_r\right)'H\left(x^{\{m\}}\otimes I_r\right)</math>
और <math>L(\alpha)</math> रैखिक स्थान का एक रैखिक पैरामीटरकरण है
और <math>L(\alpha)</math> रैखिक स्थान का एक रैखिक पैरामीटरकरण होता है
<math display="block">\mathcal{L}=\left\{L=L':~\left(x^{\{m\}}\otimes I_r\right)'L\left(x^{\{m\}}\otimes I_r\right)=0\right\}.</math>
<math display="block">\mathcal{L}=\left\{L=L':~\left(x^{\{m\}}\otimes I_r\right)'L\left(x^{\{m\}}\otimes I_r\right)=0\right\}.</math>
वेक्टर का आयाम <math>\alpha</math> द्वारा दिया गया है
सदिश का आयाम <math>\alpha</math> द्वारा दिया गया है
<math display="block">\omega(n,2m,r)=\frac{1}{2}r\left(\sigma(n,m)\left(r\sigma(n,m)+1\right)-(r+1)\sigma(n,2m)\right).</math>
<math display="block">\omega(n,2m,r)=\frac{1}{2}r\left(\sigma(n,m)\left(r\sigma(n,m)+1\right)-(r+1)\sigma(n,2m)\right).</math>
तब, {{math|''F''(''x'')}} एसओएस है यदि और केवल यदि कोई वेक्टर उपस्थित  है <math>\alpha</math> जैसे कि निम्नलिखित LMI धारण करता है:
तब, {{math|''F''(''x'')}} एसओएस है यदि और केवल यदि कोई सदिश <math>\alpha</math> के रूप में उपस्थित है, जैसे कि एलएमआई निम्नलिखित स्वरूपों में होता है
<math display="block">H+L(\alpha) \ge 0.</math>
<math display="block">H+L(\alpha) \ge 0.</math>
इजहार <math>F(x) = \left(x^{\{m\}}\otimes I_r\right)'\left(H+L(\alpha)\right)\left(x^{\{m\}}\otimes I_r\right)</math> में प्रस्तुत किया गया था <ref>{{cite conference |title=बहुपद पैरामीटर-निर्भर लायपुनोव कार्यों के माध्यम से पॉलीटोपिक प्रणालियों के लिए मजबूत स्थिरता|last1=Chesi |first1=G. |last2=Garulli |first2=A. |last3=Tesi |first3=A. |last4=Vicino |first4=A. |date=2003 |publisher=IEEE |book-title=Proceedings of the 42nd IEEE Conference on Decision and Control |pages=4670–4675 |location=Maui, Hawaii | doi=10.1109/CDC.2003.1272307 }}</ref> यह स्थापित करने के लिए कि एलएमआई के माध्यम से मैट्रिक्स फॉर्म एसओएस है या नहीं।
अभिव्यक्ति <math>F(x) = \left(x^{\{m\}}\otimes I_r\right)'\left(H+L(\alpha)\right)\left(x^{\{m\}}\otimes I_r\right)</math> में प्रस्तुत किया गया था <ref>{{cite conference |title=बहुपद पैरामीटर-निर्भर लायपुनोव कार्यों के माध्यम से पॉलीटोपिक प्रणालियों के लिए मजबूत स्थिरता|last1=Chesi |first1=G. |last2=Garulli |first2=A. |last3=Tesi |first3=A. |last4=Vicino |first4=A. |date=2003 |publisher=IEEE |book-title=Proceedings of the 42nd IEEE Conference on Decision and Control |pages=4670–4675 |location=Maui, Hawaii | doi=10.1109/CDC.2003.1272307 }}</ref> यह स्थापित करने के लिए कि एलएमआई के माध्यम से मैट्रिक्स स्वरूप एसओएस है या नहीं।


=== गैर अनुमेय बहुपद एसओएस ===
=== गैर अनुमेय बहुपद एसओएस ===


नि: शुल्क बीजगणित R⟨X⟩ पर विचार करें जो एन नॉनकम्यूटिंग अक्षर एक्स = (एक्स) द्वारा उत्पन्न होता है<sub>1</sub>, ..., एक्स<sub>''n''</sub>) और सम्मलित  होने से लैस है <sup>टी</sup>, ऐसा कि <sup>T</sup> R और X को ठीक करता है<sub>1</sub>, ..., एक्स<sub>''n''</sub> और X द्वारा बनाए गए शब्दों को उलट देता है<sub>1</sub>, ..., एक्स<sub>''n''</sub>.
मुक्त बीजगणित R⟨X⟩ पर विचार करते है, जो एन गैर-आवर्ती अक्षर ''X'' = (''X''<sub>1</sub>, ..., ''X<sub>n</sub>'') द्वारा उत्पन्न होता है और इनवोल्यूशन T से सुसज्जित होता है जैसे T, R और X1, ..., Xn को ठीक करता है और X1, ..., Xn द्वारा बनाए गए शब्दों को उलट देता है। क्रमविनिमेय स्थिति के साथ सादृश्य द्वारा गैर-अनुक्रमिक [[सममित बहुपद]] f, f = fT रूप के गैर-अनुक्रमिक बहुपद के रूप में होते है। जब किसी भी आयाम r × r के किसी भी वास्तविक मैट्रिक्स का मूल्यांकन एक सममित गैर-अनुक्रमिक बहुपद f पर किया जाता है, जिसके परिणामस्वरूप एक सकारात्मक अर्ध-निश्चित मैट्रिक्स होता है, f को मैट्रिक्स-पॉजिटिव कहा जाता है।
कम्यूटेटिव स्थिति के अनुरूप, गैर-अनुक्रमिक [[सममित बहुपद]] f फॉर्म के गैर-अनुक्रमिक बहुपद हैं {{math|1=''f'' = ''f''<sup>''T''</sup>}}. जब किसी भी आयाम r × r के किसी भी वास्तविक मैट्रिक्स का मूल्यांकन एक सममित गैर-अनुक्रमिक बहुपद f पर किया जाता है, जिसके परिणामस्वरूप एक सकारात्मक अर्ध-निश्चित मैट्रिक्स होता है, f को मैट्रिक्स-पॉजिटिव कहा जाता है।


एक गैर क्रमविनिमेय बहुपद SOS है यदि वहां गैर क्रमविनिमेय बहुपद उपस्थित हैं <math>h_1,\ldots,h_k</math> ऐसा है कि
एक गैर क्रमविनिमेय बहुपद एसओएस के रूप में होता है, यदि वहां गैर क्रमविनिमेय बहुपद उपस्थित हैं <math>h_1,\ldots,h_k</math> ऐसा है कि<math display="block">f(X) = \sum_{i=1}^{k} h_i(X)^T h_i(X).</math>
<math display="block">f(X) = \sum_{i=1}^{k} h_i(X)^T h_i(X).</math>
हैरानी की बात है कि गैर-अनुक्रमिक परिदृश्य में एक गैर-अनुक्रमिक बहुपद एसओएस के रूप में होता है, यदि और केवल यदि यह मैट्रिक्स-पॉजिटिव होता है।<ref>{{cite journal|last1=Helton|first1=J. William|title="सकारात्मक" गैर-अनुसूचित बहुपद वर्गों का योग हैं|journal=The Annals of Mathematics|date=September 2002|volume=156|issue=2|pages=675–694|doi=10.2307/3597203|jstor=3597203}}</ref> इसके अतिरिक्त, गैर-अनुमेय बहुपदों के वर्गों के योग में मैट्रिक्स-पॉजिटिव बहुपदों को विघटित करने के लिए उपलब्ध कलन विधि के रूप में उपस्थित होता है।<ref>{{cite journal | last1=Burgdorf|first1=Sabine|last2=Cafuta|first2=Kristijan|last3=Klep|first3=Igor|last4=Povh|first4=Janez|title=गैर-अनुविनिमेय बहुपदों के हर्मिटियन वर्गों के योग के एल्गोरिथम पहलू|journal=Computational Optimization and Applications|date=25 October 2012|volume=55|issue=1|pages=137–153|doi=10.1007/s10589-012-9513-8|citeseerx=10.1.1.416.543|s2cid=254416733 }}</ref>
हैरानी की बात है कि गैर-अनुक्रमिक परिदृश्य में एक गैर-अनुक्रमिक बहुपद एसओएस है यदि और केवल यदि यह मैट्रिक्स-पॉजिटिव है।<ref>{{cite journal|last1=Helton|first1=J. William|title="सकारात्मक" गैर-अनुसूचित बहुपद वर्गों का योग हैं|journal=The Annals of Mathematics|date=September 2002|volume=156|issue=2|pages=675–694|doi=10.2307/3597203|jstor=3597203}}</ref> इसके अतिरिक्त , गैर-अनुमेय बहुपदों के वर्गों के योग में मैट्रिक्स-पॉजिटिव बहुपदों को विघटित करने के लिए उपलब्ध एल्गोरिदम उपस्थित हैं।<ref>{{cite journal | last1=Burgdorf|first1=Sabine|last2=Cafuta|first2=Kristijan|last3=Klep|first3=Igor|last4=Povh|first4=Janez|title=गैर-अनुविनिमेय बहुपदों के हर्मिटियन वर्गों के योग के एल्गोरिथम पहलू|journal=Computational Optimization and Applications|date=25 October 2012|volume=55|issue=1|pages=137–153|doi=10.1007/s10589-012-9513-8|citeseerx=10.1.1.416.543|s2cid=254416733 }}</ref>




Line 79: Line 72:
* एसओएस-उत्तलता
* एसओएस-उत्तलता


श्रेणी:सजातीय बहुपद
श्रेणी:वास्तविक बीजगणितीय ज्यामिति
[[Category: Machine Translated Page]]
[[Category:Created On 03/03/2023]]
[[Category:Created On 03/03/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]

Latest revision as of 07:13, 19 March 2023

गणित में, वास्तविक संख्या n आयामी सदिश x में बहुपद की घात 2m का एक सजातीय बहुपद h(x) के रूप (एसओएस) के वर्गों का योग होता है और यदि केवल घात एम के के रूप में उपस्थित होती है। जैसे कि,

एसओएस का हर रूप एक सकारात्मक बहुपद के रूप में होता है और चूंकि विलोम (तर्क) सदैव सत्य नहीं होता है, हिल्बर्ट ने सिद्ध किया कि n = 2, 2 n = 2 या n = 3 और 2 n = 4 के लिए एक फॉर्म एसओएस के रूप में होता है, यदि और केवल यदि यह सकारात्मक होता है।[1] सकारात्मक सममित रूपों पर एनालॉग समस्या के लिए भी यही मान्य होता है।[2][3]

चूंकि प्रत्येक फॉर्म को एसओएस के रूप में प्रदर्शित नहीं किया जा सकता है, एसओएस होने के लिए एक फॉर्म के लिए स्पष्ट पर्याप्त शर्तें पाई गई हैं।[4][5] इसके अतिरिक्त, हर वास्तविक गैर-नकारात्मक रूप को वांछित के रूप में निकटता से अनुमानित किया जाता है इसके गुणांक सदिश का मानदंड रूपों के अनुक्रम द्वारा एसओएस के रूप में हैं।[6]

वर्ग मैट्रिकियल प्रतिनिधित्व (एसएमआर)

यह स्थापित करने के लिए कि क्या एक फॉर्म h(x) उत्तल अनुकूलन समस्या को हल करने के लिए एसओएस राशि के रूप में होती है। वास्तव में, इसे h(x) के रूप में लिखा जा सकता है

जहाँ एक सदिश होता है, जिसमें एक्स में घात एम के रूपों के आधार पर होता है, जैसे कि एक्स में घात एम के सभी एकपद, प्राइम, अभाज्य स्थानान्तरण को दर्शाता है, h कोई भी सममित मैट्रिक्स के रूप में संतोषजनक होता है,
और सदिश स्थान का एक रैखिक पैरामीटरकरण के रूप में होता है
सदिश का आयाम द्वारा दिया गया है
जबकि सदिश अल्फा का आयाम द्वारा दिया गया है

तब, h(x) एसओएस के रूप में होता है, यदि और केवल यदि कोई सदिश उपस्थित है ऐसा है कि

मतलब कि मैट्रिक्स (गणित) धनात्मक-अर्द्धपरिमित मैट्रिक्स के रूप में होती है। यह एक रैखिक मैट्रिक्स असमानता एलएमआई व्यवहार्यता परीक्षण है, जो एक उत्तल अनुकूलन समस्या के रूप में है। व्यंजक में प्रस्तुत किया गया है [7] वर्ग मैट्रिक प्रतिनिधित्व एसएमआर नाम के साथ यह स्थापित करने के लिए कि एलएमआई के माध्यम से एक फॉर्म एसओएस के रूप में होता है या नहीं। इस प्रतिनिधित्व को ग्राम मैट्रिक्स के रूप में भी जाना जाता है।[8]

उदाहरण

  • हमारे पास दो चरों . में घात 4 के रूप पर विचार करते है,
    चूँकि वहाँ α उपस्थित है, जैसे कि , अर्थात् , यह इस प्रकार अनुसरण करता है कि h(x) एसओएस है।
  • हमारे पास तीन चरों . में घात 4 के रूप पर विचार करते है,
    तब से के लिए , इससे पता चलता है कि h(x) एसओएस के रूप में है।

सामान्यीकरण

मैट्रिक्स एसओएस

एक मैट्रिक्स रूप F(x) अर्थात, मैट्रिक्स जिसकी प्रविष्टियाँ वास्तविक n आयामी सदिश x में आयाम r और घात 2m एसओएस के रूप में होती है यदि और केवल मैट्रिक्स रूप उपस्थित हैं

घात एम का ऐसी है कि,


मैट्रिक्स एसएमआर

उत्तल अनुकूलन समस्या को हल करने के लिए एक मैट्रिक्स रूप एफ (एक्स) एसओएस राशि के रूप में है या नहीं यह स्थापित करने के लिए होता है। दरअसल, अदिश केस के समान किसी भी एफ (एक्स) को एसएमआर के अनुसार लिखा जा सकता है

जहाँ आव्यूहों का क्रोनेकर गुणनफल है, H कोई सममित आव्यूह संतोषजनक रूप में होता है
और रैखिक स्थान का एक रैखिक पैरामीटरकरण होता है
सदिश का आयाम द्वारा दिया गया है
तब, F(x) एसओएस है यदि और केवल यदि कोई सदिश के रूप में उपस्थित है, जैसे कि एलएमआई निम्नलिखित स्वरूपों में होता है
अभिव्यक्ति में प्रस्तुत किया गया था [9] यह स्थापित करने के लिए कि एलएमआई के माध्यम से मैट्रिक्स स्वरूप एसओएस है या नहीं।

गैर अनुमेय बहुपद एसओएस

मुक्त बीजगणित R⟨X⟩ पर विचार करते है, जो एन गैर-आवर्ती अक्षर X = (X1, ..., Xn) द्वारा उत्पन्न होता है और इनवोल्यूशन T से सुसज्जित होता है जैसे T, R और X1, ..., Xn को ठीक करता है और X1, ..., Xn द्वारा बनाए गए शब्दों को उलट देता है। क्रमविनिमेय स्थिति के साथ सादृश्य द्वारा गैर-अनुक्रमिक सममित बहुपद f, f = fT रूप के गैर-अनुक्रमिक बहुपद के रूप में होते है। जब किसी भी आयाम r × r के किसी भी वास्तविक मैट्रिक्स का मूल्यांकन एक सममित गैर-अनुक्रमिक बहुपद f पर किया जाता है, जिसके परिणामस्वरूप एक सकारात्मक अर्ध-निश्चित मैट्रिक्स होता है, f को मैट्रिक्स-पॉजिटिव कहा जाता है।

एक गैर क्रमविनिमेय बहुपद एसओएस के रूप में होता है, यदि वहां गैर क्रमविनिमेय बहुपद उपस्थित हैं ऐसा है कि

हैरानी की बात है कि गैर-अनुक्रमिक परिदृश्य में एक गैर-अनुक्रमिक बहुपद एसओएस के रूप में होता है, यदि और केवल यदि यह मैट्रिक्स-पॉजिटिव होता है।[10] इसके अतिरिक्त, गैर-अनुमेय बहुपदों के वर्गों के योग में मैट्रिक्स-पॉजिटिव बहुपदों को विघटित करने के लिए उपलब्ध कलन विधि के रूप में उपस्थित होता है।[11]


संदर्भ

  1. Hilbert, David (September 1888). "रूपों के वर्गों के योग के रूप में निश्चित रूपों के प्रतिनिधित्व के बारे में". Mathematische Annalen. 32 (3): 342–350. doi:10.1007/bf01443605. S2CID 177804714.
  2. Choi, M. D.; Lam, T. Y. (1977). "हिल्बर्ट का एक पुराना सवाल". Queen's Papers in Pure and Applied Mathematics. 46: 385–405.
  3. Goel, Charu; Kuhlmann, Salma; Reznick, Bruce (May 2016). "On the Choi–Lam analogue of Hilbert's 1888 theorem for symmetric forms". Linear Algebra and Its Applications. 496: 114–120. arXiv:1505.08145. doi:10.1016/j.laa.2016.01.024. S2CID 17579200.
  4. Lasserre, Jean B. (2007). "एक वास्तविक बहुपद के वर्गों का योग होने के लिए पर्याप्त शर्तें". Archiv der Mathematik. 89 (5): 390–398. arXiv:math/0612358. CiteSeerX 10.1.1.240.4438. doi:10.1007/s00013-007-2251-y. S2CID 9319455.
  5. Powers, Victoria; Wörmann, Thorsten (1998). "वास्तविक बहुपदों के वर्गों के योग के लिए एल्गोरिद्म" (PDF). Journal of Pure and Applied Algebra. 127 (1): 99–104. doi:10.1016/S0022-4049(97)83827-3.
  6. Lasserre, Jean B. (2007). "गैर-ऋणात्मक बहुपदों के वर्ग सन्निकटन का योग". SIAM Review. 49 (4): 651–669. arXiv:math/0412398. Bibcode:2007SIAMR..49..651L. doi:10.1137/070693709.
  7. Chesi, G.; Tesi, A.; Vicino, A.; Genesio, R. (1999). "कुछ न्यूनतम दूरी की समस्याओं के उत्तलीकरण पर". Proceedings of the 5th European Control Conference. Karlsruhe, Germany: IEEE. pp. 1446–1451.
  8. Choi, M.; Lam, T.; Reznick, B. (1995). "वास्तविक बहुपदों के वर्गों का योग". Proceedings of Symposia in Pure Mathematics. pp. 103–125.
  9. Chesi, G.; Garulli, A.; Tesi, A.; Vicino, A. (2003). "बहुपद पैरामीटर-निर्भर लायपुनोव कार्यों के माध्यम से पॉलीटोपिक प्रणालियों के लिए मजबूत स्थिरता". Proceedings of the 42nd IEEE Conference on Decision and Control. Maui, Hawaii: IEEE. pp. 4670–4675. doi:10.1109/CDC.2003.1272307.
  10. Helton, J. William (September 2002). ""सकारात्मक" गैर-अनुसूचित बहुपद वर्गों का योग हैं". The Annals of Mathematics. 156 (2): 675–694. doi:10.2307/3597203. JSTOR 3597203.
  11. Burgdorf, Sabine; Cafuta, Kristijan; Klep, Igor; Povh, Janez (25 October 2012). "गैर-अनुविनिमेय बहुपदों के हर्मिटियन वर्गों के योग के एल्गोरिथम पहलू". Computational Optimization and Applications. 55 (1): 137–153. CiteSeerX 10.1.1.416.543. doi:10.1007/s10589-012-9513-8. S2CID 254416733.


यह भी देखें

  • योग-का-वर्ग अनुकूलन
  • सकारात्मक बहुपद
  • हिल्बर्ट की सत्रहवीं समस्या
  • एसओएस-उत्तलता