Poles defining a function - do two equivalent expressions share the same poles?When is a function satisfying...
Should I tell management that I intend to leave due to bad software development practices?
CAST throwing error when run in stored procedure but not when run as raw query
Do scales need to be in alphabetical order?
Zip/Tar file compressed to larger size?
Forgetting the musical notes while performing in concert
Mathematica command that allows it to read my intentions
What is a romance in Latin?
Avoiding direct proof while writing proof by induction
What mechanic is there to disable a threat instead of killing it?
What does “the session was packed” mean in this context?
How can I determine if the org that I'm currently connected to is a scratch org?
Why didn't Miles's spider sense work before?
Can we compute the area of a quadrilateral with one right angle when we only know the lengths of any three sides?
What method can I use to design a dungeon difficult enough that the PCs can't make it through without killing them?
Do UK voters know if their MP will be the Speaker of the House?
Are there any examples of a variable being normally distributed that is *not* due to the Central Limit Theorem?
What reasons are there for a Capitalist to oppose a 100% inheritance tax?
How can I deal with my CEO asking me to hire someone with a higher salary than me, a co-founder?
What is the most common color to indicate the input-field is disabled?
How did the Super Star Destroyer Executor get destroyed exactly?
How to show a landlord what we have in savings?
In 'Revenger,' what does 'cove' come from?
GFCI outlets - can they be repaired? Are they really needed at the end of a circuit?
Venezuelan girlfriend wants to travel the USA to be with me. What is the process?
Poles defining a function - do two equivalent expressions share the same poles?
When is a function satisfying the Cauchy-Riemann equations holomorphic?closed form of $sum frac{1}{z^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 $mathbb{C^3}$.
$begingroup$
Take a term $f$, with poles at $z=1, z=2$, i.e
$f=dfrac{g}{(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 = dfrac{a}{(z-2)} quad h_2 = dfrac{b}{(z-1)}$
complex-analysis
asked Mar 18 at 20:29
BradBrad
103
$endgroup$
add a comment |
$begingroup$
Take a term $f$, with poles at $z=1, z=2$, i.e
$f=dfrac{g}{(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 = dfrac{a}{(z-2)} quad h_2 = dfrac{b}{(z-1)}$
complex-analysis
asked Mar 18 at 20:29
BradBrad
103
$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=dfrac{g}{(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 = dfrac{a}{(z-2)} quad h_2 = dfrac{b}{(z-1)}$
complex-analysis
asked Mar 18 at 20:29
BradBrad
103
$endgroup$
Take a term $f$, with poles at $z=1, z=2$, i.e
$f=dfrac{g}{(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 = dfrac{a}{(z-2)} quad h_2 = dfrac{b}{(z-1)}$
complex-analysis
complex-analysis
asked Mar 18 at 20:29
BradBrad
103
asked Mar 18 at 20:29
BradBrad
103
asked Mar 18 at 20:29
BradBrad
103
asked Mar 18 at 20:29
BradBrad
103
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:
$$ frac{2 + z + 3 z^2 + 4 z^3 + 5 z^4}{z, (z - 1), (z - 2)} =
frac1z + frac{-15}{z-1} + frac{64}{z-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}];
answered Mar 18 at 21:46
SomosSomos
14.7k11337
$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:
$$ frac{2 + z + 3 z^2 + 4 z^3 + 5 z^4}{z, (z - 1), (z - 2)} =
frac1z + frac{-15}{z-1} + frac{64}{z-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}];
answered Mar 18 at 21:46
SomosSomos
14.7k11337
$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:
$$ frac{2 + z + 3 z^2 + 4 z^3 + 5 z^4}{z, (z - 1), (z - 2)} =
frac1z + frac{-15}{z-1} + frac{64}{z-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}];
answered Mar 18 at 21:46
SomosSomos
14.7k11337
$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:
$$ frac{2 + z + 3 z^2 + 4 z^3 + 5 z^4}{z, (z - 1), (z - 2)} =
frac1z + frac{-15}{z-1} + frac{64}{z-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}];
answered Mar 18 at 21:46
SomosSomos
14.7k11337
$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:
$$ frac{2 + z + 3 z^2 + 4 z^3 + 5 z^4}{z, (z - 1), (z - 2)} =
frac1z + frac{-15}{z-1} + frac{64}{z-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}];
answered Mar 18 at 21:46
SomosSomos
14.7k11337
edited Mar 19 at 0:47
answered Mar 18 at 21:46
SomosSomos
14.7k11337
answered Mar 18 at 21:46
SomosSomos
14.7k11337
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