What is known about the transformation of a power series in which $z^n$ is replaced with $z^{n^2}$?











up vote
4
down vote

favorite
1












Say we have the function $$G(z) = sum_{n geq 0} g_n z^n.$$



Is there a name for the transform T defined so that $$(T(G))(z) = sum_{n geq 0} g_n z^{n^2}?$$



Is there anything known about this kind of transformation?










share|cite|improve this question


















  • 2




    Well, they become lacunary most of the time, and z usually becomes restricted to be within the unit disk after such a change.
    – J. M. is not a mathematician
    Nov 12 '10 at 23:25






  • 2




    The original series does not really bear a strong relation to the new series. I don't think this is a useful definition.
    – Qiaochu Yuan
    Nov 12 '10 at 23:38










  • @J.M. I don't think it actually becomes lacunary in this case. I think that it pretty much has the same properties as the original series: en.wikipedia.org/wiki/Lacunary_function
    – Eric Haengel
    Nov 12 '10 at 23:49






  • 5




    @Eric: it really doesn't. For example, the "transform" of the innocent rational function 1/(1-z) is a much more complicated beast: en.wikipedia.org/wiki/Theta_function
    – Qiaochu Yuan
    Nov 13 '10 at 0:15






  • 3




    @Qiaochu Yuan: Sure, you may be right. However, to me it is not obvious that there is no application. :)
    – AD.
    Nov 13 '10 at 11:55















up vote
4
down vote

favorite
1












Say we have the function $$G(z) = sum_{n geq 0} g_n z^n.$$



Is there a name for the transform T defined so that $$(T(G))(z) = sum_{n geq 0} g_n z^{n^2}?$$



Is there anything known about this kind of transformation?










share|cite|improve this question


















  • 2




    Well, they become lacunary most of the time, and z usually becomes restricted to be within the unit disk after such a change.
    – J. M. is not a mathematician
    Nov 12 '10 at 23:25






  • 2




    The original series does not really bear a strong relation to the new series. I don't think this is a useful definition.
    – Qiaochu Yuan
    Nov 12 '10 at 23:38










  • @J.M. I don't think it actually becomes lacunary in this case. I think that it pretty much has the same properties as the original series: en.wikipedia.org/wiki/Lacunary_function
    – Eric Haengel
    Nov 12 '10 at 23:49






  • 5




    @Eric: it really doesn't. For example, the "transform" of the innocent rational function 1/(1-z) is a much more complicated beast: en.wikipedia.org/wiki/Theta_function
    – Qiaochu Yuan
    Nov 13 '10 at 0:15






  • 3




    @Qiaochu Yuan: Sure, you may be right. However, to me it is not obvious that there is no application. :)
    – AD.
    Nov 13 '10 at 11:55













up vote
4
down vote

favorite
1









up vote
4
down vote

favorite
1






1





Say we have the function $$G(z) = sum_{n geq 0} g_n z^n.$$



Is there a name for the transform T defined so that $$(T(G))(z) = sum_{n geq 0} g_n z^{n^2}?$$



Is there anything known about this kind of transformation?










share|cite|improve this question













Say we have the function $$G(z) = sum_{n geq 0} g_n z^n.$$



Is there a name for the transform T defined so that $$(T(G))(z) = sum_{n geq 0} g_n z^{n^2}?$$



Is there anything known about this kind of transformation?







transformation power-series






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 12 '10 at 23:22









Andrew MacFie

10213




10213








  • 2




    Well, they become lacunary most of the time, and z usually becomes restricted to be within the unit disk after such a change.
    – J. M. is not a mathematician
    Nov 12 '10 at 23:25






  • 2




    The original series does not really bear a strong relation to the new series. I don't think this is a useful definition.
    – Qiaochu Yuan
    Nov 12 '10 at 23:38










  • @J.M. I don't think it actually becomes lacunary in this case. I think that it pretty much has the same properties as the original series: en.wikipedia.org/wiki/Lacunary_function
    – Eric Haengel
    Nov 12 '10 at 23:49






  • 5




    @Eric: it really doesn't. For example, the "transform" of the innocent rational function 1/(1-z) is a much more complicated beast: en.wikipedia.org/wiki/Theta_function
    – Qiaochu Yuan
    Nov 13 '10 at 0:15






  • 3




    @Qiaochu Yuan: Sure, you may be right. However, to me it is not obvious that there is no application. :)
    – AD.
    Nov 13 '10 at 11:55














  • 2




    Well, they become lacunary most of the time, and z usually becomes restricted to be within the unit disk after such a change.
    – J. M. is not a mathematician
    Nov 12 '10 at 23:25






  • 2




    The original series does not really bear a strong relation to the new series. I don't think this is a useful definition.
    – Qiaochu Yuan
    Nov 12 '10 at 23:38










  • @J.M. I don't think it actually becomes lacunary in this case. I think that it pretty much has the same properties as the original series: en.wikipedia.org/wiki/Lacunary_function
    – Eric Haengel
    Nov 12 '10 at 23:49






  • 5




    @Eric: it really doesn't. For example, the "transform" of the innocent rational function 1/(1-z) is a much more complicated beast: en.wikipedia.org/wiki/Theta_function
    – Qiaochu Yuan
    Nov 13 '10 at 0:15






  • 3




    @Qiaochu Yuan: Sure, you may be right. However, to me it is not obvious that there is no application. :)
    – AD.
    Nov 13 '10 at 11:55








