<?xml version="1.0" encoding="iso-8859-1" ?> 
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN" 
"http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd" > 
<?xml-stylesheet type="text/css" href="transformations.css"?> 
<html  
xmlns="http://www.w3.org/1999/xhtml"  
><head><title></title> 
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> 
<meta name="generator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" /> 
<meta name="originator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" /> 
<!-- xhtml,mozilla --> 
<meta name="src" content="transformations.tex" /> 
<meta name="date" content="2010-11-09 07:40:00" /> 
<link rel="stylesheet" type="text/css" href="transformations.css" /> 
</head><body 
>
<!--l. 8--><p class="noindent" >Steven R. Dunbar <br 
class="newline" />Department of Mathematics <br 
class="newline" />203 Avery Hall <br 
class="newline" />University of Nebraska-Lincoln <br 
class="newline" />Lincoln, NE 68588-0130 <br 
class="newline" /><span 
class="cmtt-12">http://www.math.unl.edu </span><br 
class="newline" />Voice: 402-472-3731 <br 
class="newline" />Fax: 402-472-8466                  </p>
<div class="center" 
>
<!--l. 1--><p class="noindent" >
</p><!--l. 7--><p class="noindent" > <span 
class="cmbx-12x-x-144">Math 489/Math 889</span><br />
<span 
class="cmbx-12x-x-144">Stochastic Processes and</span><br />
<span 
class="cmbx-12x-x-144">Advanced Mathematical Finance</span><br />
<span 
class="cmbx-12x-x-144">Dunbar, Fall 2010</span>
</p></div>
<!--l. 14--><p class="noindent" >__________________________________________________________________________
</p>
<div class="center" 
>
<!--l. 16--><p class="noindent" >
</p><!--l. 16--><p class="noindent" ><span 
class="cmr-17">Transformations of the Wiener Process</span> </p></div>
<!--l. 18--><p class="indent" >   _______________________________________________________________________
</p><!--l. 1--><p class="indent" >   Note: To read these pages properly, you will need the latest version of the
Mozilla Firefox browser, with the STIX fonts installed. In a few sections, you will
also need the latest Java plug-in, and JavaScript must be enabled. If you use a
browser other than Firefox, you should be able to access the pages and run the
applets. However, mathematical expressions will probably not display
correctly. Firefox is currently the only browser that supports all of the open
standards.
</p><!--l. 22--><p class="indent" >   <img 
src="../../../../CommonInformation/Lessons/rating.png" alt="Rating"  
 />
                                                                          

                                                                          
</p>
   <h3 class="likesectionHead"><a 
 id="x1-1000"></a>Rating</h3>
<!--l. 26--><p class="noindent" >Mathematically Mature: may contain mathematics beyond calculus with
proofs.
</p><!--l. 29--><p class="indent" >   _______________________________________________________________________________________________
</p><!--l. 31--><p class="indent" >   <img 
src="../../../../CommonInformation/Lessons/question_mark.png" alt="QuestionofDay"  
 />
</p>
   <h3 class="likesectionHead"><a 
 id="x1-2000"></a>Question of the Day</h3>
<!--l. 32--><p class="noindent" >Suppose you know the graph <!--l. 32--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>y</mi> <mo 
class="MathClass-rel">=</mo> <mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>x</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
of the function <!--l. 33--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>x</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>.
What is the effect on the graph of the transformation
<!--l. 34--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>x</mi> <mo 
class="MathClass-bin">+</mo> <mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>?
What is the effect on the graph of the transformation
<!--l. 36--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>x</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>? Consider
the function <!--l. 36--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>x</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo><mo class="qopname"> sin</mo><!--nolimits--><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>x</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
as an example.
</p><!--l. 39--><p class="indent" >   _______________________________________________________________________________________________
</p><!--l. 41--><p class="indent" >   <img 
src="../../../../CommonInformation/Lessons/keyconcepts.png" alt="Key Concepts"  
 />
</p>
   <h3 class="likesectionHead"><a 
 id="x1-3000"></a>Key Concepts</h3>
<!--l. 44--><p class="noindent" >
      </p><ol  class="enumerate1" >
      <li 
  class="enumerate" id="x1-3002x1">Three transformations of the Wiener process produce another Wiener
      process.  The  transformations  are  scaling,  inversion  and  translation.
      These results prove especially helpful when studying the properties of
      the sample paths of Brownian motion.</li></ol>
