التوافق (الميكانيكا)

في ميكانيكا الأوساط المتصلة ، يُعرف حقل موتر التشوه (أو الانفعال ) المتوافق في جسم ما بأنه حقل الموتر الفريد الذي يُحصل عليه عند تعريض الجسم لحقل إزاحة متصل أحادي القيمة . وتُعنى دراسة التوافق بالشروط التي تضمن وجود حقل الإزاحة هذا. وتُعد شروط التوافق حالات خاصة من شروط التكامل ، وقد اشتقها باريه دي سان فينان لأول مرة في مجال المرونة الخطية عام 1864، وأثبتها بلترامي بدقة عام 1886. [ 1 ]

في وصف الجسم الصلب باستخدام نموذج الوسط المتصل، نتخيل أن الجسم يتكون من مجموعة من الحجوم المتناهية الصغر أو النقاط المادية. يُفترض أن كل حجم متصل بجيرانه دون أي فجوات أو تداخلات. يجب استيفاء شروط رياضية معينة لضمان عدم ظهور فجوات/تداخلات عند تشوه الجسم. يُطلق على الجسم الذي يتشوه دون ظهور أي فجوات/تداخلات اسم الجسم المتوافق. شروط التوافق هي شروط رياضية تحدد ما إذا كان تشوه معين سيترك الجسم في حالة متوافقة. [ 2 ]

في سياق نظرية الإجهاد المتناهي الصغر ، تُعادل هذه الشروط القول بأن الإزاحات في الجسم يُمكن الحصول عليها بتكامل الإجهادات . ويُصبح هذا التكامل ممكنًا إذا كان موتر سان فينان (أو موتر عدم التوافق)R(ε){\displaystyle {\boldsymbol {R}}({\boldsymbol {\varepsilon }})}يختفي في جسم بسيط الاتصال [ 3 ] حيثε{\displaystyle {\boldsymbol {\varepsilon }}}هو موتر الإجهاد المتناهي الصغر و R:=×(×ε)تي=0 .{\displaystyle {\boldsymbol {R}}:={\boldsymbol {\nabla }}\times ({\boldsymbol {\nabla }}\times {\boldsymbol {\varepsilon }})^{T}={\boldsymbol {0}}~.} بالنسبة للتشوهات المحدودة، تأخذ شروط التوافق الشكل التالي: R:=×F=0{\displaystyle {\boldsymbol {R}}:={\boldsymbol {\nabla }}\times {\boldsymbol {F}}={\boldsymbol {0}}} أينF{\displaystyle {\boldsymbol {F}}}هو تدرج التشوه .

شروط التوافق للتشوهات المتناهية الصغر

تُستنتج شروط التوافق في المرونة الخطية من خلال ملاحظة وجود ست علاقات بين الانفعال والإزاحة، وهي دوال لثلاث إزاحات مجهولة فقط. يشير هذا إلى إمكانية حذف الإزاحات الثلاث من نظام المعادلات دون فقدان أي معلومات. توفر التعبيرات الناتجة بدلالة الانفعالات فقط قيودًا على الأشكال الممكنة لحقل الانفعال.

ثنائي الأبعاد

بالنسبة لمسائل الإجهاد المستوي ثنائية الأبعاد، تكون علاقات الإجهاد والإزاحة كما يلي: ε11=u1x1 ؛  ε12=12[u1x2+u2x1] ؛  ε22=u2x2{\displaystyle \varepsilon _{11}={\cfrac {\partial u_{1}}{\partial x_{1}}}~;~~\varepsilon _{12}={\cfrac {1}{2}}\left[{\cfrac {\partial u_{1}}{\partial x_{2}}}+{\cfrac {\partial u_{2}}{\partial x_{1}}}\right]~;~~\varepsilon _{22}={\cfrac {\partial u_{2}}{\partial x_{2}}}}

التفاضل المتكرر لهذه العلاقات، من أجل إزالة الإزاحاتu1{\displaystyle u_{1}}وu2{\displaystyle u_{2}}، مما يعطينا شرط التوافق ثنائي الأبعاد للإجهادات 2ε11x22-22ε12x1x2+2ε22x12=0{\displaystyle {\cfrac {\partial ^{2}\varepsilon _{11}}{\partial x_{2}^{2}}}-2{\cfrac {\partial ^{2}\varepsilon _{12}}{\partial x_{1}\partial x_{2}}}+{\cfrac {\partial ^{2}\varepsilon _{22}}{\partial x_{1}^{2}}}=0}

مجال الإزاحة الوحيد المسموح به بواسطة مجال إجهاد مستوي متوافق هو مجال إزاحة مستوي ، أيu=u(x1،x2){\displaystyle \mathbf {u} =\mathbf {u} (x_{1},x_{2})}.

الأبعاد الثلاثة

