In search of constitutive conditions in isotropic hyperelasticity: polyconvexity versus true-stress-true-strain monotonicity

ملخص تقني: البحث عن الشروط التأسيسية في المرونة الفائقة متناحية الخواص: التعددية المحدبة مقابل رتابة الإجهاد الحقيقي-الانفعال الحقيقي

بيان المشكلة
تتناول الورقة البحثية "المشكلة الرئيسية" (Hauptproblem) في المرونة النهائية: تحديد القيود التأسيسية المناسبة لدالة طاقة الانفعال $W$ التي تضمن سلوكاً مادياً معقولاً في المرونة الفائقة المتناحية المثالية. وبينما تُعد المزايا الرياضية لـ التعددية المحدبة (polyconvexity) راسخة (بما يضمن وجود القيم الصغرى والتقعر شبه المحدب)، فإن تبعاتها الميكانيكية أقل وضوحاً. وعلى العكس من ذلك، فإن شرط رتابة الإجهاد الحقيقي-الانفعال الحقيقي (TSTS-M++)، الذي أُعيد اكتشافه مؤخراً، يضمن مسارات إجهاد-انفعال رتيبة في أنماط تشوه محددة، ولكنه يفتقر إلى ضمانات الاستقرار الرياضي الواسعة التي توفرها التعددية المحدبة. السؤال المركزي هو ما إذا كان أي من هذين الشرطين وحده كافياً لضمان سلوك معقول فيزيائياً، أم أن مزيجاً منهما مطلوب، وهل يمكن تحقيق هذا المزيج عالمياً.

المنهجية
يستخدم المؤلفون نهجاً تحليلياً صارماً يعتمد على نظرية المرونة الفائقة المتناحية. وتشمل العناصر المنهجية الرئيسية ما يلي:

• تمثيل الثوابت (Invariant Representation): يتم تمثيل دالة طاقة الانفعال باستخدام مجموعة محددة من الثوابت $K_i$ (الجذور التربيعية للثوابت الرئيسية لموتر كوشي-غرين الأيسر $\mathbf{B}$)، مما يبسط تمثيل المتراجحات التأسيسية مقارنة بالامتدادات الرئيسية.
• اشتقاق الشروط الكافية: تشتق الورقة شروطاً كافية صريحة وجديدة لكل من التعددية المحدبة وTSTS-M++ بدلالة مشتقات دالة الطاقة بالنسبة للثوابت $K_1, K_2, K_3$.
• الأمثلة المضادة الصريحة: لاختبار كفاية هذه الشروط، يقوم المؤلفون ببناء عائلات محددة من دالات طاقة الانفعال. تم تصميم هذه الدوال لتستوفي شرطاً واحداً (مثل التعددية المحدبة) بينما تنتهك صراحة السلوك الفيزيائي المتوقع المرتبط بالشرط الآخر (مثل الرتابة في التمدد أحادي المحور).
• البراهين التحليلية: تعتمد الدراسة على التفاضل الرمزي، والتحلل الطيفي، وتحليل المعادلات التفاضلية العادية (تحديداً Lemma 5.15) لإثبات خصائص دالات طاقة الانفعال المصنوعة دون اللجوء إلى الحسابات العددية واسعة النطاق، باستثناء التصوير البياني.

المساهمات والنتائج الرئيسية
تقدم الورقة إجابات حاسمة لأربعة "أسئلة تحدي" طرحها Neff et al. (2024) فيما يتعلق بالتفاعل بين التعددية المحدبة وTSTS-M++:

1. عدم كفاية التعددية المحدبة في التمدد أحادي المحور (التحدي ii و iii):

   • الحالة القابلة للانضغاط: يبني المؤلفون دالة طاقة انفعال متعددة المحدبة (Eq. 5.37) تعطي استجابة إجهاد كوشي غير رتيبة في التمدد أحادي المحور غير المقيد. وتحديداً، يصل الإجهاد $\sigma_{11}$ إلى قيمة قصوى ثم ينخفض مع زيادة الامتداد $\lambda_1$، رغم أن الدالة متعددة المحدبة وتستوفي شرط إليبتية ليجاندر-هادامارد.
   • الحالة غير القابلة للانضغاط: بينما لم يتم العثور على مثال مضاد، يثبت المؤلفون أن أي دالة طاقة انفعال غير قابلة للانضغاط تستوفي الشروط الكافية للتعددية المحدبة التي اقترحها Ball (1976) تؤدي تلقائياً إلى استجابة إجهاد حقيقي رتيبة. وهذا يقلص مساحة البحث عن مثال مضاد محتمل بشكل كبير، لكنه لا يثبت الاستحالة.

