C0-सेमीग्रुप: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 93: Line 93:


=== अलग-अलग अर्धसमूह ===
=== अलग-अलग अर्धसमूह ===
एक दृढ़ता से निरंतर सेमीग्रुप टी को 'अंततः अलग-अलग' कहा जाता है यदि मौजूद है {{math|''t''<sub>0</sub>&nbsp;>&nbsp;0}} ऐसा है कि {{math|''T''(''t''<sub>0</sub>)''X''⊂''D''(''A'')}} (समतुल्य: {{math|''T''(''t'')''X'' ⊂ ''D''(''A'')}} सभी के लिए {{math|''t''&nbsp;≥&nbsp;''t''<sub>0</sub>)}} और T 'तत्काल अवकलनीय' है यदि {{math|''T''(''t'')''X''&nbsp;⊂&nbsp;''D''(''A'')}} सभी के लिए {{math|''t''&nbsp;>&nbsp;0}}.
एक दृढ़ता से निरंतर टी को 'अंततः अलग-अलग' कहा जाता है यदि मौजूद है {{math|''t''<sub>0</sub>&nbsp;>&nbsp;0}} ऐसा है कि {{math|''T''(''t''<sub>0</sub>)''X''⊂''D''(''A'')}} (समतुल्य: {{math|''T''(''t'')''X'' ⊂ ''D''(''A'')}} सभी के लिए {{math|''t''&nbsp;≥&nbsp;''t''<sub>0</sub>)}} और T 'तत्काल अवकलनीय' है यदि {{math|''T''(''t'')''X''&nbsp;⊂&nbsp;''D''(''A'')}} सभी के लिए {{math|''t''&nbsp;>&nbsp;0}}.


हर विश्लेषणात्मक अर्धसमूह तुरंत अलग-अलग होता है।
हर विश्लेषणात्मक अर्धसमूह तुरंत अलग-अलग होता है।

Revision as of 09:46, 15 December 2022


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

औपचारिक रूप से एक दृढ़ता से निरंतर अर्धसमूह सेमीग्रुप (आर+,+) कुछ बनच रिक्त स्थान एक्स पर, जो मजबूत संचालक सीन विज्ञान में, निरंतर है। इस प्रकार कठोरता से बोलना एक दृढ़ता से निरंतर अर्धसमूह एक अर्धसमूह नहीं है, बल्कि एक विशेष अर्धसमूह का निरंतर प्रतिनिधित्व है।

औपचारिक परिभाषा

बनच स्थान पर एक दृढ़ता से निरंतर अर्धसमूह एक प्रारूप है जो ऐसा है कि

  1. ,   (पहचान संचालक चालू )
  2. , जैसा .

पहले दो स्वयंसिद्ध बीजगणितीय हैं और यह बताएं अर्धसमूह का प्रतिनिधित्व है अंतिम है और बताता है कि मजबूत संचालक सीन विज्ञान में निरंतरता है।

अनंत डायनमो

दृढ़ता से निरंतर अर्धसमूह टी के अत्यल्प डायनमो द्वारा परिभाषित किया गया है:

A, D(A) का प्रांत x∈X का समुच्चय है और जिसके लिए यह सीमा स्थित है; डी (ए) एक रैखिक उपसमष्टि है और ए इस पर रैखिक कार्यक्षेत्र है।[1]बंद संचालक है, चूंकि आवश्यक रूप से बाध्य नहीं है और कार्यक्षेत्र एक्स में सघन है।[2] ए के साथ दृढ़ता से निरंतर अर्धसमूह टी को अधिकांशतः प्रतीक द्वारा दर्शाया जाता है (या समकक्ष ). यह संकेतन मैट्रिक्स घातीय के लिए और कार्यात्मक कलन (उदाहरण के लिए वर्णक्रमीय प्रमेय के माध्यम से) के माध्यम से परिभाषित एक के कार्यों के लिए संगत है।

समान रूप से निरंतर अर्धसमूह

एक समान रूप से निरंतर अर्धसमूह एक दृढ़ता से निरंतर अर्धसमूह टी है जैसे कि

