تغيير المتغيرات

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

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

يمكن رؤية مثال بسيط للغاية على تغيير المتغيرات المفيد في مسألة إيجاد جذور كثيرة الحدود من الدرجة السادسة:

x6-9x3+8=0.{\displaystyle x^{6}-9x^{3}+8=0.}

من المستحيل عمومًا حل المعادلات متعددة الحدود من الدرجة السادسة باستخدام الجذور (انظر نظرية أبيل-روفيني ). ومع ذلك، يمكن كتابة هذه المعادلة تحديدًا على النحو التالي

(x3)2-9(x3)+8=0{\displaystyle (x^{3})^{2}-9(x^{3})+8=0}

(هذه حالة بسيطة من حالات تحليل كثير الحدود ). وبالتالي، يمكن تبسيط المعادلة بتعريف متغير جديد.u=x3{\displaystyle u=x^{3}}. استبدال x بـu3{\displaystyle {\sqrt[{3}]{u}}}بإدخالها في كثير الحدود، نحصل على

u2-9u+8=0،{\displaystyle u^{2}-9u+8=0,}

وهي مجرد معادلة تربيعية لها حلان:

u=1وu=8.{\displaystyle u=1\quad {\text{and}}\quad u=8.}

يتم الحصول على الحلول بدلالة المتغير الأصلي عن طريق استبدال x 3 بدلاً من u ، مما يعطي

x3=1وx3=8.{\displaystyle x^{3}=1\quad {\text{and}}\quad x^{3}=8.}

ثم، بافتراض أن المرء مهتم فقط بالحلول الحقيقية ، فإن حلول المعادلة الأصلية هي

x=(1)1/3=1وx=(8)1/3=2.{\displaystyle x=(1)^{1/3}=1\quad {\text{و}}\quad x=(8)^{1/3}=2.}

مثال بسيط

لننظر في نظام المعادلات

xy+x+y=71{\displaystyle xy+x+y=71}
x2y+xy2=880{\displaystyle x^{2}y+xy^{2}=880}

أينx{\displaystyle x}وy{\displaystyle y}هي أعداد صحيحة موجبةx>y{\displaystyle x>y}(المصدر: AIME 1991 )

حل هذه المسألة ليس صعبًا للغاية في الأحوال العادية، ولكنه قد يكون مملًا بعض الشيء. ومع ذلك، يمكننا إعادة كتابة المعادلة الثانية على النحو التالي:xy(x+y)=880{\displaystyle xy(x+y)=880}إجراء عمليات الاستبدالs=x+y{\displaystyle s=x+y}وت=xy{\displaystyle t=xy}يُختزل النظام إلىs+ت=71،sت=880{\displaystyle s+t=71,st=880}حل هذه المسألة يعطي(s،ت)=(16،55){\displaystyle (s,t)=(16,55)}و(s،ت)=(55،16){\displaystyle (s,t)=(55,16)}. بالتعويض العكسي للزوج المرتب الأول نحصل علىx+y=16،xy=55،x>y{\displaystyle x+y=16,xy=55,x>y}وهذا ما يعطي الحل(x،y)=(11،5).{\displaystyle (x,y)=(11,5).}بالتعويض العكسي للزوج المرتب الثاني نحصل علىx+y=55،xy=16،x>y{\displaystyle x+y=55,xy=16,x>y}وهذا لا يُعطي أي حلول. لذا فإن الحل الذي يحل النظام هو(x،y)=(11،5){\displaystyle (x,y)=(11,5)}.

مقدمة رسمية

يتركأ{\displaystyle A}،ب{\displaystyle B}كن مشعبات ناعمة ودعΦ:أب{\displaystyle \Phi :A\rightarrow B}كنجر{\displaystyle C^{r}}- التماثل التفاضلي بينهما، أي:Φ{\displaystyle \Phi }هور{\displaystyle r}خريطة قابلة للتفاضل باستمرار، تقابلية منأ{\displaystyle A}لب{\displaystyle B}معر{\displaystyle r}مرات معكوس قابل للتفاضل باستمرار منب{\displaystyle B}لأ{\displaystyle A}. هنار{\displaystyle r}قد يكون أي عدد طبيعي (أو صفر)،{\displaystyle \infty }( ناعم ) أوω{\displaystyle \omega }( تحليلي ).

