Math 2.0

Ordinary differential equations Proof

Proof of the superposition principle

Builds on Homogeneous linear equationLinear differential equation of order nLinearity of differentiation

Proof

  1. Let u=c1y1+c2y2u = c_1 y_1 + c_2 y_2. As solutions of the homogeneous linear equation, y1y_1 and y2y_2 are nn times differentiable on II, with Ly1=0L y_1 = 0 and Ly2=0L y_2 = 0.
  2. We show by induction on kk that, for 0≤k≤n0 \le k \le n, uu is kk times differentiable on II and u(k)=c1y1(k)+c2y2(k)u^{(k)} = c_1 y_1^{(k)} + c_2 y_2^{(k)}.
  3. For k=0k = 0 this is the definition of uu.
  4. Let k<nk < n and assume the claim for kk. The functions y1(k)y_1^{(k)} and y2(k)y_2^{(k)} are differentiable, since k<nk < n.
  5. By linearity of differentiation, u(k)=c1y1(k)+c2y2(k)u^{(k)} = c_1 y_1^{(k)} + c_2 y_2^{(k)} is differentiable with derivative c1y1(k+1)+c2y2(k+1)c_1 y_1^{(k+1)} + c_2 y_2^{(k+1)}. This proves the claim for k+1k + 1.
  6. Write an=1a_n = 1. By step 2, at each x∈Ix \in I, Lu=∑k=0nak(c1y1(k)+c2y2(k))=c1Ly1+c2Ly2L u = \sum_{k=0}^{n} a_k \left(c_1 y_1^{(k)} + c_2 y_2^{(k)}\right) = c_1 L y_1 + c_2 L y_2.
  7. By step 1, this is c1⋅0+c2⋅0=0c_1 \cdot 0 + c_2 \cdot 0 = 0. So uu is nn times differentiable and solves the linear equation Ly=0L y = 0 on II.

Idea

Differentiation is linear, and LL is built from derivatives by multiplying with functions and adding. So LL 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.

  1. Construction of the reals from Cauchy sequences concept
  2. Differential equation concept
  3. Element definition
  4. Function concept
  5. Integers object
  6. Interval concept
  7. Limit point of a set definition
  8. Ordered field definition
  9. Proposition concept
  10. Rational numbers object
  11. Real numbers object
  12. Sequence definition
  13. Set bounded above definition
  14. Ordinary differential equation definition
  15. Set definition
  16. Ring of integers statement
  17. Limit of a function definition
  18. Archimedean ordered field definition
  19. Implication definition
  20. Predicate definition
  21. The reals form a field statement
  22. Real sequence definition
  23. Supremum definition
  24. Order of a differential equation definition
  25. Ordered pair definition
  26. Derivative definition
  27. The rationals form a field statement
  28. Universal quantifier definition
  29. Bounded sequence definition
  30. Limit of a sequence definition
  31. Completeness axiom statement
  32. Cartesian product definition
  33. Linear differential equation of order n definition
  34. Differentiable function definition
  35. Subset definition
  36. The rationals form an ordered field statement
  37. Convergent sequence definition
  38. Homogeneous linear equation definition
  39. Binary relation definition
  40. Order on the reals definition
  41. Antisymmetric relation definition
  42. Reflexive relation definition
  43. Transitive relation definition
  44. Interval definition
  45. Preorder definition
  46. Proof of the epsilon-delta form of the limit of a function proof
  47. Partial order definition
  48. Epsilon-delta definition of a limit statement
  49. Total order definition
  50. Proof that the reals form an ordered field, with the Cauchy sequence construction proof
  51. The reals form an ordered field statement
  52. Absolute value definition
  53. Proof of the approximation property of the supremum proof
  54. Proof of the triangle inequality for real numbers proof
  55. Proof that the absolute value is multiplicative proof
  56. Proof of the epsilon-N definition of the limit of a sequence proof
  57. Approximation property of the supremum statement
  58. Triangle inequality statement
  59. Absolute value is multiplicative statement
  60. Epsilon-N definition of the limit of a sequence statement
  61. Proof that the reals are Archimedean from the completeness axiom proof
  62. Proof of the limit of a sum of sequences proof
  63. Proof that convergent sequences are bounded proof
  64. The reals are Archimedean statement
  65. Limit of a sum of sequences statement
  66. Proof that there is a natural number n with 1/n below any positive epsilon proof
  67. Convergent sequences are bounded statement
  68. Proof of the limit of a product of sequences proof
  69. There is a natural number n with 1/n below any positive epsilon statement
  70. Proof of the sequential characterization of limits proof
  71. Limit of a product of sequences statement
  72. Sequential characterization of limits statement
  73. Proof of the linearity of differentiation proof
  74. Linearity of differentiation statement
  75. Proof of the superposition principle proof

Where this leads

60 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Superposition_principle, lead section
About this page
TagX4M1JAXJYY
URIm2://X4M1JAXJYY
Kindproof
WritingW0 stub
MSC34A30
ProvesSuperposition principle
UsesHomogeneous linear equation, Linear differential equation of order n, Linearity of differentiation
Changed4 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.