Reduction of coupled ODEs based on symmetry

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite
1












I am considering the following question:



Suppose I have a coupled ODEs, described by the following scheme:



enter image description here



$$dotx_1 = f(x_1)+H(x_2); dotx_2 = f(x_2)+H(x_3)+H(x_1); dotx_3 = f(x_3)+H(x_2); $$



where $f$ and $H$ could be nonlinear function.



Now based on that scheme, obviously, node $1$ and $3$ are symmetric and both of them make no difference for the node $2$. So reduce the above three ODEs to the following by renaming a different variable $y$:
$$doty_1 = f(y_1)+H(y_2); doty_2 = f(y_2)+2H(y_1); $$



i.e., I combine nodes $1$ and $3$ to a new node $1$. More precisely, $x_1$ and $x_3$ are replaced by $y_1$, $x_2$ is replaced by $y_2$



My question is:



  1. Can I say both systems ($x$ and $y$) are equivalent?

  2. Solution behavior around equilibrium points are the same, such as region of attraction?

Can anyone please give me some directions or related article about questions?
Thanks!







share|cite|improve this question















  • 2




    Your replacement only makes sense if $x_1$ and $x_3$ have the same initial condition.
    – Michael Lee
    Jul 28 at 21:02










  • @MichaelLee Thanks! I will be careful on this.
    – sleeve chen
    Jul 28 at 21:03










  • @MichaelLee One more question, should the region of attraction be the same? for example $x_2$ and $y_2$. I think ROA depends on $f$ and $H$, looks like $x_2$ and $y_2$ should have the same ROA.
    – sleeve chen
    Jul 28 at 21:12






  • 1




    The system that you have written is absolutely correct on the invariant manifold $x_1 = x_3$. If you want to study what happens on that invariant manifold, you can use it without any hesitation. You also probably see that symmetry of equations implies the symmetry of solutions: for any solution $(X_1(t), X_2(t), X_3(t))$ follows that $(X_3(t), X_2(t), X_1(t))$ is also a solution. By the way, you probably will want to study system on invariant manifold later or sooner. The good property is that $x_1 = x_3$ divides the space: a trajectory can't go from $x_1 > x_3$ to $x_1 < x_3$ because of it.
    – Evgeny
    Jul 29 at 10:04















up vote
1
down vote

favorite
1












I am considering the following question:



Suppose I have a coupled ODEs, described by the following scheme:



enter image description here



$$dotx_1 = f(x_1)+H(x_2); dotx_2 = f(x_2)+H(x_3)+H(x_1); dotx_3 = f(x_3)+H(x_2); $$



where $f$ and $H$ could be nonlinear function.



Now based on that scheme, obviously, node $1$ and $3$ are symmetric and both of them make no difference for the node $2$. So reduce the above three ODEs to the following by renaming a different variable $y$:
$$doty_1 = f(y_1)+H(y_2); doty_2 = f(y_2)+2H(y_1); $$



i.e., I combine nodes $1$ and $3$ to a new node $1$. More precisely, $x_1$ and $x_3$ are replaced by $y_1$, $x_2$ is replaced by $y_2$



My question is:



  1. Can I say both systems ($x$ and $y$) are equivalent?

  2. Solution behavior around equilibrium points are the same, such as region of attraction?

Can anyone please give me some directions or related article about questions?
Thanks!







share|cite|improve this question















  • 2




    Your replacement only makes sense if $x_1$ and $x_3$ have the same initial condition.
    – Michael Lee
    Jul 28 at 21:02










  • @MichaelLee Thanks! I will be careful on this.
    – sleeve chen
    Jul 28 at 21:03










  • @MichaelLee One more question, should the region of attraction be the same? for example $x_2$ and $y_2$. I think ROA depends on $f$ and $H$, looks like $x_2$ and $y_2$ should have the same ROA.
    – sleeve chen
    Jul 28 at 21:12






  • 1




    The system that you have written is absolutely correct on the invariant manifold $x_1 = x_3$. If you want to study what happens on that invariant manifold, you can use it without any hesitation. You also probably see that symmetry of equations implies the symmetry of solutions: for any solution $(X_1(t), X_2(t), X_3(t))$ follows that $(X_3(t), X_2(t), X_1(t))$ is also a solution. By the way, you probably will want to study system on invariant manifold later or sooner. The good property is that $x_1 = x_3$ divides the space: a trajectory can't go from $x_1 > x_3$ to $x_1 < x_3$ because of it.
    – Evgeny
    Jul 29 at 10:04













up vote
1
down vote

favorite
1









up vote
1
down vote

favorite
1






1





I am considering the following question:



Suppose I have a coupled ODEs, described by the following scheme:



enter image description here



$$dotx_1 = f(x_1)+H(x_2); dotx_2 = f(x_2)+H(x_3)+H(x_1); dotx_3 = f(x_3)+H(x_2); $$



where $f$ and $H$ could be nonlinear function.



Now based on that scheme, obviously, node $1$ and $3$ are symmetric and both of them make no difference for the node $2$. So reduce the above three ODEs to the following by renaming a different variable $y$:
$$doty_1 = f(y_1)+H(y_2); doty_2 = f(y_2)+2H(y_1); $$



i.e., I combine nodes $1$ and $3$ to a new node $1$. More precisely, $x_1$ and $x_3$ are replaced by $y_1$, $x_2$ is replaced by $y_2$



My question is:



  1. Can I say both systems ($x$ and $y$) are equivalent?

  2. Solution behavior around equilibrium points are the same, such as region of attraction?

Can anyone please give me some directions or related article about questions?
Thanks!







share|cite|improve this question











I am considering the following question:



Suppose I have a coupled ODEs, described by the following scheme:



enter image description here



$$dotx_1 = f(x_1)+H(x_2); dotx_2 = f(x_2)+H(x_3)+H(x_1); dotx_3 = f(x_3)+H(x_2); $$



where $f$ and $H$ could be nonlinear function.



Now based on that scheme, obviously, node $1$ and $3$ are symmetric and both of them make no difference for the node $2$. So reduce the above three ODEs to the following by renaming a different variable $y$:
$$doty_1 = f(y_1)+H(y_2); doty_2 = f(y_2)+2H(y_1); $$



i.e., I combine nodes $1$ and $3$ to a new node $1$. More precisely, $x_1$ and $x_3$ are replaced by $y_1$, $x_2$ is replaced by $y_2$



My question is:



  1. Can I say both systems ($x$ and $y$) are equivalent?

  2. Solution behavior around equilibrium points are the same, such as region of attraction?

Can anyone please give me some directions or related article about questions?
Thanks!









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 28 at 20:59









sleeve chen

2,77531646




2,77531646







  • 2




    Your replacement only makes sense if $x_1$ and $x_3$ have the same initial condition.
    – Michael Lee
    Jul 28 at 21:02










  • @MichaelLee Thanks! I will be careful on this.
    – sleeve chen
    Jul 28 at 21:03










  • @MichaelLee One more question, should the region of attraction be the same? for example $x_2$ and $y_2$. I think ROA depends on $f$ and $H$, looks like $x_2$ and $y_2$ should have the same ROA.
    – sleeve chen
    Jul 28 at 21:12






  • 1




    The system that you have written is absolutely correct on the invariant manifold $x_1 = x_3$. If you want to study what happens on that invariant manifold, you can use it without any hesitation. You also probably see that symmetry of equations implies the symmetry of solutions: for any solution $(X_1(t), X_2(t), X_3(t))$ follows that $(X_3(t), X_2(t), X_1(t))$ is also a solution. By the way, you probably will want to study system on invariant manifold later or sooner. The good property is that $x_1 = x_3$ divides the space: a trajectory can't go from $x_1 > x_3$ to $x_1 < x_3$ because of it.
    – Evgeny
    Jul 29 at 10:04













  • 2




    Your replacement only makes sense if $x_1$ and $x_3$ have the same initial condition.
    – Michael Lee
    Jul 28 at 21:02










  • @MichaelLee Thanks! I will be careful on this.
    – sleeve chen
    Jul 28 at 21:03










  • @MichaelLee One more question, should the region of attraction be the same? for example $x_2$ and $y_2$. I think ROA depends on $f$ and $H$, looks like $x_2$ and $y_2$ should have the same ROA.
    – sleeve chen
    Jul 28 at 21:12






  • 1




    The system that you have written is absolutely correct on the invariant manifold $x_1 = x_3$. If you want to study what happens on that invariant manifold, you can use it without any hesitation. You also probably see that symmetry of equations implies the symmetry of solutions: for any solution $(X_1(t), X_2(t), X_3(t))$ follows that $(X_3(t), X_2(t), X_1(t))$ is also a solution. By the way, you probably will want to study system on invariant manifold later or sooner. The good property is that $x_1 = x_3$ divides the space: a trajectory can't go from $x_1 > x_3$ to $x_1 < x_3$ because of it.
    – Evgeny
    Jul 29 at 10:04








2




2




Your replacement only makes sense if $x_1$ and $x_3$ have the same initial condition.
– Michael Lee
Jul 28 at 21:02




Your replacement only makes sense if $x_1$ and $x_3$ have the same initial condition.
– Michael Lee
Jul 28 at 21:02












@MichaelLee Thanks! I will be careful on this.
– sleeve chen
Jul 28 at 21:03




@MichaelLee Thanks! I will be careful on this.
– sleeve chen
Jul 28 at 21:03












@MichaelLee One more question, should the region of attraction be the same? for example $x_2$ and $y_2$. I think ROA depends on $f$ and $H$, looks like $x_2$ and $y_2$ should have the same ROA.
– sleeve chen
Jul 28 at 21:12




@MichaelLee One more question, should the region of attraction be the same? for example $x_2$ and $y_2$. I think ROA depends on $f$ and $H$, looks like $x_2$ and $y_2$ should have the same ROA.
– sleeve chen
Jul 28 at 21:12




1




1




The system that you have written is absolutely correct on the invariant manifold $x_1 = x_3$. If you want to study what happens on that invariant manifold, you can use it without any hesitation. You also probably see that symmetry of equations implies the symmetry of solutions: for any solution $(X_1(t), X_2(t), X_3(t))$ follows that $(X_3(t), X_2(t), X_1(t))$ is also a solution. By the way, you probably will want to study system on invariant manifold later or sooner. The good property is that $x_1 = x_3$ divides the space: a trajectory can't go from $x_1 > x_3$ to $x_1 < x_3$ because of it.
– Evgeny
Jul 29 at 10:04





The system that you have written is absolutely correct on the invariant manifold $x_1 = x_3$. If you want to study what happens on that invariant manifold, you can use it without any hesitation. You also probably see that symmetry of equations implies the symmetry of solutions: for any solution $(X_1(t), X_2(t), X_3(t))$ follows that $(X_3(t), X_2(t), X_1(t))$ is also a solution. By the way, you probably will want to study system on invariant manifold later or sooner. The good property is that $x_1 = x_3$ divides the space: a trajectory can't go from $x_1 > x_3$ to $x_1 < x_3$ because of it.
– Evgeny
Jul 29 at 10:04
















active

oldest

votes











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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2f2865569%2freduction-of-coupled-odes-based-on-symmetry%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865569%2freduction-of-coupled-odes-based-on-symmetry%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?