Is a cascaded chaotic system still chaotic?
$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?
dynamical-systems chaos-theory
$endgroup$
add a comment |
$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?
dynamical-systems chaos-theory
$endgroup$
add a comment |
$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?
dynamical-systems chaos-theory
$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
dynamical-systems chaos-theory
edited Jan 9 at 12:49


Wrzlprmft
3,06111233
3,06111233
asked Apr 15 '14 at 2:39
pitfallpitfall
35626
35626
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$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.
$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
add a comment |
$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))
```
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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.
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
add a comment |
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
add a comment |
$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))
```
$endgroup$
add a comment |
$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))
```
$endgroup$
add a comment |
$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))
```
$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))
```
answered Jan 9 at 11:12


WrzlprmftWrzlprmft
3,06111233
3,06111233
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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