الخريطةΦ{\displaystyle \Phi }يُطلق عليه اسم تحويل الإحداثيات المنتظم أو استبدال المتغيرات المنتظم ، حيث يشير مصطلح "منتظم" إلىجر{\displaystyle C^{r}}-يةΦ{\displaystyle \Phi }عادةً ما يكتب المرءx=Φ(y){\displaystyle x=\Phi (y)}للإشارة إلى استبدال المتغيرx{\displaystyle x}بواسطة المتغيرy{\displaystyle y}عن طريق استبدال قيمةΦ{\displaystyle \Phi }فيy{\displaystyle y}لكل حالة من حالاتx{\displaystyle x}.

أمثلة أخرى

تحويل الإحداثيات

يمكن حل بعض الأنظمة بسهولة أكبر عند التحويل إلى الإحداثيات القطبية . لنأخذ على سبيل المثال المعادلة

يو(x،y):=(x2+y2)1-x2x2+y2=0.{\displaystyle U(x,y):=(x^{2}+y^{2}){\sqrt {1-{\frac {x^{2}}{x^{2}+y^{2}}}}}=0.}

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

(x،y)=Φ(ر،θ){\displaystyle \displaystyle (x,y)=\Phi (r,\theta )}مقدم منΦ(ر،θ)=(ركوس(θ)،رالخطيئة(θ)).{\displaystyle \displaystyle \Phi (r,\theta )=(r\cos(\theta ),r\sin(\theta )).}

