Determining uniqueness of solution of ODE Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Uniqueness of ODE solutionFundamental Existence and Uniqueness TheoremODE in which non-continuous function yields uniqueness of solutionA problem in first order ODE?ODE) Uniqueness-Existence ProblemConstant solutions and uniquenss of solutions theorem for IVPsDoes this fact contradict the Picard-Lindelof uniqueness theorem?A question regarding existence and uniqueness in IVPUniqueness of solution of an ODE in an interval implies uniqueness of solution in a subintervalGiven a unique local solution of ode, how do I prove a unique global solution?
How to remove this numerical artifact?
Why does BitLocker not use RSA?
Are there any irrational/transcendental numbers for which the distribution of decimal digits is not uniform?
Why did Israel vote against lifting the American embargo on Cuba?
Marquee sign letters
No Invitation for Tourist Visa, But i want to visit
Where did Ptolemy compare the Earth to the distance of fixed stars?
Searching extreme points of polyhedron
Who's the Giant Batman in the back of this dark knights metal Batman picture?
Is the Mordenkainen's Sword spell underpowered?
How to achieve cat-like agility?
Short story about astronauts fertilizing soil with their own bodies
How to resize main filesystem
Is there a canonical “inverse” of Abelianization?
The test team as an enemy of development? And how can this be avoided?
Why are two-digit numbers in Jonathan Swift's "Gulliver's Travels" (1726) written in "German style"?
Does the universe have a fixed centre of mass?
Why not use the yoke to control yaw, as well as pitch and roll?
Hide attachment record without code
Why did Bronn offer to be Tyrion Lannister's champion in trial by combat?
Random body shuffle every night—can we still function?
Inverse square law not accurate for non-point masses?
IC on Digikey is 5x more expensive than board containing same IC on Alibaba: How?
How do I find my Spellcasting Ability for my D&D character?
Determining uniqueness of solution of ODE
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Uniqueness of ODE solutionFundamental Existence and Uniqueness TheoremODE in which non-continuous function yields uniqueness of solutionA problem in first order ODE?ODE) Uniqueness-Existence ProblemConstant solutions and uniquenss of solutions theorem for IVPsDoes this fact contradict the Picard-Lindelof uniqueness theorem?A question regarding existence and uniqueness in IVPUniqueness of solution of an ODE in an interval implies uniqueness of solution in a subintervalGiven a unique local solution of ode, how do I prove a unique global solution?
$begingroup$
We have an IVP:
$$x'=frac2xsqrtln(x)t$$
$$x(t_0)=1$$
and $t_0 >0$ , $x>1$
The question is:
Does this IVP have a unique solution for any value of $t_0$ ?
I found the general solution which is $x(t)=e^(ln(t) +C)^2$ but ODEs are quite a new thing to me and the existance and uniqueness issues are still a bit unclear for me, so I would appreciate any explanation.
ordinary-differential-equations
asked Apr 2 at 17:03
Wojtek MaślakiewiczWojtek Maślakiewicz
585
$endgroup$
add a comment |
$begingroup$
We have an IVP:
$$x'=frac2xsqrtln(x)t$$
$$x(t_0)=1$$
and $t_0 >0$ , $x>1$
The question is:
Does this IVP have a unique solution for any value of $t_0$ ?
I found the general solution which is $x(t)=e^(ln(t) +C)^2$ but ODEs are quite a new thing to me and the existance and uniqueness issues are still a bit unclear for me, so I would appreciate any explanation.
ordinary-differential-equations
asked Apr 2 at 17:03
Wojtek MaślakiewiczWojtek Maślakiewicz
585
$endgroup$
add a comment |
$begingroup$
We have an IVP:
$$x'=frac2xsqrtln(x)t$$
$$x(t_0)=1$$
and $t_0 >0$ , $x>1$
The question is:
Does this IVP have a unique solution for any value of $t_0$ ?
I found the general solution which is $x(t)=e^(ln(t) +C)^2$ but ODEs are quite a new thing to me and the existance and uniqueness issues are still a bit unclear for me, so I would appreciate any explanation.
ordinary-differential-equations
asked Apr 2 at 17:03
Wojtek MaślakiewiczWojtek Maślakiewicz
585
$endgroup$
We have an IVP:
$$x'=frac2xsqrtln(x)t$$
$$x(t_0)=1$$
and $t_0 >0$ , $x>1$
The question is:
Does this IVP have a unique solution for any value of $t_0$ ?
I found the general solution which is $x(t)=e^(ln(t) +C)^2$ but ODEs are quite a new thing to me and the existance and uniqueness issues are still a bit unclear for me, so I would appreciate any explanation.
ordinary-differential-equations
ordinary-differential-equations
asked Apr 2 at 17:03
Wojtek MaślakiewiczWojtek Maślakiewicz
585
asked Apr 2 at 17:03
Wojtek MaślakiewiczWojtek Maślakiewicz
585
asked Apr 2 at 17:03
Wojtek MaślakiewiczWojtek Maślakiewicz
585
asked Apr 2 at 17:03
Wojtek MaślakiewiczWojtek Maślakiewicz
585
asked Apr 2 at 17:03
Wojtek MaślakiewiczWojtek Maślakiewicz
585
585
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The usual Picard–Lindelöf Existence and Uniqueness Theorem applies when the right side of your equation and its partial derivative with respect to $x$ are continuous in a neighbourhood of the initial condition $(x_0, t_0)$. This is the case for your initial condition
since $x_0 > 1$ (so there is no problem with the square root of the logarithm) and $t_0 > 0$ (so there is no problem with division by $t$). So yes, there is a unique solution satisfying the initial condition defined in some neighbourhood of $t_0$. It may stop existing or stop being unique if it runs off to $pm infty$ or leaves the region $(x > 1, t>0$).
EDITED AGAIN: For example, consider the case $t_0 = 1$, $x_0 = e$. The solution you found is $x = e^(1 + ln t)^2$. However, (assuming as usual we take the positive square root) that is only a solution when $1 + ln t ge 0$, i.e. $t ge 1/e$. On the other hand the constant $x=1$ is a solution. Thus the actual (unique) solution with this initial point is
$$ x(t) = cases1 & if $0 < t le 1/e$cr
e^(1+ln t)^2 & if $t ge 1/e$cr$$
answered Apr 2 at 17:17
Robert IsraelRobert Israel
332k23222482
$endgroup$
$begingroup$
So am I correct that if we leave the assumption $x_0>1$ and set the initial value to $x(t_0)=1$ than we can have a constant solution $x=1$ and therefore there would be no uniqueness, right?
$endgroup$
– Wojtek Maślakiewicz
Apr 2 at 17:53
$begingroup$
Yes, with initial condition $x(t_0) = 1$ we don't have uniqueness because we have $x=1$ and also solutions of the form $$x(t) = cases1 & if $0 < t le t_1$cr e^(ln(t) - ln(t_1))^2 & if $t ge t_1$$$ for any $t_1 > t_0$.
$endgroup$
– Robert Israel
Apr 2 at 20:18
add a comment |
Your Answer
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%2f3172117%2fdetermining-uniqueness-of-solution-of-ode%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The usual Picard–Lindelöf Existence and Uniqueness Theorem applies when the right side of your equation and its partial derivative with respect to $x$ are continuous in a neighbourhood of the initial condition $(x_0, t_0)$. This is the case for your initial condition
since $x_0 > 1$ (so there is no problem with the square root of the logarithm) and $t_0 > 0$ (so there is no problem with division by $t$). So yes, there is a unique solution satisfying the initial condition defined in some neighbourhood of $t_0$. It may stop existing or stop being unique if it runs off to $pm infty$ or leaves the region $(x > 1, t>0$).
EDITED AGAIN: For example, consider the case $t_0 = 1$, $x_0 = e$. The solution you found is $x = e^(1 + ln t)^2$. However, (assuming as usual we take the positive square root) that is only a solution when $1 + ln t ge 0$, i.e. $t ge 1/e$. On the other hand the constant $x=1$ is a solution. Thus the actual (unique) solution with this initial point is
$$ x(t) = cases1 & if $0 < t le 1/e$cr
e^(1+ln t)^2 & if $t ge 1/e$cr$$
answered Apr 2 at 17:17
Robert IsraelRobert Israel
332k23222482
$endgroup$
$begingroup$
So am I correct that if we leave the assumption $x_0>1$ and set the initial value to $x(t_0)=1$ than we can have a constant solution $x=1$ and therefore there would be no uniqueness, right?
$endgroup$
– Wojtek Maślakiewicz
Apr 2 at 17:53
$begingroup$
Yes, with initial condition $x(t_0) = 1$ we don't have uniqueness because we have $x=1$ and also solutions of the form $$x(t) = cases1 & if $0 < t le t_1$cr e^(ln(t) - ln(t_1))^2 & if $t ge t_1$$$ for any $t_1 > t_0$.
$endgroup$
– Robert Israel
Apr 2 at 20:18
add a comment |
$begingroup$
The usual Picard–Lindelöf Existence and Uniqueness Theorem applies when the right side of your equation and its partial derivative with respect to $x$ are continuous in a neighbourhood of the initial condition $(x_0, t_0)$. This is the case for your initial condition
since $x_0 > 1$ (so there is no problem with the square root of the logarithm) and $t_0 > 0$ (so there is no problem with division by $t$). So yes, there is a unique solution satisfying the initial condition defined in some neighbourhood of $t_0$. It may stop existing or stop being unique if it runs off to $pm infty$ or leaves the region $(x > 1, t>0$).
EDITED AGAIN: For example, consider the case $t_0 = 1$, $x_0 = e$. The solution you found is $x = e^(1 + ln t)^2$. However, (assuming as usual we take the positive square root) that is only a solution when $1 + ln t ge 0$, i.e. $t ge 1/e$. On the other hand the constant $x=1$ is a solution. Thus the actual (unique) solution with this initial point is
$$ x(t) = cases1 & if $0 < t le 1/e$cr
e^(1+ln t)^2 & if $t ge 1/e$cr$$
answered Apr 2 at 17:17
Robert IsraelRobert Israel
332k23222482
$endgroup$
$begingroup$
So am I correct that if we leave the assumption $x_0>1$ and set the initial value to $x(t_0)=1$ than we can have a constant solution $x=1$ and therefore there would be no uniqueness, right?
$endgroup$
– Wojtek Maślakiewicz
Apr 2 at 17:53
$begingroup$
Yes, with initial condition $x(t_0) = 1$ we don't have uniqueness because we have $x=1$ and also solutions of the form $$x(t) = cases1 & if $0 < t le t_1$cr e^(ln(t) - ln(t_1))^2 & if $t ge t_1$$$ for any $t_1 > t_0$.
$endgroup$
– Robert Israel
Apr 2 at 20:18
add a comment |
$begingroup$
The usual Picard–Lindelöf Existence and Uniqueness Theorem applies when the right side of your equation and its partial derivative with respect to $x$ are continuous in a neighbourhood of the initial condition $(x_0, t_0)$. This is the case for your initial condition
since $x_0 > 1$ (so there is no problem with the square root of the logarithm) and $t_0 > 0$ (so there is no problem with division by $t$). So yes, there is a unique solution satisfying the initial condition defined in some neighbourhood of $t_0$. It may stop existing or stop being unique if it runs off to $pm infty$ or leaves the region $(x > 1, t>0$).
EDITED AGAIN: For example, consider the case $t_0 = 1$, $x_0 = e$. The solution you found is $x = e^(1 + ln t)^2$. However, (assuming as usual we take the positive square root) that is only a solution when $1 + ln t ge 0$, i.e. $t ge 1/e$. On the other hand the constant $x=1$ is a solution. Thus the actual (unique) solution with this initial point is
$$ x(t) = cases1 & if $0 < t le 1/e$cr
e^(1+ln t)^2 & if $t ge 1/e$cr$$
answered Apr 2 at 17:17
Robert IsraelRobert Israel
332k23222482
$endgroup$
The usual Picard–Lindelöf Existence and Uniqueness Theorem applies when the right side of your equation and its partial derivative with respect to $x$ are continuous in a neighbourhood of the initial condition $(x_0, t_0)$. This is the case for your initial condition
since $x_0 > 1$ (so there is no problem with the square root of the logarithm) and $t_0 > 0$ (so there is no problem with division by $t$). So yes, there is a unique solution satisfying the initial condition defined in some neighbourhood of $t_0$. It may stop existing or stop being unique if it runs off to $pm infty$ or leaves the region $(x > 1, t>0$).
EDITED AGAIN: For example, consider the case $t_0 = 1$, $x_0 = e$. The solution you found is $x = e^(1 + ln t)^2$. However, (assuming as usual we take the positive square root) that is only a solution when $1 + ln t ge 0$, i.e. $t ge 1/e$. On the other hand the constant $x=1$ is a solution. Thus the actual (unique) solution with this initial point is
$$ x(t) = cases1 & if $0 < t le 1/e$cr
e^(1+ln t)^2 & if $t ge 1/e$cr$$
answered Apr 2 at 17:17
Robert IsraelRobert Israel
332k23222482
edited Apr 2 at 20:15
answered Apr 2 at 17:17
Robert IsraelRobert Israel
332k23222482
answered Apr 2 at 17:17
Robert IsraelRobert Israel
332k23222482
answered Apr 2 at 17:17
Robert IsraelRobert Israel
332k23222482
332k23222482
$begingroup$
So am I correct that if we leave the assumption $x_0>1$ and set the initial value to $x(t_0)=1$ than we can have a constant solution $x=1$ and therefore there would be no uniqueness, right?
$endgroup$
– Wojtek Maślakiewicz
Apr 2 at 17:53
$begingroup$
Yes, with initial condition $x(t_0) = 1$ we don't have uniqueness because we have $x=1$ and also solutions of the form $$x(t) = cases1 & if $0 < t le t_1$cr e^(ln(t) - ln(t_1))^2 & if $t ge t_1$$$ for any $t_1 > t_0$.
$endgroup$
– Robert Israel
Apr 2 at 20:18
add a comment |
$begingroup$
So am I correct that if we leave the assumption $x_0>1$ and set the initial value to $x(t_0)=1$ than we can have a constant solution $x=1$ and therefore there would be no uniqueness, right?
$endgroup$
– Wojtek Maślakiewicz
Apr 2 at 17:53
$begingroup$
Yes, with initial condition $x(t_0) = 1$ we don't have uniqueness because we have $x=1$ and also solutions of the form $$x(t) = cases1 & if $0 < t le t_1$cr e^(ln(t) - ln(t_1))^2 & if $t ge t_1$$$ for any $t_1 > t_0$.
$endgroup$
– Robert Israel
Apr 2 at 20:18
$begingroup$
So am I correct that if we leave the assumption $x_0>1$ and set the initial value to $x(t_0)=1$ than we can have a constant solution $x=1$ and therefore there would be no uniqueness, right?
$endgroup$
– Wojtek Maślakiewicz
Apr 2 at 17:53
$begingroup$
So am I correct that if we leave the assumption $x_0>1$ and set the initial value to $x(t_0)=1$ than we can have a constant solution $x=1$ and therefore there would be no uniqueness, right?
$endgroup$
– Wojtek Maślakiewicz
Apr 2 at 17:53
$begingroup$
Yes, with initial condition $x(t_0) = 1$ we don't have uniqueness because we have $x=1$ and also solutions of the form $$x(t) = cases1 & if $0 < t le t_1$cr e^(ln(t) - ln(t_1))^2 & if $t ge t_1$$$ for any $t_1 > t_0$.
$endgroup$
– Robert Israel
Apr 2 at 20:18
$begingroup$
Yes, with initial condition $x(t_0) = 1$ we don't have uniqueness because we have $x=1$ and also solutions of the form $$x(t) = cases1 & if $0 < t le t_1$cr e^(ln(t) - ln(t_1))^2 & if $t ge t_1$$$ for any $t_1 > t_0$.
$endgroup$
– Robert Israel
Apr 2 at 20:18
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%2f3172117%2fdetermining-uniqueness-of-solution-of-ode%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
