1 obsidian/diffeq
For
This solution MUST be unique if
Failing these tests does not imply nonexistence or non-uniqueness.
Divide by
Homogeneous function:
Is “zoom invariant” and said to be order
For differential equation:
When
Becomes a separable differential equation!
Find potential functions such that
Let
Because
Uniqueness: The constraints
Superposition: The space of solutions to a homogenous equation is spanned by any 2 linearly independent solutions. For higher orders this is equal to the order of the equation.
Uniqueness implies that 2 linearly independent solutions must exist for any homogenous equation, and this holds generally for higher orders. Another argument is that there are that many roots (real or imaginary) to the characteristic equation by the fundamental theorem of algebra.
To solve, we factor a polynomial of the differential operator (the “characteristic polynomial”):
Roots give the solutions as
By induction, this will go to 0 for any
For imaginary roots with their complex conjugate, the solution is
Because we know that
Then, we can define new constants
First, solve the associated homogenous equation (the “complementary function”) and add it to the particular solution. This works because differentiation is linear.
A nonzero wronskian proves that all functions are linearly independent, a zero wronskian proves linear dependence for analytic functions.
I guess differentiation is the simplest operator that works by iterating it? Cause a simple multiplication wouldn’t work because that produces linear dependence across rows. Does adding one work????
For inhomogenous equation
Find another homogenous equation
Or the shortcut method for finding the trial solution: For each term in
The general idea is to find functions to serve as coefficients to the associated homogenous solution such that it works out for the inhomogenous equation.
Very cursed. Wikipedia explanation is actually very good and easy to understand: https://en.wikipedia.org/wiki/Variation_of_parameters#Description_of_method
The only tricky part is that they skip over a step to get to equation vii: You must reorder the sum and factor out
By plugging in
In the end, the system of equations that we must solve is
To solve for
Where
How did people come up with this shit?? Matrix Form: https://math.stackexchange.com/questions/1215632/variation-of-parameters-why-do-we-assume-the-constraint-v-1-leftt-righty
Dirac Delta
Unit step (Heaviside theta)
(One-sided) Laplace transform is linear:
Laplace transform exists for all piecewise continuous functions with exponential order, and it also always shrinks to 0 in s-domain:
Laplace transform of derivative (piecewise smooth with exponential order): TODO show full expansion and int by parts
Convolution Theorem:
Convolution theorem with dirac delta produces a shift (note: only shifts to the right with
This is just
Polynomials: TODO show full expansion and int by parts