Single-Variable-Calculus Β· Unit 13 Β· Video 2 Β· Interactive Practice

General Solutions: Signs, Constants and Initial Conditions

IKey Formulas

FormulaNameMeaning
∫dyy=ln⁑∣y∣+c\displaystyle\int \frac{dy}{y} = \ln|y| + cLog antiderivativeValid for y<0y < 0 as well as y>0y > 0, so for every yβ‰ 0y \ne 0
∣y∣=eceβˆ’x2/2β€…β€Šβ‡’β€…β€Šy=Β±eceβˆ’x2/2|y| = e^{c}e^{-x^2/2} \;\Rightarrow\; y = \pm e^{c}e^{-x^2/2}Both signsΒ±ec\pm e^{c} takes every nonzero value
y=a eβˆ’x2/2y = a\,e^{-x^2/2}, aa any constantGeneral solution of dydx=βˆ’xy\dfrac{dy}{dx} = -xya=Β±eca = \pm e^{c} for aβ‰ 0a \ne 0; a=0a = 0 is the lost solution y=0y = 0
y(0)=3β€…β€Šβ‡’β€…β€Ša e0=3β€…β€Šβ‡’β€…β€Ša=3y(0) = 3 \;\Rightarrow\; a\,e^{0} = 3 \;\Rightarrow\; a = 3Initial conditionOne value of yy picks one curve from the family

Key Insight: Dividing by yy throws away the solutions where y=0y = 0. Check them directly and add them back. The one constant from antidifferentiating starts out added (+ c+\,c) and becomes a factor (ece^{c}) after exponentiating.

IIVisualization 1 β€” Where Every Solution Comes From

The assumption y>0y > 0 yields only the curves above the axis; ln⁑∣y∣\ln|y| and the zero check supply the rest.

Step 1 β€” Assume y>0y > 0

ln⁑y=βˆ’x22+c\ln y = -\tfrac{x^2}{2} + c
y=eceβˆ’x2/2,ec>0y = e^{c}e^{-x^2/2},\quad e^{c} > 0

IIIVisualization 2 β€” One Value Picks One Curve

A single point y(x0)=y0y(x_0) = y_0 fixes a=y0 ex02/2a = y_0\,e^{x_0^2/2}, and the curve keeps the sign of aa everywhere.

IVVisualization 3 β€” Added Constant, Then a Factor

The same cc shifts ln⁑∣y∣\ln|y| up by cc and stretches ∣y∣|y| by the factor ece^{c}.

πŸ’‘ Two constants ln⁑∣y∣+c1=βˆ’x22+c2\ln|y| + c_1 = -\tfrac{x^2}{2} + c_2 give nothing new: c2βˆ’c1c_2 - c_1 is one arbitrary constant cc.

VQuiz Questions

Problem 1 Β· Pick the Curve

Given: dydx=βˆ’xy\dfrac{dy}{dx} = -xy with y(0)=βˆ’2y(0) = -2 β€” find the solution.

βœ… Correct! a e0=βˆ’2a\,e^{0} = -2 gives a=βˆ’2a = -2; since eβˆ’x2/2>0e^{-x^2/2} > 0, this solution stays negative for every xx.
❌ Close, but check the sign. 2eβˆ’x2/22e^{-x^2/2} is a solution, but its value at 00 is 22, not βˆ’2-2. Negative aa is allowed: a=Β±eca = \pm e^{c}.
❌ Not quite. It does pass through (0,βˆ’2)(0, -2), but the constant is a factor, not an added term: yβ€²=βˆ’xeβˆ’x2/2y' = -xe^{-x^2/2} while βˆ’xy=βˆ’xeβˆ’x2/2+3x-xy = -xe^{-x^2/2} + 3x.
❌ Not quite. The exponent sign is off: ddxex2/2=xex2/2\tfrac{d}{dx}e^{x^2/2} = xe^{x^2/2}, which solves yβ€²=xyy' = xy, not yβ€²=βˆ’xyy' = -xy.
❌ Not quite. Put x=0x = 0 into y=a eβˆ’x2/2y = a\,e^{-x^2/2} and solve for aa.
Show solution

The general solution is y=a eβˆ’x2/2y = a\,e^{-x^2/2} with aa any constant. Setting x=0x = 0:

a eβˆ’02/2=aβ‹…1=βˆ’2⟹a=βˆ’2.a\,e^{-0^2/2} = a \cdot 1 = -2 \quad\Longrightarrow\quad a = -2.

So y=βˆ’2eβˆ’x2/2y = -2e^{-x^2/2}, the mirror image of the a=2a = 2 bell curve. It solves the equation because yβ€²=βˆ’2(βˆ’x)eβˆ’x2/2=2xeβˆ’x2/2=βˆ’x yy' = -2(-x)e^{-x^2/2} = 2xe^{-x^2/2} = -x\,y.

Problem 2 Β· The Lost Solution

Given: dydx=x(yβˆ’2)\dfrac{dy}{dx} = x(y - 2) is separated as dyyβˆ’2=x dx\dfrac{dy}{y - 2} = x\,dx, giving ln⁑∣yβˆ’2∣=x22+c\ln|y - 2| = \tfrac{x^2}{2} + c β€” find the solution that this division loses.

βœ… Correct! The division by yβˆ’2y - 2 is impossible where y=2y = 2, and the constant y=2y = 2 satisfies 0=x(2βˆ’2)0 = x(2 - 2).
❌ Not quite. Here the divisor is yβˆ’2y - 2, not yy. And y=0y = 0 is not a solution: 0β‰ x(0βˆ’2)=βˆ’2x0 \ne x(0 - 2) = -2x.
❌ Close, but… ln⁑∣yβˆ’2∣\ln|y - 2| recovers both signs of yβˆ’2y - 2, yet it is defined only for yβ‰ 2y \ne 2, so the case yβˆ’2=0y - 2 = 0 is still missing.
❌ Not quite. A division loses the solutions that make the divisor zero; check that candidate in the original equation.
Show solution

