Is a cascaded chaotic system still chaotic?












3












$begingroup$


I am curious whether a new system which cascades two individual chaotic systems is always chaotic.



My feeling says if two chaotic systems $S_1$ and $S_2$ satisfying the constraints that
$${rm range}( S_1 ) = {rm domain}(S_2)$$
and
$${rm range}( S_2 ) = {rm domain}(S_1)$$
then their composite system $S' = S_1circ S_2$ is also chaotic. I guess should use proof by contradiction. However, I donot know whether this claim is indeed true.



For example, a logistic map $L(cdot)$ is defined as
$$x_{i+1}=L(x)=rx_i(1-x_i)$$
and a tent map $T(cdot)$ is defined as
$$x_{i+1}=T(x)=left{begin{array}{lr}{ux_iover c}&, x_i<c\{u(1-x_i)over (1-c)}&, x_igeq cend{array}right.$$



Assume parameters of both maps are carefully chosen to ensure the map chaotic behaviors (both range and domain are $(0,1)$). Is the following system also chaotic?
$$G(c)=Lcirc T(x) = L(,T(x),)$$



Can anyone provide any idea here?










share|cite|improve this question











$endgroup$

















    3












    $begingroup$


    I am curious whether a new system which cascades two individual chaotic systems is always chaotic.



    My feeling says if two chaotic systems $S_1$ and $S_2$ satisfying the constraints that
    $${rm range}( S_1 ) = {rm domain}(S_2)$$
    and
    $${rm range}( S_2 ) = {rm domain}(S_1)$$
    then their composite system $S' = S_1circ S_2$ is also chaotic. I guess should use proof by contradiction. However, I donot know whether this claim is indeed true.



    For example, a logistic map $L(cdot)$ is defined as
    $$x_{i+1}=L(x)=rx_i(1-x_i)$$
    and a tent map $T(cdot)$ is defined as
    $$x_{i+1}=T(x)=left{begin{array}{lr}{ux_iover c}&, x_i<c\{u(1-x_i)over (1-c)}&, x_igeq cend{array}right.$$



    Assume parameters of both maps are carefully chosen to ensure the map chaotic behaviors (both range and domain are $(0,1)$). Is the following system also chaotic?
    $$G(c)=Lcirc T(x) = L(,T(x),)$$



    Can anyone provide any idea here?










    share|cite|improve this question











    $endgroup$















      3












      3








      3





      $begingroup$


      I am curious whether a new system which cascades two individual chaotic systems is always chaotic.



      My feeling says if two chaotic systems $S_1$ and $S_2$ satisfying the constraints that
      $${rm range}( S_1 ) = {rm domain}(S_2)$$
      and
      $${rm range}( S_2 ) = {rm domain}(S_1)$$
      then their composite system $S' = S_1circ S_2$ is also chaotic. I guess should use proof by contradiction. However, I donot know whether this claim is indeed true.



      For example, a logistic map $L(cdot)$ is defined as
      $$x_{i+1}=L(x)=rx_i(1-x_i)$$
      and a tent map $T(cdot)$ is defined as
      $$x_{i+1}=T(x)=left{begin{array}{lr}{ux_iover c}&, x_i<c\{u(1-x_i)over (1-c)}&, x_igeq cend{array}right.$$



      Assume parameters of both maps are carefully chosen to ensure the map chaotic behaviors (both range and domain are $(0,1)$). Is the following system also chaotic?
      $$G(c)=Lcirc T(x) = L(,T(x),)$$



      Can anyone provide any idea here?










      share|cite|improve this question











      $endgroup$




      I am curious whether a new system which cascades two individual chaotic systems is always chaotic.



      My feeling says if two chaotic systems $S_1$ and $S_2$ satisfying the constraints that
      $${rm range}( S_1 ) = {rm domain}(S_2)$$
      and
      $${rm range}( S_2 ) = {rm domain}(S_1)$$
      then their composite system $S' = S_1circ S_2$ is also chaotic. I guess should use proof by contradiction. However, I donot know whether this claim is indeed true.



      For example, a logistic map $L(cdot)$ is defined as
      $$x_{i+1}=L(x)=rx_i(1-x_i)$$
      and a tent map $T(cdot)$ is defined as
      $$x_{i+1}=T(x)=left{begin{array}{lr}{ux_iover c}&, x_i<c\{u(1-x_i)over (1-c)}&, x_igeq cend{array}right.$$



      Assume parameters of both maps are carefully chosen to ensure the map chaotic behaviors (both range and domain are $(0,1)$). Is the following system also chaotic?
      $$G(c)=Lcirc T(x) = L(,T(x),)$$



      Can anyone provide any idea here?







      dynamical-systems chaos-theory






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 9 at 12:49









      Wrzlprmft

      3,06111233




      3,06111233










      asked Apr 15 '14 at 2:39









      pitfallpitfall

      35626




      35626






















          2 Answers
          2






          active

          oldest

          votes


















          1












          $begingroup$

          Cascading "same" chaotic systems is a well known method as you can see in paper "A chaotic direct-sequence spreadspectrum communication system". And you can see examples of cascading "different" chaotic systems here and there like in "A Cryptosystem Based on Multiple Chaotic Maps" (You can google it).



          Neither of them rely on a mathematical proof. They are just engineering methods assuming that cascading chaotic maps will still be chaotic. Obviously, this case can be proven for same chaotic maps but cascading different chaotic maps is not that easy. Even though, their defined intervals are same, chaotic value of one map may correspond to a theoretical fixed point of the other. Even though this situation may not be so important in an engineering application. I think, it complicates a "general" rigorous mathematical proof.






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            Thank you for your answer. I guess the fixed point issue is really not a big problem as long as the two used chaotic system have identical fixed points.
            $endgroup$
            – pitfall
            Apr 16 '14 at 21:05



















          0












          $begingroup$

          At least empirically, your conjecture does not hold:



          The logistic maps for $r_1=3.7352$ and $r_2=3.8921$ are both chaotic ($λ=0.37$ and $λ=0.49$, respectively), while the composite of both maps is not ($λ=-0.32$).



          I found these values with the following Python script appended below.
          It takes random values from $[3.6,4.0]$ for $r_1$ and $r_2$ and uses Lyapunov exponents to check whether the respective logistic maps are chaotic and the composite isn’t (with rather conservative thresholds).
          The rate at which complying values are found is not very low, which suggests that this is not a coincidence.
          On the other hand, most of the maps composed from two chaotic maps in this case are again chaotic.



          Appendix: Python Script





          import numpy as np
          from sympy import Lambda, lambdify
          from sympy.abc import x

          def logistic(r):
          return Lambda(x,r*x*(1-x))

          def lyapunov(f,nsteps=10000,pre=1000):
          Map = lambdify(x,f(x))
          Der = lambdify(x,f(x).diff(x))

          y = np.random.uniform(0.01,0.99)
          for _ in range(pre):
          y = f(y)

          diffs = np.empty(nsteps)
          for i in range(nsteps):
          y = f(y)
          diffs[i] = Der(y)

          return np.mean(np.log(np.abs(diffs)))

          while True:
          r_1,r_2 = np.round( np.random.uniform(3.6,4.0,2), 4 )
          map_1 = logistic(r_1)
          map_2 = logistic(r_2)
          composite = Lambda(x,map_1(map_2(x)))

          for n in [100,1000,10000]:
          if (
          lyapunov(composite,n,n) > -0.2
          or lyapunov(map_1,n,n) < 0.2
          or lyapunov(map_2,n,n) < 0.2
          ):
          break
          else:
          print(r_1,r_2,lyapunov(map_1),lyapunov(map_2),lyapunov(composite))
          ```





          share|cite|improve this answer









          $endgroup$













            Your Answer





            StackExchange.ifUsing("editor", function () {
            return StackExchange.using("mathjaxEditing", function () {
            StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
            StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
            });
            });
            }, "mathjax-editing");

            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "69"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f754252%2fis-a-cascaded-chaotic-system-still-chaotic%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            1












            $begingroup$

            Cascading "same" chaotic systems is a well known method as you can see in paper "A chaotic direct-sequence spreadspectrum communication system". And you can see examples of cascading "different" chaotic systems here and there like in "A Cryptosystem Based on Multiple Chaotic Maps" (You can google it).



            Neither of them rely on a mathematical proof. They are just engineering methods assuming that cascading chaotic maps will still be chaotic. Obviously, this case can be proven for same chaotic maps but cascading different chaotic maps is not that easy. Even though, their defined intervals are same, chaotic value of one map may correspond to a theoretical fixed point of the other. Even though this situation may not be so important in an engineering application. I think, it complicates a "general" rigorous mathematical proof.






            share|cite|improve this answer









            $endgroup$









            • 1




              $begingroup$
              Thank you for your answer. I guess the fixed point issue is really not a big problem as long as the two used chaotic system have identical fixed points.
              $endgroup$
              – pitfall
              Apr 16 '14 at 21:05
















            1












            $begingroup$

            Cascading "same" chaotic systems is a well known method as you can see in paper "A chaotic direct-sequence spreadspectrum communication system". And you can see examples of cascading "different" chaotic systems here and there like in "A Cryptosystem Based on Multiple Chaotic Maps" (You can google it).



            Neither of them rely on a mathematical proof. They are just engineering methods assuming that cascading chaotic maps will still be chaotic. Obviously, this case can be proven for same chaotic maps but cascading different chaotic maps is not that easy. Even though, their defined intervals are same, chaotic value of one map may correspond to a theoretical fixed point of the other. Even though this situation may not be so important in an engineering application. I think, it complicates a "general" rigorous mathematical proof.






            share|cite|improve this answer









            $endgroup$









            • 1




              $begingroup$
              Thank you for your answer. I guess the fixed point issue is really not a big problem as long as the two used chaotic system have identical fixed points.
              $endgroup$
              – pitfall
              Apr 16 '14 at 21:05














            1












            1








            1





            $begingroup$

            Cascading "same" chaotic systems is a well known method as you can see in paper "A chaotic direct-sequence spreadspectrum communication system". And you can see examples of cascading "different" chaotic systems here and there like in "A Cryptosystem Based on Multiple Chaotic Maps" (You can google it).



            Neither of them rely on a mathematical proof. They are just engineering methods assuming that cascading chaotic maps will still be chaotic. Obviously, this case can be proven for same chaotic maps but cascading different chaotic maps is not that easy. Even though, their defined intervals are same, chaotic value of one map may correspond to a theoretical fixed point of the other. Even though this situation may not be so important in an engineering application. I think, it complicates a "general" rigorous mathematical proof.






            share|cite|improve this answer









            $endgroup$



            Cascading "same" chaotic systems is a well known method as you can see in paper "A chaotic direct-sequence spreadspectrum communication system". And you can see examples of cascading "different" chaotic systems here and there like in "A Cryptosystem Based on Multiple Chaotic Maps" (You can google it).



            Neither of them rely on a mathematical proof. They are just engineering methods assuming that cascading chaotic maps will still be chaotic. Obviously, this case can be proven for same chaotic maps but cascading different chaotic maps is not that easy. Even though, their defined intervals are same, chaotic value of one map may correspond to a theoretical fixed point of the other. Even though this situation may not be so important in an engineering application. I think, it complicates a "general" rigorous mathematical proof.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Apr 16 '14 at 7:27







            user137035















            • 1




              $begingroup$
              Thank you for your answer. I guess the fixed point issue is really not a big problem as long as the two used chaotic system have identical fixed points.
              $endgroup$
              – pitfall
              Apr 16 '14 at 21:05














            • 1




              $begingroup$
              Thank you for your answer. I guess the fixed point issue is really not a big problem as long as the two used chaotic system have identical fixed points.
              $endgroup$
              – pitfall
              Apr 16 '14 at 21:05








            1




            1




            $begingroup$
            Thank you for your answer. I guess the fixed point issue is really not a big problem as long as the two used chaotic system have identical fixed points.
            $endgroup$
            – pitfall
            Apr 16 '14 at 21:05




            $begingroup$
            Thank you for your answer. I guess the fixed point issue is really not a big problem as long as the two used chaotic system have identical fixed points.
            $endgroup$
            – pitfall
            Apr 16 '14 at 21:05











            0












            $begingroup$

            At least empirically, your conjecture does not hold:



            The logistic maps for $r_1=3.7352$ and $r_2=3.8921$ are both chaotic ($λ=0.37$ and $λ=0.49$, respectively), while the composite of both maps is not ($λ=-0.32$).



            I found these values with the following Python script appended below.
            It takes random values from $[3.6,4.0]$ for $r_1$ and $r_2$ and uses Lyapunov exponents to check whether the respective logistic maps are chaotic and the composite isn’t (with rather conservative thresholds).
            The rate at which complying values are found is not very low, which suggests that this is not a coincidence.
            On the other hand, most of the maps composed from two chaotic maps in this case are again chaotic.



            Appendix: Python Script





            import numpy as np
            from sympy import Lambda, lambdify
            from sympy.abc import x

            def logistic(r):
            return Lambda(x,r*x*(1-x))

            def lyapunov(f,nsteps=10000,pre=1000):
            Map = lambdify(x,f(x))
            Der = lambdify(x,f(x).diff(x))

            y = np.random.uniform(0.01,0.99)
            for _ in range(pre):
            y = f(y)

            diffs = np.empty(nsteps)
            for i in range(nsteps):
            y = f(y)
            diffs[i] = Der(y)

            return np.mean(np.log(np.abs(diffs)))

            while True:
            r_1,r_2 = np.round( np.random.uniform(3.6,4.0,2), 4 )
            map_1 = logistic(r_1)
            map_2 = logistic(r_2)
            composite = Lambda(x,map_1(map_2(x)))

            for n in [100,1000,10000]:
            if (
            lyapunov(composite,n,n) > -0.2
            or lyapunov(map_1,n,n) < 0.2
            or lyapunov(map_2,n,n) < 0.2
            ):
            break
            else:
            print(r_1,r_2,lyapunov(map_1),lyapunov(map_2),lyapunov(composite))
            ```





            share|cite|improve this answer









            $endgroup$


















              0












              $begingroup$

              At least empirically, your conjecture does not hold:



              The logistic maps for $r_1=3.7352$ and $r_2=3.8921$ are both chaotic ($λ=0.37$ and $λ=0.49$, respectively), while the composite of both maps is not ($λ=-0.32$).



              I found these values with the following Python script appended below.
              It takes random values from $[3.6,4.0]$ for $r_1$ and $r_2$ and uses Lyapunov exponents to check whether the respective logistic maps are chaotic and the composite isn’t (with rather conservative thresholds).
              The rate at which complying values are found is not very low, which suggests that this is not a coincidence.
              On the other hand, most of the maps composed from two chaotic maps in this case are again chaotic.



              Appendix: Python Script





              import numpy as np
              from sympy import Lambda, lambdify
              from sympy.abc import x

              def logistic(r):
              return Lambda(x,r*x*(1-x))

              def lyapunov(f,nsteps=10000,pre=1000):
              Map = lambdify(x,f(x))
              Der = lambdify(x,f(x).diff(x))

              y = np.random.uniform(0.01,0.99)
              for _ in range(pre):
              y = f(y)

              diffs = np.empty(nsteps)
              for i in range(nsteps):
              y = f(y)
              diffs[i] = Der(y)

              return np.mean(np.log(np.abs(diffs)))

              while True:
              r_1,r_2 = np.round( np.random.uniform(3.6,4.0,2), 4 )
              map_1 = logistic(r_1)
              map_2 = logistic(r_2)
              composite = Lambda(x,map_1(map_2(x)))

              for n in [100,1000,10000]:
              if (
              lyapunov(composite,n,n) > -0.2
              or lyapunov(map_1,n,n) < 0.2
              or lyapunov(map_2,n,n) < 0.2
              ):
              break
              else:
              print(r_1,r_2,lyapunov(map_1),lyapunov(map_2),lyapunov(composite))
              ```





              share|cite|improve this answer









              $endgroup$
















                0












                0








                0





                $begingroup$

                At least empirically, your conjecture does not hold:



                The logistic maps for $r_1=3.7352$ and $r_2=3.8921$ are both chaotic ($λ=0.37$ and $λ=0.49$, respectively), while the composite of both maps is not ($λ=-0.32$).



                I found these values with the following Python script appended below.
                It takes random values from $[3.6,4.0]$ for $r_1$ and $r_2$ and uses Lyapunov exponents to check whether the respective logistic maps are chaotic and the composite isn’t (with rather conservative thresholds).
                The rate at which complying values are found is not very low, which suggests that this is not a coincidence.
                On the other hand, most of the maps composed from two chaotic maps in this case are again chaotic.



                Appendix: Python Script





                import numpy as np
                from sympy import Lambda, lambdify
                from sympy.abc import x

                def logistic(r):
                return Lambda(x,r*x*(1-x))

                def lyapunov(f,nsteps=10000,pre=1000):
                Map = lambdify(x,f(x))
                Der = lambdify(x,f(x).diff(x))

                y = np.random.uniform(0.01,0.99)
                for _ in range(pre):
                y = f(y)

                diffs = np.empty(nsteps)
                for i in range(nsteps):
                y = f(y)
                diffs[i] = Der(y)

                return np.mean(np.log(np.abs(diffs)))

                while True:
                r_1,r_2 = np.round( np.random.uniform(3.6,4.0,2), 4 )
                map_1 = logistic(r_1)
                map_2 = logistic(r_2)
                composite = Lambda(x,map_1(map_2(x)))

                for n in [100,1000,10000]:
                if (
                lyapunov(composite,n,n) > -0.2
                or lyapunov(map_1,n,n) < 0.2
                or lyapunov(map_2,n,n) < 0.2
                ):
                break
                else:
                print(r_1,r_2,lyapunov(map_1),lyapunov(map_2),lyapunov(composite))
                ```





                share|cite|improve this answer









                $endgroup$



                At least empirically, your conjecture does not hold:



                The logistic maps for $r_1=3.7352$ and $r_2=3.8921$ are both chaotic ($λ=0.37$ and $λ=0.49$, respectively), while the composite of both maps is not ($λ=-0.32$).



                I found these values with the following Python script appended below.
                It takes random values from $[3.6,4.0]$ for $r_1$ and $r_2$ and uses Lyapunov exponents to check whether the respective logistic maps are chaotic and the composite isn’t (with rather conservative thresholds).
                The rate at which complying values are found is not very low, which suggests that this is not a coincidence.
                On the other hand, most of the maps composed from two chaotic maps in this case are again chaotic.



                Appendix: Python Script





                import numpy as np
                from sympy import Lambda, lambdify
                from sympy.abc import x

                def logistic(r):
                return Lambda(x,r*x*(1-x))

                def lyapunov(f,nsteps=10000,pre=1000):
                Map = lambdify(x,f(x))
                Der = lambdify(x,f(x).diff(x))

                y = np.random.uniform(0.01,0.99)
                for _ in range(pre):
                y = f(y)

                diffs = np.empty(nsteps)
                for i in range(nsteps):
                y = f(y)
                diffs[i] = Der(y)

                return np.mean(np.log(np.abs(diffs)))

                while True:
                r_1,r_2 = np.round( np.random.uniform(3.6,4.0,2), 4 )
                map_1 = logistic(r_1)
                map_2 = logistic(r_2)
                composite = Lambda(x,map_1(map_2(x)))

                for n in [100,1000,10000]:
                if (
                lyapunov(composite,n,n) > -0.2
                or lyapunov(map_1,n,n) < 0.2
                or lyapunov(map_2,n,n) < 0.2
                ):
                break
                else:
                print(r_1,r_2,lyapunov(map_1),lyapunov(map_2),lyapunov(composite))
                ```






                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Jan 9 at 11:12









                WrzlprmftWrzlprmft

                3,06111233




                3,06111233






























                    draft saved

                    draft discarded




















































                    Thanks for contributing an answer to Mathematics Stack Exchange!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid



                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.


                    Use MathJax to format equations. MathJax reference.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f754252%2fis-a-cascaded-chaotic-system-still-chaotic%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    Popular posts from this blog

                    MongoDB - Not Authorized To Execute Command

                    How to fix TextFormField cause rebuild widget in Flutter

                    in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith