Ordinary differential equations Proof
Proof of the superposition principle
Builds on Homogeneous linear equationLinear differential equation of order nLinearity of differentiation
Proof
- Let . As solutions of the homogeneous linear equation, and are times differentiable on , with and .
- We show by induction on that, for , is times differentiable on and .
- For this is the definition of .
- Let and assume the claim for . The functions and are differentiable, since .
- By linearity of differentiation, is differentiable with derivative . This proves the claim for .
- Write . By step 2, at each , .
- By step 1, this is . So is times differentiable and solves the linear equation on .
Idea
Differentiation is linear, and is built from derivatives by multiplying with functions and adding. So is linear, and it maps a combination of solutions to the same combination of zeros.
Reading path
To understand this page from the ground up, read these 75 pages in order. The foundations come first. The path takes the proofs Proof of the limit of a sum of sequences, Proof of the approximation property of the supremum, Proof that there is a natural number n with 1/n below any positive epsilon, Proof that the reals form an ordered field, with the Cauchy sequence construction, Proof of the limit of a product of sequences, Proof that the absolute value is multiplicative, Proof of the linearity of differentiation, Proof of the sequential characterization of limits, Proof of the triangle inequality for real numbers, Proof of the epsilon-N definition of the limit of a sequence, Proof of the epsilon-delta form of the limit of a function, Proof that the reals are Archimedean from the completeness axiom, Proof that convergent sequences are bounded.
- Construction of the reals from Cauchy sequences concept
- Differential equation concept
- Element definition
- Function concept
- Integers object
- Interval concept
- Limit point of a set definition
- Ordered field definition
- Proposition concept
- Rational numbers object
- Real numbers object
- Sequence definition
- Set bounded above definition
- Ordinary differential equation definition
- Set definition
- Ring of integers statement
- Limit of a function definition
- Archimedean ordered field definition
- Implication definition
- Predicate definition
- The reals form a field statement
- Real sequence definition
- Supremum definition
- Order of a differential equation definition
- Ordered pair definition
- Derivative definition
- The rationals form a field statement
- Universal quantifier definition
- Bounded sequence definition
- Limit of a sequence definition
- Completeness axiom statement
- Cartesian product definition
- Linear differential equation of order n definition
- Differentiable function definition
- Subset definition
- The rationals form an ordered field statement
- Convergent sequence definition
- Homogeneous linear equation definition
- Binary relation definition
- Order on the reals definition
- Antisymmetric relation definition
- Reflexive relation definition
- Transitive relation definition
- Interval definition
- Preorder definition
- Proof of the epsilon-delta form of the limit of a function proof
- Partial order definition
- Epsilon-delta definition of a limit statement
- Total order definition
- Proof that the reals form an ordered field, with the Cauchy sequence construction proof
- The reals form an ordered field statement
- Absolute value definition
- Proof of the approximation property of the supremum proof
- Proof of the triangle inequality for real numbers proof
- Proof that the absolute value is multiplicative proof
- Proof of the epsilon-N definition of the limit of a sequence proof
- Approximation property of the supremum statement
- Triangle inequality statement
- Absolute value is multiplicative statement
- Epsilon-N definition of the limit of a sequence statement
- Proof that the reals are Archimedean from the completeness axiom proof
- Proof of the limit of a sum of sequences proof
- Proof that convergent sequences are bounded proof
- The reals are Archimedean statement
- Limit of a sum of sequences statement
- Proof that there is a natural number n with 1/n below any positive epsilon proof
- Convergent sequences are bounded statement
- Proof of the limit of a product of sequences proof
- There is a natural number n with 1/n below any positive epsilon statement
- Proof of the sequential characterization of limits proof
- Limit of a product of sequences statement
- Sequential characterization of limits statement
- Proof of the linearity of differentiation proof
- Linearity of differentiation statement
- Proof of the superposition principle proof
Where this leads
60 pages build on this one.
- Reduction of order
- Eigenvalue method for linear systems
- Liouville's formula
- Solutions for complex conjugate roots
- Superposition principle
- General solution of an inhomogeneous linear equation
- Solution space of a homogeneous linear equation has dimension n
- Fundamental system of solutions
- Solutions for distinct real roots
- Solutions for repeated roots
- Underdamped
- Wronskian test for linear independence of solutions
- Fundamental matrix
- Damped harmonic oscillator
- Variation of constants formula for linear systems
- Pendulum equation
- Forced oscillation and resonance
- Method of undetermined coefficients
- Variation of parameters
- Harmonic oscillator
- Simple harmonic motion
- Anharmonic oscillator
- Proof of the Wronskian test for linear independence of solutions
- Proof that the solution space of a homogeneous linear equation has dimension n
- Phonon dispersion in lattices
- Superposition theorem
- Brunt–Väisälä frequency
- Damping
- Lorentz oscillator model
- Maximum power transfer theorem
- Euler's elastica
- Real solutions from a complex eigenpair of a real matrix
- Inverted pendulum
- Liénard equation
- RLC circuit
- Thévenin's theorem
- Proof of the general solution of an inhomogeneous linear equation
- Floquet theory
- Parametric oscillator
- Furuta pendulum
- Q factor
- Proof of the variation of constants formula for linear systems
- Random vibration
- Random vibration
- Parametric oscillator
- Duhamel's principle
- Anharmonic oscillator
- Annihilator method
- Elastic pendulum
- Proof of the solutions for repeated roots
- Proof of the solutions for distinct real roots
- Mild solution
- Kapitza's pendulum
- Magnus expansion
- Bertrand's theorem
- Spherical pendulum
- Duhamel's principle for heat conduction
- Van der Pol oscillator
- Norton's theorem
- Hill differential equation
Further reading
About this page
| Tag | X4M1JAXJYY |
|---|---|
| URI | m2://X4M1JAXJYY |
| Kind | proof |
| Writing | W0 stub |
| MSC | 34A30 |
| Proves | Superposition principle |
| Uses | Homogeneous linear equation, Linear differential equation of order n, Linearity of differentiation |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.