Initial and Boundary Value Problems
Overview of Initial (IVPs) and Boundary Value Problems (BVPs) | Nonlinear IVPs and BVPs |
Linear IVPs and BVPs | IVPs with Piecewise Coefficients |
Overview of Initial (IVPs) and Boundary Value Problems (BVPs)
DSolve can be used for finding the general solution to a differential equation or system of differential equations. The general solution gives information about the structure of the complete solution space for the problem. However, in practice, one is often interested only in particular solutions that satisfy some conditions related to the area of application. These conditions are usually of two types.
- The solution
and/or its derivatives are required to have specific values at a single point, for example,
and
. Such problems are traditionally called initial value problems (IVPs) because the system is assumed to start evolving from the fixed initial point (in this case, 0).
- The solution
is required to have specific values at a pair of points, for example,
and
. These problems are known as boundary value problems (BVPs) because the points 0 and 1 are regarded as boundary points (or edges) of the domain of interest in the application.
The symbolic solution of both IVPs and BVPs requires knowledge of the general solution for the problem. The final step, in which the particular solution is obtained using the initial or boundary values, involves mostly algebraic operations, and is similar for IVPs and for BVPs.
IVPs and BVPs for linear differential equations are solved rather easily since the final algebraic step involves the solution of linear equations. However, if the underlying equations are nonlinear, the solution could have several branches, or the arbitrary constants from the general solution could occur in different arguments of transcendental functions. As a result, it is not always possible to complete the final algebraic step for nonlinear problems. Finally, if the underlying equations have piecewise (that is, discontinuous) coefficients, an IVP naturally breaks up into simpler IVPs over the regions in which the coefficients are continuous.
Linear IVPs and BVPs
To begin, consider an initial value problem for a linear first-order ODE.

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-dox

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-nkp


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-eau


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-0w


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-uyw


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-i11







https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-wau


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-cx1

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-d5r


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-uio


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-wb9


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-j3p


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-q9w


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-yah


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-pbo







https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-fag


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-i9p

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-f3k


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-rry

It should be noted that, in contrast to initial value problems, there are no general existence or uniqueness theorems when boundary values are prescribed, and there may be no solution in some cases.



https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-gah


The previous discussion of linear equations generalizes to the case of higher-order linear ODEs and linear systems of ODEs.

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-ijf

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-nvi


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-i26


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-ftv


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-uot

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-qqb

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-rnb

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-g34


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-si8






https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-beo


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-s7

Nonlinear IVPs and BVPs
Many real-world applications require the solution of IVPs and BVPs for nonlinear ODEs. For example, consider the logistic equation, which occurs in population dynamics.

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-mh4

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-yk7


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-yme


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-kg8



https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-x6l


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-pu7


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-kyc

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-ye2


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-iv9


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-ep



https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-haa


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-e97

It may not always be possible to obtain a symbolic solution to an IVP or BVP for a nonlinear equation. Numerical methods may be necessary in such cases.
IVPs with Piecewise Coefficients
The differential equations that arise in modern applications often have discontinuous coefficients. DSolve can handle a wide variety of such ODEs with piecewise coefficients. Some of the functions used in these equations are UnitStep, Max, Min, Sign, and Abs. These functions and combinations of them can be converted into Piecewise objects.

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-gkr


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-wey


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-e9g

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-lpf



https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-qdl


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-ifz


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-e93


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-bhc

A piecewise ODE can be thought of as a collection of ODEs over disjoint intervals such that the expressions for the coefficients and the boundary conditions change from one interval to another. Thus, different intervals have different solutions, and the final solution for the ODE is obtained by patching together the solutions over the different intervals.



https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-cc9


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-on5


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-fti

If there are a large number of discontinuities in a problem, it is convenient to use Piecewise directly in the formulation of the problem.

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-kom

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-dnz


https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-m5d

https://wolfram.com/xid/0t2jh11ugb0oa34kn88ecsaibsk-g2v
