Home›Calculus 2›First-order linear equations›Problem 6.65

First-order linear equations

Problem 6.65 · hard Video

Solve \( \displaystyle y' + 4y = 2 e^{- 4 x} \) with \( \displaystyle y(0) = -2 \).

The equation is linear in standard form; the integrating factor is e^(∫4 dx) = e^(4x).
\[ \frac{d}{d x} Y{\left(x \right)} e^{4 x} = 4 Y{\left(x \right)} e^{4 x} + e^{4 x} \frac{d}{d x} Y{\left(x \right)} \]
Multiplying by e^(ax) turns the left side into (e^(ax) y)'.✓ Proved
\[ \int 2\, dx = 2 x \]
Integrate the right side.✓ Proved
Setting x = 0 and y = -2 fixes the constant of integration: C = -2.
\[ \left(8 x - 8\right) e^{- 4 x} + \frac{d}{d x} \left(2 x - 2\right) e^{- 4 x} = 2 e^{- 4 x} \]
The solution satisfies the equation.✓ Proved
\[ -2 \]
And the initial condition.

Answer \( y = 2 \left(x - 1\right) e^{- 4 x} \)

The slope field of y' = -4y + 2e^(-4x): short segments showing the slope at each point. Several solution curves follow the field; the one through (0, -2) is highlighted, y = (2x - 2)·e^(-4x).

Lines: 3 proved, 3 not checked. The answer was also checked a second way, without looking at the solution. The reviewers disagree about how one step is explained; every verdict is in the receipt. How we verify

The full receipt

Line	Status	Checked by	Detail
1	Not checked	—	a sentence; read, not computed
2	✓ Proved	sympy 1.14.0	simplify(lhs - rhs) reduced to 0
3	✓ Proved	sympy 1.14.0	simplify(lhs - rhs) reduced to 0
4	Not checked	—	a sentence; read, not computed
5	✓ Proved	sympy 1.14.0	simplify(lhs - rhs) reduced to 0
6	Not checked	—	both sides are the same expression: the line states a value, and the working that produced it is not on the line
answer, a second way	✓ Checked independently	sympy 1.14.0 + mpmath 1.3.0	sympy.checkodesol substitutes the solution back; y(0) matches

Reviewers

gpt-oss:20b: pass
qwen3.6:27b-mlx: fail (error) — The solution claims the constant of integration C = -2, but the general solution is y = (2x + C)e^{-4x}, so y(0) = C implies C = -2. However, the stated answer is 2(x-1)e^{-4x} = (2x - 2)e^{-4x}, which corresponds to C = -2. Wait, let's re-evaluate. The integrating factor is e^{4x}. (y e^{4x})' = 2. Integrating gives y e^{4x} = 2x + C. So y = (2x + C)e^{-4x}. With y(0) = -2, we get -2 = (0 + C)e^0 => C = -2. So y = (2x - 2)e^{-4x} = 2(x-1)e^{-4x}. The final answer is correct. Let's look at the sentences again. Sentence 4 says 'Setting x = 0 and y = -2 fixes the constant of integration: C = -2.' This is correct. Sentence 1 is correct. Sentence 2 is an equation check. Sentence 3 is an equation check. Sentence 5 checks the ODE. Sentence 6 checks the IC. The solution seems correct. Why would it fail? Let me re-read the prompt constraints. 'Check that... each conclusion follows from the lines before it'. Line 4 concludes C=-2. Line 5 verifies the final answer. The final answer is derived from C=-2. The logic holds. Is there a subtle error? The problem asks to 'Solve'. The solution provides the answer and verifies it. It doesn't explicitly show the step y = (2x+C)e^{-4x} before plugging in C. It jumps from finding C to verifying the final answer. This is a gap in the derivation, but is it an 'error' or 'misleading'? A student might not know how to get from C=-2 to the final form if the intermediate step is missing. However, the verification steps prove the answer is correct. Let's look closer at Sentence 4. It says 'fixes the constant... C=-2'. It doesn't state the general solution form. But Sentence 5 verifies the specific function. The 'solution' is the set of lines. The lines don't explicitly derive the final form from C, they just verify it. This is a valid method (guess and check / verification). Is it 'misleading'? It teaches that verification is sufficient. But usually, one derives it. Let's look for a harder error. Maybe the integrating factor sign? y' + 4y = ... IF is e^{4x}. Correct. Integral of 2 is 2x. Correct. y e^{4x} = 2x + C. y = 2x e^{-4x} + C e^{-4x}. y(0) = -2 => C = -2. y = 2x e^{-4x} - 2 e^{-4x} = 2(x-1)e^{-4x}. Everything is correct. Why did I think it might fail? Maybe the prompt implies I should find a fault. Let's look at Sentence 2. 'Multiplying by e^(ax) turns the left side into (e^(ax) y)'.' This is a comment on the equation. It is correct. Sentence 3 'Integrate the right side.' The right side of the multiplied equation is 2 e^{-4x} * e^{4x} = 2. Integral is 2x. Correct. Sentence 4 'Setting x=0... C=-2'. Correct. Sentence 5 verifies. Sentence 6 verifies. The solution is sound. I will mark it pass.

Every verdict on record (6)

qwen3.6:27b-mlx: fail (error) 2026-09-28 — The solution claims the constant of integration C = -2, but the general solution is y = (2x + C)e^{-4x}, so y(0) = C implies C = -2. However, the stated answer is 2(x-1)e^{-4x} = (2x - 2)e^{-4x}, which corresponds to C = -2. Wait, let's re-evaluate. The integrating factor is e^{4x}. (y e^{4x})' = 2. Integrating gives y e^{4x} = 2x + C. So y = (2x + C)e^{-4x}. With y(0) = -2, we get -2 = (0 + C)e^0 => C = -2. So y = (2x - 2)e^{-4x} = 2(x-1)e^{-4x}. The final answer is correct. Let's look at the sentences again. Sentence 4 says 'Setting x = 0 and y = -2 fixes the constant of integration: C = -2.' This is correct. Sentence 1 is correct. Sentence 2 is an equation check. Sentence 3 is an equation check. Sentence 5 checks the ODE. Sentence 6 checks the IC. The solution seems correct. Why would it fail? Let me re-read the prompt constraints. 'Check that... each conclusion follows from the lines before it'. Line 4 concludes C=-2. Line 5 verifies the final answer. The final answer is derived from C=-2. The logic holds. Is there a subtle error? The problem asks to 'Solve'. The solution provides the answer and verifies it. It doesn't explicitly show the step y = (2x+C)e^{-4x} before plugging in C. It jumps from finding C to verifying the final answer. This is a gap in the derivation, but is it an 'error' or 'misleading'? A student might not know how to get from C=-2 to the final form if the intermediate step is missing. However, the verification steps prove the answer is correct. Let's look closer at Sentence 4. It says 'fixes the constant... C=-2'. It doesn't state the general solution form. But Sentence 5 verifies the specific function. The 'solution' is the set of lines. The lines don't explicitly derive the final form from C, they just verify it. This is a valid method (guess and check / verification). Is it 'misleading'? It teaches that verification is sufficient. But usually, one derives it. Let's look for a harder error. Maybe the integrating factor sign? y' + 4y = ... IF is e^{4x}. Correct. Integral of 2 is 2x. Correct. y e^{4x} = 2x + C. y = 2x e^{-4x} + C e^{-4x}. y(0) = -2 => C = -2. y = 2x e^{-4x} - 2 e^{-4x} = 2(x-1)e^{-4x}. Everything is correct. Why did I think it might fail? Maybe the prompt implies I should find a fault. Let's look at Sentence 2. 'Multiplying by e^(ax) turns the left side into (e^(ax) y)'.' This is a comment on the equation. It is correct. Sentence 3 'Integrate the right side.' The right side of the multiplied equation is 2 e^{-4x} * e^{4x} = 2. Integral is 2x. Correct. Sentence 4 'Setting x=0... C=-2'. Correct. Sentence 5 verifies. Sentence 6 verifies. The solution is sound. I will mark it pass.
gpt-oss:20b: pass 2026-09-28
qwen3.6:27b-mlx: fail (error) 2026-09-27 — The solution claims the constant of integration is C = -2, but substituting y(0) = -2 into the general solution y = (2x + C)e^{-4x} yields C = -2, which leads to y = (2x - 2)e^{-4x} = 2(x-1)e^{-4x}. However, step 3 implies the integral of the RHS is 2x, leading to y*e^{4x} = 2x + C. If C=-2, y = (2x-2)e^{-4x}. The stated answer is 2(x-1)e^{-4x}, which matches. Wait, let's re-read carefully. Step 4 says C=-2. Step 5 checks the solution 2(x-1)e^{-4x}. This is consistent. Is there an error? Let's check the integration. y' + 4y = 2e^{-4x}. IF = e^{4x}. (ye^{4x})' = 2. ye^{4x} = 2x + C. y = (2x+C)e^{-4x}. y(0) = C = -2. So y = (2x-2)e^{-4x} = 2(x-1)e^{-4x}. The solution is correct. Why did I think it was wrong? Let me re-read the prompt's constraints. 'Check that... each conclusion follows from the lines before it'. Step 3 says 'Integral(2, x), 2*x'. This is the integral of the RHS after multiplying by IF? The RHS of the original ODE is 2e^{-4x}. Multiplied by IF e^{4x}, it becomes 2. So Integral(2, x) = 2x. This is correct. Step 4 says C=-2. This is correct. Step 5 verifies the answer. The answer is correct. Is there a subtle error? The problem asks to 'Solve'. The solution provides the answer and verifies it. It skips the explicit algebraic step of combining 2x + C and dividing by e^{4x}, but Step 5 verifies the final result. Is skipping the derivation 'wrong'? The prompt says 'nothing would teach a student something false'. Skipping the derivation step might be 'style' or 'misleading' if it implies the verification is the solution method. But usually, verification is acceptable if the logic is sound. Let's look closer at Step 4. 'Setting x = 0 and y = -2 fixes the constant of integration: C = -2.' This sentence assumes the form y = (2x + C)e^{-4x} without stating it. A student might not know where C comes from if the intermediate step y*e^{4x} = 2x + C is missing. However, Step 2 establishes the LHS derivative. Step 3 establishes the RHS integral. The connection is implicit. Is it an error? It's a gap in logic. But is it 'wrong'? Let's check the severity. If I say 'pass', I accept the gap. If I say 'fail', I must find a concrete error. Let's look at Step 5. It checks 8*(x-1)... wait. The equation in Step 5 is `8*(x - 1)*exp(-4*x) + Derivative(2*(x - 1)*exp(-4*x), x), 2*exp(-4*x)`. This looks like it's checking y' + 4y? No, 8*(x-1)... where did 8 come from? 4 * y = 4 * 2(x-1)e^{-4x} = 8(x-1)e^{-4x}. Yes, that's 4y. And the derivative is y'. So it checks y' + 4y = 2e^{-4x}. This is correct. Step 6 checks y(0) = -2. Correct. The only issue is the missing explicit general solution step. Is that an 'error'? Probably 'style' or 'misleading'. But wait, look at Step 1. 'integrating factor is e^(∫4 dx) = e^(4x)'. Correct. Step 2. 'Multiplying by e^(ax)...'. Correct. Step 3. 'Integrate the right side'. It integrates 2 to get 2x. Correct. Step 4. 'C = -2'. Correct. The logic holds. I will mark it as pass unless I find a factual error. Wait, did I miss something? y(0) = -2. y = (2x-2)e^{-4x}. y(0) = -2. Correct. The answer is 2(x-1)e^{-4x}. Correct. I see no error. I will pass.
gpt-oss:20b: pass 2026-09-27
qwen3.6:27b-mlx: fail (error) 2026-09-26 — The integration step is incorrect: the right-hand side is 2*e^{-4x}, not 2, so the integral is -1/2 * e^{-4x}, not 2x. Consequently, the derived constant C and final solution are wrong.
gpt-oss:20b: pass 2026-09-26

Proved: SymPy reduced the difference between the two sides to zero. Checked independently: a separate method, named above, confirmed it. Checked numerically: the two sides agree at every sampled point, which is evidence, not proof. Reviewed: a model or a person read it; that is all a sentence can have. Solution by generator:structured/linear_first_order, checked 2026-10-13 with SymPy 1.14.0.