विश्वविद्यालय गणित — स्नातक वर्ष 2 · Bachelor Year 2
15अवकल कलन
प्रथम वर्ष के खंड का दो-चर कलन यहाँ मानदंडित समष्टियों के बीच प्रतिचित्रणों के अवकल कलन में परिपक्व होता है: सर्वोत्तम रैखिक सन्निकटन के रूप में अवकल, पूरी व्यापकता में शृंखला नियम, सिद्ध की गई श्वार्ज़ की सममिति प्रमेय, टेलर सूत्र, और चरम मानों का पूरा द्वितीय-कोटि विश्लेषण। और सिद्धांत का मुकुट, प्रतिलोम फलन प्रमेय, अपनी उपपत्ति-रणनीति — बानाख अचल बिंदु — को स्पष्ट करते हुए कहा गया है।
आगे सर्वत्र URn (अथवा किसी मानदंडित समष्टि; परिमित-विमीय स्थिति सारे विचार उठा लेती है) का कोई विवृत उपसमुच्चय है, f:U→Rm।
15.1 अवकल
परिभाषा 15.1
fa पर अवकलनीय कहलाता है जब कोई (संतत) रैखिक प्रतिचित्रण dfa:Rn→Rm ऐसा हो कि
f(a+h)=f(a)+dfa(h)+o(∥h∥)(h→0).
प्रतिचित्रण dfa, अर्थात् a पर f का अवकल, अद्वितीय होता है; और विहित आधारों में उसका आव्यूह याकोबी आव्यूहJf(a)=(∂xj∂fi(a)) है। अवकलनीयता से संततता तथा सभी दिशिक अवकलजों dfa(v)=limt→0tf(a+tv)−f(a) का अस्तित्व निकलता है; पर विलोम विफल है (अभ्यास 15.2)। m=1 के लिए dfa(h)=⟨∇f(a),h⟩: अर्थात् प्रथम वर्ष का प्रवणक, अब अवकल को निरूपित करने वाले सदिश के रूप में समझा हुआ।
प्रमेय 15.2(C1 कसौटी)
यदि f के सारे आंशिक अवकलज U पर विद्यमान हों और a पर संतत हों, तो fa पर अवकलनीय है। अतः “U पर C1” — अर्थात् संतत आंशिक अवकलज — से सर्वत्र अवकलनीयता निकलती है, संततअवकल के साथ।
उपपत्ति. घटक-दर-घटक (m=1 पर्याप्त है)। दो चरों के लिए प्रथम वर्ष की उपपत्ति — एक-एक निर्देशांक बदलिए, हर पैर पर एक-चर मध्यमान प्रमेय लगाइए, और a पर आंशिक अवकलजों की संततता का उपयोग कीजिए — n पैरों तक अक्षरशः सामान्यीकृत हो जाती है:
जहाँ h(j)h के पहले j निर्देशांक जमा देता है और ξjj-वें पैर पर पड़ता है; और संततता हर ∂xj∂f(ξj) को ∂xj∂f(a)+o(1) बना देती है, तथा त्रुटि o(∥h∥) रह जाती है। ∎
प्रमेय 15.3(शृंखला नियम)
यदि fa पर अवकलनीय हो और gf(a) पर, तो g∘fa पर अवकलनीय है और
d(g∘f)a=dgf(a)∘dfa,Jg∘f(a)=Jg(f(a))Jf(a):
अर्थात् याकोबी गुणा हो जाते हैं।
उपपत्ति.f(a+h)=f(a)+dfa(h)+∥h∥ε1(h) और b=f(a), k=k(h)=dfa(h)+∥h∥ε1(h) के साथ g(b+k)=g(b)+dgb(k)+∥k∥ε2(k) लिखिए। प्रतिस्थापित करने पर,
और दोनों त्रुटि-पद o(∥h∥) हैं: पहला इसलिए कि dgbसंतत है और ε1→0; और दूसरा इसलिए कि ∥k∥≤C∥h∥ (परिबद्ध रैखिक प्रतिचित्रण जमा छोटा पद) और h→0 होने पर ε2(k)→0। ∎
उदाहरण 15.4(त्रिज्यीय फलन, एक बार में सदा के लिए)
Rn∖{0} पर r(x)=∥x∥2 लीजिए और f=g∘r लीजिए, जहाँ g एक चर का C1 फलन है। पहले, r0 से दूर अवकलनीय है: r2=∑xi2 से
∂xi∂r=rxi,अर्थात्∇r(x)=∥x∥x,
अर्थात् इकाई त्रिज्यीय सदिश (r2 का अवकलन करके भाग दीजिए — अथवा ⋅ पर शृंखला नियम लगाइए)। फिर शृंखला नियम हर त्रिज्यीय फलन के लिए देता है
∇f(x)=g′(∥x∥)∥x∥x.
किया हुआ उदाहरण: g(r)=r1∇∥x∥1=−∥x∥3x देता है, अर्थात् गुरुत्वाकर्षण और स्थिरवैद्युतिकी का प्रतिलोम-वर्ग क्षेत्र — दिशा त्रिज्यीय, परिमाण ∥x∥21। समापन दृष्टि: त्रिज्यीय फलनों के प्रवणक इसलिए त्रिज्यीय होते हैं कि उनके स्तर समुच्चय गोले हैं और प्रवणक स्तर समुच्चयों के लांबिक होता है; इसके विपरीत x=0 पर rअवकलनीयनहीं है (कोई भी उम्मीदवार रैखिक प्रतिचित्रण सभी दिशाओं से ∥h∥ से मेल नहीं खाता) — मूल बिंदु को शालीनता से पार करने के लिए त्रिज्यीय परिच्छेदिकाओं को g′(0)=0 चाहिए।
प्रमेय 15.5(मध्यमान असमिका)
मान लीजिए fU पर अवकलनीय है और खंड [a,b]={a+t(b−a)}U में पड़ता है। तब
∥f(b)−f(a)∥≤∥b−a∥x∈[a,b]sup∣∣∣dfx∣∣∣.
विशेष रूप से, किसी संबद्धविवृत समुच्चय पर शून्य अवकल वाला अवकलनीय प्रतिचित्रण अचर होता है।
उपपत्ति. फलन φ(t)=f(a+t(b−a))[0,1] पर अवकलनीय है और φ′(t)=dfa+t(b−a)(b−a) (शृंखला नियम), जिसका मानदंड≤M∥b−a∥ है जहाँ M वही प्रदर्शित उच्चतम है। R-मान वाले f के लिए एक-चर मध्यमान असमिका निष्कर्ष दे देती है; और सदिश मानों के लिए उसे t↦⟨u,φ(t)⟩ पर लगाइए, जहाँ uf(b)−f(a) के अनुदिश इकाई सदिश है। अचरता: स्थानीय अचरता (गोलों के भीतर खंड) और संबद्धता (जिस समुच्चय पर f किसी दिए हुए मान के बराबर है वह विवृत भी है और संवृत भी: अध्याय 4)। ∎
उदाहरण 15.6(मध्यमान असमिका से एक लिप्शिट्स अचर)
क्या f(x,y)=sinxsinyR2 पर लिप्शिट्स है, और किस अचर के साथ? उसका प्रवणक ∇f=(cosxsiny,sinxcosy) है, जिसका वर्ग-मानदंड
cos2xsin2y+sin2xcos2y≤sin2y+cos2y⋅1=1
है (cos2x और sin2x को अलग-अलग 1 से परिबद्ध कीजिए), अतः सर्वत्र df(x,y)=∥∇f∥≤1; और किन्हीं दो बिंदुओं के बीच के खंड पर प्रमेय 15.5 देता है
∣f(b)−f(a)∣≤∥b−a∥2:
अर्थात् f1-लिप्शिट्स है, और अचर तीखा है (मूल बिंदु के पास f(x,2π)=sinx की ढाल 1 है)। समापन दृष्टि: मध्यमान असमिका अवकल के किसी बिंदुवार परिबंध को संततता के वैश्विक मापांक में बदल देती है — और हर विमा में लिप्शिट्स आकलनों का यही मानक रास्ता है, तथा अभ्यास 15.12 के भीतर का इंजन भी।
15.2 द्वितीय अवकलज
प्रमेय 15.7(श्वार्ज़)
यदि fU पर C2 हो (अर्थात् सारे द्वितीय आंशिक अवकलज विद्यमान और संतत हों), तो सभी i,j के लिए:
∂xi∂xj∂2f=∂xj∂xi∂2f.
उपपत्ति. दो चर पर्याप्त हैं (x=xi, y=xj, शेष जमे हुए)। द्वितीय अंतर
Δ(h)=f(a+h,b+h)−f(a+h,b)−f(a,b+h)+f(a,b).
लीजिए। h स्थिर कीजिए और φ(x)=f(x,b+h)−f(x,b) रखिए: तब Δ(h)=φ(a+h)−φ(a), और मध्यमान प्रमेय के दो प्रयोग
देते हैं, जहाँ ξ∈(a,a+h), η∈(b,b+h)। संततता से h→0 होने पर h2Δ(h)→∂y∂x∂2f(a,b)। और चरों की भूमिकाएँ बदलकर वही परिकलन (पहले दूसरा चर जमाइए) h2Δ(h)→∂x∂y∂2f(a,b) देता है: अर्थात् एक ही राशि की दोनों सीमाएँ मेल खाती हैं। ∎
उदाहरण 15.8(C2 क्यों चाहिए: पियानो का प्रतिउदाहरण)
f(x,y)=x2+y2xy(x2−y2), f(0,0)=0 लीजिए। मूल बिंदु से दूर fC∞ है; और मूल बिंदु पर सारे प्रथम तथा द्वितीय आंशिक अवकलज विद्यमान हैं, पर मिश्रित अवकलज असहमत हैं। अक्षों के अनुदिश परिकलन कीजिए: f(x,0)=f(0,y)=0, और y=0 के लिए
अर्थात् दोनों मिश्रित आंशिक अवकलज विद्यमान हैं और भिन्न हैं। प्रमेय 15.7 के साथ कोई विरोधाभास नहीं: f के द्वितीय आंशिक अवकलज 0 पर संतत नहीं हैं (y=tx के अनुदिश जाँचिए)। समापन दृष्टि: श्वार्ज़ की प्रमेय संततता के बारे में सच्ची प्रमेय है, कोई औपचारिक सर्वसमिका नहीं — और नीचे टेलर–यंग में परिकल्पना “C2” असली काम कर रही है।
प्रमेय 15.9(कोटि 2 पर टेलर–यंग)
मान लीजिए f:U→RC2 है और a∈U। तब h→0 होने पर
f(a+h)=f(a)+⟨∇f(a),h⟩+21⟨Hah,h⟩+o(∥h∥2),
जहाँ Ha=(∂xi∂xj∂2f(a))हेस्सियन आव्यूह है (जो श्वार्ज़ से सममित है)।
उपपत्ति.[0,1] पर φ(t)=f(a+th) पर एक-चर टेलर–यंग प्रमेय (प्रथम वर्ष का खंड) लगाइए: शृंखला नियम से φ′(t)=⟨∇f(a+th),h⟩ और φ′′(t)=⟨Ha+thh,h⟩, और दोनों t में संतत हैं। तब θ∈(0,1) के साथ φ(1)=φ(0)+φ′(0)+21φ′′(θ) (टेलर–लाग्रांज), और द्वितीय आंशिक अवकलजों की संततता φ′′(θ)=φ′′(0)+o(1)⋅∥h∥2-एकसमान रूप में बदल देती है: यही प्रदर्शित प्रसार है। ∎
उदाहरण 15.10(एक प्रसार, दो तरह से)
f(x,y)=excosy का मूल बिंदु पर कोटि 2 तक प्रसार कीजिए। एक-चर प्रसारों के संयोजन से:
आंशिक अवकलजों से:fx=excosy, fy=−exsiny, अतः ∇f(0)=(1,0); और fxx=f, fyy=−f, fxy=−exsiny से H0=diag(1,−1): अर्थात् प्रमेय 15.91+x+21(x2−y2) को पुनः उत्पन्न कर देता है। दोनों परिकलन सहमत हैं, और संयोजन वाला रास्ता तेज़ था — कोई द्वितीय आंशिक अवकलज लगा ही नहीं। समापन दृष्टि: मूल बिंदु क्रांतिक बिंदु नहीं है (∇f=0), अतः अनिश्चित हेस्सियन के बावजूद यहाँ कोई काठी घोषित करने को नहीं है: रैखिक पद ही शासन करता है, और द्वितीय-कोटि जाँच केवल क्रांतिक बिंदुओं पर ही बोलती है।
प्रमेय 15.11(द्वितीय-कोटि चरम-मान जाँच, सिद्ध)
मान लीजिए f किसी क्रांतिक बिंदु a (∇f(a)=0) के पास C2 है, और उसका हेस्सियन H=Ha है।
यदि H धनात्मक निश्चित हो, तो a यथार्थ स्थानीय न्यूनतम है (ऋणात्मक निश्चित: महत्तम)।
यदि H के अभिलक्षणिक मान दोनों चिह्नों के हों, तो a काठी है: कोई चरम मान नहीं।
यदि H अपभ्रष्ट (और अर्धनिश्चित) हो, तो कोई निष्कर्ष नहीं।
प्रथम वर्ष की “rt−s2” जाँच n=2 वाली स्थिति है: detH=rt−s2, और r से tr-चिह्न पढ़ लिया जाता है।
उपपत्ति. वर्णक्रमीय प्रमेय (प्रमेय 12.13) से H का द्विघात रूप उसके चरम अभिलक्षणिक मानों के बीच निचुड़ जाता है: λmin∥h∥2≤⟨Hh,h⟩≤λmax∥h∥2।
(1) यदि λmin>0: तो टेलर–यंग छोटे h=0 के लिए
f(a+h)−f(a)≥2λmin∥h∥2−o(∥h∥2)>0
देता है: अर्थात् यथार्थ स्थानीय न्यूनतम।
(2) λ+>0 वाले किसी अभिलक्षणिक सदिशv+ के अनुदिश: छोटे t के लिए f(a+tv+)−f(a)=2λ+t2+o(t2)>0; और λ−<0 वाले v− के अनुदिश अंतर ऋणात्मक है: अतः हर प्रतिवेश में दोनों चिह्न आते हैं।
(3) f(x,y)=x2+y4, x2−y4, x2+y3 का 0 पर वही अपभ्रष्ट अर्धनिश्चित हेस्सियन है, पर तीन भिन्न व्यवहार। ∎
उदाहरण 15.12(एक पूरा वर्गीकरण, वैश्विक सहित)
R2 पर f(x,y)=x4+y4−4xy के सारे चरम मानों का वर्गीकरण कीजिए। क्रांतिक बिंदु:∇f=(4x3−4y,4y3−4x)=0 से y=x3 और x=y3=x9 मिलते हैं, अतः x(x8−1)=0: और वास्तविक हल (0,0), (1,1), (−1,−1) हैं। हेस्सियन:H=(12x2−4−412y2)। (±1,±1) पर: (12−4−412), अभिलक्षणिक मान8 और 16: अर्थात् धनात्मक निश्चित, यानी f=−2 के साथ यथार्थ स्थानीय न्यूनतम। (0,0) पर: (0−4−40), अभिलक्षणिक मान±4: अर्थात् काठी। वैश्विकता:2∣xy∣≤x2+y2 से
अर्थात् f प्रबल है, अतः वह वैश्विक न्यूनतम प्राप्त करता है (उपस्तर-समुच्चयों की संहतता), और अनिवार्यतः किसी क्रांतिक बिंदु पर: इसलिए मान −2, जो (1,1) तथा (−1,−1) दोनों पर है, वैश्विक न्यूनतम है; और कोई महत्तम नहीं है (f ऊपर से अपरिबद्ध)। समापन दृष्टि: स्थानीय जाँच उम्मीदवारों का वर्गीकरण करती है, पर “स्थानीय” को “वैश्विक” केवल कोई वृद्धि-तर्क बनाता है — और यही इस पुस्तक की हर अनुकूलन-उपपत्ति का दो-चरणी ढर्रा है।
विधि 15.13(f:Rn→R के चरम मानों का वर्गीकरण)
∇f=0 हल कीजिए (सारे क्रांतिक बिंदु; और सीमा वाले प्रांत पर सीमा को अलग से निपटाइए, जैसा अभ्यास 15.7 में)।
हर क्रांतिक बिंदु पर हेस्सियन और उसके अभिलक्षणिक मानों के चिह्न परिकलित कीजिए — विमा 2 में तो बस detH और trH: det<0 काठी; det>0 चरम मान, जिसका प्रकार अनुरेख के चिह्न से मिलता है; और det=0: जाँच चुप है, वक्रों के अनुदिश f का अध्ययन कीजिए।
वैश्विक कथनों के लिए कोई संहतता या प्रबलता वाला तर्क जोड़िए (अनंत पर f→+∞, अथवा कोई संहत प्रतिबंध-समुच्चय), और फिर क्रांतिक मानों की तुलना कीजिए।
15.3 प्रतिलोम फलन प्रमेय
प्रमेय 15.14(प्रतिलोम फलन प्रमेय)
मान लीजिए f:U→RnC1 है और a∈U, जहाँ dfaप्रतिलोमनीय है। तब ऐसे विवृत प्रतिवेश V∋a, W∋f(a) हैं कि f:V→W एकैकी आच्छादक हो और उसका प्रतिलोम C1 हो, तथा
d(f−1)f(x)=(dfx)−1(x∈V).
उपपत्ति.इस स्तर पर स्वीकृत।∎
टिप्पणी 15.15(यह सत्य क्यों है: अचल-बिंदु रणनीति)
a के पास f(x)=y हल करना अचल-बिंदु समीकरण x=x+dfa−1(y−f(x))=:Φy(x) के रूप में लिखा जा सकता है; और प्रतिचित्रण Φy का अवकलid−dfa−1dfx है, जो df की संततता से a के पास छोटा है, अतः Φy किसी छोटे संवृत गोले पर संकुचन है और बानाख अचल बिंदु प्रमेय (प्रमेय 4.12) अद्वितीय स्थानीय हल x=f−1(y) दे देती है। और फिर प्रतिलोम की संततता तथा अवकलनीयता संकुचन के आकलनों से निकल आती हैं। पूरा लेखा-जोखा तृतीय वर्ष में किया गया है; रणनीति — और कथन — अब से खुलकर प्रयुक्त होते हैं। और साथी अंतर्निहित फलन प्रमेय (∂y∂F के प्रतिलोमनीय होने पर y(x) के लिए F(x,y)=0 हल करना) (x,y)↦(x,F(x,y)) पर प्रमेय लगाने से निकल आती है।
उदाहरण 15.16(ध्रुवीय निर्देशांक)
Φ(r,θ)=(rcosθ,rsinθ) का याकोबी
JΦ=(cosθsinθ−rsinθrcosθ),detJΦ=r:
है, जो r=0 के लिए प्रतिलोमनीय है, अतः Φ मूल बिंदु से दूर स्थानीय C1 अवकल समाकृतिकता है — अर्थात् “ध्रुवीय निर्देशांकों में बदलने” का लाइसेंस, जो अध्याय 20 के बहु समाकलों के लिए फिर से नवीनीकृत हुआ।
उदाहरण 15.17(सर्वत्र स्थानीय, कहीं भी वैश्विक नहीं)
R2 पर f(x,y)=(excosy,exsiny) लीजिए। उसका याकोबी,
Jf=(excosyexsiny−exsinyexcosy),detJf=e2x>0,
कभी लुप्त नहीं होता: अतः प्रमेय 15.14 के अनुसार f समतल के प्रत्येक बिंदु पर स्थानीय C1 अवकल समाकृतिकता है। फिर भी f एकैकी होने से बहुत दूर है: f(x,y+2π)=f(x,y), अतः हर मान अपरिमित बार लिया जाता है; और वह आच्छादक भी नहीं है, क्योंकि ∥f(x,y)∥=ex>0 मूल बिंदु छोड़ देता है। समापन दृष्टि: प्रतिलोम फलन प्रमेय अखंडनीय रूप से स्थानीय है — हर dfa की प्रतिलोमनीयता स्थानीय प्रतिलोमों की एक चकत्ती देती है, और उनका किसी एक प्रतिलोम में जुड़ जाना आवश्यक नहीं। (जो पाठक सम्मिश्र संख्याएँ जानते हैं वे z↦ez पहचान लेंगे; और यह चकत्ती लघुगणक की शाखाओं का कुल है।) इसकी तुलना अभ्यास 15.12 से कीजिए, जहाँ कोई परिमाणात्मक वैश्विक परिकल्पना सचमुच एक ही वैश्विक प्रतिलोम को बाध्य कर देती है।
टिप्पणी 15.18(सामान्य भूलें)
(क) दिशिक अवकलज सस्ते हैं, अवकल नहीं: सारे दिशिक अवकलज विद्यमान हो सकते हैं — और दिशा पर रैखिक रूप से निर्भर न भी हों — फिर भी अवकलनीयता न हो (अभ्यास 15.2); केवल C1 कसौटी (प्रमेय 15.2) आंशिक अवकलजों को अवकल तक बढ़ाती है। (ख) क्रांतिक का अर्थ चरम नहीं: काठियाँ (उदाहरण 15.12) और चुप अपभ्रष्ट स्थिति (प्रमेय 15.11 (3)) दोनों ∇f=0 के पीछे छिपी रहती हैं। (ग) सदिश-मान वाली कोई मध्यमान समता नहीं: केवल प्रमेय 15.5 की असमिका बची रहती है (अभ्यास 15.9); Rm, m≥2 में मान लेने वाले f के लिए f(b)−f(a)=dfc(b−a) कभी मत लिखिए। (घ) स्थानीय प्रतिलोमनीयता एकैकीपन नहीं है:उदाहरण 15.17। (ङ) प्रवणक अंतर्गुणन का है:∇f किसी चुने हुए अंतर्गुणन में dfa को निरूपित करने वाला सदिश है; गुणन बदलिए (जैसा द्विघात-रूप अध्याय के भारित उदाहरण में) और प्रवणक घूम जाता है, जबकि अवकल — वह अंतर्निहित वस्तु — टस से मस नहीं होता।
टिप्पणी 15.19(यह कहाँ काम आता है)
इस अध्याय के आगे सब कुछ अवकल कलन का प्रयोग है: अवकल समीकरणों वाला अध्याय प्रवाहों का रैखिकीकरण करता है और ल्यूविल का सारणिक सूत्र काम में लेता है (जो इस अध्याय की सप्ताहांत समस्या में सिद्ध है); वक्रों और पृष्ठों वाले अध्याय स्तर समुच्चयों तथा प्राचलनों का अध्ययन अंतर्निहित फलन प्रमेय के द्वारा करते हैं; और बहु समाकल याकोबियों के द्वारा चर बदलते हैं। सप्ताहांत समस्या स्वयं आव्यूहों की समष्टि पर कलन विकसित करती है — सारणिक का अवकल, प्रतिलोम का अवकल, आव्यूह घातांकी, और किसी चिकने स्तर समुच्चय के रूप में लांबिक समूह — अर्थात् जिसे तृतीय वर्ष का खंड बहुविध और ली समूहों के रूप में औपचारिक बनाता है उसकी द्वितीय वर्ष वाली परछाईं।
15.4 अभ्यास
अभ्यास 15.1★
f(x,y)=(x2−y2,2xy) तथा Φ(r,θ,z)=(rcosθ,rsinθ,z) के याकोबी आव्यूह परिकलित कीजिए; अवकल कहाँ प्रतिलोमनीय हैं?
हल
हल — अभ्यास 15.1.
Jf=(2x2y−2y2x), detJf=4(x2+y2): मूल बिंदु से दूर प्रतिलोमनीय। (यह f सम्मिश्र भेस में z↦z2 है।)
JΦ=cosθsinθ0−rsinθrcosθ0001, det=r: r=0 के लिए प्रतिलोमनीय (बेलनीय निर्देशांक)।
अभ्यास 15.2★
f(0,0)=0 के लिए f(x,y)=x2+y2x3 लीजिए। सिद्ध कीजिए कि 0 पर f के सारे दिशिक अवकलज विद्यमान हैं, परंतु f0 पर अवकलनीय नहीं है (प्रतिचित्रण v↦ दिशिक अवकलज रैखिक नहीं है)।
हल
हल — अभ्यास 15.2.
v=(a,b)=0 के लिए: tf(tv)−0=t⋅t2(a2+b2)t3a3=a2+b2a3: अर्थात् हर दिशिक अवकलज विद्यमान है और उसका मान Dv=a2+b2a3 है। परंतु v↦Dv रैखिक नहीं है (D(1,0)=1, D(0,1)=0, D(1,1)=21=1): कोई भी रैखिक प्रतिचित्रण ये मान नहीं दे सकता, अतः f0 पर अवकलनीय नहीं है (अवकल को v↦Dv होना पड़ता)।
अभ्यास 15.3★
प्रमेय 15.11 के द्वारा f(x,y)=x3+y3−3xy के, तथा g(x,y)=x4+y4−2(x−y)2 के क्रांतिक बिंदु ज्ञात कीजिए और उनका वर्गीकरण कीजिए।
हल
हल — अभ्यास 15.3.
f=x3+y3−3xy: क्रांतिक बिंदु (0,0) और (1,1) (प्रथम वर्ष का परिकलन)। हेस्सियन: H=(6x−3−36y)। (0,0) पर: अभिलक्षणिक चिह्न मिश्रित (det=−9<0): अर्थात् काठी। (1,1) पर: det=27>0, अनुरेख >0: अतः धनात्मक निश्चित, यथार्थ स्थानीय न्यूनतम — और अब यह प्रमेय 15.11 से न्यायोचित है, केवल घोषित नहीं।
g=x4+y4−2(x−y)2: ∇g=(4x3−4(x−y),4y3+4(x−y)); क्रांतिक बिंदु (0,0), (2,−2), (−2,2) (प्रथम वर्ष)। (±2,∓2) पर: H=(12⋅2−44420)=(204420): धनात्मक निश्चित (विकर्ण-प्रधान; अभिलक्षणिक मान24,16): अतः यथार्थ स्थानीय न्यूनतम। और (0,0) पर: H=(−444−4), अपभ्रष्ट ऋणात्मक अर्धनिश्चित: जाँच चुप है; और दिशिक अध्ययन (g(x,x)=2x4>0, छोटा g(x,−x)=2x4−8x2<0) काठी जैसा बिंदु दिखा देता है — अर्थात् कोई चरम मान नहीं।
अभ्यास 15.4★★
मान लीजिए f:Rn→RC1 है और घात p का समघातीय: t>0 के लिए f(tx)=tpf(x)। ऑयलर की सर्वसमिका
⟨∇f(x),x⟩=pf(x),
सिद्ध कीजिए, और Rn∖{0} पर C1 फलनों के लिए उसका विलोम भी।
हल
हल — अभ्यास 15.4.
t=1 पर t↦f(tx) का अवकलन कीजिए: शृंखला नियम से ⟨∇f(x),x⟩; और समघातता से वही फलन tpf(x) है, जिसका t=1 पर अवकलज pf(x) है: अर्थात् ऑयलर की सर्वसमिका।
विलोम: x=0 स्थिर कीजिए और t>0 पर φ(t)=f(tx)−tpf(x) लीजिए। तब φ′(t)=⟨∇f(tx),x⟩−ptp−1f(x)=t1(⟨∇f(tx),tx⟩−ptpf(x))। और परिकल्पना — अर्थात् बिंदु tx पर ऑयलर की सर्वसमिका — कोष्ठक का मान pf(tx)−ptpf(x)=pφ(t) दे देती है। अतः φ(1)=0 सहित φ′=tpφ: और इस रैखिक अवकल समीकरण का अद्वितीय हल φ≡0 है (प्रथम वर्ष की अद्वितीयता), अर्थात् f(tx)=tpf(x)।
अभ्यास 15.5★★
मान लीजिए Aसममित है और f(x)=21⟨Ax,x⟩−⟨b,x⟩। ∇f तथा Hf परिकलित कीजिए; f कब उत्तल है? A को धनात्मक निश्चित मानते हुए दिखाइए कि f का Ax=b के हल पर अद्वितीय वैश्विक न्यूनतम है — अर्थात् प्रवणक अवरोहण का औचित्य।
हल
हल — अभ्यास 15.5.
f(x+h)−f(x)=⟨Ax−b,h⟩+21⟨Ah,h⟩ को खोलने पर (A की सममितता): सर्वत्र ∇f(x)=Ax−b और Hf=A। f उत्तल है तभी जब A धनात्मक अर्धनिश्चित हो (हेस्सियन जाँच, जो यहाँ वैश्विक है क्योंकि H अचर है: द्वितीय-कोटि टेलर सूत्र यथार्थ है)। और यदि A धनात्मक निश्चित हो: तो अद्वितीय क्रांतिक बिंदु x∗=A−1b है, और h=0 के लिए f(x∗+h)−f(x∗)=21⟨Ah,h⟩≥2λmin∥h∥2>0: अर्थात् यथार्थ वैश्विक न्यूनतम।
अभ्यास 15.6★★
(लाग्रांज गुणक, एक प्रतिबंध, हाथ से सिद्ध) मान लीजिए f,gR2 पर C1 हैं, और f∇g(a)=0 सहित स्तर समुच्चय {g=0} पर a पर कोई स्थानीय चरम मान प्राप्त करता है। सिद्ध कीजिए कि किसी λ के लिए ∇f(a)=λ∇g(a)। (अंतर्निहित फलन प्रमेय से a के पास स्तर समुच्चय का प्राचलन कीजिए और t↦f(γ(t)) का अवकलन कीजिए।) अनुप्रयोग: वृत्त x2+y2=1 पर f(x,y)=xy के चरम मान।
हल
हल — अभ्यास 15.6.
चूँकि ∇g(a)=0, कोई एक आंशिक अवकलज, मान लीजिए ∂y∂g(a)=0: तब अंतर्निहित फलन प्रमेय (प्रमेय 15.14 की साथी) a=(a1,a2) के पास {g=0} का प्राचलन yC1, y′(t)=−∂yg∂xg(γ(t)) सहित γ(t)=(t,y(t)) के रूप में कर देती है (g(t,y(t))=0 का अवकलन कीजिए)। और एक-चर फलन t↦f(γ(t)) का t=a1 पर स्थानीय चरम मान है:
अर्थात् सदिशों ∇f(a) और ∇g(a) के निर्देशांक अनुपाती हैं: λ=∂yg(a)∂yf(a) सहित ∇f(a)=λ∇g(a)।
अनुप्रयोग: वृत्त पर ∇(xy)=(y,x) का (2x,2y) के समांतर होना y2=x2 को बाध्य कर देता है; और प्रतिबंध के साथ उम्मीदवार ±(21,21) (मान 21) तथा ±(21,−21) (मान −21) हैं: अतः महत्तम 21, न्यूनतम −21 (और ये प्राप्त होते हैं: वृत्त संहत है)।
अभ्यास 15.7★★
R2 पर f(x,y)=x2+y2−xy+x−y के चरम मान निर्धारित कीजिए, और फिर शीर्षों (0,0), (1,0), (0,1) वाले संवृत त्रिभुज पर उसका महत्तम और न्यूनतम (पहले अभ्यंतरीय क्रांतिक बिंदु, फिर तीनों भुजाएँ, फिर शीर्ष)।
हल
हल — अभ्यास 15.7.
∇f=(2x−y+1,2y−x−1)=0: हल करने पर x=−31, y=31। हेस्सियन (2−1−12), जो धनात्मक निश्चित है: अतः द्विघात f का वैश्विक न्यूनतम, मान f(−31,31)=−31।
त्रिभुज T पर: अभ्यंतरीय क्रांतिक बिंदु (−31,31)∈/T (ऋणात्मक x)। भुजाएँ: y=0 पर x∈[0,1]: f=x2+x, जो वर्धमान है: अतः चरम मान 0 और 2। x=0 पर: f=y2−y, न्यूनतम y=21 पर −41, और सिरों पर मान 0 तथा 0। x+y=1 पर: y=1−x प्रतिस्थापित कीजिए, f=x2+(1−x)2−x(1−x)+x−(1−x)=3x2−x; और [0,1] पर: न्यूनतम x=61 पर −121, तथा मान 0 (x=0 पर) और 2 (x=1 पर)। शीर्ष: f(0,0)=0, f(1,0)=2, f(0,1)=0। T पर वैश्विक: न्यूनतम −41(0,21) पर, महत्तम 2(1,0) पर।
अभ्यास 15.8★★★
f:R2→R2, f(x,y)=(x+y2,y+x2) लीजिए। दिखाइए कि f0 के पास स्थानीय अवकल समाकृतिकता है, d(f−1)(0,0) परिकलित कीजिए, और वह महत्तम r ज्ञात कीजिए जिसके लिए df गोले ∥(x,y)∥2<r पर प्रतिलोमनीय हो (detJf परिकलित कीजिए)।
हल
हल — अभ्यास 15.8.
Jf=(12x2y1), detJf=1−4xy। 0 पर: det=1=0: अर्थात् स्थानीय अवकल समाकृतिकता (प्रमेय 15.14), जहाँ
d(f−1)(0,0)=(Jf(0))−1=I2.
किसी गोले पर प्रतिलोमनीयता: सर्वत्र 4∣xy∣<1 चाहिए; और ∥(x,y)∥2<r पर ∣xy∣≤2x2+y2<2r2, अतः r=21 काम करता है; और वही महत्तम है: (x,y)=(21,21) पर, जिसका मानदंड21 है, detJf=0।
अभ्यास 15.9★★★
(रोल विफल, मध्यमान बचा रहता है) ऐसा f:R→R2, C1 दीजिए जिसके लिए f(0)=f(2π) हो पर सभी t के लिए f′(t)=0 (अर्थात् सदिश-मान वाला कोई रोल नहीं)। फिर अपने उदाहरण पर प्रमेय 15.5 की मध्यमान असमिका सत्यापित कीजिए।
हल
हल — अभ्यास 15.9.
f(t)=(cost,sint): f(0)=f(2π)=(1,0), फिर भी f′(t)=(−sint,cost) का मानदंड1 है, जो कभी शून्य नहीं: अर्थात् ऐसा कोई बिंदु नहीं जहाँ अवकलज लुप्त हो — रोल का कोई सदिश अनुरूप नहीं है। और मध्यमान असमिका आराम से सत्य रहती है: ∥f(2π)−f(0)∥=0≤2π⋅sup∥f′∥=2π।
अभ्यास 15.10★
Rn पर f(x)=∥x∥22 तथा g(x)=⟨Ax,x⟩ के अवकल और प्रवणक परिकलित कीजिए (A कोई वर्ग आव्यूह, सममित नहीं माना गया), और हर एक का हेस्सियन भी। किन A के लिए g उत्तल है?
हल
हल — अभ्यास 15.10.
f(x+h)−f(x)=2⟨x,h⟩+∥h∥2: dfx=2⟨x,⋅⟩, ∇f(x)=2x, हेस्सियन 2I (अचर)। g के लिए:
अतः ∇g(x)=(A+AT)x और Hg=A+AT, जो अचर है। अभ्यास 15.11 के अनुसार g उत्तल है तभी जब A+AT धनात्मक अर्धनिश्चित हो — अर्थात् केवल A का सममित भाग मायने रखता है, और वास्तव में g(x)=⟨2A+ATx,x⟩।
अभ्यास 15.11★★
मान लीजिए f:Rn→RC2 है। सिद्ध कीजिए कि f उत्तल है यदि और केवल यदि उसका हेस्सियन Hx प्रत्येक x पर धनात्मक अर्धनिश्चित हो (एक चर तक ले आइए: t↦f(a+t(b−a)); एक दिशा में टेलर–लाग्रांज लगाइए, और विलोम के लिए φ′′ का मूल्यांकन कीजिए)।
हल
हल — अभ्यास 15.11.
f उत्तल है तभी जब हर खंड तक उसका प्रतिबंधन उत्तल हो, अर्थात् तभी जब हर φ(t)=f(a+tv) उत्तल हो। और शृंखला नियम से φ′′(t)=⟨Ha+tvv,v⟩।
यदि सारे हेस्सियन धनात्मक अर्धनिश्चित हों: तो φ′′≥0, अतः हर φ उत्तल है (प्रथम वर्ष का खंड) और f उत्तल। विलोमतः यदि f उत्तल हो, तो हर φ उत्तल है, अतः φ′′(0)≥0: प्रत्येक a और प्रत्येक दिशा v के लिए ⟨Hav,v⟩≥0: अर्थात् सारे हेस्सियन धनात्मक अर्धनिश्चित हैं।
अभ्यास 15.12★★★
(एक वैश्विक प्रतिलोम प्रमेय) मान लीजिए g:Rn→RnC1 है, सभी x के लिए ∣∣∣dgx∣∣∣≤k<1, और f=id+g।
दिखाइए ∥f(x)−f(y)∥≥(1−k)∥x−y∥: अर्थात् f एकैकी है और अपने प्रतिबिंब पर उसका प्रतिलोम संतत है।
दिखाइए कि प्रत्येक y∈Rn के लिए प्रतिचित्रण x↦y−g(x)पूर्ण समष्टि Rn का संकुचन है, और बानाख अचल बिंदु प्रमेय (प्रमेय 4.12) से निष्कर्ष निकालिए कि f आच्छादक है।
निष्कर्ष निकालिए कि fRn का एकैकी आच्छादक प्रतिचित्रण है जिसका प्रतिलोम (1−k)−1-लिप्शिट्स है — अर्थात् प्रमेय 15.14 का वैश्विक प्रतिरूप (जो इसके विपरीत विशुद्ध रूप से स्थानीय है)।
हल
हल — अभ्यास 15.12.
g पर लगाई गई मध्यमान असमिका (प्रमेय 15.5) से ∥g(x)−g(y)∥≤k∥x−y∥, अतः
∥f(x)−f(y)∥≥∥x−y∥−∥g(x)−g(y)∥≥(1−k)∥x−y∥:
अर्थात् f एकैकी है और (प्रतिबिंब पर परिभाषित) f−11−k1-लिप्शिट्स है।
y स्थिर कीजिए; T(x)=y−g(x)∥T(x)−T(x′)∥=∥g(x′)−g(x)∥≤k∥x−x′∥ पूरा करता है: अर्थात् पूर्ण समष्टि Rn का संकुचन। बानाख (प्रमेय 4.12) अचल बिंदु x∗=y−g(x∗) दे देती है, अर्थात् f(x∗)=y: इसलिए f आच्छादक है।
अतः fRn का ऐसा एकैकी आच्छादक प्रतिचित्रण है जिसका प्रतिलोम 1−k1-लिप्शिट्स है: यही वैश्विक प्रतिलोम प्रमेय है, जहाँ सर्वत्र dg की लघुता प्रमेय 15.14 की स्थानीय प्रतिलोमनीयता वाली परिकल्पना की जगह ले लेती है।
15.5 समस्या: आव्यूहों का कलन — याकोबी, घातांकी और लांबिक समूह
समस्या 15.1
अवकल कलन का सबसे स्वच्छ खेल-मैदान स्वयं समष्टि Mn(R)≃Rn2 है: उसके सबसे स्वाभाविक प्रतिचित्रणों — गुणनफल, प्रतिलोम, सारणिक, घातांकी — के अवकल आश्चर्यजनक रूप से सुंदर हैं। यह समस्या उन सबका परिकलन करती है: नॉयमान श्रेणी, प्रतिलोम का अवकल, सारणिक के लिए याकोबी सूत्र और लाभ में ल्यूविल का सूत्र, deteA=etrA वाला आव्यूह घातांकी, और अंत में लांबिक समूह On किसी चिकने स्तर समुच्चय के रूप में जिसकी स्पर्श समष्टि प्रतिसममित आव्यूह हैं — अर्थात् भ्रूण-रूप में अवकल ज्यामिति। आगे सर्वत्र ∣∣∣⋅∣∣∣∥⋅∥2 के अधीनस्थ संकारक मानदंड है, और ⟨X,Y⟩=tr(XTY) फ्रोबेनियस अंतर्गुणन।
भाग I — नॉयमान श्रेणी।
उपगुणात्मकता ∣∣∣AB∣∣∣≤∣∣∣A∣∣∣∣∣∣B∣∣∣ सिद्ध कीजिए, और इससे निष्कर्ष निकालिए कि A के बहुपद प्रतिचित्रण (आव्यूह गुणनफल, सारणिक, अनुरेख) Mn(R) पर संतत हैं।
∣∣∣X∣∣∣<1 के लिए दिखाइए कि ∑k≥0XkMn(R) में निरपेक्ष रूप से अभिसरित होती है (प्रमेय 5.21), कि उसका योग (I−X)−1 है, और यह कि
इससे निष्कर्ष निकालिए कि GLn(R)विवृत है: यदि A प्रतिलोमनीय हो और ∣∣∣H∣∣∣<∣∣∣A−1∣∣∣1, तो A+H प्रतिलोमनीय है। यह भी निष्कर्ष निकालिए कि GLn(R)Mn(R) में सघन है (A को εI से विक्षुब्ध कीजिए: det(A+εI)ε में अशून्य बहुपद है)।
दिखाइए कि प्रतिलोमन प्रतिचित्रण Φ(A)=A−1GLn(R) पर संतत है।
दिखाइए कि वर्ग-प्रतिचित्रण A↦A2अवकलनीय है और उसका अवकलH↦AH+HA है, और अधिक सामान्य रूप में A↦Ak का अवकलH↦∑i=0k−1AiHAk−1−i। सामान्यतः kAk−1H क्यों नहीं लिखा जा सकता?
((A+H)−1=(I+A−1H)−1A−1 लिखिए और प्रश्न 2 से प्रसार कीजिए)। सूत्र को अदिश स्थिति n=1 के विरुद्ध जाँचिए।
किसी C1 वक्र t↦A(t)∈GLn(R) के लिए (A(t)−1)′=−A−1A′A−1 निष्कर्ष रूप में निकालिए, और t=0 पर t↦(I+tB)−1 का प्रथम कोटि तक प्रसार कीजिए।
f(A)=tr(Ak) का अवकल परिकलित कीजिए और फ्रोबेनियस अंतर्गुणन के लिए उसका प्रवणक पहचानिए:
dfA(H)=ktr(Ak−1H),∇f(A)=k(Ak−1)T.
f(A)=tr(ATA)=∥A∥F2 के लिए वही प्रश्न: अवकल, प्रवणक, और (अचर) हेस्सियन; निष्कर्ष निकालिए कि ∥⋅∥F2 यथार्थतः उत्तल है।
भाग III — याकोबी सूत्र।
सिद्ध कीजिए
det(I+H)=1+trH+O(∣∣∣H∣∣∣2)
(det(e1+h1,…,en+hn) को स्तंभों में बहुरैखिकता से खोलिए: कम से कम दो h-स्तंभों वाले पद O(∣∣∣H∣∣∣2) हैं): d(det)I=tr।
प्रतिलोमनीय A के लिए निष्कर्ष निकालिए
d(det)A(H)=det(A)tr(A−1H).
दिखाइए कि प्रत्येकA के लिए (प्रतिलोमनीय हो या न हो) ∂aij∂det(A)=Cij(i,j) सहगुणनखंड है (पंक्ति i के अनुदिश लाप्लास प्रसार), अतः संलग्नक adjA=com(A)T के साथ:
d(det)A(H)=tr(adj(A)H),∇(det)(A)=com(A),
जो A के प्रतिलोमनीय होने पर प्रश्न 11 पुनः दे देता है (adjA=det(A)A−1)। यही याकोबी सूत्र है: (detA(t))′=tr(adj(A(t))A′(t))।
(ल्यूविल का सूत्र) मान लीजिए A(t) आव्यूहों का ऐसा C1 वक्र है जो रैखिक अवकल समीकरण A′(t)=M(t)A(t) पूरा करता है। सिद्ध कीजिए
(adj(A)A=det(A)I तथा अनुरेख की चक्रीय अपरिवर्त्यता का उपयोग कीजिए) — यही वह व्रोंस्कियन सर्वसमिका है जिसे अवकल समीकरणों वाला अध्याय लगातार काम में लेगा।
दिखाइए कि SLn(R)={det=1} चिकना स्तर समुच्चय है: प्रत्येक A∈SLn(R) पर अवकलd(det)AR पर आच्छादक रैखिक प्रतिचित्रण है (उसका H=n1A पर मूल्यांकन कीजिए)।
दिखाइए कि eA=∑k≥0k!Ak प्रत्येक A के लिए निरपेक्ष रूप से और हर गोले पर सामान्य रूप से अभिसरित होती है, जहाँ eA≤e∣∣∣A∣∣∣; और यह कि eAA पर संतत रूप से निर्भर करता है।
सिद्ध कीजिए कि AB=BA से eA+B=eAeB निकलता है (कोशी गुणनफल, जो निरपेक्ष अभिसरण से वैध है); और इससे निष्कर्ष निकालिए कि eA सदा प्रतिलोमनीय है जिसका प्रतिलोम e−A है: अर्थात् expMn(R) को GLn(R) में भेजता है।
दिखाइए कि t↦etAC1 है (वस्तुतः C∞) और
dtdetA=AetA=etAA
(खंडों पर श्रेणी का पद-दर-पद अवकलन कीजिए: व्युत्पन्न श्रेणी सामान्य रूप से अभिसरित होती है)।
सर्वसमिका
det(eA)=etrA
सिद्ध कीजिए (A(t)=etA पर ल्यूविल का सूत्र, प्रश्न 13, लगाइए)। तर्कसंगति की जाँचें: n=1; शून्यंभावी A; और अनुरेख-शून्य आव्यूह SLn(R) में उतरते हैं।
दिखाइए कि eH=I+H+O(∣∣∣H∣∣∣2), अतः exp0 पर d(exp)0=id के साथ अवकलनीय है; और प्रतिलोम फलन प्रमेय (प्रमेय 15.14) से निष्कर्ष निकालिए कि exp0 के किसी प्रतिवेश से I के किसी प्रतिवेश पर C1 अवकल समाकृतिकता है: अर्थात् तत्समक के निकट हर आव्यूह का लघुगणक होता है।
दिखाइए कि expसममित आव्यूहों को सममितधनात्मक निश्चित आव्यूहों पर एकैकी आच्छादक रूप से भेजता है (विकर्णन कीजिए; प्रतिलोम वर्णक्रमीय लघुगणक है)।
भाग V — स्तर समुच्चय के रूप में लांबिक समूह।
Mn(R) से सममित आव्यूहों Sn में जाने वाला F(A)=ATA लीजिए। dFA(H)=ATH+HTA परिकलित कीजिए और दिखाइए कि प्रत्येक A∈On=F−1(I) पर यह अवकलSn पर आच्छादक है (S∈Sn दिया हो तो H=21AS आज़माइए): अर्थात् On विमा n2−2n(n+1)=2n(n−1) का चिकना स्तर समुच्चय है।
दिखाइए कि A(0)=I वाले हर C1 वक्र A(t)∈On का वेग A′(0)प्रतिसममित होता है, और विलोमतः प्रतिसममित K के लिए वक्र etKOn में बना रहता है: अर्थात् I पर On की स्पर्श समष्टि ठीक प्रतिसममित आव्यूह हैं।
प्रतिसममित K के लिए deteK=1 दिखाइए (प्रश्न 18): अतः घातांकी वक्र घूर्णन समूह SOn में बसता है। n=2 के लिए उसे पूरा परिकलित कीजिए: J=(01−10) के साथ सिद्ध कीजिए
eθJ=(cosθsinθ−sinθcosθ):
अर्थात् आव्यूह घातांकीθ से घूर्णन ही है, और कोसाइन तथा साइन की श्रेणी-परिभाषाएँ किसी आव्यूह के भीतर फिर प्रकट हो जाती हैं।
(सघनता की युक्ति) GLn(R) की सघनता (प्रश्न 3) और संततता का उपयोग करके सर्वसमिका
adj(AB)=adj(B)adj(A)
को प्रतिलोमनीय से सभी आव्यूहों तक बढ़ाइए (प्रतिलोमनीय A,B के लिए दोनों पक्ष det(AB)(AB)−1 हैं; और दोनों पक्ष प्रविष्टियों में बहुपद हैं)।
संश्लेषण। एक-एक वाक्य में: (क) हर भाग का इंजन किन पिछले अध्यायों ने दिया (पूर्णता और मानदंडित बीजगणित; वर्णक्रमीय प्रमेय; प्रतिलोम फलन प्रमेय); (ख) इस समस्या का कौन-सा सूत्र अवकल समीकरणों वाला अध्याय काम में लेगा, और कहाँ; (ग) d(det)I=tr और deteA=etrA अनुरेख तथा सारणिक के बारे में “अत्यल्प और वैश्विक आयतन” के रूप में क्या कहते हैं; (घ) तृतीय वर्ष का खंड प्रश्न 21–23 का क्या बना देता है (ली समूह और उनके ली बीजगणित)।
हल
हल — समस्या 15.1.
1.∥ABx∥≤∣∣∣A∣∣∣∥Bx∥≤∣∣∣A∣∣∣∣∣∣B∣∣∣∥x∥: ∥x∥=1 पर उच्चतम लीजिए। आव्यूह गुणनफल, det और tr प्रविष्टियों के बहुपद फलन हैं, अतः संतत (Mn(R)≃Rn2, और सारे मानदंड तुल्य: प्रमेय 5.13)।
2.∑Xk≤∑∣∣∣X∣∣∣k<∞: श्रेणी निरपेक्ष रूप से अभिसरित होती है, अतः अभिसरित होती है (प्रमेय 5.21)। (I−X)∑k≤NXk=I−XN+1→I से: योग (I−X)−1 है। मानदंड: ≤∑∣∣∣X∣∣∣k=1−∣∣∣X∣∣∣1; और
3.A−1H≤A−1∣∣∣H∣∣∣<1 के साथ A+H=A(I+A−1H): प्रश्न 2 से प्रतिलोमनीय: अतः A के चारों ओर त्रिज्या A−1−1 का विवृत गोला GLn(R) में है। सघनता: det(A+εI)ε में घात-n का बहुपद है जिसका अग्र गुणांक 1 है: अतः उसके परिमित मूल हैं, इसलिए ऐसे εk→0 हैं कि A+εkI प्रतिलोमनीय हो और वे A पर अभिसरित हों।
4.∣∣∣H∣∣∣<2∣∣∣A−1∣∣∣1 के लिए:
(A+H)−1−A−1=[(I+A−1H)−1−I]A−1,
जिसका मानदंड अधिकतम 1−∣∣∣A−1H∣∣∣∣∣∣A−1H∣∣∣A−1≤2A−12∣∣∣H∣∣∣→0 है: अतः Φ प्रत्येक A∈GLn(R) पर संतत है।
5.(A+H)2=A2+AH+HA+H2: प्रतिचित्रण H↦AH+HA रैखिक है और त्रुटि H2O(∣∣∣H∣∣∣2) है। (A+H)k को खोलकर H-गुणनखंडों की संख्या के अनुसार छाँटने पर: रैखिक भाग ∑i=0k−1AiHAk−1−i है, और ≥2 गुणनखंड H वाले पद (2k) गुणनफलों से परिबद्ध हैं जिनका मानदंड≤∣∣∣A∣∣∣k−2∣∣∣H∣∣∣2 के पैमाने का है: O(∣∣∣H∣∣∣2)। योग को kAk−1H में समेटा नहीं जा सकता क्योंकि H और A का क्रमविनिमेय होना आवश्यक नहीं — यह योग ही सही अक्रमविनिमेय अवकलज है।
और फ्रोबेनियस गुणन के विरुद्ध dfA(H)=tr((∇f)TH) के लिए (∇f)T=kAk−1 आवश्यक है: ∇f(A)=k(Ak−1)T।
9.f(A+H)−f(A)=2tr(ATH)+tr(HTH): अवकलH↦2tr(ATH)=2⟨A,H⟩ है, अतः ∇f(A)=2A; और द्वितीय-कोटि पद ठीक ∥H∥F2 है: अर्थात् हेस्सियन तत्समक द्विघात रूप का दुगुना है, जो धनात्मक निश्चित और अचर है, इसलिए ∥⋅∥F2 यथार्थतः उत्तल है (यहाँ टेलर सूत्र यथार्थ है)।
10. स्तंभों में बहुरैखिकता से det(I+H)=∑S⊆{1,…,n}det(MS), जहाँ MS का स्तंभ j∈S के लिए hj है और अन्यथा ej। S=∅1 देता है; S={j} उस I का सारणिक देता है जिसका स्तंभ jhj से बदल दिया गया है, अर्थात् उसकी j-वीं प्रविष्टि hjj, और योग लेने पर trH; और ∣S∣≥2 वाले हर पद में कम से कम दो स्तंभ O(∣∣∣H∣∣∣) आकार के हैं, अतः वह O(∣∣∣H∣∣∣2) है (परिमित-विमीय समष्टि पर बहुरैखिक प्रतिचित्रण परिबद्ध होते हैं), और ऐसे पद परिमित हैं। अतः det(I+H)=1+trH+O(∣∣∣H∣∣∣2): d(det)I=tr।
11.det(A+H)=detAdet(I+A−1H)=detA(1+tr(A−1H)+O(∣∣∣H∣∣∣2)): अवकलH↦det(A)tr(A−1H) है।
12. पंक्ति i के अनुदिश लाप्लास प्रसार: detA=∑jaijCij, और सहगुणनखंड Cij में पंक्ति i आती ही नहीं: ∂aij∂det=Cij। अतः
प्रतिलोमनीय A के लिए adjA=det(A)A−1 प्रश्न 11 पुनः दे देता है। और किसी C1 वक्र के अनुदिश शृंखला नियम (detA(t))′=tr(adj(A(t))A′(t)) पढ़ा जाता है: यही याकोबी सूत्र है।
13.A′=MA और adj(A)A=det(A)I के साथ:
(detA)′=tr(adj(A)MA)=tr(Aadj(A)M)=detAtrM
(चक्रीयता; AadjA=det(A)I भी)। और अदिश रैखिक अवकल समीकरण y′=tr(M(t))y का अद्वितीय हल y(t)=y(0)exp(∫0ttrM) है (प्रथम वर्ष): यही ल्यूविल का सूत्र है।
14.A∈SLn(R) पर H=n1A लीजिए: d(det)A(n1A)=n1det(A)tr(A−1A)=n1⋅1⋅n=1=0: अतः अवकल कोई अशून्य रैखिक फलनिक है, इसलिए स्तर समुच्चय के हर बिंदु पर R पर आच्छादक: अर्थात् SLn(R) चिकना स्तर समुच्चय है (विमा n2−1 का)।
15.∑kAk/k!≤∑∣∣∣A∣∣∣k/k!=e∣∣∣A∣∣∣: निरपेक्ष अभिसरण (प्रश्न 2 का पूर्णता-तर्क), और हर गोले ∣∣∣A∣∣∣≤R पर सामान्य अभिसरण (A से स्वतंत्र परिबंध Rk/k!)। हर आंशिक योग संतत है (बहुपद); और गोलों पर एकसमान सीमा संतत होती है: अतः A↦eAसंतत है, जहाँ eA≤e∣∣∣A∣∣∣।
और द्विपद सर्वसमिका को AB=BA चाहिए। B=−A के साथ: eAe−A=e0=I: अर्थात् हर eA∈GLn(R)।
17. श्रेणी ∑tkAk/k! और उसकी व्युत्पन्न श्रेणी ∑tk−1Ak/(k−1)!=A∑tk−1Ak−1/(k−1)! हर खंड ∣t∣≤T पर सामान्य रूप से अभिसरित होती हैं (परिबंध Tk∣∣∣A∣∣∣k/k!): अतः श्रेणियों के लिए अवकलन प्रमेय (प्रमेय 10.11, प्रविष्टि-दर-प्रविष्टि लगाई गई) dtdetA=AetA देती है; और दाईं ओर A बाहर निकालने पर etAA। इसे दोहराने पर: C∞।
18.A(t)=etAA′(t)=AA(t) पूरा करता है: अतः अचर M=A के साथ ल्यूविल का सूत्र (प्रश्न 13) detetA=ettrA देता है (t=0 पर मान 1); और t=1 पर deteA=etrA। जाँचें: n=1 स्वयं घातांकी है; शून्यंभावी A के लिए trA=0 और eAसारणिक1 वाला एकघाती है; और trA=0deteA=1 देता है: अर्थात् अनुरेख-शून्य आव्यूह SLn(R) में भेजे जाते हैं।
19.eH−I−H=∑k≥2Hk/k!, जिसका मानदंड≤∣∣∣H∣∣∣2e∣∣∣H∣∣∣=O(∣∣∣H∣∣∣2) है: d(exp)0=id, अतः प्रतिलोमनीय। इसके अतिरिक्त expC1 है: प्रश्न 5 से संभावित अवकलH↦∑kk!1∑iAiHAk−1−iA पर संतत रूप से निर्भर रैखिक प्रतिचित्रणों की सामान्य अभिसारी श्रेणी है (गोलों पर परिबंध ∣∣∣A∣∣∣k−1/(k−1)!), अतः आंशिक अवकलज विद्यमान और संतत हैं (प्रमेय 15.2 तथा श्रेणी की स्थानांतरण प्रमेय)। प्रतिलोम फलन प्रमेय (प्रमेय 15.14) 0 पर लागू होती है: अर्थात् exp0 के किसी प्रतिवेश से I के किसी प्रतिवेश पर C1 अवकल समाकृतिकता है — I के निकट आव्यूहों के लघुगणक होते हैं।
20.सममितS=PDPT के लिए (वर्णक्रमीय प्रमेय): eS=PeDPTसममित है और उसके अभिलक्षणिक मानeλi>0 हैं: अतः धनात्मक निश्चित। आच्छादकता: कोई धनात्मक निश्चित Q=Pdiag(μi)PT (μi>0) S=Pdiag(lnμi)PT के लिए eS है। एकैकीपन: eS अपनी अभिलक्षणिक समष्टियाँ निर्धारित कर देता है, जो ठीक S की ही हैं (λ के लिए S की हर अभिलक्षणिक समष्टि पर eSeλ की तरह क्रिया करता है; और भिन्न λ भिन्न eλ देते हैं), और अभिलक्षणिक मानों का ln लेने पर S वापस मिल जाता है। अतः expसममित आव्यूहों से धनात्मक निश्चित आव्यूहों पर एकैकी आच्छादक है।
21.F(A+H)=ATA+ATH+HTA+HTH: dFA(H)=ATH+HTA (Sn में मान; त्रुटि O(∣∣∣H∣∣∣2))। A∈On पर और S∈Sn के लिए चुनाव H=21AS देता है
AT⋅21AS+21(AS)TA=21S+21ST=S:
अर्थात् आच्छादक। इस प्रकार On=F−1(I) विमा n2−dimSn=2n(n−1) का चिकना स्तर समुच्चय है।
22.t=0 पर A(t)TA(t)=I का अवकलन (A(0)=I के साथ): A′(0)T+A′(0)=0: अर्थात् प्रतिसममित। विलोमतः KT=−K के लिए: (etK)TetK=etKTetK=e−tKetK=I (श्रेणी का पद-दर-पद परिवर्त लीजिए; घातांक क्रमविनिमेय हैं): अतः वक्र On में बना रहता है, और t=0 पर उसका वेग K है। इस प्रकार I पर स्पर्श समष्टि = प्रतिसममित आव्यूह, जिनकी विमा अपेक्षित 2n(n−1) है।
23. प्रतिसममित K के लिए trK=0, अतः deteK=e0=1 (प्रश्न 18): इसलिए घातांकी SOn में उतरता है। n=2 के लिए: J2=−I, अतः J2m=(−1)mI, J2m+1=(−1)mJ, और
अर्थात् θ से घूर्णन: और साइन तथा कोसाइन की श्रेणियाँ आव्यूह घातांकी के भीतर बसती हैं।
24. प्रतिलोमनीय A,B के लिए: adj(AB)=det(AB)(AB)−1=det(B)det(A)B−1A−1=adj(B)adj(A)। सर्वसमिका के दोनों पक्ष (A,B) की प्रविष्टियों के बहुपद (अतः संतत) प्रतिचित्रण हैं; और वे Mn×Mn के सघन उपसमुच्चय GLn×GLn पर सहमत हैं (प्रश्न 3: हर गुणनखंड का सन्निकटन कीजिए), अतः वे सर्वत्र सहमत हैं।
25. (क) भाग I परिमित-विमीय मानदंडित समष्टियों की पूर्णता पर चला (निरपेक्ष अभिसारी श्रेणियाँ अभिसरित होती हैं), भाग IV उसी पर और प्रश्न 20 के लिए वर्णक्रमीय प्रमेय पर, तथा भाग V का स्थानीय लघुगणक प्रतिलोम फलन प्रमेय पर। (ख) अवकल समीकरणों वाला अध्याय रैखिक निकायों के व्रोंस्कियन के लिए ल्यूविल के सूत्र (प्रश्न 13) पर टिकता है, और dtdetA=AetA (प्रश्न 17) पर, जो यही कहता है कि etAX′=AX को हल करता है। (ग) d(det)I=tr कहता है कि अनुरेख आयतन-परिवर्तन की अत्यल्प दर है, और deteA=etrA उसी कथन का वैश्विक समाकलन है। (घ) तृतीय वर्ष का खंड इन संरचनाओं को नाम दे देता है: On और SLn(R) ली समूह हैं, I पर उनकी स्पर्श समष्टियाँ (प्रतिसममित और अनुरेख-शून्य आव्यूह) ली बीजगणित हैं, और exp उनके बीच का पुल है।