Prove that Jacobi theta function is of order $2$ as a function of $z$.











up vote
0
down vote

favorite













Let
$$Theta(z|tau) = sum_{n = -infty}^{infty}e^{pi in^{2}tau}e^{2pi inz}$$
with $tau = s + it$ where $t > 0$. Show that $Theta$ is of order $2$ as function of $z$.



[Hint: $-n^{2}t + 2n|z| leq -n^{2}t/2$ when $t>0$ and $n geq 4|z|/t$.]




I dont know if its necessary to describe all my calculations. Initially, I will write where my problem is. I got:



$$|Theta(z|tau)| leq K + underbrace{2sum_{n=1}^{alpha}e^{-pi n^{2}t + 2pi n|z|}}_{S},$$



where $displaystyle alpha = leftlfloor frac{4|z|}{t} rightrfloor$.



Question 1:



The sum $S$ is finite, there is at most $alpha$ terms. So, I'm trying to bound each term of the sum. I know that if cannot to eliminate $|z|$. I thought about to use $nleq 4|z|/t$ for conclude that
$$|Theta(z|tau)| leq K_{1} + K_{2}e^{K_{3}|z|^{2}},$$
but I couldnt prove it.



Question 2:



Assuming I have
$$|Theta(z|tau)| leq K_{1} + K_{2}e^{K_{3}|z|^{2}}.$$



How can I use this to get
$$|Theta(z|tau)| leq Ae^{B|z|^{2}}?$$





EDIT. I can prove that
$$|Theta(z|tau)| leq Ae^{B|z|^{2}}.$$
Just note that $e^{-pi n^{2}t + 2pi n|z|} leq e^{2pi n|z|}$ and use the hypothesis about $n$. But with this, I show that $Theta$ is of order at most $2$. How can I show that the order is exactly $2$?



Definition. A entire function $f$ such that
$$|f(z)| leq Ae^{B|z|^{rho}}tag{$ast$}$$
for some $rho,A,B>0$ and for any $z in mathbb{C}$ is of order $leq rho$. The order of $f$ is $rho_{f} = inf rho$ for all $rho$ that satisfies $(ast)$.










share|cite|improve this question
























  • What is meant by the order of the Jacobi function in your question?
    – BenCWBrown
    Nov 16 at 23:38










  • Order of growth. Stein defines as the infimum of $rho$ such that $|f(z)| leq Ae^{B|z|^{rho}}$.
    – Lucas Corrêa
    Nov 16 at 23:42















up vote
0
down vote

favorite













Let
$$Theta(z|tau) = sum_{n = -infty}^{infty}e^{pi in^{2}tau}e^{2pi inz}$$
with $tau = s + it$ where $t > 0$. Show that $Theta$ is of order $2$ as function of $z$.



[Hint: $-n^{2}t + 2n|z| leq -n^{2}t/2$ when $t>0$ and $n geq 4|z|/t$.]




I dont know if its necessary to describe all my calculations. Initially, I will write where my problem is. I got:



$$|Theta(z|tau)| leq K + underbrace{2sum_{n=1}^{alpha}e^{-pi n^{2}t + 2pi n|z|}}_{S},$$



where $displaystyle alpha = leftlfloor frac{4|z|}{t} rightrfloor$.



Question 1:



The sum $S$ is finite, there is at most $alpha$ terms. So, I'm trying to bound each term of the sum. I know that if cannot to eliminate $|z|$. I thought about to use $nleq 4|z|/t$ for conclude that
$$|Theta(z|tau)| leq K_{1} + K_{2}e^{K_{3}|z|^{2}},$$
but I couldnt prove it.



Question 2:



Assuming I have
$$|Theta(z|tau)| leq K_{1} + K_{2}e^{K_{3}|z|^{2}}.$$



How can I use this to get
$$|Theta(z|tau)| leq Ae^{B|z|^{2}}?$$





EDIT. I can prove that
$$|Theta(z|tau)| leq Ae^{B|z|^{2}}.$$
Just note that $e^{-pi n^{2}t + 2pi n|z|} leq e^{2pi n|z|}$ and use the hypothesis about $n$. But with this, I show that $Theta$ is of order at most $2$. How can I show that the order is exactly $2$?



Definition. A entire function $f$ such that
$$|f(z)| leq Ae^{B|z|^{rho}}tag{$ast$}$$
for some $rho,A,B>0$ and for any $z in mathbb{C}$ is of order $leq rho$. The order of $f$ is $rho_{f} = inf rho$ for all $rho$ that satisfies $(ast)$.










share|cite|improve this question
























  • What is meant by the order of the Jacobi function in your question?
    – BenCWBrown
    Nov 16 at 23:38










  • Order of growth. Stein defines as the infimum of $rho$ such that $|f(z)| leq Ae^{B|z|^{rho}}$.
    – Lucas Corrêa
    Nov 16 at 23:42













up vote
0
down vote

favorite









up vote
0
down vote

favorite












Let
$$Theta(z|tau) = sum_{n = -infty}^{infty}e^{pi in^{2}tau}e^{2pi inz}$$
with $tau = s + it$ where $t > 0$. Show that $Theta$ is of order $2$ as function of $z$.



[Hint: $-n^{2}t + 2n|z| leq -n^{2}t/2$ when $t>0$ and $n geq 4|z|/t$.]




I dont know if its necessary to describe all my calculations. Initially, I will write where my problem is. I got:



$$|Theta(z|tau)| leq K + underbrace{2sum_{n=1}^{alpha}e^{-pi n^{2}t + 2pi n|z|}}_{S},$$



where $displaystyle alpha = leftlfloor frac{4|z|}{t} rightrfloor$.



Question 1:



The sum $S$ is finite, there is at most $alpha$ terms. So, I'm trying to bound each term of the sum. I know that if cannot to eliminate $|z|$. I thought about to use $nleq 4|z|/t$ for conclude that
$$|Theta(z|tau)| leq K_{1} + K_{2}e^{K_{3}|z|^{2}},$$
but I couldnt prove it.



Question 2:



Assuming I have
$$|Theta(z|tau)| leq K_{1} + K_{2}e^{K_{3}|z|^{2}}.$$



How can I use this to get
$$|Theta(z|tau)| leq Ae^{B|z|^{2}}?$$





EDIT. I can prove that
$$|Theta(z|tau)| leq Ae^{B|z|^{2}}.$$
Just note that $e^{-pi n^{2}t + 2pi n|z|} leq e^{2pi n|z|}$ and use the hypothesis about $n$. But with this, I show that $Theta$ is of order at most $2$. How can I show that the order is exactly $2$?



Definition. A entire function $f$ such that
$$|f(z)| leq Ae^{B|z|^{rho}}tag{$ast$}$$
for some $rho,A,B>0$ and for any $z in mathbb{C}$ is of order $leq rho$. The order of $f$ is $rho_{f} = inf rho$ for all $rho$ that satisfies $(ast)$.










share|cite|improve this question
















Let
$$Theta(z|tau) = sum_{n = -infty}^{infty}e^{pi in^{2}tau}e^{2pi inz}$$
with $tau = s + it$ where $t > 0$. Show that $Theta$ is of order $2$ as function of $z$.



[Hint: $-n^{2}t + 2n|z| leq -n^{2}t/2$ when $t>0$ and $n geq 4|z|/t$.]




I dont know if its necessary to describe all my calculations. Initially, I will write where my problem is. I got:



$$|Theta(z|tau)| leq K + underbrace{2sum_{n=1}^{alpha}e^{-pi n^{2}t + 2pi n|z|}}_{S},$$



where $displaystyle alpha = leftlfloor frac{4|z|}{t} rightrfloor$.



Question 1:



The sum $S$ is finite, there is at most $alpha$ terms. So, I'm trying to bound each term of the sum. I know that if cannot to eliminate $|z|$. I thought about to use $nleq 4|z|/t$ for conclude that
$$|Theta(z|tau)| leq K_{1} + K_{2}e^{K_{3}|z|^{2}},$$
but I couldnt prove it.



Question 2:



Assuming I have
$$|Theta(z|tau)| leq K_{1} + K_{2}e^{K_{3}|z|^{2}}.$$



How can I use this to get
$$|Theta(z|tau)| leq Ae^{B|z|^{2}}?$$





EDIT. I can prove that
$$|Theta(z|tau)| leq Ae^{B|z|^{2}}.$$
Just note that $e^{-pi n^{2}t + 2pi n|z|} leq e^{2pi n|z|}$ and use the hypothesis about $n$. But with this, I show that $Theta$ is of order at most $2$. How can I show that the order is exactly $2$?



Definition. A entire function $f$ such that
$$|f(z)| leq Ae^{B|z|^{rho}}tag{$ast$}$$
for some $rho,A,B>0$ and for any $z in mathbb{C}$ is of order $leq rho$. The order of $f$ is $rho_{f} = inf rho$ for all $rho$ that satisfies $(ast)$.







complex-analysis entire-functions






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 17 at 0:58

























asked Nov 16 at 23:19









Lucas Corrêa

1,259321




1,259321












  • What is meant by the order of the Jacobi function in your question?
    – BenCWBrown
    Nov 16 at 23:38










  • Order of growth. Stein defines as the infimum of $rho$ such that $|f(z)| leq Ae^{B|z|^{rho}}$.
    – Lucas Corrêa
    Nov 16 at 23:42


















  • What is meant by the order of the Jacobi function in your question?
    – BenCWBrown
    Nov 16 at 23:38










  • Order of growth. Stein defines as the infimum of $rho$ such that $|f(z)| leq Ae^{B|z|^{rho}}$.
    – Lucas Corrêa
    Nov 16 at 23:42
















What is meant by the order of the Jacobi function in your question?
– BenCWBrown
Nov 16 at 23:38




What is meant by the order of the Jacobi function in your question?
– BenCWBrown
Nov 16 at 23:38












Order of growth. Stein defines as the infimum of $rho$ such that $|f(z)| leq Ae^{B|z|^{rho}}$.
– Lucas Corrêa
Nov 16 at 23:42




Order of growth. Stein defines as the infimum of $rho$ such that $|f(z)| leq Ae^{B|z|^{rho}}$.
– Lucas Corrêa
Nov 16 at 23:42















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',
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%2f3001764%2fprove-that-jacobi-theta-function-is-of-order-2-as-a-function-of-z%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















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%2f3001764%2fprove-that-jacobi-theta-function-is-of-order-2-as-a-function-of-z%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

How to change which sound is reproduced for terminal bell?

Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

Can I use Tabulator js library in my java Spring + Thymeleaf project?