في ثلاثة أبعاد، بالإضافة إلى معادلتين أخريين من الشكل الموضح في بعدين، توجد ثلاث معادلات أخرى من الشكل 2ε33x1x2=x3[ε23x1+ε31x2-ε12x3]{\displaystyle {\cfrac {\partial ^{2}\varepsilon _{33}}{\partial x_{1}\partial x_{2}}}={\cfrac {\partial }{\partial x_{3}}}\left[{\cfrac {\partial \varepsilon _{23}}{\partial x_{1}}}+{\cfrac {\partial \varepsilon _{31}}{\partial x_{2}}}-{\cfrac {\partial \varepsilon _{12}}{\partial x_{3}}}\right]} لذا، يوجد 81 معادلة تفاضلية جزئية (3 × 4) ، ولكن بسبب شروط التناظر، يتقلص هذا العدد إلى ستة شروط توافق مختلفة. يمكننا كتابة هذه الشروط باستخدام ترميز الفهرس على النحو التالي: [ 4 ].هـأناكر هـجلs εأناج،كل=0{\displaystyle e_{ikr}~e_{jls}~\varepsilon _{ij,kl}=0} أينهـأناجك{\displaystyle e_{ijk}}هو رمز التبديل . في تدوين الموتر المباشر ×(×ε)تي=0{\displaystyle {\boldsymbol {\nabla }}\times ({\boldsymbol {\nabla }}\times {\boldsymbol {\varepsilon }})^{T}={\boldsymbol {0}}} حيث يمكن التعبير عن عامل الدوران في نظام إحداثيات متعامد على النحو التالي:×ε=هـأناجكεرج،أناهـكهـر{\displaystyle {\boldsymbol {\nabla }}\times {\boldsymbol {\varepsilon }}=e_{ijk}\varepsilon _{rj,i}\mathbf {e} _{k}\otimes \mathbf {e} _{r}}.

الموتر من الدرجة الثانية R:=×(×ε)تي ؛  Rرs:=هـأناكر هـجلs εأناج،كل{\displaystyle {\boldsymbol {R}}:={\boldsymbol {\nabla }}\times ({\boldsymbol {\nabla }}\times {\boldsymbol {\varepsilon }})^{T}~;~~R_{rs}:=e_{ikr}~e_{jls}~\varepsilon _{ij,kl}} يُعرف باسم موتر عدم التوافق (أو تحديدًا موتر كرونر) وهو شكل مُختزل من موتر التوافق من رتبة 4 سانت فينان

شروط التوافق للإجهادات المحدودة

بالنسبة للمواد الصلبة التي لا يُشترط فيها أن تكون التشوهات صغيرة، تأخذ شروط التوافق الشكل التالي: ×F=0{\displaystyle {\boldsymbol {\nabla }}\times {\boldsymbol {F}}={\boldsymbol {0}}} أينF{\displaystyle {\boldsymbol {F}}}يمثل تدرج التشوه . ويمكننا كتابة علاقات التوافق هذه بدلالة مركباتها بالنسبة لنظام إحداثيات ديكارتية على النحو التالي:هـأبج FأنابXأ=0{\displaystyle e_{ABC}~{\cfrac {\partial F_{iB}}{\partial X_{A}}}=0} هذا الشرط ضروري لكي يكون التشوه مستمرًا ومستمدًا من عملية التحويلx=χ(X،ت){\displaystyle \mathbf {x} ={\boldsymbol {\chi }}(\mathbf {X} ,t)}(انظر نظرية الإجهاد المحدود ). وينطبق الشرط نفسه أيضاً لضمان التوافق في جسم بسيط الاتصال .

شرط التوافق لموتر تشوه كوشي-جرين الأيمن

يمكن التعبير عن شرط التوافق لموتر تشوه كوشي-غرين الأيمن على النحو التالي:Rαβργ:=Xρ[Γαβγ]-Xβ[Γαργ]+Γμργ Γαβμ-Γμβγ Γαρμ=0{\displaystyle R_{\alpha \beta \rho }^{\gamma }:={\frac {\partial }{\partial X^{\rho }}}[\Gamma _{\alpha \beta }^{\gamma }]-{\frac {\partial }{\partial X^{\beta }}}[\Gamma _{\alpha \rho }^{\gamma }]+\Gamma _{\mu \rho }^{\gamma }~\Gamma _{\alpha \beta }^{\mu }-\Gamma _{\mu \beta }^{\gamma }~\Gamma _{\alpha \rho }^{\mu }=0} أينΓأناجك{\displaystyle \Gamma _{ij}^{k}}هو رمز كريستوفيل من النوع الثاني . الكميةRأناجكم{\displaystyle R_{ijk}^{m}}يمثل المكونات المختلطة لموتر انحناء ريمان-كريستوفيل .

مشكلة التوافق العامة

تتضمن مشكلة التوافق في ميكانيكا الأوساط المتصلة تحديد الحقول المتصلة أحادية القيمة المسموح بها على الأجسام المتصلة ببساطة. وبشكل أدق، يمكن صياغة المشكلة على النحو التالي. [ 5 ]

الشكل 1. حركة جسم متصل.

