Cramer's rule solution of the Padé approximant equations

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite
1












Padé approximants are a particular type of rational approximation. The $L, M$ Padé approximant is denoted by



$$[L/M] = P_L(x)/Q_M(x)$$



where $P_L(x)$ is a polynomial of degree less than or equal to $L$, and $Q_M(x)$ is a polynomial of degree less than or equal to $M$. The formal power series



$$f(x) = sum _j=0^infty f_jx^j$$



determines the coefficients by the equation



$$f(x) -P_L(x)/Q_M(x)=O(x^L+M+1).$$



There is also an extra condition added by Baker which states that



$$Q_M(0)= 1$$



A proof at the beginning of Essentials of Padé approximants shows that the $[L/M]$ Padé approximant is unique when it exists (Frobenius, 1881).



Now, it is also well known that Jacobi made a breakthrough in 1846. In particular, he applied Cramer's rule to get a determinant solution to the Padé approximant equations.



For $P_L(x)$ and $Q_M(x)$, a simplification of Cauchy's solution to the problem of rational interpolation produces two determinant solution formulas:



The numerator, $P_L(x)$, can be represented by



$$labelten
P_L(x)=mathrmdet,beginvmatrix f_L-M+1 & f_L-M+2 & cdots & f_L+1\ vdots & vdots & ddots & vdots \f_L & f_L+1 & cdots &f_L+M \ sum_j=M^L f_j-Mx^j & sum_j=M-1^L f_j-M+1x^j & cdots & sum_j=0^L f_jx^j endvmatrix $$



Similarly, the denominator can be represented by



$$labelnine
Q_M(x)=mathrmdet,beginvmatrix f_L-M+1 & f_L-M+2 & cdots & f_L+1\ vdots & vdots & ddots & vdots\f_L & f_L+1 & cdots &f_L+M \ x^M & x^M-1 & cdots & 1 endvmatrix $$



However, it isn't clear to me how Jacobi found these determinant solutions. If I go and review the source -



Jacobi, C. G. J. (1846) Uber die Darstellung einer Reihe Gegebner Werthe durch eine Gebrochne Rationale Function. J. Reine Angew. Math. (Crelle) 30, 127-156.



I find that Crelle's journal contains the necessary information on pages 127-156 of the 1846 issue. However, the paper is in German and I cannot read it.



Does anyone know if this paper has been translated into English? Is there some way I could find this out on my own? I am looking to do the derivation myself and wasn't able to find an equivalent article in English.







share|cite|improve this question






















  • Baker pp. 4-7 discusses this.
    – Keith McClary
    Aug 16 at 4:35










  • Yes, Baker states that Jacobi found the relationship from the rational interpolation formulation given by Cauchy in a lecture in the 1820s. Baker doesn't show how Jacobi derived it.
    – Axion004
    Aug 18 at 1:59














up vote
0
down vote

favorite
1












Padé approximants are a particular type of rational approximation. The $L, M$ Padé approximant is denoted by



$$[L/M] = P_L(x)/Q_M(x)$$



where $P_L(x)$ is a polynomial of degree less than or equal to $L$, and $Q_M(x)$ is a polynomial of degree less than or equal to $M$. The formal power series



$$f(x) = sum _j=0^infty f_jx^j$$



determines the coefficients by the equation



$$f(x) -P_L(x)/Q_M(x)=O(x^L+M+1).$$



There is also an extra condition added by Baker which states that



$$Q_M(0)= 1$$



A proof at the beginning of Essentials of Padé approximants shows that the $[L/M]$ Padé approximant is unique when it exists (Frobenius, 1881).



Now, it is also well known that Jacobi made a breakthrough in 1846. In particular, he applied Cramer's rule to get a determinant solution to the Padé approximant equations.



For $P_L(x)$ and $Q_M(x)$, a simplification of Cauchy's solution to the problem of rational interpolation produces two determinant solution formulas:



The numerator, $P_L(x)$, can be represented by



