Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics. Patrick Muldowney

Чтение книги онлайн.

Читать онлайн книгу Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics - Patrick Muldowney страница 23

Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics - Patrick Muldowney

Скачать книгу

href="#fb3_img_img_ba07927e-168b-57e9-8429-e76efde273ea.png" alt="script upper X"/> can then be the identity function. (It is usual that the values of a random variable are represented as real numbers2 ; with expected—mean or average—value, variance, and so on; which are also real numbers.)

      But no matter what way this construction is done, the classical, rigorous mathematical representation by measurable function is evidently more complicated than the naive or natural view of the coin tossing experiment. In contrast, the purpose of this book is to provide a rigorous theory of stochastic integration/summation which (like [MTRV]) bypasses the “measurable function” view, and which is closer to the “naive realistic” view.

      

      Throw a pair of dice and, whenever the sum of the numbers observed exceeds 10, pay out a wager equal to the sum of the two numbers thrown, and otherwise receive a payment equal to the smaller of the two numbers observed. If the two are the same number (with sum not exceeding 10) then the payout is that number.

StartLayout 1st Row 1st Column normal upper Omega 2nd Column equals 3rd Column StartSet 1 comma 2 comma 3 comma 4 comma 5 comma 6 EndSet times StartSet 1 comma 2 comma 3 comma 4 comma 5 comma 6 EndSet comma with 2nd Row 1st Column script upper A 2nd Column equals 3rd Column 2 Superscript normal upper Omega Baseline left-parenthesis the set of all subsets of normal upper Omega right-parenthesis comma 3rd Row 1st Column upper P left-parenthesis upper A right-parenthesis 2nd Column equals 3rd Column StartFraction StartAbsoluteValue upper A EndAbsoluteValue Over StartAbsoluteValue normal upper Omega EndAbsoluteValue EndFraction left-parenthesis the cardinality of upper A divided by the cardinality of normal upper Omega right-parenthesis period EndLayout g left-parenthesis x 1 comma x 2 right-parenthesis equals x 1 plus x 2

      for each left-parenthesis x 1 comma x 2 right-parenthesis element-of normal upper Omega. Then, as in the previous example where the domain and range of script upper X are finite sets, g left-parenthesis script upper X right-parenthesis is left-parenthesis normal upper Omega comma script upper A comma upper P right-parenthesis‐measurable and qualifies as a random variable, with expected value

normal upper E left-parenthesis g left-parenthesis script upper X right-parenthesis right-parenthesis equals integral Underscript normal upper Omega Endscripts g left-parenthesis script upper X right-parenthesis d upper P equals 7 period

      The integral in this case reduces to the sum of a finite number of terms.

      The payoff from the wager in Example 3 is a randomly variable amount given by

script upper Z equals f left-parenthesis script upper X right-parenthesis comma script upper Z left-parenthesis x 1 plus x 2 right-parenthesis equals StartLayout Enlarged left-brace 1st Row 1st Column minus left-parenthesis x 1 plus x 2 right-parenthesis 2nd Column if 3rd Column x 1 plus x 2 4th Column greater-than-or-equal-to 5th Column 10 comma 2nd Row 1st Column x 1 2nd Column if 3rd Column x 1 4th Column less-than-or-equal-to 5th Column x 2 comma 3rd Row 1st Column x 2 2nd Column if 3rd Column x 2 4th Column less-than-or-equal-to 5th Column x 1 period EndLayout

      In this case, script upper Z is a composite of the deterministic function f with the random variable script upper X; and, just like g left-parenthesis script upper X right-parenthesis, script upper Z is (trivially) left-parenthesis normal upper Omega comma script upper A comma upper P right-parenthesis‐measurable, and is a random variable, with

normal upper E left-parenthesis script upper Z right-parenthesis equals normal upper E left-parenthesis f left-parenthesis script upper X right-parenthesis right-parenthesis equals integral Underscript normal upper Omega Endscripts script upper Z left-parenthesis omega right-parenthesis d upper P equals StartFraction 41 Over 36 EndFraction semicolon

      where, again, the Lebesgue integral reduces (trivially) to a finite sum of terms.

      There are many alternative ways of representing mathematically the unpredictable payout of this wager, as the following illustration shows. The outcome of the wager is the value y, where

y equals StartLayout Enlarged left-brace 1st Row 1st Column minus left-parenthesis x 1 plus x 2 right-parenthesis 2nd Column if 3rd Column x 1 plus x 2 4th Column greater-than-or-equal-to 5th Column 10 comma 2nd Row 1st Column x 1 2nd Column if 3rd Column x 1 4th Column less-than-or-equal-to 5th Column x 2 comma 3rd Row 1st Column x 2 2nd Column if 3rd Column x 2 4th Column less-than-or-equal-to 5th Column x 1 period EndLayout

      For instance, of the 36 possible pairs of throws left-parenthesis 
						<noindex><p style= Скачать книгу