لنفترض تشوه جسم موضح في الشكل 1. إذا عبرنا عن جميع المتجهات بدلالة نظام الإحداثيات المرجعي{(هـ1،هـ2،هـ3)،يا}{\displaystyle \{(\mathbf {E} _{1},\mathbf {E} _{2},\mathbf {E} _{3}),O\}}، إزاحة نقطة في الجسم تُعطى بالعلاقة التالية u=x-X ؛  uأنا=xأنا-Xأنا{\displaystyle \mathbf {u} =\mathbf {x} -\mathbf {X} ~;~~u_{i}=x_{i}-X_{i}} أيضًا u=uX ؛  x=xX{\displaystyle {\boldsymbol {\nabla }}\mathbf {u} ={\frac {\partial \mathbf {u} }{\partial \mathbf {X} }}~;~~{\boldsymbol {\nabla }}\mathbf {x} ={\frac {\partial \mathbf {x} }{\partial \mathbf {X} }}}

ما هي الشروط المفروضة على حقل موتر من الرتبة الثانية؟أ(X){\displaystyle {\boldsymbol {A}}(\mathbf {X} )}توجد على الجسم عناصر ضرورية وكافية بحيث يوجد حقل متجهي فريدv(X){\displaystyle \mathbf {v} (\mathbf {X} )}ذلك يرضي v=أvأنا،ج=أأناج{\displaystyle {\boldsymbol {\nabla }}\mathbf {v} ={\boldsymbol {A}}\quad \equiv \quad v_{i,j}=A_{ij}}

الشروط الضرورية

بالنسبة للشروط اللازمة، نفترض أن المجالv{\displaystyle \mathbf {v} }موجود ويلبي الاحتياجات vأنا،ج=أأناج{\displaystyle v_{i,j}=A_{ij}}. ثم vأنا،جك=أأناج،ك ؛  vأنا،كج=أأناك،ج{\displaystyle v_{i,jk}=A_{ij,k}~;~~v_{i,kj}=A_{ik,j}} بما أن تغيير ترتيب التفاضل لا يؤثر على النتيجة، فإننا نحصل على vأنا،جك=vأنا،كج{\displaystyle v_{i,jk}=v_{i,kj}} لذلك أأناج،ك=أأناك،ج{\displaystyle A_{ij,k}=A_{ik,j}} من المتطابقة المعروفة لدوران الموتر، نحصل على الشرط اللازم ×أ=0{\displaystyle {\boldsymbol {\nabla }}\times {\boldsymbol {A}}={\boldsymbol {0}}}

شروط كافية

الشكل 2. مسارات التكامل المستخدمة في إثبات شروط كفاية التوافق.

لإثبات أن هذا الشرط كافٍ لضمان وجود حقل موتر متوافق من الرتبة الثانية، نبدأ بافتراض أن الحقلأ{\displaystyle {\boldsymbol {A}}}يوجد بحيث ×أ=0{\displaystyle {\boldsymbol {\nabla }}\times {\boldsymbol {A}}={\boldsymbol {0}}}سنقوم بتكامل هذا الحقل لإيجاد حقل المتجهاتv{\displaystyle \mathbf {v} }على طول خط بين نقطتينأ{\displaystyle A}وب{\displaystyle B}(انظر الشكل 2)، أي v(Xب)-v(Xأ)=XأXبv دX=XأXبأ(X)دX{\displaystyle {\begin{aligned}\mathbf {v} (\mathbf {X} _{B})-\mathbf {v} (\mathbf {X} _{A})&=\int _{\mathbf {X} _{A}}^{\mathbf {X} _{B}}{\boldsymbol {\nabla }}\mathbf {v} \cdot ~d\mathbf {X} \\[1ex]&=\int _{\mathbf {X} _{A}}^{\mathbf {X} _{B}}{\boldsymbol {A}}(\mathbf {X} )\cdot d\mathbf {X} \end{aligned}}} إذا كان حقل المتجهاتv{\displaystyle \mathbf {v} }إذا كان التكامل ذا قيمة واحدة، فيجب أن تكون قيمة التكامل مستقلة عن المسار المتخذ للانتقال منأ{\displaystyle A}لب{\displaystyle B}.

من نظرية ستوكس ، يُعطى تكامل موتر من الرتبة الثانية على طول مسار مغلق بالصيغة التالية: Ωأدs=Ωن(×أ) دأ{\displaystyle \oint _{\partial \Omega }{\boldsymbol {A}}\cdot d\mathbf {s} =\int _{\Omega }\mathbf {n} \cdot ({\boldsymbol {\nabla }}\times {\boldsymbol {A}})~da} بافتراض أن التفافأ{\displaystyle {\boldsymbol {A}}}إذا كانت القيمة صفرًا، فسنحصل على Ωأدs=0أبأدX+بأأدX=0{\displaystyle {\begin{aligned}&\oint _{\partial \Omega }{\boldsymbol {A}}\cdot d\mathbf {s} =0\\[1ex]\implies \quad &\int _{AB}{\boldsymbol {A}}\cdot d\mathbf {X} +\int _{BA}{\boldsymbol {A}}\cdot d\mathbf {X} =0\end{aligned}}} وبالتالي فإن التكامل مستقل عن المسار، وشرط التوافق كافٍ لضمان حل فريد.v{\displaystyle \mathbf {v} }المجال، بشرط أن يكون الجسم متصلاً ببساطة.

