📝 Differential equations terminology and solutions (35 MCQs)

📖 Explanation: For a first-order ordinary differential equation like $dy/dx = 2x$, the general solution must contain exactly one arbitrary constant corresponding to the order of the equation. Since the function $f(x)=2x$ is continuous everywhere, the existence and uniqueness theorem guarantees that $y=x^2+C$ encompasses every possible solution on the entire real line. There are no singular solutions lost during algebraic manipulation here, making the family complete.

📖 Explanation: This problem targets the Existence and Uniqueness Theorem conditions. While $f(y)=y^{1/3}$ is continuous (guaranteeing existence), its derivative $\frac{1}{3}y^{-2/3}$ blows up at $y=0$. This discontinuity in the partial derivative means the Lipschitz condition fails, allowing multiple integral curves to pass through the same initial point. Students often mechanically separate variables, implicitly assuming $y \neq 0$, thereby missing the equilibrium solution and failing to recognize the theoretical boundary of the method's validity.

📖 Explanation: A crucial conceptual constraint in differential equations is that solutions to initial-value problems are defined on intervals, not disjoint sets. Even if an algebraic formula exists, the solution to an IVP is restricted to the maximal interval of continuity containing the initial point $x_0$. If $p(x)$ is discontinuous at $x_s$, the solution cannot cross this barrier. This distinguishes the mathematical object 'solution to an IVP' from a mere algebraic expression, emphasizing domain restrictions dictated by coefficient continuity.

📖 Explanation: This addresses a subtle but critical error analysis issue in solving separable equations. Dividing by $y$ to separate variables assumes $y \neq 0$. Subsequent exponentiation of $\ln|y|$ yields $|y| > 0$, reinforcing the exclusion of zero. While $y=0$ satisfies the original ODE y'=ky, it is not captured by $Ae^{kt}$ for any finite real $A$. In modeling contexts like population biology, this 'lost' equilibrium solution represents extinction, demonstrating that algebraic manipulations can shrink the solution space, requiring explicit verification of singular cases.

📖 Explanation: This question tests graph-based reasoning and the concept of equilibrium solutions. If the slope field shows horizontal segments (slope = 0) along the line $y=2$, then the constant function $y(x)=2$ is a solution. Assuming $f(x,y)$ satisfies conditions for uniqueness (e.g., continuous partial derivative), integral curves cannot intersect. Therefore, no non-constant solution can ever reach, leave, or cross the line $y=2$. The student’s sketch violates the fundamental geometric property that distinct integral curves of a well-behaved first-order ODE are non-intersecting, making the depicted behavior mathematically impossible.

📖 Explanation: This is a challenging conceptual question comparing different separable structures. In y'=2xy, the integration yields $\ln|y|=x^2+C$, leading to $y=Ce^{x^2}$ where $C=0$ gracefully recovers $y=0$. However, for y'=y\ln y, separation gives $\int \frac{dy}{y \ln y} = \ln|\ln y| = x+C$. Here, $y=1$ implies $\ln y = 0$, making the left side undefined. No finite real $C$ can satisfy this. Thus, unlike the previous case, the equilibrium $y=1$ is structurally isolated from the general family and cannot be recovered by parameter choice, highlighting that not all lost solutions behave identically.

📖 Explanation: This application question probes understanding of implicit domain constraints in verification. For y&#039;=\sqrt{1-y^2}, the RHS requires $1-y^2 \geq 0$ AND outputs only non-negative values. While $y=\sin x$ satisfies $|y|\leq 1$, its derivative $\cos x$ is negative on intervals like $(\pi/2, 3\pi/2)$. Since $\sqrt{\cdot} \geq 0$, the equation $\cos x = \sqrt{1-\sin^2 x}$ fails wherever $\cos x < 0$. Thus, $y=\sin x$ is only a solution on intervals where $\cos x \geq 0$. This contrasts with y&#039;=\cos x, where no sign restriction exists, illustrating how the functional form of the ODE dictates the valid domain of a candidate solution.

