مشكلة اللحظة

مثال: بالنظر إلى المتوسط ​​والتباينσ2{\displaystyle \sigma ^{2}}(وكذلك جميع التراكمات الأخرى تساوي 0) فإن التوزيع الطبيعي هو التوزيع الذي يحل مشكلة العزوم.

في الرياضيات ، تنشأ مشكلة العزوم نتيجة لمحاولة عكس التطبيق الذي يأخذ قياسًاμ{\displaystyle \mu }إلى تسلسل اللحظات

من=-xندμ(x).{\displaystyle m_{n}=\int _{-\infty }^{\infty }x^{n}\,d\mu (x)\,.}

وبشكل أعم، يمكن للمرء أن ينظر

من=-من(x)دμ(x).{\displaystyle m_{n}=\int _{-\infty }^{\infty }M_{n}(x)\,d\mu (x)\,.}

لتسلسل عشوائي من الدوالمن{\displaystyle M_{n}}.

مقدمة

في الإطار الكلاسيكي،μ{\displaystyle \mu }هو مقياس على خط الأعداد الحقيقية ، وم{\displaystyle M}التسلسل{xن:ن=1،2،...}{\displaystyle \{x^{n}:n=1,2,\dotsc \}}. بهذا الشكل يظهر السؤال في نظرية الاحتمالات ، يسأل عما إذا كان هناك مقياس احتمالي له متوسط ​​محدد وتباين وما إلى ذلك ، وما إذا كان فريدًا.

هناك ثلاث مسائل كلاسيكية معروفة للعزوم: مسألة هامبرغر للعزوم التي يكون فيها نطاق الدعمμ{\displaystyle \mu }يُسمح بأن يكون الخط الحقيقي بأكمله؛ مسألة عزم ستيلتجس ، لـ[0،){\displaystyle [0,\infty )}؛ ومسألة عزم هاوسدورف لفترة محدودة، والتي يمكن اعتبارها، دون فقدان للعمومية، على النحو التالي:[0،1]{\displaystyle [0,1]}.

تمتد مسألة العزوم أيضًا إلى التحليل المركب كمسألة العزوم المثلثية حيث يتم استبدال مصفوفات هانكل بمصفوفات توبليتز ويكون مجال μ هو دائرة الوحدة المركبة بدلاً من خط الأعداد الحقيقية. [ 1 ]

وجود

سلسلة من الأرقاممن{\displaystyle m_{n}}هو تسلسل لحظات القياسμ{\displaystyle \mu }إذا وفقط إذا تحقق شرط إيجابي معين؛ أي مصفوفات هانكلحن{\displaystyle H_{n}}،

(حن)أناج=مأنا+ج،{\displaystyle (H_{n})_{ij}=m_{i+j}\,,}

ينبغي أن تكون مصفوفة هانكل شبه موجبة . وذلك لأن مصفوفة هانكل شبه الموجبة تتوافق مع دالة خطية.Λ{\displaystyle \Lambda }بحيثΛ(xن)=من{\displaystyle \Lambda (x^{n})=m_{n}}و Λ(و2)0{\displaystyle \Lambda (f^{2})\geq 0}(غير سالب لمجموع مربعات كثيرات الحدود). افترضΛ{\displaystyle \Lambda }يمكن توسيعه ليشملR[x]*{\displaystyle \mathbb {R} [x]^{*}}في حالة المتغير الواحد، يمكن دائمًا كتابة كثير الحدود غير السالب على شكل مجموع مربعات. لذا فإن الدالة الخطيةΛ{\displaystyle \Lambda }تكون موجبة لجميع كثيرات الحدود غير السالبة في حالة المتغير الواحد. وبحسب نظرية هافيلاند، فإن الدالة الخطية لها شكل قياسي، أيΛ(xن)=-xندμ{\displaystyle \Lambda (x^{n})=\int _{-\infty }^{\infty}x^{n}d\mu }إن شرطًا ذا شكل مماثل ضروري وكافٍ لوجود مقياسμ{\displaystyle \mu }مدعوم على فترة زمنية محددة[أ،ب]{\displaystyle [a,b]}.

إحدى طرق إثبات هذه النتائج هي النظر في الدالة الخطيةφ{\displaystyle \varphi }يرسل ذلك متعددة الحدود

P(x)=كأكxك{\displaystyle P(x)=\sum _{k}a_{k}x^{k}}

ل

كأكمك.{\displaystyle \sum _{k}a_{k}m_{k}.}

لومك{\displaystyle m_{k}}هي لحظات ذات قدر معينμ{\displaystyle \mu }مدعوم على[أ،ب]{\displaystyle [a,b]}ثم من الواضح