توافق تدرج التشوه

يتم الحصول على شرط التوافق لتدرج التشوه مباشرة من البرهان أعلاه من خلال ملاحظة أن F=xX=x{\displaystyle {\boldsymbol {F}}={\cfrac {\partial \mathbf {x} }{\partial \mathbf {X} }}={\boldsymbol {\nabla }}\mathbf {x} } ثم الشروط اللازمة والكافية لوجود توافقF{\displaystyle {\boldsymbol {F}}}المجال فوق جسم متصل ببساطة ×F=0{\displaystyle {\boldsymbol {\nabla }}\times {\boldsymbol {F}}={\boldsymbol {0}}}

توافق الإجهادات المتناهية الصغر

يمكن صياغة مشكلة التوافق للسلالات الصغيرة على النحو التالي.

بالنظر إلى حقل موتر متناظر من الرتبة الثانيةϵ{\displaystyle {\boldsymbol {\epsilon }}}متى يكون من الممكن إنشاء حقل متجهيu{\displaystyle \mathbf {u} }بحيث ϵ=12[u+(u)تي]{\displaystyle {\boldsymbol {\epsilon }}={\tfrac {1}{2}}[{\boldsymbol {\nabla }}\mathbf {u} +({\boldsymbol {\nabla }}\mathbf {u} )^{T}]}

الشروط الضرورية

لنفترض أن هناكu{\displaystyle \mathbf {u} }بحيث يكون التعبير عنϵ{\displaystyle {\boldsymbol {\epsilon }}}ينتظر. الآن u=ϵ+ω{\displaystyle {\boldsymbol {\nabla }}\mathbf {u} ={\boldsymbol {\epsilon }}+{\boldsymbol {\omega }}} أين ω:=12[u-(u)تي]{\displaystyle {\boldsymbol {\omega }}:={\tfrac {1}{2}}[{\boldsymbol {\nabla }}\mathbf {u} -({\boldsymbol {\nabla }}\mathbf {u} )^{T}]} لذلك، في تدوين الفهرس، ωωأناج،ك=12(uأنا،جك-uج،أناك)=12(uأنا،جك+uك،جأنا-uج،أناك-uك،جأنا)=εأناك،ج-εجك،أنا{\displaystyle {\begin{aligned}{\boldsymbol {\nabla }}{\boldsymbol {\omega }}\equiv \omega _{ij,k}&={\tfrac {1}{2}}(u_{i,jk}-u_{j,ik})\\[2pt]&={\tfrac {1}{2}}(u_{i,jk}+u_{k,ji}-u_{j,ik}-u_{k,ji})\\[2pt]&=\varepsilon _{ik,j}-\varepsilon _{jk,i}\end{aligned}}} لوω{\displaystyle {\boldsymbol {\omega }}}لدينا دالة قابلة للتفاضل باستمرارωأناج،كل=ωأناج،لك{\displaystyle \omega _{ij,kl}=\omega _{ij,lk}}. لذلك، εأناك،جل-εجك،أنال-εأنال،جك+εجل،أناك=0{\displaystyle \varepsilon _{ik,jl}-\varepsilon _{jk,il}-\varepsilon _{il,jk}+\varepsilon _{jl,ik}=0} في تدوين الموتر المباشر ×(×ϵ)تي=0{\displaystyle {\boldsymbol {\nabla }}\times ({\boldsymbol {\nabla }}\times {\boldsymbol {\epsilon }})^{T}={\boldsymbol {0}}} ما سبق شروط ضرورية. إذاw{\displaystyle \mathbf {w} }إذا كان متجه الدوران متناهي الصغر×ϵ=w+wتي{\displaystyle {\boldsymbol {\nabla }}\times {\boldsymbol {\epsilon }}={\boldsymbol {\nabla }}\mathbf {w} +{\boldsymbol {\nabla }}\mathbf {w} ^{T}}وبالتالي، يمكن كتابة الشرط الضروري أيضًا على النحو التالي:×(w+wتي)تي=0{\displaystyle {\boldsymbol {\nabla }}\times ({\boldsymbol {\nabla }}\mathbf {w} +{\boldsymbol {\nabla }}\mathbf {w} ^{T})^{T}={\boldsymbol {0}}}.

شروط كافية

لنفترض الآن أن الشرط×(×ϵ)تي=0{\displaystyle {\boldsymbol {\nabla }}\times ({\boldsymbol {\nabla }}\times {\boldsymbol {\epsilon }})^{T}={\boldsymbol {0}}}يتحقق الشرط في جزء من الجسم. هل هذا الشرط كافٍ لضمان وجود حقل إزاحة متصل أحادي القيمة؟u{\displaystyle \mathbf {u} }؟

