Skip to main content

equation solving - Apart for complex roots?


Let p[x] be a polynomial in x and consider the partial fraction decomposition of 1/p[x].


The function Apart[] fails in simple cases like this



Apart[1/(1 + x^2)]

(* Out[37]= 1/(1 + x^2) *)

We could define a function


cApart[invp_] := Module[{z, c},
z = x /. Solve[0 == 1/invp, x];
c[k_] :=
Product[If[i != k, 1/(z[[k]] - z[[i]]), 1], {i, 1, Length[z]}];
Sum[c[i]/(x - z[[i]]), {i, 1, Length[z]}]];


which does the job


cApart[1/(1 + x^2)]

(* Out[36] = -(I/(2 (-I + x))) + I/(2 (I + x)) *)

But my question: is there an option for Apart[] or another standard facility in Mathematica which gives the decomposition in general, i.e. in the complex domain?


EDIT #1.1 Standard solution using Extension


The hints given so far can be codensed in this example


With[{d = 1 + x + x^2}, 

Apart[1/Factor[d, Extension -> (x /. Solve[d == 0, x])]]]

(* -(1/((-1 + 2 (-1)^(1/3)) (-1 + (-1)^(1/3) - x))) - 1/((-1 +
2 (-1)^(1/3)) ((-1)^(1/3) + x)) *)

But it turns out that this procedure is not useful in practical applications as it takes extremely long calculation times (e.g. 1+x+x^4 took to Long to wait for it).


The following form (or something similar) would be nice to have


Apart[1/p[x], Extension -> Complexes] (* proposal, not available *)

EDIT #1.2 Other applications of cApart



It is interesting to apply cApart to a polynomial of higher degree


cApart[1/(1 + x + x^6)]