Dividing by yβˆ’2y - 2 requires yβ‰ 2y \ne 2. Test the constant function y=2y = 2:

ddx(2)=0,x(2βˆ’2)=0βœ“\frac{d}{dx}(2) = 0, \qquad x(2 - 2) = 0 \quad\checkmark

So y=2y = 2 is a solution the method missed. Exponentiating gives yβˆ’2=Β±ecex2/2y - 2 = \pm e^{c}e^{x^2/2}, and adding back y=2y = 2 as a=0a = 0 gives the general solution

y=2+a ex2/2,aΒ anyΒ constant.y = 2 + a\,e^{x^2/2}, \quad a \text{ any constant}.

Problem 3 Β· Family, Then One Member

Given: dydx=3x2y\dfrac{dy}{dx} = 3x^2y with y(1)=5y(1) = 5 β€” find the general solution and the constant fixed by the initial condition.

What is the general solution?

What is aa?

βœ… Correct! y=5eex3=5ex3βˆ’1y = \tfrac{5}{e}e^{x^3} = 5e^{x^3 - 1}, which equals 55 at x=1x = 1.
❌ Not quite. The constant is additive only right after antidifferentiating: ln⁑∣y∣=x3+c\ln|y| = x^3 + c. Exponentiating turns it into a factor.
❌ Check the general solution. Separate: dyy=3x2 dx\dfrac{dy}{y} = 3x^2\,dx, and an antiderivative of 3x23x^2 is x3x^3.
❌ Close, but… a e1=5a\,e^{1} = 5 means dividing by ee, not multiplying.
❌ Check aa. The initial value is at x=1x = 1, not x=0x = 0: substitute x=1x = 1 into y=a ex3y = a\,e^{x^3}.
Show solution

Separate (for y≠0y \ne 0) and integrate:

dyy=3x2 dx⟹ln⁑∣y∣=x3+c⟹y=Β±ecex3.\frac{dy}{y} = 3x^2\,dx \quad\Longrightarrow\quad \ln|y| = x^3 + c \quad\Longrightarrow\quad y = \pm e^{c}e^{x^3}.

The lost solution y=0y = 0 satisfies 0=3x2β‹…00 = 3x^2 \cdot 0, so with a=Β±eca = \pm e^{c} or a=0a = 0 the general solution is y=a ex3y = a\,e^{x^3}, aa any constant.

Initial condition:

y(1)=a e1=5⟹a=5e,y=5ex3βˆ’1.y(1) = a\,e^{1} = 5 \quad\Longrightarrow\quad a = \frac{5}{e}, \qquad y = 5e^{x^3 - 1}.

Problem 4 Β· An Implicit Answer and Its Sign

Given: dydx=4xy\dfrac{dy}{dx} = \dfrac{4x}{y} with y(0)=βˆ’3y(0) = -3. Separating gives y dy=4x dxy\,dy = 4x\,dx, so y22=2x2+c\tfrac{y^2}{2} = 2x^2 + c β€” find the solution y(x)y(x).

βœ… Correct! The implicit answer y2=4x2+9y^2 = 4x^2 + 9 allows both signs, and y(0)=βˆ’3y(0) = -3 selects the negative branch.
❌ Close, but check the sign. y2=4x2+9y^2 = 4x^2 + 9 gives y=Β±4x2+9y = \pm\sqrt{4x^2 + 9}; the positive root has y(0)=3y(0) = 3, not βˆ’3-3.
❌ Not quite. 4x2+9β‰ 2x+3\sqrt{4x^2 + 9} \ne 2x + 3: a square root does not split over a sum. Also (2xβˆ’3)β€²=2(2x - 3)' = 2, while 4xy=4x2xβˆ’3\tfrac{4x}{y} = \tfrac{4x}{2x - 3}.
❌ Not quite. That has the shape of the yβ€²=4xyy' = 4xy solutions; here 4x4x is divided by yy, so the separated form is y dy=4x dxy\,dy = 4x\,dx, with no logarithm.
❌ Not quite. Fix cc from y(0)=βˆ’3y(0) = -3 first, then solve y2=4x2+2cy^2 = 4x^2 + 2c for yy.
Show solution

Integrating both sides of y dy=4x dxy\,dy = 4x\,dx:

y22=2x2+c⟹y2=4x2+2c.\frac{y^2}{2} = 2x^2 + c \quad\Longrightarrow\quad y^2 = 4x^2 + 2c.

At x=0x = 0, y=βˆ’3y = -3: 9=0+2c9 = 0 + 2c, so 2c=92c = 9 and y2=4x2+9y^2 = 4x^2 + 9. This implicit formula describes two curves, y=Β±4x2+9y = \pm\sqrt{4x^2 + 9}. The starting value is negative, so

y=βˆ’4x2+9.y = -\sqrt{4x^2 + 9}.

Check: yβ€²=βˆ’4x4x2+9=4xβˆ’4x2+9=4xyy' = -\dfrac{4x}{\sqrt{4x^2 + 9}} = \dfrac{4x}{-\sqrt{4x^2 + 9}} = \dfrac{4x}{y} βœ“, and y(0)=βˆ’9=βˆ’3y(0) = -\sqrt{9} = -3 βœ“.

Solved: 0 / 4