طريقة رايلي-ريتز

طريقة رايلي-ريتز هي طريقة عددية مباشرة لتقريب القيم الذاتية ، نشأت في سياق حل مسائل القيم الحدية الفيزيائية . سُميت نسبةً إلى اللورد رايلي ووالتر ريتز . في هذه الطريقة، يُقارب مؤثر خطي لا نهائي الأبعاد بضغط محدود الأبعاد ، مما يُتيح استخدام خوارزمية عددية للقيم الذاتية .

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

التسمية والإسناد

لقد دار جدل بين المؤرخين حول أصل هذه التقنية. [ 1 ] [ 2 ] وقد سُميت طريقة ريتز نسبةً إلى والتر ريتز، الذي نشر الإجراء العددي عامي 1908 و1909. كتب اللورد رايلي ورقةً هنأ فيها ريتز على عمله عام 1911، لكنه ذكر أنه استخدم بنفسه طريقة ريتز في مواضع عديدة من كتابه " نظرية الصوت" (1877)، وفي مواضع أخرى. [ 1 ] ووفقًا لريتشارد كوران ، فقد ابتكر كلٌ من اللورد رايلي ووالتر ريتز، بشكلٍ مستقل، فكرة الاستفادة من التكافؤ بين مسائل القيم الحدية للمعادلات التفاضلية الجزئية من جهة، ومسائل حساب التفاضل والتكامل من جهة أخرى، لحساب الحلول عدديًا، وذلك باستبدال مسائل حساب التفاضل والتكامل بمسائل تقريبية أبسط، حيث لا يلزم تحديد سوى عدد محدود من المعاملات. [ 2 ] اكتشف المؤرخ جيسبر لوتزن ، الذي فحص المخطوطات غير المنشورة لجوزيف ليوفيل ، أن ليوفيل كان على دراية بهذه الطريقة في وقت مبكر من عام 1845. [ 3 ]

طريقة

يتركتي{\displaystyle T}ليكن مؤثرًا خطيًا على فضاء هيلبرتح{\displaystyle {\mathcal {H}}}، مع المنتج الداخلي(،){\displaystyle (\cdot ,\cdot )}والآن، لنفترض مجموعة محدودة من الدوالل={φ1،...،φن}{\displaystyle {\mathcal {L}}=\{\varphi _{1},...,\varphi _{n}\}}قد تكون هذه الوظائف، بحسب التطبيق، كالتالي:

يمكن للمرء استخدام الأساس المتعامد المتولد من الدوال الذاتية للمؤثر، والذي سينتج عنه مصفوفات تقريبية قطرية ، ولكن في هذه الحالة كنا سنضطر بالفعل إلى حساب الطيف.

نقوم الآن بالتقريبتي{\displaystyle T}بواسطةتيل{\displaystyle T_{\mathcal {L}}}، والتي تُعرَّف بأنها المصفوفة ذات المدخلات [ 4 ]

(تيل)أنا،ج=(تيφأنا،φج).{\displaystyle (T_{\mathcal {L}})_{i,j}=(T\varphi _{i},\varphi _{j}).}

وحل مسألة القيم الذاتيةتيلu=λu{\displaystyle T_{\mathcal {L}}u=\lambda u}يمكن إثبات أن المصفوفةتيل{\displaystyle T_{\mathcal {L}}}هو ضغطتي{\displaystyle T}لل{\displaystyle {\mathcal {L}}}[ 4 ]

بالنسبة للمؤثرات التفاضلية (مثل مؤثرات ستورم-ليوفيل )، فإن الضرب الداخلي(،){\displaystyle (\cdot ,\cdot )}يمكن استبدالها بالصيغة الضعيفةأ(،){\displaystyle {\mathcal {A}}(\cdot ,\cdot )}[ 5 ] [ 7 ]

إذا تم استخدام مجموعة جزئية من الأساس المتعامد لإيجاد المصفوفة، فإن المتجهات الذاتية لـتيل{\displaystyle T_{\mathcal {L}}}ستكون عبارة عن تركيبات خطية من دوال أساسية متعامدة، ونتيجة لذلك ستكون تقريبات للمتجهات الذاتية لـتي{\displaystyle T}[ 8 ]

ملكيات

التلوث الطيفي

من الممكن أن تُنتج طريقة رايلي-ريتز قيمًا لا تتقارب مع القيم الفعلية في طيف المؤثر عندما يكبر حجم القطع. تُعرف هذه القيم بالتلوث الطيفي. [ 4 ] [ 6 ] [ 9 ] في بعض الحالات (مثل معادلة شرودنغر )، لا يوجد تقريب يشمل جميع القيم الذاتية للمعادلة ولا يحتوي على أي تلوث. [ 10 ]

يُحدَّد نطاق الضغط (وبالتالي التلوث) بالنطاق العددي للمؤثر؛ وفي كثير من الحالات، يُحدَّد بمجموعة فرعية من النطاق العددي تُعرف بالنطاق العددي الأساسي . [ 11 ] [ 12 ]

بالنسبة لمسائل القيم الذاتية للمصفوفة

