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
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
|
show 5 more comments
up vote
4
down vote
favorite
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
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
|
show 5 more comments
up vote
4
down vote
favorite
up vote
4
down vote
favorite
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
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
transformation power-series
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
|
show 5 more comments
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
|
show 5 more comments
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.
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
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',
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%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.
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
add a comment |
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.
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
add a comment |
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.
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.
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
add a comment |
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
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.
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.
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%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
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
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