解答题 19.设Y_x，Z_x，U_x分别是下列差分方程的解y_x＋1＋ay_x＝f₁(x)，y_x＋1＋ay_x＝f₂(x)，y_x＋1＋ay_x＝f₃(x)
求证：Z_x＝Y_x＋Z_x＋U_x是差分方程，y_x＋1＋ay_x＝f₁(x)＋f₂(x)＋f₃(x)的解．

【正确答案】证明：将Z_x＝Y_x＋Z_x＋U_x代入差分方程左端
Z_x＋1＋aZ_x＝(Y_x＋1＋Z_x＋1＋U_x＋1)＋a(Y_x＋Z_x＋U_x)＝(Y_x＋1＋aY_x)＋(Z_x＋aZ_x)＋(U_x＋1＋aU_x)
又∵Y_x＋1＋aY_x＝f₁(1)，Z_x＋1＋aZ_x＝f₂(x)，U_x＋1＋aU_x＝f₃(x)
∴Z_x＋1＋aZ_x＝f₁(x)＋f₂(x)＋f₃(x)．
∴Z_x＝Y_x＋Z_x＋U_x满足差分方程y_x＋1＋ay_x＝f₁(x)＋f₂(x)＋f₃(x)
∴是此差分方程的解．

【答案解析】