APM3706 Ordinary
Differential Equations:
The Elite Universal Test
Bank
PART 0: TABLE OF CONTENTS
● PART I: THE PREVIEW
○ The Critical Axioms of Ordinary Differential Equations
● PART II: THE ELITE TEST BANK
○ Tier 1: Foundational Syntax & Application (Questions 1–10)
■ Focus: Picard-Lindelöf, Operator Methods, Eigenvalue-Eigenvector
Fundamentals, Gronwall's Inequality.
○ Tier 2: Complex Application & Simulation (Questions 11–20)
■ Focus: Putzer's Algorithm, Fundamental Matrices, Linearization, Power
Series, Asymptotic Stability.
○ Tier 3: Grandmaster Synthesis (Questions 21–30)
■ Focus: Defective Matrices, Multivariable Operator Determinants, Ecological
Modeling, Advanced Initial Value Problems.
PART I: THE PREVIEW
The mastery of this test bank translates directly to elite performance in the analytical resolution
of complex ordinary differential equations. The rigorous application of these mathematical
principles forges an academic precision that dictates high-level competence in real-world
mathematical modeling, engineering, and theoretical physics.
The "Critical Axioms" Cheat Sheet:
Axiom Mathematical Framework Strategic Application
The Picard-Lindelöf Mandate Continuity of f(t,y) guarantees Used to prove deterministic
existence; Lipschitz continuity behavior in non-linear systems
guarantees uniqueness. before attempting integration.
The Fundamental Matrix Law e^{At} = \Phi(t)\Phi^{-1}(0) Bypasses exponential series
where \Phi(t) is any expansion by normalizing any
fundamental matrix. set of linearly independent
solutions.
Putzer's Algorithm e^{At} = \sum_{k=0}^{n-1} Computes exact matrix
p_{k+1}(t)M_k. exponentials without requiring
,Axiom Mathematical Framework Strategic Application
eigenvectors or the Jordan
Canonical Form.
Gronwall's Bound If u(t) \le \alpha(t) + \int_{t_0}^t The ultimate mechanism for
\beta(s)u(s)ds, then u(t) \le proving stability and bounding
\alpha(t) \exp(\int_{t_0}^t divergence in perturbed
\beta(s)ds). systems.
Eigenvalue Stability Asymptotic stability requires Dictates the long-term
\text{Re}(\lambda_i) < 0 for all i. topological behavior of linear
systems and linearized
non-linear systems.
PART II: THE ELITE TEST BANK
Tier 1: Foundational Syntax & Application
Q1: An analyst evaluates the initial value problem \dot{y} = y^{2/3} with the condition y(0) = 0.
The analyst notices that both y(t) = 0 and y(t) = (t/3)^3 satisfy the equation perfectly. Based on
the principles of the Picard-Lindelöf Theorem, which conclusion regarding this system is the
MOST ACCURATE? A) The theorem is violated because the function f(t, y) = y^{2/3} is
structurally discontinuous at y = 0, negating all analytical bounds. B) The system possesses
multiple solutions because the initial condition y(0)=0 lies exactly on a saddle point of the phase
space. C) The existence of multiple solutions occurs because the partial derivative \frac{\partial
f}{\partial y} is unbounded near y=0, violating the Lipschitz condition. D) The system exhibits
non-uniqueness because first-order autonomous equations inherently lack unique solutions
without a secondary boundary condition at t>0.
● Answer: C (The existence of multiple solutions occurs because the partial derivative
\frac{\partial f}{\partial y} is unbounded near y=0, violating the Lipschitz condition.)
● Distractor Analysis:
○ A is incorrect: The function f(t, y) = y^{2/3} is perfectly continuous at y=0, which is
precisely why solutions are guaranteed to exist.
○ B is incorrect: The concept of a saddle point is a classification of linear 2D phase
portraits and is entirely irrelevant to the scalar existence-uniqueness theorem
framework.
○ D is incorrect: First-order autonomous equations routinely possess unique solutions
provided they meet the Lipschitz condition (e.g., \dot{y} = 2y).
The Mentor's Analysis: The Picard-Lindelöf theorem mathematically separates existence from
uniqueness. Continuity provides existence; Lipschitz continuity provides uniqueness. When
computing \frac{\partial f}{\partial y} = \frac{2}{3}y^{-1/3}, the derivative explodes to infinity at
y=0, proving the function is not locally Lipschitz. By utilizing Lipschitz verification, the analyst
bypasses the common trap of assuming simple continuity equates to uniqueness.
Professional/Academic Intuition: Always test the boundedness of the partial derivative
with respect to the dependent variable; if it approaches infinity in the domain,
uniqueness is permanently lost.
Q2: A mathematician is modeling a coupled electric circuit using the operator method. The
system is defined by P_{11}(D)x + P_{12}(D)y = f_1(t) and P_{21}(D)x + P_{22}(D)y = f_2(t),
where D is the differential operator d/dt. To decouple the system and solve solely for x(t), which
action is the FIRST and most mathematically sound step? A) Integrate both equations with
, respect to t to remove the highest order D operator, introducing initial conditions immediately. B)
Multiply the first equation by P_{22}(D) and the second equation by P_{12}(D), assuming
constant coefficients, to eliminate the variable y. C) Convert the system immediately into a
first-order matrix system \dot{X} = AX using variable substitution and Jordan canonical
reduction. D) Divide both equations by the determinant operator \Delta(D) = P_{11}(D)P_{22}(D)
- P_{12}(D)P_{21}(D).
● Answer: B (Multiply the first equation by P_{22}(D) and the second equation by
P_{12}(D), assuming constant coefficients, to eliminate the variable y.)
● Distractor Analysis:
○ A is incorrect: Integrating an unknown operator polynomial P(D) does not simplify
the system, introduces arbitrary functions prematurely, and corrupts the differential
structure.
○ C is incorrect: While conversion to \dot{X}=AX is a valid technique generally, the
operator method specifically dictates the algebraic elimination of variables using
polynomial operators.
○ D is incorrect: Division by a differential operator is mathematically invalid in this
context; differential operators are strictly applied, never divided.
The Mentor's Analysis: The operator method treats differential operators P(D) with constant
coefficients as algebraic polynomials. When facing a system of linear ODEs, the immediate
priority is to decouple the variables using an analog of Cramer's rule. By utilizing operator
elimination, the mathematician bypasses the common trap of misapplying linear algebra division
rules to differential operators. Professional/Academic Intuition: Differential operators with
constant coefficients commute seamlessly; treat them exactly as algebraic variables to
systematically eliminate unknowns without altering the system's physics.
Q3: Consider the homogeneous linear system \dot{X} = AX, where A is a 2 \times 2 matrix with
real, distinct eigenvalues \lambda_1 = -2 and \lambda_2 = 3, and corresponding eigenvectors
v_1 and v_2. Which conclusion regarding the general solution and system topology is the
MOST ACCURATE? A) The general solution is strictly transient and will decay to zero as t \to
\infty due to the presence of the negative eigenvalue. B) The general solution must be
expressed using sine and cosine functions due to the algebraic separation of the eigenvalues
across the origin. C) The general solution is X(t) = c_1 v_1 e^{-2t} + c_2 v_2 e^{3t}, establishing
an unstable saddle point at the origin. D) The system requires a generalized eigenvector to form
a complete fundamental set of solutions because the trace is positive.
● Answer: C (The general solution is X(t) = c_1 v_1 e^{-2t} + c_2 v_2 e^{3t}, establishing
an unstable saddle point at the origin.)
● Distractor Analysis:
○ A is incorrect: Because \lambda_2 = 3 is positive, the term c_2 v_2 e^{3t} will grow
exponentially. The system is unconditionally unstable and not strictly transient.
○ B is incorrect: Sine and cosine functions only emerge when the eigenvalues are
complex conjugates, representing oscillatory behavior absent here.
○ D is incorrect: Generalized eigenvectors are strictly reserved for defective matrices
with repeated eigenvalues where algebraic multiplicity exceeds geometric
multiplicity.
The Mentor's Analysis: Real, distinct eigenvalues guarantee linearly independent
eigenvectors, providing a direct path to the general solution. When facing mixed-sign
eigenvalues, the immediate priority is recognizing the phase portrait classification. By utilizing
eigenvalue sign analysis, the scholar bypasses the novice error of misidentifying the stability of
the equilibrium point based on a single stable manifold. Professional/Academic Intuition: A
Differential Equations:
The Elite Universal Test
Bank
PART 0: TABLE OF CONTENTS
● PART I: THE PREVIEW
○ The Critical Axioms of Ordinary Differential Equations
● PART II: THE ELITE TEST BANK
○ Tier 1: Foundational Syntax & Application (Questions 1–10)
■ Focus: Picard-Lindelöf, Operator Methods, Eigenvalue-Eigenvector
Fundamentals, Gronwall's Inequality.
○ Tier 2: Complex Application & Simulation (Questions 11–20)
■ Focus: Putzer's Algorithm, Fundamental Matrices, Linearization, Power
Series, Asymptotic Stability.
○ Tier 3: Grandmaster Synthesis (Questions 21–30)
■ Focus: Defective Matrices, Multivariable Operator Determinants, Ecological
Modeling, Advanced Initial Value Problems.
PART I: THE PREVIEW
The mastery of this test bank translates directly to elite performance in the analytical resolution
of complex ordinary differential equations. The rigorous application of these mathematical
principles forges an academic precision that dictates high-level competence in real-world
mathematical modeling, engineering, and theoretical physics.
The "Critical Axioms" Cheat Sheet:
Axiom Mathematical Framework Strategic Application
The Picard-Lindelöf Mandate Continuity of f(t,y) guarantees Used to prove deterministic
existence; Lipschitz continuity behavior in non-linear systems
guarantees uniqueness. before attempting integration.
The Fundamental Matrix Law e^{At} = \Phi(t)\Phi^{-1}(0) Bypasses exponential series
where \Phi(t) is any expansion by normalizing any
fundamental matrix. set of linearly independent
solutions.
Putzer's Algorithm e^{At} = \sum_{k=0}^{n-1} Computes exact matrix
p_{k+1}(t)M_k. exponentials without requiring
,Axiom Mathematical Framework Strategic Application
eigenvectors or the Jordan
Canonical Form.
Gronwall's Bound If u(t) \le \alpha(t) + \int_{t_0}^t The ultimate mechanism for
\beta(s)u(s)ds, then u(t) \le proving stability and bounding
\alpha(t) \exp(\int_{t_0}^t divergence in perturbed
\beta(s)ds). systems.
Eigenvalue Stability Asymptotic stability requires Dictates the long-term
\text{Re}(\lambda_i) < 0 for all i. topological behavior of linear
systems and linearized
non-linear systems.
PART II: THE ELITE TEST BANK
Tier 1: Foundational Syntax & Application
Q1: An analyst evaluates the initial value problem \dot{y} = y^{2/3} with the condition y(0) = 0.
The analyst notices that both y(t) = 0 and y(t) = (t/3)^3 satisfy the equation perfectly. Based on
the principles of the Picard-Lindelöf Theorem, which conclusion regarding this system is the
MOST ACCURATE? A) The theorem is violated because the function f(t, y) = y^{2/3} is
structurally discontinuous at y = 0, negating all analytical bounds. B) The system possesses
multiple solutions because the initial condition y(0)=0 lies exactly on a saddle point of the phase
space. C) The existence of multiple solutions occurs because the partial derivative \frac{\partial
f}{\partial y} is unbounded near y=0, violating the Lipschitz condition. D) The system exhibits
non-uniqueness because first-order autonomous equations inherently lack unique solutions
without a secondary boundary condition at t>0.
● Answer: C (The existence of multiple solutions occurs because the partial derivative
\frac{\partial f}{\partial y} is unbounded near y=0, violating the Lipschitz condition.)
● Distractor Analysis:
○ A is incorrect: The function f(t, y) = y^{2/3} is perfectly continuous at y=0, which is
precisely why solutions are guaranteed to exist.
○ B is incorrect: The concept of a saddle point is a classification of linear 2D phase
portraits and is entirely irrelevant to the scalar existence-uniqueness theorem
framework.
○ D is incorrect: First-order autonomous equations routinely possess unique solutions
provided they meet the Lipschitz condition (e.g., \dot{y} = 2y).
The Mentor's Analysis: The Picard-Lindelöf theorem mathematically separates existence from
uniqueness. Continuity provides existence; Lipschitz continuity provides uniqueness. When
computing \frac{\partial f}{\partial y} = \frac{2}{3}y^{-1/3}, the derivative explodes to infinity at
y=0, proving the function is not locally Lipschitz. By utilizing Lipschitz verification, the analyst
bypasses the common trap of assuming simple continuity equates to uniqueness.
Professional/Academic Intuition: Always test the boundedness of the partial derivative
with respect to the dependent variable; if it approaches infinity in the domain,
uniqueness is permanently lost.
Q2: A mathematician is modeling a coupled electric circuit using the operator method. The
system is defined by P_{11}(D)x + P_{12}(D)y = f_1(t) and P_{21}(D)x + P_{22}(D)y = f_2(t),
where D is the differential operator d/dt. To decouple the system and solve solely for x(t), which
action is the FIRST and most mathematically sound step? A) Integrate both equations with
, respect to t to remove the highest order D operator, introducing initial conditions immediately. B)
Multiply the first equation by P_{22}(D) and the second equation by P_{12}(D), assuming
constant coefficients, to eliminate the variable y. C) Convert the system immediately into a
first-order matrix system \dot{X} = AX using variable substitution and Jordan canonical
reduction. D) Divide both equations by the determinant operator \Delta(D) = P_{11}(D)P_{22}(D)
- P_{12}(D)P_{21}(D).
● Answer: B (Multiply the first equation by P_{22}(D) and the second equation by
P_{12}(D), assuming constant coefficients, to eliminate the variable y.)
● Distractor Analysis:
○ A is incorrect: Integrating an unknown operator polynomial P(D) does not simplify
the system, introduces arbitrary functions prematurely, and corrupts the differential
structure.
○ C is incorrect: While conversion to \dot{X}=AX is a valid technique generally, the
operator method specifically dictates the algebraic elimination of variables using
polynomial operators.
○ D is incorrect: Division by a differential operator is mathematically invalid in this
context; differential operators are strictly applied, never divided.
The Mentor's Analysis: The operator method treats differential operators P(D) with constant
coefficients as algebraic polynomials. When facing a system of linear ODEs, the immediate
priority is to decouple the variables using an analog of Cramer's rule. By utilizing operator
elimination, the mathematician bypasses the common trap of misapplying linear algebra division
rules to differential operators. Professional/Academic Intuition: Differential operators with
constant coefficients commute seamlessly; treat them exactly as algebraic variables to
systematically eliminate unknowns without altering the system's physics.
Q3: Consider the homogeneous linear system \dot{X} = AX, where A is a 2 \times 2 matrix with
real, distinct eigenvalues \lambda_1 = -2 and \lambda_2 = 3, and corresponding eigenvectors
v_1 and v_2. Which conclusion regarding the general solution and system topology is the
MOST ACCURATE? A) The general solution is strictly transient and will decay to zero as t \to
\infty due to the presence of the negative eigenvalue. B) The general solution must be
expressed using sine and cosine functions due to the algebraic separation of the eigenvalues
across the origin. C) The general solution is X(t) = c_1 v_1 e^{-2t} + c_2 v_2 e^{3t}, establishing
an unstable saddle point at the origin. D) The system requires a generalized eigenvector to form
a complete fundamental set of solutions because the trace is positive.
● Answer: C (The general solution is X(t) = c_1 v_1 e^{-2t} + c_2 v_2 e^{3t}, establishing
an unstable saddle point at the origin.)
● Distractor Analysis:
○ A is incorrect: Because \lambda_2 = 3 is positive, the term c_2 v_2 e^{3t} will grow
exponentially. The system is unconditionally unstable and not strictly transient.
○ B is incorrect: Sine and cosine functions only emerge when the eigenvalues are
complex conjugates, representing oscillatory behavior absent here.
○ D is incorrect: Generalized eigenvectors are strictly reserved for defective matrices
with repeated eigenvalues where algebraic multiplicity exceeds geometric
multiplicity.
The Mentor's Analysis: Real, distinct eigenvalues guarantee linearly independent
eigenvectors, providing a direct path to the general solution. When facing mixed-sign
eigenvalues, the immediate priority is recognizing the phase portrait classification. By utilizing
eigenvalue sign analysis, the scholar bypasses the novice error of misidentifying the stability of
the equilibrium point based on a single stable manifold. Professional/Academic Intuition: A