في الجبر الخطي العددي ، تُستخدم طريقة رايلي-ريتز بشكل شائع [ 13 ] لتقريب مسألة القيم الذاتية أx=λx{\displaystyle A\mathbf {x} =\lambda \mathbf {x} } بالنسبة للمصفوفةأجشمال×شمال{\displaystyle A\in \mathbb {C} ^{N\times N}}من الحجمشمال{\displaystyle N}باستخدام مصفوفة مسقطة ذات حجم أصغرم<شمال{\displaystyle m<N}، مُولَّدة من مصفوفة معينةVجشمال×م{\displaystyle V\in \mathbb {C} ^{N\times m}}باستخدام أعمدة متعامدة . يُعدّ إصدار المصفوفة من الخوارزمية هو الأبسط:

  1. احسبم×م{\displaystyle m\times m}مصفوفةV*أV{\displaystyle V^{*}AV}، أينV*{\displaystyle V^{*}}يشير إلى منقولة المعقد المترافق لـV{\displaystyle V}
  2. حل مسألة القيم الذاتيةV*أVyأنا=μأناyأنا{\displaystyle V^{*}AV\mathbf {y} _{i}=\mu _{i}\mathbf {y} _{i}}
  3. احسب متجهات ريتزx~أنا=Vyأنا{\displaystyle {\tilde {\mathbf {x} }}_{i}=V\mathbf {y} _{i}}وقيمة ريتزλ~أنا=μأنا{\displaystyle {\tilde {\lambda }}_{i}=\mu _{i}}
  4. تقريبات المخرجات(λ~أنا،x~أنا){\displaystyle ({\tilde {\lambda }}_{i},{\tilde {\mathbf {x} }}_{i})}، والتي تسمى أزواج ريتز، إلى القيم الذاتية والمتجهات الذاتية للمصفوفة الأصليةأ{\displaystyle A}.

إذا كانت الفضاءات الجزئية ذات الأساس المتعامد المعطى بواسطة أعمدة المصفوفةVجشمال×م{\displaystyle V\in \mathbb {C} ^{N\times m}}يتضمنكم{\displaystyle k\leq m}المتجهات القريبة من المتجهات الذاتية للمصفوفةأ{\displaystyle A}، طريقة رايلي-ريتز المذكورة أعلاه تجدك{\displaystyle k}متجهات ريتز التي تقارب هذه المتجهات الذاتية بشكل جيد. الكمية التي يسهل حسابهاأx~أنا-λ~أناx~أنا{\displaystyle \|A{\tilde {\mathbf {x} }}_ {i} - {\tilde {\lambda }} _ {i}{\tilde {\mathbf {x} }} _ {i}\|}يحدد دقة هذا التقريب لكل زوج من ريتز.

في أبسط الحالاتم=1{\displaystyle m=1}، الشمال×م{\displaystyle N\times m}مصفوفةV{\displaystyle V}يتحول إلى متجه عمودي أحاديv{\displaystyle v}، الم×م{\displaystyle m\times m}مصفوفةV*أV{\displaystyle V^{*}AV}هو كمية قياسية تساوي حاصل قسمة رايليρ(v)=v*أv/v*v{\displaystyle \rho (v)=v^{*}Av/v^{*}v}، الوحيدأنا=1{\displaystyle i=1}حل مسألة القيم الذاتية هوyأنا=1{\displaystyle y_{i}=1}وμأنا=ρ(v){\displaystyle \mu _{i}=\rho (v)}، والمتجه الوحيد لريتز هوv{\displaystyle v}وبالتالي، تتحول طريقة رايلي-ريتز إلى حساب حاصل قسمة رايلي إذام=1{\displaystyle m=1}.

ثمة رابط مفيد آخر لنسبة رايلي وهو أنμأنا=ρ(vأنا){\displaystyle \mu _{i}=\rho (v_{i})}لكل زوج من ريتز(λ~أنا،x~أنا){\displaystyle ({\tilde {\lambda }}_{i},{\tilde {\mathbf {x} }}_{i})}مما يسمح باستخلاص بعض خصائص قيم ريتزμأنا{\displaystyle \mu _{i}}من النظرية المقابلة لحاصل رايلي . على سبيل المثال، إذاأ{\displaystyle A}هي مصفوفة هيرميتية ، وحاصل قسمة رايلي الخاص بها (وبالتالي كل قيمة ريتز لها) حقيقي ويأخذ قيمًا ضمن الفترة المغلقة لأصغر وأكبر القيم الذاتية لـأ{\displaystyle A}.

مثال

المصفوفة أ=[200021012]{\displaystyle A={\begin{bmatrix}2&0&0\\0&2&1\\0&1&2\end{bmatrix}}} له قيم ذاتية1،2،3{\displaystyle 1,2,3}والمتجهات الذاتية المقابلة xλ=1=[01-1]،xλ=2=[100]،xλ=3=[011].{\displaystyle \mathbf {x} _{\lambda =1}={\begin{bmatrix}0\\1\\-1\end{bmatrix}},\quad \mathbf {x} _{\lambda =2}={\begin{bmatrix}1\\0\\0\end{bmatrix}},\quad \mathbf {x} _{\lambda =3}={\begin{bmatrix}0\\1\\1\end{bmatrix}}.} لنأخذ V=[001001]،{\displaystyle V={\begin{bmatrix}0&0\\1&0\\0&1\end{bmatrix}},} ثم V*أV=[2112]{\displaystyle V^{*}AV={\begin{bmatrix}2&1\\1&2\end{bmatrix}}} مع القيم الذاتية1،3{\displaystyle 1,3}والمتجهات الذاتية المقابلة yμ=1=[1-1]،yμ=3=[11]،{\displaystyle \mathbf {y} _{\mu =1}={\begin{bmatrix}1\\-1\end{bmatrix}},\quad \mathbf {y} _{\mu =3}={\begin{bmatrix}1\\1\end{bmatrix}},} بحيث تكون قيم ريتز1،3{\displaystyle 1,3}ومتجهات ريتز هي x~λ~=1=[01-1]،x~λ~=3=[011].{\displaystyle \mathbf {\tilde {x}} _{{\tilde {\lambda }}=1}={\begin{bmatrix}0\\1\\-1\end{bmatrix}},\quad \mathbf {\tilde {x}} _{{\tilde {\lambda }}=3}={\begin{bmatrix}0\\1\\1\end{bmatrix}}.} نلاحظ أن كل متجه من متجهات ريتز هو واحد من المتجهات الذاتية لـأ{\displaystyle A}بالنسبة لما هو معطىV{\displaystyle V}بالإضافة إلى ذلك، تعطي قيم ريتز قيمتين ذاتيتين من القيم الذاتية الثلاث لـأ{\displaystyle A}يعتمد التفسير الرياضي للتقريب الدقيق على حقيقة أن فضاء أعمدة المصفوفةV{\displaystyle V}يصادف أن يكون هو نفسه تمامًا الفضاء الجزئي الذي يمتد عليه المتجهان الذاتيانxλ=1{\displaystyle \mathbf {x} _{\lambda =1}}وxλ=3{\displaystyle \mathbf {x} _{\lambda =3}}في هذا المثال.

بالنسبة لمسائل القيم المفردة للمصفوفات

يمكن أيضًا استخدام طريقة رايلي-ريتز في تحليل القيم المفردة المقتطعة (SVD) في الجبر الخطي العددي لإيجاد تقريبات للمتجهات المفردة اليسرى واليمنى للمصفوفة.مجم×شمال{\displaystyle M\in \mathbb {C} ^{M\times N}}من الحجمم×شمال{\displaystyle M\times N}في الفضاءات الفرعية المعطاة عن طريق تحويل مسألة القيمة المفردة إلى مسألة القيمة الذاتية.

باستخدام المصفوفة العادية

تعريف القيمة المفردةσ{\displaystyle \sigma }والمتجهات المفردة اليسرى واليمنى المقابلة هيمv=σu{\displaystyle Mv=\sigma u}وم*u=σv{\displaystyle M^{*}u=\sigma v}بعد إيجاد مجموعة واحدة (يسار أو يمين) من المتجهات والقيم المفردة التقريبية بتطبيق طريقة رايلي-ريتز بشكل مباشر على المصفوفة الطبيعية الهرميتيةم*مجشمال×شمال{\displaystyle M^{*}M\in \mathbb {C} ^{N\times N}}أومم*جم×م{\displaystyle MM^{*}\in \mathbb {C} ^{M\times M}}بغض النظر عن حجمها الأصغر، يمكن تحديد المجموعة الأخرى من المتجهات المفردة اليسرى أو اليمنى ببساطة عن طريق القسمة على القيم المفردة، أيu=مv/σ{\displaystyle u=Mv/\sigma }وv=م*u/σ{\displaystyle v=M^{*}u/\sigma }ومع ذلك، فإن عملية القسمة غير مستقرة أو تفشل بالنسبة للقيم المفردة الصغيرة أو الصفرية.

ثمة نهج بديل، على سبيل المثال، تعريف المصفوفة الطبيعية على النحو التاليأ=م*مجشمال×شمال{\displaystyle A=M^{*}M\in \mathbb {C} ^{N\times N}}من الحجمشمال×شمال{\displaystyle N\times N}، يستفيد من حقيقة أنه بالنسبة لـشمال×م{\displaystyle N\times m}مصفوفةدبليوجشمال×م{\displaystyle W\in \mathbb {C} ^{N\times m}}باستخدام الأعمدة المتعامدة، مسألة القيم الذاتية لطريقة رايلي-ريتز لـم×م{\displaystyle m\times m}مصفوفة دبليو*أدبليو=دبليو*م*مدبليو=(مدبليو)*مدبليو{\displaystyle W^{*}AW=W^{*}M^{*}MW=(MW)^{*}MW} يمكن تفسيرها على أنها مسألة قيمة مفردة لـشمال×م{\displaystyle N\times m}مصفوفةمدبليو{\displaystyle MW}. يسمح هذا التفسير بحساب بسيط ومتزامن لكل من المتجهات المفردة التقريبية اليسرى واليمنى على النحو التالي.

  1. احسبشمال×م{\displaystyle N\times m}مصفوفةمدبليو{\displaystyle MW}.
  2. احسب تحليل القيم المفردة الرقيق، أو الاقتصادي الحجممدبليو=يوΣVح،{\displaystyle MW=\mathbf {U} \Sigma \mathbf {V} _{h},}معشمال×م{\displaystyle N\times m}مصفوفةيو{\displaystyle \mathbf {U} }،م×م{\displaystyle m\times m}المصفوفة القطريةΣ{\displaystyle \Sigma }، وم×م{\displaystyle m\times m}مصفوفةVح{\displaystyle \mathbf {V} _{h}}.
  3. احسب مصفوفات ريتز اليسرىيو=يو{\displaystyle U=\mathbf {U} }ويمينVح=Vحدبليو*{\displaystyle V_{h}=\mathbf {V} _{h}W^{*}}المتجهات المفردة.
  4. تقريبات المخرجاتيو،Σ،Vح{\displaystyle U,\Sigma ,V_{h}}، والتي تسمى ثلاثيات ريتز المفردة، إلى القيم المفردة المختارة والمتجهات المفردة اليسرى واليمنى المقابلة للمصفوفة الأصليةم{\displaystyle M}يمثل هذا تقريبًا لتحليل القيم المفردة المقتطعة (SVD) مع تقييد المتجهات المفردة اليسرى في فضاء أعمدة المصفوفةدبليو{\displaystyle W}.

يمكن استخدام الخوارزمية كخطوة معالجة لاحقة حيث تكون المصفوفةدبليو{\displaystyle W}هو ناتج برنامج حل القيم الذاتية، على سبيل المثال، برنامج LOBPCG ، الذي يُقارب المتجهات الذاتية المختارة عدديًا للمصفوفة الطبيعيةأ=م*م{\displaystyle A=M^{*}M}.

مثال

المصفوفة م=[10000200003000040000]{\displaystyle M={\begin{bmatrix}1&0&0&0\\0&2&0&0\\0&0&3&0\\0&0&0&4\\0&0&0&0\end{bmatrix}}} لها مصفوفة طبيعية أ=م*م=[10000400009000016]،{\displaystyle A=M^{*}M={\begin{bmatrix}1&0&0&0\\0&4&0&0\\0&0&9&0\\0&0&0&16\\\end{bmatrix}},} القيم المفردة1،2،3،4{\displaystyle 1,2,3,4}والتحليل الطيفي للقيم المفردة الرقيق المقابلم=[00010010010010000000][4000030000200001][0001001001001000]،{\displaystyle M={\begin{bmatrix}0&0&0&1\\0&0&1&0\\0&1&0&0\\1&0&0&0\\0&0&0&0\end{bmatrix}}{\begin{bmatrix}4&0&0&0\\0&3&0&0\\0&0&2&0\\0&0&0&1\end{bmatrix}}{\begin{bmatrix}0&0&0&1\\0&0&1&0\\0&1&0&0\\1&0&0&0\end{bmatrix}},} حيث تمثل أعمدة المضاعف الأول المجموعة الكاملة للمتجهات المفردة اليسرى للمصفوفةأ{\displaystyle A}، المدخلات القطرية للحد الأوسط هي القيم المفردة، وأعمدة المضاعف الأخير منقولة (على الرغم من أن النقل لا يغيرها). [0001001001001000]*=[0001001001001000]{\displaystyle {\begin{bmatrix}0&0&0&1\\0&0&1&0\\0&1&0&0\\1&0&0&0\end{bmatrix}}^{*}\quad =\quad {\begin{bmatrix}0&0&0&1\\0&0&1&0\\0&1&0&0\\1&0&0&0\end{bmatrix}}} هي المتجهات المفردة اليمنى المقابلة.

لنأخذ دبليو=[1/21/21/2-1/20000]{\displaystyle W={\begin{bmatrix}1/{\sqrt {2}}&1/{\sqrt {2}}\\1/{\sqrt {2}}&-1/{\sqrt {2}}\\0&0\\0&0\end{bmatrix}}} مع فضاء الأعمدة الذي يمتد بواسطة متجهين مفردين يمينيين دقيقين [01100000]{\displaystyle {\begin{bmatrix}0&1\\1&0\\0&0\\0&0\end{bmatrix}}} بما يتوافق مع القيم المفردة 1 و 2.

باتباع الخطوة الأولى من الخوارزمية، نقوم بحساب مدبليو=[1/21/22-20000]،{\displaystyle MW={\begin{bmatrix}1/{\sqrt {2}}&1/{\sqrt {2}}\\{\sqrt {2}}&-{\sqrt {2}}\\0&0\\0&0\end{bmatrix}},} وفي الخطوة الثانية، يكون تحليل القيم المفردة الرقيقمدبليو=يوΣVح{\displaystyle MW=\mathbf {U} {\Sigma }\mathbf {V} _{h}}مع يو=[0110000000]،Σ=[2001]،Vح=[1/2-1/21/21/2].{\displaystyle \mathbf {U} ={\begin{bmatrix}0&1\\1&0\\0&0\\0&0\\0&0\end{bmatrix}},\quad \Sigma ={\begin{bmatrix}2&0\\0&1\end{bmatrix}},\quad \mathbf {V} _{h}={\begin{bmatrix}1/{\sqrt {2}}&-1/{\sqrt {2}}\\1/{\sqrt {2}}&1/{\sqrt {2}}\end{bmatrix}}.} وبالتالي نحصل بالفعل على القيم المفردة 2 و 1 منΣ{\displaystyle \Sigma }ومنيو{\displaystyle \mathbf {U} }المتجهان المفردان الأيسران المتناظرانu{\displaystyle u}مثل[0،1،0،0،0]*{\displaystyle [0,1,0,0,0]^{*}}و[1،0،0،0،0]*{\displaystyle [1,0,0,0,0]^{*}}والتي تمتد عبر فضاء الأعمدة للمصفوفةدبليو{\displaystyle W}، موضحًا لماذا تكون التقريبات دقيقة بالنسبة للمعطيات المعطاةدبليو{\displaystyle W}.

