MHB Can You Solve This Non-Constant Coefficient Difference Equation?

AI Thread Summary
The discussion centers on solving the non-constant coefficient difference equation $(x+1)y_{x+1}-(r+x)y_{x}+ry_{x-1}=0$, where r is a constant. The standard approach involves rewriting the equation to express y_{x+1} in terms of y_x and y_{x-1}, allowing for a block-wise solution. An initial value for y is necessary, typically defined over a specific range, such as 0 ≤ x ≤ 2. For instance, if y(x) is defined as x in that range, the solution for 2 ≤ x ≤ 3 can be derived as y(x) = (r+x-1)(x-1) - r(x-2)/(x). This method provides a structured way to tackle the equation based on initial conditions.
Poirot1
Messages
243
Reaction score
0
I wish to solve a non constant coefficents difference equation $(x+1)y_{x+1}-(r+x)y_{x}+ry_{x-1}=0$ where r is a constant. Is there a characteristic equation and generic solution for this ?
 
Physics news on Phys.org
Actually, the standard way of solving that would be to write y_{x+1}= [(r+x)y_x- ry_{x-1}]/(x+1) and solve in "blocks". You would have to be given an "initial value" of y on, say, 0\le x\le 2. For example, if you we given that y(x)= x for 0\le x\le 2 then , for 2\le x\le 3 we would have y(x)= (r+x-1)(x-1)- r(x-2)/(x).
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...

Similar threads

Back
Top