لاحظ أنه إذاθ{\displaystyle \theta }يركض خارج2π{\displaystyle 2\pi }على سبيل المثال، فاصل زمني بطول معين.[0،2π]{\displaystyle [0,2\pi ]}الخريطةΦ{\displaystyle \Phi }لم تعد دالة تقابلية. لذلك،Φ{\displaystyle \Phi }ينبغي أن يقتصر على، على سبيل المثال(0،]×[0،2π){\displaystyle (0,\infty ]\times [0,2\pi )}لاحظ كيفر=0{\displaystyle r=0}مستبعد، لـΦ{\displaystyle \Phi }ليست تقابلية في الأصل (θ{\displaystyle \theta }يمكن أن تأخذ أي قيمة، وسيتم تعيين النقطة إلى (0، 0). ثم، يتم استبدال جميع حالات المتغيرات الأصلية بالتعبيرات الجديدة المحددة بواسطةΦ{\displaystyle \Phi }وباستخدام الهويةالخطيئة2x+كوس2x=1{\displaystyle \sin ^{2}x+\cos ^{2}x=1}، نحصل

V(ر،θ)=ر21-ر2كوس2θر2=ر21-كوس2θ=ر2|الخطيئةθ|.{\displaystyle V(r,\theta )=r^{2}{\sqrt {1-{\frac {r^{2}\cos ^{2}\theta }{r^{2}}}}}=r^{2}{\sqrt {1-\cos ^{2}\theta }}=r^{2}\left|\sin \theta \right|.}

يمكن الآن إيجاد الحلول بسهولة:الخطيئة(θ)=0{\displaystyle \sin(\theta )=0}، لذاθ=0{\displaystyle \theta =0}أوθ=π{\displaystyle \theta =\pi }بتطبيق معكوسΦ{\displaystyle \Phi }يُظهر أن هذا يُعادلy=0{\displaystyle y=0}بينماx0{\displaystyle x\not =0}في الواقع، نرى ذلك بالنسبة لـy=0{\displaystyle y=0}تتلاشى الدالة، باستثناء نقطة الأصل.

لاحظ أنه لو سمحنار=0{\displaystyle r=0}، وكان الأصل سيمثل حلاً أيضاً، على الرغم من أنه ليس حلاً للمشكلة الأصلية. هنا تكمن خاصية التقابل لـΦ{\displaystyle \Phi }أمر بالغ الأهمية. الدالة موجبة دائمًا (لـx،yR{\displaystyle x,y\in \mathbb {R} }ومن هنا تأتي القيم المطلقة.

التمايز

تُستخدم قاعدة السلسلة لتبسيط التفاضل المعقد. على سبيل المثال، لننظر في مسألة حساب المشتقة

ددxالخطيئة(x2).{\displaystyle {\frac {d}{dx}}\sin(x^{2}).}

يتركy=الخطيئةu{\displaystyle y=\sin u}معu=x2.{\displaystyle u=x^{2}.}ثم:

ددxالخطيئة(x2)=دyدx=دyدuدuدxهذا الجزء هو قاعدة السلسلة.=(ددuالخطيئةu)(ددxx2)=(كوسu)(2x)=(كوس(x2))(2x)=2xكوس(x2){\displaystyle {\begin{aligned}{\frac {d}{dx}}\sin(x^{2})&={\frac {dy}{dx}}\\[6pt]&={\frac {dy}{du}}{\frac {du}{dx}}&&{\text{This part is the chain rule.}}\\[6pt]&=\left({\frac {d}{du}}\sin u\right)\left({\frac {d}{dx}}x^{2}\right)\\[6pt]&=(\cos u)(2x)\\&=\left(\cos(x^{2})\right)(2x)\\&=2x\cos(x^{2})\end{aligned}}}

اندماج

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

صيغة تغيير المتغيرات بدلالة مقياس ليبيغ

تسمح لنا النظرية التالية بربط التكاملات المتعلقة بمقياس ليبيغ بتكامل مكافئ يتعلق بمقياس السحب الخلفي في ظل معلمة G. [ 2 ] يرجع البرهان إلى تقريبات محتوى جوردان.

لنفترض أنΩ{\displaystyle \Omega }هي مجموعة فرعية مفتوحة منRن{\displaystyle \mathbb {R} ^{n}}وجي:ΩRن{\displaystyle G:\Omega \to \mathbb {R} ^{n}}هوج1{\displaystyle C^{1}}التمايز الشكلي.

  • لوو{\displaystyle f}هي دالة قابلة للقياس وفقًا لمعيار ليبيغ علىجي(Ω){\displaystyle G(\Omega )}، ثموجي{\displaystyle f\circ G}هل يمكن قياس ليبيغ علىΩ{\displaystyle \Omega }. لوو0{\displaystyle f\geq 0}أوول1(جي(Ω)،م)،{\displaystyle f\in L^{1}(G(\Omega ),m),}ثمجي(Ω)و(x)دx=Ωوجي(x)|المحققدxجي|دx{\displaystyle \int _{G(\Omega )}f(x)dx=\int _{\Omega }f\circ G(x)|{\text{det}}D_{x}G|dx}.
  • لوهـΩ{\displaystyle E\subset \Omega }وهـ{\displaystyle E}هل يمكن قياس ليبيغ؟جي(هـ){\displaystyle G(E)}هل يمكن قياس ليبيغ؟م(جي(هـ))=هـ|المحققدxجي|دx{\displaystyle m(G(E))=\int _{E}|{\text{det}}D_{x}G|dx}.

وكنتيجة طبيعية لهذه النظرية، يمكننا حساب مشتقات رادون-نيكوديم لكل من مقياسي السحب والدفع الأمامي لـم{\displaystyle m}تحتتي{\displaystyle T}.

مقياس التراجع وصيغة التحويل

مقياس التراجع من حيث التحويلتي{\displaystyle T}يُعرَّف بأنهتي*μ:=μ(تي(أ)){\displaystyle T^{*}\mu :=\mu (T(A))} . صيغة تغيير المتغيرات لمقاييس التراجع هي

تي(Ω)زدμ=Ωزتيدتي*μ{\displaystyle \int _{T(\Omega )}gd\mu =\int _{\Omega }g\circ TdT^{*}\mu }.

مقياس الدفع الأمامي وصيغة التحويل

إجراء الدفع للأمام من حيث التحولتي{\displaystyle T}، ويُعرَّف على أنهتي*μ:=μ(تي-1(أ)){\displaystyle T_{*}\mu :=\mu (T^{-1}(A))} . صيغة تغيير المتغيرات لتدابير الدفع الأمامي هي

Ωزتيدμ=تي(Ω)زدتي*μ{\displaystyle \int _{\Omega }g\circ Td\mu =\int _{T(\Omega )}gdT_{*}\mu }.

وكنتيجة طبيعية لصيغة تغيير المتغيرات لمقياس ليبيغ، لدينا أن

  • مشتق رادون-نيكوديم للتراجع بالنسبة لمقياس ليبيغ:دتي*مدم(x)=|المحققدxتي|{\displaystyle {\frac {dT^{*}m}{dm}}(x)=|{\text{det}}D_{x}T|}
  • مشتق رادون-نيكوديم للدفع الأمامي بالنسبة لمقياس ليبيغ:دتي*مدم(x)=|المحققدxتي-1|{\displaystyle {\frac {dT_{*}m}{dm}}(x)=|{\text{det}}D_{x}T^{-1}|}

ومنها يمكننا الحصول على

  • صيغة تغيير المتغيرات لقياس التراجع:تي(Ω)زدم=Ωزتيدتي*م=Ωزتي|المحققدxتي|دم(x){\displaystyle \int _{T(\Omega )}gdm=\int _{\Omega }g\circ TdT^{*}m=\int _{\Omega }g\circ T|{\text{det}}D_{x}T|dm(x)}
  • صيغة تغيير المتغيرات لقياس الدفع الأمامي:Ωزدم=تي(Ω)زتي-1دتي*م=تي(Ω)زتي-1|المحققدxتي-1|دم(x){\displaystyle \int _{\Omega }gdm=\int _{T(\Omega )}g\circ T^{-1}dT_{*}m=\int _{T(\Omega )}g\circ T^{-1}|{\text{det}}D_{x}T^{-1}|dm(x)}

المعادلات التفاضلية

يتم تدريس تغييرات المتغيرات للتفاضل والتكامل في حساب التفاضل والتكامل الابتدائي، ونادراً ما يتم تنفيذ الخطوات بالكامل.

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

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

تغيير الحجم والتحويل

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

دنyدxن=yحجمxحجمندنy^دx^ن{\displaystyle {\frac {d^{n}y}{dx^{n}}}={\frac {y_{\text{scale}}}{x_{\text{scale}}^{n}}}{\frac {d^{n}{\hat {y}}}{d{\hat {x}}^{n}}}}

أين

x=x^xحجم+xيحول{\displaystyle x={\hat {x}}x_{\text{scale}}+x_{\text{shift}}}
y=y^yحجم+yيحول.{\displaystyle y={\hat {y}}y_{\text{scale}}+y_{\text{shift}}.}

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

μد2uدy2=دصدx؛u(0)=u(ل)=0{\displaystyle \mu {\frac {d^{2}u}{dy^{2}}}={\frac {dp}{dx}}\quad ;\quad u(0)=u(L)=0}

يصف هذا التدفق المتوازي للسائل بين جدران صلبة مسطحة تفصل بينها مسافة δ؛ μ هي اللزوجة ودص/دx{\displaystyle dp/dx}تدرج الضغط ، كلاهما ثابتان. بتغيير مقياس المتغيرات، تصبح المسألة

د2u^دy^2=1؛u^(0)=u^(1)=0{\displaystyle {\frac {d^{2}{\hat {u}}}{d{\hat {y}}^{2}}}=1\quad ;\quad {\hat {u}}(0)={\hat {u}}(1)=0}

أين

y=y^لوu=u^ل2μدصدx.{\displaystyle y={\hat {y}}L\qquad {\text{and}}\qquad u={\hat {u}}{\frac {L^{2}}{\mu }}{\frac {dp}{dx}}.}

يُعدّ التحجيم مفيدًا لأسباب عديدة. فهو يُبسّط التحليل بتقليل عدد المعاملات، ويجعل المسألة أكثر وضوحًا. وقد يُؤدي التحجيم المناسب إلى توحيد المتغيرات، أي جعلها ذات نطاق منطقي بدون وحدات، مثل 0 إلى 1. وأخيرًا، إذا تطلّبت المسألة حلًا عدديًا، فكلما قلّ عدد المعاملات قلّ عدد العمليات الحسابية.

الزخم مقابل السرعة

لنفترض نظامًا من المعادلات

مv˙=-حxمx˙=حv{\displaystyle {\begin{aligned}m{\dot {v}}&=-{\frac {\partial H}{\partial x}}\\[5pt]m{\dot {x}}&={\frac {\partial H}{\partial v}}\end{aligned}}}

لدالة معينةح(x،v){\displaystyle H(x,v)}يمكن التخلص من الكتلة عن طريق الاستبدال (البسيط)Φ(ص)=1/مص{\displaystyle \Phi (p)=1/m\cdot p}من الواضح أن هذه دالة تقابلية منR{\displaystyle \mathbb {R} }لR{\displaystyle \mathbb {R} }بموجب الاستبدالv=Φ(ص){\displaystyle v=\Phi (p)}يصبح النظام

ص˙=-حxx˙=حص{\displaystyle {\begin{aligned}{\dot {p}}&=-{\frac {\partial H}{\partial x}}\\[5pt]{\dot {x}}&={\frac {\partial H}{\partial p}}\end{aligned}}}

ميكانيكا لاغرانج

بافتراض وجود مجال قوةφ(ت،x،v){\displaystyle \varphi (t,x,v)}معادلات نيوتن للحركة هي

مx¨=φ(ت،x،v).{\displaystyle m{\ddot {x}}=\varphi (t,x,v).}

درس لاغرانج كيف تتغير معادلات الحركة هذه في ظل استبدال عشوائي للمتغيرات.x=Ψ(ت،y){\displaystyle x=\Psi (t,y)}،v=Ψ(ت،y)ت+Ψ(ت،y)yw.{\displaystyle v={\frac {\partial \Psi (t,y)}{\partial t}}+{\frac {\partial \Psi (t,y)}{\partial y}}\cdot w.}

وقد وجد أن المعادلات

لy=ددتلw{\displaystyle {\frac {\partial {L}}{\partial y}}={\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial {L}}{\partial {w}}}}

وهي مكافئة لمعادلات نيوتن للدالةل=تي-V{\displaystyle L=T-V}، حيث T هي الطاقة الحركية، و V هي الطاقة الكامنة.

في الواقع، عندما يتم اختيار الاستبدال بشكل جيد (استغلال على سبيل المثال التناظرات والقيود الخاصة بالنظام) فإن هذه المعادلات أسهل بكثير في الحل من معادلات نيوتن في الإحداثيات الديكارتية.

انظر أيضاً

مراجع

  1. كابلان، ويلفريد (1973). "تغيير المتغيرات في التكاملات". حساب التفاضل والتكامل المتقدم (  الطبعة الثانية). ريدينغ: أديسون-ويسلي. الصفحات 269-275 . 
  2. فولاند، جي بي (1999). التحليل الحقيقي : التقنيات الحديثة وتطبيقاتها ( الطبعة الثانية). نيويورك: وايلي. الصفحات 74-75 . ISBN    0-471-31716-0. OCLC 39849337 .