وأخيرًا، تحسب الخطوة الثالثة المصفوفةVح=Vحدبليو*{\displaystyle V_{h}=\mathbf {V} _{h}W^{*}}Vح=[1/2-1/21/21/2][1/21/2001/2-1/200]=[01001000]{\displaystyle \mathbf {V} _{h}={\begin{bmatrix}1/{\sqrt {2}}&-1/{\sqrt {2}}\\1/{\sqrt {2}}&1/{\sqrt {2}}\end{bmatrix}}\,{\begin{bmatrix}1/{\sqrt {2}}&1/{\sqrt {2}}&0&0\\1/{\sqrt {2}}&-1/{\sqrt {2}}&0&0\end{bmatrix}}={\begin{bmatrix}0&1&0&0\\1&0&0&0\end{bmatrix}}} استعادة المتجهين المفردين الأيمنين من صفوفهاv{\displaystyle v}مثل[0،1،0،0]*{\displaystyle [0,1,0,0]^{*}}و[1،0،0،0]*{\displaystyle [1,0,0,0]^{*}}نقوم بالتحقق من صحة المتجه الأول:مv=σu{\displaystyle Mv=\sigma u}[10000200003000040000][0100]=2[01000]{\displaystyle {\begin{bmatrix}1&0&0&0\\0&2&0&0\\0&0&3&0\\0&0&0&4\\0&0&0&0\end{bmatrix}}\,{\begin{bmatrix}0\\1\\0\\0\end{bmatrix}}=\,2\,{\begin{bmatrix}0\\1\\0\\0\\0\end{bmatrix}}} وم*u=σv{\displaystyle M^{*}u=\sigma v}[10000020000030000040][01000]=2[0100].{\displaystyle {\begin{bmatrix}1&0&0&0&0\\0&2&0&0&0\\0&0&3&0&0\\0&0&0&4&0\end{bmatrix}}\,{\begin{bmatrix}0\\1\\0\\0\\0\end{bmatrix}}=\,2\,{\begin{bmatrix}0\\1\\0\\0\end{bmatrix}}.} وبالتالي، بالنسبة للمصفوفة المعطاةدبليو{\displaystyle W}باستخدام فضاء أعمدتها الممتد بواسطة متجهين مفردين يمينيين دقيقين، نحدد هذين المتجهين المفردين اليمينيين، بالإضافة إلى المتجهين المفردين اليساريين المقابلين والقيم المفردة، وكل ذلك بدقة تامة. بالنسبة لمصفوفة اختياريةدبليو{\displaystyle W}، نحصل على ثلاثيات مفردة تقريبية تكون مثالية بالنظر إلىدبليو{\displaystyle W}بمعنى أمثلية طريقة رايلي-ريتز.

التطبيقات والأمثلة

في الفيزياء الكمية

في فيزياء الكم، حيث يُمثل طيف الهاميلتوني مجموعة مستويات الطاقة المنفصلة المسموح بها في نظام ميكانيكي كمي، تُستخدم طريقة رايلي-ريتز لتقريب حالات الطاقة والدوال الموجية لنظام ذري أو نووي معقد. [ 8 ] في الواقع، بالنسبة لأي نظام أكثر تعقيدًا من ذرة هيدروجين واحدة، لا يوجد حل دقيق معروف لطيف الهاميلتوني. [ 7 ]

في هذه الحالة، دالة موجية تجريبية ،Ψ{\displaystyle \Psi }يتم اختبار هذه الدالة التجريبية على النظام. وقد تم اختيارها لتلبية الشروط الحدية (وأي قيود فيزيائية أخرى). الدالة الدقيقة غير معروفة؛ إذ تحتوي الدالة التجريبية على مُعامل واحد أو أكثر قابل للتعديل، يتم تغييرها لإيجاد أدنى تكوين للطاقة.

يمكن إثبات أن طاقة الحالة الأرضية،هـ0{\displaystyle E_{0}}، يحقق متباينة: هـ0Ψ|ح^|ΨΨ|Ψ.{\displaystyle E_{0}\leq {\frac {\langle \Psi |{\hat {H}}|\Psi \rangle }{\langle \Psi |\Psi \rangle }}.}

أي أن طاقة الحالة الأرضية أقل من هذه القيمة. وستعطي دالة الموجة التجريبية دائمًا قيمة متوقعة أكبر من أو تساوي طاقة الحالة الأرضية.

إذا كان من المعروف أن دالة الموجة التجريبية متعامدة مع الحالة الأرضية، فإنها ستوفر حدًا لطاقة حالة مثارة معينة .

دالة ريتز أنساتز هي توليفة خطية من N دالة أساسية معروفة{Ψأنا}{\displaystyle \left\lbrace \Psi _{i}\right\rbrace }، مُعَلمة بمعاملات غير معروفة: Ψ=أنا=1شمالجأناΨأنا.{\displaystyle \Psi =\sum _{i=1}^{N}c_{i}\Psi _{i}.}

بمعرفة الهاميلتوني، يمكننا كتابة قيمته المتوقعة على النحو التالي: ε=أنا=1شمالجأناΨأنا|ح^|أنا=1شمالجأناΨأناأنا=1شمالجأناΨأنا|أنا=1شمالجأناΨأنا=أنا=1شمالج=1شمالجأنا*ججحأناجأنا=1شمالج=1شمالجأنا*ججSأناجأب.{\displaystyle \varepsilon ={\frac {\left\langle \displaystyle \sum _{i=1}^{N}c_{i}\Psi _{i}\right|{\hat {H}}\left|\displaystyle \sum _{i=1}^{N}c_{i}\Psi _{i}\right\rangle }{\left\langle \left.\displaystyle \sum _{i=1}^{N}c_{i}\Psi _{i}\right|\displaystyle \sum _{i=1}^{N}c_{i}\Psi _{i}\right\rangle }}={\frac {\displaystyle \sum _{i=1}^{N}\displaystyle \sum _{j=1}^{N}c_{i}^{*}c_{j}H_{ij}}{\displaystyle \sum _{i=1}^{N}\displaystyle \sum _{j=1}^{N}c_{i}^{*}c_{j}S_{ij}}}\equiv {\frac {A}{B}}.}

