Mathematics · الكتاب 4 · Bachelor Year 2

الرياضيات الجامعية — السنة 2

الرياضيات الجامعية — السنة 2 · Bachelor Year 2

15حساب التفاضل

ينضج حساب التفاضل بمتغيرين، الذي رأيناه في مجلد السنة الأولى، فيصير حساب تفاضل التطبيقات بين الفضاءات المعيارية: التفاضل بوصفه أفضل تقريب خطي، وقاعدة السلسلة في عموميتها التامة، ومبرهنة تناظر شوارتز مبرهنة هذه المرة، وصيغ تايلور، والتحليل الكامل من الرتبة الثانية للقيم القصوى. أما مبرهنة الدالة العكسية، تاج النظرية، فتُعرض مع بيان صريح لاستراتيجية برهانها — نقطة بناخ الثابتة.

في كل ما يلي، UU جزء مفتوح من Rn\R^n (أو من فضاء معياري؛ فالحالة المنتهية البعد تحمل كل الأفكار)، f ⁣:URmf \colon U \to \R^m.

15.1 التفاضل

تعريف 15.1

نقول إن ff قابلة للتفاضل في aa إذا وُجد تطبيق خطي (متصل)  ⁣dfa ⁣:RnRm\dd f_a \colon \R^n \to \R^m يحقق

f(a+h)=f(a)+ ⁣dfa(h)+o(h)(h0).f(a + h) = f(a) + \dd f_a(h) + o(\norm h) \qquad (h \to 0).

التطبيق  ⁣dfa\dd f_a، وهو تفاضل ff في aa، وحيد؛ ومصفوفته في الأساسين القانونيين هي مصفوفة جاكوبي Jf(a)=(fixj(a))J_f(a) = \bigl(\frac{\partial f_i}{\partial x_j}(a)\bigr). قابلية التفاضل تستلزم الاتصال ووجود جميع المشتقات الاتجاهية  ⁣dfa(v)=limt0f(a+tv)f(a)t\dd f_a(v) = \lim_{t\to0}\frac{f(a + tv) - f(a)}{t}؛ والعكس غير صحيح (التمرين 15.2). ومن أجل m=1m = 1،  ⁣dfa(h)=f(a),h\dd f_a(h) = \langle \nabla f(a), h\rangle: وهو تدرج السنة الأولى، مفهوما الآن على أنه المتجهة الممثلة للتفاضل.

مبرهنة 15.2 (محك C1C^1)

إذا وُجدت جميع المشتقات الجزئية للدالة ff على UU وكانت متصلة في aa، فإن ff قابلة للتفاضل في aa. ومنه فإن “C1C^1 على UU” — أي اتصال المشتقات الجزئية — يستلزم قابلية التفاضل في كل نقطة، مع تفاضل متصل.

برهان. مركبة مركبة (يكفي m=1m = 1). برهان السنة الأولى في حالة متغيرين — نحرك إحداثية واحدة في كل مرة، ونطبق مبرهنة القيمة المتوسطة بمتغير واحد على كل ضلع، ونستعمل اتصال المشتقات الجزئية في aa — يتعمم حرفيا إلى nn ضلعا:

f(a+h)f(a)=j=1n(f(a+h(j))f(a+h(j1)))=jhjfxj(ξj),f(a + h) - f(a) = \sum_{j=1}^{n} \bigl(f(a + h^{(j)}) - f(a + h^{(j-1)})\bigr) = \sum_j h_j\,\frac{\partial f}{\partial x_j}(\xi_j),

حيث h(j)h^{(j)} يجمد الإحداثيات jj الأولى من hh، وξj\xi_j يقع على الضلع رقم jj؛ والاتصال يحول كل fxj(ξj)\frac{\partial f}{\partial x_j}(\xi_j) إلى fxj(a)+o(1)\frac{\partial f}{\partial x_j}(a) + o(1)، فيكون الخطأ o(h)o(\norm h).

مبرهنة 15.3 (قاعدة السلسلة)

إذا كانت ff قابلة للتفاضل في aa وgg في f(a)f(a)، فإن gfg \circ f قابلة للتفاضل في aa ولدينا

 ⁣d(gf)a= ⁣dgf(a) ⁣dfa,Jgf(a)=Jg(f(a))Jf(a):\dd(g \circ f)_a = \dd g_{f(a)} \circ \dd f_a , \qquad J_{g\circ f}(a) = J_g\bigl(f(a)\bigr)\,J_f(a) :

أي إن مصفوفات جاكوبي تتضارب.

برهان. نكتب f(a+h)=f(a)+ ⁣dfa(h)+hε1(h)f(a + h) = f(a) + \dd f_a(h) + \norm h\,\varepsilon_1(h) وg(b+k)=g(b)+ ⁣dgb(k)+kε2(k)g(b + k) = g(b) + \dd g_b(k) + \norm k\,\varepsilon_2(k) مع b=f(a)b = f(a)، k=k(h)= ⁣dfa(h)+hε1(h)k = k(h) = \dd f_a(h) + \norm h \varepsilon_1(h). وبالتعويض،

g(f(a+h))=g(b)+ ⁣dgb( ⁣dfa(h))+h ⁣dgb(ε1(h))+kε2(k),g(f(a+h)) = g(b) + \dd g_b\bigl(\dd f_a(h)\bigr) + \norm h\,\dd g_b(\varepsilon_1(h)) + \norm{k}\,\varepsilon_2(k),

وحدّا الخطأ كلاهما o(h)o(\norm h): الأول لأن  ⁣dgb\dd g_b متصل وε10\varepsilon_1 \to 0؛ والثاني لأن kCh\norm k \leq C\norm h (تطبيق خطي محدود زائد حد صغير) وε2(k)0\varepsilon_2(k) \to 0 عندما h0h \to 0.

مثال 15.4 (الدوال القطرية، مرة واحدة وإلى الأبد)

نضع r(x)=x2r(x) = \norm x_2 على Rn{0}\R^n\setminus\{0\} وf=grf = g \circ r حيث gg دالة C1C^1 بمتغير واحد. أولا، rr قابلة للتفاضل بعيدا عن 00: انطلاقا من r2=xi2r^2 = \sum x_i^2،

rxi=xir,أيr(x)=xx,\frac{\partial r}{\partial x_i} = \frac{x_i}{r}, \qquad\text{أي}\qquad \nabla r(x) = \frac{x}{\norm x} ,

وهي المتجهة القطرية الواحدية (نفاضل r2r^2 ونقسم — أو نطبق قاعدة السلسلة على \sqrt{\cdot}). ثم تعطي قاعدة السلسلة، من أجل كل دالة قطرية،

f(x)=g(x)xx.\nabla f(x) = g'\bigl(\norm x\bigr)\,\frac{x}{\norm x} .

وإليك حالة محسوبة: g(r)=1rg(r) = \frac1r يعطي 1x=xx3\nabla\frac{1}{\norm x} = -\frac{x}{\norm x^3}، وهو حقل مقلوب المربع في الجاذبية والكهرباء الساكنة — اتجاهه قطري وقيمته 1x2\frac{1}{\norm x^2}. والخلاصة: تدرجات الدوال القطرية قطرية لأن مجموعات المستوى كرات، ولأن التدرج عمودي على مجموعات المستوى؛ أما في x=0x = 0 فعلى النقيض، rr ليست قابلة للتفاضل (لا يوافق أي تطبيق خطي مرشح القيمة h\norm h من جميع الاتجاهات) — فالمنحنيات القطرية الملساء تحتاج إلى g(0)=0g'(0) = 0 كي تعبر المبدأ بسلاسة.

مبرهنة 15.5 (متراجحة القيمة المتوسطة)

لتكن ff قابلة للتفاضل على UU، وليكن القطعة [a,b]={a+t(ba)}\intcc{a}{b} = \{a + t(b-a)\} محتواة في UU. عندئذ

f(b)f(a)basupx[a,b] ⁣dfx.\norm{f(b) - f(a)} \leq \norm{b - a}\, \sup_{x \in \intcc{a}{b}} \vertiii{\dd f_x} .

وبوجه خاص، كل تطبيق قابل للتفاضل تفاضله معدوم على مفتوح مترابط يكون ثابتا.

برهان. الدالة φ(t)=f(a+t(ba))\varphi(t) = f(a + t(b-a)) قابلة للتفاضل على [0,1]\intcc{0}{1} ولدينا φ(t)= ⁣dfa+t(ba)(ba)\varphi'(t) = \dd f_{a + t(b-a)}(b - a) (قاعدة السلسلة)، ومعيارها Mba\leq M\norm{b-a} حيث MM هو الحد الأعلى المكتوب أعلاه. ومن أجل ff ذات القيم في R\R تكفي متراجحة القيمة المتوسطة بمتغير واحد؛ أما في حالة القيم المتجهية فنطبقها على tu,φ(t)t \mapsto \langle u, \varphi(t)\rangle حيث uu المتجهة الواحدية الموازية للمتجهة f(b)f(a)f(b) - f(a). أما الثبوت: فالدالة ثابتة محليا (القطع داخل الكرات) مع الترابط (المجموعة التي تأخذ فيها ff قيمة معطاة مفتوحة ومغلقة في آن: الفصل 4).

مثال 15.6 (ثابت ليبشيتز انطلاقا من متراجحة القيمة المتوسطة)

هل f(x,y)=sinxsinyf(x, y) = \sin x\,\sin y ليبشيتزية على R2\R^2؟ وبأي ثابت؟ تدرجها هو f=(cosxsiny, sinxcosy)\nabla f = (\cos x\sin y,\ \sin x\cos y)، ومربع معياره

cos2xsin2y+sin2xcos2ysin2y+cos2y1=1\cos^2x\sin^2y + \sin^2x\cos^2y \leq \sin^2 y + \cos^2y\cdot 1 = 1

(نحصر cos2x\cos^2x وsin2x\sin^2x كلا على حدة بالمقدار 11)، ومنه  ⁣df(x,y)=f1\vertiii{\dd f_{(x,y)}} = \norm{\nabla f} \leq 1 في كل نقطة، وتطبيق المبرهنة 15.5 على القطعة الواصلة بين نقطتين كيفما كانتا يعطي

f(b)f(a)ba2:\abs{f(b) - f(a)} \leq \norm{b - a}_2 :

إذن ff ليبشيتزية بالثابت 11، والثابت أمثلي (بجوار المبدأ يبلغ ميل f(x,π2)=sinxf(x, \tfrac\pi2) = \sin x القيمة 11). والخلاصة: متراجحة القيمة المتوسطة تحول حصرا نقطيا على التفاضل إلى مقياس اتصال شامل — وهي الطريق المعتاد إلى تقديرات ليبشيتز في كل بعد، والمحرك الكامن داخل التمرين 15.12.

15.2 المشتقات الثانية

مبرهنة 15.7 (شوارتز)

إذا كانت ff من الصنف C2C^2 على UU (أي إن جميع المشتقات الجزئية الثانية موجودة ومتصلة)، فإن من أجل كل i,ji, j:

2fxixj=2fxjxi.\frac{\partial^2 f}{\partial x_i\,\partial x_j} = \frac{\partial^2 f}{\partial x_j\,\partial x_i} .

