AP Calculus: Verifying Solutions of Differential Equations

Verifying Solutions of Differential Equations

Concept Summary

• Differential equation (DE): An equation relating a function to its derivatives; models rates of change in science and engineering.
• Solution of a DE: A function that satisfies the DE when substituted into it, reducing the equation to an identity.
• Verification: The process of substituting a proposed solution into the DE to confirm it holds true for all relevant inputs.
• General solution: Contains arbitrary constants (e.g., C) representing a family of solutions; satisfies the DE for all valid C.
• Particular solution: A specific solution obtained by assigning values to arbitrary constants (e.g., via initial conditions).

Core Questions

WHAT (definitional)

Q: What is a solution to a differential equation? A: A function y(x) that, when substituted into the DE along with its derivatives, makes the equation true for all x in its domain. Trap/Clarification: A solution must satisfy the DE everywhere in its domain, not just at isolated points.

Q: What is the difference between a general and particular solution? A: A general solution includes arbitrary constants (e.g., C), while a particular solution assigns specific values to those constants. Trap/Clarification: A particular solution is not "more correct"—it’s just a specific case of the general solution.

WHY (causal/explanatory)

Q: Why is verification important for DE solutions? A: Verification confirms that a proposed solution is mathematically valid and not an extraneous result from integration or algebraic manipulation. Trap/Clarification: Skipping verification can lead to accepting incorrect solutions (e.g., from sign errors or misapplied integration).

Q: Why do general solutions include arbitrary constants? A: DEs describe families of functions (e.g., all antiderivatives), and constants represent degrees of freedom resolved by initial/boundary conditions. Trap/Clarification: The number of constants equals the order of the DE (e.g., 2nd-order DEs have two constants).

HOW (process/application)

Q: How do you verify a proposed solution to a DE? A: Substitute y(x) and its derivatives into the DE, simplify, and check if the equation reduces to an identity (e.g., 0 = 0 or x = x). Trap/Clarification: Forgetting to compute all required derivatives (e.g., missing y'' for a 2nd-order DE) is a common error.

Q: How is a particular solution obtained from a general solution? A: Use initial conditions (e.g., y(0) = 2) to solve for arbitrary constants, then substitute back into the general solution. Trap/Clarification: Initial conditions must match the order of the DE (e.g., two conditions for a 2nd-order DE).

CAN (conditions/possibilities)

Q: Can a DE have multiple general solutions? A: No—while a DE may have infinitely many particular solutions, its general solution is unique (up to form, e.g., C vs. K). Trap/Clarification: Different-looking general solutions (e.g., y = Ce^x vs. y = Ke^x) are equivalent if they represent the same family.

Q: Under what conditions does a DE have no solution? A: If the DE is inconsistent (e.g., y' = y + 1 with y(0) = -1 leads to a contradiction) or if initial conditions violate existence/uniqueness (e.g., discontinuities in f(x,y)). Trap/Clarification: Always check initial conditions against the DE’s domain (e.g., y' = 1/y fails at y = 0).

Quick Facts & Traps

• Fact: Verification requires exact substitution—approximate values (e.g., e-2.718) are insufficient.
• Trap: Assuming y = 0 is always a solution-Reality: Only true if the DE reduces to 0 = 0 when y = 0 is substituted.
• Fact: For y' = f(x,y), a solution exists if f and ?f/?y are continuous near the initial condition (Picard-Lindelöf Theorem).
• Trap: Ignoring implicit solutions (e.g., x² + y² = C)-Reality: These must be differentiated implicitly to verify.
• Fact: Constants of integration must be independent (e.g., y = C?e^x + C?e^x is invalid—combine into y = Ce^x).
• Trap: Misapplying initial conditions to the wrong derivative-Reality: y(0) = 2 applies to y, not y'.

Rapid-Fire True/False

• Statement: If y = x² satisfies y' = 2x, then y = x² + 5 is also a solution. Answer: TRUE Why the common mistake happens: Students forget that constants of integration are absorbed into the general solution.

• Statement: A solution to y'' + y = 0 must satisfy y(0) = 0 and y'(0) = 0. Answer: FALSE Why the common mistake happens: Initial conditions are given, not inherent to the DE; the general solution (y = C?cos x + C?sin x) allows any C?, C?.

• Statement: If y = e^(kx) satisfies y' = ky, then y = e^(kx) + 1 also satisfies it. Answer: FALSE Why the common mistake happens: Adding a constant changes the derivative (y' = ke^(kx)-k(e^(kx) + 1)), violating the DE.