📝 First order separable differential equations (41 MCQs)

📖 Explanation: The core misconception here is treating the integral of a composite function or product as if it were separable into simple logarithmic terms without proper algebraic manipulation. The expression $\frac{1}{P(1-P/L)}$ requires partial fraction decomposition into $\frac{A}{P} + \frac{B}{1-P/L}$ before integration can occur. Simply taking the natural log of the entire denominator ignores the chain rule and the structure of rational functions, leading to a completely invalid solution that does not satisfy the original differential equation.

📖 Explanation: When separating variables in $\frac{dy}{dx} = \frac{x^2}{y}$, we must divide by $y$ to get $y dy = x^2 dx$. This algebraic step assumes $y \neq 0$. However, the initial condition specifies $y=0$, which is actually an equilibrium solution where $\frac{dy}{dx}$ is undefined in the separated form but satisfies the original ODE in a limiting sense or as a singular solution. Standard separation yields $y^2/2 = x^3/3 + C$, implying $y(0) \neq 0$ unless complex numbers are considered, thus missing the valid trivial solution dictated by the initial state.

📖 Explanation: Starting from the general decay solution $A(t) = A_0 e^{-kt}$, we know $A(10)/A_0 = 0.4 = e^{-10k}$. Taking logs gives $\ln(0.4) = -10k$, so $k = -\ln(0.4)/10$. The half-life formula is $T_{1/2} = \ln(2)/k$. Substituting $k$ yields $T_{1/2} = \ln(2) / (-\ln(0.4)/10) = 10 \ln(2) / (-\ln(0.4))$. Since $\ln(0.5) = -\ln(2)$, this simplifies to $10 \ln(0.5) / \ln(0.4)$. This tests the ability to manipulate exponential relationships algebraically without relying on rote memorization of intermediate constants.

📖 Explanation: Since the differential equation depends only on $y$, it is autonomous. The condition $f(y) > 0$ for $y < 2$ means solutions below 2 are strictly increasing. The condition $f(y) < 0$ for $y > 2$ means solutions above 2 are strictly decreasing. Therefore, $y = 2$ is a stable equilibrium. A solution starting at $y=1$ will increase towards 2 but, assuming $f(y)$ is continuous and differentiable at 2, will approach it asymptotically rather than reaching it in finite time (uniqueness theorem prevents crossing equilibrium). This interprets qualitative behavior directly from slope field properties.

📖 Explanation: While the algebraic form $y = 1/(1-\sin(x))$ is correct, the solution to an IVP must be continuous on an interval containing the initial point $x=0$. The denominator $1-\sin(x)$ becomes zero at $x = \pi/2 + 2n\pi$. The nearest singularity to $x=0$ is $\pi/2$. Thus, the maximal interval of existence is $(-\pi/2, \pi/2)$, not all real numbers. Students often treat the symbolic formula as globally valid without considering the topological constraints imposed by singularities in separable equations.

📖 Explanation: For Tank A (linear approach), $dS/dt|_{t=0} = k(L - L/2) = kL/2$. For Tank B (logistic growth), $dS/dt|_{t=0} = k(L/2)(L - L/2) = kL^2/4$. Comparing these, Tank B's rate includes an extra factor of $L/2$. This highlights the structural difference: linear models depend only on the deficit from equilibrium, while logistic models depend on both current amount and remaining capacity. At half-capacity, the logistic rate is maximized relative to its own scale, but absolute comparison depends on the magnitude of $L$.

📖 Explanation: Picard-Lindelöf theorem guarantees uniqueness only if $f(y)$ is Lipschitz continuous near the initial value. Here, f&#039;(y) = 1/(2\sqrt{y}), which approaches infinity as $y \to 0$. This violation allows multiple integral curves to pass through the origin. This is a classic counterexample showing that continuity of $f$ alone ensures existence but not uniqueness. Understanding this requires connecting calculus concepts (derivatives, bounds) with differential equation theory beyond mere computational techniques.

📖 Explanation: Newton's Law of Cooling is a separable equation yielding exponential decay of the temperature difference: $T(t) - T_e = (T_0 - T_e)e^{-kt}$. If the difference halves in time $\tau = 15$, then $e^{-k\tau} = 0.5$. Taking natural logs: $-k\tau = \ln(0.5) = -\ln 2$, so $k = \ln 2 / \tau$. This is a direct application of the half-life concept to thermal systems. While simple, it reinforces the universal nature of exponential decay constants across physics contexts.

📖 Explanation: The separated form is $\int \frac{K_m + [S]}{[S]} d[S] = \int -V_{max} dt$. The left integrand simplifies via polynomial division to $\int (1 + \frac{K_m}{[S]}) d[S]$, which integrates to $[S] + K_m \ln|[S]|$. This is crucial in biochemistry for determining reaction progress curves. Recognizing that the numerator degree equals the denominator degree signals immediate simplification rather than complex partial fractions or substitutions. This tests mathematical maturity in handling applied rational functions.

📖 Explanation: When $h(y_0)=0$, the constant function $y(x)=y_0$ is always a solution. Before separating (which involves dividing by $h(y)$), one must determine if this equilibrium is unique. If h&#039;(y_0) \neq 0, the function is locally Lipschitz, guaranteeing uniqueness; thus $y=y_0$ is the only solution. If h&#039;(y_0)=0, non-uniqueness may arise. Jumping straight to separation risks dividing by zero and missing the equilibrium entirely. This prioritizes qualitative analysis over mechanical computation.

📖 Explanation: The ODE y&#039; = y/x is undefined at $x=0$. While $y=Cx$ describes lines through the origin, each solution is defined on either $x>0$ or $x<0$, not both simultaneously (unless patched at origin with care). The y-axis itself contains no solution segments except possibly the origin. More importantly, solutions cannot cross $x=0$ because the derivative doesn't exist there. This highlights that the domain of a solution to a separable ODE is constrained by the domain of definition of the differential equation itself.

📖 Explanation: Differentiating $t = -(1/k)\ln(r)$ gives $dt/dr = -1/(kr)$. The absolute error $|\Delta t| \approx |dt/dr| \cdot |\Delta r| = |\Delta r|/(kr)$. As $r$ becomes small (old samples), $1/r$ grows large, amplifying any fixed measurement error in $r$. This explains why radiocarbon dating has practical limits (~50,000 years); beyond that, tiny contamination or measurement noise causes massive age uncertainties. This connects calculus sensitivity analysis with archaeological methodology.

📖 Explanation: Equations of form y&#039; = f(ax+by+c) become separable via substitution $u = ax+by+c$. Here, $u=x+y$ implies $du/dx = 1 + dy/dx$, so $dy/dx = du/dx - 1$. Substituting gives $du/dx - 1 = u^2$, or $du/dx = 1+u^2$, which separates as $du/(1+u^2) = dx$. This is a standard technique extending separability to a broader class. Recognizing the composite argument structure is key to selecting the correct substitution over homogeneous or linear methods.

📖 Explanation: The growth rate $dP/dt$ is a quadratic function of $P$: $f(P) = rP - (r/K)P^2$. Its maximum occurs at the vertex $P = -b/(2a) = r / (2r/K) = K/2$. This is distinct from the population size itself (which maxes at $K$). In fisheries and wildlife management, harvesting at $K/2$ allows maximum sustainable yield because the population regenerates fastest at this level. Confusing maximum population with maximum growth rate is a common conceptual error this question targets.