रखती है। इस स्थिति में T का अत्यल्प डायनमो A परिबद्ध है और हमारे पास है

तथा

इसके विपरीत कोई बाध्य संचालक

द्वारा दिए गए समान रूप से निरंतर अर्धसमूह का अतिसूक्ष्म है

.

इस प्रकार एक रैखिक संकारक A एक समान रूप से निरंतर अर्धसमूह का अतिसूक्ष्म डायनमो है यदि और केवल यदि A एक परिबद्ध रैखिक संचालिका है।[3] यदि X एक परिमित-आयामी बैनच स्थान है, तो कोई भी दृढ़ता से निरंतर अर्धसमूह एक समान रूप से निरंतर अर्धसमूह है। एक दृढ़ता से निरंतर अर्धसमूह के लिए जो एक समान रूप से निरंतर अर्धसमूह नहीं है और अत्यल्प A बाध्य नहीं है। इस में जुटने की आवश्यकता नहीं है।

उदाहरण

गुणन अर्धसमूह

बनच स्थान पर विचार करें अधिमान से संपन्न . होने देना के साथ एक सतत कार्य करें . परिचालक डोमेन के साथ एक बंद सघन रूप से परिभाषित अर्धसमूह है और गुणन कार्यक्षेत्र अर्धसमूह उत्पन्न करता है कहाँ पे गुणन संचालकों को विकर्ण मैट्रिक्स के अनंत आयामी सामान्यीकरण और बहुत सारे गुणों के रूप में देखा जा सकता है, के गुणों से प्राप्त किया जा सकता है . उदाहरण के लिए पर आबद्ध है और केवल घिरा है।[4]


अनुवाद सेमीग्रुप

अधिमान से संपन्न बंधी हुई जगह हो, जो एक समान निरंतरता कार्य करती है । (बाएं) अनुवाद अर्धसमूह द्वारा दिया गया है .

इसका जनक व्युत्पन्न है के साथ .[5]


सार कॉची समस्याएं

सार कॉची समस्या पर विचार करें:

जहां ए बनच रिक्त एक्स कार्यक्षेत्र और x∈X पर एक बंद है। इस समस्या के समाधान की दो अवधारणाएँ हैं:

  • एक सतत अवकलनीय फलन u:[0,∞)→X को कॉची समस्या का 'शास्त्रीय समाधान' कहा जाता है यदि u(t) ∈ D(A) सभी t > 0 के लिए और यह प्रारंभिक मूल्य समस्या को संतुष्ट करता है,
  • एक सतत फलन u:[0,∞) → X को कॉची समस्या का 'हल्का समाधान' कहा जाता है यदि

एक हल्का समाधान एक शास्त्रीय समाधान है और अगर यह लगातार भिन्न होता है।[6] निम्नलिखित प्रमेय सार कॉची समस्याओं और दृढ़ता से निरंतर अर्धसमूहों को जोड़ता है।

प्रमेय[7]बता दें कि 'ए' एक बैनच 'एक्स' पर एक बंद ऑपरेटर है। निम्नलिखित दावे समतुल्य हैं:

  1. सभी xX के लिए सार कॉची समस्या का एक अनूठा हल्का समाधान मौजूद है,
  2. ऑपरेटर 'ए' एक जोरदार निरंतर अर्धसमूह उत्पन्न करता है,
  3. A का विलायक सेट खाली नहीं है और सभी xD(A) के लिए कॉची समस्या का एक अनूठा शास्त्रीय समाधान मौजूद है।

जब ये दावे मान्य होते हैं तो कॉची समस्या का समाधान u(t) = T(t)x के साथ T द्वारा दिया जाता है 'ए' द्वारा उत्पन्न दृढ़ता से निरंतर अर्धसमूह।

पीढ़ी प्रमेय