2




2




Well, they become lacunary most of the time, and z usually becomes restricted to be within the unit disk after such a change.
– J. M. is not a mathematician
Nov 12 '10 at 23:25




Well, they become lacunary most of the time, and z usually becomes restricted to be within the unit disk after such a change.
– J. M. is not a mathematician
Nov 12 '10 at 23:25




2




2




The original series does not really bear a strong relation to the new series. I don't think this is a useful definition.
– Qiaochu Yuan
Nov 12 '10 at 23:38




The original series does not really bear a strong relation to the new series. I don't think this is a useful definition.
– Qiaochu Yuan
Nov 12 '10 at 23:38












@J.M. I don't think it actually becomes lacunary in this case. I think that it pretty much has the same properties as the original series: en.wikipedia.org/wiki/Lacunary_function
– Eric Haengel
Nov 12 '10 at 23:49




@J.M. I don't think it actually becomes lacunary in this case. I think that it pretty much has the same properties as the original series: en.wikipedia.org/wiki/Lacunary_function
– Eric Haengel
Nov 12 '10 at 23:49




5




5




@Eric: it really doesn't. For example, the "transform" of the innocent rational function 1/(1-z) is a much more complicated beast: en.wikipedia.org/wiki/Theta_function
– Qiaochu Yuan
Nov 13 '10 at 0:15




@Eric: it really doesn't. For example, the "transform" of the innocent rational function 1/(1-z) is a much more complicated beast: en.wikipedia.org/wiki/Theta_function
– Qiaochu Yuan
Nov 13 '10 at 0:15




3




3




@Qiaochu Yuan: Sure, you may be right. However, to me it is not obvious that there is no application. :)
– AD.
Nov 13 '10 at 11:55




@Qiaochu Yuan: Sure, you may be right. However, to me it is not obvious that there is no application. :)
– AD.
Nov 13 '10 at 11:55










1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










If you know a formula for the ordinary generating function of the sequence and its $j^{th}$ derivatives, which must exist for all $j geq 0$, then this article (2017) provides you with an integral representation of the transformed series in question. In particular, if $G(z)$ is the ordinary generating function of the sequence ${g_n}_{n geq 0}$ and $q in mathbb{C}$ is such that $0 < |q| < 1$, then we have proved in the article that
$$sum_{n geq 0} g_n q^{n^2} z^n = frac{1}{sqrt{2pi}} int_0^{infty}
left[sum_{b = pm 1} Gleft(e^{bt sqrt{2log(q)} z}right)right] e^{-t^2 / 2} dt. $$
The article terms this general procedure for modifying the original sequence generating function a square series transformation integral, but more generally, some of the most interesting applications of this method include new integral representations for theta functions and classical identities such as the series expansion for Jacobi's triple product.






share|cite|improve this answer























  • links seems to be broken now
    – Andrew MacFie
    Nov 7 at 0:50






  • 1




    Fixed the link to the arxiv version. Thanks.
    – mds
    Nov 7 at 1:02










  • Inside $G$ it should be $e^{bt sqrt{2log(q)}}z$, right?
    – Andrew MacFie
    Nov 26 at 17:12










  • Yes, fixing it now.
    – mds
    Nov 27 at 0:04











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: 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%2f10069%2fwhat-is-known-about-the-transformation-of-a-power-series-in-which-zn-is-repla%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








up vote
2
down vote



accepted










If you know a formula for the ordinary generating function of the sequence and its $j^{th}$ derivatives, which must exist for all $j geq 0$, then this article (2017) provides you with an integral representation of the transformed series in question. In particular, if $G(z)$ is the ordinary generating function of the sequence ${g_n}_{n geq 0}$ and $q in mathbb{C}$ is such that $0 < |q| < 1$, then we have proved in the article that
$$sum_{n geq 0} g_n q^{n^2} z^n = frac{1}{sqrt{2pi}} int_0^{infty}
left[sum_{b = pm 1} Gleft(e^{bt sqrt{2log(q)} z}right)right] e^{-t^2 / 2} dt. $$
The article terms this general procedure for modifying the original sequence generating function a square series transformation integral, but more generally, some of the most interesting applications of this method include new integral representations for theta functions and classical identities such as the series expansion for Jacobi's triple product.






share|cite|improve this answer























  • links seems to be broken now
    – Andrew MacFie
    Nov 7 at 0:50






  • 1




    Fixed the link to the arxiv version. Thanks.
    – mds
    Nov 7 at 1:02










  • Inside $G$ it should be $e^{bt sqrt{2log(q)}}z$, right?
    – Andrew MacFie
    Nov 26 at 17:12










  • Yes, fixing it now.
    – mds
    Nov 27 at 0:04















up vote
2
down vote