📖 Explanation: This error analysis question tests dimensional consistency and structural understanding of linear ODEs. The correct rate-out term is $(S/V) \cdot r$, giving coefficient $r/V$ with units $[time]^{-1}$. The student’s erroneous term $(V/r)S$ has coefficient $V/r$ with units $[time]$, which is dimensionally invalid for a rate equation. Solving the incorrect ODE S&#039; + (V/r)S = rC_{in} yields steady state $S = rC_{in} / (V/r) = r^2 C_{in}/V$. Beyond being numerically wrong, this reveals a deeper misconception: confusing concentration-to-amount conversion with volume-to-flow ratios. Recognizing unit inconsistency in the coefficient is a powerful diagnostic tool for identifying setup errors before solving.

📖 Explanation: This mixed-concept question bridges numerical methods and theoretical uniqueness. At $(0,0)$, $f(y)=3y^{2/3}$ has zero slope, so Euler’s update $y_{n+1} = y_n + h f(y_n)$ yields $0 + h \cdot 0 = 0$ perpetually. The method is ‘stuck’ at the equilibrium because it uses local linear approximation, and the tangent to $y=x^3$ at origin is horizontal—identical to $y=0$. Without perturbation or higher-order terms, the discrete scheme cannot spontaneously depart from equilibrium. This illustrates a profound limitation: numerical methods reflect local geometry, and when uniqueness fails, they may consistently select one branch (often the trivial one) while remaining blind to others, regardless of step size refinement.

📖 Explanation: This conceptual understanding question addresses sign conventions in modeling. Newton’s Law states rate of change is proportional to temperature difference. If written as T&#039;=k(T-T_e), then for cooling (T>T_e \Rightarrow T&#039;<0), $k$ MUST be negative. Alternatively, writing T&#039;=k(T_e-T) with $k>0$ achieves the same physics. The student’s error isn’t mathematical but interpretive: they assumed $k>0$ universally while using the $(T-T_e)$ form. Both conventions are legitimate, but mixing them causes sign errors. Understanding that the sign of $k$ is contingent on the algebraic arrangement of the difference term is essential for correct physical interpretation and avoiding contradictions between model structure and observed behavior.

📖 Explanation: This error analysis focuses on domain-specific validity in linear ODEs. The integrating factor $\mu = e^{\int P dx}$ is technically $e^{\ln|x| + C} = A|x|$. Choosing $\mu = x$ (without abs value) works perfectly on intervals where $x<0$ because d(x y)/dx = x y&#039; + y holds regardless of sign. The absolute value matters when crossing $x=0$ or combining branches, but for an IVP entirely within $x<0$, $\mu=x$ is a valid integrating factor. The key insight is that integrating factors need not be globally positive—they must simply satisfy \mu&#039; = P\mu on the interval of interest. This nuanced understanding prevents over-correction while maintaining rigor within specified domains.

📖 Explanation: This terminology question clarifies the rigorous definition of ‘solution to an IVP.’ By standard ODE theory, a solution must be a differentiable function on an OPEN INTERVAL containing $x_0$. The maximal interval of existence is bounded by singularities (like vertical asymptotes) or domain boundaries. For $y(0)=1$, the solution is $y=-1/(x-1)$, valid only on $(-\infty, 1)$. The branch $x>1$ is a DIFFERENT solution corresponding to a different initial condition. Treating disconnected branches as one solution violates the interval requirement. This distinction is vital for understanding blow-up phenomena and ensuring that ‘solution’ refers to a single continuous trajectory, not a collection of algebraic fragments.

📖 Explanation: This mixed-concept question integrates modeling, error analysis, and domain restrictions. Mathematically, $\ln(f)$ for $f>1$ yields negative $t$, exposing the inverse function’s domain as $(0,1]$. Physically, $f>1$ violates the closed-system assumption of radioactive decay, indicating contamination or measurement error. Numerically, near $f=1$, $dt/df = -1/(kf)$ shows high sensitivity. Thus, the anomaly simultaneously reveals mathematical domain limits, physical model violations, and numerical instability. Recognizing multi-layered implications of out-of-range data is essential for robust scientific modeling, where anomalies serve as diagnostics for theory, measurement, and computation alike.

