تحوّل ستيلتجس

في الرياضيات ، يُعرَّف تحويل ستيلتجس S ρ ( z ) لمقياس الكثافة ρ على فترة حقيقية I بأنه دالة للمتغير المركب z المعرف خارج I بالصيغة التالية:

Sρ(z)=أناρ(ت)دتت-z،zجأنا.{\displaystyle S_{\rho }(z)=\int _{I}{\frac {\rho (t)\,dt}{tz}},\qquad z\in \mathbb {C} \setminus I.}

الصيغة العكسية

في ظل شروط معينة، يمكننا إعادة بناء دالة الكثافة ρ انطلاقًا من تحويل ستيلتجس الخاص بها بفضل الصيغة العكسية لستيلتجس-بيرون. على سبيل المثال، إذا كانت الكثافة ρ متصلة على امتداد الفترة I ، فسيكون لدينا داخل هذه الفترة ρ(x)=ليمε0+Sρ(x+أناε)-Sρ(x-أناε)2أناπ.{\displaystyle \rho (x)=\lim _{\varepsilon \to 0^{+}}{\frac {S_{\rho }(x+i\varepsilon )-S_{\rho }(xi\varepsilon )}{2i\pi }}.}

اشتقاق الصيغة

تذكر من حساب التفاضل والتكامل الأساسي أن -1x2+1دx=ليمxدالة الظل العكسيx-ليمx-دالة الظل العكسيx=π2-(-π2)=π.{\displaystyle \int _{-\infty }^{\infty }{\frac {1}{x^{2}+1}}dx=\lim _{x\to \infty }\arctan x-\lim _{x\to -\infty }\arctan x={\tfrac {\pi }{2}}-(-{\tfrac {\pi }{2}})=\pi {\text{.}}} لذلكو(x)=1π(x2+1)-1{\displaystyle f(x)={\tfrac {1}{\pi }}(x^{2}+1)^{-1}}هي دالة كثافة الاحتمال لتوزيع ما - توزيع كوشي . من خلال تغيير المتغيراتx=(ت-ت0)/ε{\displaystyle x=(t-t_{0})/\varepsilon }نحصل بذلك على عائلة توزيعات كوشي الكاملة: 1=-1/πx2+1دx=-1/π(ت-ت0ε)2+1دxدتدت=-ε/π(ت-ت0)2+ε2دت{\displaystyle 1=\int _{-\infty }^{\infty }{\frac {1/\pi }{x^{2}+1}}dx=\int _{-\infty }^{\infty }{\frac {1/\pi }{({\frac {t-t_{0}}{\varepsilon }})^{2}+1}}{\frac {dx}{dt}}dt=\int _{-\infty }^{\infty }{\frac {\varepsilon /\pi }{(t-t_{0})^{2}+\varepsilon ^{2}}}dt} مثلε0+{\displaystyle \varepsilon \to 0^{+}}، تميل هذه إلى توزيع ديراك بكتلة عندت0{\displaystyle t_{0}}دمج أي وظيفةρ(ت){\displaystyle \rho (t)}مقابل ذلك، سيتم تحديد القيمةρ(ت0){\displaystyle \rho (t_{0})}بدلاً من ذلك، دمج -ε/π(ت-ت0)2+ε2ρ(ت)دت{\displaystyle \int _{-\infty }^{\infty }{\frac {\varepsilon /\pi }{(t-t_{0})^{2}+\varepsilon ^{2}}}\rho (t)\,dt} بالنسبة للبعضε>0{\displaystyle \varepsilon >0}بدلاً من ذلك، ينتج القيمة عندت0{\displaystyle t_{0}}لبعض النسخ المُحسّنة منρ{\displaystyle \rho }كلما صغرت قيمةε{\displaystyle \varepsilon }كلما قلّ التنعيم المطبق، كان العامل أقل. عند استخدامه بهذه الطريقة،ε/π(ت-ت0)2+ε2{\displaystyle {\frac {\varepsilon /\pi }{(t-t_{0})^{2}+\varepsilon ^{2}}}}يُعرف أيضًا باسم نواة بواسون (لنصف المستوى). [ 1 ]