تتمثل الخطوة الأولى في هذه العملية في إثبات أن هذا الشرط يستلزم أن يكون موتر الدوران متناهي الصغرω{\displaystyle {\boldsymbol {\omega }}}يتم تعريفها بشكل فريد. وللقيام بذلك، نقوم بالدمجw{\displaystyle {\boldsymbol {\nabla }}\mathbf {w} }على طول المسارXأ{\displaystyle \mathbf {X} _{A}}لXب{\displaystyle \mathbf {X} _{B}}، أي، w(Xب)-w(Xأ)=XأXبwدX=XأXب(×ϵ)دX{\displaystyle \mathbf {w} (\mathbf {X} _{B})-\mathbf {w} (\mathbf {X} _{A})=\int _{\mathbf {X} _{A}}^{\mathbf {X} _{B}}{\boldsymbol {\nabla }}\mathbf {w} \cdot d\mathbf {X} =\int _{\mathbf {X} _{A}}^{\mathbf {X} _{B}}({\boldsymbol {\nabla }}\times {\boldsymbol {\epsilon }})\cdot d\mathbf {X} } لاحظ أننا نحتاج إلى معرفة مرجعw(Xأ){\displaystyle \mathbf {w} (\mathbf {X} _{A})}لتثبيت دوران الجسم الصلب. المجالw(X){\displaystyle \mathbf {w} (\mathbf {X} )}يتم تحديدها بشكل فريد فقط إذا كان التكامل الكفافي على طول كفاف مغلق بينXأ{\displaystyle \mathbf {X} _{A}}وXب{\displaystyle \mathbf {X} _{b}}يساوي صفرًا، أي XأXب(×ϵ)دX=0{\displaystyle \oint _{\mathbf {X} _{A}}^{\mathbf {X} _{B}}({\boldsymbol {\nabla }}\times {\boldsymbol {\epsilon }})\cdot d\mathbf {X} ={\boldsymbol {0}}} لكن من نظرية ستوكس للجسم المتصل ببساطة والشرط الضروري للتوافق XأXب(×ϵ)دX=Ωأبن(××ϵ) دأ=0{\displaystyle \oint _{\mathbf {X} _{A}}^{\mathbf {X} _{B}}({\boldsymbol {\nabla }}\times {\boldsymbol {\epsilon }})\cdot d\mathbf {X} =\int _{\Omega _{AB}}\mathbf {n} \cdot ({\boldsymbol {\nabla }}\times {\boldsymbol {\nabla }}\times {\boldsymbol {\epsilon }})~da={\boldsymbol {0}}} لذلك، فإن المجالw{\displaystyle \mathbf {w} }يتم تعريفها بشكل فريد مما يعني أن موتر الدوران المتناهي الصغرω{\displaystyle {\boldsymbol {\omega }}}كما أنه يُعرَّف بشكل فريد، شريطة أن يكون الجسم متصلاً ببساطة.

في الخطوة التالية من العملية، سننظر في تفرد مجال الإزاحةu{\displaystyle \mathbf {u} }كما في السابق، نقوم بتكامل تدرج الإزاحة u(Xب)-u(Xأ)=XأXبuدX=XأXب(ϵ+ω)دX{\displaystyle \mathbf {u} (\mathbf {X} _{B})-\mathbf {u} (\mathbf {X} _{A})=\int _{\mathbf {X} _{A}}^{\mathbf {X} _{B}}{\boldsymbol {\nabla }}\mathbf {u} \cdot d\mathbf {X} =\int _{\mathbf {X} _{A}}^{\mathbf {X} _{B}}({\boldsymbol {\epsilon }}+{\boldsymbol {\omega }})\cdot d\mathbf {X} } انطلاقاً من نظرية ستوكس وباستخدام العلاقات×ϵ=w=-×ω{\displaystyle {\boldsymbol {\nabla }}\times {\boldsymbol {\epsilon }}={\boldsymbol {\nabla }}\mathbf {w} =-{\boldsymbol {\nabla }}\times \omega }لدينا XأXب(ϵ+ω)دX=Ωأبن(×ϵ+×ω) دأ=0{\displaystyle \oint _{\mathbf {X} _{A}}^{\mathbf {X} _{B}}({\boldsymbol {\epsilon }}+{\boldsymbol {\omega }})\cdot d\mathbf {X} =\int _{\Omega _{AB}}\mathbf {n} \cdot ({\boldsymbol {\nabla }}\times {\boldsymbol {\epsilon }}+{\boldsymbol {\nabla }}\times {\boldsymbol {\omega }})~da={\boldsymbol {0}}} وبالتالي مجال الإزاحةu{\displaystyle \mathbf {u} }يتم تحديدها بشكل فريد أيضًا. وبالتالي، فإن شروط التوافق كافية لضمان وجود مجال إزاحة فريد.u{\displaystyle \mathbf {u} }في جسم متصل ببساطة.

التوافق مع مجال تشوه كوشي-جرين الأيمن

يمكن صياغة مشكلة التوافق لحقل تشوه كوشي-جرين الأيمن على النحو التالي.