📖 Explanation: This Olympiad-style question challenges assumptions about solvability. Many ODEs admit solutions via integration (quadrature) even if those integrals aren’t elementary. Polar substitution for y&#039;=\sqrt{x^2+y^2} leads to $dr/d\theta = r \sqrt{1+(dr/d\theta)^2}/...$, which may simplify but doesn’t guarantee elementary antiderivatives. ‘Solving’ an ODE can mean reducing to integrals, expressing via special functions, or characterizing qualitatively—not necessarily finding $y=f(x)$ with polynomials/exponentials/trig. Confusing ‘solvable’ with ‘elementarily expressible’ is a common misconception. Advanced ODE theory embraces broader solution concepts, recognizing that many important equations (e.g., Airy, Bessel) are ‘solved’ via named non-elementary functions, expanding the notion beyond calculus-level expectations.

📖 Explanation: This direct recall question tests basic terminology. The general solution of an nth-order ODE must contain n independent arbitrary constants and encompass ALL solutions on the interval. $y=x^3$ is merely a particular solution (with C=0). The student’s error is equating ‘a solution’ with ‘the general solution,’ ignoring the parametric family structure. This foundational concept underpins all IVP solving: without the arbitrary constant, one cannot satisfy arbitrary initial conditions. Reinforcing this distinction prevents later confusion when encountering singular solutions or multi-parameter families, ensuring students understand that ‘general’ implies comprehensiveness, not just correctness of a single instance.

📖 Explanation: This application question explores how input structure shapes solution dynamics. For constant $D$, the linear ODE yields transient exponential decay plus constant steady state. For periodic $D(t)$, the particular solution inherits periodicity (via undetermined coefficients or variation of parameters), resulting in sustained oscillations superimposed on transients. The long-term behavior shifts from static equilibrium to dynamic cycling. This illustrates a core principle: the forcing function’s character directly imprints on the solution’s asymptotic structure. Understanding this helps modelers anticipate system responses—e.g., circadian drug dosing leads to rhythmic plasma levels, not flat concentrations—and underscores that solving ODEs isn’t just computation but predicting behavioral regimes based on input types.

📖 Explanation: This conceptual understanding question addresses the recovery of lost solutions. Division by $y$ assumes $y \neq 0$, so $y=0$ is excluded from the separated derivation. However, $y=0$ clearly satisfies y&#039;=f(x)y. The renaming $A = \pm e^C$ captures all nonzero reals, but not zero. To make $y=A e^{\int f dx}$ truly general, we must VERIFY $y=0$ is a solution and THEN allow $A=0$. This two-step process—derive nonzero family, check equilibrium, merge if valid—is essential for completeness. Simply declaring $A$ arbitrary without verification risks either including invalid solutions or excluding valid ones, highlighting the need for post-derivation validation of singular cases.

📖 Explanation: This graph-based question tests misinterpretation of visual cues. The slope field y&#039;=x/y has vectors pointing radially outward/inward, suggesting circular symmetry. But integrating $y dy = x dx$ gives $y^2 - x^2 = C$, which are hyperbolas (or lines if C=0). The radial appearance arises because slope depends only on ratio $x/y$ (homogeneous), not because solutions are circles. Students often conflate field symmetry with solution geometry. This highlights that slope fields show LOCAL direction, not GLOBAL shape; integration reveals true trajectories. Visual intuition must be verified analytically, as symmetric fields can correspond to diverse curve families, and apparent patterns may reflect equation structure rather than solution topology.

