Physics[Gtaylor]  Taylor series expansion of expressions involving anticommutative variables

Calling Sequence


Gtaylor(f, x, N)


Parameters


f



algebraic expression, or relation between them, or a set or list of them

x



variable, can be a name (expansion point is assumed equal to zero), or an equation x = a where x is a name or and a the expansion point as an algebraic expression, or a list of them

N



optional, default to all, can be an integer, or a range of integers (n..m), or any of the keywords leading, trailing, all; indicates whether to compute all the coefficients or some or only one





Description


•

The Gtaylor command computes a truncated series expansion of f, with respect to the variable x, about the point a, up to order N, where f and x can involve anticommutative variables. Gtaylor is a generalization of taylor, that works with commutative and anticommutative variables (also called Grassmannian variables) in equal footing.

•

The truncated series around is computed according to the standard formula

•

The first argument, f, can also be a relation between algebraic expressions, or a set or list of them, in which case Gtaylor maps itself over the elements of the relation, set or list. For example, if f is an equation, then Gtaylor(p, x) returns the equation obtained by computing Gtaylor(lhs(f), x) = Gtaylor(rhs(f), x), where lhs(f) and rhs(f) respectively represent the left and right hand sides of f.

•

The second argument, x, can be a name, in which case the expansion point is assumed to be equal to zero, or an equation z = a where z is a name and a the expansion point as an algebraic expression. Also,x can be a list of expansion variables or equations, in which case the series is computed recursively: starting with computing the series with respect to the first variable in x, then computing the series of this result with respect to the second variable in x and so on.

•

The third argument, N, is optional, and indicates the "truncation order" of the series expansion, that is, the expansion will be of degree N1 at most.

•

Unlike series and taylor, Gtaylor return just the polynomial truncated to order N1, with no O(..) trailing term.

•

Note that the result computed with Gtaylor does not preserve the parity in that, for instance, the expansion of an arbitrary commutative function of anticommutative variables  say with anticommutative  is a truncated polynomial that contains both commutative and anticommutative terms. An exact expansion, similar to the one performed by Gtaylor, but that does preserve the parity of the object is obtained using the ToFieldComponents command.

•

Generally speaking, the computation of a series expansion with respect to an anticommutative variable has two terms, the coefficients of orders zero and one. When the expression being expanded is already a polynomial, to compute these coefficients you can also use the Coefficients command.



Compatibility


•

The Physics[Gtaylor] command was introduced in Maple 16.



Examples


>


>


 (1) 
Set first theta as an identifier to work with type/anticommutative variables (see Setup)
>


 (2) 
>


 (3) 
The taylor series with respect to of a polynomial in of degree 1 is the polynomial itself;
>


 (4) 
The coefficients of entering this series can be computed with Coefficients
>


 (5) 
The series expansion of a mathematical function
>


 (6) 
>


 (7) 
The expansion of an arbitrary function and a comparison with the exact expansion performed with ToFieldComponents
>


 (8) 
>


 (9) 
>


 (10) 
Note that the expansion performed with Gtaylor does not preserve the parity while the one performed with ToFieldComponents does:
>


 (11) 
>


 (12) 
>


 (13) 
Taking (10) as an exact expansion of (9), compare now the Gtaylor expansion for different orders of these two equivalent expressions
>


 (14) 
>


 (15) 
>


 (16) 
>


 (17) 
>


 (18) 
>


 (19) 
Computing the Coefficients helps comparing more precisely
>


 (20) 
>


 (21) 
Recall however that in (21), the lefthandside has parity zero (commutative algebraic expression) while the righthandside has parity 1 (anticommutative algebraic expression):
>


 (22) 
To obtain a full multivariable expansion you can pass the (multi) variables in a list. This gives the multivariable expansion of (8) with respect to :
>


 (23) 
>




See Also


anticommutative, Coefficients, commutative, GrassmannParity, Physics, Physics conventions, Physics examples, relation, series, Setup, taylor, ToFieldComponents

