Poincaré-Bendixson for 3D systems?
The Poincaré-Bendixson theorem completely characterizes the $omega$-limit sets of planar systems.
I would like to know whether extensions exist to 3D systems which tend to 2D systems in the following sense: Suppose that as the independent variable increases, the motion approaches a plane, as in the following system:
$$begin{align} dot{x}&=f(x,y,z), \ dot{y} &=g(x,y,z), \ dot{z} &=-z. end{align} $$
The (bounded) $omega$-limit set of any point are necessarily on the plane ${z=0 }$, and they are invariant sets of the flow
$$begin{align} dot{x} &= f(x,y,0), \ dot{y} &= g(x,y,0). end{align} $$
Must these $omega$-limit sets be, as in the conclusion of Poincaré-Bendixson, be:
- a fixed point
- a periodic orbit or
- a connected set composed of a finite number of fixed points together with homoclinic and heteroclinic orbits connecting these?
Thank you!
differential-equations dynamical-systems
|
show 1 more comment
The Poincaré-Bendixson theorem completely characterizes the $omega$-limit sets of planar systems.
I would like to know whether extensions exist to 3D systems which tend to 2D systems in the following sense: Suppose that as the independent variable increases, the motion approaches a plane, as in the following system:
$$begin{align} dot{x}&=f(x,y,z), \ dot{y} &=g(x,y,z), \ dot{z} &=-z. end{align} $$
The (bounded) $omega$-limit set of any point are necessarily on the plane ${z=0 }$, and they are invariant sets of the flow
$$begin{align} dot{x} &= f(x,y,0), \ dot{y} &= g(x,y,0). end{align} $$
Must these $omega$-limit sets be, as in the conclusion of Poincaré-Bendixson, be:
- a fixed point
- a periodic orbit or
- a connected set composed of a finite number of fixed points together with homoclinic and heteroclinic orbits connecting these?
Thank you!
differential-equations dynamical-systems
What else? Since you say that the plane is invariant, this is an immediate consequence of the usual theorem. Still, there are even appropriate infinite-dimensional versions of the Poincaré-Bendixson (for reaction diffusion equations).
– John B
Nov 29 '18 at 2:12
@JohnB I'm talking about orbits that start outside the plane. Could their $omega$-limit set exhibit other behaviors (such as orbits crossing in a way forbidden by the conclusion of PB)?
– user1337
Nov 29 '18 at 2:48
Now I understand, I thought you were talking only about the plane. Still, the meaning of your second centered equations is that the plane is invariant. No matter what happens outside, in that plane it will be the usual. Speaking now of something coming from outside, since you are assuming that all goes to the plane, what else could happen?
– John B
Nov 29 '18 at 11:11
@JohnB Maybe as the orbit is approaching the plane it could go back and forth, resulting in two curves on the plane that intersect at a non fixed point? This would still be an invariant set of the flow.
– user1337
Nov 29 '18 at 11:29
1
Still the $omega$-limit set would have to be a connected set, but this doesn't seem to go well with the orbits approaching the plane.
– John B
Nov 29 '18 at 12:03
|
show 1 more comment
The Poincaré-Bendixson theorem completely characterizes the $omega$-limit sets of planar systems.
I would like to know whether extensions exist to 3D systems which tend to 2D systems in the following sense: Suppose that as the independent variable increases, the motion approaches a plane, as in the following system:
$$begin{align} dot{x}&=f(x,y,z), \ dot{y} &=g(x,y,z), \ dot{z} &=-z. end{align} $$
The (bounded) $omega$-limit set of any point are necessarily on the plane ${z=0 }$, and they are invariant sets of the flow
$$begin{align} dot{x} &= f(x,y,0), \ dot{y} &= g(x,y,0). end{align} $$
Must these $omega$-limit sets be, as in the conclusion of Poincaré-Bendixson, be:
- a fixed point
- a periodic orbit or
- a connected set composed of a finite number of fixed points together with homoclinic and heteroclinic orbits connecting these?
Thank you!
differential-equations dynamical-systems
The Poincaré-Bendixson theorem completely characterizes the $omega$-limit sets of planar systems.
I would like to know whether extensions exist to 3D systems which tend to 2D systems in the following sense: Suppose that as the independent variable increases, the motion approaches a plane, as in the following system:
$$begin{align} dot{x}&=f(x,y,z), \ dot{y} &=g(x,y,z), \ dot{z} &=-z. end{align} $$
The (bounded) $omega$-limit set of any point are necessarily on the plane ${z=0 }$, and they are invariant sets of the flow
$$begin{align} dot{x} &= f(x,y,0), \ dot{y} &= g(x,y,0). end{align} $$
Must these $omega$-limit sets be, as in the conclusion of Poincaré-Bendixson, be:
- a fixed point
- a periodic orbit or
- a connected set composed of a finite number of fixed points together with homoclinic and heteroclinic orbits connecting these?
Thank you!
differential-equations dynamical-systems
differential-equations dynamical-systems
asked Nov 29 '18 at 1:02
user1337user1337
16.6k43391
16.6k43391
What else? Since you say that the plane is invariant, this is an immediate consequence of the usual theorem. Still, there are even appropriate infinite-dimensional versions of the Poincaré-Bendixson (for reaction diffusion equations).
– John B
Nov 29 '18 at 2:12
@JohnB I'm talking about orbits that start outside the plane. Could their $omega$-limit set exhibit other behaviors (such as orbits crossing in a way forbidden by the conclusion of PB)?
– user1337
Nov 29 '18 at 2:48
Now I understand, I thought you were talking only about the plane. Still, the meaning of your second centered equations is that the plane is invariant. No matter what happens outside, in that plane it will be the usual. Speaking now of something coming from outside, since you are assuming that all goes to the plane, what else could happen?
– John B
Nov 29 '18 at 11:11
@JohnB Maybe as the orbit is approaching the plane it could go back and forth, resulting in two curves on the plane that intersect at a non fixed point? This would still be an invariant set of the flow.
– user1337
Nov 29 '18 at 11:29
1
Still the $omega$-limit set would have to be a connected set, but this doesn't seem to go well with the orbits approaching the plane.
– John B
Nov 29 '18 at 12:03
|
show 1 more comment
What else? Since you say that the plane is invariant, this is an immediate consequence of the usual theorem. Still, there are even appropriate infinite-dimensional versions of the Poincaré-Bendixson (for reaction diffusion equations).
– John B
Nov 29 '18 at 2:12
@JohnB I'm talking about orbits that start outside the plane. Could their $omega$-limit set exhibit other behaviors (such as orbits crossing in a way forbidden by the conclusion of PB)?
– user1337
Nov 29 '18 at 2:48
Now I understand, I thought you were talking only about the plane. Still, the meaning of your second centered equations is that the plane is invariant. No matter what happens outside, in that plane it will be the usual. Speaking now of something coming from outside, since you are assuming that all goes to the plane, what else could happen?
– John B
Nov 29 '18 at 11:11
@JohnB Maybe as the orbit is approaching the plane it could go back and forth, resulting in two curves on the plane that intersect at a non fixed point? This would still be an invariant set of the flow.
– user1337
Nov 29 '18 at 11:29
1
Still the $omega$-limit set would have to be a connected set, but this doesn't seem to go well with the orbits approaching the plane.
– John B
Nov 29 '18 at 12:03
What else? Since you say that the plane is invariant, this is an immediate consequence of the usual theorem. Still, there are even appropriate infinite-dimensional versions of the Poincaré-Bendixson (for reaction diffusion equations).
– John B
Nov 29 '18 at 2:12
What else? Since you say that the plane is invariant, this is an immediate consequence of the usual theorem. Still, there are even appropriate infinite-dimensional versions of the Poincaré-Bendixson (for reaction diffusion equations).
– John B
Nov 29 '18 at 2:12
@JohnB I'm talking about orbits that start outside the plane. Could their $omega$-limit set exhibit other behaviors (such as orbits crossing in a way forbidden by the conclusion of PB)?
– user1337
Nov 29 '18 at 2:48
@JohnB I'm talking about orbits that start outside the plane. Could their $omega$-limit set exhibit other behaviors (such as orbits crossing in a way forbidden by the conclusion of PB)?
– user1337
Nov 29 '18 at 2:48
Now I understand, I thought you were talking only about the plane. Still, the meaning of your second centered equations is that the plane is invariant. No matter what happens outside, in that plane it will be the usual. Speaking now of something coming from outside, since you are assuming that all goes to the plane, what else could happen?
– John B
Nov 29 '18 at 11:11
Now I understand, I thought you were talking only about the plane. Still, the meaning of your second centered equations is that the plane is invariant. No matter what happens outside, in that plane it will be the usual. Speaking now of something coming from outside, since you are assuming that all goes to the plane, what else could happen?
– John B
Nov 29 '18 at 11:11
@JohnB Maybe as the orbit is approaching the plane it could go back and forth, resulting in two curves on the plane that intersect at a non fixed point? This would still be an invariant set of the flow.
– user1337
Nov 29 '18 at 11:29
@JohnB Maybe as the orbit is approaching the plane it could go back and forth, resulting in two curves on the plane that intersect at a non fixed point? This would still be an invariant set of the flow.
– user1337
Nov 29 '18 at 11:29
1
1
Still the $omega$-limit set would have to be a connected set, but this doesn't seem to go well with the orbits approaching the plane.
– John B
Nov 29 '18 at 12:03
Still the $omega$-limit set would have to be a connected set, but this doesn't seem to go well with the orbits approaching the plane.
– John B
Nov 29 '18 at 12:03
|
show 1 more comment
0
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',
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%2f3018010%2fpoincar%25c3%25a9-bendixson-for-3d-systems%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3018010%2fpoincar%25c3%25a9-bendixson-for-3d-systems%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
What else? Since you say that the plane is invariant, this is an immediate consequence of the usual theorem. Still, there are even appropriate infinite-dimensional versions of the Poincaré-Bendixson (for reaction diffusion equations).
– John B
Nov 29 '18 at 2:12
@JohnB I'm talking about orbits that start outside the plane. Could their $omega$-limit set exhibit other behaviors (such as orbits crossing in a way forbidden by the conclusion of PB)?
– user1337
Nov 29 '18 at 2:48
Now I understand, I thought you were talking only about the plane. Still, the meaning of your second centered equations is that the plane is invariant. No matter what happens outside, in that plane it will be the usual. Speaking now of something coming from outside, since you are assuming that all goes to the plane, what else could happen?
– John B
Nov 29 '18 at 11:11
@JohnB Maybe as the orbit is approaching the plane it could go back and forth, resulting in two curves on the plane that intersect at a non fixed point? This would still be an invariant set of the flow.
– user1337
Nov 29 '18 at 11:29
1
Still the $omega$-limit set would have to be a connected set, but this doesn't seem to go well with the orbits approaching the plane.
– John B
Nov 29 '18 at 12:03