📖 Explanation: This conceptual question contrasts linear vs. nonlinear solution structures. Linearity enables superposition: if $y_1, y_2$ solve $L[y]=0$, so does $c_1 y_1 + c_2 y_2$. Nonlinear equations like y&#039;=y^2 lack this property; (y_1+y_2)&#039; \neq (y_1+y_2)^2 generally. Testing: $y_1+y_2 = -1/x -1/(x+1)$, derivative is $1/x^2 + 1/(x+1)^2$, but square is $[1/x + 1/(x+1)]^2$, which differs by cross term. The student’s erroneous transfer of linear intuition to nonlinear contexts is a pervasive misconception. Emphasizing that superposition is EXCLUSIVELY a linear phenomenon prevents false generalizations and reinforces the structural divide between linear and nonlinear ODE theory.

📖 Explanation: This application question verifies domain awareness. The solution $y=\sqrt{x^2+4}$ is indeed defined and positive for all real $x$, satisfying $y \neq 0$. At $x=0$, $y=2$, and y&#039;=0/2=0, matching derivative of $\sqrt{x^2+4}$ at 0. No singularity exists. The student is correct. Distractors exploit common fears about division by zero or square roots, but here both are safely avoided. This reinforces that domain determination requires checking BOTH the solution expression AND the ODE’s requirements at every point. Sometimes apparent concerns are unfounded; careful evaluation prevents unnecessary domain restrictions while ensuring genuine constraints aren’t ignored.

📖 Explanation: This error analysis connects algebraic signs to physical regimes. If $P(0) > L$, then $1-P/L < 0$, so $P/(1-P/L) < 0$. Thus $A = [P/(1-P/L)] e^{-k \cdot 0} < 0$. The negative $A$ isn’t a flaw—it encodes the supra-capacity state. As $t$ increases, $Ae^{kt}$ becomes more negative, driving $P$ down toward $L$. Misinterpreting $A$’s sign as erroneous would miss this crucial dynamics. The algebra faithfully tracks physical reality: sign changes in intermediate expressions correspond to regime shifts. Understanding this prevents discarding valid solutions and reinforces that constants carry physical information beyond mere placeholders.

📖 Explanation: This challenging question links numerical stability to ODE theory. For y&#039;=\lambda y, Euler gives $y_{n+1}=(1+h\lambda)y_n$. Stability requires $|1+h\lambda|<1$. With $\lambda=-100$, need $|1-100h|<1 \Rightarrow h<0.02$. Using $h=0.05$ gives multiplier $-4$, causing alternating sign growth. This isn’t a bug—it’s inherent to explicit methods on stiff systems. The lesson: numerical validity depends on matching step size to equation timescales. Blindly applying algorithms without stability analysis yields garbage. This bridges theory and computation, showing that ‘solving’ an ODE numerically requires understanding the method’s domain of applicability, not just implementing formulas.

📖 Explanation: This direct recall question tests understanding of arbitrary constants. The integral $\int x e^{x^2} dx = \frac{1}{2} e^{x^2} + K$. Multiplying by $e^{-x^2}$ gives $\frac{1}{2} + K e^{-x^2}$. If a student mistakenly adds another $e^{-x^2}$, it combines as $(K+1)e^{-x^2}$, which is still $C e^{-x^2}$ for some $C$. Arbitrary constants absorb additive terms of the same functional form. This flexibility is why we don’t worry about ‘correct’ constant placement during integration—only that ONE arbitrary constant appears in final answer. Recognizing equivalence under constant renaming prevents false distinctions between correct solution forms and builds confidence in solution representation.

📖 Explanation: This application question examines local vs. global behavior. Linearization replaces nonlinear $\ln(V_0/V)$ with first-order Taylor approx $(V_0-V)/V_0$ near $V=V_0$. This yields exponential decay of perturbations, valid ONLY locally. If tumor shrinks significantly ($V \ll V_0$) or grows beyond linear regime, approximation breaks. Also, $\ln(V_0/V)$ singular at $V=0$, so linearization invalid near extinction. The key insight: linear stability analysis describes NEIGHBORHOOD behavior, not global dynamics. Confusing local exponential decay with global fate is dangerous in biological modeling. Always validate linear predictions against full nonlinear behavior, especially when trajectories may exit the region where approximation holds.

