Steps to determine existence and uniqueness for a first-order linear IVP

📚 Existence and Uniqueness Theorem for First-Order Linear IVPs

The Existence and Uniqueness Theorem is a cornerstone in the study of differential equations. For a first-order linear Initial Value Problem (IVP), it provides conditions that guarantee a solution exists and that the solution is the only one. Understanding this theorem is vital for both theoretical and practical applications of differential equations.

📜 History and Background

The development of existence and uniqueness theorems is rooted in the need to ensure that mathematical models, especially those represented by differential equations, have meaningful solutions. Early work in calculus and analysis paved the way for more rigorous results. Mathematicians like Cauchy and Lipschitz contributed significantly to these theorems, culminating in the modern form applicable to a wide range of differential equations.

🔑 Key Principles

Consider the first-order linear IVP: $y' + p(t)y = g(t)$, with initial condition $y(t_0) = y_0$.

The Existence and Uniqueness Theorem states:

If $p(t)$ and $g(t)$ are continuous on an open interval $I$ containing $t_0$, then there exists a unique solution $y(t)$ to the IVP on that same interval $I$.

✅ Steps to Determine Existence and Uniqueness

• 🔍 Step 1: Standard Form Ensure the differential equation is in standard form: $y' + p(t)y = g(t)$. This means the coefficient of $y'$ must be 1.
• 📈 Step 2: Identify $p(t)$ and $g(t)$ Determine the functions $p(t)$ (the coefficient of $y$) and $g(t)$ (the forcing function) in the equation.
• 📍 Step 3: Check Continuity Verify that both $p(t)$ and $g(t)$ are continuous functions on some open interval. This often involves checking for points of discontinuity (e.g., division by zero, square roots of negative numbers).
• ⏱️ Step 4: Identify $t_0$ Determine the initial time $t_0$ from the initial condition $y(t_0) = y_0$.
• 🧭 Step 5: Find the Interval $I$ Find an open interval $I$ that contains $t_0$ on which both $p(t)$ and $g(t)$ are continuous. The solution to the IVP is guaranteed to exist and be unique on this interval.

🧪 Real-world Examples

Example 1:

Consider the IVP: $ty' + y = t^2$, $y(1) = 2$.

1. Divide by $t$ to get standard form: $y' + (1/t)y = t$.
2. $p(t) = 1/t$ and $g(t) = t$.
3. $p(t)$ is discontinuous at $t = 0$, while $g(t)$ is continuous everywhere.
4. $t_0 = 1$.
5. The interval $I$ is $(0, \infty)$ since $p(t)$ and $g(t)$ are continuous on this interval, and $t_0 = 1$ is contained within it. Thus, a unique solution exists on $(0, \infty)$.

Example 2:

Consider the IVP: $y' + y = e^t$, $y(0) = 5$.

1. The equation is already in standard form.
2. $p(t) = 1$ and $g(t) = e^t$.
3. Both $p(t)$ and $g(t)$ are continuous everywhere.
4. $t_0 = 0$.
5. The interval $I$ is $(-\infty, \infty)$ since both functions are continuous everywhere. Thus, a unique solution exists on the entire real line.

💡 Common Pitfalls

• 🛑 Forgetting Standard Form: Not converting the equation to standard form before identifying $p(t)$ and $g(t)$.
• 🤯 Incorrectly Identifying Discontinuities: Overlooking subtle discontinuities in $p(t)$ or $g(t)$.
• ❌ Choosing the Wrong Interval: Not selecting the largest possible interval $I$ containing $t_0$ where both functions are continuous.

🎓 Conclusion

The Existence and Uniqueness Theorem provides a powerful tool for understanding the behavior of solutions to first-order linear IVPs. By carefully checking the continuity of $p(t)$ and $g(t)$, you can determine whether a unique solution is guaranteed to exist on a specific interval. This knowledge is crucial for modeling and analyzing real-world phenomena using differential equations.