وعلى العكس من ذلك، إذا تحقق الشرط ( 1 )، فيمكن تطبيق نظرية التمديد لـ م. ريز وتوسيعφ{\displaystyle \varphi }إلى دالة على فضاء الدوال المتصلة ذات الدعم المضغوطجج([أ،ب]){\displaystyle C_{c}([a,b])})، لهذا السبب

بحسب نظرية تمثيل ريز ، فإن ( 2 ) تتحقق إذا وفقط إذا وُجد مقياسμ{\displaystyle \mu }مدعوم على[أ،ب]{\displaystyle [a,b]}بحيث

φ(و)=ودμ{\displaystyle \varphi (f)=\int f\,d\mu }

لكلوجج([أ،ب]){\displaystyle f\in C_{c}([a,b])}.

وبالتالي فإن وجود المقياسμ{\displaystyle \mu }يكافئ ( 1 ). باستخدام نظرية التمثيل لكثيرات الحدود الموجبة على[أ،ب]{\displaystyle [a,b]}يمكن إعادة صياغة ( 1 ) كشرط على مصفوفات هانكل. [ 2 ] [ 3 ]

التفرد (أو الحتمية)

فرادةμ{\displaystyle \mu }في مسألة عزم هاوسدورف، ينبع ذلك من نظرية تقريب فايرشتراس ، التي تنص على أن كثيرات الحدود كثيفة تحت المعيار المنتظم في فضاء الدوال المتصلة على[0،1]{\displaystyle [0,1]}أما بالنسبة للمسألة المتعلقة بفترة غير محدودة، فإن مسألة التفرد تُعدّ أكثر تعقيدًا. [ 4 ] توجد توزيعات، مثل التوزيعات اللوغاريتمية الطبيعية ، التي لها عزوم محدودة لجميع الأعداد الصحيحة الموجبة، بينما تمتلك توزيعات أخرى نفس العزوم.

الحل الرسمي

عندما يكون الحل موجودًا، يمكن كتابته رسميًا باستخدام مشتقات دالة ديراك دلتا كما يلي:

دμ(x)=ρ(x)دx،ρ(x)=ن=0(-1)نن!دلتا(ن)(x)من{\displaystyle d\mu (x)=\rho (x)dx,\quad \rho (x)=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{n!}}\delta ^{(n)}(x)m_{n}}.

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

الاختلافات

يُعدّ مَسائل العزوم المقتطعة أحدَ أهمّ أنواع هذه المسائل ، إذ يدرس خصائصَ المقاييس ذات العزوم الأولى k الثابتة (لعدد k محدود ). ولنتائج مَسائل العزوم المقتطعة تطبيقاتٌ عديدةٌ في مسائل القيم القصوى ، والتحسين، ونظريات النهايات في نظرية الاحتمالات . [ 3 ]

احتمال

تُستخدم مسألة العزوم في نظرية الاحتمالات. ويُستخدم ما يلي بشكل شائع: [ 5 ]

نظرية (فريشيه-شوهات) إذاμ{\textstyle \mu }هو مقياس محدد (أي أن لحظاته تحدده بشكل فريد)، والمقاييسμن{\textstyle \mu _{n}}هي من النوع الذيك0ليمنمك[μن]=مك[μ]،{\displaystyle \forall k\geq 0\quad \lim _{n\rightarrow \infty }m_{k}\left[\mu _{n}\right]=m_{k}[\mu ],}ثمμنμ{\textstyle \mu _{n}\rightarrow \mu }في التوزيع.

من خلال التحقق من شرط كارلمان ، نعلم أن التوزيع الطبيعي القياسي هو مقياس محدد، وبالتالي لدينا الشكل التالي لنظرية النهاية المركزية :

نتيجة - إذا كان هناك تسلسل من التوزيعات الاحتماليةνن{\textstyle \nu _{n}}مُرضٍم2ك[νن](2ك)!2كك!؛م2ك+1[νن]0{\displaystyle m_{2k}[\nu _{n}]\to {\frac {(2k)!}{2^{k}k!}};\quad m_{2k+1}[\nu _{n}]\to 0}ثمνن{\textstyle \nu _{n}}يتقارب إلىشمال(0،1){\textstyle N(0,1)}في التوزيع.

انظر أيضاً

ملحوظات

  1. Schmüdgen 2017 ، ص 257.
  2. شوهات وتاماركين 1943 .
  3. 1 2 كريين ونودلمان 1977 .
  4. أخيزر 1965 .
  5. سودين، ساشا (5 مارس 2019). "مسألة العزم الكلاسيكية" (ملف PDF) . مؤرشف (ملف PDF) من الأصل في 1 يوليو 2022.

مراجع