Existence and uniqueness of differential solution, help?by Lengalicious Tags: differential, existence, solution, uniqueness 

#1
Feb2812, 12:57 PM

P: 146

Ok so ill give an example, x'(t) = log(3t(x(t)2)) is differential equation where t_{0} = 3 and x_{0} = 5
The initial value problem is x(t_{0}) = x_{0}. So what i'de do is plug into initial value problem to get x(3) = 5, so on a graph this plot would be at (5,3)? Then plop conditions into differential equation so: x'(3) = log(3*3(5  2)) = 1.43 which would be at a plot (1.43,3)? So x'(3) < x(3), does this mean that the solution is unique for all t? If so, why is this? Just want to understand 100%. 



#2
Feb2812, 03:09 PM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,882

I am confused as to what you are saying.
"Ok so ill give an example, x'(t) = log(3t(x(t)2)) is solution to equation where t0 = 3 and x0 = 5". x'(t)= ... is NOT a "solution" to a differential equation, it is a differential equation. Or do you mean to say that x(t)= log(4t(x(t) 2)) is a solution to some unknown differential equation? Then whether or not that equation is unique depends upon exactly what the differential equation is. 



#3
Feb2812, 03:22 PM

P: 146

Ok, yes my mistake its a differential equation i guess? This is where I myself am confused =/. If its a differential equation then how do you find out whether it has a unique solution or not?




#4
Feb2812, 10:39 PM

P: 188

Existence and uniqueness of differential solution, help?
If dx/dt=f(x,t), and both f and the partial of f w.r.t. x are continuous in some region about your initial point then then exists a unique solution of the initial value problem in some region containing that initial point. This is a local property. The proof is dependent upon finding a sequence of solutions via Picard iteration which converges to the unique solution. You can find this proof in any introductory ode text.




#5
Feb2912, 10:22 AM

Sci Advisor
PF Gold
P: 1,942

x(3+s) approx x(3)+x'(3)s = 5+1.43 s for small s. Then you continue from that point. This gives you an idea of the solution, not very accurate though. It is called Euler's method, but it can be refined to give an existence and uniqueness proof, if you make appropriate assumption about the differential equation. 



#6
Feb2912, 12:21 PM

P: 146

Ok, I sort of get it but still slightly confused, an exact question I have is: In the following case:
x'(t) = log(3t(x(t)2)), where t_{0} = 3 and x_{0} = 5 Does the theorem of existence and unicity guarantee an existence of a solution for the initial value problem x(t_{0}) = x_{0}? Justify your answer. What would your answer be to this? Would help me understand if I got a model answer. 



#7
Feb2912, 12:54 PM

Sci Advisor
PF Gold
P: 1,942




#8
Feb2912, 01:01 PM

P: 188

I gave you the conditions and the general approach above. Look in any intro ode book. Here's a link if you don't have one:
http://www.math.uconn.edu/~troby/Mat.../existence.pdf 



#9
Feb2912, 01:19 PM

P: 146

Ok thanks
EDIT: Wow yeh that link you gave is incredibly useful, thanks alot =) 



#10
Feb2912, 03:18 PM

P: 146

In this case where the differential equation is dx/dt = √x , I understand that to get the intervals is easy cuz x is independant from t so t would belong to all real numbers and x would be ≥ 0, but in the example I have given I don't understand how to get the interval since x(t) is within the function?
EDIT: basically how do i find the domain of the function in the original differential equation posted. And just to straighten my understanding out, I find the domain of the functions variables, then the domain of the partial derivates , then consider maximum interval that fullfills both requirements and compare to the initial condition to consider whether a unique solution exists or not. EDIT: Ok I think i got it, so i use intial condition to figure out x(t) in this case i think x(t) = t+2, so would the domain of the function be x belongs to ℝ and t ≠ 0, then for the partial derivative = 2/t where domain is t ≠ 0. so initial condition has to satisfy t ≠ 0 for there to be unique solution? Due to common subset of t ≠ 0, initial value condition shows that t_{0} = 3 and therefore belongs to common interval so a unique solution exists? 



#11
Mar112, 01:44 PM

P: 146

Can anyone let me know if what i said was correct? I am confused as how to find the domain of f(x,t) cuz the function contains x(t) and t, so whats the domain for x and whats the domain for t? I was thinking t ≠ 0 and x ≠ 0 cuz their both inside the log funct.



Register to reply 
Related Discussions  
Differential Equations  Existence and Uniqueness  Calculus & Beyond Homework  14  
Existence and Uniqueness of a Linear Least Squares Solution  Calculus & Beyond Homework  1  
Differential Existence and Uniqueness  Calculus & Beyond Homework  1  
Theorem of the uniqueness and existence of a solution of ODE  Differential Equations  4  
Existence and Uniqueness of a solution for ordinary DE  Calculus  2 