Message Boards Message Boards

2
|
3785 Views
|
2 Replies
|
8 Total Likes
View groups...
Share
Share this post:

Mathematica should have built-in support for multivariate Taylor series

Yaroslav Bulatov, Together AI
Posted 3 years ago

This the highest voted question for tag "series-expansion" -- https://mathematica.stackexchange.com/questions/15023/multivariable-taylor-expansion-does-not-work-as-expected

I just got tripped by this after not reading the docs carefully, a bit unexpected to have a built-in Series functionality for sequential differentiation but not for multivariate differentiation.

Perhaps multivariate Taylor could be specified as nested list:

Series[f[a,b], {{a, b}, {a0, b0}, 1}]

Example

Clear[A, B]; multiTaylor[f_, {vars_?VectorQ, pt_?VectorQ, n_Integer?NonNegative}] :=    Sum[Nest[(vars - pt) . # &, (D[f, {vars, \[FormalK]}] /. 
       Thread[vars -> pt]), \[FormalK]]/\[FormalK]!, {\[FormalK], 0, 
    n}, Method -> "Procedural"];
multiTaylor[a/b, {{a, b}, {a0, b0}, 1}] // FullSimplify (* expected result *)

Series[a/b, {a, a0, 1}, {b, b0, 1}] // Normal // FullSimplify (* unexpected result *)
POSTED BY: Yaroslav Bulatov
2 Replies
Sort By:

This raises many questions, a few of which I will pose here.

What would the O[...] term be?

Would it always be homogeneous or should it allow different variables to attain different degrees e.g. using a weight vector other than {1,1,...1}?

What would the internal representation be in terms of the degree, order and denominator fields?

One thing I can say right away is that any implementation of multivariate Taylor would have to be in a function other than Series. The entire functionality around Series, involving Limit, Integrate and more, is built around it being a univariate function with fields that encode information used by a univariate function. Changing this would be a large-scale project (which we do undertake) and would introduce bugs that would percolate for years to come (which we try to avoid).

My suggestion is to consider the questions and design and implement something suitable for the Wolfram Function Repository. We do review those functions with the thought of promoting some to regular Mathematica functions.
POSTED BY: Daniel Lichtblau

Update: We have MultivariateTaylorPolynomia in the WFR that computes such polynomials.
POSTED BY: Daniel Lichtblau
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract