Questions tagged [initial-value-problems]

This tag is about questions regarding Initial value problems. In the field of differential equations, an initial value problem is an ordinary differential equation together with a specified value, called the initial condition, of the unknown function at a given point in the domain of the solution.

A lot of the equations that we deal with in science and engineering are derived from a specific type of differential equation called an initial value problem.

An Initial Value Problem $($often times abbreviated I.V.P. and also called a Cauchy problem$)$ is a problem where we want to find a solution to some differential equation that satisfies an appropriate number of initial conditions.

Generalized Definition: An Initial Value Problem for an $~n^{\text{th}}~$ order ordinary differential equation is an $~n^{\text{th}}~$ order ODE $$y^{(n)}=h(t,y,y^{(1)},\cdots,y^{(n−1)})$$ with initial Conditions $~y^{(i−1)}(τ)=ξ_i~$ where $~i=1,2,\cdots,n~$ and $~(τ,ξ_1,ξ_2,\cdots,ξ_n)~∈~D~$.

A Solution to the initial value problem $$y^{(n)}=h(t,y,y^{(1)},\cdots,y^{(n−1)})$$ with initial conditions $~y^{(i−1)}(τ)=ξ_i~$ where $~i=1,2,\cdots,n~$ on the open interval $~J=(a,b)~$ is an $n-$times continuously differentiable function $~ϕ∈C^n(J,\mathbb R)~$ such that for all $~t∈J~$ we have that $~(t,ϕ(t),ϕ^{(1)}(t),\cdots,ϕ^{(n−1)}(t))∈D~$, $~ϕ(n)=h(t,ϕ,ϕ^{(1)},\cdots,ϕ^{(n−1)})~$, and $~ϕ^{(i−1)}(τ)=ξ_i~$ for $~i=1,2,\cdots,n~$.

Differences between Initial and Boundary Value Problems :

An initial value problem has all of the conditions specified at the same value of the independent variable in the equation (and that value is at the lower boundary of the domain, thus the term “initial” value). On the other hand, a boundary value problem has conditions specified at the extremes of the independent variable.

Note: In physics or other sciences, modeling a system frequently amounts to solving an initial value problem; in this context, the differential initial value is an equation that is an evolution equation specifying how, given initial conditions, the system will evolve with time.

References:

https://en.wikipedia.org/wiki/Initial_value_problem

"Differential Equations" by Shepley L. Ross

"Differential Equations with Applications and Historical Notes " by George Simmons

"Differential Equations: Theory, Technique, and Practice" by George F. Simmons and Steven G. Krantz

1169 questions
10
votes
4 answers

