Order of growth of the entire function $sin(sqrt{z})/sqrt{z}$
$begingroup$
Show that
$$f(z)=frac{sinsqrt z}{sqrt z}$$
is an entire function of finite order $rho$ and determine $rho$.
I observed that the two determinations of the square root differ only for the signum. Since $sin(-z)=-sin z$, we have that $f(z)$ is well defined, and entire because it's the ratio of two entire functions with denominator never vanishing.
For the order i use the Taylor expansion
$$sin z=sum_{n=0}^{infty}(-1)^nfrac{z^{2n+1}}{(2n+1)!}$$
which for $z=sqrt z$ gives
$$sinsqrt z=sum_{n=0}^{infty}(-1)^nfrac{z^{n}sqrt z}{(2n+1)!}$$
Thus
$$frac{sinsqrt z}{sqrt z}=sum_{n=0}^{infty}(-1)^nfrac{z^{n}}{(2n+1)!}$$
Then we have
$$(2n+1)!geq2^n n!$$
hence
$$bigg|frac{sinsqrt z}{sqrt z}bigg|leqlargesum_{n=0}^{infty}left(frac{|z|}{2}right)^{n}cdotfrac{1}{n!}=e^{|z|/2}$$
This (if correct) shows that $rholeqfrac{1}{2}$. How can be shown the identity?
complex-analysis asymptotics entire-functions
$endgroup$
add a comment |
$begingroup$
Show that
$$f(z)=frac{sinsqrt z}{sqrt z}$$
is an entire function of finite order $rho$ and determine $rho$.
I observed that the two determinations of the square root differ only for the signum. Since $sin(-z)=-sin z$, we have that $f(z)$ is well defined, and entire because it's the ratio of two entire functions with denominator never vanishing.
For the order i use the Taylor expansion
$$sin z=sum_{n=0}^{infty}(-1)^nfrac{z^{2n+1}}{(2n+1)!}$$
which for $z=sqrt z$ gives
$$sinsqrt z=sum_{n=0}^{infty}(-1)^nfrac{z^{n}sqrt z}{(2n+1)!}$$
Thus
$$frac{sinsqrt z}{sqrt z}=sum_{n=0}^{infty}(-1)^nfrac{z^{n}}{(2n+1)!}$$
Then we have
$$(2n+1)!geq2^n n!$$
hence
$$bigg|frac{sinsqrt z}{sqrt z}bigg|leqlargesum_{n=0}^{infty}left(frac{|z|}{2}right)^{n}cdotfrac{1}{n!}=e^{|z|/2}$$
This (if correct) shows that $rholeqfrac{1}{2}$. How can be shown the identity?
complex-analysis asymptotics entire-functions
$endgroup$
$begingroup$
There are a few mistakes here. The series for $sin z$ is not quite right. You mean: $$sin z = sum_{n=0}^{infty} frac{(-1)^nz^{n+1}}{(2n+1)!} , . $$ When you change from the series for $sin z$ to the series for $sin sqrt{z}$, you seem to change $z^{2n}$ to $z^nsqrt{z}$. This isn't correct. $(sqrt{z})^{2n} = (z^{1/2})^{2n} = z^{2n/2} = z^n$. In fact: $$sum_{n=0}^{infty} frac{(-1)^nz^nsqrt{z}}{(2n+1)!} = frac{sqrt{z}sinh sqrt{-z}}{sqrt{-z}} , . $$
$endgroup$
– Fly by Night
Jan 9 '13 at 20:08
$begingroup$
sorry, there was an error in the $sin z$ series, i've edited. thank you
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:09
$begingroup$
Remember: You can use sin cos tan sec cot and csc for the trig' functions in LaTeX, i.e. $sin z$ instead of $sin z$.
$endgroup$
– Fly by Night
Jan 9 '13 at 20:14
add a comment |
$begingroup$
Show that
$$f(z)=frac{sinsqrt z}{sqrt z}$$
is an entire function of finite order $rho$ and determine $rho$.
I observed that the two determinations of the square root differ only for the signum. Since $sin(-z)=-sin z$, we have that $f(z)$ is well defined, and entire because it's the ratio of two entire functions with denominator never vanishing.
For the order i use the Taylor expansion
$$sin z=sum_{n=0}^{infty}(-1)^nfrac{z^{2n+1}}{(2n+1)!}$$
which for $z=sqrt z$ gives
$$sinsqrt z=sum_{n=0}^{infty}(-1)^nfrac{z^{n}sqrt z}{(2n+1)!}$$
Thus
$$frac{sinsqrt z}{sqrt z}=sum_{n=0}^{infty}(-1)^nfrac{z^{n}}{(2n+1)!}$$
Then we have
$$(2n+1)!geq2^n n!$$
hence
$$bigg|frac{sinsqrt z}{sqrt z}bigg|leqlargesum_{n=0}^{infty}left(frac{|z|}{2}right)^{n}cdotfrac{1}{n!}=e^{|z|/2}$$
This (if correct) shows that $rholeqfrac{1}{2}$. How can be shown the identity?
complex-analysis asymptotics entire-functions
$endgroup$
Show that
$$f(z)=frac{sinsqrt z}{sqrt z}$$
is an entire function of finite order $rho$ and determine $rho$.
I observed that the two determinations of the square root differ only for the signum. Since $sin(-z)=-sin z$, we have that $f(z)$ is well defined, and entire because it's the ratio of two entire functions with denominator never vanishing.
For the order i use the Taylor expansion
$$sin z=sum_{n=0}^{infty}(-1)^nfrac{z^{2n+1}}{(2n+1)!}$$
which for $z=sqrt z$ gives
$$sinsqrt z=sum_{n=0}^{infty}(-1)^nfrac{z^{n}sqrt z}{(2n+1)!}$$
Thus
$$frac{sinsqrt z}{sqrt z}=sum_{n=0}^{infty}(-1)^nfrac{z^{n}}{(2n+1)!}$$
Then we have
$$(2n+1)!geq2^n n!$$
hence
$$bigg|frac{sinsqrt z}{sqrt z}bigg|leqlargesum_{n=0}^{infty}left(frac{|z|}{2}right)^{n}cdotfrac{1}{n!}=e^{|z|/2}$$
This (if correct) shows that $rholeqfrac{1}{2}$. How can be shown the identity?
complex-analysis asymptotics entire-functions
complex-analysis asymptotics entire-functions
edited Dec 10 '18 at 9:37
Gaby Alfonso
736315
736315
asked Jan 9 '13 at 19:51
Federica MaggioniFederica Maggioni
5,96111336
5,96111336
$begingroup$
There are a few mistakes here. The series for $sin z$ is not quite right. You mean: $$sin z = sum_{n=0}^{infty} frac{(-1)^nz^{n+1}}{(2n+1)!} , . $$ When you change from the series for $sin z$ to the series for $sin sqrt{z}$, you seem to change $z^{2n}$ to $z^nsqrt{z}$. This isn't correct. $(sqrt{z})^{2n} = (z^{1/2})^{2n} = z^{2n/2} = z^n$. In fact: $$sum_{n=0}^{infty} frac{(-1)^nz^nsqrt{z}}{(2n+1)!} = frac{sqrt{z}sinh sqrt{-z}}{sqrt{-z}} , . $$
$endgroup$
– Fly by Night
Jan 9 '13 at 20:08
$begingroup$
sorry, there was an error in the $sin z$ series, i've edited. thank you
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:09
$begingroup$
Remember: You can use sin cos tan sec cot and csc for the trig' functions in LaTeX, i.e. $sin z$ instead of $sin z$.
$endgroup$
– Fly by Night
Jan 9 '13 at 20:14
add a comment |
$begingroup$
There are a few mistakes here. The series for $sin z$ is not quite right. You mean: $$sin z = sum_{n=0}^{infty} frac{(-1)^nz^{n+1}}{(2n+1)!} , . $$ When you change from the series for $sin z$ to the series for $sin sqrt{z}$, you seem to change $z^{2n}$ to $z^nsqrt{z}$. This isn't correct. $(sqrt{z})^{2n} = (z^{1/2})^{2n} = z^{2n/2} = z^n$. In fact: $$sum_{n=0}^{infty} frac{(-1)^nz^nsqrt{z}}{(2n+1)!} = frac{sqrt{z}sinh sqrt{-z}}{sqrt{-z}} , . $$
$endgroup$
– Fly by Night
Jan 9 '13 at 20:08
$begingroup$
sorry, there was an error in the $sin z$ series, i've edited. thank you
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:09
$begingroup$
Remember: You can use sin cos tan sec cot and csc for the trig' functions in LaTeX, i.e. $sin z$ instead of $sin z$.
$endgroup$
– Fly by Night
Jan 9 '13 at 20:14
$begingroup$
There are a few mistakes here. The series for $sin z$ is not quite right. You mean: $$sin z = sum_{n=0}^{infty} frac{(-1)^nz^{n+1}}{(2n+1)!} , . $$ When you change from the series for $sin z$ to the series for $sin sqrt{z}$, you seem to change $z^{2n}$ to $z^nsqrt{z}$. This isn't correct. $(sqrt{z})^{2n} = (z^{1/2})^{2n} = z^{2n/2} = z^n$. In fact: $$sum_{n=0}^{infty} frac{(-1)^nz^nsqrt{z}}{(2n+1)!} = frac{sqrt{z}sinh sqrt{-z}}{sqrt{-z}} , . $$
$endgroup$
– Fly by Night
Jan 9 '13 at 20:08
$begingroup$
There are a few mistakes here. The series for $sin z$ is not quite right. You mean: $$sin z = sum_{n=0}^{infty} frac{(-1)^nz^{n+1}}{(2n+1)!} , . $$ When you change from the series for $sin z$ to the series for $sin sqrt{z}$, you seem to change $z^{2n}$ to $z^nsqrt{z}$. This isn't correct. $(sqrt{z})^{2n} = (z^{1/2})^{2n} = z^{2n/2} = z^n$. In fact: $$sum_{n=0}^{infty} frac{(-1)^nz^nsqrt{z}}{(2n+1)!} = frac{sqrt{z}sinh sqrt{-z}}{sqrt{-z}} , . $$
$endgroup$
– Fly by Night
Jan 9 '13 at 20:08
$begingroup$
sorry, there was an error in the $sin z$ series, i've edited. thank you
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:09
$begingroup$
sorry, there was an error in the $sin z$ series, i've edited. thank you
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:09
$begingroup$
Remember: You can use sin cos tan sec cot and csc for the trig' functions in LaTeX, i.e. $sin z$ instead of $sin z$.
$endgroup$
– Fly by Night
Jan 9 '13 at 20:14
$begingroup$
Remember: You can use sin cos tan sec cot and csc for the trig' functions in LaTeX, i.e. $sin z$ instead of $sin z$.
$endgroup$
– Fly by Night
Jan 9 '13 at 20:14
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
To show $rho geq 1/2$, write
$$
f(z) = frac{sin sqrt{z}}{sqrt{z}} = frac{e^{isqrt{z}}-e^{-isqrt{z}}}{2isqrt{z}}
$$
and show that
$$
f(-x) sim frac{e^{sqrt{x}}}{2sqrt{x}}
$$
as $x to infty$ with $x > 0$.
Clarification: If $f$ is of order $rho'$ then for any $rho>rho'$ there is $C$ such that $$|f(z)| leq C exp(|z|^rho)$$ so that $|f(z)| exp(-|z|^rho)$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho'< 1/2$, pick $rhoin (rho',1/2)$ and use the asymptotic estimate above.
$endgroup$
$begingroup$
$f(-x)=frac{e^{-sqrt x} -e^{sqrt x}}{-2sqrt x}$, dividing this by $-frac{e^{sqrt x}}{2sqrt x}$ i get something which tends to 1 as x goes to $infty$. Hence $f(-x)$ is asymptotic to what you said. Now, why this implies the order of growth is greater then one-half? does asymptotic implies $ O(x^{1/2})$?
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:57
$begingroup$
@FedericaMaggioni, If $f$ is of order $rho$ then $$|f(z)| leq C exp(|z|^rho)$$ for $|z|$ large enough, so that $$|f(z)| exp(-|z|^rho)$$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho < 1/2$ and use the asymptotic estimate.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:10
$begingroup$
substituting the asymptotic estimate in the last equation i get something which goes to infinite at numerator faster than denominator, contraddicting the boundness.
$endgroup$
– Federica Maggioni
Jan 9 '13 at 21:17
$begingroup$
@FedericaMaggioni exactly.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:17
1
$begingroup$
But a correct form of a comment can be moved to the post, where it's better placed anyway. I made such an edit just now; please review.
$endgroup$
– user147263
Jun 27 '15 at 3:52
|
show 2 more comments
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%2f274704%2forder-of-growth-of-the-entire-function-sin-sqrtz-sqrtz%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
$begingroup$
To show $rho geq 1/2$, write
$$
f(z) = frac{sin sqrt{z}}{sqrt{z}} = frac{e^{isqrt{z}}-e^{-isqrt{z}}}{2isqrt{z}}
$$
and show that
$$
f(-x) sim frac{e^{sqrt{x}}}{2sqrt{x}}
$$
as $x to infty$ with $x > 0$.
Clarification: If $f$ is of order $rho'$ then for any $rho>rho'$ there is $C$ such that $$|f(z)| leq C exp(|z|^rho)$$ so that $|f(z)| exp(-|z|^rho)$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho'< 1/2$, pick $rhoin (rho',1/2)$ and use the asymptotic estimate above.
$endgroup$
$begingroup$
$f(-x)=frac{e^{-sqrt x} -e^{sqrt x}}{-2sqrt x}$, dividing this by $-frac{e^{sqrt x}}{2sqrt x}$ i get something which tends to 1 as x goes to $infty$. Hence $f(-x)$ is asymptotic to what you said. Now, why this implies the order of growth is greater then one-half? does asymptotic implies $ O(x^{1/2})$?
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:57
$begingroup$
@FedericaMaggioni, If $f$ is of order $rho$ then $$|f(z)| leq C exp(|z|^rho)$$ for $|z|$ large enough, so that $$|f(z)| exp(-|z|^rho)$$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho < 1/2$ and use the asymptotic estimate.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:10
$begingroup$
substituting the asymptotic estimate in the last equation i get something which goes to infinite at numerator faster than denominator, contraddicting the boundness.
$endgroup$
– Federica Maggioni
Jan 9 '13 at 21:17
$begingroup$
@FedericaMaggioni exactly.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:17
1
$begingroup$
But a correct form of a comment can be moved to the post, where it's better placed anyway. I made such an edit just now; please review.
$endgroup$
– user147263
Jun 27 '15 at 3:52
|
show 2 more comments
$begingroup$
To show $rho geq 1/2$, write
$$
f(z) = frac{sin sqrt{z}}{sqrt{z}} = frac{e^{isqrt{z}}-e^{-isqrt{z}}}{2isqrt{z}}
$$
and show that
$$
f(-x) sim frac{e^{sqrt{x}}}{2sqrt{x}}
$$
as $x to infty$ with $x > 0$.
Clarification: If $f$ is of order $rho'$ then for any $rho>rho'$ there is $C$ such that $$|f(z)| leq C exp(|z|^rho)$$ so that $|f(z)| exp(-|z|^rho)$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho'< 1/2$, pick $rhoin (rho',1/2)$ and use the asymptotic estimate above.
$endgroup$
$begingroup$
$f(-x)=frac{e^{-sqrt x} -e^{sqrt x}}{-2sqrt x}$, dividing this by $-frac{e^{sqrt x}}{2sqrt x}$ i get something which tends to 1 as x goes to $infty$. Hence $f(-x)$ is asymptotic to what you said. Now, why this implies the order of growth is greater then one-half? does asymptotic implies $ O(x^{1/2})$?
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:57
$begingroup$
@FedericaMaggioni, If $f$ is of order $rho$ then $$|f(z)| leq C exp(|z|^rho)$$ for $|z|$ large enough, so that $$|f(z)| exp(-|z|^rho)$$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho < 1/2$ and use the asymptotic estimate.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:10
$begingroup$
substituting the asymptotic estimate in the last equation i get something which goes to infinite at numerator faster than denominator, contraddicting the boundness.
$endgroup$
– Federica Maggioni
Jan 9 '13 at 21:17
$begingroup$
@FedericaMaggioni exactly.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:17
1
$begingroup$
But a correct form of a comment can be moved to the post, where it's better placed anyway. I made such an edit just now; please review.
$endgroup$
– user147263
Jun 27 '15 at 3:52
|
show 2 more comments
$begingroup$
To show $rho geq 1/2$, write
$$
f(z) = frac{sin sqrt{z}}{sqrt{z}} = frac{e^{isqrt{z}}-e^{-isqrt{z}}}{2isqrt{z}}
$$
and show that
$$
f(-x) sim frac{e^{sqrt{x}}}{2sqrt{x}}
$$
as $x to infty$ with $x > 0$.
Clarification: If $f$ is of order $rho'$ then for any $rho>rho'$ there is $C$ such that $$|f(z)| leq C exp(|z|^rho)$$ so that $|f(z)| exp(-|z|^rho)$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho'< 1/2$, pick $rhoin (rho',1/2)$ and use the asymptotic estimate above.
$endgroup$
To show $rho geq 1/2$, write
$$
f(z) = frac{sin sqrt{z}}{sqrt{z}} = frac{e^{isqrt{z}}-e^{-isqrt{z}}}{2isqrt{z}}
$$
and show that
$$
f(-x) sim frac{e^{sqrt{x}}}{2sqrt{x}}
$$
as $x to infty$ with $x > 0$.
Clarification: If $f$ is of order $rho'$ then for any $rho>rho'$ there is $C$ such that $$|f(z)| leq C exp(|z|^rho)$$ so that $|f(z)| exp(-|z|^rho)$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho'< 1/2$, pick $rhoin (rho',1/2)$ and use the asymptotic estimate above.
edited Jun 27 '15 at 3:51
user147263
answered Jan 9 '13 at 20:43
Antonio VargasAntonio Vargas
20.7k245111
20.7k245111
$begingroup$
$f(-x)=frac{e^{-sqrt x} -e^{sqrt x}}{-2sqrt x}$, dividing this by $-frac{e^{sqrt x}}{2sqrt x}$ i get something which tends to 1 as x goes to $infty$. Hence $f(-x)$ is asymptotic to what you said. Now, why this implies the order of growth is greater then one-half? does asymptotic implies $ O(x^{1/2})$?
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:57
$begingroup$
@FedericaMaggioni, If $f$ is of order $rho$ then $$|f(z)| leq C exp(|z|^rho)$$ for $|z|$ large enough, so that $$|f(z)| exp(-|z|^rho)$$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho < 1/2$ and use the asymptotic estimate.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:10
$begingroup$
substituting the asymptotic estimate in the last equation i get something which goes to infinite at numerator faster than denominator, contraddicting the boundness.
$endgroup$
– Federica Maggioni
Jan 9 '13 at 21:17
$begingroup$
@FedericaMaggioni exactly.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:17
1
$begingroup$
But a correct form of a comment can be moved to the post, where it's better placed anyway. I made such an edit just now; please review.
$endgroup$
– user147263
Jun 27 '15 at 3:52
|
show 2 more comments
$begingroup$
$f(-x)=frac{e^{-sqrt x} -e^{sqrt x}}{-2sqrt x}$, dividing this by $-frac{e^{sqrt x}}{2sqrt x}$ i get something which tends to 1 as x goes to $infty$. Hence $f(-x)$ is asymptotic to what you said. Now, why this implies the order of growth is greater then one-half? does asymptotic implies $ O(x^{1/2})$?
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:57
$begingroup$
@FedericaMaggioni, If $f$ is of order $rho$ then $$|f(z)| leq C exp(|z|^rho)$$ for $|z|$ large enough, so that $$|f(z)| exp(-|z|^rho)$$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho < 1/2$ and use the asymptotic estimate.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:10
$begingroup$
substituting the asymptotic estimate in the last equation i get something which goes to infinite at numerator faster than denominator, contraddicting the boundness.
$endgroup$
– Federica Maggioni
Jan 9 '13 at 21:17
$begingroup$
@FedericaMaggioni exactly.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:17
1
$begingroup$
But a correct form of a comment can be moved to the post, where it's better placed anyway. I made such an edit just now; please review.
$endgroup$
– user147263
Jun 27 '15 at 3:52
$begingroup$
$f(-x)=frac{e^{-sqrt x} -e^{sqrt x}}{-2sqrt x}$, dividing this by $-frac{e^{sqrt x}}{2sqrt x}$ i get something which tends to 1 as x goes to $infty$. Hence $f(-x)$ is asymptotic to what you said. Now, why this implies the order of growth is greater then one-half? does asymptotic implies $ O(x^{1/2})$?
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:57
$begingroup$
$f(-x)=frac{e^{-sqrt x} -e^{sqrt x}}{-2sqrt x}$, dividing this by $-frac{e^{sqrt x}}{2sqrt x}$ i get something which tends to 1 as x goes to $infty$. Hence $f(-x)$ is asymptotic to what you said. Now, why this implies the order of growth is greater then one-half? does asymptotic implies $ O(x^{1/2})$?
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:57
$begingroup$
@FedericaMaggioni, If $f$ is of order $rho$ then $$|f(z)| leq C exp(|z|^rho)$$ for $|z|$ large enough, so that $$|f(z)| exp(-|z|^rho)$$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho < 1/2$ and use the asymptotic estimate.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:10
$begingroup$
@FedericaMaggioni, If $f$ is of order $rho$ then $$|f(z)| leq C exp(|z|^rho)$$ for $|z|$ large enough, so that $$|f(z)| exp(-|z|^rho)$$ is bounded. In particular, $$|f(-x)| exp(-x^rho)$$ is bounded as $x to infty$. Now suppose $rho < 1/2$ and use the asymptotic estimate.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:10
$begingroup$
substituting the asymptotic estimate in the last equation i get something which goes to infinite at numerator faster than denominator, contraddicting the boundness.
$endgroup$
– Federica Maggioni
Jan 9 '13 at 21:17
$begingroup$
substituting the asymptotic estimate in the last equation i get something which goes to infinite at numerator faster than denominator, contraddicting the boundness.
$endgroup$
– Federica Maggioni
Jan 9 '13 at 21:17
$begingroup$
@FedericaMaggioni exactly.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:17
$begingroup$
@FedericaMaggioni exactly.
$endgroup$
– Antonio Vargas
Jan 9 '13 at 21:17
1
1
$begingroup$
But a correct form of a comment can be moved to the post, where it's better placed anyway. I made such an edit just now; please review.
$endgroup$
– user147263
Jun 27 '15 at 3:52
$begingroup$
But a correct form of a comment can be moved to the post, where it's better placed anyway. I made such an edit just now; please review.
$endgroup$
– user147263
Jun 27 '15 at 3:52
|
show 2 more comments
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%2f274704%2forder-of-growth-of-the-entire-function-sin-sqrtz-sqrtz%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$
There are a few mistakes here. The series for $sin z$ is not quite right. You mean: $$sin z = sum_{n=0}^{infty} frac{(-1)^nz^{n+1}}{(2n+1)!} , . $$ When you change from the series for $sin z$ to the series for $sin sqrt{z}$, you seem to change $z^{2n}$ to $z^nsqrt{z}$. This isn't correct. $(sqrt{z})^{2n} = (z^{1/2})^{2n} = z^{2n/2} = z^n$. In fact: $$sum_{n=0}^{infty} frac{(-1)^nz^nsqrt{z}}{(2n+1)!} = frac{sqrt{z}sinh sqrt{-z}}{sqrt{-z}} , . $$
$endgroup$
– Fly by Night
Jan 9 '13 at 20:08
$begingroup$
sorry, there was an error in the $sin z$ series, i've edited. thank you
$endgroup$
– Federica Maggioni
Jan 9 '13 at 20:09
$begingroup$
Remember: You can use sin cos tan sec cot and csc for the trig' functions in LaTeX, i.e. $sin z$ instead of $sin z$.
$endgroup$
– Fly by Night
Jan 9 '13 at 20:14