What is the region of convergence of $x_n=left(frac{x_{n-1}}{n}right)^2-a$, where $a$ is a constant?












5












$begingroup$


The following recurrence relation came up in some research I was working on:



$$x_n=left(frac{x_{n-1}}{n}right)^2-a$$



Or equivalently the map:



$$zmapstofrac{z^2}{n^2}-a$$



Where $n$ is the iteration number. Specifically, I'm interested in the size of the convergence region across the real line. Some stuff I know about this map:




  • For $a = 1$, it's easy, the "size on the real line" is $[-3,3]$.


I do have an infinite radical expansion for the size of the convergence region on the real line (see Solving the infinite radical $sqrt{6+sqrt{6+2sqrt{6+3sqrt{6+...}}}}$):



$$sqrt{a+2sqrt{a+3sqrt{a+...}}}$$



That's why it's easy for $a=1$ -- it's just the Ramanujan radical, and equals 3. It's also easy for $a=0$ -- it's $expleft(-mathrm{PolyLog}^{(1,0)}(0,1/2)right)$ as per Wolfram Alpha.



Has anyone seen this map before? Here's the region of convergence on the complex plane, plotted numerically (for $a=6$):



enter image description here










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    For your title, instead asking "have you seen this recurrence before" to which most will say "no" and skip the question, you rather ask "what is the region of convergence for ...." and get more help.
    $endgroup$
    – DanielV
    Dec 24 '18 at 19:34






  • 1




    $begingroup$
    if the sequence converges, then it must converge to $-a.$ I am not sure if any other trivial observation can be made.
    $endgroup$
    – dezdichado
    Dec 24 '18 at 22:58
















5












$begingroup$


The following recurrence relation came up in some research I was working on:



$$x_n=left(frac{x_{n-1}}{n}right)^2-a$$



Or equivalently the map:



$$zmapstofrac{z^2}{n^2}-a$$



Where $n$ is the iteration number. Specifically, I'm interested in the size of the convergence region across the real line. Some stuff I know about this map:




  • For $a = 1$, it's easy, the "size on the real line" is $[-3,3]$.


I do have an infinite radical expansion for the size of the convergence region on the real line (see Solving the infinite radical $sqrt{6+sqrt{6+2sqrt{6+3sqrt{6+...}}}}$):



$$sqrt{a+2sqrt{a+3sqrt{a+...}}}$$



That's why it's easy for $a=1$ -- it's just the Ramanujan radical, and equals 3. It's also easy for $a=0$ -- it's $expleft(-mathrm{PolyLog}^{(1,0)}(0,1/2)right)$ as per Wolfram Alpha.



Has anyone seen this map before? Here's the region of convergence on the complex plane, plotted numerically (for $a=6$):



enter image description here










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    For your title, instead asking "have you seen this recurrence before" to which most will say "no" and skip the question, you rather ask "what is the region of convergence for ...." and get more help.
    $endgroup$
    – DanielV
    Dec 24 '18 at 19:34






  • 1




    $begingroup$
    if the sequence converges, then it must converge to $-a.$ I am not sure if any other trivial observation can be made.
    $endgroup$
    – dezdichado
    Dec 24 '18 at 22:58














5












5








5


1



$begingroup$


The following recurrence relation came up in some research I was working on:



$$x_n=left(frac{x_{n-1}}{n}right)^2-a$$



Or equivalently the map:



$$zmapstofrac{z^2}{n^2}-a$$



Where $n$ is the iteration number. Specifically, I'm interested in the size of the convergence region across the real line. Some stuff I know about this map:




  • For $a = 1$, it's easy, the "size on the real line" is $[-3,3]$.


I do have an infinite radical expansion for the size of the convergence region on the real line (see Solving the infinite radical $sqrt{6+sqrt{6+2sqrt{6+3sqrt{6+...}}}}$):



$$sqrt{a+2sqrt{a+3sqrt{a+...}}}$$



That's why it's easy for $a=1$ -- it's just the Ramanujan radical, and equals 3. It's also easy for $a=0$ -- it's $expleft(-mathrm{PolyLog}^{(1,0)}(0,1/2)right)$ as per Wolfram Alpha.



Has anyone seen this map before? Here's the region of convergence on the complex plane, plotted numerically (for $a=6$):



enter image description here










share|cite|improve this question











$endgroup$




The following recurrence relation came up in some research I was working on:



