مصفوفة هيسية

**المصفوفة الهيسية** (بالإنجليزية: Hessian Matrix)، في التحليل الرياضي، هي مصفوفة الاشتقاق الجزئي من الدرجة الثانية لدالة عددية f متعددة المتغيرات، ويرمز لها ب H(f). تضم المصفوفة الهيسية جميع المشتقات الجزئية من الدرجة الثانية **الممكنة** للدالة f.

مثلا في حالة دالة بمتغيرين f(x,y):

H(f)=\begin{bmatrix} \frac{\partial^2 f}{\partial x^2} & \frac{\partial^2 f}{\partial x\partial y} \\ \frac{\partial^2 f}{\partial x\partial y} & \frac{\partial^2 f}{\partial y^2} \end{bmatrix}

المصفوفة الهيسية هي بالضرورة مربعة ، إذا كانت للدالة f خصائص معينة، ويعبر عنها أيضا بهيسية (f).

ترجع تسمية هيسية إلى الرياضي الإنجليزي جيمس جوزيف سيلفستر الذي أطلق هذا الاسم تكريما للرياضي الألماني لودفيغ أوتو هيسه.

## تعريف
باعتبار دالة عددية f معرفة في \mathbb{R}^n :

f:\mathbb{R^n}\longrightarrow \mathbb{R}; (x_1,...,x_n)\longmapsto f(x_1,...,x_n)

وبافتراض قابلية الاشتقاق الجزئي من الدرجة الثانية لكل متغيراتها، المصفوفة الهيسية ل f هي المعرفة عناصرها (i,j) :

H_{ij}(f) = \frac{\partial^2 f}{\partial x_i\partial x_j} وتكتب بالتفصيل كما يلي:H(f) = \begin{bmatrix}
\frac{\partial^2 f}{\partial x_1^2} & \frac{\partial^2 f}{\partial x_1\partial x_2} & \cdots & \frac{\partial^2 f}{\partial x_1\partial x_n} \\
\frac{\partial^2 f}{\partial x_2\partial x_1} & \frac{\partial^2 f}{\partial x_2^2} & \cdots & \frac{\partial^2 f}{\partial x_2\partial x_n} \\
\vdots & \vdots & \ddots & \vdots \\
\frac{\partial^2 f}{\partial x_n\partial x_1} & \frac{\partial^2 f}{\partial x_n\partial x_2} & \cdots & \frac{\partial^2 f}{\partial x_n^2}
\end{bmatrix}

يسمى محدد المصفوفة الهيسية **بالمحدد الهيسي** ويشار إليه ب det(H(f))، أما أثرها فيشار إليه بtr(H(f)).

بصفة عامة، من المنظور التوبولوجي، وحسب مبرهنة شفارز، إذا كانت f دالة مستقرها في \mathbb{R}، درجة قابليتها للاشتقاق \mathcal C^2 (أي أن المشتقات من الدرجة الثانية قابلة للحساب ومتصلة)، ومعرفة في مجموعة مفتوحة \mathcal{U} ضمن فضاء E، فمصفوفتها الهيسية بالضرورة قابلة للتعريف وهي بالضرورة متماثلة.

هذه الخاصية الأخيرة مستتجة من مبرهنة شفارز والتي تقضي بأنه إذا كانت المشتقات الجزئية من الدرجة الثانية متصلة فالمشتقات المتقابلة متساوية. مثلا في حالة دالة f(x,y):

\frac{\partial^2 f}{\partial x \partial y}=\frac{\partial^2 f}{\partial y \partial x}

## أمثلة
باعتبار الدالة بمتغيرين : f(x,y)=xy-ln(x^2+y^2)،

f'(x)=\frac{\partial f}{\partial x}=y-\frac{2x}{x^2+y^2} و f'(y)=\frac{\partial f}{\partial y}=x-\frac{2y}{x^2+y^2}

الاشتقاقات الجزئية من الدرجة الثانية تساوي:

f*(x)=\frac{\partial^2 f}{\partial x^2}=\frac{2x^2-2y^2}{(x^2+y^2)^2}</math> و <math>f*(y)=\frac{\partial^2 f}{\partial y^2}=\frac{-2x^2+2y^2}{(x^2+y^2)^2} و \frac{\partial^2 f}{\partial x \partial y}=\frac{\partial^2 f}{\partial y \partial x}=1+\frac{4xy}{(x^2+y^2)^2}.

