4.9.5 · D1 · Maths › Probability Theory & Statistics › Moment generating function (MGF) — definition, use
Intuition Ek hi idea jo is poore page ke peeche hai
Ek random quantity X ko fully describe kiya ja sakta hai moments kehlaane waale summary numbers ki ek infinite list se, aur moment generating function ek aisi single machine hai jo unhe ek saath store karti hai. Uss machine par trust karne se pehle aapko chhe choti ideas mein fluent hona padega — expectation, random variable ki powers, number e , ek dial t ke function ke roop mein exponential, Taylor series, aur independence — toh yeh page har ek ko zero se build karta hai aur dikhata hai kaise woh ek saath fit hote hain.
Neeche parent note ke saare symbols ka full cast hai. Hum unhe ek aisi order mein milte hain jahan har ek ko sirf apne pehle waale ki zaroorat hoti hai.
Definition Random variable
X ek number hai jo ek random experiment se nikalta hai . Ek die roll karo: X face hai. Kisi insaan ki height measure karo: X height hai. Yeh koi ek fixed number nahi hai — yeh ek placeholder hai "jo bhi experiment is baar dega" ke liye.
X ko ek arrow ki tarah socho jo number line par kahin land karta hai, aur "chance ka ek cloud" hai jo bata raha hai ki har landing spot kitna likely hai. Kuch spots probability se thick hain, kuch thin.
Figure s01 (below): horizontal chalk line X ke possible values ki number line hai; uske upar blue curve chance ka cloud hai (jahan koi value zyada likely ho wahan zyada uuncha); pink arrow X ki ek particular landing ko value 6 par dikhata hai. Ise padhein "experiment ke is run mein X = 6 aaya, aur 6 cloud ke ek thick hisse ke neeche tha, toh yeh ek likely outcome tha."
Topic ko yeh kyun chahiye: MGF ek distribution ki fingerprint hai. Koi random variable nahi, fingerprint karne ke liye kuch nahi. Dekhein Probability Distributions ki woh "chance ka cloud" kaise likha jaata hai.
Definition Probability mass aur density
Agar X sirf alag-alag values par land karta hai (jaise die faces), toh p ( x ) ==probability hai ki X exactly x ke barabar hai==. p ( x ) height ke bars, aur saare bars 1 mein jod dete hain.
Agar X kisi continuum par kahin bhi land kar sakta hai (jaise height), toh f ( x ) ek density hai: ek smooth curve jahan kisi stretch ke neeche area = uss stretch mein land hone ki probability. Total area = 1 .
Definition Support — woh values jo actually matter karti hain
X ki support x ka woh set hai jahan koi bhi chance ho: woh x jahan p ( x ) > 0 (discrete) ya f ( x ) = 0 (continuous). Support ke bahar har jagah weight 0 hai, toh woh points kuch contribute nahi karte. Yahi "∑ x " aur "∫ − ∞ ∞ " ka secret matlab hai: har possible value par sweep karo, lekin sirf support apna weight kheenchti hai.
f ( x ) probability hai ki X = x ."
Kyun sahi lagta hai: yeh bilkul p ( x ) jaisa dikhta hai.
Fix: ek continuous X ke liye, P ( X = ek exact point ) = 0 . Sirf f ke areas (integrals) probabilities hain. Isliye continuous MGF mein ∫ … f ( x ) d x hai aur discrete mein ∑ … p ( x ) .
Topic ko yeh kyun chahiye: parent ke do MGF formulas — ek sum aur ek integral — literally hain "e t x ko add karo, x ke kitna likely hone se weighted karke". p aur f weights hain.
Definition Generic functions
g , h aur generic variables U , V
Is poore page mein, g aur h koi bhi ordinary functions hain jo aap ek random value par apply kar sakte ho — jaise g ( x ) = x , ya g ( x ) = x 2 , ya g ( x ) = e t x . Isi tarah U aur V koi bhi do random variables hain . Hum cheezein is generic form mein likhte hain taaki ek statement ek saath parent ko chahiye saare specific cases cover kare.
Expected value E [ g ( X )] ==average hai g ( X ) ka, jahan har possible value ko uski probability se weighted kiya jaata hai==. Sum har x par run karta hai X ki support mein (saare x jahan p ( x ) > 0 ); integral poori real line par run karta hai, lekin sirf support (jahan f ( x ) = 0 ) contribute karta hai:
E [ g ( X )] = ∑ x : p ( x ) > 0 g ( x ) p ( x ) (discrete) , E [ g ( X )] = ∫ − ∞ ∞ g ( x ) f ( x ) d x (continuous) .
Intuition Balance-point picture
Number line par har spot x par weight p ( x ) rakh do. Expectation E [ X ] balance point hai — jahan woh weights carry karne waala ruler ek finger par level baithe.
Figure s02 (below): paanch blue bars values x = 1 , 2 , 3 , 5 , 8 par khade hain jinkii heights unki probabilities p ( x ) = 0.1 , 0.15 , 0.3 , 0.25 , 0.2 ke proportional hain. Pink arrow balance point mark karta hai — woh value jis par loaded ruler level tip karta hai. Woh balance point hai E [ X ] = 1 ( 0.1 ) + 2 ( 0.15 ) + 3 ( 0.3 ) + 5 ( 0.25 ) + 8 ( 0.2 ) = 4.15 . Notice karein ki yeh 8 ki taraf jhukta hai kyunki woh value, though most likely nahi, door hai aur real weight carry karti hai.
Topic ko yeh kyun chahiye: MGF ek expectation hai : M X ( t ) = E [ e tX ] . Har derivation hai "apply E , use linearity".
n -th moment
X ka ==n -th moment== hai E [ X n ] : random value lo, use n -th power tak raise karo, phir average karo.
E [ X ] = center (mean).
E [ X 2 ] spread feed karta hai: Var ( X ) = E [ X 2 ] − ( E [ X ] ) 2 .
E [ X 3 ] lopsidedness (skew) feed karta hai, E [ X 4 ] tail-heaviness feed karta hai, aur aage bhi.
Intuition Powers tak raise kyun karo?
Squaring bade deviations ko zyada count karaata hai, toh E [ X 2 ] width feel karta hai. Cubing sign rakhta hai, toh E [ X 3 ] left-lean ko right-lean se tell kar sakta hai. Har higher power distribution ki shape ka ek sharper "probe" hai.
Topic ko yeh kyun chahiye: MGF ka poora point hai E [ X ] , E [ X 2 ] , E [ X 3 ] , … ki is infinite list ko compactly store karna. Koi moments nahi, moment-generating function ki koi zaroorat nahi.
e aur e u
e ≈ 2.718 woh special base hai jiske liye function e u har jagah apni khud ki slope ke barabar hota hai : curve ki steepness har point par wahan uski height ke barabar hai.
Figure s03 (below): pale-yellow curve y = e u hai. Marked pink point (u = 0.7 ) par dashed blue line tangent hai; uski slope curve ki height ke barabar drawn hai wahan (≈ 2.01 ). Yeh picture hai equation d u d e u = e u — height aur slope har point par coincide karte hain.
Topic ko yeh kyun chahiye: MGF e tX par built hai. Jab hum baad mein moments extract karne ke liye MGF ko kai baar differentiate karenge, exponential ki self-derivative property hi algebra ko clean rakhti hai monstrous ki jagah.
Definition Dummy variable
t
t ek tuning knob hai jo humne invent kiya . Yeh X ki koi value nahi hai aur yeh time nahi hai. Hum t ko 0 ke paas slide karte hain aur dekhte hain e tX kaise respond karta hai; woh response moments encode karta hai.
t ka koi physical matlab hona chahiye, jaise time."
Kyun sahi lagta hai: t usually time mean karta hai.
Fix: yahan t pure bookkeeping hai. Iska kaam hai ke respect mein differentiate kiya jaaye aur phir 0 set kiya jaaye . Koi bhi letter kaam karta; t tradition hai.
t 0 ke paas kyun?
t = 0 ke paas, e tX ≈ 1 + tX + 2 t 2 X 2 + ⋯ — ek tidy stack jahan t ki har power ka coefficient ek alag moment hai. 0 se door stack ab bhi sach hai lekin hum use sirf 0 par padhte hain.
Definition MGF kahan rehne ki permission hai —
0 ka neighbourhood
MGF M X ( t ) = E [ e tX ] ek sum ya integral hai, aur kisi bhi sum/integral ki tarah yeh + ∞ tak blow up ho sakta hai. Yeh sirf unhi t ke liye defined hai jahan total finite rahta hai. Kai jaane-pahchane variables ke liye yeh ( − r , r ) form ke ==open interval around 0 == par hota hai (ya uska ek one-sided piece); r "radius" hai good behaviour ka.
t = 0 par hamesha safe: M X ( 0 ) = E [ e 0 ] = E [ 1 ] = 1 , sabke liye finite.
t = 0 ke liye fail ho sakta hai: agar X ki tail heavy hai, toh e t x weight p ( x ) ya f ( x ) ke shrink hone se tez badhta hai, toh sum/integral diverge ho jaata hai. Tab us t ke liye koi MGF exist nahi karta (jaise Exponential( λ ) MGF sirf t < λ ke liye converge karta hai; ek Cauchy variable ka koi interval hi nahi hota).
M X ( t ) automatically finite hai, toh main check skip kar sakta hoon."
Kyun sahi lagta hai: yeh ek harmless average jaisa lagta hai.
Fix: M X use karne se pehle hamesha confirm karo ki sum/integral converge karta hai 0 ke around ek interval par. Agar yeh sirf ek akele point t = 0 par converge karta hai, toh MGF useless hai aur aap Characteristic Function switch karo, jo har t ke liye finite hota hai.
Topic ko yeh kyun chahiye: M X ( t ) = E [ e tX ] ek function hai t ka . Har property (shift-scale M X ( a t ) , moment extraction " t = 0 ") is dial par ek operation hai — aur unme se har ek silently assume karta hai ki hum convergence interval ke andar hain.
Definition Taylor series (
0 par)
Koi bhi smooth function g ( t ) ko 0 ke paas t ki powers ke sum ke roop mein rewrite kiya ja sakta hai aur ek leftover remainder R n ( t ) jisme n -th term ke baad ki sab cheez collect hoti hai:
g ( t ) = polynomial part g ( 0 ) + g ′ ( 0 ) t + 2 ! g ′′ ( 0 ) t 2 + ⋯ + n ! g ( n ) ( 0 ) t n + R n ( t ) .
t n ka coefficient hai n ! g ( n ) ( 0 ) .
converge kyun karta hai (informal sketch)
n terms ke baad remainder ( n + 1 ) -th derivative ki size times ( n + 1 )! t n + 1 se controlled hota hai. g ( u ) = e u ke liye har derivative phir se e u hai — kisi bhi finite interval par bounded — jabki ( n + 1 )! 1 factor 0 ki taraf crash karta hai t n + 1 ke grow hone se tez . Toh R n ( t ) → 0 as n → ∞ har t ke liye: exponential ka series har jagah converge karta hai. Yahi factorial-beats-power reason hai jo exactly explain karta hai ki e tX expansion ko term by term likhna safe kyun hai.
Intuition Yeh poora trick kyun hai
Power series ke t n ke coefficient ke do readings hain: yeh n ! E [ X n ] hai (upar wali series se average karne ke baad) aur n ! M X ( n ) ( 0 ) bhi hai (Taylor ka rule). Unhe equal set karna force karta hai E [ X n ] = M X ( n ) ( 0 ) . Exponential ko is tarah engineer kiya gaya tha ki t ki har power exactly ek moment tag kare. (Yeh term-by-term averaging §6 ke convergence interval par precisely legitimate hai.)
Topic ko yeh kyun chahiye: yeh "MGF" se "moments" tak ka bridge hai. Ise Taylor Series mein deepen karo.
Definition Independent random variables
X aur Y independent hain (likha X ⊥ Y ) agar ek ko jaanna doosre ke baare mein kuch nahi bataata. Key consequence, kisi bhi functions g aur h ke liye:
E [ g ( X ) h ( Y )] = E [ g ( X )] E [ h ( Y )] .
Chance ke do alag clouds jo ek doosre par lean nahi karte. Unka joint behaviour "X ka cloud times Y ka cloud" mein factor ho jaata hai.
Topic ko yeh kyun chahiye: parent ki Property 2 — M X + Y ( t ) = M X ( t ) M Y ( t ) — exactly yahi factoring hai g ( x ) = e t x aur h ( y ) = e t y par apply kiya hua. Independence ke bina split illegal hai. Dekhein Independence (Probability) .
Definition Notation padhna
M X ′ ( t ) = MGF ka first derivative (slope jab hum dial ghoomate hain).
M X ( n ) ( t ) = n -th derivative (n baar differentiate karo).
t = 0 = "phir t = 0 plug in karo".
Toh E [ X n ] = M X ( n ) ( 0 ) = d t n d n M X ( t ) t = 0 kehta hai: n baar differentiate karo, phir dial zero par set karo.
t = 0 set karna ek moment ko isolate kyun karta hai
Differentiating har term se t ki ek power drop kar deta hai. n derivatives ke baad, jo bhi term abhi bhi t carry karta hai woh t = 0 par vanish ho jaata hai; sirf woh term jo exactly n ! t n E [ X n ] tha bach jaata hai, aur uska leftover constant E [ X n ] hai.
Topic ko yeh kyun chahiye: yahi hai moment-extraction formula — poore topic ki payoff line.
Probability weights p or f
Expectation E averages with weights
Number e and self derivative
Taylor series stacks powers of t
MGF M of t equals E of e to the tX
Differentiate at 0 to get moments
Independence factors products
Baayein taraf ka sab kuch prerequisite plumbing hai; node M X ( t ) = E [ e tX ] topic itself hai, aur do outputs (derivatives se moments, multiplication se sums) wohi reason hain ki humne yeh kyun kiya — sab 0 ke paas convergence se guarded.
Khud test karo — right side cover karo.
X kya stand karta hai, aur kya yeh ek fixed number hai?Ek random variable — jo bhi number experiment produce karta hai uska placeholder; fixed nahi.
p ( x ) aur f ( x ) mein kya difference hai?p ( x ) probability hai ki X exactly x ke barabar hai (discrete); f ( x ) ek density hai jahan uske neeche area probability deta hai (continuous).
X ki support kya hai?Kisi bhi chance wali values ka set: x jahan p ( x ) > 0 (discrete) ya f ( x ) = 0 (continuous); sirf yahi sums/integrals mein contribute karte hain.
E [ g ( X )] aur E [ g ( X ) h ( Y )] mein g aur h kya hain?Koi bhi ordinary functions jo random value par apply kiye jaate hain (jaise x , x 2 , ya e t x ).
E [ g ( X )] continuous case mein likhein.∫ − ∞ ∞ g ( x ) f ( x ) d x .
Linearity of expectation state karo, naam batao ki U , V , a , b kya hain. Random variables U , V aur constants a , b ke liye: E [ a U + bV ] = a E [ U ] + b E [ V ] .
X ka n -th moment kya hai?E [ X n ] — X ko n -th power tak raise karne ka average.
e u ko other exponentials mein special kya banata hai?d u d e u = e u ; yeh apna khud ka derivative hai, toh repeated differentiation mein survive karta hai.
e u ki Taylor series likhein aur batayein yeh har jagah kyun converge karta hai.1 + u + 2 ! u 2 + 3 ! u 3 + ⋯ ; ( n + 1 )! 1 factor remainder ko t n + 1 ke badhne se tez crush karta hai, toh R n → 0 sabhi t ke liye.
M X ( t ) actually kahan defined hai, aur aapko kya check karna chahiye?Sirf jahan E [ e tX ] finite ho — typically t = 0 ke around ek open interval; hamesha confirm karo ki sum/integral wahan converge karta hai.
MGF mein t kya role play karta hai? Ek dummy tuning dial jiske respect mein hum differentiate karte hain aur phir 0 set karte hain; time nahi, X ki koi value nahi.
X ⊥ Y aapko E [ g ( X ) h ( Y )] ke saath kya karne deta hai?Use factor karo: E [ g ( X ) h ( Y )] = E [ g ( X )] E [ h ( Y )] .
M X ( n ) ( 0 ) ko words mein translate karo.MGF ko n baar differentiate karo, phir t = 0 par evaluate karo.
n derivatives ke baad t = 0 set karna ek moment ko isolate kyun karta hai?Abhi bhi t contain karne wala har remaining term 0 ho jaata hai; sirf constant E [ X n ] bachta hai.
Ready? Toh wapas jaao parent note par aur dekho yeh pieces M X ( t ) = E [ e tX ] mein kaise assemble hote hain.