$$x_n=left(frac{x_{n-1}}{n}right)^2-a$$



Or equivalently the map:



$$zmapstofrac{z^2}{n^2}-a$$



Where $n$ is the iteration number. Specifically, I'm interested in the size of the convergence region across the real line. Some stuff I know about this map:




  • For $a = 1$, it's easy, the "size on the real line" is $[-3,3]$.


I do have an infinite radical expansion for the size of the convergence region on the real line (see Solving the infinite radical $sqrt{6+sqrt{6+2sqrt{6+3sqrt{6+...}}}}$):



$$sqrt{a+2sqrt{a+3sqrt{a+...}}}$$



That's why it's easy for $a=1$ -- it's just the Ramanujan radical, and equals 3. It's also easy for $a=0$ -- it's $expleft(-mathrm{PolyLog}^{(1,0)}(0,1/2)right)$ as per Wolfram Alpha.



Has anyone seen this map before? Here's the region of convergence on the complex plane, plotted numerically (for $a=6$):



enter image description here







sequences-and-series convergence recurrence-relations






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 29 '18 at 6:47







Abhimanyu Pallavi Sudhir

















asked Dec 24 '18 at 19:02









Abhimanyu Pallavi SudhirAbhimanyu Pallavi Sudhir

909719




909719








  • 1




    $begingroup$
    For your title, instead asking "have you seen this recurrence before" to which most will say "no" and skip the question, you rather ask "what is the region of convergence for ...." and get more help.
    $endgroup$
    – DanielV
    Dec 24 '18 at 19:34






  • 1




    $begingroup$
    if the sequence converges, then it must converge to $-a.$ I am not sure if any other trivial observation can be made.
    $endgroup$
    – dezdichado
    Dec 24 '18 at 22:58














  • 1




    $begingroup$
    For your title, instead asking "have you seen this recurrence before" to which most will say "no" and skip the question, you rather ask "what is the region of convergence for ...." and get more help.
    $endgroup$
    – DanielV
    Dec 24 '18 at 19:34






  • 1




    $begingroup$
    if the sequence converges, then it must converge to $-a.$ I am not sure if any other trivial observation can be made.
    $endgroup$
    – dezdichado
    Dec 24 '18 at 22:58








1




1




$begingroup$
For your title, instead asking "have you seen this recurrence before" to which most will say "no" and skip the question, you rather ask "what is the region of convergence for ...." and get more help.
$endgroup$
– DanielV
Dec 24 '18 at 19:34




$begingroup$
For your title, instead asking "have you seen this recurrence before" to which most will say "no" and skip the question, you rather ask "what is the region of convergence for ...." and get more help.
$endgroup$
– DanielV
Dec 24 '18 at 19:34




1




1




$begingroup$
if the sequence converges, then it must converge to $-a.$ I am not sure if any other trivial observation can be made.
$endgroup$
– dezdichado
Dec 24 '18 at 22:58




$begingroup$
if the sequence converges, then it must converge to $-a.$ I am not sure if any other trivial observation can be made.
$endgroup$
– dezdichado
Dec 24 '18 at 22:58










1 Answer
1






active

oldest

votes


















2












$begingroup$

Reminded me of this particular Julia set. It's the one generated from the Mandelbrot set's (0,0) point. Picture



Mandelbrot set on the left, Julia on the right.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Interesting -- it's not quite the origin, though (0 just gives an ellipse). I'm not sure if they're related -- going further to the left or right gives something quite different from my regions.
    $endgroup$
    – Abhimanyu Pallavi Sudhir
    Dec 25 '18 at 4:08












  • $begingroup$
    It does seem that different values of $a$ correspond to different real $c$ generators for the Julia set. But I think the similarity is just approximate -- it stops working for large $|c|$, etc. (where you get little Mandelbrots from the Julia set but bats from mine).
    $endgroup$
    – Abhimanyu Pallavi Sudhir
    Dec 25 '18 at 4:38













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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3051551%2fwhat-is-the-region-of-convergence-of-x-n-left-fracx-n-1n-right2-a-w%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









2












$begingroup$

Reminded me of this particular Julia set. It's the one generated from the Mandelbrot set's (0,0) point. Picture