برهان. يكفي متغيران (x=xix = x_i، y=xjy = x_j، والباقي مجمد). لننظر في الفرق الثاني

Δ(h)=f(a+h,b+h)f(a+h,b)f(a,b+h)+f(a,b).\Delta(h) = f(a + h, b + h) - f(a + h, b) - f(a, b + h) + f(a,b) .

نثبت hh ونضع φ(x)=f(x,b+h)f(x,b)\varphi(x) = f(x, b+h) - f(x, b): عندئذ Δ(h)=φ(a+h)φ(a)\Delta(h) = \varphi(a + h) - \varphi(a)، ويعطي تطبيقان لمبرهنة القيمة المتوسطة

Δ(h)=hφ(ξ)=h(fx(ξ,b+h)fx(ξ,b))=h22fyx(ξ,η),\Delta(h) = h\,\varphi'(\xi) = h\Bigl(\frac{\partial f}{\partial x}(\xi, b+h) - \frac{\partial f}{\partial x}(\xi, b)\Bigr) = h^2\,\frac{\partial^2 f}{\partial y\,\partial x}(\xi, \eta),

مع ξ(a,a+h)\xi \in \intoo{a}{a+h}، η(b,b+h)\eta \in \intoo{b}{b+h}. وبالاتصال، Δ(h)h22fyx(a,b)\frac{\Delta(h)}{h^2} \to \frac{\partial^2 f}{\partial y\partial x}(a, b) عندما h0h \to 0. والحساب نفسه بعد تبادل دوري المتغيرين (بتجميد المتغير الثاني أولا) يعطي Δ(h)h22fxy(a,b)\frac{\Delta(h)}{h^2} \to \frac{\partial^2 f}{\partial x \partial y}(a,b): فنهايتا المقدار نفسه متساويتان.

مثال 15.8 (لماذا نحتاج إلى C2C^2: المثال المضاد لبيانو)

نضع f(x,y)=xy(x2y2)x2+y2f(x, y) = \dfrac{xy(x^2 - y^2)}{x^2 + y^2}، f(0,0)=0f(0,0) = 0. بعيدا عن المبدأ تكون ff من الصنف CC^\infty؛ وفي المبدأ توجد جميع المشتقات الجزئية الأولى والثانية، لكن المختلطتين منها متباينتان. لنحسب على المحورين: f(x,0)=f(0,y)=0f(x, 0) = f(0, y) = 0، ومن أجل y0y \neq 0،

fx(0,y)=limx0f(x,y)x=y(0y2)y2=y,وبالتناظرfy(x,0)=x.\frac{\partial f}{\partial x}(0, y) = \lim_{x\to0}\frac{f(x,y)}{x} = \frac{y(0 - y^2)}{y^2} = -y , \qquad\text{وبالتناظر}\qquad \frac{\partial f}{\partial y}(x, 0) = x .

ومنه

2fyx(0,0)= ⁣d ⁣dy[fx(0,y)]y=0=1,2fxy(0,0)=+1:\frac{\partial^2 f}{\partial y\,\partial x}(0,0) = \frac{\dd}{\dd y}\Bigl[\frac{\partial f}{\partial x}(0,y)\Bigr]_{y=0} = -1, \qquad \frac{\partial^2 f}{\partial x\,\partial y}(0,0) = +1 :

فالمشتقتان المختلطتان موجودتان ومختلفتان. ولا تناقض مع المبرهنة 15.7: فالمشتقات الجزئية الثانية للدالة ff غير متصلة في 00 (اختبرها على y=txy = tx). والخلاصة: مبرهنة شوارتز مبرهنة حقيقية عن الاتصال، لا متطابقة شكلية — والفرضية “C2C^2” في مبرهنة تايلور–يونغ الآتية تؤدي عملا حقيقيا.

مبرهنة 15.9 (تايلور–يونغ من الرتبة 2)

لتكن f ⁣:URf \colon U \to \R من الصنف C2C^2 ولتكن aUa \in U. عندئذ، عندما h0h \to 0،

f(a+h)=f(a)+f(a),h+12Hah,h+o(h2),f(a + h) = f(a) + \langle\nabla f(a), h\rangle + \frac12\, \langle H_a h,\, h\rangle + o\bigl(\norm h^2\bigr),

حيث Ha=(2fxixj(a))H_a = \bigl(\frac{\partial^2 f}{\partial x_i\partial x_j}(a)\bigr) هي مصفوفة هس (وهي متناظرة، بحسب شوارتز).

برهان. نطبق مبرهنة تايلور–يونغ بمتغير واحد (مجلد السنة الأولى) على φ(t)=f(a+th)\varphi(t) = f(a + th) على [0,1]\intcc{0}{1}: بقاعدة السلسلة، φ(t)=f(a+th),h\varphi'(t) = \langle \nabla f(a + th), h\rangle وφ(t)=Ha+thh,h\varphi''(t) = \langle H_{a+th}h, h\rangle، وكلاهما متصل بدلالة tt. ثم φ(1)=φ(0)+φ(0)+12φ(θ)\varphi(1) = \varphi(0) + \varphi'(0) + \frac12\varphi''(\theta) (تايلور–لاغرانج) مع θ(0,1)\theta \in \intoo{0}{1}، ويحول اتصال المشتقات الجزئية الثانية المقدار φ(θ)=φ(0)+o(1)h2\varphi''(\theta) = \varphi''(0) + o(1)\cdot\norm h^2 بانتظام: وهو النشر المكتوب أعلاه.

مثال 15.10 (نشر بطريقتين)

لننشر f(x,y)=excosyf(x, y) = \eu^x\cos y في المبدأ حتى الرتبة 22. بتركيب النشور ذات المتغير الواحد:

excosy=(1+x+x22+o(x2))(1y22+o(y2))=1+x+x2y22+o((x,y)2).\eu^x\cos y = \Bigl(1 + x + \frac{x^2}{2} + o(x^2)\Bigr)\Bigl(1 - \frac{y^2}{2} + o(y^2)\Bigr) = 1 + x + \frac{x^2 - y^2}{2} + o\bigl(\norm{(x,y)}^2\bigr) .

بالمشتقات الجزئية: fx=excosyf_x = \eu^x\cos y، fy=exsinyf_y = -\eu^x\sin y، ومنه f(0)=(1,0)\nabla f(0) = (1, 0)؛ ثم fxx=ff_{xx} = f، fyy=ff_{yy} = -f، fxy=exsinyf_{xy} = -\eu^x\sin y تعطي H0=diag(1,1)H_0 = \operatorname{diag}(1, -1): فالمقدار المبرهنة 15.9 يعيد إنتاج 1+x+12(x2y2)1 + x + \frac12(x^2 - y^2). والحسابان متوافقان، وطريق التركيب كان أسرع — دون أي مشتقة جزئية ثانية. والخلاصة: المبدأ ليس نقطة حرجة (f0\nabla f \neq 0)، فرغم أن مصفوفة هس غير معرفة الإشارة لا يوجد سرج نعلنه: الحد الخطي هو المتحكم، والاختبار من الرتبة الثانية لا ينطق إلا في النقاط الحرجة.

مبرهنة 15.11 (اختبار القيم القصوى من الرتبة الثانية، مبرهنا)

لتكن ff من الصنف C2C^2 بجوار نقطة حرجة aa (f(a)=0\nabla f(a) = 0)، ولتكن مصفوفة هس H=HaH = H_a.

  1. إذا كانت HH معرفة موجبة، فإن aa قيمة صغرى محلية تامة (ومعرفة سالبة: قيمة عظمى).
  2. إذا كان لدى HH قيم ذاتية من الإشارتين، فإن aa سرج: لا قيمة قصوى.
  3. إذا كانت HH شاذة (وشبه معرفة)، فلا نتيجة.

واختبار السنة الأولى “rts2rt - s^2” هو الحالة n=2n = 2: detH=rts2\det H = rt - s^2، وتُقرأ إشارة tr\operatorname{tr} من rr.

برهان. بالمبرهنة الطيفية (المبرهنة 12.13)، تكون الصورة التربيعية للمصفوفة HH محصورة بين قيمتيها الذاتيتين الحديتين: λminh2Hh,hλmaxh2\lambda_{\min}\norm h^2 \leq \langle Hh, h\rangle \leq \lambda_{\max}\norm h^2.

(1) إذا كان λmin>0\lambda_{\min} > 0: تعطي مبرهنة تايلور–يونغ

f(a+h)f(a)λmin2h2o(h2)>0f(a + h) - f(a) \geq \frac{\lambda_{\min}}{2}\norm h^2 - o(\norm h^2) > 0

من أجل h0h \neq 0 صغيرة: قيمة صغرى محلية تامة.

(2) على متجهة ذاتية v+v_+ مع λ+>0\lambda_+ > 0: لدينا f(a+tv+)f(a)=λ+2t2+o(t2)>0f(a + tv_+) - f(a) = \frac{\lambda_+}{2}t^2 + o(t^2) > 0 من أجل tt صغيرة؛ وعلى vv_- مع λ<0\lambda_- < 0 يكون الفرق سالبا: فالإشارتان تظهران معا في كل جوار.

(3) المقادير f(x,y)=x2+y4f(x,y) = x^2 + y^4، x2y4x^2 - y^4، x2+y3x^2 + y^3 تشترك في مصفوفة هس الشاذة شبه المعرفة نفسها في 00، مع ثلاثة سلوكات مختلفة.

مثال 15.12 (تصنيف كامل، مع الطابع الشامل)

لنصنف جميع القيم القصوى للدالة f(x,y)=x4+y44xyf(x, y) = x^4 + y^4 - 4xy على R2\R^2. النقاط الحرجة: f=(4x34y, 4y34x)=0\nabla f = (4x^3 - 4y,\ 4y^3 - 4x) = 0 يعطي y=x3y = x^3 وx=y3=x9x = y^3 = x^9، ومنه x(x81)=0x(x^8 - 1) = 0: والحلول الحقيقية هي (0,0)(0,0)، (1,1)(1,1)، (1,1)(-1,-1). مصفوفات هس: H=(12x24412y2)H = \begin{pmatrix} 12x^2 & -4\\ -4 & 12y^2\end{pmatrix}. في (±1,±1)(\pm1, \pm1): (124412)\begin{pmatrix} 12 & -4\\ -4 & 12\end{pmatrix}، وقيمتاها الذاتيتان 88 و1616: فهي معرفة موجبة، وهناك قيمتان صغريان محليتان تامتان بالقيمة f=2f = -2. وفي (0,0)(0,0): (0440)\begin{pmatrix} 0 & -4\\ -4 & 0\end{pmatrix}، وقيمتاها الذاتيتان ±4\pm4: فهي سرج. الطابع الشامل: انطلاقا من 2xyx2+y22\abs{xy} \leq x^2 + y^2،

f(x,y)x4+y42(x2+y2)=(x21)2+(y21)2+x2+y22(x,y)+:f(x, y) \geq x^4 + y^4 - 2(x^2 + y^2) = (x^2 - 1)^2 + (y^2 - 1)^2 + x^2 + y^2 - 2 \xrightarrow[\norm{(x,y)}\to\infty]{} +\infty :