$$labelten
P_L(x)=mathrmdet,beginvmatrix f_L-M+1 & f_L-M+2 & cdots & f_L+1\ vdots & vdots & ddots & vdots \f_L & f_L+1 & cdots &f_L+M \ sum_j=M^L f_j-Mx^j & sum_j=M-1^L f_j-M+1x^j & cdots & sum_j=0^L f_jx^j endvmatrix $$



Similarly, the denominator can be represented by



$$labelnine
Q_M(x)=mathrmdet,beginvmatrix f_L-M+1 & f_L-M+2 & cdots & f_L+1\ vdots & vdots & ddots & vdots\f_L & f_L+1 & cdots &f_L+M \ x^M & x^M-1 & cdots & 1 endvmatrix $$



However, it isn't clear to me how Jacobi found these determinant solutions. If I go and review the source -



Jacobi, C. G. J. (1846) Uber die Darstellung einer Reihe Gegebner Werthe durch eine Gebrochne Rationale Function. J. Reine Angew. Math. (Crelle) 30, 127-156.



I find that Crelle's journal contains the necessary information on pages 127-156 of the 1846 issue. However, the paper is in German and I cannot read it.



Does anyone know if this paper has been translated into English? Is there some way I could find this out on my own? I am looking to do the derivation myself and wasn't able to find an equivalent article in English.







share|cite|improve this question






















  • Baker pp. 4-7 discusses this.
    – Keith McClary
    Aug 16 at 4:35










  • Yes, Baker states that Jacobi found the relationship from the rational interpolation formulation given by Cauchy in a lecture in the 1820s. Baker doesn't show how Jacobi derived it.
    – Axion004
    Aug 18 at 1:59












up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





Padé approximants are a particular type of rational approximation. The $L, M$ Padé approximant is denoted by



$$[L/M] = P_L(x)/Q_M(x)$$



where $P_L(x)$ is a polynomial of degree less than or equal to $L$, and $Q_M(x)$ is a polynomial of degree less than or equal to $M$. The formal power series



$$f(x) = sum _j=0^infty f_jx^j$$



determines the coefficients by the equation



$$f(x) -P_L(x)/Q_M(x)=O(x^L+M+1).$$



There is also an extra condition added by Baker which states that



$$Q_M(0)= 1$$



A proof at the beginning of Essentials of Padé approximants shows that the $[L/M]$ Padé approximant is unique when it exists (Frobenius, 1881).



Now, it is also well known that Jacobi made a breakthrough in 1846. In particular, he applied Cramer's rule to get a determinant solution to the Padé approximant equations.



For $P_L(x)$ and $Q_M(x)$, a simplification of Cauchy's solution to the problem of rational interpolation produces two determinant solution formulas:



The numerator, $P_L(x)$, can be represented by



$$labelten
P_L(x)=mathrmdet,beginvmatrix f_L-M+1 & f_L-M+2 & cdots & f_L+1\ vdots & vdots & ddots & vdots \f_L & f_L+1 & cdots &f_L+M \ sum_j=M^L f_j-Mx^j & sum_j=M-1^L f_j-M+1x^j & cdots & sum_j=0^L f_jx^j endvmatrix $$



Similarly, the denominator can be represented by



$$labelnine
Q_M(x)=mathrmdet,beginvmatrix f_L-M+1 & f_L-M+2 & cdots & f_L+1\ vdots & vdots & ddots & vdots\f_L & f_L+1 & cdots &f_L+M \ x^M & x^M-1 & cdots & 1 endvmatrix $$



However, it isn't clear to me how Jacobi found these determinant solutions. If I go and review the source -



Jacobi, C. G. J. (1846) Uber die Darstellung einer Reihe Gegebner Werthe durch eine Gebrochne Rationale Function. J. Reine Angew. Math. (Crelle) 30, 127-156.



I find that Crelle's journal contains the necessary information on pages 127-156 of the 1846 issue. However, the paper is in German and I cannot read it.



Does anyone know if this paper has been translated into English? Is there some way I could find this out on my own? I am looking to do the derivation myself and wasn't able to find an equivalent article in English.







share|cite|improve this question














Padé approximants are a particular type of rational approximation. The $L, M$ Padé approximant is denoted by



$$[L/M] = P_L(x)/Q_M(x)$$



where $P_L(x)$ is a polynomial of degree less than or equal to $L$, and $Q_M(x)$ is a polynomial of degree less than or equal to $M$. The formal power series



$$f(x) = sum _j=0^infty f_jx^j$$



determines the coefficients by the equation



$$f(x) -P_L(x)/Q_M(x)=O(x^L+M+1).$$



There is also an extra condition added by Baker which states that



$$Q_M(0)= 1$$



A proof at the beginning of Essentials of Padé approximants shows that the $[L/M]$ Padé approximant is unique when it exists (Frobenius, 1881).



Now, it is also well known that Jacobi made a breakthrough in 1846. In particular, he applied Cramer's rule to get a determinant solution to the Padé approximant equations.



For $P_L(x)$ and $Q_M(x)$, a simplification of Cauchy's solution to the problem of rational interpolation produces two determinant solution formulas:



The numerator, $P_L(x)$, can be represented by



$$labelten
P_L(x)=mathrmdet,beginvmatrix f_L-M+1 & f_L-M+2 & cdots & f_L+1\ vdots & vdots & ddots & vdots \f_L & f_L+1 & cdots &f_L+M \ sum_j=M^L f_j-Mx^j & sum_j=M-1^L f_j-M+1x^j & cdots & sum_j=0^L f_jx^j endvmatrix $$



Similarly, the denominator can be represented by



$$labelnine
Q_M(x)=mathrmdet,beginvmatrix f_L-M+1 & f_L-M+2 & cdots & f_L+1\ vdots & vdots & ddots & vdots\f_L & f_L+1 & cdots &f_L+M \ x^M & x^M-1 & cdots & 1 endvmatrix $$



However, it isn't clear to me how Jacobi found these determinant solutions. If I go and review the source -



Jacobi, C. G. J. (1846) Uber die Darstellung einer Reihe Gegebner Werthe durch eine Gebrochne Rationale Function. J. Reine Angew. Math. (Crelle) 30, 127-156.



I find that Crelle's journal contains the necessary information on pages 127-156 of the 1846 issue. However, the paper is in German and I cannot read it.



Does anyone know if this paper has been translated into English? Is there some way I could find this out on my own? I am looking to do the derivation myself and wasn't able to find an equivalent article in English.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 15 at 5:58

























asked Aug 15 at 5:51









Axion004

186212




186212











  • Baker pp. 4-7 discusses this.
    – Keith McClary
    Aug 16 at 4:35










  • Yes, Baker states that Jacobi found the relationship from the rational interpolation formulation given by Cauchy in a lecture in the 1820s. Baker doesn't show how Jacobi derived it.
    – Axion004
    Aug 18 at 1:59
















  • Baker pp. 4-7 discusses this.
    – Keith McClary
    Aug 16 at 4:35










  • Yes, Baker states that Jacobi found the relationship from the rational interpolation formulation given by Cauchy in a lecture in the 1820s. Baker doesn't show how Jacobi derived it.
    – Axion004
    Aug 18 at 1:59















Baker pp. 4-7 discusses this.
– Keith McClary
Aug 16 at 4:35




Baker pp. 4-7 discusses this.
– Keith McClary
Aug 16 at 4:35












Yes, Baker states that Jacobi found the relationship from the rational interpolation formulation given by Cauchy in a lecture in the 1820s. Baker doesn't show how Jacobi derived it.
– Axion004
Aug 18 at 1:59




Yes, Baker states that Jacobi found the relationship from the rational interpolation formulation given by Cauchy in a lecture in the 1820s. Baker doesn't show how Jacobi derived it.
– Axion004
Aug 18 at 1:59















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2883243%2fcramers-rule-solution-of-the-pad%25c3%25a9-approximant-equations%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2883243%2fcramers-rule-solution-of-the-pad%25c3%25a9-approximant-equations%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

tkz-euclide: tkzDrawCircle[R] not working

How to combine Bézier curves to a surface?

1st Magritte Awards