<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article">
 <front>
  <journal-meta>
   <journal-id journal-id-type="publisher-id">
    tel
   </journal-id>
   <journal-title-group>
    <journal-title>
     Theoretical Economics Letters
    </journal-title>
   </journal-title-group>
   <issn pub-type="epub">
    2162-2078
   </issn>
   <issn publication-format="print">
    2162-2086
   </issn>
   <publisher>
    <publisher-name>
     Scientific Research Publishing
    </publisher-name>
   </publisher>
  </journal-meta>
  <article-meta>
   <article-id pub-id-type="doi">
    10.4236/tel.2024.146126
   </article-id>
   <article-id pub-id-type="publisher-id">
    tel-138394
   </article-id>
   <article-categories>
    <subj-group subj-group-type="heading">
     <subject>
      Articles
     </subject>
    </subj-group>
    <subj-group subj-group-type="Discipline-v2">
     <subject>
      Business 
     </subject>
     <subject>
       Economics
     </subject>
    </subj-group>
   </article-categories>
   <title-group>
    Ergodic Properties of Motion in Quantum Harmonic Oscillator and Finance
   </title-group>
   <contrib-group>
    <contrib contrib-type="author" xlink:type="simple">
     <name name-style="western">
      <surname>
       Zbigniew S.
      </surname>
      <given-names>
       Kowalski
      </given-names>
     </name>
    </contrib>
   </contrib-group> 
   <aff id="affnull">
    <addr-line>
     aFaculty of Pure and Applied Mathematics, Wroclaw University of Science and Technology, Wroclaw, Poland
    </addr-line> 
   </aff> 
   <pub-date pub-type="epub">
    <day>
     04
    </day> 
    <month>
     11
    </month>
    <year>
     2024
    </year>
   </pub-date> 
   <volume>
    14
   </volume> 
   <issue>
    06
   </issue>
   <fpage>
    2552
   </fpage>
   <lpage>
    2555
   </lpage>
   <history>
    <date date-type="received">
     <day>
      6,
     </day>
     <month>
      August
     </month>
     <year>
      2024
     </year>
    </date>
    <date date-type="published">
     <day>
      15,
     </day>
     <month>
      August
     </month>
     <year>
      2024
     </year> 
    </date> 
    <date date-type="accepted">
     <day>
      15,
     </day>
     <month>
      October
     </month>
     <year>
      2024
     </year> 
    </date>
   </history>
   <permissions>
    <copyright-statement>
     © Copyright 2014 by authors and Scientific Research Publishing Inc. 
    </copyright-statement>
    <copyright-year>
     2014
    </copyright-year>
    <license>
     <license-p>
      This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/
     </license-p>
    </license>
   </permissions>
   <abstract>
    We show the Bernoulli property of the skew product transformation describing particle motion in a one-dimensional quantum harmonic oscillator. Finally, the application of the binomial model for asset prices is presented.
   </abstract>
   <kwd-group> 
    <kwd>
     Quantum Harmonic Oscillator
    </kwd> 
    <kwd>
      Step Skew Product Transformation
    </kwd> 
    <kwd>
      Bernoulli Property
    </kwd> 
    <kwd>
      Asset Prices
    </kwd>
   </kwd-group>
  </article-meta>
 </front>
 <body>
  <sec id="s1">
   <title>1. Introduction</title>
   <p>A model of the motion of particles in a quantum harmonic oscillator on 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       ℝ 
     </mi> 
    </math> was proposed (<xref ref-type="bibr" rid="scirp.138394-7">
     Kowalski, 2022
    </xref>). This is a skew-product transformation 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          S 
        </mi> 
        <mo>
          ^ 
        </mo> 
       </mover> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math> where 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        p 
      </mi> 
      <mo>
        ∈ 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mfrac> 
         <mn>
           1 
         </mn> 
         <mn>
           2 
         </mn> 
        </mfrac> 
        <mo>
          , 
        </mo> 
        <mfrac> 
         <mn>
           1 
         </mn> 
         <mrow> 
          <mroot> 
           <mn>
             2 
           </mn> 
           <mn>
             3 
           </mn> 
          </mroot> 
         </mrow> 
        </mfrac> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        . 
      </mo> 
     </mrow> 
    </math> The aim of the work is to show that 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          S 
        </mi> 
        <mo>
          ^ 
        </mo> 
       </mover> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math> has the Bernoulli property. Therefore, we will prove the ergodicity of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          S 
        </mi> 
        <mo>
          ^ 
        </mo> 
       </mover> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math>. We consider its isomorphic version 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math> which is a random walk on 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        I 
      </mi> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         [ 
       </mo> 
       <mrow> 
        <mn>
          0 
        </mn> 
        <mo>
          , 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
       <mo>
         ] 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. Firstly, we will describe the probability space on which 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math> operates. It is a product space 
    <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          Ω 
        </mi> 
        <mo>
          × 
        </mo> 
        <mi>
          I 
        </mi> 
        <mo>
          , 
        </mo> 
        <mi>
          ℬ 
        </mi> 
        <mo>
          × 
        </mo> 
        <mi mathvariant="script">
          A 
        </mi> 
        <mo>
          , 
        </mo> 
        <msub> 
         <mi>
           μ 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
        <mo>
          × 
        </mo> 
        <msub> 
         <mi>
           μ 
         </mi> 
         <mi>
           F 
         </mi> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> where 
    <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       Ω 
     </mi> 
    </math> is the space 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mrow> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <mn>
            0 
          </mn> 
          <mo>
            , 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
       </mrow> 
       <mi>
         ℕ 
       </mi> 
      </msup> 
     </mrow> 
    </math>, 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        ℕ 
      </mi> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <mn>
          0 
        </mn> 
        <mo>
          , 
        </mo> 
        <mn>
          1 
        </mn> 
        <mo>
          , 
        </mo> 
        <mn>
          2 
        </mn> 
        <mo>
          , 
        </mo> 
        <mo>
          ⋯ 
        </mo> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math>, with the 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          p 
        </mi> 
        <mo>
          , 
        </mo> 
        <mn>
          1 
        </mn> 
        <mo>
          − 
        </mo> 
        <mi>
          p 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>-Bernoulli measure 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math> on 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          Ω 
        </mi> 
        <mo>
          , 
        </mo> 
        <mi>
          ℬ 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. Here 
    <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       ℬ 
     </mi> 
    </math> is the Borel product 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       σ 
     </mi> 
    </math>-algebra and 
    <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mi mathvariant="script">
       A 
     </mi> 
    </math> the Borel 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       σ 
     </mi> 
    </math>-algebra of subsets of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       ℝ 
     </mi> 
    </math>. The measure 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         F 
       </mi> 
      </msub> 
     </mrow> 
    </math> has a probability distribution 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       F 
     </mi> 
    </math> which is given by the mathematical description of the oscillator in (<xref ref-type="bibr" rid="scirp.138394-7">
     Kowalski, 2022
    </xref>) as follows. One-dimensional quantum harmonic oscillator 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       Ψ 
     </mi> 
    </math> satisfies the Schrödinger equation</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        i 
      </mi> 
      <mi>
        ℏ 
      </mi> 
      <mfrac> 
       <mrow> 
        <mo>
          ∂ 
        </mo> 
        <mi>
          Ψ 
        </mi> 
       </mrow> 
       <mrow> 
        <mo>
          ∂ 
        </mo> 
        <mi>
          t 
        </mi> 
       </mrow> 
      </mfrac> 
      <mo>
        = 
      </mo> 
      <mi>
        H 
      </mi> 
      <mi>
        Ψ 
      </mi> 
     </mrow> 
    </math></p>
   <p>where 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        H 
      </mi> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mn>
         2 
       </mn> 
      </mfrac> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msup> 
         <mi>
           P 
         </mi> 
         <mn>
           2 
         </mn> 
        </msup> 
        <mo>
          + 
        </mo> 
        <msup> 
         <mi>
           Q 
         </mi> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> is the Hamiltonian. Here 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        P 
      </mi> 
      <mo>
        = 
      </mo> 
      <mo>
        − 
      </mo> 
      <mi>
        i 
      </mi> 
      <mfrac> 
       <mtext>
         d 
       </mtext> 
       <mrow> 
        <mtext>
          d 
        </mtext> 
        <mi>
          x 
        </mi> 
       </mrow> 
      </mfrac> 
     </mrow> 
    </math> and 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       Q 
     </mi> 
    </math> is multi-plication by 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       x 
     </mi> 
    </math>. Let us consider the 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       n 
     </mi> 
    </math>-quantum state solution</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         Ψ 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          x 
        </mi> 
        <mo>
          , 
        </mo> 
        <mi>
          t 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mrow> 
        <msqrt> 
         <mrow> 
          <mi>
            n 
          </mi> 
          <mo>
            ! 
          </mo> 
          <msup> 
           <mn>
             2 
           </mn> 
           <mi>
             n 
           </mi> 
          </msup> 
          <msqrt> 
           <mi>
             π 
           </mi> 
          </msqrt> 
         </mrow> 
        </msqrt> 
       </mrow> 
      </mfrac> 
      <msub> 
       <mi>
         H 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mi>
        exp 
      </mi> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mfrac> 
         <mi>
           i 
         </mi> 
         <mrow> 
          <mn>
            2 
          </mn> 
          <mi>
            ℏ 
          </mi> 
         </mrow> 
        </mfrac> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            2 
          </mn> 
          <mi>
            n 
          </mi> 
          <mo>
            + 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mi>
          t 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mi>
        exp 
      </mi> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mfrac> 
         <mrow> 
          <msup> 
           <mi>
             x 
           </mi> 
           <mn>
             2 
           </mn> 
          </msup> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </mfrac> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        . 
      </mo> 
     </mrow> 
    </math></p>
   <p>for 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        n 
      </mi> 
      <mo>
        ≥ 
      </mo> 
      <mn>
        0 
      </mn> 
     </mrow> 
    </math>. Here 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         H 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
     </mrow> 
    </math> is 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       n 
     </mi> 
    </math>th Hermite polynomial i.e.</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         H 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msup> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mo>
            − 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mi>
         n 
       </mi> 
      </msup> 
      <msup> 
       <mtext>
         e 
       </mtext> 
       <mrow> 
        <msup> 
         <mi>
           x 
         </mi> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </msup> 
      <mfrac> 
       <mrow> 
        <msup> 
         <mtext>
           d 
         </mtext> 
         <mi>
           n 
         </mi> 
        </msup> 
       </mrow> 
       <mrow> 
        <mtext>
          d 
        </mtext> 
        <msup> 
         <mi>
           x 
         </mi> 
         <mi>
           n 
         </mi> 
        </msup> 
       </mrow> 
      </mfrac> 
      <msup> 
       <mtext>
         e 
       </mtext> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <msup> 
         <mi>
           x 
         </mi> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </msup> 
      <mo>
        . 
      </mo> 
     </mrow> 
    </math></p>
   <p>The quantum interpretation of</p>
   <p>
    <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mstyle displaystyle="true"> 
       <mrow> 
        <msubsup> 
         <mo>
           ∫ 
         </mo> 
         <mrow> 
          <mo>
            − 
          </mo> 
          <mi>
            ∞ 
          </mi> 
         </mrow> 
         <mi>
           x 
         </mi> 
        </msubsup> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              | 
            </mo> 
            <mrow> 
             <msub> 
              <mi>
                Ψ 
              </mi> 
              <mi>
                n 
              </mi> 
             </msub> 
             <mrow> 
              <mo>
                ( 
              </mo> 
              <mrow> 
               <mi>
                 y 
               </mi> 
               <mo>
                 , 
               </mo> 
               <mi>
                 t 
               </mi> 
              </mrow> 
              <mo>
                ) 
              </mo> 
             </mrow> 
            </mrow> 
            <mo>
              | 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
         <mtext>
           d 
         </mtext> 
         <mi>
           y 
         </mi> 
        </mrow> 
       </mrow> 
      </mstyle> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          ! 
        </mo> 
        <msup> 
         <mn>
           2 
         </mn> 
         <mi>
           n 
         </mi> 
        </msup> 
        <msqrt> 
         <mi>
           π 
         </mi> 
        </msqrt> 
       </mrow> 
      </mfrac> 
      <mstyle displaystyle="true"> 
       <mrow> 
        <msubsup> 
         <mo>
           ∫ 
         </mo> 
         <mrow> 
          <mo>
            − 
          </mo> 
          <mi>
            ∞ 
          </mi> 
         </mrow> 
         <mi>
           x 
         </mi> 
        </msubsup> 
        <mrow> 
         <msubsup> 
          <mi>
            H 
          </mi> 
          <mi>
            n 
          </mi> 
          <mn>
            2 
          </mn> 
         </msubsup> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mi>
            y 
          </mi> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mi>
           exp 
         </mi> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mo>
             − 
           </mo> 
           <msup> 
            <mi>
              y 
            </mi> 
            <mn>
              2 
            </mn> 
           </msup> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mtext>
           d 
         </mtext> 
         <mi>
           y 
         </mi> 
        </mrow> 
       </mrow> 
      </mstyle> 
     </mrow> 
    </math></p>
   <p>is the probability distribution of occurrence of a particle in 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       ℝ 
     </mi> 
    </math>. In Theorem 4.1 (<xref ref-type="bibr" rid="scirp.138394-5">
     Kowalski, 2017
    </xref>), it has been observed that for 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        n 
      </mi> 
      <mo>
        ≥ 
      </mo> 
      <mn>
        1 
      </mn> 
     </mrow> 
    </math> there is a unique partition on intervals 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           I 
         </mi> 
         <mi>
           k 
         </mi> 
        </msub> 
        <mo>
          : 
        </mo> 
        <mi>
          k 
        </mi> 
        <mo>
          = 
        </mo> 
        <mn>
          1 
        </mn> 
        <mo>
          , 
        </mo> 
        <mo>
          ⋯ 
        </mo> 
        <mo>
          , 
        </mo> 
        <mn>
          2 
        </mn> 
        <mi>
          n 
        </mi> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math> of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       ℝ 
     </mi> 
    </math> such that 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           I 
         </mi> 
         <mi>
           k 
         </mi> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           I 
         </mi> 
         <mi>
           k 
         </mi> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> where the measure 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
     </mrow> 
    </math> has distribution 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
     </mrow> 
    </math>. The endpoints of intervals come from the equivalence</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        ⇔ 
      </mo> 
      <msub> 
       <mi>
         H 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <msub> 
       <mi>
         H 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mn>
        0. 
      </mn> 
     </mrow> 
    </math></p>
   <p>It is convenient to consider the unit interval instead of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       ℝ 
     </mi> 
    </math>, therefore, we use the map 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
      <mo>
        : 
      </mo> 
      <mi>
        ℝ 
      </mi> 
      <mo>
        → 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mn>
          0 
        </mn> 
        <mo>
          , 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math> arise as the distribution function of the Lebesgue measure on the unit interval and 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
     </mrow> 
    </math> as 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mi>
         F 
       </mi> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mi>
           n 
         </mi> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
      </msup> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
      <mo>
        ∘ 
      </mo> 
      <msubsup> 
       <mi>
         Φ 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msubsup> 
     </mrow> 
    </math>. Here 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msubsup> 
       <mi>
         Φ 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msubsup> 
     </mrow> 
    </math> is the inverse function of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math>. We will denote 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mi>
         F 
       </mi> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mi>
           n 
         </mi> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
      </msup> 
     </mrow> 
    </math> by 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       F 
     </mi> 
    </math> as 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       n 
     </mi> 
    </math> is fixed. Next, we will describe the construction of the skew-product 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math>. Let 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       σ 
     </mi> 
    </math> be the one-sided shift on 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       Ω 
     </mi> 
    </math> i.e. 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        σ 
      </mi> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         ω 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         i 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mi>
        ω 
      </mi> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          i 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. Let us assume that conditions of Remark 2.6 (<xref ref-type="bibr" rid="scirp.138394-7">
     Kowalski, 2022
    </xref>) hold for some 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        p 
      </mi> 
      <mo>
        ∈ 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mfrac> 
         <mn>
           1 
         </mn> 
         <mn>
           2 
         </mn> 
        </mfrac> 
        <mo>
          , 
        </mo> 
        <mfrac> 
         <mn>
           1 
         </mn> 
         <mrow> 
          <mroot> 
           <mn>
             2 
           </mn> 
           <mn>
             3 
           </mn> 
          </mroot> 
         </mrow> 
        </mfrac> 
       </mrow> 
       <mo>
         ] 
       </mo> 
      </mrow> 
     </mrow> 
    </math> and for some 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mn>
        1 
      </mn> 
      <mo>
        ≤ 
      </mo> 
      <mi>
        k 
      </mi> 
      <mo>
        ≤ 
      </mo> 
      <mn>
        2 
      </mn> 
      <mi>
        n 
      </mi> 
      <mo>
        − 
      </mo> 
      <mn>
        1 
      </mn> 
     </mrow> 
    </math>. Then we get the step skew product transformation in the space 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        Ω 
      </mi> 
      <mo>
        × 
      </mo> 
      <msub> 
       <mi>
         J 
       </mi> 
       <mrow> 
        <mi>
          k 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math> as follows</p>
   <p>
    <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          ω 
        </mi> 
        <mo>
          , 
        </mo> 
        <mi>
          u 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <mtable columnalign="left"> 
         <mtr columnalign="left"> 
          <mtd columnalign="left"> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mi>
                σ 
              </mi> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mi>
                 ω 
               </mi> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
              <mo>
                , 
              </mo> 
              <msup> 
               <mi>
                 g 
               </mi> 
               <mrow> 
                <mo>
                  − 
                </mo> 
                <mn>
                  1 
                </mn> 
               </mrow> 
              </msup> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mi>
                 u 
               </mi> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
          </mtd> 
          <mtd columnalign="left"> 
           <mrow> 
            <mtext>
              for 
            </mtext> 
            <mtext>
                
            </mtext> 
            <msub> 
             <mi>
               ω 
             </mi> 
             <mn>
               0 
             </mn> 
            </msub> 
            <mo>
              = 
            </mo> 
            <mn>
              1 
            </mn> 
            <mtext>
                
            </mtext> 
            <mtext>
              and 
            </mtext> 
           </mrow> 
          </mtd> 
         </mtr> 
         <mtr columnalign="left"> 
          <mtd columnalign="left"> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mi>
                σ 
              </mi> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mi>
                 ω 
               </mi> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
              <mo>
                , 
              </mo> 
              <msup> 
               <mrow> 
                <mrow> 
                 <mo>
                   ( 
                 </mo> 
                 <mrow> 
                  <mn>
                    2 
                  </mn> 
                  <mi>
                    u 
                  </mi> 
                  <mo>
                    − 
                  </mo> 
                  <mi>
                    g 
                  </mi> 
                  <mrow> 
                   <mo>
                     ( 
                   </mo> 
                   <mi>
                     u 
                   </mi> 
                   <mo>
                     ) 
                   </mo> 
                  </mrow> 
                 </mrow> 
                 <mo>
                   ) 
                 </mo> 
                </mrow> 
               </mrow> 
               <mrow> 
                <mo>
                  − 
                </mo> 
                <mn>
                  1 
                </mn> 
               </mrow> 
              </msup> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
          </mtd> 
          <mtd columnalign="left"> 
           <mrow> 
            <mtext>
              for 
            </mtext> 
            <mtext>
                
            </mtext> 
            <msub> 
             <mi>
               ω 
             </mi> 
             <mn>
               0 
             </mn> 
            </msub> 
            <mo>
              = 
            </mo> 
            <mn>
              0. 
            </mn> 
           </mrow> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
      </mrow> 
     </mrow> 
    </math></p>
   <p>Here 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        g 
      </mi> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         u 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> and 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mn>
        2 
      </mn> 
      <mi>
        u 
      </mi> 
      <mo>
        − 
      </mo> 
      <mi>
        g 
      </mi> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         u 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> are the increasing self-homeomorphisms of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         J 
       </mi> 
       <mrow> 
        <mi>
          k 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math>. The skew product as above preserves the measure 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mo>
        × 
      </mo> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         F 
       </mi> 
      </msub> 
     </mrow> 
    </math> on 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        Ω 
      </mi> 
      <mo>
        × 
      </mo> 
      <msub> 
       <mi>
         J 
       </mi> 
       <mrow> 
        <mi>
          k 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math>. Here 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         J 
       </mi> 
       <mrow> 
        <mi>
          k 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           I 
         </mi> 
         <mrow> 
          <mi>
            k 
          </mi> 
          <mo>
            + 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> for 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        k 
      </mi> 
      <mo>
        = 
      </mo> 
      <mn>
        1 
      </mn> 
      <mo>
        , 
      </mo> 
      <mo>
        ⋯ 
      </mo> 
      <mo>
        , 
      </mo> 
      <mn>
        2 
      </mn> 
      <mi>
        n 
      </mi> 
      <mo>
        − 
      </mo> 
      <mn>
        1 
      </mn> 
     </mrow> 
    </math>. The formula 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            2 
          </mn> 
          <mi>
            u 
          </mi> 
          <mo>
            − 
          </mo> 
          <mi>
            g 
          </mi> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mi>
             u 
           </mi> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msup> 
     </mrow> 
    </math> for the second homeomorphism is equivalent to 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math> invariance of the measure 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mrow> 
        <mfrac> 
         <mn>
           1 
         </mn> 
         <mn>
           2 
         </mn> 
        </mfrac> 
       </mrow> 
      </msub> 
      <mo>
        × 
      </mo> 
      <mi>
        Λ 
      </mi> 
     </mrow> 
    </math> where 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       Λ 
     </mi> 
    </math> denotes the Lebesgue measure. Section 3 is dedicated to the binomial model for asset prices.</p>
  </sec><sec id="s2">
   <title>2. The Bernoulli Property of 

    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
  
      <msub> 
   
       <mstyle mathvariant="bold" mathsize="normal">
    
        <mi>
         
     S
    
        </mi>
   
       </mstyle> 
   
       <mstyle mathvariant="bold" mathsize="normal">
    
        <mi>
         
     p
    
        </mi>
   
       </mstyle> 
  
      </msub> 
 
     </mrow>

    </math></title>
   <p>Firstly, we normalize the 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         F 
       </mi> 
      </msub> 
     </mrow> 
    </math> measure on 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         J 
       </mi> 
       <mrow> 
        <mi>
          k 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math> and denote it by 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          μ 
        </mi> 
        <mo>
          ¯ 
        </mo> 
       </mover> 
       <mi>
         F 
       </mi> 
      </msub> 
     </mrow> 
    </math>.</p>
   <p>Definition 2.1. 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           S 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
        <mo>
          , 
        </mo> 
        <msub> 
         <mi>
           μ 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
        <mo>
          × 
        </mo> 
        <msub> 
         <mover accent="true"> 
          <mi>
            μ 
          </mi> 
          <mo>
            ¯ 
          </mo> 
         </mover> 
         <mi>
           F 
         </mi> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> has the Bernoulli property if</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          S 
        </mi> 
        <mo>
          ¯ 
        </mo> 
       </mover> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mover accent="true"> 
         <mi>
           ω 
         </mi> 
         <mo>
           ¯ 
         </mo> 
        </mover> 
        <mo>
          , 
        </mo> 
        <mi>
          u 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <mtable columnalign="left"> 
         <mtr columnalign="left"> 
          <mtd columnalign="left"> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mover accent="true"> 
               <mi>
                 σ 
               </mi> 
               <mo>
                 ¯ 
               </mo> 
              </mover> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mover accent="true"> 
                <mi>
                  ω 
                </mi> 
                <mo>
                  ¯ 
                </mo> 
               </mover> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
              <mo>
                , 
              </mo> 
              <msup> 
               <mi>
                 g 
               </mi> 
               <mrow> 
                <mo>
                  − 
                </mo> 
                <mn>
                  1 
                </mn> 
               </mrow> 
              </msup> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mi>
                 u 
               </mi> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
          </mtd> 
          <mtd columnalign="left"> 
           <mrow> 
            <mtext>
              for 
            </mtext> 
            <mtext>
                
            </mtext> 
            <msub> 
             <mover accent="true"> 
              <mi>
                ω 
              </mi> 
              <mo>
                ¯ 
              </mo> 
             </mover> 
             <mn>
               0 
             </mn> 
            </msub> 
            <mo>
              = 
            </mo> 
            <mn>
              1 
            </mn> 
            <mtext>
                
            </mtext> 
            <mtext>
              and 
            </mtext> 
           </mrow> 
          </mtd> 
         </mtr> 
         <mtr columnalign="left"> 
          <mtd columnalign="left"> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mover accent="true"> 
               <mi>
                 σ 
               </mi> 
               <mo>
                 ¯ 
               </mo> 
              </mover> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mover accent="true"> 
                <mi>
                  ω 
                </mi> 
                <mo>
                  ¯ 
                </mo> 
               </mover> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
              <mo>
                , 
              </mo> 
              <msup> 
               <mrow> 
                <mrow> 
                 <mo>
                   ( 
                 </mo> 
                 <mrow> 
                  <mn>
                    2 
                  </mn> 
                  <mi>
                    u 
                  </mi> 
                  <mo>
                    − 
                  </mo> 
                  <mi>
                    g 
                  </mi> 
                  <mrow> 
                   <mo>
                     ( 
                   </mo> 
                   <mi>
                     u 
                   </mi> 
                   <mo>
                     ) 
                   </mo> 
                  </mrow> 
                 </mrow> 
                 <mo>
                   ) 
                 </mo> 
                </mrow> 
               </mrow> 
               <mrow> 
                <mo>
                  − 
                </mo> 
                <mn>
                  1 
                </mn> 
               </mrow> 
              </msup> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
          </mtd> 
          <mtd columnalign="left"> 
           <mrow> 
            <mtext>
              for 
            </mtext> 
            <mtext>
                
            </mtext> 
            <msub> 
             <mover accent="true"> 
              <mi>
                ω 
              </mi> 
              <mo>
                ¯ 
              </mo> 
             </mover> 
             <mn>
               0 
             </mn> 
            </msub> 
            <mo>
              = 
            </mo> 
            <mn>
              0. 
            </mn> 
           </mrow> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
      </mrow> 
     </mrow> 
    </math></p>
   <p>is a Bernoulli automorphism.</p>
   <p>Here 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mover accent="true"> 
       <mi>
         ω 
       </mi> 
       <mo>
         ¯ 
       </mo> 
      </mover> 
      <mo>
        ∈ 
      </mo> 
      <msup> 
       <mrow> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <mn>
            0 
          </mn> 
          <mo>
            , 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
       </mrow> 
       <mi mathvariant="script">
         Z 
       </mi> 
      </msup> 
     </mrow> 
    </math> and 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mover accent="true"> 
      <mi>
        σ 
      </mi> 
      <mo>
        ¯ 
      </mo> 
     </mover> 
    </math> is the two-sided 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          p 
        </mi> 
        <mo>
          , 
        </mo> 
        <mn>
          1 
        </mn> 
        <mo>
          − 
        </mo> 
        <mi>
          p 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>-Bernoulli shift.</p>
   <p>Theorem 2.2. The skew-product transformation 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math> has the Bernoulli property.</p>
   <p>Proof. By ergodic decomposition of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mo>
        × 
      </mo> 
      <msub> 
       <mover accent="true"> 
        <mi>
          μ 
        </mi> 
        <mo>
          ¯ 
        </mo> 
       </mover> 
       <mi>
         F 
       </mi> 
      </msub> 
     </mrow> 
    </math> (<xref ref-type="bibr" rid="scirp.138394-2">
     Kifer, 1986: p. 193
    </xref>, Theorem 1.1) there exists ergodic 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math>-invariant measure 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mo>
        × 
      </mo> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         G 
       </mi> 
      </msub> 
     </mrow> 
    </math> such that 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         G 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <msub> 
           <mi>
             b 
           </mi> 
           <mi>
             k 
           </mi> 
          </msub> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         G 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <msub> 
           <mi>
             b 
           </mi> 
           <mrow> 
            <mi>
              k 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
          </msub> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mn>
        0 
      </mn> 
     </mrow> 
    </math>. Hence 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         G 
       </mi> 
      </msub> 
     </mrow> 
    </math> has the dense support property by Lemma 3 (<xref ref-type="bibr" rid="scirp.138394-4">
     Kowalski, 2009
    </xref>), i.e., if 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         G 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         A 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         G 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           J 
         </mi> 
         <mrow> 
          <mi>
            k 
          </mi> 
          <mo>
            + 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> then 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mover accent="true"> 
       <mi>
         A 
       </mi> 
       <mo>
         ¯ 
       </mo> 
      </mover> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         J 
       </mi> 
       <mrow> 
        <mi>
          k 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math>. Therefore</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         M 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           S 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mtext>
        conv 
      </mtext> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           μ 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
        <mo>
          × 
        </mo> 
        <msub> 
         <mi>
           δ 
         </mi> 
         <mrow> 
          <mrow> 
           <mo>
             { 
           </mo> 
           <mrow> 
            <msub> 
             <mi>
               b 
             </mi> 
             <mi>
               k 
             </mi> 
            </msub> 
           </mrow> 
           <mo>
             } 
           </mo> 
          </mrow> 
         </mrow> 
        </msub> 
        <mo>
          , 
        </mo> 
        <msub> 
         <mi>
           μ 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
        <mo>
          × 
        </mo> 
        <msub> 
         <mi>
           δ 
         </mi> 
         <mrow> 
          <mrow> 
           <mo>
             { 
           </mo> 
           <mrow> 
            <msub> 
             <mi>
               b 
             </mi> 
             <mrow> 
              <mi>
                k 
              </mi> 
              <mo>
                + 
              </mo> 
              <mn>
                1 
              </mn> 
             </mrow> 
            </msub> 
           </mrow> 
           <mo>
             } 
           </mo> 
          </mrow> 
         </mrow> 
        </msub> 
        <mo>
          , 
        </mo> 
        <msub> 
         <mi>
           μ 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
        <mo>
          × 
        </mo> 
        <msub> 
         <mi>
           μ 
         </mi> 
         <mi>
           G 
         </mi> 
        </msub> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math></p>
   <p>by Theorem 1 (<xref ref-type="bibr" rid="scirp.138394-3">
     Kowalski, 2003
    </xref>). Here 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         M 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           S 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> denotes the set of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math>-invariant probability measures 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       μ 
     </mi> 
    </math> on 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        Ω 
      </mi> 
      <mo>
        × 
      </mo> 
      <msub> 
       <mi>
         J 
       </mi> 
       <mrow> 
        <mi>
          k 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math> such that the left marginal measure of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       μ 
     </mi> 
    </math> is 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mo>
        . 
      </mo> 
     </mrow> 
    </math> So we conclude that 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          μ 
        </mi> 
        <mo>
          ¯ 
        </mo> 
       </mover> 
       <mi>
         F 
       </mi> 
      </msub> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         G 
       </mi> 
      </msub> 
     </mrow> 
    </math> as 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mo>
        × 
      </mo> 
      <msub> 
       <mover accent="true"> 
        <mi>
          μ 
        </mi> 
        <mo>
          ¯ 
        </mo> 
       </mover> 
       <mi>
         F 
       </mi> 
      </msub> 
      <mo>
        ∈ 
      </mo> 
      <msub> 
       <mi>
         M 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           S 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> and 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          μ 
        </mi> 
        <mo>
          ¯ 
        </mo> 
       </mover> 
       <mi>
         F 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <msub> 
           <mi>
             b 
           </mi> 
           <mi>
             k 
           </mi> 
          </msub> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mover accent="true"> 
        <mi>
          μ 
        </mi> 
        <mo>
          ¯ 
        </mo> 
       </mover> 
       <mi>
         F 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <msub> 
           <mi>
             b 
           </mi> 
           <mrow> 
            <mi>
              k 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
          </msub> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mn>
        0 
      </mn> 
     </mrow> 
    </math>. Now we are able to use Corollary 5.2 (<xref ref-type="bibr" rid="scirp.138394-6">
     Kowalski, 2019
    </xref>) to conclude that 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           S 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
        <mo>
          , 
        </mo> 
        <msub> 
         <mi>
           μ 
         </mi> 
         <mi>
           p 
         </mi> 
        </msub> 
        <mo>
          × 
        </mo> 
        <msub> 
         <mover accent="true"> 
          <mi>
            μ 
          </mi> 
          <mo>
            ¯ 
          </mo> 
         </mover> 
         <mi>
           F 
         </mi> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> has the Bernoulli property. ☐</p>
   <p>We define the skew product transformation 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          S 
        </mi> 
        <mo>
          ^ 
        </mo> 
       </mover> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          ω 
        </mi> 
        <mo>
          , 
        </mo> 
        <mi>
          x 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> in the space 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        Ω 
      </mi> 
      <mo>
        × 
      </mo> 
      <msub> 
       <mi>
         I 
       </mi> 
       <mrow> 
        <mi>
          k 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math> by putting 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         H 
       </mi> 
       <mi>
         g 
       </mi> 
      </msub> 
     </mrow> 
    </math> and 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         H 
       </mi> 
       <mrow> 
        <mn>
          2 
        </mn> 
        <mi>
          u 
        </mi> 
        <mo>
          − 
        </mo> 
        <mi>
          g 
        </mi> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mi>
           u 
         </mi> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
      </msub> 
     </mrow> 
    </math> instead of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       g 
     </mi> 
    </math> and 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mn>
        2 
      </mn> 
      <mi>
        u 
      </mi> 
      <mo>
        − 
      </mo> 
      <mi>
        g 
      </mi> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         u 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> in the definition of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          ω 
        </mi> 
        <mo>
          , 
        </mo> 
        <mi>
          u 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. Here</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         H 
       </mi> 
       <mi>
         g 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msubsup> 
       <mi>
         Φ 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msubsup> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          g 
        </mi> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <msub> 
           <mi>
             Φ 
           </mi> 
           <mrow> 
            <mi>
              n 
            </mi> 
            <mo>
              − 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
          </msub> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mi>
             x 
           </mi> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mtext>
          
      </mtext> 
      <mtext>
          
      </mtext> 
      <mtext>
        for 
      </mtext> 
      <mtext>
          
      </mtext> 
      <mi>
        x 
      </mi> 
      <mo>
        ∈ 
      </mo> 
      <msub> 
       <mi>
         I 
       </mi> 
       <mrow> 
        <mi>
          k 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
      <mo>
        . 
      </mo> 
     </mrow> 
    </math></p>
   <p>This skew product preserves the measure 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mo>
        × 
      </mo> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mrow> 
        <msub> 
         <mi>
           Φ 
         </mi> 
         <mi>
           n 
         </mi> 
        </msub> 
       </mrow> 
      </msub> 
     </mrow> 
    </math> on 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        Ω 
      </mi> 
      <mo>
        × 
      </mo> 
      <msub> 
       <mi>
         I 
       </mi> 
       <mrow> 
        <mi>
          k 
        </mi> 
        <mo>
          + 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math> where 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mrow> 
        <msub> 
         <mi>
           Φ 
         </mi> 
         <mi>
           n 
         </mi> 
        </msub> 
       </mrow> 
      </msub> 
     </mrow> 
    </math> has distribution 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
     </mrow> 
    </math>. Moreover, its natural extension to automorphism is Bernoulli one. For a detailed description, see (<xref ref-type="bibr" rid="scirp.138394-7">
     Kowalski, 2022
    </xref>).</p>
  </sec><sec id="s3">
   <title>3. The Generalized Binomial Model for Asset Prices (Discussion and Conclusions)</title>
   <p>A generalized one-asset binomial model, see <xref ref-type="bibr" rid="scirp.138394-2">
     Bahsoun et al. (2007)
    </xref>, <xref ref-type="bibr" rid="scirp.138394-5">
     Kowalski, (2017)
    </xref>, is a random walk on I. Here 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        x 
      </mi> 
      <mo>
        ∈ 
      </mo> 
      <mi>
        I 
      </mi> 
     </mrow> 
    </math> represents the security price. Physical phenomena at the quantum level, where randomness rules, can well describe the macro world. Therefore, we can take the skew-product 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          S 
        </mi> 
        <mo>
          ^ 
        </mo> 
       </mover> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math> as a 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>-asset binomal model. For 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        n 
      </mi> 
      <mo>
        = 
      </mo> 
      <mn>
        3 
      </mn> 
     </mrow> 
    </math>, see (<xref ref-type="bibr" rid="scirp.138394-7">
     Kowalski, 2022
    </xref>, Figure 4), we have</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         d 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         h 
       </mi> 
       <mn>
         1 
       </mn> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mtext>
          
      </mtext> 
      <mtext>
        and 
      </mtext> 
      <mtext>
          
      </mtext> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         u 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         h 
       </mi> 
       <mn>
         0 
       </mn> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mtext>
          
      </mtext> 
      <mtext>
        for 
      </mtext> 
      <mtext>
          
      </mtext> 
      <mi>
        x 
      </mi> 
      <mo>
        ∈ 
      </mo> 
      <msub> 
       <mi>
         I 
       </mi> 
       <mn>
         4 
       </mn> 
      </msub> 
     </mrow> 
    </math></p>
   <p>where 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         I 
       </mi> 
       <mn>
         4 
       </mn> 
      </msub> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         [ 
       </mo> 
       <mrow> 
        <mn>
          0 
        </mn> 
        <mo>
          , 
        </mo> 
        <mfrac> 
         <mrow> 
          <msqrt> 
           <mn>
             2 
           </mn> 
          </msqrt> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </mfrac> 
       </mrow> 
       <mo>
         ] 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. This is the price of one share of common stock of a particular corporation. The subscript 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       u 
     </mi> 
    </math> of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         u 
       </mi> 
      </msub> 
     </mrow> 
    </math> illustrates that the transformation 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         u 
       </mi> 
      </msub> 
     </mrow> 
    </math> contains a law that moves the price up, and the subscript 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       d 
     </mi> 
    </math> of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         d 
       </mi> 
      </msub> 
     </mrow> 
    </math> illustrates that 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         d 
       </mi> 
      </msub> 
     </mrow> 
    </math> contains a law that moves the price down. The Bernoulli property of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          S 
        </mi> 
        <mo>
          ^ 
        </mo> 
       </mover> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          ω 
        </mi> 
        <mo>
          , 
        </mo> 
        <mi>
          x 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> implies the mixing of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mover accent="true"> 
        <mi>
          S 
        </mi> 
        <mo>
          ^ 
        </mo> 
       </mover> 
       <mi>
         p 
       </mi> 
      </msub> 
     </mrow> 
    </math>. Hence</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <munder> 
       <mrow> 
        <mi>
          lim 
        </mi> 
       </mrow> 
       <mrow> 
        <mi>
          m 
        </mi> 
        <mo>
          → 
        </mo> 
        <mi>
          ∞ 
        </mi> 
       </mrow> 
      </munder> 
      <mstyle displaystyle="true"> 
       <mrow> 
        <mo>
          ∫ 
        </mo> 
        <mrow> 
         <msub> 
          <mn>
            1 
          </mn> 
          <mrow> 
           <mi>
             Ω 
           </mi> 
           <mo>
             × 
           </mo> 
           <mi>
             A 
           </mi> 
          </mrow> 
         </msub> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <msub> 
            <mover accent="true"> 
             <mi>
               S 
             </mi> 
             <mo>
               ^ 
             </mo> 
            </mover> 
            <mi>
              p 
            </mi> 
           </msub> 
           <msup> 
            <mrow /> 
            <mi>
              m 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mi>
           f 
         </mi> 
         <mtext>
             
         </mtext> 
         <mtext>
           d 
         </mtext> 
         <msub> 
          <mi>
            μ 
          </mi> 
          <mi>
            p 
          </mi> 
         </msub> 
         <mo>
           × 
         </mo> 
         <msub> 
          <mi>
            μ 
          </mi> 
          <mrow> 
           <msub> 
            <mi>
              Φ 
            </mi> 
            <mi>
              n 
            </mi> 
           </msub> 
          </mrow> 
         </msub> 
        </mrow> 
       </mrow> 
      </mstyle> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mrow> 
        <msub> 
         <mi>
           Φ 
         </mi> 
         <mi>
           n 
         </mi> 
        </msub> 
       </mrow> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         A 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mstyle displaystyle="true"> 
       <mrow> 
        <mo>
          ∫ 
        </mo> 
        <mrow> 
         <mi>
           f 
         </mi> 
         <mtext>
             
         </mtext> 
         <mtext>
           d 
         </mtext> 
         <msub> 
          <mi>
            μ 
          </mi> 
          <mrow> 
           <msub> 
            <mi>
              Φ 
            </mi> 
            <mi>
              n 
            </mi> 
           </msub> 
          </mrow> 
         </msub> 
        </mrow> 
       </mrow> 
      </mstyle> 
     </mrow> 
    </math></p>
   <p>for every 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        A 
      </mi> 
      <mo>
        ∈ 
      </mo> 
      <mi mathvariant="script">
        A 
      </mi> 
     </mrow> 
    </math> and 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        f 
      </mi> 
      <mo>
        ∈ 
      </mo> 
      <msub> 
       <mi>
         L 
       </mi> 
       <mi>
         ∞ 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           μ 
         </mi> 
         <mrow> 
          <msub> 
           <mi>
             Φ 
           </mi> 
           <mi>
             n 
           </mi> 
          </msub> 
         </mrow> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. Therefore</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <munder> 
       <mrow> 
        <mi>
          lim 
        </mi> 
       </mrow> 
       <mrow> 
        <mi>
          m 
        </mi> 
        <mo>
          → 
        </mo> 
        <mi>
          ∞ 
        </mi> 
       </mrow> 
      </munder> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mi>
         p 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <mi>
            ω 
          </mi> 
          <mo>
            : 
          </mo> 
          <msubsup> 
           <mover accent="true"> 
            <mi>
              S 
            </mi> 
            <mo>
              ^ 
            </mo> 
           </mover> 
           <mi>
             p 
           </mi> 
           <mi>
             m 
           </mi> 
          </msubsup> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mi>
              ω 
            </mi> 
            <mo>
              , 
            </mo> 
            <mi>
              x 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
          <mo>
            ∈ 
          </mo> 
          <mi>
            Ω 
          </mi> 
          <mo>
            × 
          </mo> 
          <mi>
            A 
          </mi> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         μ 
       </mi> 
       <mrow> 
        <msub> 
         <mi>
           Φ 
         </mi> 
         <mi>
           n 
         </mi> 
        </msub> 
       </mrow> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         A 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math></p>
   <p>in weak- 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         L 
       </mi> 
       <mn>
         1 
       </mn> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           μ 
         </mi> 
         <mrow> 
          <msub> 
           <mtext>
             Φ 
           </mtext> 
           <mi>
             n 
           </mi> 
          </msub> 
         </mrow> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> convergence.</p>
   <p>In a similar way, we consider the second financial asset, price-adjacent to the previous one. Here we take</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         I 
       </mi> 
       <mn>
         5 
       </mn> 
      </msub> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         [ 
       </mo> 
       <mrow> 
        <mfrac> 
         <mrow> 
          <msqrt> 
           <mn>
             2 
           </mn> 
          </msqrt> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </mfrac> 
        <mo>
          . 
        </mo> 
        <mfrac> 
         <mrow> 
          <msqrt> 
           <mn>
             6 
           </mn> 
          </msqrt> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </mfrac> 
       </mrow> 
       <mo>
         ] 
       </mo> 
      </mrow> 
     </mrow> 
    </math> and</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         d 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         h 
       </mi> 
       <mn>
         0 
       </mn> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mtext>
          
      </mtext> 
      <mtext>
        and 
      </mtext> 
      <mtext>
          
      </mtext> 
      <msub> 
       <mi>
         S 
       </mi> 
       <mi>
         u 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mi>
         h 
       </mi> 
       <mn>
         1 
       </mn> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mi>
         x 
       </mi> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mtext>
          
      </mtext> 
      <mtext>
        for 
      </mtext> 
      <mtext>
          
      </mtext> 
      <mi>
        x 
      </mi> 
      <mo>
        ∈ 
      </mo> 
      <msub> 
       <mi>
         I 
       </mi> 
       <mn>
         5 
       </mn> 
      </msub> 
      <mo>
        . 
      </mo> 
     </mrow> 
    </math></p>
   <p>We can turn the interval 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         [ 
       </mo> 
       <mrow> 
        <mn>
          0 
        </mn> 
        <mo>
          , 
        </mo> 
        <mfrac> 
         <mrow> 
          <msqrt> 
           <mn>
             6 
           </mn> 
          </msqrt> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </mfrac> 
       </mrow> 
       <mo>
         ] 
       </mo> 
      </mrow> 
     </mrow> 
    </math> into the interval 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         [ 
       </mo> 
       <mrow> 
        <mn>
          0 
        </mn> 
        <mo>
          , 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
       <mo>
         ] 
       </mo> 
      </mrow> 
     </mrow> 
    </math> by linearly changing the variables.</p>
   <p>For example, the above may be illustrated by the continuous quotations exchange of shares of a company listed on the Warsaw Stock Exchange on May 7, 2024. This is Atende S.A. Here for 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        n 
      </mi> 
      <mo>
        = 
      </mo> 
      <mn>
        20 
      </mn> 
     </mrow> 
    </math> there are two adjacent zeros of the Hermite polynomials 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         H 
       </mi> 
       <mi>
         n 
       </mi> 
      </msub> 
     </mrow> 
    </math> and 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         H 
       </mi> 
       <mrow> 
        <mi>
          n 
        </mi> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math> such that 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         x 
       </mi> 
       <mn>
         1 
       </mn> 
      </msub> 
      <mo>
        ≈ 
      </mo> 
      <mn>
        2.79 
      </mn> 
     </mrow> 
    </math>, 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         x 
       </mi> 
       <mn>
         2 
       </mn> 
      </msub> 
      <mo>
        ≈ 
      </mo> 
      <mn>
        3 
      </mn> 
      <mo>
        , 
      </mo> 
      <mn>
        16 
      </mn> 
     </mrow> 
    </math>. If we ignore prices at which the turnover is less than 100, the firm’s price distribution strictly increases as does 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mi>
         Φ 
       </mi> 
       <mrow> 
        <mn>
          20 
        </mn> 
       </mrow> 
      </msub> 
     </mrow> 
    </math>. Moreover, 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        p 
      </mi> 
      <mo>
        ≈ 
      </mo> 
      <mn>
        0.5 
      </mn> 
     </mrow> 
    </math>, so it is a state of equilibrium.</p>
  </sec>
 </body><back>
  <ref-list>
   <title>References</title>
   <ref id="scirp.138394-ref1">
    <label>1</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Bahsoun, W., Góra, P., Mayoral, S.,&amp;Morales, M. (2007). Random Dynamics and Finance: Constructing Implied Binomial Trees from a Predetermined Stationary Density. Applied Stochastic Models in Business and Industry, 23, 181-212. &gt;https://doi.org/10.1002/asmb.663
    </mixed-citation>
   </ref>
   <ref id="scirp.138394-ref2">
    <label>2</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Kifer, Y. (1986). Ergodic Theory of Random Transformations. In Progress in Probability (Vol. 10). Birkhäuser.
    </mixed-citation>
   </ref>
   <ref id="scirp.138394-ref3">
    <label>3</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Kowalski, Z. S. (2003). Invariant Measures for Smooth Extensions of Bernoulli Shifts. Bulletin of the Polish Academy of Sciences. Mathematics, 51, 261-267.
    </mixed-citation>
   </ref>
   <ref id="scirp.138394-ref4">
    <label>4</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Kowalski, Z. S. (2009). Iterations of the Frobenius-Perron Operator for Parabolic Random Maps. Fundamenta Mathematicae, 202, 241-250. &gt;https://doi.org/10.4064/fm202-3-3
    </mixed-citation>
   </ref>
   <ref id="scirp.138394-ref5">
    <label>5</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Kowalski, Z. S. (2017). Stability of Smooth Extensions of Bernoulli Shifts. Applicationes Mathematicae, 44, 85-104. &gt;https://doi.org/10.4064/am2298-2-2017
    </mixed-citation>
   </ref>
   <ref id="scirp.138394-ref6">
    <label>6</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Kowalski, Z. S. (2019). Bernoulli Property of Smooth Extensions of Bernoulli Shifts. Applicationes Mathematicae, 46, 275-282. &gt;https://doi.org/10.4064/am2376-2-2019
    </mixed-citation>
   </ref>
   <ref id="scirp.138394-ref7">
    <label>7</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Kowalski, Z. S. (2022). Random Walk as a Model of Motion in a Quantum Harmonic Oscillator. Applicationes Mathematicae, 49, 185-195. &gt;https://doi.org/10.4064/am2447-12-2022
    </mixed-citation>
   </ref>
  </ref-list>
 </back>
</article>