Mandelbrot set on the left, Julia on the right.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Interesting -- it's not quite the origin, though (0 just gives an ellipse). I'm not sure if they're related -- going further to the left or right gives something quite different from my regions.
    $endgroup$
    – Abhimanyu Pallavi Sudhir
    Dec 25 '18 at 4:08












  • $begingroup$
    It does seem that different values of $a$ correspond to different real $c$ generators for the Julia set. But I think the similarity is just approximate -- it stops working for large $|c|$, etc. (where you get little Mandelbrots from the Julia set but bats from mine).
    $endgroup$
    – Abhimanyu Pallavi Sudhir
    Dec 25 '18 at 4:38


















2












$begingroup$

Reminded me of this particular Julia set. It's the one generated from the Mandelbrot set's (0,0) point. Picture



Mandelbrot set on the left, Julia on the right.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Interesting -- it's not quite the origin, though (0 just gives an ellipse). I'm not sure if they're related -- going further to the left or right gives something quite different from my regions.
    $endgroup$
    – Abhimanyu Pallavi Sudhir
    Dec 25 '18 at 4:08












  • $begingroup$
    It does seem that different values of $a$ correspond to different real $c$ generators for the Julia set. But I think the similarity is just approximate -- it stops working for large $|c|$, etc. (where you get little Mandelbrots from the Julia set but bats from mine).
    $endgroup$
    – Abhimanyu Pallavi Sudhir
    Dec 25 '18 at 4:38
















2












2








2





$begingroup$

Reminded me of this particular Julia set. It's the one generated from the Mandelbrot set's (0,0) point. Picture



Mandelbrot set on the left, Julia on the right.






share|cite|improve this answer









$endgroup$



Reminded me of this particular Julia set. It's the one generated from the Mandelbrot set's (0,0) point. Picture



Mandelbrot set on the left, Julia on the right.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Dec 24 '18 at 22:30









FrostFrost

1776




1776












  • $begingroup$
    Interesting -- it's not quite the origin, though (0 just gives an ellipse). I'm not sure if they're related -- going further to the left or right gives something quite different from my regions.
    $endgroup$
    – Abhimanyu Pallavi Sudhir
    Dec 25 '18 at 4:08












  • $begingroup$
    It does seem that different values of $a$ correspond to different real $c$ generators for the Julia set. But I think the similarity is just approximate -- it stops working for large $|c|$, etc. (where you get little Mandelbrots from the Julia set but bats from mine).
    $endgroup$
    – Abhimanyu Pallavi Sudhir
    Dec 25 '18 at 4:38




















  • $begingroup$
    Interesting -- it's not quite the origin, though (0 just gives an ellipse). I'm not sure if they're related -- going further to the left or right gives something quite different from my regions.
    $endgroup$
    – Abhimanyu Pallavi Sudhir
    Dec 25 '18 at 4:08












  • $begingroup$
    It does seem that different values of $a$ correspond to different real $c$ generators for the Julia set. But I think the similarity is just approximate -- it stops working for large $|c|$, etc. (where you get little Mandelbrots from the Julia set but bats from mine).
    $endgroup$
    – Abhimanyu Pallavi Sudhir
    Dec 25 '18 at 4:38


















$begingroup$
Interesting -- it's not quite the origin, though (0 just gives an ellipse). I'm not sure if they're related -- going further to the left or right gives something quite different from my regions.
$endgroup$
– Abhimanyu Pallavi Sudhir
Dec 25 '18 at 4:08






$begingroup$
Interesting -- it's not quite the origin, though (0 just gives an ellipse). I'm not sure if they're related -- going further to the left or right gives something quite different from my regions.
$endgroup$
– Abhimanyu Pallavi Sudhir
Dec 25 '18 at 4:08














$begingroup$
It does seem that different values of $a$ correspond to different real $c$ generators for the Julia set. But I think the similarity is just approximate -- it stops working for large $|c|$, etc. (where you get little Mandelbrots from the Julia set but bats from mine).
$endgroup$
– Abhimanyu Pallavi Sudhir
Dec 25 '18 at 4:38






$begingroup$
It does seem that different values of $a$ correspond to different real $c$ generators for the Julia set. But I think the similarity is just approximate -- it stops working for large $|c|$, etc. (where you get little Mandelbrots from the Julia set but bats from mine).
$endgroup$
– Abhimanyu Pallavi Sudhir
Dec 25 '18 at 4:38




















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3051551%2fwhat-is-the-region-of-convergence-of-x-n-left-fracx-n-1n-right2-a-w%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Quarter-circle Tiles

build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

Mont Emei