فالدالة ff قسرية، ومنه فهي تبلغ قيمة صغرى شاملة (بتراص مجموعات تحت المستوى)، وذلك بالضرورة في نقطة حرجة: فالقيمة 2-2، المبلوغة في (1,1)(1,1) وفي (1,1)(-1,-1) معا، هي القيمة الصغرى الشاملة؛ ولا توجد قيمة عظمى (فالمقدار ff غير محدود من الأعلى). والخلاصة: الاختبار المحلي يصنف المرشحين، لكن حجة نمو وحدها هي التي تحول “المحلي” إلى “الشامل” — وهي الخطوتان اللتان يسير عليهما كل برهان أمثلة في هذا الكتاب.

طريقة 15.13 (تصنيف القيم القصوى للدالة f ⁣:RnRf \colon \R^n \to \R)

  1. نحل f=0\nabla f = 0 (فنحصل على جميع النقاط الحرجة؛ وعلى مجال ذي حافة نعالج الحافة على حدة كما في التمرين 15.7).
  2. في كل نقطة حرجة، نحسب مصفوفة هس وإشارات قيمها الذاتية — وفي البعد 22 يكفي detH\det H وtrH\operatorname{tr} H: فإذا كان det<0\det < 0 فسرج؛ وإذا كان det>0\det > 0 فقيمة قصوى، من النوع الذي تحدده إشارة الأثر؛ وإذا كان det=0\det = 0 فالاختبار صامت، وندرس ff على منحنيات.
  3. من أجل النتائج الشاملة، نضيف حجة تراص أو قسرية (f+f \to +\infty عند اللانهاية، أو مجموعة قيود متراصة)، ثم نقارن القيم الحرجة.

15.3 مبرهنة الدالة العكسية

مبرهنة 15.14 (مبرهنة الدالة العكسية)

لتكن f ⁣:URnf \colon U \to \R^n من الصنف C1C^1 ولتكن aUa \in U بحيث يكون  ⁣dfa\dd f_a قابلا للقلب. عندئذ يوجد جواران مفتوحان VaV \ni a، Wf(a)W \ni f(a) بحيث يكون f ⁣:VWf \colon V \to W تقابلا عكسه من الصنف C1C^1، ولدينا

 ⁣d(f1)f(x)=( ⁣dfx)1(xV).\dd (f^{-1})_{f(x)} = (\dd f_x)^{-1} \qquad (x \in V).

برهان. نقبله في هذا المستوى.

ملاحظة 15.15 (لماذا هي صحيحة: استراتيجية النقطة الثابتة)

حل f(x)=yf(x) = y بجوار aa يُعاد كتابته على صورة معادلة النقطة الثابتة x=x+ ⁣dfa1(yf(x))=:Φy(x)x = x + \dd f_a^{-1}\bigl(y - f(x)\bigr) =: \Phi_y(x)؛ والتطبيق Φy\Phi_y تفاضله id ⁣dfa1 ⁣dfx\mathrm{id} - \dd f_a^{-1}\dd f_x، وهو صغير بجوار aa باتصال  ⁣df\dd f، ومنه فإن Φy\Phi_y تطبيق تقلصي على كرة مغلقة صغيرة، فتوفر مبرهنة نقطة بناخ الثابتة (المبرهنة 4.12) الحل المحلي الوحيد x=f1(y)x = f^{-1}(y). أما اتصال الدالة العكسية وقابليتها للتفاضل فينتجان من التقديرات الواردة في التقلص. والحساب التفصيلي الكامل يُنجز في السنة الثالثة؛ أما الاستراتيجية — والنص — فتُستعملان بحرية من الآن فصاعدا. وتنتج المبرهنة الرفيقة، مبرهنة الدالة الضمنية (وهي حل F(x,y)=0F(x, y) = 0 بدلالة y(x)y(x) عندما يكون Fy\frac{\partial F}{\partial y} قابلا للقلب)، بتطبيق المبرهنة على (x,y)(x,F(x,y))(x, y) \mapsto (x, F(x,y)).

مثال 15.16 (الإحداثيات القطبية)

مصفوفة جاكوبي للتطبيق Φ(r,θ)=(rcosθ,rsinθ)\Phi(r, \theta) = (r\cos\theta, r\sin\theta) هي

JΦ=(cosθrsinθsinθrcosθ),detJΦ=r:J_\Phi = \begin{pmatrix} \cos\theta & -r\sin\theta\\ \sin\theta & r\cos\theta \end{pmatrix}, \qquad \det J_\Phi = r :

وهي قابلة للقلب من أجل r0r \neq 0، ومنه فإن Φ\Phi تقابل تفاضلي محلي من الصنف C1C^1 بعيدا عن المبدأ — وهو الترخيص الذي يبيح “الانتقال إلى الإحداثيات القطبية”، مجددا من أجل التكاملات المتعددة في الفصل 20.

مثال 15.17 (محلي في كل مكان، شامل في لا مكان)

نضع f(x,y)=(excosy, exsiny)f(x, y) = \bigl(\eu^x\cos y,\ \eu^x\sin y\bigr) على R2\R^2. مصفوفة جاكوبي،

Jf=(excosyexsinyexsinyexcosy),detJf=e2x>0,J_f = \begin{pmatrix} \eu^x\cos y & -\eu^x\sin y\\ \eu^x\sin y & \eu^x\cos y \end{pmatrix}, \qquad \det J_f = \eu^{2x} > 0 ,

لا تنعدم أبدا: فبحسب المبرهنة 15.14 يكون ff تقابلا تفاضليا محليا من الصنف C1C^1 في كل نقطة من المستوي. ومع ذلك فإن ff بعيد كل البعد عن التباين: لدينا f(x,y+2π)=f(x,y)f(x, y + 2\pi) = f(x, y)، فكل قيمة تُبلغ عددا لانهائيا من المرات؛ وهو ليس غامرا أيضا، إذ إن f(x,y)=ex>0\norm{f(x, y)} = \eu^x > 0 يفوّت المبدأ. والخلاصة: مبرهنة الدالة العكسية محلية على نحو لا يُختزل — فقابلية قلب كل  ⁣dfa\dd f_a تعطي ترقيعا من دوال عكسية محلية ليس من الضروري أن تتجمع في واحدة. (وسيتعرف القراء الذين يعرفون الأعداد المركبة على zezz \mapsto \eu^z؛ والترقيع هو عائلة فروع اللوغاريتم.) قارن ذلك بالتمرين التمرين 15.12، حيث تفرض فرضية شاملة كمية وجود دالة عكسية شاملة واحدة.

ملاحظة 15.18 (مزالق شائعة)

(1) المشتقات الاتجاهية رخيصة، والتفاضلات ليست كذلك: قد توجد جميع المشتقات الاتجاهية — بل وقد لا تتعلق خطيا بالاتجاه — دون قابلية للتفاضل (التمرين 15.2)؛ ووحده محك C1C^1 (المبرهنة 15.2) يرفع المشتقات الجزئية إلى تفاضل. (2) الحرج لا يعني الأقصى: فالسروج (المثال 15.12) والحالة الشاذة الصامتة (المبرهنة 15.11 (3)) كلتاهما تختبئان وراء f=0\nabla f = 0. (3) لا مساواة قيمة متوسطة ذات قيم متجهية: وحدها المتراجحة في المبرهنة 15.5 تبقى صحيحة (التمرين 15.9)؛ ولا تكتب أبدا f(b)f(a)= ⁣dfc(ba)f(b) - f(a) = \dd f_c(b-a) من أجل ff ذات قيم في Rm\R^m، m2m \geq 2. (4) قابلية القلب المحلية ليست تباينا: المثال 15.17. (5) التدرج ملك للجداء السلمي: فالمقدار f\nabla f هو المتجهة الممثلة للتفاضل  ⁣dfa\dd f_a في جداء سلمي مختار؛ فإن غيّرنا الجداء (كما في المثال الموزون من فصل الصور التربيعية) دار التدرج، بينما التفاضل — وهو الكائن الجوهري — لا يتحرك.

ملاحظة 15.19 (أين يُستعمل هذا)

كل ما يأتي بعد هذا الفصل هو حساب تفاضل مطبق: ففصل المعادلات التفاضلية يخطّط التدفقات ويستعمل صيغة ليوفيل للمحدد (المبرهنة في مسألة نهاية الأسبوع لهذا الفصل)؛ وفصلا المنحنيات والسطوح يدرسان مجموعات المستوى والتوسيمات عبر مبرهنة الدالة الضمنية؛ والتكاملات المتعددة تغير المتغيرات بمصفوفات جاكوبي. وتطور مسألة نهاية الأسبوع حساب التفاضل على فضاء المصفوفات نفسهتفاضل المحدد، وتفاضل المقلوب، والأسي المصفوفي، والزمرة المتعامدة بوصفها مجموعة مستوى ملساء — وهو ظل السنة الثانية لما يصوغه مجلد السنة الثالثة على أنه متنوعات وزمر لي.

15.4 تمارين

تمرين 15.1

احسب مصفوفتي جاكوبي للتطبيقين f(x,y)=(x2y2,2xy)f(x,y) = (x^2 - y^2,\, 2xy) وΦ(r,θ,z)=(rcosθ,rsinθ,z)\Phi(r,\theta,z) = (r\cos\theta, r\sin\theta, z)؛ وأين يكون التفاضلان قابلين للقلب؟

حل

حل التمرين 15.1.

Jf=(2x2y2y2x)J_f = \begin{pmatrix} 2x & -2y\\ 2y & 2x\end{pmatrix}، detJf=4(x2+y2)\det J_f = 4(x^2 + y^2): قابلة للقلب بعيدا عن المبدأ. (وهذا التطبيق ff هو zz2z \mapsto z^2 متنكرا في ثوب مركب.)

JΦ=(cosθrsinθ0sinθrcosθ0001)J_\Phi = \begin{pmatrix} \cos\theta & -r\sin\theta & 0\\ \sin\theta & r\cos\theta & 0\\ 0 & 0 & 1\end{pmatrix}، det=r\det = r: قابلة للقلب من أجل r0r \neq 0 (الإحداثيات الأسطوانية).

تمرين 15.2

لتكن f(x,y)=x3x2+y2f(x,y) = \frac{x^3}{x^2 + y^2} (f(0,0)=0f(0,0) = 0). برهن على أن جميع المشتقات الاتجاهية للدالة ff في 00 موجودة، لكن ff ليست قابلة للتفاضل في 00 (التطبيق vv \mapsto المشتقة الاتجاهية ليس خطيا).

حل

حل التمرين 15.2.

من أجل v=(a,b)0v = (a, b) \neq 0: f(tv)0t=t3a3tt2(a2+b2)=a3a2+b2\frac{f(tv) - 0}{t} = \frac{t^3a^3}{t\cdot t^2(a^2+b^2)} = \frac{a^3}{a^2 + b^2}: فكل مشتقة اتجاهية موجودة، وقيمتها Dv=a3a2+b2D_v = \frac{a^3}{a^2+b^2}. لكن vDvv \mapsto D_v ليس خطيا (D(1,0)=1D_{(1,0)} = 1، D(0,1)=0D_{(0,1)} = 0، D(1,1)=121D_{(1,1)} = \frac12 \neq 1): فلا يمكن لأي تطبيق خطي أن ينتج هذه القيم، ومنه فإن ff ليست قابلة للتفاضل في 00 (إذ كان يجب أن يكون التفاضل vDvv \mapsto D_v).

