<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?xml-stylesheet type="text/xsl" href="mathml.xsl"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" >
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">

<head>
<title>Data Analysis</title>
<link rel="stylesheet" type="text/css" href="styles.css" />
</head>

<body>


<h2>IT&Ocirc; DIFFERENTIAL EQUATION</h2>

<p>A very important special case is the <b>linear stochastic differential equation</b></p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mi>d</mi><mi>Y</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mo>=</mo>
<mi>f</mi><mfenced><mi>t</mi></mfenced>
<mi>Y</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mi>d</mi><mi>t</mi>
<mo>+</mo>
<mi>g</mi><mfenced><mi>t</mi></mfenced>
<mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
</math>
</td>
<td class="equnum">
(7.1)
</td>
</tr></table>

<p>where 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>f</mi><mfenced><mi>t</mi></mfenced></math>
and
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>g</mi><mfenced><mi>t</mi></mfenced></math>
are deterministic functions and
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced></math>
is the differential of the Brownian motion process. This is a first
order differential equation with an additive noise. A more general
case is when the function
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>g</mi><mfenced><mi>t</mi></mfenced></math>
is random 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced></math>,
but then we have a product of random functions. The <b>integral form
of the differential equation</b> is</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mi>Y</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mo>-</mo>
<mi>Y</mi><mfenced><msub><mi>t</mi><mn>0</mn></msub><mi>&omega;</mi></mfenced>
<mo>=</mo>
<mrow><munderover><mo>&int;</mo><msub><mi>t</mi><mn>0</mn></msub><mi>t</mi></munderover>
<mi>f</mi><mfenced><mi>&tau;</mi></mfenced>
<mi>Y</mi><mfenced><mi>&tau;</mi><mi>&omega;</mi></mfenced>
<mi>d</mi><mi>&tau;</mi></mrow>
<mo>+</mo>
<mrow><munderover><mo>&int;</mo><msub><mi>t</mi><mn>0</mn></msub><mi>t</mi></munderover>
<mi>g</mi><mfenced><mi>&tau;</mi></mfenced>
<mi>d</mi><mi>B</mi><mfenced><mi>&tau;</mi><mi>&omega;</mi></mfenced></mrow><mo>,</mo>
</math>
</td>
<td class="equnum">
(7.2)
</td>
</tr></table>

<p>where the first integral is the Riemann stochastic integral
and the second in general is an <b>It&ocirc; stochastic integral</b>
and in the above case 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mo>&rarr;</mo><mi>g</mi><mfenced><mi>t</mi></mfenced></math>
is a <b>Wiener stochastic integral</b>.</p>

<p>Let us introduce the <b>It&ocirc; stochastic integral</b> by plausible
arguments. Rigorous proves need a lot of advanced mathematics.
The stress will be on applications and the use of numerical
methods. We are going to discuss the It&ocirc; stochastic integral</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mi>I</mi><mfenced><mi>&omega;</mi></mfenced>
<mo>=</mo>
<munderover><mo>&int;</mo><mi>a</mi><mi>b</mi></munderover>
<mi>G</mi><mfenced><mi>&tau;</mi><mi>&omega;</mi></mfenced>
<mi>d</mi><mi>&tau;</mi>
</math>
</td>
<td class="equnum">
(7.3)
</td>
</tr></table>