المسألة: ليكنج(X){\displaystyle {\boldsymbol {C}}(\mathbf {X} )}ليكن حقل موتر متناظر موجب التحديد معرفًا على التكوين المرجعي. ما هي الشروط التي تجعله كذلك؟ج{\displaystyle {\boldsymbol {C}}}هل يوجد تكوين مشوه يتم تمييزه بواسطة حقل الموضع؟x(X){\displaystyle \mathbf {x} (\mathbf {X} )}بحيث (1)(xX)تي(xX)=ج{\displaystyle (1)\quad \left({\frac {\partial \mathbf {x} }{\partial \mathbf {X} }}\right)^{T}\left({\frac {\partial \mathbf {x} }{\partial \mathbf {X} }}\right)={\boldsymbol {C}}}

الشروط الضرورية

لنفترض أن حقلاًx(X){\displaystyle \mathbf {x} (\mathbf {X} )}يوجد عنصر يحقق الشرط (1). بدلالة المكونات بالنسبة إلى أساس ديكارتي مستطيل xأناXαxأناXβ=جαβ{\displaystyle {\frac {\partial x^{i}}{\partial X^{\alpha }}}{\frac {\partial x^{i}}{\partial X^{\beta }}}=C_{\alpha \beta }} من نظرية الإجهاد المحدود نعلم أنجαβ=زαβ{\displaystyle C_{\alpha \beta }=g_{\alpha \beta }}ومن ثم يمكننا أن نكتب دلتاأناج xأناXα xجXβ=زαβ{\displaystyle \delta _{ij}~{\frac {\partial x^{i}}{\partial X^{\alpha }}}~{\frac {\partial x^{j}}{\partial X^{\beta }}}=g_{\alpha \beta }} بالنسبة لحقلين موتر متناظرين من الرتبة الثانية يتم تحويلهما بشكل أحادي، لدينا أيضًا العلاقة التالية:جيأناج=Xαxأنا Xβxج زαβ{\displaystyle G_{ij}={\frac {\partial X^{\alpha }}{\partial x^{i}}}~{\frac {\partial X^{\beta }}{\partial x^{j}}}~g_{\alpha \beta }} من العلاقة بينجيأناج{\displaystyle G_{ij}}وزαβ{\displaystyle g_{\alpha \beta }}الذي - التيدلتاأناج=جيأناج{\displaystyle \delta _{ij}=G_{ij}}لدينا (x)Γأناجك=0{\displaystyle _{(x)}\Gamma _{ij}^{k}=0} ثم، من العلاقة 2xمXαXβ=xمXμ(X)Γαβμ-xأناXα xجXβ(x)Γأناجم{\displaystyle {\frac {\partial ^{2}x^{m}}{\partial X^{\alpha }\partial X^{\beta }}}={\frac {\partial x^{m}}{\partial X^{\mu }}}\,_{(X)}\Gamma _{\alpha \beta }^{\mu }-{\frac {\partial x^{i}}{\partial X^{\alpha }}}~{\frac {\partial x^{j}}{\partial X^{\beta }}}\,_{(x)}\Gamma _{ij}^{m}} لدينا F αمXβ=F μم(X)Γαβμ؛  F αأنا:=xأناXα{\displaystyle {\frac {\partial F_{~\alpha }^{m}}{\partial X^{\beta }}}=F_{~\mu }^{m}\,_{(X)}\Gamma _{\alpha \beta }^{\mu }\qquad ;~~F_{~\alpha }^{i}:={\frac {\partial x^{i}}{\partial X^{\alpha }}}} من نظرية الإجهاد المحدود لدينا أيضًا (X)Γαβγ=12(زαγXβ+زβγXα-زαβXγ)؛(X)Γαβν=زνγ(X)Γαβγ ؛زαβ=جαβ ؛  زαβ=جαβ{\displaystyle {\begin{aligned}_{(X)}\Gamma _{\alpha \beta \gamma }&={\frac {1}{2}}\left({\frac {\partial g_{\alpha \gamma }}{\partial X^{\beta }}}+{\frac {\partial g_{\beta \gamma }}{\partial X^{\alpha }}}-{\frac {\partial g_{\alpha \beta }}{\partial X^{\gamma }}}\right);\\[2pt]_{(X)}\Gamma _{\alpha \beta }^{\nu }&=g^{\nu \gamma }\,_{(X)}\Gamma _{\alpha \beta \gamma }~;\\[2pt]g_{\alpha \beta }&=C_{\alpha \beta }~;~~g^{\alpha \beta }=C^{\alpha \beta }\end{aligned}}} لذلك، (X)Γαβμ=جμγ2(جαγXβ+جβγXα-جαβXγ){\displaystyle \,_{(X)}\Gamma _{\alpha \beta }^{\mu }={\cfrac {C^{\mu \gamma }}{2}}\left({\frac {\partial C_{\alpha \gamma }}{\partial X^{\beta }}}+{\frac {\partial C_{\beta \gamma }}{\partial X^{\alpha }}}-{\frac {\partial C_{\alpha \beta }}{\partial X^{\gamma }}}\right)} ولدينا F αمXβ=F μم جμγ2(جαγXβ+جβγXα-جαβXγ){\displaystyle {\frac {\partial F_{~\alpha }^{m}}{\partial X^{\beta }}}=F_{~\mu }^{m}~{\cfrac {C^{\mu \gamma }}{2}}\left({\frac {\partial C_{\alpha \gamma }}{\partial X^{\beta }}}+{\frac {\partial C_{\beta \gamma }}{\partial X^{\alpha }}}-{\frac {\partial C_{\alpha \beta }}{\partial X^{\gamma }}}\right)} ومرة أخرى، باستخدام الطبيعة التبادلية لترتيب التفاضل، لدينا 2F αمXβXρ=2F αمXρXβF μمXρ(X)Γαβμ+F μم Xρ[(X)Γαβμ]=F μمXβ(X)Γαρμ+F μم Xβ[(X)Γαρμ]{\displaystyle {\begin{aligned}&{\frac {\partial ^{2}F_{~\alpha }^{m}}{\partial X^{\beta }\partial X^{\rho }}}={\frac {\partial ^{2}F_{~\alpha }^{m}}{\partial X^{\rho }\partial X^{\beta }}}\\[1.2ex]\implies &{\frac {\partial F_{~\mu }^{m}}{\partial X^{\rho }}}\,_{(X)}\Gamma _{\alpha \beta }^{\mu }+F_{~\mu }^{m}~{\frac {\partial }{\partial X^{\rho }}}\left[\,_{(X)}\Gamma _{\alpha \beta }^{\mu }\right]={\frac {\partial F_{~\mu }^{m}}{\partial X^{\beta }}}\,_{(X)}\Gamma _{\alpha \rho }^{\mu }+F_{~\mu }^{m}~{\frac {\partial }{\partial X^{\beta }}}\left[\,_{(X)}\Gamma _{\alpha \rho }^{\mu }\right]\end{aligned}}} أو F γم(X)Γμργ(X)Γαβμ+F μم Xρ[(X)Γαβμ]=F γم(X)Γμβγ(X)Γαρμ+F μم Xβ[(X)Γαρμ]{\displaystyle F_{~\gamma }^{m}\,_{(X)}\Gamma _{\mu \rho }^{\gamma }\,_{(X)}\Gamma _{\alpha \beta }^{\mu }+F_{~\mu }^{m}~{\frac {\partial }{\partial X^{\rho }}}\left[\,_{(X)}\Gamma _{\alpha \beta }^{\mu }\right]=F_{~\gamma }^{m}\,_{(X)}\Gamma _{\mu \beta }^{\gamma }\,_{(X)}\Gamma _{\alpha \rho }^{\mu }+F_{~\mu }^{m}~{\frac {\partial }{\partial X^{\beta }}}\left[\,_{(X)}\Gamma _{\alpha \rho }^{\mu }\right]} بعد جمع الشروط نحصل F γم((X)Γμργ(X)Γαβμ+Xρ[(X)Γαβγ]-(X)Γμβγ(X)Γαρμ-Xβ[(X)Γαργ])=0{\displaystyle F_{~\gamma }^{m}\left(\,_{(X)}\Gamma _{\mu \rho }^{\gamma }\,_{(X)}\Gamma _{\alpha \beta }^{\mu }+{\frac {\partial }{\partial X^{\rho }}}[\,_{(X)}\Gamma _{\alpha \beta }^{\gamma }]-\,_{(X)}\Gamma _{\mu \beta }^{\gamma }\,_{(X)}\Gamma _{\alpha \rho }^{\mu }-{\frac {\partial }{\partial X^{\beta }}}[\,_{(X)}\Gamma _{\alpha \rho }^{\gamma }]\right)=0} من تعريفFγم{\displaystyle F_{\gamma }^{m}}نلاحظ أنها قابلة للعكس، وبالتالي لا يمكن أن تساوي صفرًا. لذلك، Rαβργ:=Xρ[(X)Γαβγ]-Xβ[(X)Γαργ]+(X)Γμργ(X)Γαβμ-(X)Γμβγ(X)Γαρμ=0{\displaystyle R_{\alpha \beta \rho }^{\gamma }:={\frac {\partial }{\partial X^{\rho }}}[\,_{(X)}\Gamma _{\alpha \beta }^{\gamma }]-{\frac {\partial }{\partial X^{\beta }}}[\,_{(X)}\Gamma _{\alpha \rho }^{\gamma }]+\,_{(X)}\Gamma _{\mu \rho }^{\gamma }\,_{(X)}\Gamma _{\alpha \beta }^{\mu }-\,_{(X)}\Gamma _{\mu \beta }^{\gamma }\,_{(X)}\Gamma _{\alpha \rho }^{\mu }=0} يمكننا إثبات أن هذه هي المكونات المختلطة لموتر انحناء ريمان-كريستوفيل . وبالتالي، فإن الشروط اللازمة لـج{\displaystyle {\boldsymbol {C}}}-التوافق هو أن انحناء ريمان-كريستوفيل للتشوه يساوي صفرًا.