تمرين 15.3

جد النقاط الحرجة للدالة f(x,y)=x3+y33xyf(x, y) = x^3 + y^3 - 3xy وصنفها باستعمال المبرهنة 15.11، ثم افعل الشيء نفسه من أجل g(x,y)=x4+y42(xy)2g(x,y) = x^4 + y^4 - 2(x - y)^2.

حل

حل التمرين 15.3.

f=x3+y33xyf = x^3 + y^3 - 3xy: النقطتان الحرجتان (0,0)(0,0) و(1,1)(1,1) (حساب السنة الأولى). مصفوفات هس: H=(6x336y)H = \begin{pmatrix} 6x & -3\\ -3 & 6y\end{pmatrix}. في (0,0)(0,0): إشارتا القيمتين الذاتيتين مختلطتان (det=9<0\det = -9 < 0): سرج. وفي (1,1)(1,1): det=27>0\det = 27 > 0، والأثر >0> 0: فهي معرفة موجبة، وقيمة صغرى محلية تامة — مبررة الآن بالمبرهنة المبرهنة 15.11 لا مفروضة بالمرسوم.

g=x4+y42(xy)2g = x^4 + y^4 - 2(x-y)^2: g=(4x34(xy),  4y3+4(xy))\nabla g = (4x^3 - 4(x - y),\; 4y^3 + 4(x-y))؛ النقاط الحرجة (0,0)(0,0)، (2,2)(\sqrt2, -\sqrt2)، (2,2)(-\sqrt2, \sqrt2) (السنة الأولى). في (±2,2)(\pm\sqrt2, \mp\sqrt2): H=(12244420)=(204420)H = \begin{pmatrix} 12\cdot2 - 4 & 4\\ 4 & 20\end{pmatrix} = \begin{pmatrix} 20 & 4\\ 4 & 20\end{pmatrix}: معرفة موجبة (سائدة قطريا؛ وقيمها الذاتية 24,1624, 16): قيم صغرى محلية تامة. وفي (0,0)(0,0): H=(4444)H = \begin{pmatrix} -4 & 4\\ 4 & -4\end{pmatrix}، شاذة شبه معرفة سالبة: فالاختبار صامت؛ والدراسة الاتجاهية (g(x,x)=2x4>0g(x,x) = 2x^4 > 0، g(x,x)=2x48x2<0g(x,-x) = 2x^4 - 8x^2 < 0 صغيرة) تبين نقطة شبيهة بالسرج — فلا قيمة قصوى.

تمرين 15.4 ★★

لتكن f ⁣:RnRf \colon \R^n \to \R من الصنف C1C^1 ومتجانسة من الدرجة pp: f(tx)=tpf(x)f(tx) = t^pf(x) من أجل t>0t > 0. برهن على متطابقة أويلر

f(x),x=pf(x),\langle \nabla f(x), x\rangle = p\,f(x) ,

وعلى عكسها من أجل الدوال من الصنف C1C^1 على Rn{0}\R^n\setminus\{0\}.

حل

حل التمرين 15.4.

نفاضل tf(tx)t \mapsto f(tx) في t=1t = 1: بقاعدة السلسلة، f(x),x\langle \nabla f(x), x\rangle؛ وبالتجانس تكون الدالة نفسها tpf(x)t^pf(x)، ومشتقتها pf(x)pf(x) في t=1t = 1: وهي متطابقة أويلر.

العكس: نثبت x0x \neq 0 ونضع φ(t)=f(tx)tpf(x)\varphi(t) = f(tx) - t^p f(x) على t>0t > 0. عندئذ φ(t)=f(tx),xptp1f(x)=1t(f(tx),txptpf(x))\varphi'(t) = \langle\nabla f(tx), x\rangle - pt^{p-1}f(x) = \frac1t\bigl(\langle \nabla f(tx), tx\rangle - p\,t^pf(x)\bigr). والفرضية — متطابقة أويلر في النقطة txtx — تجعل قيمة القوس pf(tx)ptpf(x)=pφ(t)p\,f(tx) - p\,t^pf(x) = p\,\varphi(t). ومنه φ=ptφ\varphi' = \frac{p}{t}\varphi مع φ(1)=0\varphi(1) = 0: والحل الوحيد لهذه المعادلة التفاضلية الخطية هو φ0\varphi \equiv 0 (وحدانية السنة الأولى)، أي f(tx)=tpf(x)f(tx) = t^pf(x).

تمرين 15.5 ★★

لتكن AA متناظرة ولتكن f(x)=12Ax,xb,xf(x) = \frac12\langle Ax, x\rangle - \langle b, x\rangle. احسب f\nabla f وHfH_f؛ ومتى تكون ff محدبة؟ بافتراض AA معرفة موجبة، بيّن أن ff تقبل قيمة صغرى شاملة وحيدة في حل المعادلة Ax=bAx = b — وهي علة وجود خوارزمية النزول بالتدرج.

حل

حل التمرين 15.5.

بنشر f(x+h)f(x)=Axb,h+12Ah,hf(x + h) - f(x) = \langle Ax - b, h\rangle + \frac12\langle Ah, h\rangle (وبتناظر AA): f(x)=Axb\nabla f(x) = Ax - b وHf=AH_f = A في كل نقطة. والدالة ff محدبة إذا وفقط إذا كانت AA شبه معرفة موجبة (اختبار مصفوفة هس، وهو شامل هنا لأن HH ثابتة: فصيغة تايلور من الرتبة الثانية مضبوطة). وإذا كانت AA معرفة موجبة: فالنقطة الحرجة الوحيدة هي x=A1bx^* = A^{-1}b، ولدينا f(x+h)f(x)=12Ah,hλmin2h2>0f(x^* + h) - f(x^*) = \frac12\langle Ah, h\rangle \geq \frac{\lambda_{\min}}{2}\norm h^2 > 0 من أجل h0h \neq 0: قيمة صغرى شاملة تامة.

تمرين 15.6 ★★

(مضاعف لاغرانج، بقيد واحد، مبرهنا يدويا) لتكن f,gf, g من الصنف C1C^1 على R2\R^2، ولنفترض أن ff تبلغ في aa قيمة قصوى محلية على مجموعة المستوى {g=0}\{g = 0\}، مع g(a)0\nabla g(a) \neq 0. برهن على أن f(a)=λg(a)\nabla f(a) = \lambda\nabla g(a) من أجل λ\lambda ما. (وسّم مجموعة المستوى بجوار aa بمبرهنة الدالة الضمنية ثم فاضل tf(γ(t))t \mapsto f(\gamma(t)).) تطبيق: القيم القصوى للدالة f(x,y)=xyf(x,y) = xy على الدائرة x2+y2=1x^2 + y^2 = 1.

حل

حل التمرين 15.6.

بما أن g(a)0\nabla g(a) \neq 0، فإن إحدى المشتقات الجزئية، ولتكن gy(a)0\frac{\partial g}{\partial y}(a) \neq 0: تسمح مبرهنة الدالة الضمنية (رفيقة المبرهنة المبرهنة 15.14) بتوسيم {g=0}\{g = 0\} بجوار a=(a1,a2)a = (a_1, a_2) على الصورة γ(t)=(t,y(t))\gamma(t) = (t, y(t)) مع yy C1C^1، y(t)=xgyg(γ(t))y'(t) = -\frac{\partial_x g}{\partial_y g}(\gamma(t)) (بمفاضلة g(t,y(t))=0g(t, y(t)) = 0). والدالة ذات المتغير الواحد tf(γ(t))t \mapsto f(\gamma(t)) تبلغ قيمة قصوى محلية في t=a1t = a_1:

0= ⁣d ⁣dtf(γ(t))a1=xf(a)+yf(a)y(a1)=xf(a)yf(a)xg(a)yg(a):0 = \frac{\dd}{\dd t}f(\gamma(t))\Big|_{a_1} = \partial_x f(a) + \partial_y f(a)\,y'(a_1) = \partial_x f(a) - \partial_yf(a)\frac{\partial_x g(a)}{\partial_y g(a)} :

فللمتجهتين f(a)\nabla f(a) وg(a)\nabla g(a) إحداثيات متناسبة: f(a)=λg(a)\nabla f(a) = \lambda \nabla g(a) مع λ=yf(a)yg(a)\lambda = \frac{\partial_y f(a)}{\partial_y g(a)}.

تطبيق: على الدائرة، توازي (xy)=(y,x)\nabla(xy) = (y, x) مع (2x,2y)(2x, 2y) يفرض y2=x2y^2 = x^2؛ ومع القيد، تكون المرشحات هي ±(12,12)\pm\bigl(\tfrac{1}{\sqrt2}, \tfrac{1}{\sqrt2}\bigr) (بالقيمة 12\frac12) و±(12,12)\pm\bigl(\tfrac{1}{\sqrt2}, -\tfrac{1}{\sqrt2}\bigr) (بالقيمة 12-\frac12): فالقيمة العظمى 12\frac12 والصغرى 12-\frac12 (وهما مبلوغتان: فالدائرة متراصة).

تمرين 15.7 ★★

عيّن القيم القصوى للدالة f(x,y)=x2+y2xy+xyf(x, y) = x^2 + y^2 - xy + x - y على R2\R^2، ثم قيمتيها العظمى والصغرى على المثلث المغلق ذي الرؤوس (0,0)(0,0) و(1,0)(1,0) و(0,1)(0,1) (النقاط الحرجة الداخلية، ثم الأضلاع الثلاثة، ثم الرؤوس).

حل

حل التمرين 15.7.

f=(2xy+1,  2yx1)=0\nabla f = (2x - y + 1,\; 2y - x - 1) = 0: وبالحل، x=13x = -\frac13، y=13y = \frac13. ومصفوفة هس (2112)\begin{pmatrix} 2 & -1\\ -1 & 2\end{pmatrix} معرفة موجبة: فهي قيمة صغرى شاملة للصورة التربيعية ff، وقيمتها f(13,13)=13f\bigl(-\frac13, \frac13\bigr) = -\frac13.

على المثلث TT: النقطة الحرجة الداخلية (13,13)T(-\frac13, \frac13) \notin T (وقيمتها سالبة xx). الأضلاع: على y=0y = 0، x[0,1]x \in \intcc{0}{1}: f=x2+xf = x^2 + x، وهي متزايدة: فالطرفان 00 و22. وعلى x=0x = 0: f=y2yf = y^2 - y، والقيمة الصغرى 14-\frac14 في y=12y = \frac12، والقيمتان 00 و00 عند الطرفين. وعلى x+y=1x + y = 1: نعوض y=1xy = 1 - x، f=x2+(1x)2x(1x)+x(1x)=3x2xf = x^2 + (1-x)^2 - x(1-x) + x - (1-x) = 3x^2 - x؛ وعلى [0,1]\intcc{0}{1}: القيمة الصغرى 112-\frac{1}{12} في x=16x = \frac16، والقيمتان 00 (في x=0x=0) و22 (في x=1x=1). الرؤوس: f(0,0)=0f(0,0) = 0، f(1,0)=2f(1,0) = 2، f(0,1)=0f(0,1) = 0. وبوجه شامل على TT: القيمة الصغرى 14-\frac14 في (0,12)(0, \frac12)، والقيمة العظمى 22 في (1,0)(1, 0).