<p>Assume 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>T</mi><mo>=</mo>
<mfenced open="[" close="]"><mi>a</mi><mi>b</mi></mfenced></math>,
<math xmlns="http://www.w3.org/1998/Math/MathML"><mfenced open="{" close="}"><mrow>
<mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced></mrow><mrow><mi>t</mi><mo>&in;</mo><mi>T</mi>
</mrow></mfenced></math>
is a scalar Brownian motion process with variance parameter
<math xmlns="http://www.w3.org/1998/Math/MathML"><msup><mi>&sigma;</mi><mn>2</mn></msup></math>
and the function 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced></math>
is defined on 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>t</mi><mo>&in;</mo><mi>T</mi></math>.
Let us introduce a partition
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>a</mi><mo>=</mo>
<msub><mi>t</mi><mn>0</mn></msub><mo>&lt;</mo>
<msub><mi>t</mi><mn>1</mn></msub><mo>&lt;</mo>
<mi>&hellip;</mi><mo>&lt;</mo>
<msub><mi>t</mi><mi>n</mi></msub><mo>=</mo><mi>b</mi>
</math>, and a step function</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<msub><mi>G</mi><mi>i</mi></msub><mfenced><mi>&omega;</mi></mfenced>
<mo>=</mo>
<mrow><mo>{</mo>
<mtable columnalign="left">
 <mtr>  <mtd><mn>0</mn><mo>,</mo></mtd>  <mtd><mi>t</mi><mo>&lt;</mo><msub><mi>t</mi><mn>0</mn></msub></mtd>  </mtr>
 <mtr>  <mtd><msub><mi>G</mi><mi>i</mi></msub><mfenced><mi>&omega;</mi></mfenced><mo>,</mo></mtd>  <mtd><msub><mi>t</mi><mi>i</mi></msub><mo>&le;</mo><mi>t</mi><mo>&le;</mo><msub><mi>t</mi><mrow><mi>i</mi><mo>+</mo><mn>1</mn></mrow></msub></mtd>  </mtr>
 <mtr>  <mtd><mn>0</mn><mo>,</mo></mtd>  <mtd><mi>t</mi><mo>&ge;</mo><msub><mi>t</mi><mi>n</mi></msub></mtd>  </mtr>
</mtable></mrow>
</math>
</td>
<td class="equnum">
(7.4)
</td>
</tr></table>


<p>where <math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>G</mi><mi>i</mi></msub><mfenced><mi>&omega;</mi></mfenced></math>
is independent of 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mfenced open="{" close="}"><mrow>
<mi>B</mi><mfenced><msub><mi>t</mi><mi>k</mi></msub><mi>&omega;</mi></mfenced>
<mo>-</mo>
<mi>B</mi><mfenced><msub><mi>t</mi><mi>l</mi></msub><mi>&omega;</mi></mfenced>
</mrow></mfenced>
<mo>:</mo>
<msub><mi>t</mi><mi>i</mi></msub>
<mo>&le;</mo>
<msub><mi>t</mi><mi>l</mi></msub>
<mo>&le;</mo>
<msub><mi>t</mi><mi>k</mi></msub>
<mo>&le;</mo>
<mi>b</mi></math>, and 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mi>E</mi><mfenced open="{" close="}"><mrow>
 <msup><mrow><mo>|</mo>
 <msub><mi>G</mi><mi>i</mi></msub><mfenced><mi>&omega;</mi></mfenced><mo>|</mo>
 </mrow><mn>2</mn></msup>
</mrow></mfenced>
<mo>&lt;</mo>
<mo>&infin;</mo></mrow></math>. The It&ocirc; integral is defined by</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<munder><mo>&int;</mo><mi>T</mi></munder>
<mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mo>=</mo>
<munderover><mo>&sum;</mo><mrow><mi>i</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>n</mi><mo>-</mo><mn>1</mn></mrow></munderover>
<msub><mi>G</mi><mi>i</mi></msub><mfenced><mi>&omega;</mi></mfenced>
<mfenced open="[" close="]"><mrow>
<mi>B</mi><mfenced><msub><mi>t</mi><mrow><mi>i</mi><mo>+</mo><mn>1</mn></mrow></msub><mi>&omega;</mi></mfenced>
<mo>-</mo>
<mi>B</mi><mfenced><msub><mi>t</mi><mi>i</mi></msub><mi>&omega;</mi></mfenced>
</mrow></mfenced>
</math>
</td>
<td class="equnum">
(7.5)
</td>
</tr></table>

<p>In view of the independence condition the expected value is zero</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mi>E</mi><mfenced open="{" close="}"><mrow>
 <munder><mo>&int;</mo><mi>T</mi></munder>
 <mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
 <mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
</mrow></mfenced>
<mo>=</mo>
<mn>0</mn>
</math>
</td>
<td class="equnum">
(7.6)
</td>
</tr></table>

<p>Let us take another function 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>F</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced></math>
and the corresponding step function 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow><msub><mi>F</mi><mi>i</mi></msub><mfenced><mi>&omega;</mi></mfenced></mrow></math>
and consider the expected value</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mi>E</mi><mfenced open="{" close="}"><mrow>
 <msub><mi>I</mi><mi>G</mi></msub><mfenced><mi>&omega;</mi></mfenced>
 <msub><mi>I</mi><mi>F</mi></msub><mfenced><mi>&omega;</mi></mfenced>
</mrow></mfenced>
<mo>=</mo>
<mi>E</mi><mfenced open="{" close="}"><mrow>
 <mfenced open="[" close="]"><mrow>
  <munderover><mo>&sum;</mo><mrow><mi>i</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>n</mi><mo>-</mo><mn>1</mn></mrow></munderover>
  <msub><mi>G</mi><mi>i</mi></msub><mfenced><mi>&omega;</mi></mfenced><mo>&Delta;</mo><mi>B</mi>
 </mrow></mfenced>
 <mfenced open="[" close="]"><mrow>
  <munderover><mo>&sum;</mo><mrow><mi>i</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>n</mi><mo>-</mo><mn>1</mn></mrow></munderover>
  <msub><mi>F</mi><mi>i</mi></msub><mfenced><mi>&omega;</mi></mfenced><mo>&Delta;</mo><mi>B</mi>
 </mrow></mfenced>
</mrow></mfenced>
<mrow>
<mo>=</mo>
<msup><mi>&sigma;</mi><mn>2</mn></msup>
<mrow><munderover><mo>&sum;</mo><mrow><mi>i</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>n</mi><mo>-</mo><mn>1</mn></mrow></munderover>
<mi>E</mi><mfenced open="{" close="}"><mrow>
 <msub><mi>G</mi><mi>i</mi></msub><mfenced><mi>&omega;</mi></mfenced>
 <msub><mi>F</mi><mi>i</mi></msub><mfenced><mi>&omega;</mi></mfenced>
</mrow></mfenced>
<mfenced><mrow>
 <msub><mi>t</mi><mrow><mi>i</mi><mo>+</mo><mn>1</mn></mrow></msub>
 <mo>-</mo>
 <msub><mi>t</mi><mi>i</mi></msub>
</mrow></mfenced></mrow></mrow>
</math>
</td>
<td class="equnum">
(7.7)
</td>
</tr></table>

<p>where <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mi>B</mi><mfenced><msub><mi>t</mi><mrow><mi>i</mi><mo>+</mo><mn>1</mn></mrow></msub><mi>&omega;</mi></mfenced>
   <mo>-</mo>
   <mi>B</mi><mfenced><msub><mi>t</mi><mi>i</mi></msub><mi>&omega;</mi></mfenced></mrow>
</math>. The last expression results from the independence conditions.</p>

<p>Now let us consider a sequence of step functions
<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow><msubsup><mi>G</mi><mi>i</mi><mi>n</mi></msubsup><mfenced><mi>&omega;</mi></mfenced></mrow></math>,
<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow><msubsup><mi>F</mi><mi>i</mi><mi>n</mi></msubsup><mfenced><mi>&omega;</mi></mfenced></mrow></math>
converging to the random function 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced></math>
in the sense that</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<munder><mo>&int;</mo><mi>T</mi></munder>
<mi>E</mi><mfenced open="{" close="}"><mrow><mo>|</mo>
 <mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
 <mo>-</mo>
 <msubsup><mi>G</mi><mi>i</mi><mi>n</mi></msubsup><mfenced><mi>&omega;</mi></mfenced>
<mo>|</mo></mrow></mfenced>
<mi>d</mi><mi>t</mi>
<mo>&rarr;</mo>
<mn>0</mn>
<mo rspace="2em">,</mo>
<mi>n</mi><mo>&rarr;</mo><mo>&infin;</mo>
</math>
</td>
<td class="equnum">
(7.8)
</td>
</tr></table>

<p>Finally the following theorem is true:</p>

<p>Let the random functions
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced></math>
and
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>F</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced></math>
satisfy the condition that they are independent of 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mfenced open="{" close="}"><mrow>
<mi>B</mi><mfenced><msub><mi>t</mi><mi>k</mi></msub><mi>&omega;</mi></mfenced>
<mo>-</mo>
<mi>B</mi><mfenced><msub><mi>t</mi><mi>l</mi></msub><mi>&omega;</mi></mfenced>
</mrow></mfenced>
<mo>:</mo>
<mi>t</mi>
<mo>&le;</mo>
<msub><mi>t</mi><mi>l</mi></msub>
<mo>&le;</mo>
<msub><mi>t</mi><mi>k</mi></msub>
<mo>&le;</mo>
<mi>b</mi></math>, for all 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>t</mi><mo>&in;</mo><mi>T</mi></math>
and the conditions</p>

<table class="equ"><tr>
<td class="equ2">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<munder><mo>&int;</mo><mi>T</mi></munder>
<mi>E</mi><mfenced open="{" close="}"><msup><mrow><mo>|</mo>
 <mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mo>|</mo></mrow><mn>2</mn></msup></mfenced>
<mi>d</mi><mi>t</mi>
<mo>&lt;</mo>
<mi>&infin;</mi>
</math>
</td>
<td class="equ2">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<munder><mo>&int;</mo><mi>T</mi></munder>
<mi>E</mi><mfenced open="{" close="}"><msup><mrow><mo>|</mo>
 <mi>F</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mo>|</mo></mrow><mn>2</mn></msup></mfenced>
<mi>d</mi><mi>t</mi>
<mo>&lt;</mo>
<mo>&infin;</mo>
</math>
</td>
</tr></table>

<p>Then their It&ocirc; integrals are well defined as</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<munder><mo>&int;</mo><mi>T</mi></munder>
<mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mo>=</mo>
<munder><mi>l.i.m.</mi><mrow><mi>n</mi><mo>&rarr;</mo><mo>&infin;</mo></mrow></munder>
<munder><mo>&int;</mo><mi>T</mi></munder>
<msubsup><mi>G</mi><mi>t</mi><mi>n</mi></msubsup>
<mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
</math>
</td>
<td class="equnum">
(7.9)
</td>
</tr></table>


<p>with basic properties</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mi>E</mi><mfenced open="{" close="}"><mrow>
 <munder><mo>&int;</mo><mi>T</mi></munder>
 <mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
 <mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
</mrow></mfenced>
<mo>=</mo>
<mn>0</mn><mo>,</mo>
</math>
</td>
</tr>
<tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mi>E</mi><mfenced open="{" close="}"><mrow>
 <munder><mo>&int;</mo><mi>T</mi></munder>
 <mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
 <mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
 <munder><mo>&int;</mo><mi>T</mi></munder>
 <mi>F</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
 <mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
</mrow></mfenced>
<mrow><mo>=</mo>
<msup><mi>&sigma;</mi><mn>2</mn></msup>
<munder><mo>&int;</mo><mi>T</mi></munder>
<mi>E</mi><mfenced open="{" close="}"><mrow>
 <mi>G</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
 <mi>F</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
</mrow></mfenced>
<mi>d</mi><mi>t</mi></mrow><mo>.</mo>
</math>
</td>
</tr></table>


<p>Let us consider the following linear stochastic differential
equation with constant coefficients</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<mi>d</mi><msub><mi>A</mi><mn>0</mn></msub><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mo>-</mo>
<mi>&eta;</mi><msub><mi>A</mi><mn>0</mn></msub><mfenced><mi>t</mi><mi>&omega;</mi></mfenced><mi>d</mi><mi>t</mi>
<mo>=</mo>
<mi>&alpha;</mi><mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
</math>
</td>
<td class="equnum">
(7.10)
</td>
</tr></table>


<p>where <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>&eta;</mi></math> and 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>&alpha;</mi></math>
are constants and
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>d</mi><mi>B</mi><mfenced><mi>t</mi><mi>&omega;</mi></mfenced></math>
is the differential of the Brownian motion process with variance parameter 
<math xmlns="http://www.w3.org/1998/Math/MathML"><msup><mi>&sigma;</mi><mn>2</mn></msup></math>
equal to one. This is a first order differential equation with an additive noise.
The general solution of the homogeneous differential equation is</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<msub><mi>A</mi><mn>0</mn></msub><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mo>=</mo>
<msub><mi>A</mi><mn>0</mn></msub><mfenced><mn>0</mn><mi>&omega;</mi></mfenced>
<msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mi>t</mi></mrow></msup>
</math>
</td>
<td class="equnum">
(7.11)
</td>
</tr></table>

<p>where <math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>A</mi><mn>0</mn></msub><mfenced><mn>0</mn><mi>&omega;</mi></mfenced></math>
is the random initial value for 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>t</mi><mo>=</mo><mn>0</mn></math>.
Addition of a particular solution of the non homogeneous equation
yields the general solution</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<msub><mi>A</mi><mn>0</mn></msub><mfenced><mi>t</mi><mi>&omega;</mi></mfenced>
<mo>=</mo>
<msub><mi>A</mi><mn>0</mn></msub><mfenced><mn>0</mn><mi>&omega;</mi></mfenced>
<msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mi>t</mi></mrow></msup>
<mo>+</mo>
<mi>&alpha;</mi>
<munderover><mo>&int;</mo><mn>0</mn><mi>t</mi></munderover>
<msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mi>u</mi></mrow></msup>
<mi>d</mi><mi>B</mi><mfenced><mi>u</mi></mfenced>
</math>
</td>
<td class="equnum">
(7.12)
</td>
</tr></table>

<p>where the integral on the right side is an It&ocirc; (Wiener)
integral. Let us assume that the initial value is normally distributed
with a mean value equal to zero. The mean value of the It&ocirc;
integral is zero. Thus the mean value of the random function
<math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>A</mi><mn>0</mn></msub><mfenced><mi>t</mi><mi>&omega;</mi></mfenced></math>
is zero. The correlation (covariance) function is</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
 <msub><mi>C</mi><mrow><msub><mi>A</mi><mn>0</mn></msub><msub><mi>A</mi><mn>0</mn></msub></mrow></msub>
 <mfenced><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></mfenced>
 <mo>=</mo>
 <mi>E</mi><mfenced open="{" close="}"><mrow>
  <mfenced open="[" close="]"><mrow>
   <msub><mi>A</mi><mn>0</mn></msub><mfenced><msub><mi>t</mi><mn>2</mn></msub></mfenced>
   <mo>-</mo>
   <mi>m</mi><mfenced><msub><mi>t</mi><mn>2</mn></msub></mfenced>
  </mrow></mfenced>
  <mfenced open="[" close="]"><mrow>
   <msub><mi>A</mi><mn>0</mn></msub><mfenced><msub><mi>t</mi><mn>1</mn></msub></mfenced>
   <mo>-</mo>
   <mi>m</mi><mfenced><msub><mi>t</mi><mn>1</mn></msub></mfenced>
  </mrow></mfenced>
 </mrow></mfenced>
 <mo>=</mo>
 <mrow><msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mfenced><mrow>
  <msub><mi>t</mi><mn>2</mn></msub>
  <mo>-</mo>
  <msub><mi>t</mi><mn>1</mn></msub>
 </mrow></mfenced></mrow></msup>
 <mi>E</mi><msup><mfenced open="[" close="]"><mrow>
  <msub><mi>A</mi><mn>0</mn></msub><mfenced><mn>0</mn></mfenced>
 </mrow></mfenced><mn>2</mn></msup>
 </mrow>
 <mrow><mo>+</mo>
 <msup><mi>&alpha;</mi><mn>2</mn></msup>
 <mi>E</mi><mfenced open="{" close="}"><mrow>
  <munderover><mo>&int;</mo><mn>0</mn><msub><mi>t</mi><mn>2</mn></msub></munderover>
  <msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mfenced><mrow>
   <msub><mi>t</mi><mn>2</mn></msub>
   <mo>-</mo><mi>u</mi>
  </mrow></mfenced></mrow></msup>
  <mi>d</mi><mi>B</mi><mfenced><mi>u</mi></mfenced>
  <munderover><mo>&int;</mo><mn>0</mn><msub><mi>t</mi><mn>1</mn></msub></munderover>
  <msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mfenced><mrow>
   <msub><mi>t</mi><mn>1</mn></msub>
   <mo>-</mo><mi>&nu;</mi>
  </mrow></mfenced></mrow></msup>
  <mi>d</mi><mi>B</mi><mfenced><mi>&nu;</mi></mfenced>
 </mrow></mfenced></mrow>
</math>
</td>
<td class="equnum">
(7.13)
</td>
</tr></table>

<p>From the basic formula for the It&ocirc; integrals it follows</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
 <mi>C</mi><mfenced><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></mfenced>
 <mo>=</mo>
 <mi>C</mi><mfenced><mn>0</mn></mfenced>
 <msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mfenced><mrow>
  <msub><mi>t</mi><mn>1</mn></msub>
  <mo>+</mo>
  <msub><mi>t</mi><mn>2</mn></msub>
 </mrow></mfenced></mrow></msup>
 <mo>+</mo>
 <msup><mi>&alpha;</mi><mn>2</mn></msup>
 <msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mfenced><mrow>
  <msub><mi>t</mi><mn>1</mn></msub>
  <mo>+</mo>
  <msub><mi>t</mi><mn>2</mn></msub>
 </mrow></mfenced></mrow></msup>
 <munderover><mo>&int;</mo><mn>0</mn><msub><mi>t</mi><mn>1</mn></msub></munderover>
 <msup><mi>e</mi><mrow><mn>2</mn><mi>&eta;</mi><mi>u</mi></mrow></msup>
 <mi>d</mi><mi>u</mi><mo>.</mo>
</math>
</td>
<td class="equnum">
(7.14)
</td>
</tr></table>

<p>Upon integration it follows </p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
 <mi>C</mi><mfenced><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></mfenced>
 <mo>=</mo>
 <mfenced open="[" close="]"><mrow>
  <mi>C</mi><mfenced><mn>0</mn></mfenced>
  <mo>-</mo><mi>P</mi>
 </mrow></mfenced>
 <msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mfenced><mrow>
  <msub><mi>t</mi><mn>1</mn></msub>
  <mo>+</mo>
  <msub><mi>t</mi><mn>2</mn></msub>
 </mrow></mfenced></mrow></msup>
 <mo>+</mo>
 <mi>P</mi>
 <msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mfenced><mrow>
  <msub><mi>t</mi><mn>2</mn></msub>
  <mo>-</mo>
  <msub><mi>t</mi><mn>1</mn></msub>
 </mrow></mfenced></mrow></msup><mo>,</mo>
</math>
</td>
<td class="equnum">
(7.15)
</td>
</tr></table>

<p>where 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>P</mi><mo>=</mo><msup><mi>&alpha;</mi><mn>2</mn></msup><mo>/</mo><mn>2</mn><mi>&eta;</mi></math>.</p>

<p>When <math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>t</mi><mn>1</mn></msub></math>, 
<math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>t</mi><mn>2</mn></msub></math>
tends to infinity in such a way that 
<math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>t</mi><mn>2</mn></msub><mo>-</mo><msub><mi>t</mi><mn>1</mn></msub><mo>=</mo><mi>&tau;</mi></math>
is constant, then in the limit</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
 <mi>C</mi><mfenced><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></mfenced>
 <mo>&rarr;</mo>
 <mi>P</mi>
 <msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mfenced><mrow>
  <msub><mi>t</mi><mn>2</mn></msub>
  <mo>-</mo>
  <msub><mi>t</mi><mn>1</mn></msub>
 </mrow></mfenced></mrow></msup>
 <mo>=</mo>
 <mi>P</mi>
 <msup><mi>e</mi><mrow><mo>-</mo><mi>&eta;</mi><mi>&tau;</mi></mrow></msup>
</math>
</td>
<td class="equnum">
(7.16)
</td>
</tr></table>

<p>The process is asymptotically stationary in the wide sense and
because it is Gaussian it is strictly asymptotically too.
If the variance of the initial condition
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>C</mi><mfenced><mn>0</mn></mfenced></math>
is equal to <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>P</mi></math>
the process is strictly stationary.</p>

<p>In general the process is not stationary. The variance of the process is</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
 <mi>P</mi><mfenced><mi>t</mi></mfenced>
 <mo>=</mo>
 <mi>C</mi><mfenced><mi>t</mi><mi>t</mi></mfenced>
 <mo>=</mo>
 <mfenced open="[" close="]"><mrow>
  <mi>C</mi><mfenced><mn>0</mn></mfenced>
  <mo>-</mo><mi>P</mi>
 </mrow></mfenced>
 <msup><mi>e</mi><mrow><mo>-</mo><mn>2</mn><mi>&eta;</mi><mi>t</mi></mrow></msup>
 <mo>+</mo>
 <mi>P</mi>
</math>
</td>
<td class="equnum">
(7.17)
</td>
</tr></table>

<p>The variance changes from 
<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>C</mi><mfenced><mn>0</mn></mfenced></math>
at the time <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>t</mi><mo>=</mo><mn>0</mn></math>
to the asymptotic value <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>P</mi></math>
when <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>t</mi></math>
tends to infinity. The derivative with respect to time is</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
 <mfrac><mrow><mi>d</mi><mi>P</mi><mfenced><mi>t</mi></mfenced></mrow><mrow><mi>d</mi><mi>t</mi></mrow></mfrac>
 <mo>=</mo>
 <mo>-</mo><mn>2</mn><mi>&eta;</mi>
 <mfenced open="[" close="]"><mrow>
  <mi>C</mi><mfenced><mn>0</mn></mfenced>
  <mo>-</mo><mi>P</mi>
 </mrow></mfenced>
 <msup><mi>e</mi><mrow><mo>-</mo><mn>2</mn><mi>&eta;</mi><mi>t</mi></mrow></msup>
</math>
</td>
<td class="equnum">
(7.18)
</td>
</tr></table>

<p>It is easy to show that the differential equation for the evolution of the variance in our example is</p>

<table class="equ"><tr>
<td class="equ">
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
 <mfrac>
  <mrow><mi>d</mi><mi>P</mi><mfenced><mi>t</mi></mfenced></mrow>
  <mrow><mi>d</mi><mi>t</mi></mrow>
 </mfrac>
 <mo>=</mo>
 <mo>-</mo><mn>2</mn><mi>&eta;</mi><mi>P</mi><mfenced><mi>t</mi></mfenced>
 <mo>+</mo>
 <msup><mi>&alpha;</mi><mn>2</mn></msup>
</math>
</td>
<td class="equnum">
(7.19)
</td>
</tr></table>


</body>
</html>


