If a product of polynomials converges, does some product of their zeros also converge?
$begingroup$
Suppose ${p_k}$ is a sequence of polynomials with $p_k(0)=1$. Let $a_1,a_2,ldots$ be an enumeration of all of the zeros of the $p_k$. Suppose that
$$prod_{k=1}^infty p_k(z)$$
converges uniformly on compact subsets of $mathbb{C}$. Is there some permutation $sigma:mathbb{N}tomathbb{N}$ such that
$$f_sigma (z)=prod_{k=1}^infty left(1-frac{z}{a_{sigma(k)}}right)$$
converges uniformly on compact subsets of $mathbb{C}$?
This is a follow-up to Factoring a convergent infinite product of polynomials., in which an example of such ${p_k}$ is given along with a permutation $sigma$ for which the product $f_sigma (z)$ does $underline{text{not converge}}$.
complex-analysis infinite-product
$endgroup$
|
show 3 more comments
$begingroup$
Suppose ${p_k}$ is a sequence of polynomials with $p_k(0)=1$. Let $a_1,a_2,ldots$ be an enumeration of all of the zeros of the $p_k$. Suppose that
$$prod_{k=1}^infty p_k(z)$$
converges uniformly on compact subsets of $mathbb{C}$. Is there some permutation $sigma:mathbb{N}tomathbb{N}$ such that
$$f_sigma (z)=prod_{k=1}^infty left(1-frac{z}{a_{sigma(k)}}right)$$
converges uniformly on compact subsets of $mathbb{C}$?
This is a follow-up to Factoring a convergent infinite product of polynomials., in which an example of such ${p_k}$ is given along with a permutation $sigma$ for which the product $f_sigma (z)$ does $underline{text{not converge}}$.
complex-analysis infinite-product
$endgroup$
$begingroup$
Since you have $a_{sigma(k)}$ in a denominator, you probably don't want to include $0$ in your enumeration of the zeros, even though it is a zero of all the $p_k$.
$endgroup$
– Robert Israel
Dec 6 '18 at 15:56
$begingroup$
Thank you. I meant $p_k(0)=1$.
$endgroup$
– user122916
Dec 6 '18 at 15:57
1
$begingroup$
My intuition is telling me that the answer is definitely "no". But I need to think more.
$endgroup$
– mathworker21
Dec 9 '18 at 3:00
1
$begingroup$
I think this is true, but possibly not that easy to prove. It might be provable with a product version of the "polygonal confinement theorem" by Steinitz: sites.math.washington.edu/~morrow/335_17/levy.pdf
$endgroup$
– Lukas Geyer
Dec 11 '18 at 23:45
$begingroup$
@LukasGeyer Do you know if there is an analog of something like Lemma 3.1 in the paper you linked for holomorphic functions? Something like: if $f_1,...,f_m$ are analytic on $|z|leq R$, $ left| sum_{n=1}^m f_n right|_{|z|leq R}< epsilon$ and $ |f_n|_{|z|leq R} < epsilon$, then there exists a permutation $sigma$ of $1,2,ldots,m$ such that whenever $1leq jleq m$, $$left| sum_{n=1}^j f_{sigma(n)} right|_R< 4epsilon.$$
$endgroup$
– user122916
Jan 2 at 22:16
|
show 3 more comments
$begingroup$
Suppose ${p_k}$ is a sequence of polynomials with $p_k(0)=1$. Let $a_1,a_2,ldots$ be an enumeration of all of the zeros of the $p_k$. Suppose that
$$prod_{k=1}^infty p_k(z)$$
converges uniformly on compact subsets of $mathbb{C}$. Is there some permutation $sigma:mathbb{N}tomathbb{N}$ such that
$$f_sigma (z)=prod_{k=1}^infty left(1-frac{z}{a_{sigma(k)}}right)$$
converges uniformly on compact subsets of $mathbb{C}$?
This is a follow-up to Factoring a convergent infinite product of polynomials., in which an example of such ${p_k}$ is given along with a permutation $sigma$ for which the product $f_sigma (z)$ does $underline{text{not converge}}$.
complex-analysis infinite-product
$endgroup$
Suppose ${p_k}$ is a sequence of polynomials with $p_k(0)=1$. Let $a_1,a_2,ldots$ be an enumeration of all of the zeros of the $p_k$. Suppose that
$$prod_{k=1}^infty p_k(z)$$
converges uniformly on compact subsets of $mathbb{C}$. Is there some permutation $sigma:mathbb{N}tomathbb{N}$ such that
$$f_sigma (z)=prod_{k=1}^infty left(1-frac{z}{a_{sigma(k)}}right)$$
converges uniformly on compact subsets of $mathbb{C}$?
This is a follow-up to Factoring a convergent infinite product of polynomials., in which an example of such ${p_k}$ is given along with a permutation $sigma$ for which the product $f_sigma (z)$ does $underline{text{not converge}}$.
complex-analysis infinite-product
complex-analysis infinite-product
edited Dec 6 '18 at 15:58
user122916
asked Dec 6 '18 at 15:50
user122916user122916
431315
431315
$begingroup$
Since you have $a_{sigma(k)}$ in a denominator, you probably don't want to include $0$ in your enumeration of the zeros, even though it is a zero of all the $p_k$.
$endgroup$
– Robert Israel
Dec 6 '18 at 15:56
$begingroup$
Thank you. I meant $p_k(0)=1$.
$endgroup$
– user122916
Dec 6 '18 at 15:57
1
$begingroup$
My intuition is telling me that the answer is definitely "no". But I need to think more.
$endgroup$
– mathworker21
Dec 9 '18 at 3:00
1
$begingroup$
I think this is true, but possibly not that easy to prove. It might be provable with a product version of the "polygonal confinement theorem" by Steinitz: sites.math.washington.edu/~morrow/335_17/levy.pdf
$endgroup$
– Lukas Geyer
Dec 11 '18 at 23:45
$begingroup$
@LukasGeyer Do you know if there is an analog of something like Lemma 3.1 in the paper you linked for holomorphic functions? Something like: if $f_1,...,f_m$ are analytic on $|z|leq R$, $ left| sum_{n=1}^m f_n right|_{|z|leq R}< epsilon$ and $ |f_n|_{|z|leq R} < epsilon$, then there exists a permutation $sigma$ of $1,2,ldots,m$ such that whenever $1leq jleq m$, $$left| sum_{n=1}^j f_{sigma(n)} right|_R< 4epsilon.$$
$endgroup$
– user122916
Jan 2 at 22:16
|
show 3 more comments
$begingroup$
Since you have $a_{sigma(k)}$ in a denominator, you probably don't want to include $0$ in your enumeration of the zeros, even though it is a zero of all the $p_k$.
$endgroup$
– Robert Israel
Dec 6 '18 at 15:56
$begingroup$
Thank you. I meant $p_k(0)=1$.
$endgroup$
– user122916
Dec 6 '18 at 15:57
1
$begingroup$
My intuition is telling me that the answer is definitely "no". But I need to think more.
$endgroup$
– mathworker21
Dec 9 '18 at 3:00
1
$begingroup$
I think this is true, but possibly not that easy to prove. It might be provable with a product version of the "polygonal confinement theorem" by Steinitz: sites.math.washington.edu/~morrow/335_17/levy.pdf
$endgroup$
– Lukas Geyer
Dec 11 '18 at 23:45
$begingroup$
@LukasGeyer Do you know if there is an analog of something like Lemma 3.1 in the paper you linked for holomorphic functions? Something like: if $f_1,...,f_m$ are analytic on $|z|leq R$, $ left| sum_{n=1}^m f_n right|_{|z|leq R}< epsilon$ and $ |f_n|_{|z|leq R} < epsilon$, then there exists a permutation $sigma$ of $1,2,ldots,m$ such that whenever $1leq jleq m$, $$left| sum_{n=1}^j f_{sigma(n)} right|_R< 4epsilon.$$
$endgroup$
– user122916
Jan 2 at 22:16
$begingroup$
Since you have $a_{sigma(k)}$ in a denominator, you probably don't want to include $0$ in your enumeration of the zeros, even though it is a zero of all the $p_k$.
$endgroup$
– Robert Israel
Dec 6 '18 at 15:56
$begingroup$
Since you have $a_{sigma(k)}$ in a denominator, you probably don't want to include $0$ in your enumeration of the zeros, even though it is a zero of all the $p_k$.
$endgroup$
– Robert Israel
Dec 6 '18 at 15:56
$begingroup$
Thank you. I meant $p_k(0)=1$.
$endgroup$
– user122916
Dec 6 '18 at 15:57
$begingroup$
Thank you. I meant $p_k(0)=1$.
$endgroup$
– user122916
Dec 6 '18 at 15:57
1
1
$begingroup$
My intuition is telling me that the answer is definitely "no". But I need to think more.
$endgroup$
– mathworker21
Dec 9 '18 at 3:00
$begingroup$
My intuition is telling me that the answer is definitely "no". But I need to think more.
$endgroup$
– mathworker21
Dec 9 '18 at 3:00
1
1
$begingroup$
I think this is true, but possibly not that easy to prove. It might be provable with a product version of the "polygonal confinement theorem" by Steinitz: sites.math.washington.edu/~morrow/335_17/levy.pdf
$endgroup$
– Lukas Geyer
Dec 11 '18 at 23:45
$begingroup$
I think this is true, but possibly not that easy to prove. It might be provable with a product version of the "polygonal confinement theorem" by Steinitz: sites.math.washington.edu/~morrow/335_17/levy.pdf
$endgroup$
– Lukas Geyer
Dec 11 '18 at 23:45
$begingroup$
@LukasGeyer Do you know if there is an analog of something like Lemma 3.1 in the paper you linked for holomorphic functions? Something like: if $f_1,...,f_m$ are analytic on $|z|leq R$, $ left| sum_{n=1}^m f_n right|_{|z|leq R}< epsilon$ and $ |f_n|_{|z|leq R} < epsilon$, then there exists a permutation $sigma$ of $1,2,ldots,m$ such that whenever $1leq jleq m$, $$left| sum_{n=1}^j f_{sigma(n)} right|_R< 4epsilon.$$
$endgroup$
– user122916
Jan 2 at 22:16
$begingroup$
@LukasGeyer Do you know if there is an analog of something like Lemma 3.1 in the paper you linked for holomorphic functions? Something like: if $f_1,...,f_m$ are analytic on $|z|leq R$, $ left| sum_{n=1}^m f_n right|_{|z|leq R}< epsilon$ and $ |f_n|_{|z|leq R} < epsilon$, then there exists a permutation $sigma$ of $1,2,ldots,m$ such that whenever $1leq jleq m$, $$left| sum_{n=1}^j f_{sigma(n)} right|_R< 4epsilon.$$
$endgroup$
– user122916
Jan 2 at 22:16
|
show 3 more comments
0
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',
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%2f3028661%2fif-a-product-of-polynomials-converges-does-some-product-of-their-zeros-also-con%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3028661%2fif-a-product-of-polynomials-converges-does-some-product-of-their-zeros-also-con%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$
Since you have $a_{sigma(k)}$ in a denominator, you probably don't want to include $0$ in your enumeration of the zeros, even though it is a zero of all the $p_k$.
$endgroup$
– Robert Israel
Dec 6 '18 at 15:56
$begingroup$
Thank you. I meant $p_k(0)=1$.
$endgroup$
– user122916
Dec 6 '18 at 15:57
1
$begingroup$
My intuition is telling me that the answer is definitely "no". But I need to think more.
$endgroup$
– mathworker21
Dec 9 '18 at 3:00
1
$begingroup$
I think this is true, but possibly not that easy to prove. It might be provable with a product version of the "polygonal confinement theorem" by Steinitz: sites.math.washington.edu/~morrow/335_17/levy.pdf
$endgroup$
– Lukas Geyer
Dec 11 '18 at 23:45
$begingroup$
@LukasGeyer Do you know if there is an analog of something like Lemma 3.1 in the paper you linked for holomorphic functions? Something like: if $f_1,...,f_m$ are analytic on $|z|leq R$, $ left| sum_{n=1}^m f_n right|_{|z|leq R}< epsilon$ and $ |f_n|_{|z|leq R} < epsilon$, then there exists a permutation $sigma$ of $1,2,ldots,m$ such that whenever $1leq jleq m$, $$left| sum_{n=1}^j f_{sigma(n)} right|_R< 4epsilon.$$
$endgroup$
– user122916
Jan 2 at 22:16