تمرين 15.8 ★★★

لتكن f ⁣:R2R2f \colon \R^2 \to \R^2، f(x,y)=(x+y2,  y+x2)f(x, y) = (x + y^2,\; y + x^2). بيّن أن ff تقابل تفاضلي محلي بجوار 00، واحسب  ⁣d(f1)(0,0)\dd(f^{-1})_{(0,0)}، وجد أكبر rr بحيث يكون  ⁣df\dd f قابلا للقلب على الكرة (x,y)2<r\norm{(x,y)}_2 < r (احسب detJf\det J_f).

حل

حل التمرين 15.8.

Jf=(12y2x1)J_f = \begin{pmatrix} 1 & 2y\\ 2x & 1\end{pmatrix}، detJf=14xy\det J_f = 1 - 4xy. في 00: det=10\det = 1 \neq 0: تقابل تفاضلي محلي (المبرهنة 15.14)، مع

 ⁣d(f1)(0,0)=(Jf(0))1=I2.\dd(f^{-1})_{(0,0)} = (J_f(0))^{-1} = I_2 .

أما قابلية القلب على كرة: فنحتاج إلى 4xy<14\abs{xy} < 1 في كل نقطة؛ وعلى (x,y)2<r\norm{(x,y)}_2 < r، xyx2+y22<r22\abs{xy} \leq \frac{x^2 + y^2}{2} < \frac{r^2}{2}، ومنه فإن r=12r = \frac{1}{\sqrt2} يفي بالغرض؛ وهو الأكبر: إذ في (x,y)=(12,12)(x, y) = \bigl(\tfrac12, \tfrac12\bigr)، ذي المعيار 12\frac{1}{\sqrt2}، لدينا detJf=0\det J_f = 0.

تمرين 15.9 ★★★

(مبرهنة رول تسقط، ومبرهنة القيمة المتوسطة تصمد) أعط f ⁣:RR2f \colon \R \to \R^2، C1C^1، مع f(0)=f(2π)f(0) = f(2\pi) لكن f(t)0f'(t) \neq 0 من أجل كل tt (فلا مبرهنة رول ذات قيم متجهية). ثم تحقق على مثالك من متراجحة القيمة المتوسطة في المبرهنة 15.5.

حل

حل التمرين 15.9.

f(t)=(cost,sint)f(t) = (\cos t, \sin t): f(0)=f(2π)=(1,0)f(0) = f(2\pi) = (1, 0)، ومع ذلك فإن معيار f(t)=(sint,cost)f'(t) = (-\sin t, \cos t) يساوي 11، ولا ينعدم أبدا: فلا توجد نقطة تنعدم فيها المشتقة — ولا نظير متجهي لمبرهنة رول. أما متراجحة القيمة المتوسطة فتتحقق بأريحية: f(2π)f(0)=02πsupf=2π\norm{f(2\pi) - f(0)} = 0 \leq 2\pi \cdot \sup\norm{f'} = 2\pi.

تمرين 15.10

احسب التفاضل والتدرج للدالتين f(x)=x22f(x) = \norm x_2^2 وg(x)=Ax,xg(x) = \langle Ax, x\rangle على Rn\R^n (حيث AA مصفوفة مربعة لا نفترضها متناظرة)، ثم احسب مصفوفة هس لكل منهما. ومن أجل أي AA تكون gg محدبة؟

حل

حل التمرين 15.10.

f(x+h)f(x)=2x,h+h2f(x+h) - f(x) = 2\langle x, h\rangle + \norm h^2:  ⁣dfx=2x,\dd f_x = 2\langle x, \cdot\rangle، f(x)=2x\nabla f(x) = 2x، ومصفوفة هس 2I2I (ثابتة). ومن أجل gg:

g(x+h)g(x)=Ax,h+Ah,x+Ah,h=(A+AT)x, h+O(h2),g(x + h) - g(x) = \langle Ax, h\rangle + \langle Ah, x\rangle + \langle Ah, h\rangle = \bigl\langle (A + A^{\mathsf T})x,\ h\bigr\rangle + O(\norm h^2),

ومنه g(x)=(A+AT)x\nabla g(x) = (A + A^{\mathsf T})x وHg=A+ATH_g = A + A^{\mathsf T}، وهي ثابتة. وبحسب التمرين 15.11 تكون gg محدبة إذا وفقط إذا كانت A+ATA + A^{\mathsf T} شبه معرفة موجبة — فلا يهم إلا الجزء المتناظر من AA، وهو ما يؤكده g(x)=A+AT2x,xg(x) = \langle \frac{A + A^{\mathsf T}}2 x, x\rangle فعلا.

تمرين 15.11 ★★

لتكن f ⁣:RnRf \colon \R^n \to \R من الصنف C2C^2. برهن على أن ff محدبة إذا وفقط إذا كانت مصفوفة هس HxH_x شبه معرفة موجبة في كل xx (اختزل الأمر إلى متغير واحد: tf(a+t(ba))t \mapsto f(a + t(b-a))؛ واستعمل تايلور–لاغرانج في اتجاه واحد، وقيّم φ\varphi'' من أجل العكس).

حل

حل التمرين 15.11.

تكون ff محدبة إذا وفقط إذا كان قصرها على كل قطعة محدبا، أي إذا وفقط إذا كانت كل دالة φ(t)=f(a+tv)\varphi(t) = f(a + tv) محدبة. وبقاعدة السلسلة φ(t)=Ha+tvv, v\varphi''(t) = \langle H_{a+tv}\,v,\ v\rangle.

فإذا كانت جميع مصفوفات هس شبه معرفة موجبة: φ0\varphi'' \geq 0، ومنه فإن كل φ\varphi محدبة (مجلد السنة الأولى) وff محدبة. وبالعكس، إذا كانت ff محدبة، فكل φ\varphi محدبة، ومنه φ(0)0\varphi''(0) \geq 0: أي Hav,v0\langle H_a v, v\rangle \geq 0 من أجل كل aa وكل اتجاه vv: فجميع مصفوفات هس شبه معرفة موجبة.

تمرين 15.12 ★★★

(مبرهنة قلب شاملة) لتكن g ⁣:RnRng \colon \R^n \to \R^n من الصنف C1C^1 مع  ⁣dgxk<1\vertiii{\dd g_x} \leq k < 1 من أجل كل xx، ولتكن f=id+gf = \mathrm{id} + g.

  1. بيّن أن f(x)f(y)(1k)xy\norm{f(x) - f(y)} \geq (1 - k)\norm{x - y}: ومنه فإن ff متباين، وعكسه متصل على صورته.
  2. بيّن أن التطبيق xyg(x)x \mapsto y - g(x) تقلصي على الفضاء التام Rn\R^n من أجل كل yRny \in \R^n، واستنتج بمبرهنة نقطة بناخ الثابتة (المبرهنة 4.12) أن ff غامر.
  3. استنتج أن ff تقابل من Rn\R^n على نفسه، عكسه ليبشيتزي بالثابت (1k)1(1-k)^{-1} — وهو النظير الشامل للمبرهنة المبرهنة 15.14 (التي هي، على النقيض، محلية بحتة).
حل

