Properties of complex exponentials.Extrapolating properties of rational numbers to irrational/transcendental numbersUncountable sets of transcendental numbersSwapping the digits of an algebraic number (e.g. $sqrt 2$)Does successive application of $sin$ function on some nonzero algebraic number ever yields a sequence of transcendental numbers?Is my proof that $log_23$ is transcendental correct?Product of TranscendentalsAre the real and imaginary parts of the complex number $(-1/2)^(-1/2)^(-1/2)$ irrational? Transcendental?The nature of the number $a$ where $log_p(q)=a$How to construct a transcendental numberIs there any “supertranscendental” number that doesn't satisfy a “polynomial” equation with algebraic coefficients and exponents?
Proof of Lemma: Every integer can be written as a product of primes
What is the opposite of 'gravitas'?
How to deal with or prevent idle in the test team?
Can I use my Chinese passport to enter China after I acquired another citizenship?
Perfect riffle shuffles
A known event to a history junkie
Simple image editor tool to draw a simple box/rectangle in an existing image
Can I Retrieve Email Addresses from BCC?
Why is delta-v is the most useful quantity for planning space travel?
Simulating a probability of 1 of 2^N with less than N random bits
What to do when my ideas aren't chosen, when I strongly disagree with the chosen solution?
Female=gender counterpart?
Is it okay / does it make sense for another player to join a running game of Munchkin?
Word describing multiple paths to the same abstract outcome
Partial sums of primes
Can the harmonic series explain the origin of the major scale?
What do you call the infoboxes with text and sometimes images on the side of a page we find in textbooks?
Can I create an upright 7-foot × 5-foot wall with the Minor Illusion spell?
What does the "3am" section means in manpages?
Bob has never been a M before
Why are all the doors on Ferenginar (the Ferengi home world) far shorter than the average Ferengi?
How to prevent YouTube from showing already watched videos?
How to color a zone in Tikz
Stereotypical names
Properties of complex exponentials.
Extrapolating properties of rational numbers to irrational/transcendental numbersUncountable sets of transcendental numbersSwapping the digits of an algebraic number (e.g. $sqrt 2$)Does successive application of $sin$ function on some nonzero algebraic number ever yields a sequence of transcendental numbers?Is my proof that $log_23$ is transcendental correct?Product of TranscendentalsAre the real and imaginary parts of the complex number $(-1/2)^(-1/2)^(-1/2)$ irrational? Transcendental?The nature of the number $a$ where $log_p(q)=a$How to construct a transcendental numberIs there any “supertranscendental” number that doesn't satisfy a “polynomial” equation with algebraic coefficients and exponents?
$begingroup$
I saw the following property in wikipedia
beginalign
(e^z)^n=e^zn tag1
endalign
where $z in mathbbC$ and $n in mathbbZ$. It's possible to change the $e$ in $(1)$ to some other number ? For example:
beginalign
(a^z)^n=a^zn
endalign
where $z in mathbbC$, $n in mathbbZ$ and $a$ is maybe a real number or even complex? Or even change the conditions on $z$ and $n$.
Another thing related to $(1)$. Gelfond's theorem says that $a^b$ is transcendental if $a$ is algebraic and $a neq 1$, $a neq 0$ and $b$ is irrational. For example $2^sqrt 2$ is transcendental. One result from this theorem is that $e^pi$ (Gelfond constant) is transcendental. Noting that:
beginalign
& e^ipi = -1 \
& (e^ipi)^-i = (-1)^-i\
& e^pi = (-1)^-i
endalign
since $(-1)$ is algebraic and $-i$ is irrational the theorem applies. But in the second line above didn't we just violate the property $(1)$ because $-i$ in not an integer?
complex-analysis number-theory transcendental-numbers
edited Mar 16 at 22:28
Bernard
123k741117
asked Mar 16 at 22:12
PintecoPinteco
798313
$endgroup$
add a comment |
$begingroup$
I saw the following property in wikipedia
beginalign
(e^z)^n=e^zn tag1
endalign
where $z in mathbbC$ and $n in mathbbZ$. It's possible to change the $e$ in $(1)$ to some other number ? For example:
beginalign
(a^z)^n=a^zn
endalign
where $z in mathbbC$, $n in mathbbZ$ and $a$ is maybe a real number or even complex? Or even change the conditions on $z$ and $n$.
Another thing related to $(1)$. Gelfond's theorem says that $a^b$ is transcendental if $a$ is algebraic and $a neq 1$, $a neq 0$ and $b$ is irrational. For example $2^sqrt 2$ is transcendental. One result from this theorem is that $e^pi$ (Gelfond constant) is transcendental. Noting that:
beginalign
& e^ipi = -1 \
& (e^ipi)^-i = (-1)^-i\
& e^pi = (-1)^-i
endalign
since $(-1)$ is algebraic and $-i$ is irrational the theorem applies. But in the second line above didn't we just violate the property $(1)$ because $-i$ in not an integer?
complex-analysis number-theory transcendental-numbers
edited Mar 16 at 22:28
Bernard
123k741117
asked Mar 16 at 22:12
PintecoPinteco
798313
$endgroup$
2
$begingroup$
Given two complex numbers $a,zinmathbbZ$, $a^z$ is given by $a^z=e^zlog a$, where $log$ is the multivalued complex logarithm $log a=lnleft|aright|+iarg a$. Sometimes the principal version is used with $operatornameLoga=lnleft|aright|+ioperatornameArg a$ instead. So, you are correct that $e$ can be replaced with $a$.
$endgroup$
– Jake
Mar 16 at 22:18
$begingroup$
That should say $a,zinmathbbC$. I am typing up an answer now to clarify.
$endgroup$
– Jake
Mar 16 at 22:30
add a comment |
$begingroup$
I saw the following property in wikipedia
beginalign
(e^z)^n=e^zn tag1
endalign
where $z in mathbbC$ and $n in mathbbZ$. It's possible to change the $e$ in $(1)$ to some other number ? For example:
beginalign
(a^z)^n=a^zn
endalign
where $z in mathbbC$, $n in mathbbZ$ and $a$ is maybe a real number or even complex? Or even change the conditions on $z$ and $n$.
Another thing related to $(1)$. Gelfond's theorem says that $a^b$ is transcendental if $a$ is algebraic and $a neq 1$, $a neq 0$ and $b$ is irrational. For example $2^sqrt 2$ is transcendental. One result from this theorem is that $e^pi$ (Gelfond constant) is transcendental. Noting that:
beginalign
& e^ipi = -1 \
& (e^ipi)^-i = (-1)^-i\
& e^pi = (-1)^-i
endalign
since $(-1)$ is algebraic and $-i$ is irrational the theorem applies. But in the second line above didn't we just violate the property $(1)$ because $-i$ in not an integer?
complex-analysis number-theory transcendental-numbers
edited Mar 16 at 22:28
Bernard
123k741117
asked Mar 16 at 22:12
PintecoPinteco
798313
$endgroup$
I saw the following property in wikipedia
beginalign
(e^z)^n=e^zn tag1
endalign
where $z in mathbbC$ and $n in mathbbZ$. It's possible to change the $e$ in $(1)$ to some other number ? For example:
beginalign
(a^z)^n=a^zn
endalign
where $z in mathbbC$, $n in mathbbZ$ and $a$ is maybe a real number or even complex? Or even change the conditions on $z$ and $n$.
Another thing related to $(1)$. Gelfond's theorem says that $a^b$ is transcendental if $a$ is algebraic and $a neq 1$, $a neq 0$ and $b$ is irrational. For example $2^sqrt 2$ is transcendental. One result from this theorem is that $e^pi$ (Gelfond constant) is transcendental. Noting that:
beginalign
& e^ipi = -1 \
& (e^ipi)^-i = (-1)^-i\
& e^pi = (-1)^-i
endalign
since $(-1)$ is algebraic and $-i$ is irrational the theorem applies. But in the second line above didn't we just violate the property $(1)$ because $-i$ in not an integer?
complex-analysis number-theory transcendental-numbers
complex-analysis number-theory transcendental-numbers
edited Mar 16 at 22:28
Bernard
123k741117
asked Mar 16 at 22:12
PintecoPinteco
798313
edited Mar 16 at 22:28
Bernard
123k741117
asked Mar 16 at 22:12
PintecoPinteco
798313
edited Mar 16 at 22:28
Bernard
123k741117
edited Mar 16 at 22:28
Bernard
123k741117
edited Mar 16 at 22:28
Bernard
123k741117
123k741117
asked Mar 16 at 22:12
PintecoPinteco
798313
asked Mar 16 at 22:12
PintecoPinteco
798313
asked Mar 16 at 22:12
PintecoPinteco
798313
798313
2
$begingroup$
Given two complex numbers $a,zinmathbbZ$, $a^z$ is given by $a^z=e^zlog a$, where $log$ is the multivalued complex logarithm $log a=lnleft|aright|+iarg a$. Sometimes the principal version is used with $operatornameLoga=lnleft|aright|+ioperatornameArg a$ instead. So, you are correct that $e$ can be replaced with $a$.
$endgroup$
– Jake
Mar 16 at 22:18
$begingroup$
That should say $a,zinmathbbC$. I am typing up an answer now to clarify.
$endgroup$
– Jake
Mar 16 at 22:30
add a comment |
2
$begingroup$
Given two complex numbers $a,zinmathbbZ$, $a^z$ is given by $a^z=e^zlog a$, where $log$ is the multivalued complex logarithm $log a=lnleft|aright|+iarg a$. Sometimes the principal version is used with $operatornameLoga=lnleft|aright|+ioperatornameArg a$ instead. So, you are correct that $e$ can be replaced with $a$.
$endgroup$
– Jake
Mar 16 at 22:18
$begingroup$
That should say $a,zinmathbbC$. I am typing up an answer now to clarify.
$endgroup$
– Jake
Mar 16 at 22:30
2
2
$begingroup$
Given two complex numbers $a,zinmathbbZ$, $a^z$ is given by $a^z=e^zlog a$, where $log$ is the multivalued complex logarithm $log a=lnleft|aright|+iarg a$. Sometimes the principal version is used with $operatornameLoga=lnleft|aright|+ioperatornameArg a$ instead. So, you are correct that $e$ can be replaced with $a$.
$endgroup$
– Jake
Mar 16 at 22:18
$begingroup$
Given two complex numbers $a,zinmathbbZ$, $a^z$ is given by $a^z=e^zlog a$, where $log$ is the multivalued complex logarithm $log a=lnleft|aright|+iarg a$. Sometimes the principal version is used with $operatornameLoga=lnleft|aright|+ioperatornameArg a$ instead. So, you are correct that $e$ can be replaced with $a$.
$endgroup$
– Jake
Mar 16 at 22:18
$begingroup$
That should say $a,zinmathbbC$. I am typing up an answer now to clarify.
$endgroup$
– Jake
Mar 16 at 22:30
$begingroup$
That should say $a,zinmathbbC$. I am typing up an answer now to clarify.
$endgroup$
– Jake
Mar 16 at 22:30
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Given two complex numbers $a,zinmathbbC$, we have $a^z=e^zlog a$. You are correct that for any $a,zinmathbbC$ and $ninmathbbZ$, $left(a^zright)^n=a^zn$, which can be verified by substituting $e^zlog a$. If $n$ is no longer an integer, then it is no longer true because it becomes multivalued.
Using your example, we have
beginalign*
left(-1right)^-i=e^-ilogleft(-1right)=e^-1right=e^-ileft(0+iargleft(-1right)right)=e^-i^2left(pi+2pi kright)=e^pi+2pi k,,kinmathbbZ.
endalign*
answered Mar 16 at 22:35
JakeJake
540314
$endgroup$
$begingroup$
I'd add a comment that we are taking the branch of logarithm for which $log(-1) = pi+2pi k$, otherwise it doesn't make much sense since it should be a set then.
$endgroup$
– Jakobian
Mar 16 at 23:16
$begingroup$
Sorry if this a dumb question but... is true that $(a^n)^z=a^zn$ where $n$ is integer and $z$ is complex? I did the following $a^n=e^nln a implies (a^n)^z = e^nzln a = a^nz$. And $arg(z) = -iln(z/|z|)$ is true? This complex part with the arguments, principal branches, multivalues, properties of logarithms/expoents don't apply anymore etc. it's all new and confusing to me, especially because I just read stuff online, I don't have a classes involving this topic.
$endgroup$
– Pinteco
Mar 16 at 23:33
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%2f3150917%2fproperties-of-complex-exponentials%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$
Given two complex numbers $a,zinmathbbC$, we have $a^z=e^zlog a$. You are correct that for any $a,zinmathbbC$ and $ninmathbbZ$, $left(a^zright)^n=a^zn$, which can be verified by substituting $e^zlog a$. If $n$ is no longer an integer, then it is no longer true because it becomes multivalued.
Using your example, we have
beginalign*
left(-1right)^-i=e^-ilogleft(-1right)=e^-1right=e^-ileft(0+iargleft(-1right)right)=e^-i^2left(pi+2pi kright)=e^pi+2pi k,,kinmathbbZ.
endalign*
answered Mar 16 at 22:35
JakeJake
540314
$endgroup$
$begingroup$
I'd add a comment that we are taking the branch of logarithm for which $log(-1) = pi+2pi k$, otherwise it doesn't make much sense since it should be a set then.
$endgroup$
– Jakobian
Mar 16 at 23:16
$begingroup$
Sorry if this a dumb question but... is true that $(a^n)^z=a^zn$ where $n$ is integer and $z$ is complex? I did the following $a^n=e^nln a implies (a^n)^z = e^nzln a = a^nz$. And $arg(z) = -iln(z/|z|)$ is true? This complex part with the arguments, principal branches, multivalues, properties of logarithms/expoents don't apply anymore etc. it's all new and confusing to me, especially because I just read stuff online, I don't have a classes involving this topic.
$endgroup$
– Pinteco
Mar 16 at 23:33
add a comment |
$begingroup$
Given two complex numbers $a,zinmathbbC$, we have $a^z=e^zlog a$. You are correct that for any $a,zinmathbbC$ and $ninmathbbZ$, $left(a^zright)^n=a^zn$, which can be verified by substituting $e^zlog a$. If $n$ is no longer an integer, then it is no longer true because it becomes multivalued.
Using your example, we have
beginalign*
left(-1right)^-i=e^-ilogleft(-1right)=e^-1right=e^-ileft(0+iargleft(-1right)right)=e^-i^2left(pi+2pi kright)=e^pi+2pi k,,kinmathbbZ.
endalign*
answered Mar 16 at 22:35
JakeJake
540314
$endgroup$
$begingroup$
I'd add a comment that we are taking the branch of logarithm for which $log(-1) = pi+2pi k$, otherwise it doesn't make much sense since it should be a set then.
$endgroup$
– Jakobian
Mar 16 at 23:16
$begingroup$
Sorry if this a dumb question but... is true that $(a^n)^z=a^zn$ where $n$ is integer and $z$ is complex? I did the following $a^n=e^nln a implies (a^n)^z = e^nzln a = a^nz$. And $arg(z) = -iln(z/|z|)$ is true? This complex part with the arguments, principal branches, multivalues, properties of logarithms/expoents don't apply anymore etc. it's all new and confusing to me, especially because I just read stuff online, I don't have a classes involving this topic.
$endgroup$
– Pinteco
Mar 16 at 23:33
add a comment |
$begingroup$
Given two complex numbers $a,zinmathbbC$, we have $a^z=e^zlog a$. You are correct that for any $a,zinmathbbC$ and $ninmathbbZ$, $left(a^zright)^n=a^zn$, which can be verified by substituting $e^zlog a$. If $n$ is no longer an integer, then it is no longer true because it becomes multivalued.
Using your example, we have
beginalign*
left(-1right)^-i=e^-ilogleft(-1right)=e^-1right=e^-ileft(0+iargleft(-1right)right)=e^-i^2left(pi+2pi kright)=e^pi+2pi k,,kinmathbbZ.
endalign*
answered Mar 16 at 22:35
JakeJake
540314
$endgroup$
Given two complex numbers $a,zinmathbbC$, we have $a^z=e^zlog a$. You are correct that for any $a,zinmathbbC$ and $ninmathbbZ$, $left(a^zright)^n=a^zn$, which can be verified by substituting $e^zlog a$. If $n$ is no longer an integer, then it is no longer true because it becomes multivalued.
Using your example, we have
beginalign*
left(-1right)^-i=e^-ilogleft(-1right)=e^-1right=e^-ileft(0+iargleft(-1right)right)=e^-i^2left(pi+2pi kright)=e^pi+2pi k,,kinmathbbZ.
endalign*
answered Mar 16 at 22:35
JakeJake
540314
answered Mar 16 at 22:35
JakeJake
540314
answered Mar 16 at 22:35
JakeJake
540314
answered Mar 16 at 22:35
JakeJake
540314
540314
$begingroup$
I'd add a comment that we are taking the branch of logarithm for which $log(-1) = pi+2pi k$, otherwise it doesn't make much sense since it should be a set then.
$endgroup$
– Jakobian
Mar 16 at 23:16
$begingroup$
Sorry if this a dumb question but... is true that $(a^n)^z=a^zn$ where $n$ is integer and $z$ is complex? I did the following $a^n=e^nln a implies (a^n)^z = e^nzln a = a^nz$. And $arg(z) = -iln(z/|z|)$ is true? This complex part with the arguments, principal branches, multivalues, properties of logarithms/expoents don't apply anymore etc. it's all new and confusing to me, especially because I just read stuff online, I don't have a classes involving this topic.
$endgroup$
– Pinteco
Mar 16 at 23:33
add a comment |
$begingroup$
I'd add a comment that we are taking the branch of logarithm for which $log(-1) = pi+2pi k$, otherwise it doesn't make much sense since it should be a set then.
$endgroup$
– Jakobian
Mar 16 at 23:16
$begingroup$
Sorry if this a dumb question but... is true that $(a^n)^z=a^zn$ where $n$ is integer and $z$ is complex? I did the following $a^n=e^nln a implies (a^n)^z = e^nzln a = a^nz$. And $arg(z) = -iln(z/|z|)$ is true? This complex part with the arguments, principal branches, multivalues, properties of logarithms/expoents don't apply anymore etc. it's all new and confusing to me, especially because I just read stuff online, I don't have a classes involving this topic.
$endgroup$
– Pinteco
Mar 16 at 23:33
$begingroup$
I'd add a comment that we are taking the branch of logarithm for which $log(-1) = pi+2pi k$, otherwise it doesn't make much sense since it should be a set then.
$endgroup$
– Jakobian
Mar 16 at 23:16
$begingroup$
I'd add a comment that we are taking the branch of logarithm for which $log(-1) = pi+2pi k$, otherwise it doesn't make much sense since it should be a set then.
$endgroup$
– Jakobian
Mar 16 at 23:16
$begingroup$
Sorry if this a dumb question but... is true that $(a^n)^z=a^zn$ where $n$ is integer and $z$ is complex? I did the following $a^n=e^nln a implies (a^n)^z = e^nzln a = a^nz$. And $arg(z) = -iln(z/|z|)$ is true? This complex part with the arguments, principal branches, multivalues, properties of logarithms/expoents don't apply anymore etc. it's all new and confusing to me, especially because I just read stuff online, I don't have a classes involving this topic.
$endgroup$
– Pinteco
Mar 16 at 23:33
$begingroup$
Sorry if this a dumb question but... is true that $(a^n)^z=a^zn$ where $n$ is integer and $z$ is complex? I did the following $a^n=e^nln a implies (a^n)^z = e^nzln a = a^nz$. And $arg(z) = -iln(z/|z|)$ is true? This complex part with the arguments, principal branches, multivalues, properties of logarithms/expoents don't apply anymore etc. it's all new and confusing to me, especially because I just read stuff online, I don't have a classes involving this topic.
$endgroup$
– Pinteco
Mar 16 at 23:33
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%2f3150917%2fproperties-of-complex-exponentials%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
$begingroup$
Given two complex numbers $a,zinmathbbZ$, $a^z$ is given by $a^z=e^zlog a$, where $log$ is the multivalued complex logarithm $log a=lnleft|aright|+iarg a$. Sometimes the principal version is used with $operatornameLoga=lnleft|aright|+ioperatornameArg a$ instead. So, you are correct that $e$ can be replaced with $a$.
$endgroup$
– Jake
Mar 16 at 22:18
$begingroup$
That should say $a,zinmathbbC$. I am typing up an answer now to clarify.
$endgroup$
– Jake
Mar 16 at 22:30