مشكلة سينيوريني

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

تاريخ

مسألة سينيوريني الكلاسيكية: ما هو شكل التوازن للجسم المرن ذي الشكل الكروي البرتقالي المستقر على السطح الأزرق الصلب عديم الاحتكاك ؟
  • -"Il mio Discepolo Fichera mi ha dato una grande soddisfazione"
  • -"Ma Lei ne ha avute tante, Professore, durante la sua vita" , rispose il Dottor Aprile, ma Signorini rispose di nuovo:
  • -"Ma questa è la più grande." هذا هو السبب في إطلاق سراحك المشروط في نهاية المطاف. [ 1 ]

طرح أنطونيو سينيوريني هذه المسألة خلال دورةٍ درّسها في المعهد الوطني للرياضيات العليا عام ١٩٥٩، ونُشرت لاحقًا في مقال ( سينيوريني ١٩٥٩ ) ، مُوسّعًا بذلك عرضًا موجزًا ​​سابقًا قدّمه في مذكرة نُشرت عام ١٩٣٣. وقد أطلق سينيوريني (١٩٥٩ ، ص ١٢٨) عليها اسم "مسألة الشروط الحدية الغامضة" [ ٢ ] ، نظرًا لوجود مجموعتين بديلتين من الشروط الحدية التي يجب أن يُحققها الحل عند أي نقطة تماس مُعطاة . لا يقتصر بيان المسألة على المعادلات فحسب ، بل يشمل أيضًا المتباينات ، وليس من المعروف مُسبقًا أيًّا من مجموعتي الشروط الحدية مُحققة عند كل نقطة . وقد طلب سينيوريني تحديد ما إذا كانت المسألة مُحددة جيدًا أم لا من الناحية الفيزيائية، أي ما إذا كان حلها موجودًا وفريدًا أم لا: ودعا صراحةً المحللين الشباب لدراسة المسألة. [ ٣ ] 

حضر غايتانو فيشيرا وماورو بيكوني الدورة، وبدأ فيشيرا في التحقيق في المشكلة: نظرًا لأنه لم يجد أي مراجع لمشاكل مماثلة في نظرية مسائل القيم الحدية ، [ 4 ] فقد قرر التعامل معها من خلال البدء من المبادئ الأولى ، وتحديدًا من مبدأ العمل الافتراضي .

أثناء بحث فيكيرا في هذه المسألة، بدأ سينيوريني يعاني من مشاكل صحية خطيرة، ومع ذلك، كان يرغب في معرفة إجابة سؤاله قبل وفاته. بدأ بيكوني، الذي تربطه بسينيوريني صداقة متينة، بملاحقة فيكيرا لإيجاد حل. فيكيرا نفسه، الذي كان يكنّ مشاعر مماثلة لسينيوريني، اعتبر الأشهر الأخيرة من عام ١٩٦٢ أيامًا عصيبة. [ ٥ ] أخيرًا، في الأيام الأولى من يناير ١٩٦٣، تمكن فيكيرا من تقديم برهان كامل على وجود حل فريد للمسألة ذات الشرط الحدودي الغامض، والتي أطلق عليها اسم "مسألة سينيوريني" تكريمًا لأستاذه. تم إعداد إعلان بحثي أولي، نُشر لاحقًا ( فيكيرا ١٩٦٣ ) ، وقُدِّم إلى سينيوريني قبل أسبوع واحد بالضبط من وفاته. أعرب سينيوريني عن ارتياحه الشديد لرؤية حل لسؤاله. بعد بضعة أيام، دار بين سينيوريني وطبيب عائلته ، داميانو أبريل، الحوار المذكور أعلاه. [ ٦ ]

يتزامن حل مسألة سيجنوريني مع نشأة مجال المتباينات التباينية . [ 7 ]

بيان رسمي للمشكلة