حل التمرين 15.12.

  1. بمتراجحة القيمة المتوسطة (المبرهنة 15.5) مطبقة على gg: g(x)g(y)kxy\norm{g(x) - g(y)} \leq k\norm{x-y}، ومنه

    f(x)f(y)xyg(x)g(y)(1k)xy:\norm{f(x) - f(y)} \geq \norm{x - y} - \norm{g(x) - g(y)} \geq (1 - k)\norm{x - y} :

    فالتطبيق ff متباين، والتطبيق f1f^{-1} (المعرف على الصورة) ليبشيتزي بالثابت 11k\frac{1}{1-k}.

  2. نثبت yy؛ يحقق T(x)=yg(x)T(x) = y - g(x) العلاقة T(x)T(x)=g(x)g(x)kxx\norm{T(x) - T(x')} = \norm{g(x') - g(x)} \leq k\norm{x - x'}: فهو تقلصي على الفضاء التام Rn\R^n. وتعطي مبرهنة بناخ (المبرهنة 4.12) نقطة ثابتة x=yg(x)x^* = y - g(x^*)، أي f(x)=yf(x^*) = y: ومنه فإن ff غامر.
  3. ومنه فإن ff تقابل من Rn\R^n على نفسه، عكسه ليبشيتزي بالثابت 11k\frac{1}{1-k}: وهي مبرهنة قلب شاملة، حيث يحل صغر  ⁣dg\dd g في كل نقطة محل فرضية قابلية القلب المحلية في المبرهنة 15.14.

15.5 مسألة: حساب تفاضل المصفوفات — جاكوبي والأسي والزمرة المتعامدة

مسألة 15.1

إن أنقى ميدان للعب حساب التفاضل هو الفضاء Mn(R)Rn2\mathcal M_n(\R) \simeq \R^{n^2} نفسه: فأكثر تطبيقاته طبيعية — الجداء والمقلوب والمحدد والأسي — لها تفاضلات بالغة الأناقة. وتحسب هذه المسألة هذه التفاضلات كلها: متسلسلة نويمان، وتفاضل المقلوب، وصيغة جاكوبي للمحدد مع صيغة ليوفيل ربحا إضافيا، والأسي المصفوفي مع deteA=etrA\det\eu^A = \eu^{\operatorname{tr}A}، وأخيرا الزمرة المتعامدة OnO_n بوصفها مجموعة مستوى ملساء مماسها فضاء المصفوفات المتخالفة التناظر — وهي الهندسة التفاضلية في مهدها. وفي كل ما يلي، \vertiii\cdot هو معيار المؤثر المرافق للمعيار 2\norm\cdot_2، وX,Y=tr(XTY)\langle X, Y\rangle = \operatorname{tr}(X^{\mathsf T}Y) هو الجداء السلمي لفروبينيوس.

الجزء الأول — متسلسلة نويمان.

  1. برهن على الخاصية تحت الضربية ABAB\vertiii{AB} \leq \vertiii A\,\vertiii B، واستنتج أن التطبيقات الحدودية بدلالة AA (جداءات المصفوفات والمحدد والأثر) متصلة على Mn(R)\mathcal M_n(\R).
  2. من أجل X<1\vertiii X < 1، بيّن أن k0Xk\sum_{k\geq0}X^k تتقارب تقاربا مطلقا في Mn(R)\mathcal M_n(\R) (المبرهنة 5.21)، وأن مجموعها هو (IX)1(I - X)^{-1}، وأن

    (IX)111X,(IX)1=I+X+O(X2).\vertiii{(I - X)^{-1}} \leq \frac{1}{1 - \vertiii X}, \qquad (I - X)^{-1} = I + X + O\bigl(\vertiii X^2\bigr) .
  3. استنتج أن GLn(R)GL_n(\R) مفتوحة: أي إذا كانت AA قابلة للقلب وH<1A1\vertiii H < \frac{1}{\vertiii{A^{-1}}}، فإن A+HA + H قابلة للقلب. واستنتج أيضا أن GLn(R)GL_n(\R) كثيفة في Mn(R)\mathcal M_n(\R) (اضطرب AA بالمقدار εI\varepsilon I: فالمقدار det(A+εI)\det(A + \varepsilon I) كثير حدود غير معدوم بدلالة ε\varepsilon).
  4. بيّن أن تطبيق القلب Φ(A)=A1\Phi(A) = A^{-1} متصل على GLn(R)GL_n(\R).

الجزء الثاني — التفاضلات الأولى.

  1. بيّن أن تطبيق التربيع AA2A \mapsto A^2 قابل للتفاضل وتفاضله HAH+HAH \mapsto AH + HA، وبوجه أعم أن AAkA \mapsto A^k تفاضله Hi=0k1AiHAk1iH \mapsto \sum_{i=0}^{k-1} A^iHA^{k-1-i}. ولماذا لا يمكن أن نكتب kAk1HkA^{k-1}H في الحالة العامة؟
  2. برهن على أن Φ(A)=A1\Phi(A) = A^{-1} قابل للتفاضل على GLn(R)GL_n(\R) وأن

     ⁣dΦA(H)=A1HA1\dd\Phi_A(H) = -A^{-1}HA^{-1}

    (اكتب (A+H)1=(I+A1H)1A1(A + H)^{-1} = (I + A^{-1}H)^{-1}A^{-1} وانشر بالسؤال 2). وتحقق من الصيغة في الحالة السلمية n=1n = 1.

  3. من أجل منحن tA(t)GLn(R)t \mapsto A(t) \in GL_n(\R) من الصنف C1C^1، استنتج (A(t)1)=A1AA1\bigl(A(t)^{-1}\bigr)' = -A^{-1}A'A^{-1}، ثم انشر t(I+tB)1t \mapsto (I + tB)^{-1} حتى الرتبة الأولى في t=0t = 0.
  4. احسب تفاضل f(A)=tr(Ak)f(A) = \operatorname{tr}(A^k) وعيّن تدرجه من أجل الجداء السلمي لفروبينيوس:

     ⁣dfA(H)=ktr(Ak1H),f(A)=k(Ak1)T.\dd f_A(H) = k\operatorname{tr}\bigl(A^{k-1}H\bigr), \qquad \nabla f(A) = k\,\bigl(A^{k-1}\bigr)^{\mathsf T} .
  5. الأسئلة نفسها من أجل f(A)=tr(ATA)=AF2f(A) = \operatorname{tr} (A^{\mathsf T}A) = \norm A_F^2: التفاضل والتدرج ومصفوفة هس (الثابتة)؛ واستنتج أن F2\norm\cdot_F^2 محدبة تماما.

الجزء الثالث — صيغة جاكوبي.

  1. برهن على أن

    det(I+H)=1+trH+O(H2)\det(I + H) = 1 + \operatorname{tr}H + O\bigl(\vertiii H^2\bigr)

    (انشر det(e1+h1,,en+hn)\det(e_1 + h_1, \dots, e_n + h_n) بالخطية المتعددة بدلالة الأعمدة: فالحدود التي تحوي عمودين على الأقل من أعمدة hh هي O(H2)O(\vertiii H^2)): أي  ⁣d(det)I=tr\dd(\det)_I = \operatorname{tr}.

  2. من أجل AA قابلة للقلب، استنتج

     ⁣d(det)A(H)=det(A)tr(A1H).\dd(\det)_A(H) = \det(A)\, \operatorname{tr}\bigl(A^{-1}H\bigr) .
  3. بيّن أن detaij(A)=Cij\frac{\partial\det}{\partial a_{ij}}(A) = C_{ij} من أجل كل AA (قابلة للقلب أو لا)، حيث هذا المقدار هو المرافق الجبري (i,j)(i,j) (نشر لابلاس وفق السطر ii)، ومنه، بدلالة المصفوفة الملحقة adjA=com(A)T\operatorname{adj}A = \operatorname{com}(A)^{\mathsf T}:

     ⁣d(det)A(H)=tr(adj(A)H),(det)(A)=com(A),\dd(\det)_A(H) = \operatorname{tr}\bigl(\operatorname{adj}(A)\,H\bigr), \qquad \nabla(\det)(A) = \operatorname{com}(A) ,

    وهو ما يستعيد السؤال 11 عندما تكون AA قابلة للقلب (adjA=det(A)A1\operatorname{adj}A = \det(A)A^{-1}). وهذه هي صيغة جاكوبي: (detA(t))=tr(adj(A(t))A(t))\bigl(\det A(t)\bigr)' = \operatorname{tr}\bigl( \operatorname{adj}(A(t))\,A'(t)\bigr).

  4. (صيغة ليوفيل) ليكن A(t)A(t) منحنى مصفوفات من الصنف C1C^1 يحقق المعادلة التفاضلية الخطية A(t)=M(t)A(t)A'(t) = M(t)A(t). برهن على أن

    (detA(t))=tr(M(t))detA(t),ومنهdetA(t)=detA(0)exp(0ttrM)\bigl(\det A(t)\bigr)' = \operatorname{tr}\bigl(M(t)\bigr)\,\det A(t), \qquad\text{ومنه}\qquad \det A(t) = \det A(0)\, \exp\Bigl(\int_0^t\operatorname{tr}M\Bigr)

    (استعمل adj(A)A=det(A)I\operatorname{adj}(A)\,A = \det(A)I وثبات الأثر بالدوران الدائري) — وهي متطابقة الفرونسكيان التي سيستعملها فصل المعادلات التفاضلية باتصال.

  5. بيّن أن SLn(R)={det=1}SL_n(\R) = \{\det = 1\} مجموعة مستوى ملساء: أي إن التفاضل  ⁣d(det)A\dd(\det)_A في كل ASLn(R)A \in SL_n(\R) تطبيق خطي غامر على R\R (قيّمه في H=1nAH = \frac1nA).

الجزء الرابع — الأسي المصفوفي.

  1. بيّن أن eA=k0Akk!\eu^A = \sum_{k\geq0}\frac{A^k}{k!} تتقارب تقاربا مطلقا من أجل كل AA، وتقاربا ناظميا على كل كرة، مع eAeA\vertiii{\eu^A} \leq \eu^{\vertiii A}؛ وأن eA\eu^A يتعلق باتصال بالمتغير AA.
  2. برهن على أن AB=BAAB = BA يستلزم eA+B=eAeB\eu^{A+B} = \eu^A\eu^B (جداء كوشي، وهو مشروع بالتقارب المطلق)؛ واستنتج أن eA\eu^A قابل للقلب دائما، وأن مقلوبه eA\eu^{-A}: أي إن exp\exp يرسل Mn(R)\mathcal M_n(\R) داخل GLn(R)GL_n(\R).
  3. بيّن أن tetAt \mapsto \eu^{tA} من الصنف C1C^1 (بل CC^\infty) وأن

     ⁣d ⁣dtetA=AetA=etAA\frac{\dd}{\dd t}\,\eu^{tA} = A\,\eu^{tA} = \eu^{tA}A

    (فاضل المتسلسلة حدا حدا على القطع: فالمتسلسلة المشتقة تتقارب تقاربا ناظميا).

  4. برهن على المتطابقة

    det(eA)=etrA\det\bigl(\eu^{A}\bigr) = \eu^{\operatorname{tr}A}

    (طبق صيغة ليوفيل، السؤال 13، على A(t)=etAA(t) = \eu^{tA}). وللتحقق: n=1n = 1؛ ومن أجل AA معدومة القوى؛ ثم إن المصفوفات معدومة الأثر ترسو في SLn(R)SL_n(\R).

  5. بيّن أن eH=I+H+O(H2)\eu^H = I + H + O(\vertiii H^2)، ومنه فإن exp\exp قابل للتفاضل في 00 مع  ⁣d(exp)0=id\dd(\exp)_0 = \mathrm{id}؛ واستنتج بمبرهنة الدالة العكسية (المبرهنة 15.14) أن exp\exp تقابل تفاضلي من الصنف C1C^1 من جوار للمصفوفة 00 على جوار للمصفوفة II: أي إن كل مصفوفة قريبة من مصفوفة الوحدة تقبل لوغاريتما.
  6. بيّن أن exp\exp يرسل المصفوفات المتناظرة على المصفوفات المتناظرة المعرفة الموجبة، وذلك تقابليا (قطّر؛ والتطبيق العكسي هو اللوغاريتم الطيفي).

الجزء الخامس — الزمرة المتعامدة بوصفها مجموعة مستوى.

  1. نضع F(A)=ATAF(A) = A^{\mathsf T}A، من Mn(R)\mathcal M_n(\R) نحو فضاء المصفوفات المتناظرة SnS_n. احسب  ⁣dFA(H)=ATH+HTA\dd F_A(H) = A^{\mathsf T}H + H^{\mathsf T}A وبيّن أن هذا التفاضل غامر على SnS_n في كل AOn=F1(I)A \in O_n = F^{-1}(I) (من أجل SSnS \in S_n معطاة، جرّب H=12ASH = \frac12 AS): ومنه فإن OnO_n مجموعة مستوى ملساء بعدها n2n(n+1)2=n(n1)2n^2 - \frac{n(n+1)}2 = \frac{n(n-1)}2.
  2. بيّن أن كل منحن A(t)OnA(t) \in O_n من الصنف C1C^1 يحقق A(0)=IA(0) = I له سرعة متخالفة التناظر A(0)A'(0)، وبالعكس أن المنحنى etK\eu^{tK} يبقى في OnO_n من أجل KK متخالفة التناظر: أي إن الفضاء المماس للمجموعة OnO_n في II هو بالضبط فضاء المصفوفات المتخالفة التناظر.
  3. بيّن أن deteK=1\det\eu^{K} = 1 من أجل KK متخالفة التناظر (السؤال 18): فالمنحنى الأسي يعيش في زمرة الدورانات SOnSO_n. واحسبه كاملا من أجل n=2n = 2: بوضع J=(0110)J = \begin{pmatrix}0 & -1\\ 1 & 0\end{pmatrix}، برهن على أن

    eθJ=(cosθsinθsinθcosθ):\eu^{\theta J} = \begin{pmatrix} \cos\theta & -\sin\theta\\ \sin\theta & \cos\theta\end{pmatrix} :

    أي إن الأسي المصفوفي هو الدوران بالزاوية θ\theta، وأن تعريفي جيب التمام والجيب بالمتسلسلات يظهران من جديد داخل مصفوفة.

  4. (حيلة الكثافة) باستعمال كثافة GLn(R)GL_n(\R) (السؤال 3) والاتصال، عمّم المتطابقة

    adj(AB)=adj(B)adj(A)\operatorname{adj}(AB) = \operatorname{adj}(B)\operatorname{adj}(A)

    من المصفوفات القابلة للقلب إلى جميع المصفوفات (من أجل A,BA, B قابلة للقلب يتساوى الطرفان بالمقدار det(AB)(AB)1\det(AB)(AB)^{-1}؛ والطرفان كلاهما كثير حدود بدلالة المعاملات).

  5. تركيب. في جملة واحدة عن كل بند: (1) أي الفصول السابقة وفّر محرك كل جزء (التمام والجبور المعيارية؛ المبرهنة الطيفية؛ مبرهنة الدالة العكسية)؛ (2) أي صيغة من هذه المسألة سيستند إليها فصل المعادلات التفاضلية، وأين؛ (3) ماذا يقول  ⁣d(det)I=tr\dd(\det)_I = \operatorname{tr} وdeteA=etrA\det\eu^A = \eu^{\operatorname{tr}A} عن الأثر والمحدد بوصفهما “الحجم اللامتناهي الصغر والحجم الشامل”؛ (4) ماذا يصنع مجلد السنة الثالثة بالأسئلة 21–23 (زمر لي وجبورها).
