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

Latest revision as of 11:49, 12 January 2023

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

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

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

बनच स्थान पर एक दृढ़ता से निरंतर अर्धसमूह $X$ एक प्रारूप है $T:\mathbb {R} _{+}\to L(X)$ जो ऐसा है कि

$T(0)=I$ , (पहचान संचालक $X$ पर)
$\forall t,s\geq 0:\ T(t+s)=T(t)T(s)$
$\forall x_{0}\in X:\ \|T(t)x_{0}-x_{0}\|\to 0$ , जैसा $t\downarrow 0$ .

पहले दो स्वयंसिद्ध बीजगणितीय हैं और यह बताया गया है कि $T$ अर्धसमूह का प्रतिनिधित्व है और ${(\mathbb {R} _{+},+)}$ अंतिम है और बताता है कि $T$ मजबूत संचालक सीन विज्ञान में निरंतरता है।

अनंत डायनमो

सी ओ सेमीग्रुप में एक अनंत डायनमो को निश्चित रूप से निरंतर डायनमो द्वारा परिभाषित किया गया है:

A\,x=\lim _{t\downarrow 0}{\frac {1}{t}}\,(T(t)-I)\,x

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

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

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

\lim _{t\to 0^{+}}\|T(t)-I\|=0

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

{\mathcal {D}}(A)=X

तथा

T(t)=e^{At}:=\sum _{k=0}^{\infty }{\frac {A^{k}}{k!}}t^{k}.

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

A\colon X\to X

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

T(t):=e^{At}

.

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

उदाहरण

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

बनच स्थान पर विचार करें $C_{0}(\mathbb {R} ):=\{f:\mathbb {R} \rightarrow \mathbb {C} {\text{ continuous}}:\forall \epsilon >0~\exists c>0{\text{ such that }}\vert f(x)\vert \leq \epsilon ~\forall x\in \mathbb {R} \setminus [-c,c]\}$ अधिमान से संपन्न $\Vert f\Vert :={\text{sup}}_{x\in \mathbb {R} }\vert f(x)\vert$ . होने देना $q:\mathbb {R} \rightarrow \mathbb {C}$ के साथ एक सतत कार्य करें ${\text{sup}}_{s\in \mathbb {R} }{\text{Re}}(q(s))<\infty$ . परिचालक $M_{q}f:=q\cdot f$ कार्यक्षेत्र के साथ $D(M_{q}):=\{f\in C_{0}(\mathbb {R} ):q\cdot f\in C_{0}(\mathbb {R} )\}$ एक बंद सघन रूप से परिभाषित अर्धसमूह है और गुणन कार्यक्षेत्र अर्धसमूह उत्पन्न करता है $(T_{q}(t))_{t\geq 0}$ कहाँ पे $T_{q}(t)f:=\mathrm {e} ^{qt}f.$ गुणन संचालकों को विकर्ण मैट्रिक्स के अनंत आयामी सामान्यीकरण और बहुत सारे गुणों के रूप में देखा जा सकता है, $M_{q}$ के गुणों से प्राप्त किया जा सकता है $q$ . उदाहरण के लिए $M_{q}$ पर आबद्ध है $C_{0}(\mathbb {R)}$ और केवल $q$ घिरा है।^[4]

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

$\mathbb {R}$ अधिमान से संपन्न $C_{ub}(\mathbb {R} )$ बंधी हुई जगह हो, जो एक समान निरंतरता कार्य करती है । (बाएं) अनुवाद अर्धसमूह $(T_{l}(t))_{t\geq 0}$ द्वारा दिया गया है $T_{l}(t)f(s):=f(s+t)\quad s,t\in \mathbb {R}$ .

इसका जनक व्युत्पन्न है $Af:=f'$ के सा $D(A):=\{f\in C_{ub}(\mathbb {R} ):f{\text{ differentiable with }}f'\in C_{ub}(\mathbb {R} )\}$ थ .^[5]

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

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

u'(t)=Au(t),~~~u(0)=x,

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

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

\int _{0}^{t}u(s)\,ds\in D(A){\text{ and }}A\int _{0}^{t}u(s)\,ds=u(t)-x.

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

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

सभी x∈X के लिए सार कॉची समस्या का एक अनूठा हल्का समाधान मौजूद है,
ऑपरेटर 'A' एक जोरदार निरंतर अर्धसमूह उत्पन्न करता है,
A का विलायक सेट खाली नहीं है और सभी x ∈ D(A) के लिए कॉची समस्या का एक अनूठा मौलिक समाधान उपस्थित है।

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

पीढ़ी प्रमेय

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

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

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

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

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

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

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

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

एक दृढ़ता से निरंतर अर्धसमूह T को 'अंततः अलग-अलग' कहा जाता है। यदि डायनमो उपस्थित है तो $t 0 > 0$ , ऐसा है कि $T (t 0) X \subset D (A)$ (समतुल्य: $T (t) X \subset D (A)$ सभी के लिए $t \geq t 0)$ और T 'नियमित अवकलनीय' है, यदि $T (t) X \subset D (A)$ सभी के लिए $t > 0$ .

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