قيمة المصفوة الهيسية للدالة f في النقطة (1,2) مثلا تساوي: H(f(1,2)) = \begin{pmatrix} -6/25 & 33/25 \\ 33/25 & 6/25 \end{pmatrix} وهي متماثلة لتحقق شروط مبرهنة شفارز في النقطة (1,2).

في حالة الدالة f(x,y)=\frac{xy(x^2-y^2)}{x^2+y^2}، شرط الاتصال غير متحقق في النقطة (0,0) وبالتالي فهيسيتها في هذه النقطة لن تكون متماثلة رغم إمكانية حساب المشتقات من الدرجة الثانية في هذه النقطة : \frac{\partial^2 f}{\partial x \partial y}(0,0)=1 و \frac{\partial^2 f}{\partial y \partial x}(0,0)=-1. هذا المثال المضاد اقترحه الرياضي الإيطالي جوزيبه بيانو سنة 1884.

## استخدامات المصفوفة الهيسية
المصفوفة الهيسية مفيدة في تسهيل حل المسائل الرياضية المتعلقة بدراسة الدوال المحدبة و خصوصا في تقنيات الاستمثال المطبقة في مجال النمذجة الإحصائية (مثلا لإيجاد القيم المقدرة لمعاملات النماذج حسب طريقة تقدير الاحتمال الأرجح).

### تحديد ماهية النقط الحرجة لدالة <math>f</math>
عمليا، باعتبار دالة f درجة قابليتها للاشتقاق \mathcal C^2 معرفة في مجموعة مفتوحة \mathcal{U}، تمكن المصفوفة الهيسية من تحديد طبيعة القيم الحرجة للدالة f.

للتذكير، تعتبر النقطة (a,b) حرجة (أو قصوية) إذا انعدم فيها تدرج الدالة f : \nabla\ f = 0 (مثلا في حالة متغيرين : \nabla\ f = (\frac{\partial f}{\partial x},\frac{\partial f}{\partial y})= (0,0))، وهو ما يمثل **شرطا ضروريا** لكي تكون (a,b) قصوية.

تطرح بعد ذلك مسألة تحديد ماهية هذه النقطة، وشكل الدالة في جوار النقطة (أو النقط) القصوية، لأن شرط انعدام المشتقة من الدرجة الأولى لا يكون كافيا للحسم، وهنا يجب التمييز بين أربعة أصناف من النقط الحرجة:

* نقطة قيمة عليا موضعية.
* نقطة قيمة دنيا موضعية.
* نقطة سرج.
* نقطة سرج قرد.

الحالة الأخيرة مثال لما يعرف بالنقط الحرجة الشاذة (بالفرنسية: Points dégénérés أو بالإنجليزية Degenerate Points).
ملف:Saddle point.png|النقطة الحمراء تمثل **نقطة سرج** للدالة f(x,y)=x^2+y^2
ملف:Hessian at saddle point.gif|نقطة قصوية لدالة من صنف **"سرج القرد"** Monkey Saddle
ملف:Minima and Saddle Point.png|أعلى: **نقطة قيمة دنيا** - أسفل: نقطة سرج
ملف:Saddle Point.png|مثال بثلاث نقط حرجة: نقطة سرج قرد و**نقطتي قيمة قصوى موضعية**
قرار تحديد ماهية النقطة القصوية يكون وفق **[[إشارة (رياضيات)|إشارة]] [[محدد (رياضيات)|محدد]] المصفوفة الهيسية** و '''أثرها''' واللذان تستنبط منهما **إشارات [[قيم ذاتية ومتجهات ذاتية|القيم الذاتية]]** لنفس المصفوفة في النقطة المدروسة. للتذكير فمحدد المصفوفة يساوي جداء القيم الذاتية بينما يساوي أثرها مجموع قيمها الذاتية.

## مراجع

## وصلات خارجية

* مسائل وأمثلة لتحديد النقط الحرجة وماهيتها باستخدام المصفوفة الهيسية : **[http://www-ljk.imag.fr/membres/Luc.Biard/LucBiard_mat234/CC1-Nov2009-corrige.pdf مصدر 1] - [https://www.ljll.math.upmc.fr/~nardoni/TDagrl3/TD4cor.pdf مصدر 2].**

تصنيف:تفاضل متعدد المتحولات
تصنيف:رياضيات
تصنيف:مصفوفات
تصنيف:معادلات اشتقاقية
تصنيف:نظرية التفرد