Uniqueness of ODE solution to $(1+y'^2)\cdot y = k$ (brachistochrone problem)

Let $k$ and $a$ be positive constants, and $y_a$ a non-negative constant. Consider the following ordinary differential equation $$(1+[y'(x)]^2)\cdot y(x) = k, \qquad x \in (0, a),$$ over such functions $y\in Y$ where $$Y = \left\{\,y\in…
9
votes
1 answer

ODE IVP : $u_t + uu_x = 1, \; \; u(x,0) = x$

Exercise : Solve the IVP : $u_t + uu_x = 1, \; \; u(x,0) = x$ Attempt : $$\frac{\mathrm{d}x}{u} = \frac{\mathrm{d}t}{1} = \frac{\mathrm{d}u}{1}$$ Thus, the two linearly independent integral curves, are : $$u_1 = t-u$$ $$u_2 = \frac{1}{2}(u^2 -…
9
votes
1 answer

Non-uniqueness of solutions of an ordinary differential equation

For instance, consider the following initial value problem $$x'=3x^{2/3}, \ \ \ \ x(0)=0$$ This initial value problem has infinitely many solutions given by $$ x(t) = \begin{cases} 0 & t
8
votes
4 answers

Solving $y' = \sqrt{|y|}$

I would like to solve the differential equation given by $$ y' = \sqrt{|y|},\qquad y(0) = 0 $$ This is equivalent, if we suppose that $y > 0$, to $$ \frac{dy}{dt} = y^{1/2} \text{ if and only if } y^{-1/2} dy = dt $$ so it should be: $$ 2 y^{1/2} =…
user55268
7
votes
1 answer

Does non-uniqueness of solution to 1st order ODE implies the existence of infinitely many solutions?

Consider the following initial value problem (IVP) to the first order ODE: $$\tag{1} \dot x = f(t, x), \ \ \ x(t_0) = x_0.$$ The Existence and Uniqueness Theorem describes when one has exactly one solutions. This is true (e.g.) when $f$ is…
6
votes
1 answer

Well-posedness for system of linear PDES

I am studying systems of partial differential equations (PDEs) with smooth coefficients and am trying to understand the general solution. Consider the following system: \begin{align} u_x &= a_{11}(x,y)u + a_{12}(x,y)v, \\ u_y &= a_{21}(x,y)u +…
6
votes
2 answers

On the existence of infinitely many linearly independent solutions for a non-linear IVP $y'=f(t,y),~y(t_0)=y_0$.

Consider the IVP $$ \begin{cases} y'=f(t,y),\\ y(t_0)=y_0 \end{cases} \label{1}\tag{$\ast$} $$ Case $1$: $f$ is Lipschitz w.r.t $y$ and continuous w.r.t $t$ in a vertical (infinite) strip $[a,b]\times \Bbb R$ containing the point $(t_0,y_0)$. Here…
6
votes
1 answer

Does Lipschitz-kind "non-scalar ODEs" and PDEs could stand having finite-duration solutions?

Does Lipschitz-kind "non-scalar ODEs" and PDEs could stand having finite-duration solutions? Intro Recently I have found on these papers by Vardia T. Haimo (1985) Finite Time Controllers and Finite Time Differential Equations that there exists…
6
votes
1 answer

Understanding the proof of the adjoint sensitivity method

I have been trying to understand the proof of the adjoint sensitivity method to calculate the gradients $dJ/d\theta$ of a loss functional, \begin{align*} J(\theta) &= L(x(T))+\int_{0}^{T}\ell(x(t))dt \\ \text{s.t.}\quad &\dot{x}(t) =…
6
votes
2 answers

finding a solution for this recurrence relation

Find the sequence satisfying the recurrence relation $$n a_{n+1} = (n+1) a_n+n(n+1)$$ with the initial condition $a_0=0$. I'm trying to find a solution for this recurrence relation. After dividing both sides by $n(n+1)$, we get:…
6
votes
0 answers

Showing that there exists a solution to $y^\prime(t)=y-e^{-y}+e^{-t}$ with $y(0)=0$ and $0\leq t\leq 1$

This is Exercise 10 from section 1.10 of Braun's book on differential equations (3rd edition). Show a solution $y(t)$ of the given initial value problem exists on the specified interval: $$y^\prime(t)=y+e^{-y}+e^{-t}$$ $$y(0)=0$$ $$0\leq t\leq…
6
votes
3 answers

The IVP $\begin{cases}\dot{x}=x^3+e^{-t^2}\\x(0)=1\end{cases}$ possesses a solution in $I=(-1/9,1/9)$

I'm stuck with this problem: Prove that the IVP $$\begin{cases}\dot{x}=x^3+e^{-t^2}\\x(0)=1\end{cases}$$ has an unique solution defined on $I=(-1/9,1/9)$. Which is the largest interval of definition of the solution? We can extend that solution to…
6
votes
2 answers

Show that the largest interval of existence of the solution predicted by Picard's Theorem is $[0,\frac{1}{2}]$

Let the $\operatorname{IVP}$ be given by: $\dfrac{\operatorname{dy}}{\operatorname{dx}}=y^2+\cos^2 x;x>0;y(0)=0$ Show that the largest interval of existence of the solution predicted by Picard's Theorem is $[0,\frac{1}{2}]$ By Picard's Existence and…
Learnmore
  • 31,675
  • 10
  • 110
  • 250
5
votes
2 answers

Is this periodic solution unique? (ODE)

So, for the ODE \begin{align} x' = -x^{3} + \sin t, \end{align} we can show that there exists a $2\pi$ periodic solution. To do this, we denote by \begin{align} x(t,\alpha) \end{align} The solution $x(t)$ of the ODE such that $x(0) = \alpha$. …
5
votes
3 answers

Solution of 1st order linear ODE

For $\alpha \in \mathbb{R}$, let $y_{\alpha}(x)$ be the solution of the differential equation $$\frac{dy}{dx} + 2 y = \frac{1}{1+x^2},\text{satisfying} \space y(0)=\alpha.$$Then prove that $\lim\limits_{x\to\infty}y_{\alpha}(x)=0$. Since the…
1
2 3
77 78