📖 Explanation: This mixed-concept question compares solution strategies. The Cartesian homogeneous sub $v=y/x$ leads to $dv/dx = ...$ with messy rational functions. In polar, $x=r\cos\theta, y=r\sin\theta$, the equation simplifies dramatically to $dr/d\theta = r$ because numerator/denominator become $r(\cos+\sin)/r(\cos-\sin)$, and geometric relations reduce complexity. This isn’t universal—it exploits the specific symmetry of $(x+y)/(x-y)$. Choosing coordinate systems aligned with equation structure can transform intractable algebra into simple ODEs. This strategic thinking elevates problem-solving beyond rote method application, encouraging analysis of equation geometry before committing to a technique. Recognizing when polar simplifies homogeneous equations is a valuable heuristic in advanced ODE work.

📖 Explanation: This error analysis targets faulty generalization. While d/dx(e^{u}) = e^u u&#039;, inferring that $y=f(u(x))$ solves y&#039;=g(x)f(u) whenever $f$ solves y&#039;=f is unjustified. Here, $e^{x^2}$ works because $d/dx(e^{x^2})=2x e^{x^2}$, matching $2xy$. But for y&#039;=3y, analogously guessing $e^{3x^2}$ fails: derivative is $6x e^{3x^2} \neq 3 e^{3x^2}$. Correctness in one case doesn’t validate the method. Solutions must be derived systematically, not guessed by pattern matching. This reinforces that mathematical truth requires verification, not plausibility, and prevents overconfidence in heuristic reasoning that may succeed accidentally but fail catastrophically elsewhere.

📖 Explanation: This conceptual question reconciles math with physics. Decay rate $R/L$ governs CURRENT, not energy. Power dissipated is $I^2 R$; for fixed $I$, larger $R$ means MORE energy loss per second, depleting stored magnetic energy faster. Though resistance opposes current flow, in transient decay it enhances dissipation. The student’s intuition conflated steady-state opposition with transient dissipation. Math correctly captures physics: $dI/dt = -(R/L)I$ shows stronger damping with larger $R$. Resolving such paradoxes requires distinguishing quantities (current vs. energy) and understanding how parameters affect different aspects of system behavior. This deepens modeling competence beyond formula memorization.

📖 Explanation: This application question emphasizes interval selection for IVPs. $\tan x$ and $\sec x$ have singularities at $\pi/2 + n\pi$. For $x_0=\pi$, the maximal interval of continuity containing $\pi$ is $(\pi/2, 3\pi/2)$. On this interval, $\sec x < 0$, so $y=C\sec x$ with $C=-2$ satisfies $y(\pi)=2$. The solution isn’t ‘adjusted’ algebraically but CONTEXTUALLY by selecting appropriate branch. Solutions to IVPs are tied to specific intervals of coefficient continuity. Ignoring this leads to domain mismatches. This principle ensures solutions are meaningful at initial points and respects the local nature of ODE theory, where global formulas may require piecewise interpretation across singularities.

📖 Explanation: This Olympiad-style question tests rigorous differentiation. The expression $2x \sin(1/x) - \cos(1/x)$ is valid ONLY for $x \neq 0$. At $x=0$, must use $\lim_{h\to0} [h^2 \sin(1/h) - 0]/h = \lim h \sin(1/h) = 0$. So y&#039;(0)=0 IS correct, but NOT from plugging into the $x \neq 0$ formula (which oscillates wildly). The student got right answer via wrong method. This distinction matters: derivative existence at a point requires limit definition when function is defined piecewise or has singular structure. Relying on differentiated formulas outside their domain risks errors in more pathological cases. Rigor demands respecting domain boundaries in calculus operations.

📖 Explanation: This conceptual question examines equilibrium classification nuances. Phase line shows $P=0$ unstable (repeller for $P>0$), $P=K$ stable (attractor). For ANY $P(0)>0$, solution → $K$. BUT $P(0)=0$ is equilibrium itself, so no convergence to $K$. The student’s ‘all positive’ excludes zero, so technically correct. However, distractor B highlights the boundary case. In practice, stating ‘all positive’ is precise, but learners often forget $P=0$ is a valid (if trivial) solution. Emphasizing that equilibria are solutions themselves prevents overgeneralization. Also, noting biological realism (Allee effects) reminds that mathematical models have limits, but within logistic framework, the statement holds for $P(0)>0$.

