عنصر الحجم

في الرياضيات، يوفر عنصر الحجم (بالإنجليزية: Volume element)‏ وسيلة لتكامل دالة فيما يتعلق بالحجم في أنظمة إحداثيات مختلفة مثل الإحداثيات الكروية والإحداثيات الأسطوانية. وبالتالي فإن عنصر الحجم هو تعبير على الصورة:

$dV=\rho (u_1,u_2,u_3)d{u}_{1}d{u}_{2}d{u}_3$

حيث: ال $u_i$ هي الإحداثيات، وبذلك يكون حجم أي مجموعة $B$ يمكن حسابه بواسطة المعادلة:

$\mathrm{V}\mathrm{o}\mathrm{l}\mathrm{u}\mathrm{m}\mathrm{e}(B)={\int }_B\rho (u_1,u_2,u_3)d{u}_{1}d{u}_{2}d{u}_3.$

على سبيل المثال، في الإحداثيات الكروية $dV=u_1^2\sin u_{2}d{u}_{1}d{u}_{2}d{u}_3$، أي أن $\rho =u_1^2\sin u_2$.

لا تقتصر فكرة عنصر الحجم على الأبعاد الثلاثة: في بُعدين يُعرف غالبًا باسم «عنصر المساحة»، ويكون مفيدًا لإجراء تكاملات السطح. ومع تغييرات الإحداثيات، يتغير عنصر الحجم بالقيمة المطلقة للمحدد الياكوبي Jacobian لتحويل الإحداثيات (عن طريق تغيير المتغيرات). تسمح هذه الحقيقة بتعريف عناصر الحجم كنوع من القياس على متعدد الشعب. في متعدد شعب قابل للتفاضل، ينشأ عنصر الحجم عادةً من شكل الحجم: شكل تفاضلي من الدرجة العليا. في متعدد الشعب غير القابل للتوجيه، يكون عنصر الحجم عادةً هو القيمة المطلقة لنموذج الحجم (المُحدَّدَ محليًا): فهو يُعَرِّف كثافة 1 1-density.

عنصر الحجم في الفضاء الإقليدي

في الفضاء الإقليدي، يُعرِّف عنصر الحجم بواسطة حاصل ضرب تفاضلات الإحداثيات الديكارتية

$dV=dxdydz.$

في أنظمة إحداثيات مختلفة على الصورة$x=x(u_1,u_2,u_3)$ و$y=y(u_1,u_2,u_3)$ و$z=z(u_1,u_2,u_3)$، يتغير عنصر الحجم بواسطة المصفوفة الياكوبية Jacobian (المحدد) لتغيير الإحداثيات:

$dV=\left|\frac{\partial (x,y,z)}{\partial (u_1,u_2,u_3)}\right|d{u}_{1}d{u}_{2}d{u}_3.$

على سبيل المثال، في الإحداثيات الكروية

$\begin{array}{rr}x& =\rho \cos \theta \sin \varphi \\ y& =\rho \sin \theta \sin \varphi \\ z& =\rho \cos \varphi \end{array}$

المحدد الياكوبي هو

$\left|\frac{\partial (x,y,z)}{\partial (\rho ,\theta ,\varphi )}\right|={\rho }^2\sin \varphi$

وبالتالي

$dV={\rho }^2\sin \varphi d\rho d\theta d\varphi .$

يمكن اعتبار هذا كحالة خاصة لحقيقة أن الأشكال التفاضلية تتحول من خلال التراجع (pullback) $F^{*}$ بحيث

$F^{*}(ud{y}^1\wedge \cdots \wedge d{y}^n)=(u\circ F)det(\frac{\partial F^j}{\partial x^i})d{x}^1\wedge \cdots \wedge d{x}^n$

عنصر الحجم من الفضاء الجزئي الخطي

نفترض الفضاء الجزئي الخطي للفضاء الإقليدي ذي الأبعاد n والذي يمتد بواسطة مجموعة من المتجهات المستقلة خطيًا

$X_1,\dots ,X_k.$

للعثور على عنصر الحجم في الفضاء الجزئي، من المفيد معرفة «حقيقة» من الجبر الخطي تنص على أن حجم متوازي السطوح parallelepiped يمتد بواسطة $X_i$ هو الجذر التربيعي لمحدد المصفوفة الجرامية Gramian matrix لـ $X_i$ :

$\sqrt{det(X_i\cdot X_j{)}_{i,j=1\dots k}}.$

يمكن إعطاء إحداثيات $(u_1,u_2,\dots ,u_k)$ لأي نقطة p في الفضاء الجزئي بحيث

$p=u_1{X}_1+\cdots +u_k{X}_k.$

عند نقطة ما p، إذا شكلنا متوازي سطوح صغير أبعاد جوانبه هي $d{u}_i$، فإن حجم متوازي السطوح هو الجذر التربيعي لمحدد المصفوفة الجرامية

$\sqrt{det{((d{u}_i{X}_i)\cdot (d{u}_j{X}_j))}_{i,j=1\dots k}}=\sqrt{det(X_i\cdot X_j{)}_{i,j=1\dots k}}d{u}_{1}d{u}_2\cdots d{u}_k.$

هذا يحدد بالتالي شكل الحجم في الفضاء الجزئي الخطي.

عنصر الحجم لمتعددات الشعب

في متعدد الشعب الريماني الموجه ذي البعد n، يكون عنصر الحجم يساوي Hodge المزدوج (Hodge dual) لدالة الوحدة الثابتة، $f(x)=1$ :

$\omega =\star 1.$