कॉची समस्याओं के संदर्भ में एक समतुल्य विशेषता निम्नलिखित है: A द्वारा उत्पन्न दृढ़ता से निरंतर अर्धसमूह अंततः भिन्न होता है। यदि केवल तभी उपस्थित होता है $t 1 \geq 0$ ऐसा कि सभी के लिए $x \in X$ अमूर्त कौशी समस्या का समाधान u अवकलनीय है $(t 1, \infty)$ . यदि t₁ हो तो तुरंत भिन्न होता है, तो शून्य चुना जा सकता है।

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

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

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

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

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

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

स्थिरता

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

अर्धसमूह T का विकास स्थिरांक है

\omega _{0}=\inf _{t>0}{\frac {1}{t}}\log \|T(t)\|.

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

\|T(t)\|\leq Me^{\omega t}

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

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

स्थित M,ω>0 ऐसा है कि सभी t ≥ 0 के लिए: $\|T(t)\|\leq M{\rm {e}}^{-\omega t},$
विकास की सीमा ऋणात्मक है: ω₀<0,
सेमीग्रुप वर्दी संचालक घातीय प्रकार्य में शून्य में परिवर्तित हो जाता है: $\lim _{t\to \infty }\|T(t)\|=0$ ,
वहाँ एक T उपस्थित है₀> 0 ऐसा कि $\|T(t_{0})\|<1$ ,
वहाँ एक T उपस्थित है₁> 0 ऐसा है कि T(t₁) 1 से बिल्कुल छोटा है,
एक p ∈ [1, ∞) स्थित है, जैसे कि सभी x∈X के लिए: $\int _{0}^{\infty }\|T(t)x\|^{p}\,dt<\infty$ ,
सभी p ∈ [1, ∞) और सभी x∈ X के लिए: $\int _{0}^{\infty }\|T(t)x\|^{p}\,dt<\infty .$

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

यदि X एक हिल्बर्ट अंतरिक्ष है, तो एक और स्थिति है, जो अर्धसमूह के विलायक अर्धचालक के संदर्भ में घातीय स्थिरता के बराबर है:^[10] धनात्मक वास्तविक भाग वाले सभी λ A के रिज़ॉल्वेंट सेट से संबंधित हैं और रिज़ॉल्वेंट(विश्लेषक) संचालक समान रूप से दायीं आधी सतह पर बंधा हुआ है, अर्थात (λI − A)⁻¹ हार्डी स्पेस से संबंधित है $H^{\infty }(\mathbb {C} _{+};L(X))$ । इसे गियरहार्ट-प्रस प्रमेय कहा जाता है।

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

s(A):=\sup\{{\rm {Re}}\,\lambda :\lambda \in \sigma (A)\}

,

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

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

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

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

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

यदि सभी x ∈ X के लिए एक अत्यधिक निरंतर अर्धसमूह T को 'दृढ़ता से स्थिर' या 'असामयिक रूप से स्थिर' कहा जाता है: $\lim _{t\to \infty }\|T(t)x\|=0$ .

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

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

T घिरा हुआ है: एक M ≥ 1 ऐसा उपस्थित है $\|T(t)\|\leq M$ ,
A में काल्पनिक अक्ष पर अवशिष्ट स्पेक्ट्रम नहीं है, और
काल्पनिक अक्ष पर स्थित A का स्पेक्ट्रम गणनीय है।

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

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

यह भी देखें

हिल-योसिडा प्रमेय
लुमर-फिलिप्स प्रमेय
ट्रॉटर-काटो प्रमेय
विश्लेषणात्मक सेमीग्रुप
संकुचन अर्धसमूह
मैट्रिक्स एक्सपोनेंशियल
संचालकों का मजबूत निरंतर परिवार
सार अंतर समीकरण

↑ Partington (2004) page 23
↑ Partington (2004) page 24
↑ Pazy, A. (1983), Semigroups of Linear Operators and Applications to Partial Differential Equations, New York: Springer-Verlag, p. 2, ISBN 0-387-90845-5
↑ 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)
↑ 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)
↑ Arendt et al. Proposition 3.1.2
↑ Arendt et al. Theorem 3.1.12
↑ Engel and Nagel (diagram II.4.26)
↑ Engel and Nagel Section V.1.b
↑ Engel and Nagel Theorem V.1.11
↑ Engel and Nagel Proposition IV2.2
↑ Engel and Nagel Section IV.2.7, Luo et al. Example 3.6
↑ Engel and Nagel Corollary 4.3.11

संदर्भ

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

[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 (diagram II.4.26)

[9] Engel and Nagel Section V.1.b

[10] Engel and Nagel Theorem V.1.11

[11] Engel and Nagel Proposition IV2.2

[12] Engel and Nagel Section IV.2.7, Luo et al. Example 3.6

[13] Engel and Nagel Corollary 4.3.11

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 11:49, 12 January 2023

Contents

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

अनंत डायनमो

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