شروط كافية

يُعدّ إثبات الكفاية أكثر تعقيدًا بعض الشيء. [ 5 ] [ 6 ] نبدأ بافتراض أن Rαβργ=0 ؛  زαβ=جαβ{\displaystyle R_{\alpha \beta \rho }^{\gamma }=0~;~~g_{\alpha \beta }=C_{\alpha \beta }} علينا أن نثبت وجودهاx{\displaystyle \mathbf {x} }وX{\displaystyle \mathbf {X} }بحيث xأناXαxأناXβ=جαβ{\displaystyle {\frac {\partial x^{i}}{\partial X^{\alpha }}}{\frac {\partial x^{i}}{\partial X^{\beta }}}=C_{\alpha \beta }} من نظرية لـ TYThomas [ 7 ] نعلم أن نظام المعادلات F αأناXβ=F γأنا (X)Γαβγ{\displaystyle {\frac {\partial F_{~\alpha }^{i}}{\partial X^{\beta }}}=F_{~\gamma }^{i}~\,_{(X)}\Gamma _{\alpha \beta }^{\gamma }} لديها حلول فريدةF αأنا{\displaystyle F_{~\alpha }^{i}}على نطاقات متصلة ببساطة إذا (X)Γαβγ=(X)Γβαγ ؛  Rαβργ=0{\displaystyle _{(X)}\Gamma _{\alpha \beta }^{\gamma }=_{(X)}\Gamma _{\beta \alpha }^{\gamma }~;~~R_{\alpha \beta \rho }^{\gamma }=0} أول هذه الأمور صحيح من تعريفΓجكأنا{\displaystyle \Gamma _{jk}^{i}}والثاني مفترض. ومن ثم فإن الشرط المفترض يعطينا حالة فريدةF αأنا{\displaystyle F_{~\alpha }^{i}}إنهج2{\displaystyle C^{2}}مستمر.