📖 Explanation: This error analysis revisits lost solutions. Separating $dy/\sqrt{y} = dx$ requires $y \neq 0$. Integration yields $2\sqrt{y}=x+C$, implying $y>0$ (since sqrt ≥0). Setting $y(0)=0$ gives $C=0$, so $y=x^2/4$ for $x≥0$. But $y=0$ also satisfies ODE and IC. It wasn’t found because division excluded it. Reconciliation: general solution is $y=0$ OR $y=(x+C)^2/4$ for $x≥-C$. For IVP $y(0)=0$, BOTH are valid, demonstrating non-uniqueness. This reinforces that separation can miss equilibria, and IVPs with non-Lipschitz RHS may have multiple solutions. Always check $y=0$ separately when dividing by functions of $y$.

📖 Explanation: This direct recall question addresses a common procedural query. Let $\mu = e^{\int P dx + C} = K e^{\int P dx}$ where $K=e^C$. Multiplying ODE: K e^{\int P} y&#039; + K e^{\int P} P y = K e^{\int P} Q. Left side is $d/dx (K e^{\int P} y)$. Integrating: $K e^{\int P} y = \int K e^{\int P} Q dx + D$. Divide by $K e^{\int P}$: $y = e^{-\int P} [\int K e^{\int P} Q dx + D]/K = e^{-\int P} [\int e^{\int P} Q dx + D/K]$. Constant $K$ cancels, and $D/K$ becomes new arbitrary constant. Thus, choosing $K=1$ (i.e., ignoring constant) simplifies without loss of generality. This algebraic cancellation justifies the shortcut.

📖 Explanation: This conceptual question clarifies asymptotic behavior. The solution $v(t) = v_t(1-e^{-kt})$ approaches $v_t$ as $t→∞$ but equals it only at infinity. Physically, after ~3-5 time constants ($m/c$), $v$ is within 5% of $v_t$, indistinguishable in practice. ‘Terminal’ denotes the limiting value governing long-term dynamics, not a finitely achieved state. Confusing mathematical limit with physical attainment is common. Understanding asymptotes as practical thresholds bridges theory and reality. This also highlights that models describe trends, not exact milestones; engineering tolerances define ‘reached,’ not pure math. Grasping this distinction prevents misapplication of theoretical results to real-world timing questions.

📖 Explanation: This direct recall question reinforces foundational terminology. The GENERAL solution contains arbitrary constants equal to ODE order and represents the COMPLETE family of solutions. A PARTICULAR solution is obtained by specifying values for those constants (often via initial conditions). Saying ‘$y=x^2+C$ is a particular solution for each $C$’ misuses terms; it’s the general solution PARAMETERIZED by $C$. Only when $C$ is fixed (e.g., $C=5$) do we have a particular solution. Precise language prevents confusion in communication and assessment. This distinction is universal across ODE theory and essential for correctly describing solution sets, especially when discussing uniqueness, existence, and solution structure in advanced topics.

📖 Explanation: This conceptual understanding question clarifies Existence-Uniqueness Theorem hypotheses. Continuity of $f$ ensures EXISTENCE (Peano’s theorem). UNIQUENESS requires stronger condition: Lipschitz continuity in $y$, often verified via continuous $∂f/∂y$. For $y^{1/3}$, $f$ continuous at 0 ⇒ existence, but $∂f/∂y = (1/3)y^{-2/3}$ unbounded ⇒ uniqueness fails. Student’s conclusion is correct and important. Many assume continuity suffices for both; this example dispels that myth. Understanding the hierarchy of conditions prevents misapplication of theorems and fosters deeper appreciation of why certain equations behave pathologically. This knowledge is crucial for diagnosing model issues and selecting appropriate solution methods when standard assumptions break down.