Are $ cos z$ and $ sin z$ bounded functions with $z$ a complex number?Complex functions and modulusProve that $sin(z_1+z_2)=sin z_1 cos z_2 + cos z_1 sin z_2$$f, g$ entire functions with $f^2 + g^2 equiv 1 implies exists h $ entire with $f(z) = cos(h(z))$ and $g(z) = sin(h(z))$Is there a proof show that : $cos(z)$ and $sin(z)$ are images of unbounded functions?Complex Analysis: why does $cos(3theta)$ = $cos^3theta - 3costheta sin^2theta$.$int_-pi^pisin^2xcos^2x dx$ with complex integral theoremsCoding the complex exp, sin and cos functionImplementing a visualization for complex valued functionsProblem with complex equation $sin z=cos z$Prove that $sin(-x)=-sin(x)$ and $cos(-x)=cos(x)$ using complex conjugation
Did arcade monitors have same pixel aspect ratio as TV sets?
Are the IPv6 address space and IPv4 address space completely disjoint?
Loading commands from file
Why can Carol Danvers change her suit colours in the first place?
Longest common substring in linear time
Can I sign legal documents with a smiley face?
Is it improper etiquette to ask your opponent what his/her rating is before the game?
If infinitesimal transformations commute why dont the generators of the Lorentz group commute?
When were female captains banned from Starfleet?
On a tidally locked planet, would time be quantized?
Does an advisor owe his/her student anything? Will an advisor keep a PhD student only out of pity?
C++ debug/print custom type with GDB : the case of nlohmann json library
How to bake one texture for one mesh with multiple textures blender 2.8
Should I outline or discovery write my stories?
The screen of my macbook suddenly broken down how can I do to recover
How do I color the graph in datavisualization?
Not using 's' for he/she/it
lightning-datatable row number error
Is there a name for this algorithm to calculate the concentration of a mixture of two solutions containing the same solute?
What prevents the use of a multi-segment ILS for non-straight approaches?
Why Shazam when there is already Superman?
A social experiment. What is the worst that can happen?
What should you do if you miss a job interview (deliberately)?
Why electric field inside a cavity of a non-conducting sphere not zero?
Are $ cos z$ and $ sin z$ bounded functions with $z$ a complex number?
Complex functions and modulusProve that $sin(z_1+z_2)=sin z_1 cos z_2 + cos z_1 sin z_2$$f, g$ entire functions with $f^2 + g^2 equiv 1 implies exists h $ entire with $f(z) = cos(h(z))$ and $g(z) = sin(h(z))$Is there a proof show that : $cos(z)$ and $sin(z)$ are images of unbounded functions?Complex Analysis: why does $cos(3theta)$ = $cos^3theta - 3costheta sin^2theta$.$int_-pi^pisin^2xcos^2x dx$ with complex integral theoremsCoding the complex exp, sin and cos functionImplementing a visualization for complex valued functionsProblem with complex equation $sin z=cos z$Prove that $sin(-x)=-sin(x)$ and $cos(-x)=cos(x)$ using complex conjugation
$begingroup$
Really I guess since , $cos ^2 z+sin^2 z=1$ for every complex number $z$ then they behave like that in $mathbbR$ , Right ?
real-analysis complex-analysis
$endgroup$
add a comment |
$begingroup$
Really I guess since , $cos ^2 z+sin^2 z=1$ for every complex number $z$ then they behave like that in $mathbbR$ , Right ?
real-analysis complex-analysis
$endgroup$
1
$begingroup$
$cos^2z+sin^2z=1$ doesn't mean they're bounded when complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:47
$begingroup$
in My guess sin z and cos z should lie in (-1,1)
$endgroup$
– zeraoulia rafik
Mar 15 at 16:47
$begingroup$
not necessarily the case if $z$ is complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:49
add a comment |
$begingroup$
Really I guess since , $cos ^2 z+sin^2 z=1$ for every complex number $z$ then they behave like that in $mathbbR$ , Right ?
real-analysis complex-analysis
$endgroup$
Really I guess since , $cos ^2 z+sin^2 z=1$ for every complex number $z$ then they behave like that in $mathbbR$ , Right ?
real-analysis complex-analysis
real-analysis complex-analysis
asked Mar 15 at 16:43
zeraoulia rafikzeraoulia rafik
2,44211032
2,44211032
1
$begingroup$
$cos^2z+sin^2z=1$ doesn't mean they're bounded when complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:47
$begingroup$
in My guess sin z and cos z should lie in (-1,1)
$endgroup$
– zeraoulia rafik
Mar 15 at 16:47
$begingroup$
not necessarily the case if $z$ is complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:49
add a comment |
1
$begingroup$
$cos^2z+sin^2z=1$ doesn't mean they're bounded when complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:47
$begingroup$
in My guess sin z and cos z should lie in (-1,1)
$endgroup$
– zeraoulia rafik
Mar 15 at 16:47
$begingroup$
not necessarily the case if $z$ is complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:49
1
1
$begingroup$
$cos^2z+sin^2z=1$ doesn't mean they're bounded when complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:47
$begingroup$
$cos^2z+sin^2z=1$ doesn't mean they're bounded when complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:47
$begingroup$
in My guess sin z and cos z should lie in (-1,1)
$endgroup$
– zeraoulia rafik
Mar 15 at 16:47
$begingroup$
in My guess sin z and cos z should lie in (-1,1)
$endgroup$
– zeraoulia rafik
Mar 15 at 16:47
$begingroup$
not necessarily the case if $z$ is complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:49
$begingroup$
not necessarily the case if $z$ is complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:49
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
The formulas for the complex cosine and sine can be derived from Euler's formula
$$e^iz = cos(z) + i sin(z)
$$
By substituting $-z$, and using that $cos$ is even and $sin$ is odd, one obtains
$$e^-iz = cos(z) - i sin(z)
$$
Thinking of this as a system of two equations in two unknowns, solving gives
$$cos(z) = frac12 (e^iz + e^-iz)
$$
and
$$sin(z) = frac12i (e^iz - e^-iz)
$$
From this you can see that $cos(z)$ is unbounded along the imaginary axis, because
$$cos(iy) = frac12 (e^-y + e^y)
$$
and similarly for the $sin$ function.
$endgroup$
add a comment |
$begingroup$
Another way to look at this is from the perspective of Liouville's theorem: If $f(z)$ is a holomorphic function, defined on all of $Bbb C$, and $|f(z)|$ is bounded, then $f(z)$ is constant.
Since $cos z$ and $sin z$ are nonconstant, holomorphic, and defined for every $zin Bbb C$ (the series defining them converge absolutely and uniformly on arbitrarily large compact subsets of $Bbb C$), they are unbounded by Liouville's theorem.
$endgroup$
add a comment |
$begingroup$
Using Picard’s little theorem and the knowledge that $sin z$ and $cos z$ are entire (i.e. holomorphic for all $zinmathbbC$, we can also conclude that $sin z$ and $cos z$ are unbounded. Picard’s little theorem states that an entire function $f:mathbb Ctomathbb C$ takes on every value in $mathbb C$ with at most one exception.
$endgroup$
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',
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%2f3149521%2fare-cos-z-and-sin-z-bounded-functions-with-z-a-complex-number%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The formulas for the complex cosine and sine can be derived from Euler's formula
$$e^iz = cos(z) + i sin(z)
$$
By substituting $-z$, and using that $cos$ is even and $sin$ is odd, one obtains
$$e^-iz = cos(z) - i sin(z)
$$
Thinking of this as a system of two equations in two unknowns, solving gives
$$cos(z) = frac12 (e^iz + e^-iz)
$$
and
$$sin(z) = frac12i (e^iz - e^-iz)
$$
From this you can see that $cos(z)$ is unbounded along the imaginary axis, because
$$cos(iy) = frac12 (e^-y + e^y)
$$
and similarly for the $sin$ function.
$endgroup$
add a comment |
$begingroup$
The formulas for the complex cosine and sine can be derived from Euler's formula
$$e^iz = cos(z) + i sin(z)
$$
By substituting $-z$, and using that $cos$ is even and $sin$ is odd, one obtains
$$e^-iz = cos(z) - i sin(z)
$$
Thinking of this as a system of two equations in two unknowns, solving gives
$$cos(z) = frac12 (e^iz + e^-iz)
$$
and
$$sin(z) = frac12i (e^iz - e^-iz)
$$
From this you can see that $cos(z)$ is unbounded along the imaginary axis, because
$$cos(iy) = frac12 (e^-y + e^y)
$$
and similarly for the $sin$ function.
$endgroup$
add a comment |
$begingroup$
The formulas for the complex cosine and sine can be derived from Euler's formula
$$e^iz = cos(z) + i sin(z)
$$
By substituting $-z$, and using that $cos$ is even and $sin$ is odd, one obtains
$$e^-iz = cos(z) - i sin(z)
$$
Thinking of this as a system of two equations in two unknowns, solving gives
$$cos(z) = frac12 (e^iz + e^-iz)
$$
and
$$sin(z) = frac12i (e^iz - e^-iz)
$$
From this you can see that $cos(z)$ is unbounded along the imaginary axis, because
$$cos(iy) = frac12 (e^-y + e^y)
$$
and similarly for the $sin$ function.
$endgroup$
The formulas for the complex cosine and sine can be derived from Euler's formula
$$e^iz = cos(z) + i sin(z)
$$
By substituting $-z$, and using that $cos$ is even and $sin$ is odd, one obtains
$$e^-iz = cos(z) - i sin(z)
$$
Thinking of this as a system of two equations in two unknowns, solving gives
$$cos(z) = frac12 (e^iz + e^-iz)
$$
and
$$sin(z) = frac12i (e^iz - e^-iz)
$$
From this you can see that $cos(z)$ is unbounded along the imaginary axis, because
$$cos(iy) = frac12 (e^-y + e^y)
$$
and similarly for the $sin$ function.
answered Mar 15 at 16:54
Lee MosherLee Mosher
51.1k33889
51.1k33889
add a comment |
add a comment |
$begingroup$
Another way to look at this is from the perspective of Liouville's theorem: If $f(z)$ is a holomorphic function, defined on all of $Bbb C$, and $|f(z)|$ is bounded, then $f(z)$ is constant.
Since $cos z$ and $sin z$ are nonconstant, holomorphic, and defined for every $zin Bbb C$ (the series defining them converge absolutely and uniformly on arbitrarily large compact subsets of $Bbb C$), they are unbounded by Liouville's theorem.
$endgroup$
add a comment |
$begingroup$
Another way to look at this is from the perspective of Liouville's theorem: If $f(z)$ is a holomorphic function, defined on all of $Bbb C$, and $|f(z)|$ is bounded, then $f(z)$ is constant.
Since $cos z$ and $sin z$ are nonconstant, holomorphic, and defined for every $zin Bbb C$ (the series defining them converge absolutely and uniformly on arbitrarily large compact subsets of $Bbb C$), they are unbounded by Liouville's theorem.
$endgroup$
add a comment |
$begingroup$
Another way to look at this is from the perspective of Liouville's theorem: If $f(z)$ is a holomorphic function, defined on all of $Bbb C$, and $|f(z)|$ is bounded, then $f(z)$ is constant.
Since $cos z$ and $sin z$ are nonconstant, holomorphic, and defined for every $zin Bbb C$ (the series defining them converge absolutely and uniformly on arbitrarily large compact subsets of $Bbb C$), they are unbounded by Liouville's theorem.
$endgroup$
Another way to look at this is from the perspective of Liouville's theorem: If $f(z)$ is a holomorphic function, defined on all of $Bbb C$, and $|f(z)|$ is bounded, then $f(z)$ is constant.
Since $cos z$ and $sin z$ are nonconstant, holomorphic, and defined for every $zin Bbb C$ (the series defining them converge absolutely and uniformly on arbitrarily large compact subsets of $Bbb C$), they are unbounded by Liouville's theorem.
edited Mar 15 at 19:11
answered Mar 15 at 17:04
Alex OrtizAlex Ortiz
11k21441
11k21441
add a comment |
add a comment |
$begingroup$
Using Picard’s little theorem and the knowledge that $sin z$ and $cos z$ are entire (i.e. holomorphic for all $zinmathbbC$, we can also conclude that $sin z$ and $cos z$ are unbounded. Picard’s little theorem states that an entire function $f:mathbb Ctomathbb C$ takes on every value in $mathbb C$ with at most one exception.
$endgroup$
add a comment |
$begingroup$
Using Picard’s little theorem and the knowledge that $sin z$ and $cos z$ are entire (i.e. holomorphic for all $zinmathbbC$, we can also conclude that $sin z$ and $cos z$ are unbounded. Picard’s little theorem states that an entire function $f:mathbb Ctomathbb C$ takes on every value in $mathbb C$ with at most one exception.
$endgroup$
add a comment |
$begingroup$
Using Picard’s little theorem and the knowledge that $sin z$ and $cos z$ are entire (i.e. holomorphic for all $zinmathbbC$, we can also conclude that $sin z$ and $cos z$ are unbounded. Picard’s little theorem states that an entire function $f:mathbb Ctomathbb C$ takes on every value in $mathbb C$ with at most one exception.
$endgroup$
Using Picard’s little theorem and the knowledge that $sin z$ and $cos z$ are entire (i.e. holomorphic for all $zinmathbbC$, we can also conclude that $sin z$ and $cos z$ are unbounded. Picard’s little theorem states that an entire function $f:mathbb Ctomathbb C$ takes on every value in $mathbb C$ with at most one exception.
answered Mar 15 at 17:02
csch2csch2
6031314
6031314
add a comment |
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.
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%2f3149521%2fare-cos-z-and-sin-z-bounded-functions-with-z-a-complex-number%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
1
$begingroup$
$cos^2z+sin^2z=1$ doesn't mean they're bounded when complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:47
$begingroup$
in My guess sin z and cos z should lie in (-1,1)
$endgroup$
– zeraoulia rafik
Mar 15 at 16:47
$begingroup$
not necessarily the case if $z$ is complex
$endgroup$
– J. W. Tanner
Mar 15 at 16:49