لا تكون الدوال الأساسية عادةً متعامدة، لذا فإن مصفوفة التداخل S تحتوي على عناصر غير قطرية غير صفرية.{جأنا}{\displaystyle \left\lbrace c_{i}\right\rbrace }أو{جأنا*}{\displaystyle \left\lbrace c_{i}^{*}\right\rbrace }يمكن استخدام (مرافق الأول) لتقليل القيمة المتوقعة. على سبيل المثال، عن طريق حساب المشتقات الجزئية لـε{\displaystyle \varepsilon }زيادة{جأنا*}{\displaystyle \left\lbrace c_{i}^{*}\right\rbrace }عند الصفر، يتم الحصول على المساواة التالية لكل k = 1، 2، ...، N : εجك*=ج=1شمالجج(حكج-εSكج)ب=0،{\displaystyle {\frac {\partial \varepsilon }{\partial c_{k}^{*}}}={\frac {\displaystyle \sum _{j=1}^{N}c_{j}(H_{kj}-\varepsilon S_{kj})}{B}}=0,} مما يؤدي إلى مجموعة من المعادلات العلمانية N : ج=1شمالجج(حكج-εSكج)=0لك=1،2،...،شمال.{\displaystyle \sum _{j=1}^{N}c_{j}\left(H_{kj}-\varepsilon S_{kj}\right)=0\quad {\text{for}}\quad k=1,2,\dots ,N.}

في المعادلات أعلاه، الطاقةε{\displaystyle \varepsilon }والمعاملات{جج}{\displaystyle \left\lbrace c_{j}\right\rbrace }غير معروفة. بالنسبة إلى c ، فإن هذه مجموعة متجانسة من المعادلات الخطية، والتي لها حل عندما يكون محدد معاملات هذه المجاهيل صفرًا: المحقق(ح-εS)=0،{\displaystyle \det \left(H-\varepsilon S\right)=0,} وهذا بدوره صحيح فقط بالنسبة لقيم N منε{\displaystyle \varepsilon }علاوة على ذلك، بما أن الهاميلتوني مؤثر هيرميتي ، فإن مصفوفة H هي أيضًا هيرميتية ، وقيمهاεأنا{\displaystyle \varepsilon _{i}}سيكون حقيقياً. أدنى قيمة بينεأنا{\displaystyle \varepsilon _{i}}(i=1,2,..,N),ε0{\displaystyle \varepsilon _{0}}ستكون هذه القيمة أفضل تقريب للحالة الأرضية للدوال الأساسية المستخدمة. أما طاقات N-1 المتبقية فهي تقديرات لطاقات الحالة المثارة. ويمكن الحصول على تقريب للدالة الموجية للحالة i بإيجاد المعاملات.{جج}{\displaystyle \left\lbrace c_{j}\right\rbrace }من المعادلة العلمانية المقابلة.

في الهندسة الميكانيكية

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

لنفترض أننا نريد إيجاد تردد الرنين لنظام ما. أولاً، نكتب التذبذب على الصورة التالية: y(x،ت)=Y(x)كوسωت{\displaystyle y(x,t)=Y(x)\cos \omega t} مع شكل نمط غير معروفY(x){\displaystyle Y(x)}بعد ذلك، أوجد الطاقة الكلية للنظام، والتي تتكون من حد الطاقة الحركية وحد طاقة الوضع. يتضمن حد الطاقة الحركية مربع المشتقة الزمنية لـy(x،ت){\displaystyle y(x,t)}وبذلك يكتسب عاملاً قدرهω2{\displaystyle \omega ^{2}}وبالتالي، يمكننا حساب الطاقة الكلية للنظام والتعبير عنها بالشكل التالي: هـ=تي+Vأ[Y(x)]ω2الخطيئة2ωت+ب[Y(x)]كوس2ωت{\displaystyle E=T+V\equiv A[Y(x)]\omega ^{2}\sin ^{2}\omega t+B[Y(x)]\cos ^{2}\omega t}

بحسب قانون حفظ الطاقة ، يجب أن تتساوى الطاقة الحركية المتوسطة مع الطاقة الكامنة المتوسطة. وبالتالي، ω2=ب[Y(x)]أ[Y(x)]=R[Y(x)]{\displaystyle \omega ^{2}={\frac {B[Y(x)]}{A[Y(x)]}}=R[Y(x)]} وهو ما يُعرف أيضًا باسم معامل رايلي . وبالتالي، إذا عرفنا شكل النمطY(x){\displaystyle Y(x)}، سنكون قادرين على الحسابأ[Y(x)]{\displaystyle A[Y(x)]}وب[Y(x)]{\displaystyle B[Y(x)]}وبالتالي نحصل على التردد الذاتي. مع ذلك، لا نعرف شكل النمط بعد. ولإيجاده، يمكننا تقريبه.Y(x){\displaystyle Y(x)}كمزيج من عدد قليل من الدوال التقريبيةYأنا(x){\displaystyle Y_{i}(x)}Y(x)=أنا=1شمالجأناYأنا(x){\displaystyle Y(x)=\sum _{i=1}^{N}c_{i}Y_{i}(x)} أينج1،ج2،،جشمال{\displaystyle c_{1},c_{2},\cdots ,c_{N}}هي ثوابت يجب تحديدها. بشكل عام، إذا اخترنا مجموعة عشوائية منج1،ج2،،جشمال{\displaystyle c_{1},c_{2},\cdots ,c_{N}}سيصف ذلك تراكبًا للأوضاع الذاتية الفعلية للنظام. ومع ذلك، إذا بحثناج1،ج2،،جشمال{\displaystyle c_{1},c_{2},\cdots ,c_{N}}بحيث يكون التردد الذاتيω2{\displaystyle \omega ^{2}}إذا تم تقليلها إلى الحد الأدنى، فإن النمط الموصوف بهذه المجموعة منج1،ج2،،جشمال{\displaystyle c_{1},c_{2},\cdots ,c_{N}}سيكون هذا قريبًا من أدنى تردد ذاتي فعلي ممكن للنظام. وبالتالي، نجد أدنى تردد ذاتي. إذا وجدنا ترددات ذاتية متعامدة مع هذا التردد الذاتي الأدنى المُقارب، فيمكننا إيجاد الترددات الذاتية القليلة التالية تقريبًا أيضًا.