2. عدم كفاية TSTS-M++ في القص البسيط (التحدي iv):

   • يبني المؤلفون دالة طاقة انفعال (Eq. 5.69) تستوفي TSTS-M++ عالمياً، ولكنها تظهر استجابة إجهاد قص كوشي غير رتبية في القص البسيط.
   • تعني هذه النتيجة أن الدالة ليست محدبة من الرتبة-واحد (وبالتالي ليست متعددة المحدبة)، حيث ثبت أن تحدب الرتبة-واحد هو شرط ضروري لاستجابة القص الرتيبة في القص البسيط (Proposition 5.13).

3. الحلول المحدودة بالسلاسل (التحدي i):

   • يحاول المؤلفون إيجاء دالة واحدة تستوفي كلاً من التعددية المحدبة وTSTS-M++ عالمياً. ولم يتمكنوا من تحديد مثل هذه الدالة المعرفة على كامل المجال $GL^+(3)$.
   • ومع ذلك، نجحوا في بناء ثلاث عائلات من دالات طاقة الانفعال "المحدودة بالسلاسل" (Propositions 5.2, 5.4, 5.5) التي تستوفي كلا الشرطين ضمن مجالات مقيدة من التشوه (مثل المتوسطات المحدودة لعنصر الخط أو المساحة أو الحجم).

4. الشروط الكافية الجديدة:

   • تضع الورقة شروطاً كافية صريحة للتعددية المحدبة (Theorem 3.1) وTSTS-M++ (Theorem 4.4) بدلالة الثوابت $K_i$. وتسلط هذه الشروط الضوء على الاختلافات الهيكلية بين القيدين، لا سيما فيما يتعلق بمتطلبات التقعر للدالة ومشتقاتها.

الأهمية والادعاءات
تخلص الورقة إلى أن لا التعددية المحدبة ولا TSTS-M++ كافيان بمفردهما لضمان استجابة مادية معقولة للمرونة الفائقة المتناحية المثالية.

• تضمن التعددية المحدبة الاستقرار (إليبتية ليجاندر-هادامارد) ورتابة إجهاد القص، لكنها تفشل في ضمان رتابة الإجهاد في التمدد أحادي المحور.
• تضمن TSTS-M++ رتابة الإجهاد في التمدد أحادي المحور، لكنها تفشل في ضمان رتابة إجهاد القص (وبالتالي تفشل في ضمان تحدب الرتبة-واحد).

يشير المؤلفون إلى أن الحل القابل للتطبيق لـ "المشكلة الرئيسية" لتروسدل (Truesdell's Hauptproblem) يتطلب على الأرجح مزيجاً من كلا الشرطين. ومع ذلك، فهم يصرحون صراحة بأنه لم يتم تحديد أي دالة طاقة انفعال متناحية تحقق كلا القيدين عالمياً حتى الآن. ويظل بناء مثل هذه الدالة مشكلة مفتوحة. وتفترض الورقة أن الشروط الكافية المستمدة لكلا الخاصيتين قد تكون متنافية في الإعداد العالمي، وإن كان يمكن التوفيق بينهما في المجالات المحدودة (المحدودة بالسلاسل). ويعد هذا العمل بمثابة ملاحظة تحذيرية للنمذجة التأسيسية، خاصة في النهج القائمة على البيانات (مثل الشبكات العصبية) حيث تُستخدم التعددية المحدبة غالباً كقيد استقرار وحيد، مما قد يؤدي إلى التغافل عن المتطلب الفيزيائي لمسارات الإجهاد-الانفعال الرتيبة في التمدد.