📖 Explanation: Separation gives y dy = 2x dx \Rightarrow y^2/2 = x^2 + C \Rightarrow y = \pm\sqrt{2x^2 + C&#039;}. With $y(1)=-2$, we need the negative branch: -2 = -\sqrt{2+C&#039;} \Rightarrow C&#039;=2. Choosing the positive root yields $y(1)=+2$, violating the IVP. Students often default to the principal (positive) square root without checking consistency with initial data. This emphasizes that implicit solutions can define multiple explicit branches, and the initial condition selects the physically/mathematically relevant one.

📖 Explanation: Piecewise-defined inputs require piecewise solutions. The ODE remains separable in each interval since $C_{in}$ is constant within each phase. Continuity of $C(t)$ at $t_0$ provides the new initial condition: $C(t_0^+) = C(t_0^-)$. This reflects real-world engineering scenarios where parameters change discretely. Treating it as a single global equation with modified constant ignores the history dependence encoded in the integration constant. This tests understanding of IVPs as dynamic processes rather than static formulas.

📖 Explanation: Plotting y&#039; = y^{1/3} shows horizontal slopes along $y=0$, but the rate of change of slope d(y&#039;)/dy = (1/3)y^{-2/3} \to \infty as $y \to 0$. This vertical tangent in the phase line corresponds to non-Lipschitz behavior. Visually, integral curves can peel off" the equilibrium axis tangentially. Unlike smooth equilibria where solutions approach/exponentially

📖 Explanation: For y&#039; = ky with $y(0) > 0$, the unique solution is $y = y_0 e^{kt}$, which is always positive. Since solutions to autonomous ODEs cannot cross equilibrium ($y=0$), the sign is invariant. Thus $|y| = y$ throughout the domain of existence. Dropping absolute values is justified not by convention but by the qualitative property of flow invariance. This distinguishes rigorous justification from sloppy habit, emphasizing that sign preservation is a consequence of uniqueness, not an assumption.

📖 Explanation: Solving $h^{-1/2} dh = -k dt$ gives $2\sqrt{h} = -kt + C$. Setting $h=0$ yields finite $t = C/k$. Mathematically, this occurs because the exponent $-1/2 > -1$, making the improper integral $\int_0^\epsilon h^{-1/2} dh$ convergent. Contrast with h&#039; = -kh where $\int h^{-1} dh = \ln h \to -\infty$ as $h \to 0$, implying infinite time. This subtle distinction between power-law exponents determines finite vs. asymptotic extinction, linking calculus convergence tests to physical realizability.

📖 Explanation: At $y=\pi/2$, $\cos y = 0$, so $dy/dx$ is undefined. Standard separation requires multiplying by $\cos y$, giving $\cos y dy = \sin x dx$. Integrating yields $\sin y = -\cos x + C$. With $y(0)=\pi/2$, $1 = -1 + C \Rightarrow C=2$, so $\sin y = 2 - \cos x$. But $\sin y \leq 1$ while RHS $\geq 1$, equality only at isolated points. No differentiable solution exists through this point. Blind separation produces a nonsensical implicit relation. This tests vigilance regarding domain restrictions in trigonometric ODEs.

📖 Explanation: For y&#039; = -ky^n, separation gives $\int y^{-n} dy = -kt$. For $n=1$, solution is exponential with constant half-life. For $n \neq 1$, solution is power-law $y^{1-n} \propto t$, and half-life scales as $y_0^{1-n}$. Observing concentration-dependent half-life immediately rules out $n=1$. This uses dimensional/scaling reasoning rather than full integration, demonstrating how qualitative features of separable equations encode mechanistic information. It bridges experimental observation with mathematical structure identification.

📖 Explanation: y&#039;&#039; = 2y y&#039; = 2y^3 > 0, so solutions are convex. Euler's method uses linear extrapolation below the true curve, typically underestimating. However, for y&#039;=y^2, the superlinear feedback amplifies even small overestimates in slope evaluation. Actually, Euler tends to *underestimate* convex functions, but the discrete iteration $y_{n+1} = y_n + h y_n^2$ defines a difference equation whose blow-up time differs from the ODE's. The key is recognizing that numerical methods alter the effective dynamics of separable equations with finite-time singularities, requiring adaptive stepping near blow-up.

📖 Explanation: The defining feature of separable equations y&#039;=g(x)h(y) is that integration yields $\int dy/h(y) = \int g(x)dx$, producing an implicit relation $H(y)=G(x)+C$. This doesn't guarantee explicit solvability (e.g., $y+\sin y = x$) nor linearity. Equilibrium solutions exist only if $h(y)=0$ has roots. Solution spaces aren't vector spaces (nonlinear). This option correctly identifies the implicit integral structure as the hallmark, avoiding overgeneralizations about explicitness or linearity that students commonly assume.

📖 Explanation: Logistic integrates to rational/logarithmic forms via partial fractions. Gompertz separates to $\int \frac{dN}{N \ln(N/K)} = \int -a dt$. Let $u = \ln(N/K)$, then $du = dN/N$, giving $\int du/u = \ln|u| = -at + C$. Back-substituting yields $\ln|\ln(N/K)| = -at + C$, so N = K \exp(C&#039;e^{-at}). This nested exponential structure captures asymmetric growth better than logistic but requires recognizing the logarithmic substitution. This tests familiarity with less common but biologically important separable forms.

📖 Explanation: y&#039;=2xy is separable and linear. Separation assumes $y \neq 0$, giving $y=Ce^{x^2}$. But $y=0$ is also a solution (equilibrium). With $y(0)=0$, substituting into general form gives $0=C \cdot 1 \Rightarrow C=0$, recovering $y=0$. Uniqueness holds since $f(x,y)=2xy$ is smooth everywhere. Thus the answer is complete. This confirms that when equilibrium solutions are captured by the general formula (via $C=0$), no special handling is needed, unlike cases where division excludes them permanently.

📖 Explanation: The ODE y&#039;=x/y is undefined at $(0,0)$. While $y^2-x^2=0$ gives lines $y=\pm x$, neither satisfies the ODE *at* the origin because $dy/dx$ doesn't exist there. Approaching along $y=x$, slope $\to 1$; along $y=-x$, slope $\to -1$. But at exactly $(0,0)$, the differential equation imposes no constraint. Thus, no solution curve in the strict sense passes through the singularity. Algebraic geometry suggests curves, but ODE theory forbids solutions at undefined points. This distinguishes implicit algebraic loci from valid integral curves.

📖 Explanation: $dD/dt + k_D D = k_P P(t)$ is linear but not separable because the right side is a function of $t$ (via $P$), not purely a function of $D$. Separation requires D&#039; = f(D)g(t); here it's D&#039; = -k_D D + k_P P_0 e^{-k_P t}, which is sum, not product. One must first solve for $P(t)$, then use integrating factor for $D$. This illustrates that coupled systems, even with separable components, lose individual separability. Recognizing this dependency structure is crucial in multi-compartment modeling.

📖 Explanation: The integral $\int \frac{dy}{y^2+1}$ is a standard arctangent form, not logarithmic. Logarithmic integration $\int \frac{du}{u} = \ln|u|$ requires numerator to be derivative of denominator. Here, derivative of $y^2+1$ is $2y$, absent in integrand. Students often see denominator with variable" and reflexively write ln

📖 Explanation: Autonomous equations y&#039;=f(y) have solutions related by time translation. For logistic $f(y)=y(1-y)$, the function is symmetric about $y=0.5$ in the sense that $f(0.5+z)=f(0.5-z)$. This functional symmetry translates to temporal symmetry of the solution curve about its inflection point (where $y=0.5$). Not all separable equations have this property (e.g., y&#039;=y^2 isn't symmetric). The key is recognizing that symmetry in $f(y)$ induces symmetry in $y(t)$, linking algebraic structure to geometric behavior.

📖 Explanation: From $y dy = e^x dx$, we get $y^2/2 = e^x + C$. With $y(0)=-1$, $1/2 = 1 + C \Rightarrow C = -0.5$. So $y^2 = 2e^x - 1$. For real $y$, need $2e^x - 1 \geq 0 \Rightarrow e^x \geq 0.5 \Rightarrow x \geq -\ln 2$. The solution exists only for $x \geq -\ln 2$, and since $y(0)=-1 < 0$, we take negative root on this domain. Ignoring this restriction yields imaginary values for $x < -\ln 2$. This emphasizes that separable solutions carry implicit domain constraints from algebraic operations.

📖 Explanation: While mathematically separable, some physical contexts impose constraints (complex values, boundary conditions, conservation laws) that make naive separation inadequate. Quantum mechanics uses separation of variables extensively, but for tunneling problems with specific boundary conditions, the separated solutions must be matched across regions, and probability interpretation requires normalization that simple ODE separation doesn't provide. This contrasts with classical ODEs where separation directly yields physical solutions. The question probes awareness that mathematical technique applicability depends on physical context, not just equation form.

📖 Explanation: Since $g(y) > 0$ always, the sign of y&#039; is determined solely by $f(x)$. On any interval where $f(x) > 0$, y&#039; > 0 and solution increases; where $f(x) < 0$, solution decreases. Solutions can change monotonicity only at zeros of $f(x)$, but never due to $y$-dependence. This decouples directional behavior from state dependence, a special property of separable equations with sign-definite $g$. Understanding this helps predict solution shape without solving.

📖 Explanation: Solving $h^{-3/2} dh = -k dt$ gives $-2 h^{-1/2} = -kt + C$. At $t=0$, $C = 2H^{-1/2}$. Drain time $T$ when $h=0$: $0 = -kT + 2H^{-1/2} \Rightarrow T = (2/k) H^{-1/2}$. So $T \propto H^{-1/2}$. Counterintuitively, taller columns drain *faster* per unit height because pressure-driven outflow accelerates disproportionately. This scaling law emerges directly from the separable structure and exponent, demonstrating how mathematical form encodes physical scaling relationships that defy naive linear expectations.

📖 Explanation: The ODE has singularities at $x=0$ (log undefined) and $x=1$ (denominator zero). Solutions exist only on intervals not containing these points. Initial condition determines which interval applies. Writing $\ln|\ln x|$ acknowledges $\ln x$ can be negative (for $0<x<1$), but doesn't resolve the discontinuity at $x=1$. Students often overlook interior singularities within the domain of component functions. Proper solution specification requires stating the maximal interval containing $x_0$, respecting all algebraic and functional constraints.

📖 Explanation: By eliminating $dt$ via $dI/dS = (dI/dt)/(dS/dt)$, we get a separable ODE in state variables. Integration yields $I(S) = I_0 + S_0 - S + (\gamma/\beta)\ln(S/S_0)$, defining trajectories in phase plane. This reveals the epidemic threshold $S = \gamma/\beta$ where $dI/dS = 0$, independent of time parametrization. Time-dependent solutions may lack closed forms, but phase relations capture essential dynamics. This demonstrates strategic use of separability to extract qualitative insights when temporal solutions are intractable.

📖 Explanation: For y&#039; = y^2 - 1, when $|y| < 1$, $y^2 < 1$ so y&#039; < 0. Thus solutions in $(-1,1)$ are strictly decreasing, approaching $y=-1$ asymptotically. The student's claim is correct. Distractors test confusion between sign of $y$ and sign of y&#039;. Equilibrium analysis shows $y=1$ unstable, $y=-1$ stable. Between them, flow is uniformly downward. This reinforces phase line analysis as a reliable tool for verifying monotonicity without solving.

📖 Explanation: The expression $x^2+y^2$ couples variables inseparably in Cartesian coordinates. Polar substitution gives $dr/d\theta$ relation that still couples $r$ and $\theta$ non-separably. Homogeneous substitution $u=y/x$ yields u&#039; = (1/(x^2(1+u^2))) - u/x, not separable. The equation isn't exact either. This represents a class of ODEs resistant to elementary separation techniques, highlighting boundaries of the method. Recognizing when separation is impossible is as important as applying it successfully.

📖 Explanation: The ODE requires y&#039; = \sqrt{1-y^2} \geq 0, so solutions must be non-decreasing. $y=\sin x$ satisfies this only where $\cos x \geq 0$, i.e., $[-\pi/2, \pi/2]$. Beyond $\pi/2$, $\sin x$ decreases, implying y&#039; < 0, contradicting y&#039; \geq 0. Thus the maximal interval is bounded by where the candidate solution's derivative matches the ODE's sign constraint. This illustrates that separable solutions must satisfy not just the algebraic relation but also the sign/direction implied by the original unsquared equation.

📖 Explanation: Since $T \propto 1/P_0$, halving initial population doubles time to blowup. This inverse proportionality means early reduction efforts yield amplified safety margins. Unlike exponential growth where doubling time is constant, superlinear growth makes timing critically sensitive to initial conditions. This mathematical insight informs policy: delaying action on explosively growing threats (e.g., invasive species, viral spread) incurs accelerating costs. The separable solution's singularity structure directly quantifies urgency.

📖 Explanation: The manipulation $y dy = x dx$ is shorthand for $\int y(x) \frac{dy}{dx} dx = \int x dx$. By substitution $u=y(x)$, du = y&#039;(x)dx, left side becomes $\int u du$. Thus separation is rigorously grounded in integration by substitution, not infinitesimal arithmetic. Understanding this prevents misconceptions about differentials as standalone quantities while validating the computational procedure. This bridges intuitive notation with analytical foundations.

📖 Explanation: For autonomous y&#039;=f(y), time to go from $y_0$ to $Y$ is $\int_{y_0}^Y dy/f(y)$. If this integral diverges as $Y \to \pm\infty$, infinite time is needed to reach infinity, so solutions exist globally. Convergence would imply finite-time blowup. This criterion links improper integral convergence to solution lifespan, a deep result in ODE theory. Applying it requires evaluating asymptotic behavior of $1/f(y)$, connecting calculus limits to dynamical systems properties.