(*
Out[64]=
1/((x - Root[1 + #1 + #1^6 &, 1]) (Root[1 + #1 + #1^6 &, 1] -
Root[1 + #1 + #1^6 &, 2]) (Root[1 + #1 + #1^6 &, 1] -
Root[1 + #1 + #1^6 &, 3]) (Root[1 + #1 + #1^6 &, 1] -
Root[1 + #1 + #1^6 &, 4]) (Root[1 + #1 + #1^6 &, 1] -
Root[1 + #1 + #1^6 &, 5]) (Root[1 + #1 + #1^6 &, 1] -

Root[1 + #1 + #1^6 &, 6])) +
1/((x - Root[1 + #1 + #1^6 &, 2]) (-Root[1 + #1 + #1^6 &, 1] +
Root[1 + #1 + #1^6 &, 2]) (Root[1 + #1 + #1^6 &, 2] -
Root[1 + #1 + #1^6 &, 3]) (Root[1 + #1 + #1^6 &, 2] -
Root[1 + #1 + #1^6 &, 4]) (Root[1 + #1 + #1^6 &, 2] -
Root[1 + #1 + #1^6 &, 5]) (Root[1 + #1 + #1^6 &, 2] -
Root[1 + #1 + #1^6 &, 6])) +
1/((x - Root[1 + #1 + #1^6 &, 3]) (-Root[1 + #1 + #1^6 &, 1] +
Root[1 + #1 + #1^6 &, 3]) (-Root[1 + #1 + #1^6 &, 2] +
Root[1 + #1 + #1^6 &, 3]) (Root[1 + #1 + #1^6 &, 3] -

Root[1 + #1 + #1^6 &, 4]) (Root[1 + #1 + #1^6 &, 3] -
Root[1 + #1 + #1^6 &, 5]) (Root[1 + #1 + #1^6 &, 3] -
Root[1 + #1 + #1^6 &, 6])) +
1/((x - Root[1 + #1 + #1^6 &, 4]) (-Root[1 + #1 + #1^6 &, 1] +
Root[1 + #1 + #1^6 &, 4]) (-Root[1 + #1 + #1^6 &, 2] +
Root[1 + #1 + #1^6 &, 4]) (-Root[1 + #1 + #1^6 &, 3] +
Root[1 + #1 + #1^6 &, 4]) (Root[1 + #1 + #1^6 &, 4] -
Root[1 + #1 + #1^6 &, 5]) (Root[1 + #1 + #1^6 &, 4] -
Root[1 + #1 + #1^6 &, 6])) +
1/((x - Root[1 + #1 + #1^6 &, 5]) (-Root[1 + #1 + #1^6 &, 1] +

Root[1 + #1 + #1^6 &, 5]) (-Root[1 + #1 + #1^6 &, 2] +
Root[1 + #1 + #1^6 &, 5]) (-Root[1 + #1 + #1^6 &, 3] +
Root[1 + #1 + #1^6 &, 5]) (-Root[1 + #1 + #1^6 &, 4] +
Root[1 + #1 + #1^6 &, 5]) (Root[1 + #1 + #1^6 &, 5] -
Root[1 + #1 + #1^6 &, 6])) +
1/((x - Root[1 + #1 + #1^6 &, 6]) (-Root[1 + #1 + #1^6 &, 1] +
Root[1 + #1 + #1^6 &, 6]) (-Root[1 + #1 + #1^6 &, 2] +
Root[1 + #1 + #1^6 &, 6]) (-Root[1 + #1 + #1^6 &, 3] +
Root[1 + #1 + #1^6 &, 6]) (-Root[1 + #1 + #1^6 &, 4] +
Root[1 + #1 + #1^6 &, 6]) (-Root[1 + #1 + #1^6 &, 5] +

Root[1 + #1 + #1^6 &, 6]))
*)

Which gives the solution in a very regular pattern involving the function Root[]. The numeric evaluation gives


% // N

(*
Out[65]= -((
0.0965468 + 0.0295033 I)/((-0.945402 - 0.611837 I) + x)) - (
0.0965468 - 0.0295033 I)/((-0.945402 + 0.611837 I) + x) - (

0.084438 + 0.114801 I)/((0.154735 - 1.03838 I) + x) - (
0.084438 - 0.114801 I)/((0.154735 + 1.03838 I) + x) + (
0.180985 - 0.279696 I)/((0.790667 - 0.300507 I) + x) + (
0.180985 + 0.279696 I)/((0.790667 + 0.300507 I) + x)
*)

We can even continue to use these symbolic Root[] expressions in more complicated environments such as


g[a_] = Integrate[
Exp[-a x]/(x - Root[1 + #1 + #1^6 &, 1]), {x, 0, \[Infinity]},
Assumptions -> a > 0]


(* Out[69]= E^(-a Root[1 + #1 + #1^6 &, 1]) (-I \[Pi] -
CoshIntegral[a Root[1 + #1 + #1^6 &, 1]] -
SinhIntegral[a Root[1 + #1 + #1^6 &, 1]]) *)

It is gratifying that the integral is evaluated symbolically. We can now easily calculate numerical values, e.g.


g[1.]


(* Out[70]= 0.653737 - 0.158332 I *)


Regards,
Wolfgang





Comments

Popular posts from this blog

plotting - How to draw lines between specified dots on ListPlot?

I would like to create a plot where I have unconnected dots and some connected. So far, I have figured out how to draw the dots. My code is the following: ListPlot[{{1, 1}, {2, 2}, {3, 3}, {4, 4}, {1, 4}, {2, 5}, {3, 6}, {4, 7}, {1, 7}, {2, 8}, {3, 9}, {4, 10}, {1, 10}, {2, 11}, {3, 12}, {4,13}, {2.5, 7}}, Ticks -> {{1, 2, 3, 4}, None}, AxesStyle -> Thin, TicksStyle -> Directive[Black, Bold, 12], Mesh -> Full] I have thought using ListLinePlot command, but I don't know how to specify to the command to draw only selected lines between the dots. Do have any suggestions/hints on how to do that? Thank you. Answer One possibility would be to use Epilog with Line : ListPlot[ {{1, 1}, {2, 2}, {3, 3}, {4, 4}, {1, 4}, {2, 5}, {3, 6}, {4, 7}, {1, 7}, {2, 8}, {3, 9}, {4, 10}, {1, 10}, {2, 11}, {3, 12}, {4, 13}, {2.5, 7}}, Ticks -> {{1, 2, 3, 4}, None}, AxesStyle -> Thin, TicksStyle -> Directive[Black, Bold, 12], Mesh -> Full, Epilog -> { Line[ ...

dynamic - How can I make a clickable ArrayPlot that returns input?

I would like to create a dynamic ArrayPlot so that the rectangles, when clicked, provide the input. Can I use ArrayPlot for this? Or is there something else I should have to use? Answer ArrayPlot is much more than just a simple array like Grid : it represents a ranged 2D dataset, and its visualization can be finetuned by options like DataReversed and DataRange . These features make it quite complicated to reproduce the same layout and order with Grid . Here I offer AnnotatedArrayPlot which comes in handy when your dataset is more than just a flat 2D array. The dynamic interface allows highlighting individual cells and possibly interacting with them. AnnotatedArrayPlot works the same way as ArrayPlot and accepts the same options plus Enabled , HighlightCoordinates , HighlightStyle and HighlightElementFunction . data = {{Missing["HasSomeMoreData"], GrayLevel[ 1], {RGBColor[0, 1, 1], RGBColor[0, 0, 1], GrayLevel[1]}, RGBColor[0, 1, 0]}, {GrayLevel[0], GrayLevel...

functions - What best practices or performance considerations are there for choosing between Cases, Position, Pick and Select?

Cases , Select , Pick and Position each have different syntaxes and purposes, but there are times when you can express the same calculation equivalently using either of them. So with this input: test = RandomInteger[{-25, 25}, {20, 2}] {{-15, 13}, {-8, 16}, {-8, -19}, {7, 6}, {-21, 9}, {-3, -25}, {21, -18}, {4, 4}, {2, -2}, {-24, 8}, {-17, -8}, {4, -18}, {22, -24}, {-4, -3}, {21, 0}, {19, 18}, {-23, -8}, {23, -25}, {14, -2}, {-1, -13}} You can get the following equivalent results: Cases[test, {_, _?Positive}] {{-15, 13}, {-8, 16}, {7, 6}, {-21, 9}, {4, 4}, {-24, 8}, {19, 18}} Select[test, #[[2]] > 0 &] {{-15, 13}, {-8, 16}, {7, 6}, {-21, 9}, {4, 4}, {-24, 8}, {19, 18}} Pick[test, Sign[test[[All, 2]] ], 1] {{-15, 13}, {-8, 16}, {7, 6}, {-21, 9}, {4, 4}, {-24, 8}, {19, 18}} test[[Flatten@Position[test[[All, 2]], _?Positive] ]] {{-15, 13}, {-8, 16}, {7, 6}, {-21, 9}, {4, 4}, {-24, 8}, {19, 18}} Are there performance or other considerations that should guide which you shou...