المقام(ت-ت0)2+ε2{\displaystyle (t-t_{0})^{2}+\varepsilon ^{2}}ليس لها أصفار حقيقية، ولكن لها صفران مركبان.ت=ت0±أناε{\displaystyle t=t_{0}\pm i\varepsilon }وبالتالي، يحدث تفكيك جزئي للكسور ε/π(ت-ت0)2+ε2=1/2πأنات-(ت0+أناε)-1/2πأنات-(ت0-أناε){\displaystyle {\frac {\varepsilon /\pi }{(t-t_{0})^{2}+\varepsilon ^{2}}}={\frac {1/2\pi i}{t-(t_{0}+i\varepsilon )}}-{\frac {1/2\pi i}{t-(t_{0}-i\varepsilon )}}} وبالتالي لأي مقياسμ{\displaystyle \mu }، Rε/π(ت-x)2+ε2دμ(ت)=12πأناR(1ت-(x+أناε)-1ت-(x-أناε))دμ(ت)=Sμ(x+أناε)-Sμ(x-أناε)2πأنا{\displaystyle \int _{\mathbb {R} }{\frac {\varepsilon /\pi }{(t-x)^{2}+\varepsilon ^{2}}}d\mu (t)={\frac {1}{2\pi i}}\int _{\mathbb {R} }\left({\frac {1}{t-(x+i\varepsilon )}}-{\frac {1}{t-(x-i\varepsilon )}}\right)d\mu (t)={\frac {S_{\mu }(x+i\varepsilon )-S_{\mu }(x-i\varepsilon )}{2\pi i}}} إذا كان المقياسμ{\displaystyle \mu }وهي متصلة بشكل مطلق (بالنسبة لمقياس ليبيغ) عندx{\displaystyle x}ثم كماε0+{\displaystyle \varepsilon \to 0^{+}}هذا التكامل يميل إلى الكثافة عندx{\displaystyle x}أما إذا كان للمقياس كتلة نقطية عندx{\displaystyle x}ثم النهاية كماε0+{\displaystyle \varepsilon \to 0^{+}}يتباعد التكامل، وتحويل ستيلتجسSμ{\displaystyle S_{\mu }}يوجد عمود فيx{\displaystyle x}.

الروابط مع لحظات القياس

إذا كان لمقياس الكثافة ρ عزوم من أي رتبة معرفة لكل عدد صحيح بالمساواة من=أناتنρ(ت)دت،{\displaystyle m_{n}=\int _{I}t^{n}\,\rho (t)\,dt,}

عندئذٍ، يقبل تحويل ستيلتجس لـ ρ لكل عدد صحيح n التوسع التقاربي في جوار اللانهاية المعطى بواسطة Sρ(z)=ك=0نمكzك+1+o(1zن+1).{\displaystyle S_{\rho }(z)=\sum _{k=0}^{n}{\frac {m_{k}}{z^{k+1}}}+o\left({\frac {1}{z^{n+1}}}\right).}

في ظل ظروف معينة ، يمكن الحصول على التوسع الكامل كسلسلة لوران :Sρ(z)=ن=0منzن+1.{\displaystyle S_{\rho }(z)=\sum _{n=0}^{\infty }{\frac {m_{n}}{z^{n+1}}}.}

العلاقات مع كثيرات الحدود المتعامدة

المراسلات(و،ز)أناو(ت)ز(ت)ρ(ت)دت{\textstyle (f,g)\mapsto \int _{I}f(t)g(t)\rho (t)\,dt} يُعرّف الضرب الداخلي على فضاء الدوال المتصلة على الفترة I.

إذا كانت { P n } متتالية من كثيرات الحدود المتعامدة لهذا المنتج، فيمكننا إنشاء متتالية من كثيرات الحدود الثانوية المرتبطة بها باستخدام الصيغة التالية: سؤالن(x)=أناPن(ت)-Pن(x)ت-xρ(ت)دت.{\displaystyle Q_{n}(x)=\int _{I}{\frac {P_{n}(t)-P_{n}(x)}{t-x}}\rho (t)\,dt.}

يبدو أنFن(z)=سؤالن(z)Pن(z){\textstyle F_{n}(z)={\frac {Q_{n}(z)}{P_{n}(z)}}}هو تقريب باديه لـ S ρ ( z ) في جوار اللانهاية، بمعنى أن Sρ(z)-سؤالن(z)Pن(z)=يا(1z2ن+1).{\displaystyle S_{\rho }(z)-{\frac {Q_{n}(z)}{P_{n}(z)}}=O\left({\frac {1}{z^{2n+1}}}\right).}

بما أن هاتين المتتاليتين من كثيرات الحدود تحققان نفس علاقة التكرار في ثلاثة حدود، يمكننا تطوير كسر مستمر لتحويل ستيلتجس الذي تكون متقارباته المتتالية هي الكسور F n ( z ) .

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

انظر أيضاً

مراجع

  1. كولبروك، ماثيو ج. (2021). "حساب المقاييس الطيفية والأنواع الطيفية". الاتصالات في الفيزياء الرياضية . 384 : 433-501 . arXiv : 1908.06721 . doi : 10.1007/s00220-021-04072-4 .
  • إتش إس وول (1948). النظرية التحليلية للكسور المستمرة . شركة دي فان نوستراند المحدودة.