7.7 Finding Particular Solutions Using Initial Conditions and Separation of Variables
- Syllabus
- 2020
- Topic
- 7.7
- Level
- —
A general solution contains an arbitrary constant and represents a family of functions. An initial condition such as y(a)=y0 determines that constant and selects the particular solution passing through (a,y0).
F(x)=y_0+\int_a^x f(t),dt
When dy/dx=f(x), this formula automatically satisfies both requirements: the Fundamental Theorem of Calculus gives F′(x)=f(x), and F(a)=y0 because an integral with equal bounds is 0. The integration variable t is a placeholder, leaving x as the input of F.
For dy/dx=y2 with y(0)=1, separation gives y−2dy=dx, so −1/y=x+C. Substituting (0,1) gives C=−1, hence y=1/(1−x). Differentiating yields y′=1/(1−x)2=y2, and y(0)=1, so both the equation and initial condition hold.
A particular formula is not automatically valid for every real x. The solution 1/(1−x) is undefined at x=1, so the maximal interval containing the initial input 0 is (−∞,1). State a domain interval that contains the initial point and does not cross a discontinuity of the solution or differential equation.