कॉची समस्याओं के संबंध में सामान्यतः पर एक रैखिक संकारक A दिया जाता है और प्रश्न यह है कि क्या यह एक प्रबल सतत अर्धसमूह का जनक है। प्रमेय जो इस प्रश्न का उत्तर देते हैं उन्हें 'पीढ़ी प्रमेय' कहा जाता है। हिले-योसिडा प्रमेय द्वारा दृढ़ता से निरंतर अर्धसमूह उत्पन्न करने वाले का एक पूर्ण लक्षण वर्णन दिया गया है। चूंकि अधिक व्यावहारिक महत्व लुमर-फिलिप्स प्रमेय द्वारा दी गई शर्तों को सत्यापित करना बहुत आसान है।

सेमीग्रुप्स की विशेष कक्षाएं

समान रूप से निरंतर अर्धसमूह

दृढ़ता से निरंतर अर्धसमूह टी को 'समान रूप से निरंतर' कहा जाता है यदि प्रारूप टी → टी (टी) [0, ∞) से एल (एक्स) तक निरंतर है।

समान रूप से निरंतर अर्धसमूह का डायनमो एक परिबद्ध संचालक है।

विश्लेषणात्मक अर्धसमूह


संकुचन अर्धसमूह


अलग-अलग अर्धसमूह

एक दृढ़ता से निरंतर टी को 'अंततः अलग-अलग' कहा जाता है यदि मौजूद है t0 > 0 ऐसा है कि T(t0)XD(A) (समतुल्य: T(t)XD(A) सभी के लिए t ≥ t0) और T 'तत्काल अवकलनीय' है यदि T(t)X ⊂ D(A) सभी के लिए t > 0.

हर विश्लेषणात्मक अर्धसमूह तुरंत अलग-अलग होता है।

कॉची समस्याओं के संदर्भ में एक समतुल्य विशेषता निम्नलिखित है: ए द्वारा उत्पन्न दृढ़ता से निरंतर अर्धसमूह अंततः भिन्न होता है यदि और केवल तभी मौजूद होता है t1 ≥ 0 ऐसा कि सभी के लिए x ∈ X अमूर्त कौशी समस्या का समाधान u अवकलनीय है (t1, ∞). यदि टी हो तो सेमीग्रुप तुरंत भिन्न होता है1 शून्य चुना जा सकता है।

कॉम्पैक्ट सेमीग्रुप्स

एक दृढ़ता से निरंतर सेमीग्रुप टी को 'अंततः कॉम्पैक्ट' कहा जाता है यदि कोई टी मौजूद है0> 0 ऐसा कि टी(टी0) एक कॉम्पैक्ट ऑपरेटर है (समकक्ष[8] अगर टी(टी) सभी टी ≥ टी के लिए एक कॉम्पैक्ट ऑपरेटर है0) . अगर T(t) सभी t > 0 के लिए एक कॉम्पैक्ट ऑपरेटर है, तो सेमीग्रुप को तुरंत कॉम्पैक्ट कहा जाता है।

सामान्य निरंतर अर्धसमूह

यदि एक 'टी' मौजूद है तो एक दृढ़ता से निरंतर अर्धसमूह को अंततः आदर्श निरंतर कहा जाता है0≥ 0 ऐसा कि नक्शा t → T(t) से निरंतर है (टी0, ∞) से एल(एक्स)। अर्धसमूह को 'तत्काल मानक निरंतर' कहा जाता है यदि टी0 शून्य चुना जा सकता है।

ध्यान दें कि तत्काल मानक निरंतर सेमीग्रुप के लिए मैप t→ T(t) t = 0 में निरंतर नहीं हो सकता है (जो सेमीग्रुप को समान रूप से निरंतर बना देगा)।

विश्लेषणात्मक सेमीग्रुप्स, (अंततः) डिफरेंशियल सेमीग्रुप्स और (अंततः) कॉम्पैक्ट सेमीग्रुप्स सभी अंततः मानक निरंतर हैं।[9]


स्थिरता

घातीय स्थिरता

सेमीग्रुप T का विकास स्थिरांक है

इसे इसलिए कहा जाता है क्योंकि यह संख्या सभी वास्तविक संख्याओं ω से भी कम होती है जैसे कि एक स्थिरांक M (≥ 1) मौजूद होता है

सभी टी ≥ 0 के लिए।