حل

حل المسألة 15.1.

1. ABxABxABx\norm{ABx} \leq \vertiii A\norm{Bx} \leq \vertiii A\vertiii B\norm x: نأخذ الحد الأعلى على x=1\norm x = 1. وجداءات المصفوفات والمقدارين det\det وtr\operatorname{tr} دوال كثيرة حدود بدلالة المعاملات، ومنه فهي متصلة (Mn(R)Rn2\mathcal M_n(\R) \simeq \R^{n^2}، وجميع المعايير متكافئة: المبرهنة 5.13).

2. XkXk<\sum\vertiii{X^k} \leq \sum\vertiii X^k < \infty: فالمتسلسلة تتقارب تقاربا مطلقا، ومنه تتقارب (المبرهنة 5.21). وانطلاقا من (IX)kNXk=IXN+1I(I - X)\sum_{k\leq N}X^k = I - X^{N+1} \to I: يكون المجموع (IX)1(I - X)^{-1}. والمعيار: Xk=11X\leq \sum\vertiii X^k = \frac{1}{1 - \vertiii X}؛ ثم

(IX)1IX=k2Xk=X2(IX)1,X2(IX)1X21X=O(X2).(I - X)^{-1} - I - X = \sum_{k\geq2}X^k = X^2(I - X)^{-1}, \qquad \vertiii{X^2(I-X)^{-1}} \leq \frac{\vertiii X^2}{1 - \vertiii X} = O(\vertiii X^2).

3. A+H=A(I+A1H)A + H = A(I + A^{-1}H) مع A1HA1H<1\vertiii{A^{-1}H} \leq \vertiii{A^{-1}}\vertiii H < 1: قابلة للقلب بحسب السؤال 2: فالكرة المفتوحة ذات النصف قطر A11\vertiii{A^{-1}}^{-1} حول AA محتواة في GLn(R)GL_n(\R). أما الكثافة: فالمقدار det(A+εI)\det(A + \varepsilon I) كثير حدود من الدرجة nn بدلالة ε\varepsilon معامله المهيمن 11: فله عدد منته من الجذور، ومنه توجد قيم εk0\varepsilon_k \to 0 تكون فيها A+εkIA + \varepsilon_kI قابلة للقلب وتتقارب نحو AA.

4. من أجل H<12A1\vertiii H < \frac{1}{2\vertiii{A^{-1}}}:

(A+H)1A1=[(I+A1H)1I]A1,(A + H)^{-1} - A^{-1} = \bigl[(I + A^{-1}H)^{-1} - I\bigr]A^{-1},

ومعياره A1H1A1HA12A12H0\frac{\vertiii{A^{-1}H}}{1 - \vertiii{A^{-1}H}}\,\vertiii{A^{-1}} \leq 2\vertiii{A^{-1}}^2\vertiii H \to 0 على الأكثر: فالتطبيق Φ\Phi متصل في كل AGLn(R)A \in GL_n(\R).

5. (A+H)2=A2+AH+HA+H2(A+H)^2 = A^2 + AH + HA + H^2: التطبيق HAH+HAH \mapsto AH + HA خطي والخطأ H2H^2 هو O(H2)O(\vertiii H^2). وبنشر (A+H)k(A + H)^k وترتيب الحدود بحسب عدد العوامل من نوع HH: يكون الجزء الخطي i=0k1AiHAk1i\sum_{i=0}^{k-1}A^iHA^{k-1-i}، أما الحدود ذات 2\geq 2 عاملا من نوع HH فمحصورة بعدد (k2)\binom k2 من الجداءات ذات المعيار من رتبة Ak2H2\leq \vertiii A^{k-2}\vertiii H^2: أي O(H2)O(\vertiii H^2). ولا يمكن اختزال المجموع إلى kAk1HkA^{k-1}H لأن HH وAA ليس من الضروري أن يتبادلا — فالمجموع هو المشتقة اللاتبادلية الصحيحة.

6. من أجل HH صغيرة:

(A+H)1=(I+A1H)1A1=(IA1H+O(H2))A1=A1A1HA1+O(H2):(A+H)^{-1} = (I + A^{-1}H)^{-1}A^{-1} = \bigl(I - A^{-1}H + O(\vertiii H^2)\bigr)A^{-1} = A^{-1} - A^{-1}HA^{-1} + O(\vertiii H^2) :

 ⁣dΦA(H)=A1HA1\dd\Phi_A(H) = -A^{-1}HA^{-1}، وهو خطي بدلالة HH. ومن أجل n=1n = 1:  ⁣d(1/a)(h)=h/a2\dd(1/a)(h) = -h/a^2، وهي المشتقة المألوفة.

7. قاعدة السلسلة على طول المنحنى: (A(t)1)= ⁣dΦA(t)(A(t))=A(t)1A(t)A(t)1\bigl(A(t)^{-1}\bigr)' = \dd\Phi_{A(t)}(A'(t)) = -A(t)^{-1}A'(t)A(t)^{-1}. وفي A(t)=I+tBA(t) = I + tB، t=0t = 0: (I+tB)1=ItB+O(t2)(I + tB)^{-1} = I - tB + O(t^2).

8. بالسؤال 5 وبثبات الأثر بالدوران الدائري:

 ⁣dfA(H)=tr(i=0k1AiHAk1i)=ktr(Ak1H).\dd f_A(H) = \operatorname{tr}\Bigl(\sum_{i=0}^{k-1} A^iHA^{k-1-i}\Bigr) = k\operatorname{tr}\bigl(A^{k-1}H\bigr) .

وأمام جداء فروبينيوس، يقتضي  ⁣dfA(H)=tr((f)TH)\dd f_A(H) = \operatorname{tr}\bigl((\nabla f)^{\mathsf T}H\bigr) أن يكون (f)T=kAk1(\nabla f)^{\mathsf T} = kA^{k-1}: أي f(A)=k(Ak1)T\nabla f(A) = k\,(A^{k-1})^{\mathsf T}.

9. f(A+H)f(A)=2tr(ATH)+tr(HTH)f(A + H) - f(A) = 2\operatorname{tr} (A^{\mathsf T}H) + \operatorname{tr}(H^{\mathsf T}H): التفاضل هو H2tr(ATH)=2A,HH \mapsto 2\operatorname{tr}(A^{\mathsf T}H) = 2\langle A, H\rangle، ومنه f(A)=2A\nabla f(A) = 2A؛ أما حد الرتبة الثانية فهو بالضبط HF2\norm H_F^2: فمصفوفة هس ضعف الصورة التربيعية الواحدية، وهي معرفة موجبة وثابتة، ومنه فإن F2\norm\cdot_F^2 محدبة تماما (وصيغة تايلور مضبوطة هنا).

10. بالخطية المتعددة بدلالة الأعمدة، det(I+H)=S{1,,n}det(MS)\det(I + H) = \sum_{S\subseteq\{1,\dots,n\}}\det(M_S) حيث عمود المصفوفة MSM_S هو hjh_j من أجل jSj \in S وeje_j فيما عدا ذلك. فالمقدار S=S = \varnothing يعطي 11؛ والمقدار S={j}S = \{j\} يعطي محدد II بعد استبدال العمود jj بالعمود hjh_j، أي معامله رقم jj وهو hjjh_{jj}، ومجموعها trH\operatorname{tr}H؛ وكل حد فيه S2\abs S \geq 2 هو محدد لمصفوفة فيها عمودان على الأقل من الحجم O(H)O(\vertiii H)، ومنه فهو O(H2)O(\vertiii H^2) (فالتطبيقات المتعددة الخطية على فضاء منتهي البعد محدودة)، وعددها منته. ومنه det(I+H)=1+trH+O(H2)\det(I + H) = 1 + \operatorname{tr}H + O(\vertiii H^2): أي  ⁣d(det)I=tr\dd(\det)_I = \operatorname{tr}.

11. det(A+H)=detAdet(I+A1H)=detA(1+tr(A1H)+O(H2))\det(A + H) = \det A\,\det(I + A^{-1}H) = \det A\,\bigl(1 + \operatorname{tr}(A^{-1}H) + O(\vertiii H^2)\bigr): فالتفاضل هو Hdet(A)tr(A1H)H \mapsto \det(A)\operatorname{tr}(A^{-1}H).

12. نشر لابلاس وفق السطر ii: detA=jaijCij\det A = \sum_j a_{ij}C_{ij}، والمرافقات الجبرية CijC_{ij} لا تتضمن السطر ii: ومنه detaij=Cij\frac{\partial\det}{\partial a_{ij}} = C_{ij}. ومنه

 ⁣d(det)A(H)=i,jCijhij=tr(com(A)TH)=tr(adj(A)H),(det)(A)=com(A).\dd(\det)_A(H) = \sum_{i,j}C_{ij}h_{ij} = \operatorname{tr}\bigl(\operatorname{com}(A)^{\mathsf T} H\bigr) = \operatorname{tr}\bigl(\operatorname{adj}(A)H\bigr), \qquad \nabla(\det)(A) = \operatorname{com}(A) .

ومن أجل AA قابلة للقلب، يستعيد المقدار adjA=det(A)A1\operatorname{adj}A = \det(A)A^{-1} السؤال 11. وعلى طول منحن من الصنف C1C^1، تُكتب قاعدة السلسلة (detA(t))=tr(adj(A(t))A(t))(\det A(t))' = \operatorname{tr}(\operatorname{adj} (A(t))\,A'(t)): وهي صيغة جاكوبي.

13. بوضع A=MAA' = MA وadj(A)A=det(A)I\operatorname{adj}(A)A = \det(A)I:

(detA)=tr(adj(A)MA)=tr(Aadj(A)M)=detA  trM(\det A)' = \operatorname{tr}\bigl(\operatorname{adj}(A)MA \bigr) = \operatorname{tr}\bigl(A\operatorname{adj}(A)M\bigr) = \det A\;\operatorname{tr}M

(بالدوران الدائري؛ والمقدار AadjA=det(A)IA\operatorname{adj}A = \det(A) I كذلك). والمعادلة التفاضلية الخطية السلمية y=tr(M(t))yy' = \operatorname{tr}(M(t))\,y لها الحل الوحيد y(t)=y(0)exp(0ttrM)y(t) = y(0)\exp\bigl(\int_0^t \operatorname{tr}M\bigr) (السنة الأولى): وهي صيغة ليوفيل.