بشكل عام، يمكننا التعبيرأ[Y(x)]{\displaystyle A[Y(x)]}وب[Y(x)]{\displaystyle B[Y(x)]}كمجموعة من الحدود التربيعية في المعاملاتجأنا{\displaystyle c_{i}}: ب[Y(x)]=أناججأناججكأناج=جتيكج{\displaystyle B[Y(x)]=\sum _{i}\sum _{j}c_{i}c_{j}K_{ij}=\mathbf {c} ^{\mathsf {T}}K\mathbf {c} }أ[Y(x)]=أناججأناججمأناج=جتيمج{\displaystyle A[Y(x)]=\sum _{i}\sum _{j}c_{i}c_{j}M_{ij}=\mathbf {c} ^{\mathsf {T}}M\mathbf {c} } أينك{\displaystyle K}وم{\displaystyle M}تمثل مصفوفة الصلابة ومصفوفة الكتلة لنظام منفصل على التوالي.

تقليلω2{\displaystyle \omega ^{2}}يصبح: ω2جأنا=جأناجتيكججتيمج=0{\displaystyle {\frac {\partial \omega ^{2}}{\partial c_{i}}}={\frac {\partial }{\partial c_{i}}}{\frac {\mathbf {c} ^{\mathsf {T}}K\mathbf {c} }{\mathbf {c} ^{\mathsf {T}}M\mathbf {c} }}=0}

حل هذه المشكلة، جتيمججتيكجج-جتيكججتيمجج=0{\displaystyle \mathbf {c} ^{\mathsf {T}}M\mathbf {c} {\frac {\partial \mathbf {c} ^{\mathsf {T}}K\mathbf {c} }{\partial \mathbf {c} }}-\mathbf {c} ^{\mathsf {T}}K\mathbf {c} {\frac {\partial \mathbf {c} ^{\mathsf {T}}M\mathbf {c} }{\partial \mathbf {c} }}=0}كج-جتيكججتيمجمج=0{\displaystyle K\mathbf {c} -{\frac {\mathbf {c} ^{\mathsf {T}}K\mathbf {c} }{\mathbf {c} ^{\mathsf {T}}M\mathbf {c} }}M\mathbf {c} =\mathbf {0} }كج-ω2مج=0{\displaystyle K\mathbf {c} -\omega ^{2}M\mathbf {c} =\mathbf {0} }

للحصول على حل غير تافه لـ c، فإننا نشترط أن يكون محدد معامل المصفوفة لـ c مساوياً للصفر. المحقق(ك-ω2م)=0{\displaystyle \det(K-\omega ^{2}M)=0}

وهذا يعطي حلاً لأول N ترددات ذاتية وأنماط ذاتية للنظام، حيث N هو عدد الدوال التقريبية.

حالة بسيطة لنظام الكتلة والنابض المزدوج

تستخدم المناقشة التالية أبسط الحالات، حيث يحتوي النظام على نابضين مركزين وكتلتين مركزتين، ويُفترض وجود شكلين فقط للاهتزاز. وبالتالي، فإن M = [ m 1 , m 2 ] و K = [ k 1 , k 2 ] .

يُفترض وجود شكل نمطي للنظام ، يتكون من حدين، أحدهما مُرجّح بمعامل B ، على سبيل المثال Y = [1, 1] + B [1, −1]. تنص نظرية الحركة التوافقية البسيطة على أن السرعة عند اللحظة التي يكون فيها الانحراف صفرًا، هي التردد الزاوي.      ω{\displaystyle \omega }مضروبًا في الانحراف (y) عند لحظة أقصى انحراف. في هذا المثال، الطاقة الحركية (KE) لكل كتلة هي12ω2Y12م1{\textstyle {\frac {1}{2}}\omega ^{2}Y_{1}^{2}m_{1}}إلخ، والطاقة الكامنة (PE) لكل نابض هي12ك1Y12{\textstyle {\frac {1}{2}}k_{1}Y_{1}^{2}}إلخ.

ونعلم أيضاً أنه بدون التخميد، فإن الطاقة الحركية القصوى تساوي الطاقة الكامنة القصوى. وبالتالي، أنا=12(12ω2Yأنا2مأنا)=أنا=12(12كأناYأنا2){\displaystyle \sum _{i=1}^{2}\left({\frac {1}{2}}\omega ^{2}Y_{i}^{2}M_{i}\right)=\sum _{i=1}^{2}\left({\frac {1}{2}}K_{i}Y_{i}^{2}\right)}

تتلاشى السعة الكلية لشكل النمط من كلا الجانبين دائمًا. أي أن الحجم الفعلي للانحراف المفترض لا يهم، بل شكل النمط فقط .

ثم تُجرى عمليات حسابية للحصول على تعبير لـω{\displaystyle \omega }، بدلالة B، والتي يمكن اشتقاقها بالنسبة إلى B، لإيجاد القيمة الدنيا، أي عندمادω/دب=0{\displaystyle d\omega /dB=0}وهذا يعطي قيمة B التيω{\displaystyle \omega }هو الأدنى. هذا حلٌّ للحد الأعلى لـω{\displaystyle \omega }لوω{\displaystyle \omega }من المأمول أن يكون التردد الأساسي المتوقع للنظام لأن شكل الوضع مفترض ، لكننا وجدنا أدنى قيمة لهذا الحد الأعلى، بالنظر إلى افتراضاتنا، لأن B يستخدم لإيجاد "المزيج" الأمثل لوظيفتي شكل الوضع المفترضتين.

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

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