يتبع محتوى هذا القسم والأقسام الفرعية التالية معالجة غايتانو فيشيرا في فيشيرا 1963 ، وفيشيرا 1964ب ، وكذلك فيشيرا 1995 : يختلف اشتقاقه للمسألة عن اشتقاق سينيوريني في أنه لا يقتصر على دراسة الأجسام غير القابلة للانضغاط وسطح السكون المستوي ، كما يفعل سينيوريني. [ 8 ] وتتلخص المسألة في إيجاد متجه الإزاحة من الوضع الطبيعي.u(x)=(u1(x)،u2(x)،u3(x)){\displaystyle \scriptstyle {\boldsymbol {u}}({\boldsymbol {x}})=\left(u_{1}({\boldsymbol {x}}),u_{2}({\boldsymbol {x}}),u_{3}({\boldsymbol {x}})\right)}لجسم مرن غير متجانس وغير متناحٍ يقع في مجموعة جزئيةأ{\displaystyle A}من الفضاء الإقليدي ثلاثي الأبعاد الذي حدوده هيأ{\displaystyle \scriptstyle \partial A}ويكون متجهها العمودي الداخلين{\displaystyle n}، مستقرًا على سطح صلب عديم الاحتكاك يكون سطح التلامس الخاص به (أو بشكل أعم مجموعة التلامس )Σ{\displaystyle \Sigma }ويخضع فقط لقوى جسمهو(x)=(و1(x)،و2(x)،و3(x)){\displaystyle \scriptstyle {\boldsymbol {f}}({\boldsymbol {x}})=\left(f_{1}({\boldsymbol {x}}),f_{2}({\boldsymbol {x}}),f_{3}({\boldsymbol {x}})\right)}والقوى السطحيةز(x)=(ز1(x)،ز2(x)،ز3(x)){\displaystyle \scriptstyle {\boldsymbol {g}}({\boldsymbol {x}})=\left(g_{1}({\boldsymbol {x}}),g_{2}({\boldsymbol {x}}),g_{3}({\boldsymbol {x}})\right)}يتم تطبيقه على السطح الحر (أي غير الملامس للسطح المتبقي)أΣ{\displaystyle \scriptstyle \partial A\setminus \Sigma }المجموعةأ{\displaystyle A}وسطح التلامسΣ{\displaystyle \Sigma }تُحدد هذه الخصائص التكوين الطبيعي للجسم، وهي معروفة مسبقًا. لذلك، يجب أن يُحقق الجسم معادلات التوازن العامة.

(1)     σأناكxك-وأنا=0ل أنا=1،2،3{\displaystyle \qquad {\frac {\partial \sigma _{ik}}{\partial x_{k}}}-f_{i}=0\qquad {\text{لـ }}i=1,2,3}

مكتوبة باستخدام تدوين أينشتاين كما هو الحال في التطوير التالي، شروط الحدود العادية علىأΣ{\displaystyle \scriptstyle \partial A\setminus \Sigma }

(2)     σأناكنك-زأنا=0ل أنا=1،2،3\displaystyle \qquad \sigma _{ik}n_{k}-g_{i}=0\qquad \text{لـ }}i=1,2,3}

والمجموعتان التاليتان من الشروط الحدية علىΣ{\displaystyle \Sigma }، أينσ=σ(u){\displaystyle \scriptstyle {\boldsymbol {\sigma }}={\boldsymbol {\sigma }}({\boldsymbol {u}})}يمثل موتر إجهاد كوشي . من الواضح أنه لا يمكن تحديد قوى الجسم وقوى السطح بشكل عشوائي، بل يجب أن تستوفي شرطًا معينًا حتى يصل الجسم إلى حالة توازن: سيتم استنتاج هذا الشرط وتحليله في الشرح التالي.

الشروط الحدودية الغامضة

لوτ=(τ1،τ2،τ3){\displaystyle \scriptstyle {\boldsymbol {\tau }}=(\tau _{1},\tau _{2},\tau _{3})}أي متجه مماس لمجموعة التلامسΣ{\displaystyle \Sigma }إذاً، يتم التعبير عن شرط الحدود الغامض في كل نقطة من هذه المجموعة بواسطة نظامي المتباينات التاليين.

