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

(3.17):

       C1: such that .

       C2: , such that

       C3: and are defined and measurable with respect to their variables where .

       C4: and are continuous with respect to their variables for .

      Condition C2 is called a Lipschitz condition in the second variable, while condition C1 constrains the growth of the coefficients in Equation (3.17). We assume throughout that the random variable xi left-parenthesis 0 right-parenthesis is independent of W(t).

      Theorem 3.3 Assume that conditions C1 and C4 hold. Then the Equation (3.17) has a continuous solution with probability 1 for any initial condition xi left-parenthesis 0 right-parenthesis.

      We note the difference between the two theorems: the condition C2 is what makes the solution unique. Finally, both theorems assume that xi left-parenthesis 0 right-parenthesis is independent of the Brownian motion W(t).

      We now define another condition on the diffusion coefficient in Equation (3.17).

      C5: sigma left-parenthesis t comma x right-parenthesis greater-than 0 and for every upper C greater-than 0 there exists an upper L greater-than 0 and alpha greater-than one half such that:

StartAbsoluteValue sigma left-parenthesis t comma x right-parenthesis minus sigma left-parenthesis t comma y right-parenthesis EndAbsoluteValue less-than-or-equal-to upper L StartAbsoluteValue x minus y EndAbsoluteValue Superscript alpha Baseline for StartAbsoluteValue x EndAbsoluteValue less-than-or-equal-to upper C comma StartAbsoluteValue y EndAbsoluteValue less-than-or-equal-to upper C period

      Theorem 3.4 Assume conditions C4, C1 and C5 hold. Then the Equation (3.17) has a continuous solution with probability 1 for any initial condition xi left-parenthesis 0 right-parenthesis.

      For proofs of these theorems, see Skorokhod (1982), for example.

      (3.19)xi left-parenthesis t right-parenthesis equals xi left-parenthesis 0 right-parenthesis exp left-parenthesis left-parenthesis mu minus one half sigma squared right-parenthesis t plus sigma upper W left-parenthesis t right-parenthesis right-parenthesis period

      Knowing the exact solution is useful, because we can test the accuracy of finite difference schemes against it, and this gives us some insights into how well these schemes work for a range of parameter values.

      It is useful to know how the solution of Equation (3.17) behaves for large values of time; the answer depends on a relationship between the drift and diffusion parameters:

StartLayout 1st Row 1st Column normal i right-parenthesis 2nd Column mu greater-than one half sigma squared comma limit Underscript t right-arrow infinity Endscripts xi left-parenthesis t right-parenthesis equals infinity almost surely 2nd Row 1st Column ii right-parenthesis 2nd Column mu less-than one half sigma squared comma limit Underscript t right-arrow infinity Endscripts xi left-parenthesis t right-parenthesis equals 0 almost surely 3rd Row 1st Column iii right-parenthesis 2nd Column mu equals one half sigma squared comma xi left-parenthesis t right-parenthesis fluctuates between arbitrary large and 4th Row 1st Column Blank 2nd Column arbitrary small values as t right-arrow infinity almost surely period EndLayout

      In general it is not possible to find an exact solution, and in these cases we must resort to numerical approximation techniques.

      Equation (3.17) is a one-factor equation because there is only one dependent variable (namely xi left-parenthesis t right-parenthesis) to be modelled. It is possible to define equations with several dependent variables. The prototypical non-linear stochastic differential equation is given by the system:

      where:

StartLayout 1st Row 1st Column mu 2nd Column colon left-bracket 0 comma upper T right-bracket times normal double struck upper R Superscript n Baseline right-arrow normal double struck upper R Superscript n Baseline left-parenthesis vector right-parenthesis 2nd Row 1st Column sigma 2nd Column colon left-bracket 0 comma upper T right-bracket times normal double struck upper R Superscript n Baseline right-arrow normal double struck upper R Superscript n times m Baseline left-parenthesis matrix right-parenthesis 3rd Row 1st Column upper X 2nd Column colon left-bracket 0 comma upper T right-bracket right-arrow normal double struck upper R Superscript n Baseline left-parenthesis vector right-parenthesis 4th Row 1st Column upper W 2nd Column colon left-bracket 0 comma upper T right-bracket right-arrow normal double struck upper R Superscript m Baseline left-parenthesis vector right-parenthesis period EndLayout StartLayout 1st Row mu equals mu left-parenthesis t comma upper X right-parenthesis 2nd Row sigma equals sigma left-parenthesis t comma upper X right-parenthesis period EndLayout

      This is a generalisation of Equation (3.17). Thus, instead of scalars this system employs vectors for the solution, drift and random number terms while the diffusion term is a rectangular matrix.

      Existence and uniqueness theorems for the solution of the SDE system (3.20) are similar to those in the one-factor

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