View source for संवृत्त-रूप व्यंजक

{{Redirect|संवृत्त सूत्र|बिना मुक्त चर वाले तर्क सूत्र के अर्थ में "संवृत्त सूत्र"।|कथन (गणितीय तर्क)}}

{{Short description|Mathematical formula involving a given set of operations}}गणित में, एक '''संवृत्त-रूप व्यंजक''', एक ऐसा [[गणितीय अभिव्यक्ति|व्यंजक]] है जिसे [[स्थिरांक (गणित)|अचर]], [[चर (गणित)|चर]] तथा मानक [[ऑपरेशन (गणित)|संक्रियाओं]] और [[फ़ंक्शन (गणित)|फलनों]] की एक परिमित संख्या द्वारा निर्मित किया जाता है। जैसे {{math|+, −, ×, ÷}}, एन वर्गमूल, [[घातांक]], लघुगणक, त्रिकोणमितीय फलन और व्युत्क्रम अतिपरवलयिक फलन आदि। इसमें कोई सीमा या [[अभिन्न]] स्वीकार नहीं किए जाते हैं।

संक्रिया तथा फलनों के समुच्चय लेखक और संदर्भ के साथ भिन्न हो सकतें है।

सामान्यतः, यदि किसी फलन को संवृत्त-रूप व्यंजक के रूप मर स्वीकारा जाता है, तो इसके व्युत्पन्न को संवृत्त-रूप व्यंजक के रूप में व्यक्त किया जा सकता है। इस प्रकार [[श्रृंखला नियम]] द्वारा,[[ यौगिक | व्युतपन्नों]] को संवृत्त-रूप व्यंजको से प्रतिस्थापित किया जा सकता है। चूँकि किसी व्युत्पन्न के व्यंजक, फलनों की तुलना में अत्यधिक बड़े हो सकते है, यह केवल सुविधा का प्रश्न है कि क्या व्युत्पन्न को संवृत्त-रूप व्यंजकों के रूप में स्वीकार किया जाता है।

== उदाहरण: बहुपद मूल ==

सम्मिश्र [[गुणा|गुणांक]] वाले किसी भी [[द्विघात समीकरण]] के समाधान को जोड़, [[घटाव]], गुणा, भाग, और [[वर्गमूल]] निष्कर्षण के रूप में संवृत्त-रूप में व्यक्त किया जा सकता है, जिनमें से प्रत्येक एक [[प्राथमिक कार्य|प्राथमिक फलन]] है। उदाहरण के लिए, द्विघात समीकरण

:<math>ax^2+bx+c=0,</math>
सुव्यवस्थित है क्योंकि इसके समाधानों को एक संवृत्त-रूप व्यंजक अर्थात प्राथमिक फलनों के रूप में व्यक्त किया जा सकता हैː

:<math>x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}.</math>
इसी प्रकार, घन और चतुर्थक समीकरणों के समाधान, अंकगणित, वर्गमूल और {{mvar|n}}वें मूल का उपयोग करके व्यक्त किए जा सकते हैं। यद्यपि, उदाहरण के लिए, ऐसे संवृत्त-रूप समाधानों के अतिरिक्त [[क्विंटिक समीकरण]] भी हैं। जैसे  {{math|1=''x''<sup>5</sup>&nbsp;−&nbsp;''x''&nbsp;+&nbsp;1&nbsp;=&nbsp;0}}; यह एबेल-रफिनी प्रमेय है।

[[बहुपद जड़|बहुपद मूल]] के लिए संवृत्त-रूपों के अस्तित्व का अध्ययन, [[गैलोइस सिद्धांत]] नामक गणित के क्षेत्र की प्रारंभिक प्रेरणा और मुख्य उपलब्धियों में से एक है।

== वैकल्पिक परिभाषाएँ ==

