---
title: "Non-Intersecting Graphs (Single Order)"
source: https://www.jemoka.com/posts/kbhnon_intersecting_graphs/
---

In this project, we aim to derive situations for the existence of a differential equation for when a family of functions do not intersect. We were able to derive a full solution for the result in linear equations, and we offer an exploration of a partial solution for non-linear cases.
Function Families Fundamentally, function families are functions parameterized by some \(C\), which has the shape:
\begin{equation} y(x, \dots, c) = f(x, \dots)+c \end{equation}
Through this result, we can figure a statement for &ldquo;intersection.&rdquo; If two functions intersect, their difference will be \(0\); if there is a non-trivial solution (that \(c_1\neq c_2\) &mdash; that, they are not the same function&mdash;still makes \(y_{C_1} = y_{C_2}\)), the function family interact.
We can test this by subtracting two arbitrary members from the desired family. If it results that \(c_1-c_2=0 \implies c_1=c_2\), we can say that the family does not intersect: that there are no non-trivial solutions to the function having no difference.
Single-Order Linear Differential Equations Here, we prove the fact that single-order linear differential equations do not produce solutions that intersect. We have the following single-order linear differential equation:
\begin{equation} \dv{y}{x} + P(x) = Q(x) \end{equation}
If, as desired, our function has a analytical solution (without an integral), we will make both terms differentiable.
\begin{equation} \dv{y}{x} + P&rsquo;(x) = Q&rsquo;(x) \end{equation}
Recall the general solution of this expression:
\begin{align} y &amp;= e^{-\int P&rsquo;(x)\dd{x}} \int e^{\int P&rsquo;(x)\dd{x}} Q&rsquo;(x)\dd{x} \\ &amp;= e^{-(P(x)+C_1)} \int e^{P(x)+C_1} Q&rsquo;(x)\dd{x} \end{align}
Of course, we can separate the constants \(e^{C_1}\) out.
\begin{align} y &amp;= e^{-(P(x)+C_1)} \int e^{P(x)+C_1} Q&rsquo;(x)\dd{x} \\ &amp;= e^{-P(x)} \int e^{P(x)} Q&rsquo;(x)\dd{x} \end{align}
Now, it is the case that, for the most part, \(e^{P(x)}Q&rsquo;(x)\) may not be integral-differentiable. Applying the fundamental theorem, we still have that as the integral function, with some &ldquo;differentiated&rdquo; term which we will call \(a(x)\): below
\begin{align} y &amp;= e^{-P(x)}(a(x) +C) \\ &amp;= e^{-P(x)}a(x) +Ce^{-P(x)} \end{align}
Excellent. Now, let&rsquo;s do the subtraction test devised above; if we have that \(C_1-C_2=0\) given \(y_1-y_2=0\), then we can ensure that the function family do not intersect.
\begin{align} y_1 - y_2 =0 &amp;= (e^{-P(x)}a(x) +C_{1}e^{-P(x)})-(e^{-P(x)}a(x) +C_{2}e^{-P(x)}) \\ &amp;= C_{1}e^{-P(x)}-C_{2}e^{-P(x)} \\ &amp;= (C_{1}-C_{2})e^{-P(x)} \end{align}
We now have that:
\begin{equation} 0 = (C_1+C_2)e^{-P(x)} \end{equation}
Notably, the codomain of \(e^{x}\) is \((0, \infty)\). Having never reached \(0\), we have that \(0=C_1-C_2\), as desired. \(\blacksquare\)