<!--l. 57--><p class="noindent" >__________________________________________________________________________
</p><!--l. 59--><p class="indent" >   <img 
src="../../../../CommonInformation/Lessons/vocabulary.png" alt="Vocabulary"  
 />
                                                                          

                                                                          
</p>
   <h3 class="likesectionHead"><a 
 id="x1-4000"></a>Vocabulary</h3>
<!--l. 61--><p class="noindent" >
      </p><ol  class="enumerate1" >
      <li 
  class="enumerate" id="x1-4002x1"><span 
class="cmbx-12">Scaling</span>, also called <span 
class="cmbx-12">re-scaling</span>, is the transformation of <!--l. 64--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
      to <!--l. 64--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>b</mi><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>a</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>,
      which expands or contracts the time axis (as <!--l. 65--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>a</mi> <mo 
class="MathClass-rel">&#x003E;</mo> <mn>1</mn></mrow></math>
      or <!--l. 65--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>a</mi> <mo 
class="MathClass-rel">&#x003C;</mo> <mn>1</mn></mrow></math>)
      and expands or contracts the dependent variable scale (as <!--l. 66--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>b</mi> <mo 
class="MathClass-rel">&#x003E;</mo> <mn>1</mn></mrow></math>
      or <!--l. 67--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>b</mi> <mo 
class="MathClass-rel">&#x003C;</mo> <mn>1</mn></mrow></math>).
      </li>
      <li 
  class="enumerate" id="x1-4004x2"><span 
class="cmbx-12">Translation</span>, also called <span 
class="cmbx-12">shifting </span>is the transformation of <!--l. 71--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
      to <!--l. 71--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi> <mo 
class="MathClass-bin">+</mo> <mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
      or sometimes <!--l. 72--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
      to <!--l. 72--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi> <mo 
class="MathClass-bin">+</mo> <mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>.
      </li>
      <li 
  class="enumerate" id="x1-4006x3"><span 
class="cmbx-12">Inversion </span>is the transformation of <!--l. 75--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
      to <!--l. 75--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>f</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>.
      It &#x201C;flips&#x201D; the independent variable axis about <!--l. 76--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mn>1</mn></mrow></math>,
      so that the interval <!--l. 77--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn><mo 
class="MathClass-punc">,</mo> <mn>1</mn></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
      is &#x201C;inverted&#x201D; to the interval <!--l. 78--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-punc">,</mo><mi 
>&#x221E;</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>.</li></ol>
<!--l. 82--><p class="noindent" >__________________________________________________________________________
</p><!--l. 84--><p class="indent" >   <img 
src="../../../../CommonInformation/Lessons/mathematicalideas.png" alt="Mathematical Ideas"  
 />
</p>
   <h3 class="likesectionHead"><a 
 id="x1-5000"></a>Mathematical Ideas</h3>
<!--l. 87--><p class="noindent" >
</p>
   <h4 class="likesubsectionHead"><a 
 id="x1-6000"></a>Transformations of the Wiener Process</h4>
                                                                          

                                                                          
<!--l. 89--><p class="noindent" >A set of transformations of the Wiener process produce the Wiener process again.
Since these transformations result in the Wiener process, each tells us something
about the &#x201C;shape&#x201D; and &#x201C;characteristics&#x201D; of the Wiener process. These results
prove especially helpful when studying the properties of the Wiener process
sample paths. The first of these transformations is a time homogeneity which
says that the Wiener process can be re-started anywhere. The second
says that the Wiener process can be rescaled in time and space. The
third is an inversion. Roughly, each of these says the Wiener process is
self-similar in various ways. See the comments after the proof for more
detail.
</p>
   <div class="newtheorem">
<!--l. 104--><p class="noindent" ><span class="head">
<a 
 id="x1-6001r1"></a>
<span 
class="cmti-12">Theorem </span>1<span 
class="cmti-12">.</span>  </span>
      </p><ol  class="enumerate1" >
      <li 
  class="enumerate" id="x1-6003x1"><!--l. 107--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;shift</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi> <mo 
class="MathClass-bin">+</mo> <mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>,
      for fixed <!--l. 107--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>h</mi> <mo 
class="MathClass-rel">&#x003E;</mo> <mn>0</mn></mrow></math>.
      </li>
      <li 
  class="enumerate" id="x1-6005x2"><!--l. 110--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>c</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>,
      for fixed <!--l. 110--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>c</mi> <mo 
class="MathClass-rel">&#x003E;</mo> <mn>0</mn></mrow></math></li></ol>
<!--l. 112--><p class="noindent" >are each a version of the Standard Wiener Process.
</p>
   </div>
<!--l. 115--><p class="indent" >
</p>
   <div class="proof">
<!--l. 116--><p class="indent" >   <span class="head">
<span 
class="cmti-12">Proof.</span> </span>We have to systematically check each of the defining properties of the
Wiener process in turn for each of the transformed processes.
                                                                          

                                                                          
      </p><ol  class="enumerate1" >
      <li 
  class="enumerate" id="x1-6007x1">
<div class="math-display"><!--l. 120--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
                      <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;shift</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi> <mo 
class="MathClass-bin">+</mo> <mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow>
</mrow></math></div>
      <!--l. 122--><p class="nopar" >
           </p><ol  class="enumerate2" >
           <li 
  class="enumerate" id="x1-6009x1">The increment
<div class="math-display"><!--l. 126--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
><msub><mrow 
>
<mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;shift</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">+</mo><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-bin">&#x2212;</mo><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;shift</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mrow ><mo 
class="MathClass-open">[</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">+</mo><mi 
>s</mi><mo 
class="MathClass-bin">+</mo><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-bin">&#x2212;</mo><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">]</mo></mrow><mo 
class="MathClass-bin">&#x2212;</mo><mrow ><mo 
class="MathClass-open">[</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-bin">+</mo><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-bin">&#x2212;</mo><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">]</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">+</mo><mi 
>s</mi><mo 
class="MathClass-bin">+</mo><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-bin">&#x2212;</mo><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-bin">+</mo><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow>
</mrow></math></div>
           <!--l. 129--><p class="nopar" > which is by definition normally distributed with mean <!--l. 130--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mn>0</mn></mrow></math>
           and variance <!--l. 130--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>t</mi></mrow></math>.
           </p></li>
           <li 
  class="enumerate" id="x1-6011x2">The increment
                                                                          

                                                                          
<div class="math-display"><!--l. 133--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
            <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;shift</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>4</mn></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;shift</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>4</mn></mrow></msub 
> <mo 
class="MathClass-bin">+</mo> <mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
> <mo 
class="MathClass-bin">+</mo> <mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow>
</mrow></math></div>
           <!--l. 136--><p class="nopar" > is independent from
</p>
<div class="math-display"><!--l. 137--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
            <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
> <mo 
class="MathClass-bin">+</mo> <mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
> <mo 
class="MathClass-bin">+</mo> <mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;shift</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;shift</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">,</mo>
</mrow></math></div>
           <!--l. 140--><p class="nopar" > by the property of independence of disjoint increments of <!--l. 141--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>.
           </p></li>
           <li 
  class="enumerate" id="x1-6013x3">
                                                                          

                                                                          
<div class="math-display"><!--l. 143--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
                   <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;shift</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn> <mo 
class="MathClass-bin">+</mo> <mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>h</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mn>0</mn><mo 
class="MathClass-punc">.</mo>
</mrow></math></div>
           <!--l. 145--><p class="nopar" >
           </p></li>
           <li 
  class="enumerate" id="x1-6015x4">As the composition and difference of continuous functions, <!--l. 148--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;shift</mtext><!--/mstyle--></mrow></msub 
></mrow></math>
           is continuous.</li></ol>
      </li>
      <li 
  class="enumerate" id="x1-6017x2">
<div class="math-display"><!--l. 151--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
                          <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>c</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow>
</mrow></math></div>
      <!--l. 153--><p class="nopar" >
           </p><ol  class="enumerate2" >
           <li 
  class="enumerate" id="x1-6019x1">The increment
                                                                          

                                                                          
<div class="math-display"><!--l. 157--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
<msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>c</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>c</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>c</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow>
</mrow></math></div>
           <!--l. 160--><p class="nopar" > is normally distributed because it is a multiple of a normally
           distributed random variable. Since the increment <!--l. 162--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
           has mean zero, then
</p>
<div class="math-display"><!--l. 164--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
             <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>c</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow>
</mrow></math></div>
           <!--l. 167--><p class="nopar" > must have mean zero. The variance is
                                                                          

                                                                          
           </p><!--tex4ht:inline--><!--l. 173--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
     <mtr><mtd 
columnalign="right" class="align-odd"><mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></mfenced></mtd>     <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>c</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>c</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></mfenced><mspace width="2em"/></mtd>     <mtd 
columnalign="right" class="align-label"></mtd>     <mtd 
class="align-label">
     <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                            <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
><mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></mfenced><mspace width="2em"/></mtd>      <mtd 
columnalign="right" class="align-label"></mtd>     <mtd 
class="align-label">
     <mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                            <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>s</mi><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>t</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>s</mi><mo 
class="MathClass-punc">.</mo><mspace width="2em"/></mtd>          <mtd 
columnalign="right" class="align-label"></mtd>     <mtd 
class="align-label">
<mspace width="2em"/></mtd></mtr></mtable></math>
           </li>
           <li 
  class="enumerate" id="x1-6021x2">Note that if <!--l. 175--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
> <mo 
class="MathClass-rel">&#x003C;</mo> <msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
> <mo 
class="MathClass-rel">&#x2264;</mo> <msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
> <mo 
class="MathClass-rel">&#x003C;</mo> <msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>4</mn></mrow></msub 
></mrow></math>,
           then <!--l. 175--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
> <mo 
class="MathClass-rel">&#x003C;</mo> <msub><mrow 
><mi 
>t</mi></mrow><mrow 
>
<mn>2</mn></mrow></msub 
><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
> <mo 
class="MathClass-rel">&#x2264;</mo> <msub><mrow 
><mi 
>t</mi></mrow><mrow 
>
<mn>3</mn></mrow></msub 
><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
> <mo 
class="MathClass-rel">&#x003C;</mo> <msub><mrow 
><mi 
>t</mi></mrow><mrow 
>
<mn>4</mn></mrow></msub 
><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></math>,
           and the corresponding increments
           <!--l. 177--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>4</mn></mrow></msub 
><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
>
<mn>3</mn></mrow></msub 
><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math> and
           <!--l. 178--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
>
<mn>1</mn></mrow></msub 
><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
           are independent. Then the multiples of each by
           <!--l. 179--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>c</mi></mrow></math> are independent
           and so <!--l. 179--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>4</mn></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>3</mn></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
           and <!--l. 180--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>t</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
           are independent.
           </li>
           <li 
  class="enumerate" id="x1-6023x3"><!--l. 184--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>c</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn><mo 
class="MathClass-bin">&#x2215;</mo><msup><mrow 
><mi 
>c</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>c</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mn>0</mn></mrow></math>.
           </li>
           <li 
  class="enumerate" id="x1-6025x4">As the composition of continuous functions,
           <!--l. 186--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;scale</mtext><!--/mstyle--></mrow></msub 
></mrow></math>
           is continuous.</li></ol>
      </li></ol>
                                                                         &#x25A1;
   </div>
   <div class="newtheorem">
<!--l. 193--><p class="noindent" ><span class="head">
<a 
 id="x1-6026r1"></a>
<span 
class="cmbx-12">Theorem 1.</span>  </span><span 
class="cmti-12">Suppose </span><!--l. 194--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
                                                                          

                                                                          
<span 
class="cmti-12">is a Standard Wiener Process. Then the transformed processes </span><!--l. 196--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>t</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
<span 
class="cmti-12">for </span><!--l. 196--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>t</mi> <mo 
class="MathClass-rel">&#x003E;</mo> <mn>0</mn></mrow></math><span 
class="cmti-12">,</span>
<!--l. 196--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mn>0</mn></mrow></math>
<span 
class="cmti-12">for </span><!--l. 197--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>t</mi> <mo 
class="MathClass-rel">=</mo> <mn>0</mn></mrow></math>
<span 
class="cmti-12">is a version of the Standard Wiener Process.</span>
</p>
   </div>
<!--l. 201--><p class="indent" >
</p>
   <div class="proof">
<!--l. 202--><p class="indent" >   <span class="head">
<span 
class="cmti-12">Proof.</span> </span>To show that
</p>
   <div class="math-display"><!--l. 203--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
                                    <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>t</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow>
</mrow></math></div>
<!--l. 205--><p class="nopar" > is a Wiener process by the four definitional properties requires another fact which
is outside the scope of the text. The fact is that any Gaussian process
<!--l. 207--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>X</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math> with
mean <!--l. 207--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mn>0</mn></mrow></math>
and <!--l. 208--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mo class="qopname">Cov</mo><!--nolimits--> <mfenced separators="" 
open="["  close="]" ><mrow><mi 
>X</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">,</mo><mi 
>X</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></mfenced> <mo 
class="MathClass-rel">=</mo><mo class="qopname"> min</mo><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-punc">,</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
must be the Wiener process. See the references and outside links for more
information. Using this information, we present a partial proof:
      </p><ol  class="enumerate1" >
      <li 
  class="enumerate" id="x1-6028x1">
                                                                          

                                                                          
<div class="math-display"><!--l. 213--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
                <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mi 
>t</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>s</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow>
</mrow></math></div>
      <!--l. 216--><p class="nopar" > which will be the difference of normally distributed random variables each with
      mean <!--l. 217--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mn>0</mn></mrow></math>,
      so the difference will be normal with mean
      <!--l. 218--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mn>0</mn></mrow></math>.
      It remains to check that the normal random variable has the correct
      variance.
      </p><!--tex4ht:inline--><!--l. 233--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mtable 
columnalign="left" class="align-star">
<mtr><mtd 
columnalign="right" class="align-odd"><mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></mfenced></mtd><mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>t</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></mfenced><mspace width="2em"/></mtd>                                                                               <mtd 
columnalign="right" class="align-label"></mtd><mtd 
class="align-label">
<mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                          <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>s</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <mi 
>s</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>t</mi><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></mfenced><mspace width="2em"/></mtd>                                           <mtd 
columnalign="right" class="align-label"></mtd><mtd 
class="align-label">
<mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                          <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msup><mrow 
><mi 
>s</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
><mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></mfenced> <mo 
class="MathClass-bin">+</mo> <mi 
>s</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></mfenced> <mo 
class="MathClass-bin">+</mo> <msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
><mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></mfenced><mspace width="2em"/></mtd><mtd 
columnalign="right" class="align-label"></mtd><mtd 
class="align-label">
<mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                          <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msup><mrow 
><mi 
>s</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
><mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></mfenced> <mo 
class="MathClass-bin">+</mo> <msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
><mi 
>E</mi> <mfenced separators="" 
open="["  close="]" ><mrow><msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
></mrow></mfenced><mspace width="2em"/></mtd>                                                 <mtd 
columnalign="right" class="align-label"></mtd><mtd 
class="align-label">
<mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                          <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <msup><mrow 
><mi 
>s</mi></mrow><mrow 
><mn>2</mn></mrow></msup 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>s</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <msup><mrow 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow><mrow 
><mn>2</mn></mrow></msup 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mspace width="2em"/></mtd>                                                                            <mtd 
columnalign="right" class="align-label"></mtd><mtd 
class="align-label">
<mspace width="2em"/></mtd></mtr><mtr><mtd 
columnalign="right" class="align-odd"></mtd>                          <mtd 
class="align-even"> <mo 
class="MathClass-rel">=</mo> <mi 
>t</mi> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>s</mi><mspace width="2em"/></mtd>                                                                                                   <mtd 
columnalign="right" class="align-label"></mtd><mtd 
class="align-label">
<mspace width="2em"/></mtd></mtr></mtable></math>
                                                                          

                                                                          
      <!--l. 234--><p class="noindent" >Note the use of independence of
      <!--l. 234--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math> from
      <!--l. 235--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">&#x2212;</mo> <mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
      at the third equality.
      </p></li>
      <li 
  class="enumerate" id="x1-6030x2">It seems to be hard to show the independence of increments
      directly. Instead rely on the fact that a Gaussian process with mean
      <!--l. 239--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mn>0</mn></mrow></math> and covariance
      function <!--l. 240--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mo class="qopname">min</mo><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-punc">,</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
      is a Wiener process, and thus prove it indirectly.
      <!--l. 243--><p class="noindent" >Note that
</p>
<div class="math-display"><!--l. 244--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
          <mo class="qopname">Cov</mo><!--nolimits--> <mfenced separators="" 
open="["  close="]" ><mrow><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">,</mo><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></mfenced> <mo 
class="MathClass-rel">=</mo> <mi 
>s</mi><mi 
>t</mi><mo class="qopname"> min</mo><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>s</mi><mo 
class="MathClass-punc">,</mo> <mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo><mo class="qopname"> min</mo><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-punc">,</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">.</mo>
</mrow></math></div>
      <!--l. 247--><p class="nopar" >
      </p></li>
      <li 
  class="enumerate" id="x1-6032x3">By definition, <!--l. 249--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>0</mn></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mn>0</mn></mrow></math>.
      </li>
      <li 
  class="enumerate" id="x1-6034x4">The argument that <!--l. 251--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><munder class="msub"><mrow 
><mo class="qopname">lim</mo> </mrow><mrow 
><mi 
>t</mi><mo 
class="MathClass-rel">&#x2192;</mo><mn>0</mn></mrow></munder 
><msub><mrow 
><mi 
>W</mi></mrow><mrow 
><!--mstyle 
class="text"--><mtext  >&#x00A0;inv</mtext><!--/mstyle--></mrow></msub 
><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo> <mn>0</mn></mrow></math> is
      equivalent to showing that <!--l. 252--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><munder class="msub"><mrow 
><mo class="qopname">lim</mo> </mrow><mrow 
><mi 
>t</mi><mo 
class="MathClass-rel">&#x2192;</mo><mi 
>&#x221E;</mi></mrow></munder 
><mi 
>W</mi><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi> <mo 
class="MathClass-rel">=</mo> <mn>0</mn></mrow></math>.
      To show this requires use of Kolmogorov&#x2019;s inequality for the Wiener
      process and clever use of the Borel-Cantelli lemma and is beyond
      the scope of this course. Use the translation property in the third
      statement of this theorem to prove continuity at every value of
      <!--l. 258--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>t</mi></mrow></math>.</li></ol>
                                                                          

                                                                          
                                                                         &#x25A1;
   </div>
<!--l. 263--><p class="indent" >   The following comments are adapted from <span 
class="cmti-12">Stochastic Calculus and Financial</span>
<span 
class="cmti-12">Applications  </span>by J. Michael Steele. Springer, New York, 2001, page 40. These laws
tie the Wiener process to three important groups of transformations on
<!--l. 266--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mrow ><mo 
class="MathClass-open">[</mo><mrow><mn>0</mn><mo 
class="MathClass-punc">,</mo><mi 
>&#x221E;</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>, and
a basic lesson from the theory of differential equations is that such symmetries can
be extremely useful. On a second level, the laws also capture the somewhat
magical fractal nature of the Wiener process. The scaling law tells us that if we
had even one-billionth of a second of a Wiener process path, we could
expand it to a billions years&#x2019; worth of an equally valid Wiener process
path! The translation symmetry is not quite so startling, it merely says
that Wiener process can be restarted anywhere, that is any part of a
Wiener process captures the same behavior as at the origin. The inversion
law is perhaps most impressive, it tells us that the first second of the
life of a Wiener process path is rich enough to capture the behavior of a
Wiener process path from the end of the first second until the end of
time.
</p><!--l. 324--><p class="noindent" >
</p>
   <h4 class="likesubsectionHead"><a 
 id="x1-7000"></a>Sources</h4>
<!--l. 326--><p class="noindent" >This section is adapted from: <span 
class="cmti-12">A First Course in Stochastic Processes </span>by S. Karlin,
and H. Taylor, Academic Press, 1975, pages 351&#x2013;353 and <span 
class="cmti-12">Financial Derivatives in</span>
<span 
class="cmti-12">Theory and Practice </span>by P. J. Hunt and J. E. Kennedy, John Wiley and Sons,
2000, pages 23&#x2013;24.
</p><!--l. 335--><p class="indent" >   _______________________________________________________________________________________________
</p><!--l. 337--><p class="indent" >   <img 
src="../../../../CommonInformation/Lessons/solveproblems.png" alt="Problems to Work"  
 />
</p>
   <h3 class="likesectionHead"><a 
 id="x1-8000"></a>Problems to Work for Understanding</h3>
<!--l. 339--><p class="noindent" >
      </p><ol  class="enumerate1" >
      <li 
  class="enumerate" id="x1-8002x1">Show that <!--l. 341--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mrow 
><mi 
>s</mi><mi 
>t</mi><mo class="qopname"> min</mo><mrow ><mo 
class="MathClass-open">(</mo><mrow><mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>s</mi><mo 
class="MathClass-punc">,</mo> <mn>1</mn><mo 
class="MathClass-bin">&#x2215;</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-rel">=</mo><mo class="qopname"> min</mo><mrow ><mo 
class="MathClass-open">(</mo><mrow><mi 
>s</mi><mo 
class="MathClass-punc">,</mo><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></mrow></math>
                                                                          

                                                                          
      </li>
      <li 
  class="enumerate" id="x1-8004x2"></li></ol>
<!--l. 345--><p class="noindent" >__________________________________________________________________________
</p><!--l. 347--><p class="indent" >   <img 
src="../../../../CommonInformation/Lessons/books.png" alt="Books"  
 />
</p>
   <h3 class="likesectionHead"><a 
 id="x1-9000"></a>Reading Suggestion:</h3>
<!--l. 364--><p class="noindent" >__________________________________________________________________________
</p><!--l. 366--><p class="indent" >   <img 
src="../../../../CommonInformation/Lessons/chainlink.png" alt="Links"  
 />
</p>
   <h3 class="likesectionHead"><a 
 id="x1-10000"></a>Outside Readings and Links:</h3>
<!--l. 368--><p class="noindent" >
      </p><ol  class="enumerate1" >
      <li 
  class="enumerate" id="x1-10002x1"><a 
href="http://www.staff.city.ac.uk/r.j.gerrard/courses/d103/d103_2.pdf" >Russell Gerrard, City University, London, Stochastic Modeling </a>. Notes
      for the MSc in Actuarial Science, 2003-2004. Contributed by S. Dunbar
      October 30, 2005.
      </li>
      <li 
  class="enumerate" id="x1-10004x2"><a 
href="http://stat-www.berkeley.edu/~peres/bmall.pdf" >Yuval Peres, University of California Berkeley, Department of Statistics
      </a>.  Notes  on  sample  paths  of  Brownian  Motion.  Contributed  by  S.
      Dunbar, October 30, 2005.</li></ol>
<!--l. 381--><p class="noindent" >__________________________________________________________________________
</p><!--l. 3--><p class="indent" >   <span 
class="cmr-10x-x-109">I check all the information on each page for correctness and typographical errors.</span>
<span 
class="cmr-10x-x-109">Nevertheless, some errors may occur and I would be grateful if you would alert me to</span>
<span 
class="cmr-10x-x-109">such errors. I make every reasonable effort to present current and accurate information</span>
<span 
class="cmr-10x-x-109">for public use, however I do not guarantee the accuracy or timeliness of information on</span>
<span 
class="cmr-10x-x-109">this website. Your use of the information from this website is strictly voluntary and at</span>
<span 
class="cmr-10x-x-109">your risk.</span>
</p><!--l. 12--><p class="indent" >   <span 
class="cmr-10x-x-109">I have checked the links to external sites for usefulness. Links to external websites</span>
<span 
class="cmr-10x-x-109">are provided as a convenience. I do not endorse, control, monitor, or guarantee the</span>
<span 
class="cmr-10x-x-109">information contained in any external website. I don&#x2019;t guarantee that the links are</span>
                                                                          

                                                                          
<span 
class="cmr-10x-x-109">active at all times. Use the links here with the same caution as you would all</span>
<span 
class="cmr-10x-x-109">information on the Internet. This website reflects the thoughts, interests and opinions of</span>
<span 
class="cmr-10x-x-109">its author. They do not explicitly represent official positions or policies of my</span>
<span 
class="cmr-10x-x-109">employer.</span>
</p><!--l. 22--><p class="indent" >   <span 
class="cmr-10x-x-109">Information on this website is subject to change without notice.</span>
</p><!--l. 2--><p class="indent" >   Steve Dunbar&#x2019;s Home Page, <span class="obeylines-h"><span class="verb"><span 
class="cmtt-12">http://www.math.unl.edu/~sdunbar1</span></span></span>
</p><!--l. 4--><p class="indent" >   Email to Steve Dunbar, <span class="obeylines-h"><span class="verb"><span 
class="cmtt-12">sdunbar1</span><span 
class="cmtt-12">&#x00A0;at</span><span 
class="cmtt-12">&#x00A0;unl</span><span 
class="cmtt-12">&#x00A0;dot</span><span 
class="cmtt-12">&#x00A0;edu</span></span></span>
</p><!--l. 385--><p class="indent" >   Last modified: Processed from <span class="LATEX">L<span class="A">A</span><span class="TEX">T<span 
class="E">E</span>X</span></span>&#x00A0;source on November 9, 2010
</p>
    
</body> 
</html> 

                                                                          



