Exact Differential Equations & Core First-Order ODE Methods

Review of Exact Differential-Equation Method

  • Central message of today’s segment: before attempting any manipulation, always check whether the given first-order ODE is already in exact form.
    • “It’s already in the form – exact form – so with respect to yy this (term / derivative) is gone.”
    • Students often instinctively try to rearrange or force an integrating-factor method, but if the mixed partial-derivative test is satisfied you can integrate immediately.
  • Exactness test recap
    • Write the DE in differential form M(x,y)dx+N(x,y)dy=0M(x,y)\,dx + N(x,y)\,dy = 0.
    • Compute partials:
    M<em>yM/y,M<em>y \equiv \partial M / \partial y, N</em>xN/x.N</em>x \equiv \partial N / \partial x.
    • If M<em>y=N</em>xM<em>y = N</em>x on some region RR2,R\subset\mathbb R^2, the equation is exact; a potential function Φ(x,y)\Phi(x,y) exists with dΦ=Mdx+Ndy.d\Phi = M\,dx+N\,dy.
  • Importance of checking the condition early
    • Saves time in exams (“final exam: I may give 1–2 questions; many can be solved by recognising exactness”).
    • “M of y, N of x being equal – if they are, you’re lucky; if not, fall back on other methods.”

Three Core First-Order Techniques Taught So Far

  1. Separable: dydx=g(x)h(y)    !1h(y)dy=g(x)dx+C.\dfrac{dy}{dx}=g(x)h(y) \;\Rightarrow\; \int !\dfrac{1}{h(y)}\,dy = \int g(x)\,dx + C.
  2. Linear: dydx+P(x)y=Q(x)\dfrac{dy}{dx}+P(x)y = Q(x) – solved with integrating factor μ(x)=eP(x)dx.\mu(x)=e^{\int P(x)dx}.
  3. Exact: M<em>y=N</em>xM<em>y=N</em>x as above.
    → “Every other special scenario circles back to one of these three.”

Worked / Referenced Textbook Problems

  • Problem #50 & #51 (no full transcript given)
    • Point: both can be rewritten so the M<em>y=N</em>xM<em>y=N</em>x test passes; no need to ‘force’ integrating factors.
    • Once verified, integrate MM w.r.t. xx (or NN w.r.t. yy) and add the ‘missing function’ of the other variable.
  • Problem #16, p. 147
    • Class request: “Could you do 16 on page 147?”
    • Implied next example to illustrate the same workflow.

Illustrative Expression Mentioned in Class

  • Lecturer’s spontaneous algebraic fragment:
    xyxy is this guy … +  35y5/325x5/2+ \; \tfrac{3}{5}y^{5/3} - \tfrac{2}{5}x^{5/2}” (context: potential-function pieces).
    • Shows typical mixed xxyy structure whose partial derivatives become simple powers, facilitating the M<em>y=N</em>xM<em>y=N</em>x check.

Graphing / Computational Aids

  • “There are billions of graphing calculators online – just type the equation and it pops up.”
    • Encourages students to verify implicit-solution curves visually.
    • Emphasises caring about students’ effort; online tools eliminate algebraic/arithmetic distraction.
  • Translating equations between software environments is “as simple as connecting the softwares – after obtaining the necessary permissions.”
    • Reminder that syntax differences (one language → another) are minor once conceptual structure is clear.

Practical Strategy for Exams

  • Step-by-step checklist:
    1. Rewrite into Mdx+Ndy=0M\,dx+N\,dy=0.
    2. Compute M<em>yM<em>y and N</em>xN</em>x quickly.
    3. If equal ⇒ integrate to find Φ(x,y)=C\Phi(x,y)=C.
    4. If not equal, decide: separable? linear? need integrating factor?
  • Time management tip: “Love doing exact? Test each problem – almost all might fall that way.”
  • Checking ensures “it guarantees that it’s gonna go” – i.e.
    zero risk of choosing a mismatched method.

Conceptual / Philosophical Take-aways

  • The elegance of exact equations lies in exploiting symmetry of mixed partials – a reflection of Clairaut’s theorem.
  • Ethical angle: instructor emphasizes providing resources (“because I care about your efforts”).
  • Broader skill: recognising structure first, then choosing a method, parallels problem-solving across mathematics and engineering.

Numerical / Notational Reminders

  • When integrating: include constant/‘missing function.’ Example:
    M(x,y)dx=Φ(x,y)+g(y)\int M(x,y)\,dx = \Phi(x,y) + g(y)
      yΦ=N(x,y)\Rightarrow\; \frac{\partial}{\partial y}\Phi = N(x,y) gives g(y)g'(y), allowing determination of g(y).g(y).
  • Solution set expressed implicitly as Φ(x,y)=C\Phi(x,y)=C unless explicit y(x)y(x) isolation is easy.