निम्नलिखित समतुल्य हैं:[10]

  1. मौजूद M,ω>0 ऐसा है कि सभी t ≥ 0 के लिए:
  2. विकास की सीमा ऋणात्मक है: ω0<0,
  3. सेमीग्रुप वर्दी ऑपरेटर टोपोलॉजी में शून्य में परिवर्तित हो जाता है: ,
  4. वहाँ एक टी मौजूद है0> 0 ऐसा कि ,
  5. वहाँ एक टी मौजूद है1> 0 ऐसा है कि T(t1) 1 से बिल्कुल छोटा है,
  6. एक p ∈ [1, ∞) मौजूद है जैसे कि सभी x∈X के लिए: ,
  7. सभी p ∈ [1, ∞) और सभी x∈ X के लिए:

एक अर्धसमूह जो इन समतुल्य शर्तों को पूरा करता है, उसे घातीय रूप से स्थिर या समान रूप से स्थिर कहा जाता है (उपरोक्त कथनों में से पहले तीन में से किसी एक को साहित्य के कुछ हिस्सों में परिभाषा के रूप में लिया जाता है)। वह एलp स्थितियाँ चरघातांकी स्थिरता के समतुल्य होती हैं जिसे 'डाटको-पाज़ी प्रमेय' कहा जाता है।

यदि X एक हिल्बर्ट अंतरिक्ष है, तो एक और स्थिति है जो जनरेटर के विलायक ऑपरेटर के संदर्भ में घातीय स्थिरता के बराबर है:[11] सकारात्मक वास्तविक भाग वाले सभी λ A के रिज़ॉल्वेंट सेट से संबंधित हैं और रिज़ॉल्वेंट ऑपरेटर समान रूप से दाहिने आधे विमान पर बंधा हुआ है, यानी (λI − A)−1 हार्डी स्पेस से संबंधित है . इसे गियरहार्ट-प्रस प्रमेय कहा जाता है।

एक ऑपरेटर 'ए' की वर्णक्रमीय सीमा स्थिर है

,

इस परंपरा के साथ कि s(A) = −∞ अगर A का स्पेक्ट्रम खाली है।

एक सेमीग्रुप की वृद्धि और उसके जनरेटर की वर्णक्रमीय सीमा से संबंधित हैं:[12] एस (ए) ≤ω0(टी)। उदाहरण हैं[13] जहां एस(ए) < ω0(टी)। यदि s(A) = ω0(टी), तो टी को 'वर्णक्रमीय निर्धारित विकास की स्थिति' को संतुष्ट करने के लिए कहा जाता है। अंततः मानक-निरंतर अर्धसमूह वर्णक्रमीय निर्धारित वृद्धि की स्थिति को संतुष्ट करते हैं।[14] यह इन सेमीग्रुप्स के लिए घातीय स्थिरता का एक और समकक्ष विशेषता देता है:

  • अंततः मानक-निरंतर अर्धसमूह चरघातांकी रूप से स्थिर होता है यदि और केवल यदि s(A) < 0।

ध्यान दें कि अंततः कॉम्पैक्ट, अंततः अलग-अलग, विश्लेषणात्मक और समान रूप से निरंतर सेमिग्रुप अंततः मानक-निरंतर होते हैं ताकि वर्णक्रमीय निर्धारित विकास की स्थिति विशेष रूप से उन सेमीग्रुप के लिए हो।

मजबूत स्थिरता

यदि सभी x ∈ X के लिए एक अत्यधिक निरंतर अर्धसमूह T को 'दृढ़ता से स्थिर' या 'असामयिक रूप से स्थिर' कहा जाता है: .

घातीय स्थिरता का तात्पर्य मजबूत स्थिरता से है, लेकिन अगर एक्स अनंत-आयामी है (यह एक्स परिमित-आयामी के लिए सच है) तो इसका विलोम आम तौर पर सच नहीं है।

