|
|
| Line 1: |
Line 1: |
| − | '''Differential equations''' are [[functional equations]] involving [[functions]] and their [[Derivative|derivatives]].
| + | #REDIRECT [[Differential equation]] |
| − | | |
| − | The <b>order</b> of a differential equation is the largest [[Order (derivative)|order]] of any derivative that appears in the equation.
| |
| − | | |
| − | ==Examples==
| |
| − | <math>f(x) = f'(x)</math> has solutions <math>Ce^x</math> for all real constants <math>C</math>.
| |
| − | | |
| − | <math>f(x) = -f''(x)</math> has solutions <math>C \cos(x + a)</math> for all real constants <math>C</math> and <math>a</math>. The solutions with <math>a = 0</math> are <math>C \cos x</math>; those with <math>a = \frac{\pi}{2}</math> are <math>C \sin x</math>.
| |
| − | | |
| − | ==Solutions==
| |
| − | <b> Separation of variables </b> is a convenient technique for solving certain types of differential equations. Essentially, the method involves rewriting the equation so that each side is an expression in only one variable and then taking the [[antiderivative]] of both sides.
| |
| − | | |
| − | When solving differential equations, it is best to notate functions using a single variable name instead of spelling out the function and its arguments, for example using <math>y</math> instead of <math>f(x)</math>. Here we also use [[Derivative/Formulas#Notation|Leibniz notation]] <math>\frac{dy}{dx}</math> for the derivative because it allows for manipulating <math>dy</math> and <math>dx</math> individually.
| |
| − | | |
| − | ===Worked example===
| |
| − | To solve the differential equation <cmath>\frac{dy}{dx} + y = 2xy + x^2\frac{dy}{dx},</cmath> we manipulate and factor to get <cmath>(1 - x^2)\frac{dy}{dx} = (2x - 1)y,</cmath> then rearrange: <cmath>\frac{1}{y} \: dy = \frac{2x - 1}{1 - x^2} \: dx.</cmath> We then proceed to take the antiderivatives <cmath>\int \frac{1}{y} \: dy = \int \frac{2x - 1}{1 - x^2} \: dx,</cmath>
| |
| − | | |
| − | ==Approximations==
| |
| − | <b> Euler's method </b> uses repeated [[Taylor series|tangent-line approximations]] to approximate the solution to first-order differential equations.
| |
| − | | |
| − | ==Constant expressions==
| |
| − | Certain expressions involving solutions to differential equations can be proven constant by noting that their derivatives are always <math>0</math>. These constant expressions can then be used to prove properties of the solutions.
| |
| − | | |
| − | For example, when <math>f(x) = -f''(x)</math>, <cmath>\begin{align*} \left( f(x)^2 + f'(x)^2 \right)' &= \left( f(x)^2 \right) ' + \left( f'(x)^2 \right) ' \\ &= 2f(x)f'(x) + 2f'(x)f''(x) \\ &= 2f'(x) \left( f(x) + f''(x) \right) \\ &= 0. \end{align*}</cmath> Using <math>\sin' x = \cos x</math> allows for reconstructing the familiar [[Trigonometric identities#Pythagorean identities|identity]] <cmath>\sin^2 x + \cos^2 x = \sin^2 0 + \cos^2 0 = 0^2 + 1^2 = 1</cmath> for all real <math>x</math>.
| |
| − | | |
| − | When <math>f(x) = f'(x)</math>, for any real constant <math>S</math>, <cmath>\begin{align*} \left( f(x)f(S-x) \right)' &= f'(x)f(S-x) + f(x)(f(S-x))' \\ &= f'(x)f(S-x) + f(x)(S-x)'f'(S-x) \\ &= f(x)f(S-x) + f(x)(-1)f(S-x) \\ &= 0. \end{align*}</cmath> Letting <math>S = a + b</math> and evaluating at both <math>x = 0</math> and <math>x = a</math> gives <cmath>f(a)f(b) = f(0)f(a+b),</cmath> which using <math>e^0 = 1</math> becomes the familiar [[Exponentiation#Basic Properties|identity]] <cmath>e^ae^b = e^{a+b}</cmath> for all real <math>a</math> and <math>b</math>.
| |
| | | | |
| | {{stub}} | | {{stub}} |
| | | | |
| | [[Category: Calculus]] | | [[Category: Calculus]] |
