Poles defining a function - do two equivalent expressions share the same poles? The Next CEO of Stack OverflowWhen is a function satisfying the Cauchy-Riemann equations holomorphic?closed form of $sum frac1z^3 - n^3$The function $p(z)$ has finitely many poles and sum of residues zeroCan it be proved that a Meromorphic function only has a countable number of poles?Finding a Laurent Series involving two polesWhy must a meromorphic function, bounded near infinity, have the same number of poles and zeros?Elliptic Functions, Residue Computation, Same zeros and poles of same ordersPoles of hypergeometric function $_2F_1$Show that the poles of analytic function $f$ cannot have a limit point in $G$.Change of the hyperplane equation in $mathbbC^3$.
Received an invoice from my ex-employer billing me for training; how to handle?
Would this house-rule that treats advantage as a +1 to the roll instead (and disadvantage as -1) and allows them to stack be balanced?
In the bitcoin scripting language, how can I access other outputs of the transaction? Or how else can I limit how the coins may be spent?
Is it my responsibility to learn a new technology in my own time my employer wants to implement?
Skipping indices in a product
Rotate a column
Why do remote companies require working in the US?
Why do airplanes bank sharply to the right after air-to-air refueling?
If/When UK leaves the EU, can a future goverment conduct a referendum to join the EU?
How fast would a person need to move to trick the eye?
Why has the US not been more assertive in confronting Russia in recent years?
Limits on contract work without pre-agreed price/contract (UK)
What is "(CFMCC)" on an ILS approach chart?
What exact does MIB represent in SNMP? How is it different from OID?
Anatomically Correct Strange Women In Ponds Distributing Swords
Can you replace a racial trait cantrip when leveling up?
Can we say or write : "No, it'sn't"?
Which tube will fit a -(700 x 25c) wheel?
How powerful is the invisibility granted by the Gloom Stalker ranger's Umbral Sight feature?
How do we know the LHC results are robust?
Example of a Mathematician/Physicist whose Other Publications during their PhD eclipsed their PhD Thesis
What happens if you roll doubles 3 times then land on "Go to jail?"
What was the first Unix version to run on a microcomputer?
What flight has the highest ratio of time difference to flight time?
Poles defining a function - do two equivalent expressions share the same poles?
The Next CEO of Stack OverflowWhen is a function satisfying the Cauchy-Riemann equations holomorphic?closed form of $sum frac1z^3 - n^3$The function $p(z)$ has finitely many poles and sum of residues zeroCan it be proved that a Meromorphic function only has a countable number of poles?Finding a Laurent Series involving two polesWhy must a meromorphic function, bounded near infinity, have the same number of poles and zeros?Elliptic Functions, Residue Computation, Same zeros and poles of same ordersPoles of hypergeometric function $_2F_1$Show that the poles of analytic function $f$ cannot have a limit point in $G$.Change of the hyperplane equation in $mathbbC^3$.
$begingroup$
Take a term $f$, with poles at $z=1, z=2$, i.e
$f=dfracg(z-1)(z-2)$.
Now assume that $f$ can be split into two (or more) terms, as
$f equiv h_1 + h_2$
Is it true that $h_1$ and $h_2$ must have the same poles as $f$? Is it true that if not, then their overall form must have the total same poles, i.e if they don't individally have the same poles as $f$, then the terms must have a form like
$h_1 = dfraca(z-2) quad h_2 = dfracb(z-1)$
complex-analysis
$endgroup$
add a comment |
$begingroup$
Take a term $f$, with poles at $z=1, z=2$, i.e
$f=dfracg(z-1)(z-2)$.
Now assume that $f$ can be split into two (or more) terms, as
$f equiv h_1 + h_2$
Is it true that $h_1$ and $h_2$ must have the same poles as $f$? Is it true that if not, then their overall form must have the total same poles, i.e if they don't individally have the same poles as $f$, then the terms must have a form like
$h_1 = dfraca(z-2) quad h_2 = dfracb(z-1)$
complex-analysis
$endgroup$
$begingroup$
You can always replace $(h_1, h_2)$ by $(h_1 + phi, h_2 - phi)$ with an arbitrary function $phi$ (having as much poles as you want).
$endgroup$
– Martin R
Mar 18 at 21:00
add a comment |
$begingroup$
Take a term $f$, with poles at $z=1, z=2$, i.e
$f=dfracg(z-1)(z-2)$.
Now assume that $f$ can be split into two (or more) terms, as
$f equiv h_1 + h_2$
Is it true that $h_1$ and $h_2$ must have the same poles as $f$? Is it true that if not, then their overall form must have the total same poles, i.e if they don't individally have the same poles as $f$, then the terms must have a form like
$h_1 = dfraca(z-2) quad h_2 = dfracb(z-1)$
complex-analysis
$endgroup$
Take a term $f$, with poles at $z=1, z=2$, i.e
$f=dfracg(z-1)(z-2)$.
Now assume that $f$ can be split into two (or more) terms, as
$f equiv h_1 + h_2$
Is it true that $h_1$ and $h_2$ must have the same poles as $f$? Is it true that if not, then their overall form must have the total same poles, i.e if they don't individally have the same poles as $f$, then the terms must have a form like
$h_1 = dfraca(z-2) quad h_2 = dfracb(z-1)$
complex-analysis
complex-analysis
asked Mar 18 at 20:29
BradBrad
103
103
$begingroup$
You can always replace $(h_1, h_2)$ by $(h_1 + phi, h_2 - phi)$ with an arbitrary function $phi$ (having as much poles as you want).
$endgroup$
– Martin R
Mar 18 at 21:00
add a comment |
$begingroup$
You can always replace $(h_1, h_2)$ by $(h_1 + phi, h_2 - phi)$ with an arbitrary function $phi$ (having as much poles as you want).
$endgroup$
– Martin R
Mar 18 at 21:00
$begingroup$
You can always replace $(h_1, h_2)$ by $(h_1 + phi, h_2 - phi)$ with an arbitrary function $phi$ (having as much poles as you want).
$endgroup$
– Martin R
Mar 18 at 21:00
$begingroup$
You can always replace $(h_1, h_2)$ by $(h_1 + phi, h_2 - phi)$ with an arbitrary function $phi$ (having as much poles as you want).
$endgroup$
– Martin R
Mar 18 at 21:00
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
To give a simplified version of the situation, suppose you have a single variable $,z,$ and define the simple poles $,p_0 := 1/z,, p_1 := 1/(z-1),, p_2 := 1/(z-2),,$ and so on. Suppose you have finite set of simple poles $,P := p_i,p_j,dots,p_k,$ and a finite sum of them
$,S := c_i,p_i + c_j,p_j + cdots + c_k,p_k.,$ Then the poles are linearly independent and so any two sums $,S,$ and $,S',$ are equal iff they have the same poles with the same coefficients. You can have higher order poles such as
$,p_i^2,$ and $, p_j^3,$ and so on, but they are all linearly independent. Think of P as a set of independent variables used to construct multi-variable polynomials. Linear algebra rules here. Any rational function of
$,z,$ with poles in $,P,$ can be uniquely split into the sum of a polynomial in the simple poles $,P,$ and a polynomial in $,z.,$
As a simple example:
$$ frac2 + z + 3 z^2 + 4 z^3 + 5 z^4z, (z - 1), (z - 2) =
frac1z + frac-15z-1 + frac64z-2 + 19 + 5,z.$$
P.S. Try this decomposition yourself. Here is some Wolfram Mathematica code:
decompRatFunc[r_, z_] := Module[ poles, poly, poles =
DeleteCases[r // Factor // Apart, _?NumberQ | z^n_. _. /; n > 0];
poly = r - poles // Simplify // Expand; poles, poly];
$endgroup$
add a comment |
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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3153283%2fpoles-defining-a-function-do-two-equivalent-expressions-share-the-same-poles%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
To give a simplified version of the situation, suppose you have a single variable $,z,$ and define the simple poles $,p_0 := 1/z,, p_1 := 1/(z-1),, p_2 := 1/(z-2),,$ and so on. Suppose you have finite set of simple poles $,P := p_i,p_j,dots,p_k,$ and a finite sum of them
$,S := c_i,p_i + c_j,p_j + cdots + c_k,p_k.,$ Then the poles are linearly independent and so any two sums $,S,$ and $,S',$ are equal iff they have the same poles with the same coefficients. You can have higher order poles such as
$,p_i^2,$ and $, p_j^3,$ and so on, but they are all linearly independent. Think of P as a set of independent variables used to construct multi-variable polynomials. Linear algebra rules here. Any rational function of
$,z,$ with poles in $,P,$ can be uniquely split into the sum of a polynomial in the simple poles $,P,$ and a polynomial in $,z.,$
As a simple example:
$$ frac2 + z + 3 z^2 + 4 z^3 + 5 z^4z, (z - 1), (z - 2) =
frac1z + frac-15z-1 + frac64z-2 + 19 + 5,z.$$
P.S. Try this decomposition yourself. Here is some Wolfram Mathematica code:
decompRatFunc[r_, z_] := Module[ poles, poly, poles =
DeleteCases[r // Factor // Apart, _?NumberQ | z^n_. _. /; n > 0];
poly = r - poles // Simplify // Expand; poles, poly];
$endgroup$
add a comment |
$begingroup$
To give a simplified version of the situation, suppose you have a single variable $,z,$ and define the simple poles $,p_0 := 1/z,, p_1 := 1/(z-1),, p_2 := 1/(z-2),,$ and so on. Suppose you have finite set of simple poles $,P := p_i,p_j,dots,p_k,$ and a finite sum of them
$,S := c_i,p_i + c_j,p_j + cdots + c_k,p_k.,$ Then the poles are linearly independent and so any two sums $,S,$ and $,S',$ are equal iff they have the same poles with the same coefficients. You can have higher order poles such as
$,p_i^2,$ and $, p_j^3,$ and so on, but they are all linearly independent. Think of P as a set of independent variables used to construct multi-variable polynomials. Linear algebra rules here. Any rational function of
$,z,$ with poles in $,P,$ can be uniquely split into the sum of a polynomial in the simple poles $,P,$ and a polynomial in $,z.,$
As a simple example:
$$ frac2 + z + 3 z^2 + 4 z^3 + 5 z^4z, (z - 1), (z - 2) =
frac1z + frac-15z-1 + frac64z-2 + 19 + 5,z.$$
P.S. Try this decomposition yourself. Here is some Wolfram Mathematica code:
decompRatFunc[r_, z_] := Module[ poles, poly, poles =
DeleteCases[r // Factor // Apart, _?NumberQ | z^n_. _. /; n > 0];
poly = r - poles // Simplify // Expand; poles, poly];
$endgroup$
add a comment |
$begingroup$
To give a simplified version of the situation, suppose you have a single variable $,z,$ and define the simple poles $,p_0 := 1/z,, p_1 := 1/(z-1),, p_2 := 1/(z-2),,$ and so on. Suppose you have finite set of simple poles $,P := p_i,p_j,dots,p_k,$ and a finite sum of them
$,S := c_i,p_i + c_j,p_j + cdots + c_k,p_k.,$ Then the poles are linearly independent and so any two sums $,S,$ and $,S',$ are equal iff they have the same poles with the same coefficients. You can have higher order poles such as
$,p_i^2,$ and $, p_j^3,$ and so on, but they are all linearly independent. Think of P as a set of independent variables used to construct multi-variable polynomials. Linear algebra rules here. Any rational function of
$,z,$ with poles in $,P,$ can be uniquely split into the sum of a polynomial in the simple poles $,P,$ and a polynomial in $,z.,$
As a simple example:
$$ frac2 + z + 3 z^2 + 4 z^3 + 5 z^4z, (z - 1), (z - 2) =
frac1z + frac-15z-1 + frac64z-2 + 19 + 5,z.$$
P.S. Try this decomposition yourself. Here is some Wolfram Mathematica code:
decompRatFunc[r_, z_] := Module[ poles, poly, poles =
DeleteCases[r // Factor // Apart, _?NumberQ | z^n_. _. /; n > 0];
poly = r - poles // Simplify // Expand; poles, poly];
$endgroup$
To give a simplified version of the situation, suppose you have a single variable $,z,$ and define the simple poles $,p_0 := 1/z,, p_1 := 1/(z-1),, p_2 := 1/(z-2),,$ and so on. Suppose you have finite set of simple poles $,P := p_i,p_j,dots,p_k,$ and a finite sum of them
$,S := c_i,p_i + c_j,p_j + cdots + c_k,p_k.,$ Then the poles are linearly independent and so any two sums $,S,$ and $,S',$ are equal iff they have the same poles with the same coefficients. You can have higher order poles such as
$,p_i^2,$ and $, p_j^3,$ and so on, but they are all linearly independent. Think of P as a set of independent variables used to construct multi-variable polynomials. Linear algebra rules here. Any rational function of
$,z,$ with poles in $,P,$ can be uniquely split into the sum of a polynomial in the simple poles $,P,$ and a polynomial in $,z.,$
As a simple example:
$$ frac2 + z + 3 z^2 + 4 z^3 + 5 z^4z, (z - 1), (z - 2) =
frac1z + frac-15z-1 + frac64z-2 + 19 + 5,z.$$
P.S. Try this decomposition yourself. Here is some Wolfram Mathematica code:
decompRatFunc[r_, z_] := Module[ poles, poly, poles =
DeleteCases[r // Factor // Apart, _?NumberQ | z^n_. _. /; n > 0];
poly = r - poles // Simplify // Expand; poles, poly];
edited Mar 19 at 0:47
answered Mar 18 at 21:46
SomosSomos
14.7k11337
14.7k11337
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3153283%2fpoles-defining-a-function-do-two-equivalent-expressions-share-the-same-poles%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
You can always replace $(h_1, h_2)$ by $(h_1 + phi, h_2 - phi)$ with an arbitrary function $phi$ (having as much poles as you want).
$endgroup$
– Martin R
Mar 18 at 21:00