मजबूत स्थिरता के लिए निम्नलिखित पर्याप्त स्थिति को 'अरेंड्ट-बैट्टी-ल्यूबिच-फोंग प्रमेय' कहा जाता है:[15][16] मान लो की

  1. T घिरा हुआ है: एक M ≥ 1 ऐसा मौजूद है ,
  2. ए में काल्पनिक अक्ष पर अवशिष्ट स्पेक्ट्रम नहीं है, और
  3. काल्पनिक अक्ष पर स्थित A का स्पेक्ट्रम गणनीय है।

तब T दृढ़ता से स्थिर है।

यदि एक्स रिफ्लेक्सिव है तो स्थितियां सरल हो जाती हैं: यदि टी बाध्य है, ए में काल्पनिक धुरी पर कोई ईजेनवैल्यू नहीं है और काल्पनिक धुरी पर स्थित ए के स्पेक्ट्रम की गणना की जा सकती है, तो टी दृढ़ता से स्थिर है।

यह भी देखें


टिप्पणियाँ

  1. Partington (2004) page 23
  2. Partington (2004) page 24
  3. Pazy, A. (1983), Semigroups of Linear Operators and Applications to Partial Differential Equations, New York: Springer-Verlag, p. 2, ISBN 0-387-90845-5
  4. Klaus-Jochen Engel (2006), A short course on operator semigroups (in German), New York, N.Y.: Springer, pp. 20ff, ISBN 0-387-36619-9{{citation}}: CS1 maint: unrecognized language (link)
  5. Klaus-Jochen Engel (2006), A short course on operator semigroups (in German), New York, N.Y.: Springer, p. 51, ISBN 0-387-36619-9{{citation}}: CS1 maint: unrecognized language (link)
  6. Arendt et al. Proposition 3.1.2
  7. Arendt et al. Theorem 3.1.12
  8. Engel and Nagel Lemma II.4.22
  9. Engel and Nagel (diagram II.4.26)
  10. Engel and Nagel Section V.1.b
  11. Engel and Nagel Theorem V.1.11
  12. Engel and Nagel Proposition IV2.2
  13. Engel and Nagel Section IV.2.7, Luo et al. Example 3.6
  14. Engel and Nagel Corollary 4.3.11
  15. Arendt, Wolfgang; Batty, Charles (1988), "Tauberian theorems and stability of one-parameter semigroups", Transactions of the American Mathematical Society, 306 (2): 837–852, doi:10.1090/S0002-9947-1988-0933321-3
  16. Lyubich, Yu; Phong, Vu Quoc (1988), "Asymptotic stability of linear differential equations in Banach spaces", Studia Mathematica, 88 (1): 37–42, doi:10.4064/sm-88-1-37-42


इस पेज में लापता आंतरिक लिंक की सूची

  • अंक शास्त्र
  • आंशिक विभेदक समीकरण
  • देरी अंतर समीकरण
  • बनच स्थान
  • परिबद्ध संचालिका
  • कार्यात्मक गणना
  • रैखिक ऑपरेटर
  • वर्णक्रमीय त्रिज्या
  • विश्लेषणात्मक अर्धसमूह

संदर्भ

  • E Hille, R S Phillips: Functional Analysis and Semi-Groups. American Mathematical Society, 1975.
  • R F Curtain, H J Zwart: An introduction to infinite dimensional linear systems theory. Springer Verlag, 1995.
  • E.B. Davies: One-parameter semigroups (L.M.S. monographs), Academic Press, 1980, ISBN 0-12-206280-9.
  • Engel, Klaus-Jochen; Nagel, Rainer (2000), One-parameter semigroups for linear evolution equations, Springer
  • Arendt, Wolfgang; Batty, Charles; Hieber, Matthias; Neubrander, Frank (2001), Vector-valued Laplace Transforms and Cauchy Problems, Birkhauser
  • Staffans, Olof (2005), Well-posed linear systems, Cambridge University Press
  • Luo, Zheng-Hua; Guo, Bao-Zhu; Morgul, Omer (1999), Stability and Stabilization of Infinite Dimensional Systems with Applications, Springer
  • Partington, Jonathan R. (2004), Linear operators and linear systems, London Mathematical Society Student Texts, Cambridge University Press, ISBN 0-521-54619-2