accepted










If you know a formula for the ordinary generating function of the sequence and its $j^{th}$ derivatives, which must exist for all $j geq 0$, then this article (2017) provides you with an integral representation of the transformed series in question. In particular, if $G(z)$ is the ordinary generating function of the sequence ${g_n}_{n geq 0}$ and $q in mathbb{C}$ is such that $0 < |q| < 1$, then we have proved in the article that
$$sum_{n geq 0} g_n q^{n^2} z^n = frac{1}{sqrt{2pi}} int_0^{infty}
left[sum_{b = pm 1} Gleft(e^{bt sqrt{2log(q)} z}right)right] e^{-t^2 / 2} dt. $$
The article terms this general procedure for modifying the original sequence generating function a square series transformation integral, but more generally, some of the most interesting applications of this method include new integral representations for theta functions and classical identities such as the series expansion for Jacobi's triple product.






share|cite|improve this answer























  • links seems to be broken now
    – Andrew MacFie
    Nov 7 at 0:50






  • 1




    Fixed the link to the arxiv version. Thanks.
    – mds
    Nov 7 at 1:02










  • Inside $G$ it should be $e^{bt sqrt{2log(q)}}z$, right?
    – Andrew MacFie
    Nov 26 at 17:12










  • Yes, fixing it now.
    – mds
    Nov 27 at 0:04













up vote
2
down vote



accepted







up vote
2
down vote



accepted






If you know a formula for the ordinary generating function of the sequence and its $j^{th}$ derivatives, which must exist for all $j geq 0$, then this article (2017) provides you with an integral representation of the transformed series in question. In particular, if $G(z)$ is the ordinary generating function of the sequence ${g_n}_{n geq 0}$ and $q in mathbb{C}$ is such that $0 < |q| < 1$, then we have proved in the article that
$$sum_{n geq 0} g_n q^{n^2} z^n = frac{1}{sqrt{2pi}} int_0^{infty}
left[sum_{b = pm 1} Gleft(e^{bt sqrt{2log(q)} z}right)right] e^{-t^2 / 2} dt. $$
The article terms this general procedure for modifying the original sequence generating function a square series transformation integral, but more generally, some of the most interesting applications of this method include new integral representations for theta functions and classical identities such as the series expansion for Jacobi's triple product.






share|cite|improve this answer














If you know a formula for the ordinary generating function of the sequence and its $j^{th}$ derivatives, which must exist for all $j geq 0$, then this article (2017) provides you with an integral representation of the transformed series in question. In particular, if $G(z)$ is the ordinary generating function of the sequence ${g_n}_{n geq 0}$ and $q in mathbb{C}$ is such that $0 < |q| < 1$, then we have proved in the article that
$$sum_{n geq 0} g_n q^{n^2} z^n = frac{1}{sqrt{2pi}} int_0^{infty}
left[sum_{b = pm 1} Gleft(e^{bt sqrt{2log(q)} z}right)right] e^{-t^2 / 2} dt. $$
The article terms this general procedure for modifying the original sequence generating function a square series transformation integral, but more generally, some of the most interesting applications of this method include new integral representations for theta functions and classical identities such as the series expansion for Jacobi's triple product.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Nov 27 at 0:05

























answered May 24 at 14:51









mds

44218




44218












  • links seems to be broken now
    – Andrew MacFie
    Nov 7 at 0:50






  • 1




    Fixed the link to the arxiv version. Thanks.
    – mds
    Nov 7 at 1:02










  • Inside $G$ it should be $e^{bt sqrt{2log(q)}}z$, right?
    – Andrew MacFie
    Nov 26 at 17:12










  • Yes, fixing it now.
    – mds
    Nov 27 at 0:04


















  • links seems to be broken now
    – Andrew MacFie
    Nov 7 at 0:50






  • 1




    Fixed the link to the arxiv version. Thanks.
    – mds
    Nov 7 at 1:02










  • Inside $G$ it should be $e^{bt sqrt{2log(q)}}z$, right?
    – Andrew MacFie
    Nov 26 at 17:12










  • Yes, fixing it now.
    – mds
    Nov 27 at 0:04
















links seems to be broken now
– Andrew MacFie
Nov 7 at 0:50




links seems to be broken now
– Andrew MacFie
Nov 7 at 0:50




1




1




Fixed the link to the arxiv version. Thanks.
– mds
Nov 7 at 1:02




Fixed the link to the arxiv version. Thanks.
– mds
Nov 7 at 1:02












Inside $G$ it should be $e^{bt sqrt{2log(q)}}z$, right?
– Andrew MacFie
Nov 26 at 17:12




Inside $G$ it should be $e^{bt sqrt{2log(q)}}z$, right?
– Andrew MacFie
Nov 26 at 17:12












Yes, fixing it now.
– mds
Nov 27 at 0:04




Yes, fixing it now.
– mds
Nov 27 at 0:04


















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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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.


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%2f10069%2fwhat-is-known-about-the-transformation-of-a-power-series-in-which-zn-is-repla%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

Wiesbaden

Marschland

Dieringhausen