formulas for the values of the solution of difference equation and its derivatives of the given order and at the given point.

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
  - LinearFunctionalSystems
  - LinearOperators
  - LREtools
    - HypergeometricTerm
    - 概要
    - AnalyticityConditions
    - constcoeffsol
    - dispersion
    - divconq
    - firstlin
    - IsDesingularizable
    - ratpolysols
    - REcreate
    - REplot
    - REprimpart
    - REreduceorder
    - RESol
    - REtoDE
    - REtodelta
    - REtoproc
    - riccati
    - shift
    - ValuesAtPoint
  - Numerical Solutions
  - QDifferenceEquations
  - RegularChains
  - SolveTools
  - 根
  - 解く
  - 記号解
  - hermite pade コマンド
  - invfunc
  - isolate
  - LeastSquares
  - LinearSolve
  - MinimalPolynomial コマンド
  - minimax コマンド
  - msolve
  - powsolve
  - rsolve
  - singular
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
  - グラフ理論
  - 組合せ論
  - 総和と差分方程式
    - evalf
    - LREtools
    - QDifferenceEquations
    - sum コマンド
    - SumTools
    - hypergeom
    - RESol
    - rsolve
    - 総和
  - 離散変換
  - OrderBasis コマンド
  - 積
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

LREtools[ValuesAtPoint] - formulas for the values of the solution of difference equation and its derivatives of the given order and at the given point.

	Calling Sequence
	ValuesAtPoint(L, E, fun, HalfInt_opt, Point_opt, Order_opt)

Parameters

L	-	linear difference operator in E with coefficients which are polynomials in x
E	-	name of the shift operator acting on x
fun	-	function f(x) that is a solution of
HalfInt_opt	-	(optional) 'HalfInterval'= A, A is a rational number, 0 by default
Point_opt	-	(optional) 'Point'=p, p is a rational number or an algebraic number in the indexed RootOf representation (see,RootOf,indexed), 0 by default
Order_opt	-	(optional) 'OrderDer'=m, m is non-negative integer, 0 by default.

Description

•	The ValuesAtPoint command returns formulas for the values of the function and its derivatives of the given order and at the given point in Point_opt. It also computes conditions for the analyticity of the function at the given point.

•	The input includes a difference operator

>	L := sum(a[i](x)* E^i,i=1..d);

L := sum(a[i](x)*E^i, i = 1 .. d)

(1)

and the point A. Specify the point 'Point'=p to compute the value f(x) and its derivatives at , and non-negative integer via the option Order_opt to specify the highest order of required derivatives of f(x) at

•	The procedure returns 2 sets:

1.	The set of conditions. f(x) is assumed to be analytic on some open set which contains a set . Elements of the set give the conditions of the analyticity of f(x) at . They are relations between the values of the function and, possibly several of its derivatives at the points into .

2.	The set of formulas for computing ,...,. (f(x) must satisfy the conditions in the first set.) These formulas give the values of ,..., as linear combinations of f(x) and several of its derivatives in . For , we have one unique formula for .

Examples

(2)

{f(11/3) = -(18/5)*f(8/3)}, {f(-1/3) = (1/440)*(eval(diff(f(x), x), {x = 8/3}))+(1/1584)*(eval(diff(f(x), x), {x = 11/3}))+(2/75)*f(8/3)}

(3)

(4)

{f(1) = 4*f(0)}, {f(2) = 12*(eval(diff(f(x), x), {x = 0}))-3*(eval(diff(f(x), x), {x = 1}))+40*f(0)}

(5)

(6)

	See Also
	LREtools, LREtools[AnalyticityConditions], LREtools[IsDesingularizable]

References

Abramov, S.A., and van Hoeij, M. "Set of Poles of Solutions of Linear Difference Equations with Polynomial Coefficients." Computation Mathematics and Mathematical Physics. Vol. 43 No. 1. (2003): 57-62.