ثم لننظر في نظام المعادلات xأناXα=F αأنا{\displaystyle {\frac {\partial x^{i}}{\partial X^{\alpha }}}=F_{~\alpha }^{i}} منذF αأنا{\displaystyle F_{~\alpha }^{i}}يكونج2{\displaystyle C^{2}}والجسم متصل ببساطة، وهناك حل ماxأنا(Xα){\displaystyle x^{i}(X^{\alpha })}بالنسبة للمعادلات المذكورة أعلاه، يمكننا أن نبين أنxأنا{\displaystyle x^{i}}كما أنها تحقق الخاصية التي المحقق|xأناXα|0{\displaystyle \det \left|{\frac {\partial x^{i}}{\partial X^{\alpha }}}\right|\neq 0} يمكننا أيضًا أن نبين أن العلاقة xأناXα زαβ xجXβ=دلتاأناج{\displaystyle {\frac {\partial x^{i}}{\partial X^{\alpha }}}~g^{\alpha \beta }~{\frac {\partial x^{j}}{\partial X^{\beta }}}=\delta ^{ij}} يشير ذلك إلى أن زαβ=جαβ=xكXα xكXβ{\displaystyle g_{\alpha \beta }=C_{\alpha \beta }={\frac {\partial x^{k}}{\partial X^{\alpha }}}~{\frac {\partial x^{k}}{\partial X^{\beta }}}} إذا ربطنا هذه الكميات بحقول الموترات، يمكننا أن نبين أنxX{\displaystyle {\frac {\partial \mathbf {x} }{\partial \mathbf {X} }}}قابلة للعكس، ويحقق حقل الموتر المُنشأ التعبير الخاص بـج{\displaystyle {\boldsymbol {C}}}.

انظر أيضاً

مراجع

  1. C Amrouche، PG Ciarlet ، L Gratie، S Kesavan، حول شروط توافق Saint Venant وPoincaré's lemma، CR Acad. الخيال العلمي. باريس، سر. ط، 342 (2006)، 887-891. دوى : 10.1016/j.crma.2006.03.026
  2. باربر، جيه آر، 2002، المرونة - الطبعة الثانية، منشورات كلوير الأكاديمية.
  3. ني موسكهيليشفيلي، بعض المشاكل الأساسية في النظرية الرياضية للمرونة. ليدن: دار نشر نوردوف الدولية، 1975.
  4. سلوتر، دبليو إس، 2003، النظرية الخطية للمرونة ، بيركهاوزر
  5. 1 2 أشاريا، أ.، 1999، حول شروط التوافق لحقل تشوه كوشي-جرين الأيسر في ثلاثة أبعاد ، مجلة المرونة، المجلد 56، العدد 2، 95-105
  6. بلوم، جيه إيه، 1989، "شروط التوافق لحقل إجهاد كوشي-جرين الأيسر"، مجلة المرونة، المجلد 21، ص 271-308.
  7. توماس، تي واي، 1934، "أنظمة المعادلات التفاضلية الكلية المعرفة على المجالات المتصلة ببساطة"، حوليات الرياضيات، 35(4)، ص 930-734