TutorChase logo
Login
AP Calculus AB study notes

7.6.4 Verifying General Solutions by Differentiation

AP Syllabus focus:
‘Students differentiate their proposed general solution and substitute into the original differential equation to confirm that separation of variables produced a correct relationship between the function and its derivative.’

This section explains how verifying a general solution by differentiation ensures that the separated and integrated expression truly satisfies the original differential equation for all allowable values.

Verifying General Solutions by Differentiation

To verify a general solution means to demonstrate that a function obtained through separation of variables actually satisfies the original differential equation. After solving a separable differential equation, students compute its derivative and confirm that the resulting expression matches the derivative relationship given in the differential equation. This verification step reinforces the logical connection between solution formulas and the differential equations from which they are derived.

Understanding the Purpose of Verification

When separation of variables is used to solve a differential equation, the integration process produces a family of general solutions that include an arbitrary constant. Because integration may introduce algebraic manipulations that obscure the relationship between yy and dy/dxdy/dx, it is essential to confirm that the derived expression actually works. Verification ensures that:

  • The general solution satisfies the differential equation for every permissible value of the constant.

  • No steps in the separation or integration process have introduced extraneous expressions.

  • The function behaves consistently with the structure and meaning of the original rate relationship.

This graph displays a family of solution curves for a first-order differential equation, with each curve corresponding to a different value of the arbitrary constant. The curves collectively illustrate how a general solution represents infinitely many functions that all satisfy the same differential equation. The image includes additional visual variety not required by the syllabus but remains directly relevant to the concept of general solution families. Source.

Verification based on differentiation shows that these family members are not just theoretical expressions but actual functions that satisfy the given differential equation for all appropriate values.

Differentiation as a Verification Tool

Differentiation is central to the verification process because differential equations describe how a function changes. When verifying, students compute the derivative of the proposed general solution and then substitute both the function and the derivative into the differential equation to test whether the equality holds. The differential equation dictates a specific pattern of change, and verification checks whether the proposed general solution displays exactly that pattern.

General Solution: A family of functions containing an arbitrary constant that satisfies a differential equation.

Before substituting, students must compute a correct derivative and express it in a form compatible with the differential equation’s structure. This ensures that substitution is meaningful and directly comparable to the relationship the equation describes.

Structure of the Verification Process

Students benefit from approaching verification with a consistent set of steps. A structured method helps prevent errors and supports clear mathematical reasoning. This procedure highlights how the derivative and the original function work together to satisfy the differential equation.

Core Steps in Verifying a General Solution

  • Identify the original differential equation and the proposed general solution.

  • Differentiate the proposed general solution carefully with respect to the appropriate independent variable.

  • Substitute both the function and its derivative into the differential equation.

  • Simplify the resulting expression to confirm the equality holds for all values in the domain of the solution.

  • Conclude that the function is verified as a general solution if the original equation is satisfied identically.

These steps reinforce the connection between algebraic expressions obtained through integration and the original rate relationship specified in words or symbolic notation.

The Role of Algebraic Rearrangement

Because solutions found through separation of variables may not immediately resemble the form of the original differential equation, algebraic manipulation plays an important role in verification. Students must be able to:

  • Rewrite expressions involving exponentials, logarithms, or powers as needed.

  • Express the derivative in a way that aligns with the structure of the differential equation.

  • Recognize equivalent forms of mathematical expressions even when they look different from the original equation.

This reinforces the mathematical flexibility expected in calculus and ensures students understand the underlying rate relationships rather than relying solely on memorized forms.

Equations and Functional Relationships

Verification often involves expressing relationships in symbolic form. When appropriate, a differential equation can be represented as an explicit equality demonstrating how the derivative depends on the function.

dydx=f(x,y) \frac{dy}{dx} = f(x, y)
dydx \frac{dy}{dx} = Rate of change of the dependent variable with respect to the independent variable
f(x,y) f(x, y) = Expression specifying how the derivative depends on xx and yy

This symbolic representation highlights the relationship that the general solution must satisfy. Verification demonstrates that substituting the function and its derivative into this formal expression yields an identity.

Pasted image

This direction field for the differential equation T(t)=0.4(T72)T'(t) = -0.4(T - 72) illustrates how each small line segment shows the slope prescribed by the differential equation at that point. The solution curves follow these slopes, demonstrating how a true solution must match the differential equation’s slope behavior everywhere. The real-world cooling context is beyond the syllabus but effectively visualizes slope-based verification. Source.

A sentence continues the explanation: Verification ensures that the derived solution retains the relationship prescribed by the model in both its structure and behavior.

Importance of Domain Awareness

Verification implicitly requires the student to consider where the solution is defined. Because solving by separation often introduces logarithmic or fractional expressions, domain restrictions may arise that need to be acknowledged when checking the solution. A function cannot satisfy a differential equation outside its domain, and verification must reflect this limitation.

Connecting Verification to Conceptual Understanding

Verifying general solutions strengthens conceptual understanding of differential equations by reinforcing the idea that solving is not merely a mechanical process. It emphasizes:

  • The logical flow from differential equation to separated form to integrated expression.

  • The critical role of derivatives in expressing change.

  • The distinction between finding a solution and proving that it works.

This subsubtopic ensures that students can confirm the correctness of general solutions obtained using separation of variables, aligning with the syllabus expectation that they show how differentiation validates the relationship between a function and its derivative.

FAQ

Begin by re-differentiating carefully; most verification failures arise from sign slips, incorrect application of the chain rule, or incomplete simplification.

If the derivative is correct, check that any algebraic rearrangements used to separate the original differential equation were valid. Common issues include dividing by an expression that may be zero or assuming a domain restriction that removes a legitimate solution.

Finally, substitute the original function directly without any simplification. If the equation still fails to hold identically, the function is not a solution.

Separation of variables may involve dividing by an expression involving the dependent variable. If that expression can equal zero, dividing by it removes a possible constant solution from the working.

Constant solutions remain valid if substituting them into the original differential equation gives an identity.

These are known as singular or equilibrium solutions and must be checked separately from the general family of solutions.

A correct verification requires showing that both sides of the differential equation match exactly for all admissible values.

Partial simplification is acceptable as long as the equality becomes clear without ambiguity. However, incomplete simplification often hides equivalent expressions.

Best practice:
• Expand or factor only when necessary.
• Avoid over-simplifying, which may introduce algebraic errors.
• Ensure the final equality is recognisable as true for all values in the domain.

The constant C must remain arbitrary throughout verification. A general solution is valid only if the differential equation holds for every possible value of C.

During substitution:
• Treat C as a symbolic constant.
• Do not assign numerical values.
• Check that no steps require dividing by an expression involving C unless it is guaranteed non-zero.

A solution that works only for some values of C is not a true general solution.

Verification operates within the domain where the solution is defined. If solving the equation introduces logarithms, roots, or rational expressions, these may restrict the allowed values of the variable.

Restrictions may arise from:
• Expressions that become undefined, such as division by zero.
• Logarithms requiring positive arguments.
• Exponential expressions that enforce one-sided domains.

A function may verify correctly but only on a limited interval where all expressions in both the solution and the differential equation are valid.

Practice Questions

Question 1 (1–3 marks)

A general solution to a differential equation is given by y = 3e^(2x) + C. Verify that this function satisfies the differential equation dy/dx = 2(y − C).

Question 1

• Correct derivative: dy/dx = 6e^(2x). (1 mark)
• Correct substitution of y and dy/dx into dy/dx = 2(y − C). (1 mark)
• Demonstration that 6e^(2x) = 2(3e^(2x)) and therefore the equation holds. (1 mark)

Question 2 (4–6 marks)

The general solution to a differential equation is given by y = x^2 + Ce^(−3x).
(a) Differentiate the general solution.
(b) Substitute both y and dy/dx into the differential equation dy/dx = 2x − 3(y − x^2).
(c) Show through simplification that the general solution satisfies the differential equation for all real x.

Question 2

(a) Correct derivative: dy/dx = 2x − 3Ce^(−3x). (1 mark)

(b) Correct substitution of y and dy/dx into dy/dx = 2x − 3(y − x^2). (1 mark)

(c) Correct simplification of the right-hand side:
• y − x^2 = Ce^(−3x). (1 mark)
• Hence 2x − 3(y − x^2) = 2x − 3Ce^(−3x), matching dy/dx. (1 mark)
• Clear concluding statement that the general solution satisfies the differential equation. (1 mark)

Hire a tutor

Please fill out the form and we'll find a tutor for you.

1/2
Your details
Alternatively contact us via
WhatsApp, Phone Call, or Email