1 Model problem 1.1 Poisson Equation in 1D Boundary Value Problem(BVP) (x)=∫(x) (0,1),u(0)=(1)=0,f Describes many simple physical phenomena(e.g) Deformation of an elastic bar Deformation of a string under tension Temperature distribution in a bar The Poisson equation in one dimension is in fact an ordinary differ tion. When dealing with ordinary differential equations we Poisson equation will be used here to illastrate numerical techniques for elliptic PDE's in multi-dimensions. Other techniques specialized for ordinary differen tial equations could be used if we were only interested in the one dimension
Axiom Schemata for F Axiom Schema 1 A ∨ A ⊃ A Axiom Schema 2 A ⊃ (B ∨ A) Axiom Schema 3 A ⊃ B ⊃ (C ∨ A ⊃ (B ∨ C)) Axiom Schema 4 ∀xA ⊃ Sxt A where t is a term free for the individual variable x in A Axiom Schema 5 ∀x(A ∨ B) ⊃ (A ∨ ∀xB) provided that x is not free in A