RSolveValue

RSolveValue[eqn,expr,n]
gives the value of expr determined by a symbolic solution to the ordinary difference equation eqn with independent variable n.

RSolveValue[{eqn1,eqn2,},expr,]
uses a symbolic solution for a list of difference equations.

RSolveValue[eqn,expr,{n1,n2,}]
uses a solution for the partial recurrence equation eqn.

Details and OptionsDetails and Options

  • RSolveValue[eqn,a,n] gives a solution for a as a pure function.
  • The equations can involve objects of the form where λ is a constant, or in general, objects of the form , , , where ψ can have forms such as:
  • n+λarithmetic difference equation
    μ ngeometric or -difference equation
    μ n+λarithmetic-geometric functional difference equation
    μ nαgeometric-power functional difference equation
    linear fractional functional difference equation
  • Equations such as can be given to specify end conditions.
  • If not enough end conditions are specified, RSolveValue will use general solutions in which undetermined constants are introduced.
  • The constants introduced by RSolveValue are indexed by successive integers. The option GeneratedParameters specifies the function to apply to each index. The default is GeneratedParameters->C, which yields constants C[1], C[2], .
  • GeneratedParameters->(Module[{C},C]&) guarantees that the constants of integration are unique, even across different invocations of RSolveValue.
  • For partial recurrence equations, RSolveValue generates arbitrary functions C[n][].
  • Solutions given by RSolveValue sometimes include sums that cannot be carried out explicitly by Sum. Dummy variables with local names are used in such sums.
  • RSolveValue handles both ordinary difference equations and difference equations.
  • RSolveValue handles differencealgebraic equations as well as ordinary difference equations.
  • RSolveValue can solve linear recurrence equations of any order with constant coefficients. It can also solve many linear equations up to second order with nonconstant coefficients, as well as many nonlinear equations.
Introduced in 2014
(10.0)