अतिरिक्त फलनों को सम्मिलित करने के लिए संवृत्त-रूप व्यंजक की परिभाषा को परिवर्तित करने से संवृत्त-रूप समाधान वाले समीकरणों का समुच्चय भी परिवर्तित हो सकता है। कई [[संचयी वितरण कार्य|संचयी वितरण फलनों]] को संवृत्त-रूप में व्यक्त नहीं किया जा सकता है, जब तक कि किसी [[विशेष कार्य|विशेष]] फलन जैसे कि [[त्रुटि फ़ंक्शन|त्रुटि फलन]] या [[गामा फ़ंक्शन|गामा फलन]] को अच्छी तरह से ज्ञात नहीं कर लिया जाता है। यदि सामान्य [[हाइपरजियोमेट्रिक फ़ंक्शन|हाइपरज्यामितीय फलन]] को सम्मिलित किया जाए तो क्विंटिक समीकरण को हल करना संभव है, यद्यपि समाधान बीजगणितीय रूप से उपयोगी होने के लिए अत्यधिक जटिल है। कई व्यावहारिक कंप्यूटर अनुप्रयोगों के लिए, यह मान लेना पूरी तरह से उचित है कि गामा फलन और अन्य विशेष फलन अच्छी तरह से ज्ञात हैं क्योंकि इनके संख्यात्मक फलनान्वयन व्यापक रूप से उपलब्ध हैं।

== विश्लेषणात्मक व्यंजक ==

एक विश्लेषणात्मक व्यंजक जिन्हे विश्लेषणात्मक सूत्र के रूप में भी जाना जाता है, एक गणितीय व्यंजक है जिन्हे प्रसिद्ध संक्रियाओ का उपयोग करके निर्मित किया जाता है। इन्हे गणना के लिए उपयोगी माना जाता है। संवृत्त-रूप व्यंजकों के समान, अनुमत प्रसिद्ध फलनों का समुच्चय संदर्भ के अनुसार भिन्न हो सकता है परंतु इसमें सदैव अंकगणितीयसंक्रिया (जोड़, घटाव, गुणा और विभाजन), एक वास्तविक घातांक लघुगणक, तथा त्रिकोणमितीय फलन सम्मिलित होता है।

यद्यपि, विश्लेषणात्मक व्यंजक माने जाने वाले व्यंजकों का वर्ग संवृत्त-रूप वाले व्यंजकों की तुलना में व्यापक होता है। विशेष रूप से, [[बेसेल कार्य करता है|बेसेल फलन]] और गामा फलन जैसे विशेष फलनों को सामान्यतः अनुमति दी जाती है, जिसमे प्रायः अनंत श्रृंखला और निरंतर भिन्न भी उपस्थित होते हैं। दूसरी ओर, सामान्य अनुक्रम की सीमा और विशेष रूप से अभिन्न को प्रायः बाहर रखा जाता है।

यदि एक विश्लेषणात्मक व्यंजक में केवल बीजगणितीय संक्रिया (जोड़, घटाव, गुणा, विभाजन, और तर्कसंगत घातांक के लिए घातांक) और तर्कसंगत अचर सम्मिलित होते हैं तो इसे विशेष रूप से बीजगणितीय व्यंजक के रूप में जाना जाता है।

==व्यंजकों के विभिन्न वर्गों की तुलना ==

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

इसी प्रकार, एक [[समीकरण]] या [[समीकरणों की प्रणाली]] को एक संवृत्त-रूप समाधान कहा जाता है यदि, कम से कम एक समीकरण समाधान को एक संवृत्त-रूप व्यंजक के रूप में व्यक्त करता है; और इसे एक विश्लेषणात्मक समाधान कहा जाता है यदि कम से कम एक समाधान को विश्लेषणात्मक व्यंजक के रूप में व्यक्त किया जा सके। संवृत्त-रूप समाधान की चर्चा में संवृत्त-रूप ''फलन'' और संवृत्त-रूप ''संख्या'' के बीच एक सूक्ष्म अंतर है, जिस पर चर्चा की गई है। एक संवृत्त-रूप या विश्लेषणात्मक समाधान को कभी-कभी स्पष्ट समाधान के रूप में भी जाना जाता है।

