ينضج حساب التفاضل بمتغيرين، الذي رأيناه في مجلد السنة الأولى، فيصير حساب تفاضل التطبيقات بين الفضاءات المعيارية: التفاضل بوصفه أفضل تقريب خطي، وقاعدة السلسلة في عموميتها التامة، ومبرهنة تناظر شوارتز مبرهنة هذه المرة، وصيغ تايلور، والتحليل الكامل من الرتبة الثانية للقيم القصوى. أما مبرهنة الدالة العكسية، تاج النظرية، فتُعرض مع بيان صريح لاستراتيجية برهانها — نقطة بناخ الثابتة.
في كل ما يلي، U جزء مفتوح من Rn (أو من فضاء معياري؛ فالحالة المنتهية البعد تحمل كل الأفكار)، f:U→Rm.
15.1 التفاضل
تعريف 15.1
نقول إن fقابلة للتفاضل في a إذا وُجد تطبيق خطي (متصل) dfa:Rn→Rm يحقق
f(a+h)=f(a)+dfa(h)+o(∥h∥)(h→0).
التطبيق dfa، وهو تفاضلf في a، وحيد؛ ومصفوفته في الأساسين القانونيين هي مصفوفة جاكوبي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، فإن fقابلة للتفاضل في a. ومنه فإن “C1 على U” — أي اتصال المشتقات الجزئية — يستلزم قابلية التفاضل في كل نقطة، مع تفاضلمتصل.
برهان. مركبة مركبة (يكفي m=1). برهان السنة الأولى في حالة متغيرين — نحرك إحداثية واحدة في كل مرة، ونطبق مبرهنة القيمة المتوسطة بمتغير واحد على كل ضلع، ونستعمل اتصال المشتقات الجزئية في a — يتعمم حرفيا إلى n ضلعا:
وحدّا الخطأ كلاهما o(∥h∥): الأول لأن dgbمتصل وε1→0؛ والثاني لأن ∥k∥≤C∥h∥ (تطبيق خطي محدود زائد حد صغير) وε2(k)→0 عندما h→0. ∎
مثال 15.4(الدوال القطرية، مرة واحدة وإلى الأبد)
نضع r(x)=∥x∥2 على Rn∖{0} وf=g∘r حيث g دالة C1 بمتغير واحد. أولا، rقابلة للتفاضل بعيدا عن 0: انطلاقا من 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(متراجحة القيمة المتوسطة)
لتكن fقابلة للتفاضل على U، وليكن القطعة [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 هو الحد الأعلى المكتوب أعلاه. ومن أجل f ذات القيم في R تكفي متراجحة القيمة المتوسطة بمتغير واحد؛ أما في حالة القيم المتجهية فنطبقها على t↦⟨u,φ(t)⟩ حيث u المتجهة الواحدية الموازية للمتجهة f(b)−f(a). أما الثبوت: فالدالة ثابتة محليا (القطع داخل الكرات) مع الترابط (المجموعة التي تأخذ فيها f قيمة معطاة مفتوحة ومغلقة في آن: الفصل 4). ∎
مثال 15.6(ثابت ليبشيتز انطلاقا من متراجحة القيمة المتوسطة)
هل f(x,y)=sinxsiny ليبشيتزية على R2؟ وبأي ثابت؟ تدرجها هو ∇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:
إذن f ليبشيتزية بالثابت 1، والثابت أمثلي (بجوار المبدأ يبلغ ميل f(x,2π)=sinx القيمة 1). والخلاصة: متراجحة القيمة المتوسطة تحول حصرا نقطيا على التفاضل إلى مقياس اتصال شامل — وهي الطريق المعتاد إلى تقديرات ليبشيتز في كل بعد، والمحرك الكامن داخل التمرين 15.12.
15.2 المشتقات الثانية
مبرهنة 15.7(شوارتز)
إذا كانت f من الصنف C2 على U (أي إن جميع المشتقات الجزئية الثانية موجودة ومتصلة)، فإن من أجل كل 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). وبالاتصال، h2Δ(h)→∂y∂x∂2f(a,b) عندما h→0. والحساب نفسه بعد تبادل دوري المتغيرين (بتجميد المتغير الثاني أولا) يعطي h2Δ(h)→∂x∂y∂2f(a,b): فنهايتا المقدار نفسه متساويتان. ∎
مثال 15.8(لماذا نحتاج إلى C2: المثال المضاد لبيانو)
نضع f(x,y)=x2+y2xy(x2−y2)، f(0,0)=0. بعيدا عن المبدأ تكون f من الصنف C∞؛ وفي المبدأ توجد جميع المشتقات الجزئية الأولى والثانية، لكن المختلطتين منها متباينتان. لنحسب على المحورين: f(x,0)=f(0,y)=0، ومن أجل y=0،
فالمشتقتان المختلطتان موجودتان ومختلفتان. ولا تناقض مع المبرهنة 15.7: فالمشتقات الجزئية الثانية للدالة f غير متصلة في 0 (اختبرها على y=tx). والخلاصة: مبرهنة شوارتز مبرهنة حقيقية عن الاتصال، لا متطابقة شكلية — والفرضية “C2” في مبرهنة تايلور–يونغ الآتية تؤدي عملا حقيقيا.
مبرهنة 15.9(تايلور–يونغ من الرتبة 2)
لتكن f:U→R من الصنف C2 ولتكن a∈U. عندئذ، عندما h→0،
f(a+h)=f(a)+⟨∇f(a),h⟩+21⟨Hah,h⟩+o(∥h∥2),
حيث Ha=(∂xi∂xj∂2f(a)) هي مصفوفة هس (وهي متناظرة، بحسب شوارتز).
برهان. نطبق مبرهنة تايلور–يونغ بمتغير واحد (مجلد السنة الأولى) على φ(t)=f(a+th) على [0,1]: بقاعدة السلسلة، φ′(t)=⟨∇f(a+th),h⟩ وφ′′(t)=⟨Ha+thh,h⟩، وكلاهما متصل بدلالة t. ثم φ(1)=φ(0)+φ′(0)+21φ′′(θ) (تايلور–لاغرانج) مع θ∈(0,1)، ويحول اتصال المشتقات الجزئية الثانية المقدار φ′′(θ)=φ′′(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.9 يعيد إنتاج 1+x+21(x2−y2). والحسابان متوافقان، وطريق التركيب كان أسرع — دون أي مشتقة جزئية ثانية. والخلاصة: المبدأ ليس نقطة حرجة (∇f=0)، فرغم أن مصفوفة هس غير معرفة الإشارة لا يوجد سرج نعلنه: الحد الخطي هو المتحكم، والاختبار من الرتبة الثانية لا ينطق إلا في النقاط الحرجة.
مبرهنة 15.11(اختبار القيم القصوى من الرتبة الثانية، مبرهنا)
لتكن f من الصنف C2 بجوار نقطة حرجة a (∇f(a)=0)، ولتكن مصفوفة هس H=Ha.
إذا كانت H معرفة موجبة، فإن a قيمة صغرى محلية تامة (ومعرفة سالبة: قيمة عظمى).
إذا كان لدى H قيم ذاتية من الإشارتين، فإن a سرج: لا قيمة قصوى.
إذا كانت H شاذة (وشبه معرفة)، فلا نتيجة.
واختبار السنة الأولى “rt−s2” هو الحالة n=2: detH=rt−s2، وتُقرأ إشارة tr من r.
برهان. بالمبرهنة الطيفية (المبرهنة 12.13)، تكون الصورة التربيعية للمصفوفة H محصورة بين قيمتيها الذاتيتين الحديتين: λmin∥h∥2≤⟨Hh,h⟩≤λmax∥h∥2.
(1) إذا كان λmin>0: تعطي مبرهنة تايلور–يونغ
f(a+h)−f(a)≥2λmin∥h∥2−o(∥h∥2)>0
من أجل h=0 صغيرة: قيمة صغرى محلية تامة.
(2) على متجهة ذاتيةv+ مع λ+>0: لدينا f(a+tv+)−f(a)=2λ+t2+o(t2)>0 من أجل t صغيرة؛ وعلى v− مع λ−<0 يكون الفرق سالبا: فالإشارتان تظهران معا في كل جوار.
(3) المقادير f(x,y)=x2+y4، x2−y4، x2+y3 تشترك في مصفوفة هس الشاذة شبه المعرفة نفسها في 0، مع ثلاثة سلوكات مختلفة. ∎
مثال 15.12(تصنيف كامل، مع الطابع الشامل)
لنصنف جميع القيم القصوى للدالة f(x,y)=x4+y4−4xy على R2. النقاط الحرجة:∇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→Rn من الصنف C1 ولتكن a∈U بحيث يكون dfaقابلا للقلب. عندئذ يوجد جواران مفتوحان V∋a، W∋f(a) بحيث يكون f:V→W تقابلا عكسه من الصنف C1، ولدينا
d(f−1)f(x)=(dfx)−1(x∈V).
برهان.نقبله في هذا المستوى.∎
ملاحظة 15.15(لماذا هي صحيحة: استراتيجية النقطة الثابتة)
حل f(x)=y بجوار a يُعاد كتابته على صورة معادلة النقطة الثابتة x=x+dfa−1(y−f(x))=:Φy(x)؛ والتطبيق Φy تفاضله id−dfa−1dfx، وهو صغير بجوار a باتصال df، ومنه فإن Φy تطبيق تقلصي على كرة مغلقة صغيرة، فتوفر مبرهنة نقطة بناخ الثابتة (المبرهنة 4.12) الحل المحلي الوحيد x=f−1(y). أما اتصال الدالة العكسية وقابليتها للتفاضل فينتجان من التقديرات الواردة في التقلص. والحساب التفصيلي الكامل يُنجز في السنة الثالثة؛ أما الاستراتيجية — والنص — فتُستعملان بحرية من الآن فصاعدا. وتنتج المبرهنة الرفيقة، مبرهنة الدالة الضمنية (وهي حل F(x,y)=0 بدلالة y(x) عندما يكون ∂y∂F قابلا للقلب)، بتطبيق المبرهنة على (x,y)↦(x,F(x,y)).
وهي قابلة للقلب من أجل r=0، ومنه فإن Φ تقابل تفاضلي محلي من الصنف C1 بعيدا عن المبدأ — وهو الترخيص الذي يبيح “الانتقال إلى الإحداثيات القطبية”، مجددا من أجل التكاملات المتعددة في الفصل 20.
لا تنعدم أبدا: فبحسب المبرهنة 15.14 يكون f تقابلا تفاضليا محليا من الصنف C1 في كل نقطة من المستوي. ومع ذلك فإن f بعيد كل البعد عن التباين: لدينا f(x,y+2π)=f(x,y)، فكل قيمة تُبلغ عددا لانهائيا من المرات؛ وهو ليس غامرا أيضا، إذ إن ∥f(x,y)∥=ex>0 يفوّت المبدأ. والخلاصة: مبرهنة الدالة العكسية محلية على نحو لا يُختزل — فقابلية قلب كل dfa تعطي ترقيعا من دوال عكسية محلية ليس من الضروري أن تتجمع في واحدة. (وسيتعرف القراء الذين يعرفون الأعداد المركبة على z↦ez؛ والترقيع هو عائلة فروع اللوغاريتم.) قارن ذلك بالتمرين التمرين 15.12، حيث تفرض فرضية شاملة كمية وجود دالة عكسية شاملة واحدة.
ملاحظة 15.18(مزالق شائعة)
(1) المشتقات الاتجاهية رخيصة، والتفاضلات ليست كذلك: قد توجد جميع المشتقات الاتجاهية — بل وقد لا تتعلق خطيا بالاتجاه — دون قابلية للتفاضل (التمرين 15.2)؛ ووحده محك C1 (المبرهنة 15.2) يرفع المشتقات الجزئية إلى تفاضل. (2) الحرج لا يعني الأقصى: فالسروج (المثال 15.12) والحالة الشاذة الصامتة (المبرهنة 15.11 (3)) كلتاهما تختبئان وراء ∇f=0. (3) لا مساواة قيمة متوسطة ذات قيم متجهية: وحدها المتراجحة في المبرهنة 15.5 تبقى صحيحة (التمرين 15.9)؛ ولا تكتب أبدا f(b)−f(a)=dfc(b−a) من أجل f ذات قيم في Rm، m≥2. (4) قابلية القلب المحلية ليست تباينا:المثال 15.17. (5) التدرج ملك للجداء السلمي: فالمقدار ∇f هو المتجهة الممثلة للتفاضلdfa في جداء سلمي مختار؛ فإن غيّرنا الجداء (كما في المثال الموزون من فصل الصور التربيعية) دار التدرج، بينما التفاضل — وهو الكائن الجوهري — لا يتحرك.
ملاحظة 15.19(أين يُستعمل هذا)
كل ما يأتي بعد هذا الفصل هو حساب تفاضل مطبق: ففصل المعادلات التفاضلية يخطّط التدفقات ويستعمل صيغة ليوفيل للمحدد (المبرهنة في مسألة نهاية الأسبوع لهذا الفصل)؛ وفصلا المنحنيات والسطوح يدرسان مجموعات المستوى والتوسيمات عبر مبرهنة الدالة الضمنية؛ والتكاملات المتعددة تغير المتغيرات بمصفوفات جاكوبي. وتطور مسألة نهاية الأسبوع حساب التفاضلعلى فضاء المصفوفات نفسه — تفاضلالمحدد، وتفاضل المقلوب، والأسي المصفوفي، والزمرة المتعامدة بوصفها مجموعة مستوى ملساء — وهو ظل السنة الثانية لما يصوغه مجلد السنة الثالثة على أنه متنوعات وزمر لي.
Jf=(2x2y−2y2x)، detJf=4(x2+y2): قابلة للقلب بعيدا عن المبدأ. (وهذا التطبيق f هو z↦z2 متنكرا في ثوب مركب.)
JΦ=cosθsinθ0−rsinθrcosθ0001، det=r: قابلة للقلب من أجل r=0 (الإحداثيات الأسطوانية).
تمرين 15.2★
لتكن f(x,y)=x2+y2x3 (f(0,0)=0). برهن على أن جميع المشتقات الاتجاهية للدالة f في 0 موجودة، لكن f ليست قابلة للتفاضل في 0(التطبيق 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): فلا يمكن لأي تطبيق خطي أن ينتج هذه القيم، ومنه فإن f ليست قابلة للتفاضل في 0 (إذ كان يجب أن يكون التفاضلv↦Dv).
تمرين 15.3★
جد النقاط الحرجة للدالة f(x,y)=x3+y3−3xy وصنفها باستعمال المبرهنة 15.11، ثم افعل الشيء نفسه من أجل 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→R من الصنف C1 ومتجانسة من الدرجة p: f(tx)=tpf(x) من أجل t>0. برهن على متطابقة أويلر
⟨∇f(x),x⟩=pf(x),
وعلى عكسها من أجل الدوال من الصنف C1 على Rn∖{0}.
حل
حل التمرين 15.4.
نفاضل t↦f(tx) في t=1: بقاعدة السلسلة، ⟨∇f(x),x⟩؛ وبالتجانس تكون الدالة نفسها tpf(x)، ومشتقتها pf(x) في t=1: وهي متطابقة أويلر.
العكس: نثبت x=0 ونضع φ(t)=f(tx)−tpf(x) على t>0. عندئذ φ′(t)=⟨∇f(tx),x⟩−ptp−1f(x)=t1(⟨∇f(tx),tx⟩−ptpf(x)). والفرضية — متطابقة أويلر في النقطة tx — تجعل قيمة القوس pf(tx)−ptpf(x)=pφ(t). ومنه φ′=tpφ مع φ(1)=0: والحل الوحيد لهذه المعادلة التفاضلية الخطية هو φ≡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، ولدينا f(x∗+h)−f(x∗)=21⟨Ah,h⟩≥2λmin∥h∥2>0 من أجل h=0: قيمة صغرى شاملة تامة.
تمرين 15.6★★
(مضاعف لاغرانج، بقيد واحد، مبرهنا يدويا) لتكن f,g من الصنف C1 على R2، ولنفترض أن f تبلغ في a قيمة قصوى محلية على مجموعة المستوى {g=0}، مع ∇g(a)=0. برهن على أن ∇f(a)=λ∇g(a) من أجل λ ما. (وسّم مجموعة المستوى بجوار a بمبرهنة الدالة الضمنية ثم فاضل t↦f(γ(t)).) تطبيق: القيم القصوى للدالة f(x,y)=xy على الدائرة x2+y2=1.
حل
حل التمرين 15.6.
بما أن ∇g(a)=0، فإن إحدى المشتقات الجزئية، ولتكن ∂y∂g(a)=0: تسمح مبرهنة الدالة الضمنية (رفيقة المبرهنة المبرهنة 15.14) بتوسيم {g=0} بجوار a=(a1,a2) على الصورة γ(t)=(t,y(t)) مع yC1، y′(t)=−∂yg∂xg(γ(t)) (بمفاضلة g(t,y(t))=0). والدالة ذات المتغير الواحد t↦f(γ(t)) تبلغ قيمة قصوى محلية في t=a1:
فللمتجهتين ∇f(a) و∇g(a) إحداثيات متناسبة: ∇f(a)=λ∇g(a) مع λ=∂yg(a)∂yf(a).
تطبيق: على الدائرة، توازي ∇(xy)=(y,x) مع (2x,2y) يفرض y2=x2؛ ومع القيد، تكون المرشحات هي ±(21,21) (بالقيمة 21) و±(21,−21) (بالقيمة −21): فالقيمة العظمى 21 والصغرى −21 (وهما مبلوغتان: فالدائرة متراصة).
تمرين 15.7★★
عيّن القيم القصوى للدالة f(x,y)=x2+y2−xy+x−y على R2، ثم قيمتيها العظمى والصغرى على المثلث المغلق ذي الرؤوس (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، والقيمة الصغرى −41 في y=21، والقيمتان 0 و0 عند الطرفين. وعلى x+y=1: نعوض y=1−x، f=x2+(1−x)2−x(1−x)+x−(1−x)=3x2−x؛ وعلى [0,1]: القيمة الصغرى −121 في x=61، والقيمتان 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). بيّن أن f تقابل تفاضلي محلي بجوار 0، واحسب 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π) لكن f′(t)=0 من أجل كل t (فلا مبرهنة رول ذات قيم متجهية). ثم تحقق على مثالك من متراجحة القيمة المتوسطة في المبرهنة 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★
احسب التفاضل والتدرج للدالتين f(x)=∥x∥22 وg(x)=⟨Ax,x⟩ على Rn (حيث 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→R من الصنف C2. برهن على أن 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: أي ⟨Hav,v⟩≥0 من أجل كل a وكل اتجاه v: فجميع مصفوفات هس شبه معرفة موجبة.
تمرين 15.12★★★
(مبرهنة قلب شاملة) لتكن g:Rn→Rn من الصنف C1 مع ∣∣∣dgx∣∣∣≤k<1 من أجل كل x، ولتكن f=id+g.
بيّن أن ∥f(x)−f(y)∥≥(1−k)∥x−y∥: ومنه فإن f متباين، وعكسه متصل على صورته.
بيّن أن التطبيق x↦y−g(x) تقلصي على الفضاء التام Rn من أجل كل y∈Rn، واستنتج بمبرهنة نقطة بناخ الثابتة (المبرهنة 4.12) أن f غامر.
استنتج أن f تقابل من Rn على نفسه، عكسه ليبشيتزي بالثابت (1−k)−1 — وهو النظير الشامل للمبرهنة المبرهنة 15.14 (التي هي، على النقيض، محلية بحتة).
حل
حل التمرين 15.12.
بمتراجحة القيمة المتوسطة (المبرهنة 15.5) مطبقة على g: ∥g(x)−g(y)∥≤k∥x−y∥، ومنه
∥f(x)−f(y)∥≥∥x−y∥−∥g(x)−g(y)∥≥(1−k)∥x−y∥:
فالتطبيق f متباين، والتطبيق f−1 (المعرف على الصورة) ليبشيتزي بالثابت 1−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 غامر.
ومنه فإن f تقابل من Rn على نفسه، عكسه ليبشيتزي بالثابت 1−k1: وهي مبرهنة قلب شاملة، حيث يحل صغر dg في كل نقطة محل فرضية قابلية القلب المحلية في المبرهنة 15.14.
15.5 مسألة: حساب تفاضل المصفوفات — جاكوبي والأسي والزمرة المتعامدة
مسألة 15.1
إن أنقى ميدان للعب حساب التفاضل هو الفضاء Mn(R)≃Rn2 نفسه: فأكثر تطبيقاته طبيعية — الجداء والمقلوب والمحدد والأسي — لها تفاضلات بالغة الأناقة. وتحسب هذه المسألة هذه التفاضلات كلها: متسلسلة نويمان، وتفاضل المقلوب، وصيغة جاكوبيللمحدد مع صيغة ليوفيل ربحا إضافيا، والأسي المصفوفي مع deteA=etrA، وأخيرا الزمرة المتعامدة On بوصفها مجموعة مستوى ملساء مماسها فضاء المصفوفات المتخالفة التناظر — وهي الهندسة التفاضلية في مهدها. وفي كل ما يلي، ∣∣∣⋅∣∣∣ هو معيار المؤثر المرافق للمعيار∥⋅∥2، و⟨X,Y⟩=tr(XTY) هو الجداء السلمي لفروبينيوس.
الجزء الأول — متسلسلة نويمان.
برهن على الخاصية تحت الضربية ∣∣∣AB∣∣∣≤∣∣∣A∣∣∣∣∣∣B∣∣∣، واستنتج أن التطبيقات الحدودية بدلالة A (جداءات المصفوفات والمحدد والأثر) متصلة على Mn(R).
من أجل ∣∣∣X∣∣∣<1، بيّن أن ∑k≥0Xk تتقارب تقاربا مطلقا في Mn(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+H)−1=(I+A−1H)−1A−1 وانشر بالسؤال 2). وتحقق من الصيغة في الحالة السلمية n=1.
من أجل منحن t↦A(t)∈GLn(R) من الصنف C1، استنتج (A(t)−1)′=−A−1A′A−1، ثم انشر t↦(I+tB)−1 حتى الرتبة الأولى في t=0.
احسب تفاضلf(A)=tr(Ak) وعيّن تدرجه من أجل الجداء السلمي لفروبينيوس:
dfA(H)=ktr(Ak−1H),∇f(A)=k(Ak−1)T.
الأسئلة نفسها من أجل f(A)=tr(ATA)=∥A∥F2: التفاضل والتدرج ومصفوفة هس (الثابتة)؛ واستنتج أن ∥⋅∥F2 محدبة تماما.
الجزء الثالث — صيغة جاكوبي.
برهن على أن
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).
بيّن أن ∂aij∂det(A)=Cij من أجل كلA (قابلة للقلب أو لا)، حيث هذا المقدار هو المرافق الجبري (i,j)(نشر لابلاس وفق السطر i)، ومنه، بدلالة المصفوفة الملحقة adjA=com(A)T:
d(det)A(H)=tr(adj(A)H),∇(det)(A)=com(A),
وهو ما يستعيد السؤال 11 عندما تكون A قابلة للقلب (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} مجموعة مستوى ملساء: أي إن التفاضلd(det)A في كل A∈SLn(R) تطبيق خطي غامر على R(قيّمه في H=n1A).
الجزء الرابع — الأسي المصفوفي.
بيّن أن eA=∑k≥0k!Ak تتقارب تقاربا مطلقا من أجل كل A، وتقاربا ناظميا على كل كرة، مع eA≤e∣∣∣A∣∣∣؛ وأن eA يتعلق باتصال بالمتغير A.
برهن على أن AB=BA يستلزم eA+B=eAeB(جداء كوشي، وهو مشروع بالتقارب المطلق)؛ واستنتج أن eA قابل للقلب دائما، وأن مقلوبه e−A: أي إن exp يرسل Mn(R) داخل GLn(R).
(طبق صيغة ليوفيل، السؤال 13، على A(t)=etA). وللتحقق: n=1؛ ومن أجل A معدومة القوى؛ ثم إن المصفوفات معدومة الأثر ترسو في SLn(R).
بيّن أن eH=I+H+O(∣∣∣H∣∣∣2)، ومنه فإن exp قابل للتفاضل في 0 مع d(exp)0=id؛ واستنتج بمبرهنة الدالة العكسية (المبرهنة 15.14) أن exp تقابل تفاضلي من الصنف C1 من جوار للمصفوفة 0 على جوار للمصفوفة I: أي إن كل مصفوفة قريبة من مصفوفة الوحدة تقبل لوغاريتما.
بيّن أن exp يرسل المصفوفات المتناظرة على المصفوفات المتناظرة المعرفة الموجبة، وذلك تقابليا (قطّر؛ والتطبيق العكسي هو اللوغاريتم الطيفي).
الجزء الخامس — الزمرة المتعامدة بوصفها مجموعة مستوى.
نضع F(A)=ATA، من Mn(R) نحو فضاء المصفوفات المتناظرة Sn. احسب dFA(H)=ATH+HTA وبيّن أن هذا التفاضلغامر على Sn في كل A∈On=F−1(I)(من أجل S∈Sn معطاة، جرّب H=21AS): ومنه فإن On مجموعة مستوى ملساء بعدها n2−2n(n+1)=2n(n−1).
بيّن أن كل منحن A(t)∈On من الصنف C1 يحقق A(0)=I له سرعة متخالفة التناظرA′(0)، وبالعكس أن المنحنى etK يبقى في On من أجل K متخالفة التناظر: أي إن الفضاء المماس للمجموعة On في I هو بالضبط فضاء المصفوفات المتخالفة التناظر.
بيّن أن deteK=1 من أجل K متخالفة التناظر (السؤال 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؛ والطرفان كلاهما كثير حدود بدلالة المعاملات).
تركيب. في جملة واحدة عن كل بند: (1) أي الفصول السابقة وفّر محرك كل جزء (التمام والجبور المعيارية؛ المبرهنة الطيفية؛ مبرهنة الدالة العكسية)؛ (2) أي صيغة من هذه المسألة سيستند إليها فصل المعادلات التفاضلية، وأين؛ (3) ماذا يقول d(det)I=tr وdeteA=etrA عن الأثر والمحدد بوصفهما “الحجم اللامتناهي الصغر والحجم الشامل”؛ (4) ماذا يصنع مجلد السنة الثالثة بالأسئلة 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+H=A(I+A−1H) مع A−1H≤A−1∣∣∣H∣∣∣<1: قابلة للقلب بحسب السؤال 2: فالكرة المفتوحة ذات النصف قطر A−1−1 حول A محتواة في 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 خطي والخطأ H2 هو O(∣∣∣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 ليس من الضروري أن يتبادلا — فالمجموع هو المشتقة اللاتبادلية الصحيحة.
dΦA(H)=−A−1HA−1، وهو خطي بدلالة H. ومن أجل n=1: d(1/a)(h)=−h/a2، وهي المشتقة المألوفة.
7. قاعدة السلسلة على طول المنحنى: (A(t)−1)′=dΦA(t)(A′(t))=−A(t)−1A′(t)A(t)−1. وفي A(t)=I+tB، t=0: (I+tB)−1=I−tB+O(t2).
8. بالسؤال 5 وبثبات الأثر بالدوران الدائري:
dfA(H)=tr(i=0∑k−1AiHAk−1−i)=ktr(Ak−1H).
وأمام جداء فروبينيوس، يقتضي 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 هو hj من أجل j∈S وej فيما عدا ذلك. فالمقدار S=∅ يعطي 1؛ والمقدار S={j} يعطي محددI بعد استبدال العمود j بالعمود hj، أي معامله رقم 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 (بالحصر Rk/k! المستقل عن A). وكل مجموع جزئي متصل (فهو كثير حدود)؛ والنهاية المنتظمة على الكرات متصلة: ومنه فإن 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)=etA العلاقة A′(t)=AA(t): وتعطي صيغة ليوفيل (السؤال 13) بثابت M=A النتيجة detetA=ettrA (وقيمتها 1 في t=0)؛ وفي t=1، deteA=etrA. وللتحقق: n=1 هو الأسي نفسه؛ ومن أجل A معدومة القوى لدينا trA=0، وتكون eA أحادية القوى محددها 1؛ وtrA=0 يعطي deteA=1: أي إن المصفوفات معدومة الأثر تُرسل داخل SLn(R).
19.eH−I−H=∑k≥2Hk/k!، ومعياره ≤∣∣∣H∣∣∣2e∣∣∣H∣∣∣=O(∣∣∣H∣∣∣2): ومنه d(exp)0=id، وهو قابل للقلب. وعلاوة على ذلك فإن exp من الصنف C1: فبالسؤال 5، يكون التفاضل المرشح H↦∑kk!1∑iAiHAk−1−i متسلسلة تطبيقات خطية متقاربة تقاربا ناظميا وتتعلق باتصال بالمتغير A (بالحصور ∣∣∣A∣∣∣k−1/(k−1)! على الكرات)، ومنه فإن المشتقات الجزئية موجودة ومتصلة (المبرهنة 15.2 ومبرهنة انتقال الخواص إلى مجموع المتسلسلة). وتنطبق مبرهنة الدالة العكسية (المبرهنة 15.14) في 0: فالتطبيق exp تقابل تفاضلي من الصنف C1 من جوار للمصفوفة 0 على جوار للمصفوفة I — فالمصفوفات القريبة من I تقبل لوغاريتمات.
20. من أجل S=PDPT متناظرة (بالمبرهنة الطيفية): تكون eS=PeDPT متناظرة وقيمها الذاتية eλi>0: فهي معرفة موجبة. الغمر: كل مصفوفة معرفة موجبة Q=Pdiag(μi)PT (μi>0) تساوي eS من أجل S=Pdiag(lnμi)PT. التباين: تحدد eS فضاءاتها الذاتية، وهي بالضبط فضاءات S الذاتية (فعلى كل فضاء ذاتي للمصفوفة S موافق للقيمة λ، يعمل eS عمل eλ؛ وقيم λ المتمايزة تعطي قيم 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. بمفاضلة A(t)TA(t)=I في t=0 (مع A(0)=I): A′(0)T+A′(0)=0: فهي متخالفة التناظر. وبالعكس، من أجل KT=−K: (etK)TetK=etKTetK=e−tKetK=I (بأخذ منقول المتسلسلة حدا حدا؛ فالأسس تتبادل): ومنه فإن المنحنى يبقى في On، وسرعته K في t=0. فالفضاء المماس في I= فضاء المصفوفات المتخالفة التناظر، وبعده المنتظر 2n(n−1).
23.trK=0 من أجل K متخالفة التناظر، ومنه 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)؛ وهما يتساويان على الجزء الكثيف GLn×GLn من Mn×Mn (السؤال 3: قرّب كل عامل)، ومنه فهما يتساويان في كل نقطة.
25. (1) اشتغل الجزء الأول على تمام الفضاءات المعيارية المنتهية البعد (فالمتسلسلات المتقاربة مطلقا متقاربة)، واشتغل الجزء الرابع على الشيء نفسه مضافا إليه المبرهنة الطيفية في السؤال 20، واشتغل لوغاريتم الجزء الخامس المحلي على مبرهنة الدالة العكسية. (2) يستند فصل المعادلات التفاضلية إلى صيغة ليوفيل (السؤال 13) من أجل فرونسكيان الجمل الخطية، وإلى dtdetA=AetA (السؤال 17)، وهو النص القائل إن etA يحل X′=AX. (3) يقول d(det)I=tr إن الأثر هو معدل التغير اللامتناهي الصغر للحجم، ويكامل deteA=etrA هذا النص بوجه شامل. (4) يسمي مجلد السنة الثالثة هذه البنى: فالزمرتان On وSLn(R) زمرتا لي، وفضاءاهما المماسان في I (المصفوفات المتخالفة التناظر والمصفوفات معدومة الأثر) جبرا لي، والتطبيق exp هو الجسر بينهما.