14. في ASLn(R)A \in SL_n(\R)، نأخذ H=1nAH = \frac1nA:  ⁣d(det)A(1nA)=1ndet(A)tr(A1A)=1n1n=10\dd(\det)_A\bigl(\tfrac1nA\bigr) = \frac1n\det(A) \operatorname{tr}(A^{-1}A) = \frac1n\cdot1\cdot n = 1 \neq 0: فالتفاضل صورة خطية غير معدومة، ومنه فهو غامر على R\R في كل نقطة من مجموعة المستوى: أي إن SLn(R)SL_n(\R) مجموعة مستوى ملساء (بعدها n21n^2 - 1).

15. kAk/k!Ak/k!=eA\sum_k\vertiii{A^k/k!} \leq \sum\vertiii A^k/k! = \eu^{\vertiii A}: تقارب مطلق (حجة التمام في السؤال 2)، مع تقارب ناظمي على كل كرة AR\vertiii A \leq R (بالحصر Rk/k!R^k/k! المستقل عن AA). وكل مجموع جزئي متصل (فهو كثير حدود)؛ والنهاية المنتظمة على الكرات متصلة: ومنه فإن AeAA \mapsto \eu^A متصل، مع eAeA\vertiii{\eu^A} \leq \eu^{\vertiii A}.

16. تتقارب المتسلسلتان تقاربا مطلقا، ومنه فإن جداء كوشي مشروع (المبرهنة 7.14):

eAeB=n01n!k=0n(nk)AkBnk=n0(A+B)nn!=eA+B,\eu^A\eu^B = \sum_{n\geq0}\frac{1}{n!}\sum_{k=0}^n\binom nkA^kB^{n-k} = \sum_{n\geq0}\frac{(A+B)^n}{n!} = \eu^{A+B},

وتقتضي متطابقة ذات الحدين أن يكون AB=BAAB = BA. وبوضع B=AB = -A: eAeA=e0=I\eu^A\eu^{-A} = \eu^0 = I: أي إن كل eAGLn(R)\eu^A \in GL_n(\R).

17. تتقارب المتسلسلة tkAk/k!\sum t^kA^k/k! ومتسلسلتها المشتقة tk1Ak/(k1)!=Atk1Ak1/(k1)!\sum t^{k-1}A^k/(k-1)! = A\sum t^{k-1}A^{k-1}/(k-1)! تقاربا ناظميا على كل قطعة tT\abs t \leq T (بالحصور TkAk/k!T^k\vertiii A^k/k!): وتعطي مبرهنة مفاضلة المتسلسلات (المبرهنة 10.11، مطبقة معاملا معاملا) المساواة  ⁣d ⁣dtetA=AetA\frac{\dd}{\dd t}\eu^{tA} = A\eu^{tA}؛ وبإخراج AA من اليمين بدلا من ذلك نجد etAA\eu^{tA}A. وبالتكرار: CC^\infty.

18. يحقق A(t)=etAA(t) = \eu^{tA} العلاقة A(t)=AA(t)A'(t) = A\,A(t): وتعطي صيغة ليوفيل (السؤال 13) بثابت M=AM = A النتيجة detetA=ettrA\det\eu^{tA} = \eu^{t\operatorname{tr}A} (وقيمتها 11 في t=0t = 0)؛ وفي t=1t = 1، deteA=etrA\det\eu^A = \eu^{\operatorname{tr}A}. وللتحقق: n=1n = 1 هو الأسي نفسه؛ ومن أجل AA معدومة القوى لدينا trA=0\operatorname{tr}A = 0، وتكون eA\eu^A أحادية القوى محددها 11؛ وtrA=0\operatorname{tr}A = 0 يعطي deteA=1\det\eu^A = 1: أي إن المصفوفات معدومة الأثر تُرسل داخل SLn(R)SL_n(\R).

19. eHIH=k2Hk/k!\eu^H - I - H = \sum_{k\geq2}H^k/k!، ومعياره H2eH=O(H2)\leq \vertiii H^2\eu^{\vertiii H} = O(\vertiii H^2): ومنه  ⁣d(exp)0=id\dd(\exp)_0 = \mathrm{id}، وهو قابل للقلب. وعلاوة على ذلك فإن exp\exp من الصنف C1C^1: فبالسؤال 5، يكون التفاضل المرشح Hk1k!iAiHAk1iH \mapsto \sum_k\frac1{k!}\sum_iA^iHA^{k-1-i} متسلسلة تطبيقات خطية متقاربة تقاربا ناظميا وتتعلق باتصال بالمتغير AA (بالحصور Ak1/(k1)!\vertiii A^{k-1}/(k-1)! على الكرات)، ومنه فإن المشتقات الجزئية موجودة ومتصلة (المبرهنة 15.2 ومبرهنة انتقال الخواص إلى مجموع المتسلسلة). وتنطبق مبرهنة الدالة العكسية (المبرهنة 15.14) في 00: فالتطبيق exp\exp تقابل تفاضلي من الصنف C1C^1 من جوار للمصفوفة 00 على جوار للمصفوفة II — فالمصفوفات القريبة من II تقبل لوغاريتمات.

20. من أجل S=PDPTS = PDP^{\mathsf T} متناظرة (بالمبرهنة الطيفية): تكون eS=PeDPT\eu^S = P\eu^DP^{\mathsf T} متناظرة وقيمها الذاتية eλi>0\eu^{\lambda_i} > 0: فهي معرفة موجبة. الغمر: كل مصفوفة معرفة موجبة Q=Pdiag(μi)PTQ = P\operatorname{diag}(\mu_i)P^{\mathsf T} (μi>0\mu_i > 0) تساوي eS\eu^S من أجل S=Pdiag(lnμi)PTS = P\operatorname{diag}(\ln\mu_i)P^{\mathsf T}. التباين: تحدد eS\eu^S فضاءاتها الذاتية، وهي بالضبط فضاءات SS الذاتية (فعلى كل فضاء ذاتي للمصفوفة SS موافق للقيمة λ\lambda، يعمل eS\eu^S عمل eλ\eu^\lambda؛ وقيم λ\lambda المتمايزة تعطي قيم eλ\eu^\lambda متمايزة)، وبأخذ ln\ln للقيم الذاتية نستعيد SS. ومنه فإن exp\exp تقابل من المصفوفات المتناظرة على المصفوفات المعرفة الموجبة.

21. F(A+H)=ATA+ATH+HTA+HTHF(A + H) = A^{\mathsf T}A + A^{\mathsf T}H + H^{\mathsf T}A + H^{\mathsf T}H:  ⁣dFA(H)=ATH+HTA\dd F_A(H) = A^{\mathsf T}H + H^{\mathsf T}A (بقيم في SnS_n؛ والخطأ O(H2)O(\vertiii H^2)). وفي AOnA \in O_n ومن أجل SSnS \in S_n، يعطي الاختيار H=12ASH = \frac12AS

AT12AS+12(AS)TA=12S+12ST=S:A^{\mathsf T}\cdot\tfrac12AS + \tfrac12(AS)^{\mathsf T}A = \tfrac12 S + \tfrac12 S^{\mathsf T} = S :

وهو غامر. ومنه فإن On=F1(I)O_n = F^{-1}(I) مجموعة مستوى ملساء بعدها n2dimSn=n(n1)2n^2 - \dim S_n = \frac{n(n-1)}2.

22. بمفاضلة A(t)TA(t)=IA(t)^{\mathsf T}A(t) = I في t=0t = 0 (مع A(0)=IA(0) = I): A(0)T+A(0)=0A'(0)^{\mathsf T} + A'(0) = 0: فهي متخالفة التناظر. وبالعكس، من أجل KT=KK^{\mathsf T} = -K: (etK)TetK=etKTetK=etKetK=I(\eu^{tK})^{\mathsf T}\eu^{tK} = \eu^{tK^{\mathsf T}} \eu^{tK} = \eu^{-tK}\eu^{tK} = I (بأخذ منقول المتسلسلة حدا حدا؛ فالأسس تتبادل): ومنه فإن المنحنى يبقى في OnO_n، وسرعته KK في t=0t = 0. فالفضاء المماس في II == فضاء المصفوفات المتخالفة التناظر، وبعده المنتظر n(n1)2\frac{n(n-1)}2.

23. trK=0\operatorname{tr}K = 0 من أجل KK متخالفة التناظر، ومنه deteK=e0=1\det\eu^K = \eu^0 = 1 (السؤال 18): فالأسي يرسو في SOnSO_n. ومن أجل n=2n = 2: J2=IJ^2 = -I، ومنه J2m=(1)mIJ^{2m} = (-1)^mI، J2m+1=(1)mJJ^{2m+1} = (-1)^mJ، ثم

eθJ=(m(1)mθ2m(2m)!)I+(m(1)mθ2m+1(2m+1)!)J=cosθI+sinθJ,\eu^{\theta J} = \Bigl(\sum_m\frac{(-1)^m\theta^{2m}}{(2m)!}\Bigr)I + \Bigl(\sum_m\frac{(-1)^m\theta^{2m+1}}{(2m+1)!}\Bigr)J = \cos\theta\,I + \sin\theta\,J ,

وهو الدوران بالزاوية θ\theta: فمتسلسلتا الجيب وجيب التمام تعيشان داخل الأسي المصفوفي.

24. من أجل A,BA, B قابلة للقلب: adj(AB)=det(AB)(AB)1=det(B)det(A)B1A1=adj(B)adj(A)\operatorname{adj}(AB) = \det(AB)(AB)^{-1} = \det(B)\det(A)B^{-1}A^{-1} = \operatorname{adj}(B)\operatorname{adj}(A). وطرفا المتطابقة كلاهما تطبيق كثير حدود (ومنه متصل) بدلالة معاملات (A,B)(A, B)؛ وهما يتساويان على الجزء الكثيف GLn×GLnGL_n\times GL_n من Mn×Mn\mathcal M_n\times\mathcal M_n (السؤال 3: قرّب كل عامل)، ومنه فهما يتساويان في كل نقطة.

25. (1) اشتغل الجزء الأول على تمام الفضاءات المعيارية المنتهية البعد (فالمتسلسلات المتقاربة مطلقا متقاربة)، واشتغل الجزء الرابع على الشيء نفسه مضافا إليه المبرهنة الطيفية في السؤال 20، واشتغل لوغاريتم الجزء الخامس المحلي على مبرهنة الدالة العكسية. (2) يستند فصل المعادلات التفاضلية إلى صيغة ليوفيل (السؤال 13) من أجل فرونسكيان الجمل الخطية، وإلى  ⁣d ⁣dtetA=AetA\frac{\dd}{\dd t}\eu^{tA} = A\eu^{tA} (السؤال 17)، وهو النص القائل إن etA\eu^{tA} يحل X=AXX' = AX. (3) يقول  ⁣d(det)I=tr\dd(\det)_I = \operatorname{tr} إن الأثر هو معدل التغير اللامتناهي الصغر للحجم، ويكامل deteA=etrA\det\eu^A = \eu^{\operatorname{tr}A} هذا النص بوجه شامل. (4) يسمي مجلد السنة الثالثة هذه البنى: فالزمرتان OnO_n وSLn(R)SL_n(\R) زمرتا لي، وفضاءاهما المماسان في II (المصفوفات المتخالفة التناظر والمصفوفات معدومة الأثر) جبرا لي، والتطبيق exp\exp هو الجسر بينهما.

المصطلحات المعرَّفة في هذا الفصل

عرض كل المصطلحات (395) في المسرد