{{Mathematical expressions}}

== गैर-संवृत्त-रूप व्यंजकों के समाधान ==

=== संवृत्त-रूप व्यंजकों में परिवर्तन ===

<math display="block">f(x) = \sum_{n=0}^\infty \frac{x}{2^n}</math>व्यंजक संवृत्त-रूप में नहीं है क्योंकि समाकलन में अनंत संख्यायों की प्राथमिक संक्रियाए सम्मिलित हैं। यद्यपि, एक ज्यामितीय श्रृंखला का योग करके इस व्यंजक को संवृत्त-रूप में व्यक्त किया जा सकता है:<ref>{{cite web | last=Holton | first=Glyn | title = संख्यात्मक समाधान, बंद प्रपत्र समाधान| url = http://www.riskglossary.com/link/closed_form_solution.htm | access-date = 31 December 2012 |url-status = dead | archive-url = https://web.archive.org/web/20120204082706/http://www.riskglossary.com/link/closed_form_solution.htm |archive-date = 4 February 2012 }}</ref>
<math display="block">f(x) = 2x.</math>


=== विभेदक गैलोज़ सिद्धांत ===
{{main|विभेदक गैलोज़ सिद्धांत}}
{{See also|अप्रारंभिक अभिन्न}}

किसी संवृत्त-रूप व्यंजक के अभिन्न पूर्णाङ्क स्वयं एक संवृत्त-रूप व्यंजक के रूप में अभिव्यक्त हो भी सकते है और नहीं भी। बीजगणितीय गैलोज़ सिद्धांत के अनुरूप इस अध्ययन को [[विभेदक गैलोज़ सिद्धांत]] कहा जाता है।

विभेदक गैलोज़ सिद्धांत का मूल प्रमेय 1830 और 1840 के दशक में [[जोसेफ लिउविल|जोसेफ लिउविले]] द्वारा दिया गया था और इसलिए इसे लिउविले के प्रमेय के रूप में जाना जाता है।

प्राथमिक फलन का एक मानक उदाहरण जिसके प्रतिअवकलन में संवृत्त-रूप व्यंजक नहीं है: <math display="block">e^{-x^2},</math> जिसका एक प्रतिअवकलन (गुणात्मक स्थिरांक [[तक]]) त्रुटि फलन है:
<math display="block">\operatorname{erf}(x) = \frac{2}{\sqrt{\pi}} \int_{0}^x e^{-t^2} \, dt.</math>


=== गणितीय प्रारूपण तथा [[कंप्यूटर सिमुलेशन|कंप्यूटर अनुरूपण]] ===

संवृत्त-रूप या विश्लेषणात्मक समाधानों के लिए अत्यधिक जटिल समीकरणों या प्रणालियों का विश्लेषण प्रायः गणितीय प्रारूपण तथा [[कंप्यूटर सिमुलेशन|कंप्यूटर अनुरूपण]] द्वारा किया जा सकता है।

== संवृत्त-रूप संख्या ==
{{see also| प्रागनुभविक संख्या सिद्धांत}}

सम्मिश्र संख्या {{math|'''C'''}} के तीन उपक्षेत्रों  को एक संवृत्त-रूप संख्या के कूटबद्ध धारणा के रूप में प्रदर्शित किया जा सकता है; व्यापकता के बढ़ते क्रम में, इन्हे लिउविलियन संख्या, ईएल संख्या और [[प्राथमिक संख्या|प्राथमिक संख्याओं]] के रूप में संदर्भित किया जा सकता है। लिउविलियन संख्याएँ, जिन्हे {{math|'''L'''}} चिन्ह द्वारा निरूपित किया जाता है, {{math|'''C'''}} का सबसे सूक्ष्म [[बीजगणितीय रूप से बंद|बीजगणितीय संवृत्त]] उपक्षेत्र बनाती हैं जो घातांक और लघुगणक के अंतर्गत संवृत्त होते है अर्थात, संख्याएँ जिनमें स्पष्ट घातांक और लघुगणक सम्मिलित होते हैं, परंतु स्पष्ट और अंतर्निहित बहुपदों की अनुमति देते हैं; इसे {{Harv|Ritt|1948|loc=p. 60}} में परिभाषित किया गया है। {{math|'''L'''}} को मूल रूप से प्रारंभिक संख्याओं के रूप में संदर्भित किया गया था, परंतु अब इस शब्द को बीजगणितीय संक्रिया, घातांक और लघुगणक के संदर्भ में स्पष्ट रूप से या अंतर्निहित रूप से परिभाषित संख्याओं को संदर्भित करने के लिए अधिक व्यापक रूप से उपयोग किया जाता है। {{Harv|Chow|1999|loc=pp. 441–442}} में एक संकीर्ण परिभाषा प्रस्तावित है जिसमे इसे {{math|'''E'''}} चिन्ह द्वारा निरूपित किया जाता है तथा इसे ईएल संख्या के रूप में संदर्भित किया जाता है, यह {{math|'''C'''}} का सबसे छोटा उपक्षेत्र है तथा इसे बीजगणितीय रूप से संवृत्त करने की आवश्यकता नहीं है, और यह स्पष्ट बीजगणितीय, घातीय और लघुगणकीय संचालन के अनुरूप है। ईएल का अर्थ घातीय-लघुगणक और प्राथमिक व्यंजकों के संक्षिप्त रूप के लिए है।

कोई संख्या एक संवृत्त-रूप वाली संख्या है या नहीं, इसका संबंध इस बात से है कि क्या कोई संख्या  [[पारलौकिक संख्या|प्रागनुभविक संख्या]] है। औपचारिक रूप से, लिउविलियन संख्याओं और प्राथमिक संख्याओं में [[बीजगणितीय संख्या]]एँ होती हैं, और उनमें कुछ नहीं बल्कि सभी  प्रागनुभविक संख्याएँ सम्मिलित होती हैं। इसके विपरीत, ईएल संख्याओं में सभी बीजगणितीय संख्याएँ सम्मिलित नहीं होती हैं, परंतु कुछ  प्रागनुभविक संख्याएँ सम्मिलित होती हैं। संवृत्त-रूप संख्याओं का अध्ययन  प्रागनुभविक संख्या सिद्धांत के माध्यम से किया जा सकता है, जिसमें एक प्रमुख परिणाम गेलफोंड-श्नाइडर प्रमेय है, और एक प्रमुख विवृत्त प्रश्न शैनुएल का अनुमान है।

==संख्यात्मक गणना ==

संख्यात्मक गणना के प्रयोजनों के लिए, संख्याओं का संवृत्त-रूप में होना सामान्य रूप से आवश्यक नहीं है, क्योंकि इसके बिना भी कई सीमाओं और अभिन्नों की गणना कुशलतापूर्वक की जा सकती है। कुछ समीकरणों का कोई संवृत्त-रूप समाधान नहीं होता है, जैसे कि वे संखयाए जो त्रि-निकाय समस्या या हॉजकिन-हक्सले प्रारूप का प्रतिनिधित्व करती हैं। इसलिए, इन प्रणालियों के भविष्य की स्थितियों की गणना संख्यात्मक रूप से की जानी चाहिए।

== संख्यात्मक रूपों से रूपांतरण ==

कुछ ऐसे सॉफ़्टवेयर है जो आरआईईएस सहित संख्यात्मक मानों के लिए संवृत्त-रूप व्यंजक खोजने का प्रयास करते है,<ref>{{cite web |last = Munafo |first = Robert |title = RIES - बीजगणितीय समीकरण खोजें, उनका समाधान देखें|url = http://mrob.com/pub/ries/index.html |access-date = 30 April 2012 }}</ref> जैसे मेपल में {{mono|identify}}<ref>{{cite web |title = पहचान करना|url = http://www.maplesoft.com/support/help/Maple/view.aspx?path=पहचान करना|work = Maple Online Help |publisher = Maplesoft |access-date = 30 April 2012 }}</ref> और [[सिम्पी]],<ref>{{cite web |title = संख्या पहचान|url = http://docs.sympy.org/0.7.1/modules/mpmath/identification.html |work = SymPy documentation |access-date = 2016-12-01 |archive-date = 2018-07-06 |archive-url = https://web.archive.org/web/20180706114117/http://docs.sympy.org/0.7.1/modules/mpmath/identification.html |url-status = dead }}</ref> प्लॉफ़े का व्युत्क्रम,<ref>{{cite web |title = प्लॉफ़े का इन्वर्टर|url = http://pi.lacim.uqam.ca/eng/server_en.html |access-date = 30 April 2012 |archive-url = https://web.archive.org/web/20120419132713/http://pi.lacim.uqam.ca/eng/server_en.html |archive-date = 19 April 2012 |url-status = dead }}</ref> और व्युत्क्रम प्रतीकात्मक संगणक आदि।<ref>{{cite web |title = उलटा प्रतीकात्मक कैलकुलेटर|url = http://oldweb.cecm.sfu.ca/projects/ISC/ |access-date = 30 April 2012 |url-status = dead |archive-url = https://web.archive.org/web/20120329145758/http://oldweb.cecm.sfu.ca/projects/ISC/ |archive-date = 29 March 2012 }}</ref>


==यह भी देखें==

* {{annotated link|बीजगणितीय समाधान}}
* {{annotated link|कंप्यूटर अनुकरण}}
* {{annotated link|प्राथमिक फलन }}
* {{annotated link|परिमितीय संक्रिया}}
* {{annotated link|संख्यात्मक समाधान}}
* {{annotated link|लिउविलियन फलन}}
* {{annotated link|प्रतीकात्मक प्रतिगमन}}
* {{annotated link|टार्स्की की हाई स्कूल बीजगणित समस्या}}
* {{annotated link|पद (तर्क)}}
* {{annotated link|ट्यूपर का स्व-संदर्भित सूत्र}}

==संदर्भ==
{{reflist}}


== अग्रिम पठन ==
* {{ Citation | title = Integration in finite terms | last = Ritt | first = J. F. | author-link = Joseph Ritt | year = 1948 }}
* {{Citation | title = What is a Closed-Form Number? | first = Timothy Y. | last = Chow | volume = 106 | number = 5 | pages = 440–448 | jstor = 2589148 | journal = [[American Mathematical Monthly]] |date=May 1999 | doi=10.2307/2589148| arxiv = math/9805045 }}
* {{Citation | title = Closed Forms: What They Are and Why We Care | author = Jonathan M. Borwein and Richard E. Crandall | volume = 60 | number = 1 | pages = 50–65 | journal = [[Notices of the American Mathematical Society]] | date = January 2013 | doi= 10.1090/noti936| doi-access = free }}


== बाहरी संबंध ==
* {{MathWorld | urlname = Closed-FormSolution | title = Closed-Form Solution}}
* [https://www.nature.com/articles/s42256-022-00556-7 Closed-form continuous-time neural networks]

{{DEFAULTSORT:Closed-Form Expression}}

[[Category:Articles with hatnote templates targeting a nonexistent page|Closed-Form Expression]]
[[Category:CS1 errors]]
[[Category:Created On 05/07/2023|Closed-Form Expression]]
[[Category:Lua-based templates|Closed-Form Expression]]
[[Category:Machine Translated Page|Closed-Form Expression]]
[[Category:Missing redirects|Closed-Form Expression]]
[[Category:Pages with script errors|Closed-Form Expression]]
[[Category:Templates Vigyan Ready|Closed-Form Expression]]
[[Category:Templates that add a tracking category|Closed-Form Expression]]
[[Category:Templates that generate short descriptions|Closed-Form Expression]]
[[Category:Templates using TemplateData|Closed-Form Expression]]
[[Category:बीजगणित|Closed-Form Expression]]
[[Category:विशेष कार्य|Closed-Form Expression]]