بالمثل، عنصر الحجم هو بالضبط موتر Levi-Civita $ϵ$ (Levi-Civita tensor). في الإحداثيات،$$\omega =ϵ=\sqrt{|detg|}d{x}^1\wedge \cdots \wedge d{x}^n$$حيث $detg$ هو محدد موتر متري g مكتوب في نظام الإحداثيات.

عنصر مساحة السطح

يمكن استكشاف مثال بسيط لعنصر الحجم من خلال التفكير في سطح ثنائي الأبعاد مضمن في الفضاء الإقليدي ذي البعد n. يسمى عنصر الحجم هذا أحيانًا عنصر المساحة. افترض مجموعة فرعية $U\subset {\mathbb{R}}^2$ ودالة

$\phi :U\to {\mathbb{R}}^n$

وبالتالي يحدد سطح مضمن في ${\mathbb{R}}^n$. في بُعدين، فإن الحجم هو مجرد مساحة، ويُعطي عنصر الحجم طريقة لتحديد مساحة أجزاء من السطح. وبالتالي فإن عنصر الحجم هو تعبير على الصورة

$f(u_1,u_2)d{u}_{1}d{u}_2$

التي تسمح بحساب مساحة المجموعة B الواقعة على السطح عن طريق حساب التكامل

$\mathrm{A}\mathrm{r}\mathrm{e}\mathrm{a}(B)={\int }_{B}f(u_1,u_2)d{u}_{1}d{u}_2.$

هنا سنجد عنصر الحجم على السطح الذي يحدد المنطقة بالمعنى المعتاد. المصفوفة الياكوبية للدالة هي

${\lambda }_{ij}=\frac{\partial {\phi }_i}{\partial u_j}$

وقيمة i من 1 إلى n، بينما قيمة j من 1 إلى 2. يستحث المقياس الإقليدي في الفضاء ذي البعد n مقياسًا $g={\lambda }^T\lambda$ على المجموعة U، وتكون عناصر المصفوفة

$g_{ij}=\sum _{k=1}^n{\lambda }_{ki}{\lambda }_{kj}=\sum _{k=1}^n\frac{\partial {\phi }_k}{\partial u_i}\frac{\partial {\phi }_k}{\partial u_j}.$

يُعطى محدد المقياس بواسطة

$detg={|\frac{\partial \phi }{\partial u_1}\wedge \frac{\partial \phi }{\partial u_2}|}^2=det({\lambda }^T\lambda )$

بالنسبة للأسطح العادية، فإن هذا المحدد لا يتلاشى؛ بالمثل، المصفوفة الياكوبية لها المرتبة 2.

الآن افترض تغيير الإحداثيات على U، من خلال اختلاف الشكل diffeomorphism

$f:U\to U,$

بحيث الإحداثيات $(u_1,u_2)$ تُعطى بدلالة$(v_1,v_2)$ بواسطة $(u_1,u_2)=f(v_1,v_2)$. المصفوفة الياكوبية لهذا التحول هي

$F_{ij}=\frac{\partial f_i}{\partial v_j}.$

في الإحداثيات الجديدة لدينا

$\frac{\partial {\phi }_i}{\partial v_j}=\sum _{k=1}^2\frac{\partial {\phi }_i}{\partial u_k}\frac{\partial f_k}{\partial v_j}$

وهكذا يتحول المقياس كـ

$\tilde{g}=F^{T}gF$

حيث $\tilde{g}$ هو مقياس الانسحاب في نظام الإحداثيات v. والمحدد هو

$det\tilde{g}=detg{(detF)}^2.$

بالنظر إلى البناء أعلاه، يكون من السهل الآن فهم كيف يكون عنصر الحجم ثابتًا في ظل تغيير الإحداثيات مع الحفاظ على الاتجاه.

في بُعدين، يكون الحجم هو المساحة فقط.. مساحة مجموعة فرعية $B\subset U$ من خلال التكامل

$\begin{array}{rr}\text{Area}(B)& ={\iint }_B\sqrt{detg}d{u}_{1}d{u}_2\\ & ={\iint }_B\sqrt{detg}|detF|d{v}_{1}d{v}_2\\ & ={\iint }_B\sqrt{det\tilde{g}}d{v}_{1}d{v}_2.\end{array}$

وبالتالي، في أي من نظامي الإحداثيات، يأخذ عنصر الحجم نفس التعبير: يكون التعبير عن عنصر الحجم ثابتًا عند تغيير الإحداثيات.

لاحظ أنه لم يكن هناك شيء خاص ببعدين في العرض أعلاه؛ ما ورد أعلاه يعمم على أية أبعاد اختيارية.

مثال: الكرة

على سبيل المثال، نفترض الكرة التي نصف قطرها r ومركزها عند نقطة الأصل في نظام الإحداثيات ثلاثي الأبعاد R ³. يمكن تحديد معلمات باستخدام الإحداثيات الكروية كالتالي

$\varphi (u_1,u_2)=(r\cos u_1\sin u_2,r\sin u_1\sin u_2,r\cos u_2).$

إذن

$g=\left(\begin{array}{cc}{r}^2{\sin }^2{u}_2& 0\\ 0& r^2\end{array}\right),$

وعنصر المساحة هو

$\omega =\sqrt{detg}d{u}_{1}d{u}_2=r^2\sin u_{2}d{u}_{1}d{u}_2.$

انظر أيضا

• Cylindrical coordinate system § Line and volume elements
• Spherical coordinate system § Integration and differentiation in spherical coordinates
• تكامل سطح Surface integral
• تكامل حجم Volume integral

مراجع

• Besse، Arthur L. (1987)، Einstein manifolds، Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 10، Berlin, New York: شبرينغر، ص. xii+510، ISBN:978-3-540-15279-8