(3)     {uأنانأنا=0σأناكنأنانك0σأناكنأناτك=0{\displaystyle \quad {\begin{cases}u_{i}n_{i}&=0\\\sigma _{ik}n_{i}n_{k}&\geq 0\\\sigma _{ik}n_{i}\tau _{k}&=0\end{cases}}}     أو (4)          {uأنانأنا>0σأناكنأنانك=0σأناكنأناτك=0{\displaystyle {\begin{cases}u_{i}n_{i}&>0\\\sigma _{ik}n_{i}n_{k}&=0\\\sigma _{ik}n_{i}\tau _{k}&=0\end{cases}}}

دعونا نحلل معناها:

بمعرفة هذه الحقائق، تنطبق مجموعة الشروط (3) على نقاط حدود الجسم التي لا تغادر مجموعة التماس .Σ{\displaystyle \Sigma }في حالة التوازن ، لأنه وفقًا للعلاقة الأولى ، يكون متجه الإزاحةu{\displaystyle u}ليس له مكونات موجهة كمتجه عمودين{\displaystyle n}بينما، وفقًا للعلاقة الثانية، قد يكون لمتجه الشد مركبة موجهة كمتجه عمودين{\displaystyle n}وبنفس المعنى . وبالمثل، تنطبق مجموعة الشروط (4) على نقاط حدود الجسم التي تترك تلك المجموعة في وضع التوازن، لأن متجه الإزاحةu{\displaystyle u}له مركبة موجهة كمتجه عمودين{\displaystyle n}بينما لا يحتوي متجه الشد على أي مركبات موجهة مثل المتجه العمودين{\displaystyle n}بالنسبة لكلا مجموعتي الشروط، لا يحتوي متجه الشد على مركبة مماسية لمجموعة التلامس ، وفقًا للفرضية القائلة بأن الجسم يستقر على سطح صلب عديم الاحتكاك .

يعبّر كل نظام عن قيد أحادي الجانب ، بمعنى أنه يعبّر عن الاستحالة الفيزيائية لاختراق الجسم المرن للسطح الذي يستقر عليه: لا يكمن الغموض فقط في القيم المجهولة التي يجب أن تحققها الكميات غير الصفرية على مجموعة التماس ، بل أيضًا في حقيقة أنه ليس من المعروف مسبقًا ما إذا كانت نقطة تنتمي إلى تلك المجموعة تحقق نظام الشروط الحدية (3) أو (4) . تُسمى مجموعة النقاط التي يتحقق عندها الشرط (3) منطقة دعم الجسم المرن على السطح.Σ{\displaystyle \Sigma }، بينما مكملها فيما يتعلق بـΣ{\displaystyle \Sigma }وتسمى منطقة الفصل .

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

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

الشكل الذي اتخذه سيجنوريني وفيشيرا لطاقة الوضع المرنة هو الشكل التالي (كما هو الحال في التطورات السابقة، تم اعتماد تدوين أينشتاين ) .

دبليو(ε)=أأناك،جح(x)εأناكεجح{\displaystyle W({\boldsymbol {\varepsilon }})=a_{ik,jh}({\boldsymbol {x}})\varepsilon _{ik}\varepsilon _{jh}}

أين

  • أ(x)=(أأناك،جح(x)){\displaystyle \scriptstyle {\boldsymbol {a}}({\boldsymbol {x}})=\left(a_{ik,jh}({\boldsymbol {x}})\right)}هو موتر المرونة
  • ε=ε(u)=(εأناك(u))=(12(uأناxك+uكxأنا)){\displaystyle \scriptstyle {\boldsymbol {\varepsilon }}={\boldsymbol {\varepsilon }}({\boldsymbol {u}})=\left(\varepsilon _{ik}({\boldsymbol {u}})\right)=\left({\frac {1}{2}}\left({\frac {\partial u_{i}}{\partial x_{k}}}+{\frac {\partial u_{k}}{\partial x_{i}}}\right)\right)}هو موتر الإجهاد المتناهي الصغر

وبالتالي، فإن موتر إجهاد كوشي له الشكل التالي

(5)     σأناك=-دبليوεأناكل أنا،ك=1،2،3{\displaystyle \sigma _{ik}=-{\frac {\partial W}{\partial \varepsilon _{ik}}}\qquad {\text{for }}i,k=1,2,3}

وهو خطي بالنسبة لمكونات موتر الإجهاد المتناهي الصغر؛ ومع ذلك، فهو ليس متجانسًا ولا متناحي الخواص .

حل المشكلة

أما بالنسبة للقسم المتعلق بالصياغة الرسمية لمسألة Signorini، فإن محتويات هذا القسم والأقسام الفرعية المضمنة فيه تتبع عن كثب معالجة Gaetano Fichera في Fichera 1963 و Fichera 1964b و Fichera 1972 وأيضًا Fichera 1995 : من الواضح أن العرض يركز على الخطوات الأساسية لإثبات وجود حل فريد للمسألة (1) و (2) و (3) و (4) و (5) ، بدلاً من التفاصيل التقنية.

الطاقة الكامنة

تتمثل الخطوة الأولى في تحليل فيكيرا، وكذلك الخطوة الأولى في تحليل أنطونيو سينيوريني في سينيوريني 1959، في تحليل طاقة الوضع ، أي الدالة التالية

(6)      أنا(u)=أدبليو(x،ε)دx-أuأناوأنادx-أΣuأنازأنادσ{\displaystyle I({\boldsymbol {u}})=\int _{A}W({\boldsymbol {x}},{\boldsymbol {\varepsilon }})\mathrm {d} x-\int _{A}u_{i}f_{i}\mathrm {d} x-\int _{\partial A\setminus \Sigma }u_{i}g_{i}\mathrm {d} \sigma }

أينu{\displaystyle u}ينتمي إلى مجموعة الإزاحات المسموح بهايوΣ{\displaystyle \scriptstyle {\mathcal {U}}_{\Sigma }}أي مجموعة متجهات الإزاحة التي تحقق نظام الشروط الحدية (3) أو (4) . معنى كل مصطلح من المصطلحات الثلاثة هو كما يلي

استطاع سينيوريني (1959 ، الصفحات 129-133) أن يثبت أن الإزاحة المسموح بها u{\displaystyle u}والتي تقلل التكاملأنا(u){\displaystyle I(u)}يمثل حلاً للمسألة ذات الشروط الحدية الغامضة (1) و (2) و (3) و (4) و (5) ، بشرط أن يكونج1{\displaystyle C^{1}}الوظيفة المدعومة على الإغلاقأ¯{\displaystyle \scriptstyle {\bar {A}}}من المجموعةأ{\displaystyle A}مع ذلك، قدّم غايتانو فيشيرا مجموعة من الأمثلة المضادة في ( فيشيرا 1964ب ، ص 619-620) موضحًا أن الإزاحات المسموح بها، بشكل عام، ليست دوالًا سلسة من هذه الفئة. لذلك، يحاول فيشيرا تقليل الدالة (6) في فضاء دوال أوسع : وللقيام بذلك، يحسب أولًا التغير الأول (أو المشتقة الوظيفية ) للدالة المعطاة في جوار الإزاحة المسموح بها التي تسعى إلى تقليلها. uيوΣ{\displaystyle \scriptstyle {\boldsymbol {u}}\in {\mathcal {U}}_{\Sigma }}ثم يشترط أن تكون قيمته أكبر من أو تساوي الصفر

ددتأنا(u+تv)|ت=0=-أσأناك(u)εأناك(v)دx-أvأناوأنادx-أΣvأنازأنادσ0vيوΣ{\displaystyle \left.{\frac {\mathrm {d} }{\mathrm {d} t}}I({\boldsymbol {u}}+t{\boldsymbol {v}})\right\vert _{t=0}=-\int _{A}\sigma _{ik}({\boldsymbol {u}})\varepsilon _{ik}({\boldsymbol {v}})\mathrm {d} x-\int _{A}v_{i}f_{i}\mathrm {d} x-\int _{\partial A\setminus \Sigma }\!\!\!\!\!v_{i}g_{i}\mathrm {d} \sigma \geq 0\qquad \forall {\boldsymbol {v}}\in {\mathcal {U}}_{\Sigma }}

تحديد الدوال التالية

ب(u،v)=-أσأناك(u)εأناك(v)دxu،vيوΣ{\displaystyle B({\boldsymbol {u}},{\boldsymbol {v}})=-\int _{A}\sigma _{ik}({\boldsymbol {u}})\varepsilon _{ik}({\boldsymbol {v}})\mathrm {d} x\qquad {\boldsymbol {u}},{\boldsymbol {v}}\in {\mathcal {U}}_{\Sigma }}

و

F(v)=أvأناوأنادx+أΣvأنازأنادσvيوΣ{\displaystyle F({\boldsymbol {v}})=\int _{A}v_{i}f_{i}\mathrm {d} x+\int _{\partial A\setminus \Sigma }\!\!\!\!\!v_{i}g_{i}\mathrm {d} \sigma \qquad {\boldsymbol {v}}\in {\mathcal {U}}_{\Sigma }}

يمكن كتابة المتباينة السابقة على النحو التالي:

(7)      ب(u،v)-F(v)0vيوΣ{\displaystyle B({\boldsymbol {u}},{\boldsymbol {v}})-F({\boldsymbol {v}})\geq 0\qquad \forall {\boldsymbol {v}}\in {\mathcal {U}}_{\Sigma }}

هذه المتباينة هي المتباينة التباينية لمسألة سيجنوريني .

انظر أيضاً

ملحوظات

  1. ترجمة إنجليزية مجانية:
    • "لقد منحني تلميذي فيشيرا رضا عظيماً".
    • "لكن كان لديك الكثير يا بروفيسور خلال حياتك"، أجاب الدكتور أبريل، لكن سينيوريني رد مرة أخرى:
    • "لكن هذا هو الأعظم". وكانت تلك كلماته الأخيرة.
  2. الإيطالية : مشكلة في حالة الغموض .
  3. كما ورد في ( سينيوريني 1959 ، ص 129) . 
  4. ^ انظر ( فيشيرا 1995 ، ص 49) . 
  5. تم وصف هذا الوضع الدرامي من قبل فيشيرا (1995 ، ص 51) نفسه. 
  6. يذكر فيكيرا (1995 ، ص 53) الحادثة التي تلت ذكريات ماورو بيكوني : انظر المدخل " أنطونيو سينيوريني " لمزيد من التفاصيل. 
  7. وفقًا لـ Antman (1983 ، ص 282) 
  8. انظر Signorini 1959 ، ص 127 ) للاطلاع على النهج الأصلي. 

مراجع

المراجع التاريخية

الأعمال البحثية

  • أندرسون، جون (2016)، "الانتظام الأمثل لمسألة سينيوريني وحدودها الحرة"، Inventiones Mathematicae ، 1 (1): 1-82 ، arXiv : 1310.2511 ، Bibcode : 2016InMat.204....1A ، doi : 10.1007/s00222-015-0608-6 ، MR 3480553 ، S2CID 118934322 ، Zbl 1339.35345   .
  • فيشيرا، جايتانو (1963)، “Sulمشكلة مرنة في Signorini con ambigue condizioni al contorno” [ حول مشكلة مرونة Signorini مع شروط حدود غامضة ] ، Rendiconti della Accademia Nazionale dei Lincei، Classe di Scienze Fisiche، Matematiche e Naturali ، 8 (باللغة الإيطالية)، 34 (2): 138– 142, م.ر 0176661 , زبل 0128.18305  . مذكرة بحثية قصيرة تعلن وتصف (بدون براهين) حل مشكلة Signorini.
  • Fichera, Gaetano (1964a), “Problemi elastostatici con vincoli unitrali: ilإشكالية di Signorini con ambigue condizioni al contorno” [ مشاكل المرونة مع القيود الأحادية: مشكلة Signorini مع شروط الحدود الغامضة ] , Memorie della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e ناتورالي ، 8 (باللغة الإيطالية)، 7 (2): 91-140 ، زبل 0146.21204 . أول ورقة بحثية يتم فيها إثبات نظرية الوجود والوحدانية لمسألة Signorini.
  • Fichera، Gaetano (1964b)، “مشاكل المرونة مع القيود الأحادية: مشكلة Signorini مع الشروط الحدودية الغامضة”، Seminari dell'istituto Nazionale di Alta Matematica 1962–1963 ، روما : Edizioni Cremonese، الصفحات من 613 إلى 679 ترجمة إنجليزية للورقة البحثية السابقة.
  • بيتروسيان، أرشاك؛ شاهغوليان، هنريك؛ أورالتسيفا، نينا (2012)، انتظام الحدود الحرة في مسائل من نوع العوائق ، دراسات عليا في الرياضيات، المجلد  136، بروفيدنس، رود آيلاند : الجمعية الرياضية الأمريكية ، الصفحات  x+221، ISBN 978-0-8218-8794-3، MR 2962060 ، Zbl 1254.35001  .
  • أنطونيو سينيوريني (1959)، “Questioni di elasticità Non Linearizzata e Semilinearizzata” [ موضوعات في المرونة غير الخطية وشبه الخطية ] ، Rendiconti di Matematica e delle sue Applicazioni ، 5 (باللغة الإيطالية)، 18 : 95– 139، Zbl 0091.38006 .