في الأنظمة الديناميكية

يُتيح مُؤثر كوبمان ترميز نظام غير خطي محدود الأبعاد كنظام خطي لا نهائي الأبعاد . عمومًا، يصعب حل كلتا المسألتين، ولكن بالنسبة للمسألة الأخيرة، يُمكننا استخدام طريقة ريتز-غاليركين لتقريب الحل. [ 14 ]

العلاقة مع طريقة العناصر المحدودة

بلغة طريقة العناصر المحدودة، المصفوفةحكج{\displaystyle H_{kj}}هي تحديدًا مصفوفة الصلابة للهاميلتوني في فضاء العناصر الخطية القطعية، والمصفوفةSكج{\displaystyle S_{kj}}هي مصفوفة الكتلة . في لغة الجبر الخطي، القيمةϵ{\displaystyle \epsilon }يمثل قيمة ذاتية للهاميلتوني المتقطع، والمتجهج{\displaystyle c}هو متجه ذاتي منفصل.

انظر أيضاً

ملاحظات ومراجع

  1. 1 2 ليسا، أ. و. (2005). "الأسس التاريخية لطريقتي رايلي وريتز" . مجلة الصوت والاهتزاز . 287 ( 4-5 ): 961-978 . Bibcode : 2005JSV...287..961L . doi : 10.1016/j.jsv.2004.12.021 .
  2. 1 2 إيلانكو، سينيا (2009). "تعليقات على الأسس التاريخية لطريقتي رايلي وريتز". مجلة الصوت والاهتزاز . 319 ( 1-2 ): 731-733 . Bibcode : 2009JSV...319..731I . doi : 10.1016/j.jsv.2008.06.001 .
  3. سميثيز، فرانك (أكتوبر 1991). " جوزيف ليوفيل 1809-1882: أستاذ الرياضيات البحتة والتطبيقية ، بقلم جيسبر لوتزن" . مجلة الرياضيات . 75 (473): 372-373 . doi : 10.2307/3619531 .
  4. 1 2 3 4 ديفيز، إي بي ؛ بلوم، إم. (2003). "التلوث الطيفي". مجلة IMA للتحليل العددي . arXiv : math/0302145 . Bibcode : 2003math......2145D .
  5. 1 2 سولي، إندري ؛ مايرز، ديفيد (2003). مقدمة في التحليل العددي . مطبعة جامعة كامبريدج . ISBN 0-521-00794-1.
  6. 1 2 ليفيتين، مايكل؛ شارغورودسكي، يوجين (2004). "التلوث الطيفي والأطياف النسبية من الرتبة الثانية للمؤثرات ذاتية الترافق". مجلة IMA للتحليل العددي . 24 (3): 393-416 . arXiv : math/0212087 . doi : 10.1093/imanum/24.3.393 .
  7. 1 2 برايس، جون د. (1994). الحل العددي لمسائل ستورم-ليوفيل . مطبعة جامعة أكسفورد. ISBN 0-19-853415-9.
  8. 1 2 أرفكن، جورج ب .؛ ويبر، هانز ج. (2005). الأساليب الرياضية للفيزيائيين (الطبعة السادسة ). دار النشر الأكاديمية. ISBN  978-0-08-047069-6.
  9. كولبروك، ماثيو. "فك تشفير اللانهائي: هل يمكننا حساب الأطياف؟" . الرياضيات اليوم . معهد الرياضيات وتطبيقاتها.
  10. كولبروك، ماثيو؛ رومان، بوغدان؛ هانسن، أندرس (2019). "كيفية حساب الأطياف مع التحكم في الخطأ" . رسائل المراجعة الفيزيائية . 122 (25) 250201. رمز Bibcode : 2019PhRvL.122y0201C . doi : 10.1103/PhysRevLett.122.250201 . PMID 31347861 . 
  11. بوكرزيوا، أندريه (1979). "طريقة الإسقاطات المتعامدة وتقريب طيف مؤثر محدود". ستوديا ماثيماتيكا . 65 : 21-29 . doi : 10.4064/sm-65-1-21-29 .
  12. بوغلي، سابين ؛ مارليتا، ماركو؛ تريتر، كريستيان (2020). "النطاق العددي الأساسي للمؤثرات الخطية غير المحدودة". مجلة التحليل الوظيفي . 279 108509. arXiv : 1907.09599 . doi : 10.1016/j.jfa.2020.108509 .
  13. تريفثين، لويد ن.؛ باو الثالث، ديفيد (1997). الجبر الخطي العددي . سيام. ص 254. ISBN  978-0-89871-957-4.
  14. سيرفاديو، سيمون؛ أرناس، ديفيد؛ ليناريس، ريتشارد (2021). "دليل عملي لمؤثر كوبمان باستخدام كثيرات الحدود المتعامدة". arXiv : 2111.07485 [ math.NA ].
  • يتضمن مقرر حساب التفاضل والتكامل قسمًا عن طريقة رايلي-ريتز .
  • طريقة ريتز في موسوعة الرياضيات
  • غاندر، مارتن جيه؛ وانر، جيرهارد (2012). "من أويلر، ريتز، وغاليركين إلى الحوسبة الحديثة" . مجلة SIAM Review . 54 (4): 627-666 . CiteSeerX 10.1.1.297.5697 . doi : 10.1137/100804036 .