Antiderivatives and Differential Equations
Differential Equations
Definition Differential Equation
- A differential equation is an equality relating an unknown function \(y\) of variable \(x\), its successive derivatives \(y', y'', \dots\) and potentially other functions (constants, \(f\), etc.).
- A solution of a differential equation is any differentiable function that satisfies the equality.
Example
The function \(x \mapsto e^{-x}\) is a solution of the equation \(y'' - y = 0\) because, for \(y(x) = e^{-x}\), we have \(y'(x) = -e^{-x}\) and \(y''(x) = e^{-x}\).
Thus, \(y''(x) - y(x) = e^{-x} - e^{-x} = 0\).
Thus, \(y''(x) - y(x) = e^{-x} - e^{-x} = 0\).
Definition Understanding Notations
It is crucial to understand that in a differential equation, \(y\) is a function, not a fixed number. Depending on the context (Mathematics, Physics, or Engineering), we use different notations to represent the same derivative:
- Lagrange notation: Uses a "prime" symbol (\(y'\)). This is the most common shorthand in Math.
- Leibniz notation: Uses a differential ratio (\(\dfrac{dy}{dt}\) or \(\dfrac{dy}{dx}\)). This explicitly shows which variable we are differentiating with respect to (usually time \(t\) or position \(x\)).
- Functional notation: Explicitly writes \(y(t)\) or \(y(x)\) to remind us that the value depends on the variable.
Example
The following three equations represent exactly the same relationship where \(y\) is a function of time \(t\):
- Shorthand style: \(2y' + 3y = t\)
- Functional style: \(2y'(t) + 3y(t) = t\)
- Differential style (Leibniz): \(2\dfrac{dy}{dt} + 3y(t) = t\)
Antiderivative
Definition Antiderivative
Let \(f\) be a function defined on an interval \(I\).
We say that \(F\) is an antiderivative (or primitive) of \(f\) on \(I\) if \(F\) is differentiable on \(I\) and for all \(x \in I\):$$ \textcolor{colordef}{F'(x) = f(x)} $$In other words, an antiderivative of \(f\) is a solution to the differential equation \(y' = f\).
We say that \(F\) is an antiderivative (or primitive) of \(f\) on \(I\) if \(F\) is differentiable on \(I\) and for all \(x \in I\):$$ \textcolor{colordef}{F'(x) = f(x)} $$In other words, an antiderivative of \(f\) is a solution to the differential equation \(y' = f\).
Example
Let \(f(x) = 2\) on \(\mathbb{R}\). The function \(F(x) = 2x\) is a primitive of \(f\) on \(\mathbb{R}\) because \(F'(x) = 2 = f(x)\).
Proposition General Form
If \(F\) is an antiderivative of \(f\) on an interval \(I\), then any other antiderivative \(G\) of \(f\) on \(I\) is defined by:$$ \textcolor{colorprop}{G(x) = F(x) + C} \quad \text{where } C \in \mathbb{R} \text{ is a constant.} $$
Proposition Initial Condition
Let \(f\) be continuous on \(I\) and let \(x_0 \in I\) and \(y_0 \in \mathbb{R}\).
Then there exists a unique antiderivative \(F\) of \(f\) on \(I\) such that \(F(x_0) = y_0\).
Then there exists a unique antiderivative \(F\) of \(f\) on \(I\) such that \(F(x_0) = y_0\).
Example Physics Application: The Falling Apple
Consider an apple falling from a tree. Let \(v(t)\) be its velocity at time \(t\). According to Newton's second law, the derivative of the velocity is the constant acceleration due to gravity:$$ v'(t) = -g \quad (\text{where } g \approx 9.8 \text{ m/s}^2) $$The velocity function \(v\) is a primitive of the constant function \(f(t) = -g\).
- Determine the general form of the velocity \(v(t)\).
- If the apple starts from rest at \(t=0\), we have the initial condition \(v(0) = 0\). Find the unique velocity function.
- The general antiderivatives of \(-g\) are of the form \(v(t) = -gt + C\).
- Using the initial condition: \(v(0) = -g(0) + C = 0 \implies C = 0\).
The unique solution is \(v(t) = -gt\).
Antiderivative Formulae
Calculating antiderivatives is essentially the reverse process of differentiation. To find a primitive, we look for a function whose derivative matches the one we are given. Like derivatives, antiderivatives follow specific rules for sums, constant multiples, and certain compositions.
Proposition Linearity
Let \(f\) and \(g\) be two continuous functions on an interval \(I\).
If \(F\) and \(G\) are antiderivatives of \(f\) and \(g\) respectively, then:
If \(F\) and \(G\) are antiderivatives of \(f\) and \(g\) respectively, then:
- Sum Rule: \(F + G\) is an antiderivative of \(f + g\).
- Constant Multiple Rule: \(\alpha F\) is an antiderivative of \(\alpha f\) (where \(\alpha \in \mathbb{R}\)).
Proposition Reference Antiderivatives
Let \(C\) be a real constant.
| Function \(f(x)\) | Antiderivative \(F(x)\) | Interval \(I\) |
| \(k\) (constant) | \(kx + C\) | \(\mathbb{R}\) |
| \(x\) | \(\frac{1}{2}x^2 + C\) | \(\mathbb{R}\) |
| \(x^n\) (\(n\neq -1\)) | \(\frac{1}{n+1}x^{n+1} + C\) | \(\mathbb{R}\) for \(n\geq 0\), \((-\infty,0)\) or \((0, +\infty)\) for \(n\leq -2\) |
| \(\frac{1}{x}\) | \(\ln(x) + C\) | \((0, +\infty)\) |
| \(\frac{1}{x^2}\) | \(-\frac{1}{x} + C\) | \((-\infty, 0)\) or \((0, +\infty)\) |
| \(\frac{1}{\sqrt{x}}\) | \(2\sqrt{x} + C\) | \((0, +\infty)\) |
| \(\sin(x)\) | \(-\cos(x) + C\) | \(\mathbb{R}\) |
| \(\cos(x)\) | \(\sin(x) + C\) | \(\mathbb{R}\) |
| \(e^x\) | \(e^x + C\) | \(\mathbb{R}\) |
Proposition Composition Rules
Let \(u\) be a differentiable function on an interval \(I\).
| Function \(f\) | Antiderivative \(F\) | Condition on \(u\) |
| \(u' \cdot u^n\) (\(n \neq -1\)) | \(\frac{1}{n+1}u^{n+1} + C\) | \(u(x) \neq 0\) if \(n < 0\) |
| \(\frac{u'}{u}\) | \(\ln(u) + C\) | \(u(x) > 0\) |
| \(\frac{u'}{u^2}\) | \(-\frac{1}{u} + C\) | \(u(x) \neq 0\) |
| \(\frac{u'}{\sqrt{u}}\) | \(2\sqrt{u} + C\) | \(u(x) > 0\) |
| \(u' e^u\) | \(e^u + C\) | -- |
| \(u' \sin(u)\) | \(-\cos(u) + C\) | -- |
| \(u' \cos(u)\) | \(\sin(u) + C\) | -- |
Solving Differential Equations
Proposition Solutions of \(y' \equal ay\)
Let \(a\) be a non-zero real number.
The solutions to the differential equation \(y' = ay\) are the functions defined on \(\mathbb{R}\) by: $$ \textcolor{colorprop}{f(x) = K e^{ax}} \quad \text{where } K \in \mathbb{R} \text{ is a constant.} $$
The solutions to the differential equation \(y' = ay\) are the functions defined on \(\mathbb{R}\) by: $$ \textcolor{colorprop}{f(x) = K e^{ax}} \quad \text{where } K \in \mathbb{R} \text{ is a constant.} $$
Example
Solve the differential equation \(y' = -2y\) with the initial condition \(y(0) = 4\).
- General solution: The equation is of the form \(y' = ay\) with \(a = -2\). The general solutions are the functions: $$ y(x) = K e^{-2x} \quad \text{where } K \in \mathbb{R} $$
- Particular solution: Using the initial condition \(y(0) = 4\): $$ K e^{-2(0)} = 4 \implies K \times 1 = 4 \implies K = 4 $$ The unique solution is \(y(x) = 4e^{-2x}\).
