How to calculate this simple integral?
$begingroup$
How to calculate this elementary complex integral? This is what we would encounter if we are studying the Green's function for Schroedinger's equation.
$$int_{-infty}^infty e^{-ix^2}d x=?$$
However, I think there should be someone that posted similar question on Math SE, though I don't know how to search by equation.
Thank you very much if you can help me out! And I would be grateful if you can give more than one approach
P.S.: The equation $int _{-infty}^{infty}e^{-kt^2}d sqrt{k}t=sqrt{pi}$ surely comes to my mind, but I don't know why it holds for $kinmathbb{C}$, because for me, the above integral is over real line, however, the question here is like integral on $y=e^{i pi/4}x$ ( So I think it's the problem with my complex integral knowledge.)
I tried to rotate this integral path by $pi/4$, but the two arcs at $Rrightarrow infty$ seem not easy to handle either.
integration quantum-mechanics greens-function
$endgroup$
add a comment |
$begingroup$
How to calculate this elementary complex integral? This is what we would encounter if we are studying the Green's function for Schroedinger's equation.
$$int_{-infty}^infty e^{-ix^2}d x=?$$
However, I think there should be someone that posted similar question on Math SE, though I don't know how to search by equation.
Thank you very much if you can help me out! And I would be grateful if you can give more than one approach
P.S.: The equation $int _{-infty}^{infty}e^{-kt^2}d sqrt{k}t=sqrt{pi}$ surely comes to my mind, but I don't know why it holds for $kinmathbb{C}$, because for me, the above integral is over real line, however, the question here is like integral on $y=e^{i pi/4}x$ ( So I think it's the problem with my complex integral knowledge.)
I tried to rotate this integral path by $pi/4$, but the two arcs at $Rrightarrow infty$ seem not easy to handle either.
integration quantum-mechanics greens-function
$endgroup$
$begingroup$
Hi Collin - Welcome to MSE - in order for the community to be able to assist you, you need to provide all working you have done so far. If you are looking for a starting point, please ask - but this site is not a 'homework for free' site.
$endgroup$
– DavidG
2 hours ago
1
$begingroup$
Hint: This is all you need to solve: $$ int_{-infty}^infty e^{-x^2}:dx = sqrt{pi}$$
$endgroup$
– DavidG
2 hours ago
$begingroup$
Assuming the jump into the complex domain is valid. I always do.
$endgroup$
– marty cohen
46 mins ago
add a comment |
$begingroup$
How to calculate this elementary complex integral? This is what we would encounter if we are studying the Green's function for Schroedinger's equation.
$$int_{-infty}^infty e^{-ix^2}d x=?$$
However, I think there should be someone that posted similar question on Math SE, though I don't know how to search by equation.
Thank you very much if you can help me out! And I would be grateful if you can give more than one approach
P.S.: The equation $int _{-infty}^{infty}e^{-kt^2}d sqrt{k}t=sqrt{pi}$ surely comes to my mind, but I don't know why it holds for $kinmathbb{C}$, because for me, the above integral is over real line, however, the question here is like integral on $y=e^{i pi/4}x$ ( So I think it's the problem with my complex integral knowledge.)
I tried to rotate this integral path by $pi/4$, but the two arcs at $Rrightarrow infty$ seem not easy to handle either.
integration quantum-mechanics greens-function
$endgroup$
How to calculate this elementary complex integral? This is what we would encounter if we are studying the Green's function for Schroedinger's equation.
$$int_{-infty}^infty e^{-ix^2}d x=?$$
However, I think there should be someone that posted similar question on Math SE, though I don't know how to search by equation.
Thank you very much if you can help me out! And I would be grateful if you can give more than one approach
P.S.: The equation $int _{-infty}^{infty}e^{-kt^2}d sqrt{k}t=sqrt{pi}$ surely comes to my mind, but I don't know why it holds for $kinmathbb{C}$, because for me, the above integral is over real line, however, the question here is like integral on $y=e^{i pi/4}x$ ( So I think it's the problem with my complex integral knowledge.)
I tried to rotate this integral path by $pi/4$, but the two arcs at $Rrightarrow infty$ seem not easy to handle either.
integration quantum-mechanics greens-function
integration quantum-mechanics greens-function
edited 10 mins ago
Collin
asked 2 hours ago
CollinCollin
1377
1377
$begingroup$
Hi Collin - Welcome to MSE - in order for the community to be able to assist you, you need to provide all working you have done so far. If you are looking for a starting point, please ask - but this site is not a 'homework for free' site.
$endgroup$
– DavidG
2 hours ago
1
$begingroup$
Hint: This is all you need to solve: $$ int_{-infty}^infty e^{-x^2}:dx = sqrt{pi}$$
$endgroup$
– DavidG
2 hours ago
$begingroup$
Assuming the jump into the complex domain is valid. I always do.
$endgroup$
– marty cohen
46 mins ago
add a comment |
$begingroup$
Hi Collin - Welcome to MSE - in order for the community to be able to assist you, you need to provide all working you have done so far. If you are looking for a starting point, please ask - but this site is not a 'homework for free' site.
$endgroup$
– DavidG
2 hours ago
1
$begingroup$
Hint: This is all you need to solve: $$ int_{-infty}^infty e^{-x^2}:dx = sqrt{pi}$$
$endgroup$
– DavidG
2 hours ago
$begingroup$
Assuming the jump into the complex domain is valid. I always do.
$endgroup$
– marty cohen
46 mins ago
$begingroup$
Hi Collin - Welcome to MSE - in order for the community to be able to assist you, you need to provide all working you have done so far. If you are looking for a starting point, please ask - but this site is not a 'homework for free' site.
$endgroup$
– DavidG
2 hours ago
$begingroup$
Hi Collin - Welcome to MSE - in order for the community to be able to assist you, you need to provide all working you have done so far. If you are looking for a starting point, please ask - but this site is not a 'homework for free' site.
$endgroup$
– DavidG
2 hours ago
1
1
$begingroup$
Hint: This is all you need to solve: $$ int_{-infty}^infty e^{-x^2}:dx = sqrt{pi}$$
$endgroup$
– DavidG
2 hours ago
$begingroup$
Hint: This is all you need to solve: $$ int_{-infty}^infty e^{-x^2}:dx = sqrt{pi}$$
$endgroup$
– DavidG
2 hours ago
$begingroup$
Assuming the jump into the complex domain is valid. I always do.
$endgroup$
– marty cohen
46 mins ago
$begingroup$
Assuming the jump into the complex domain is valid. I always do.
$endgroup$
– marty cohen
46 mins ago
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Hint
$$int e^{-k x^2},dx=frac{sqrt{pi } }{2 sqrt{k}},text{erf}left(sqrt{k} xright)$$
$$f(k)=int_{-infty}^infty e^{-k x^2},dx=frac{sqrt{pi }}{sqrt{k}}$$
$$f(i)=frac{sqrt{pi }}{sqrt{i}}=(1-i) sqrt{frac{pi }{2}}$$
$endgroup$
$begingroup$
Hi! I think it's because I'm not familiar with complex integral; so how can you guys play so freely on the $mathbb{C}$ plane, without worrying much? The very reason I ask this is because I don't know why your second equation holds for k being a complex number. I tried to rotate this integral path by $pi/4$ on the complex plane, but the two arcs at $|x|rightarrow infty$ seem not trying to vanish.
$endgroup$
– Collin
24 mins ago
$begingroup$
@Collin, The reasoning behind this 'extrapolation' is that $f$ defines a holomorphic function on the right half-plane $H={k:operatorname{Re}(k) > 0}$ and a continuous function on $overline{H}setminus{0} = {k : operatorname{Re}(k) geq 0, k neq 0 }$. Then, in view of identity theorem, if you can identify another holomorphic function $g$ on $H$ such that $f = g$ on $(0,infty)$, then $f = g$ on all of $H$ as well.
$endgroup$
– Sangchul Lee
1 min ago
add a comment |
$begingroup$
Trying to avoid complex funniness.
$begin{array}\
int_{-infty}^infty e^{-ix^2}dx
&=int_{-infty}^infty (cos(x^2)-isin(x^2))dx\
&=2int_{0}^infty (cos(x^2)-isin(x^2))dx\
&=2int_{0}^infty cos(x^2)dx-2iint_{0}^inftysin(x^2))dx\
end{array}
$
and these are the
Fresnel integrals
$C(x)$ and $S(x)$
both of which approach
$dfrac{sqrt{pi}}{8}
$
as $x to infty$.
Therefore the result is
$(1-i)sqrt{frac{pi}{2}}
$
as Claude Leibovici
got.
$endgroup$
add a comment |
$begingroup$
Hint:$$int_{-infty}^infty e^{-kx^2}dx=int_{-infty}^infty e^{-left(xsqrt kright)^2}dx$$
Use the $u$-substution $u=xsqrt k$ and this transforms the integral into the form given in DavidG's suggestion. Can you take it from here?
$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%2f3125571%2fhow-to-calculate-this-simple-integral%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$
Hint
$$int e^{-k x^2},dx=frac{sqrt{pi } }{2 sqrt{k}},text{erf}left(sqrt{k} xright)$$
$$f(k)=int_{-infty}^infty e^{-k x^2},dx=frac{sqrt{pi }}{sqrt{k}}$$
$$f(i)=frac{sqrt{pi }}{sqrt{i}}=(1-i) sqrt{frac{pi }{2}}$$
$endgroup$
$begingroup$
Hi! I think it's because I'm not familiar with complex integral; so how can you guys play so freely on the $mathbb{C}$ plane, without worrying much? The very reason I ask this is because I don't know why your second equation holds for k being a complex number. I tried to rotate this integral path by $pi/4$ on the complex plane, but the two arcs at $|x|rightarrow infty$ seem not trying to vanish.
$endgroup$
– Collin
24 mins ago
$begingroup$
@Collin, The reasoning behind this 'extrapolation' is that $f$ defines a holomorphic function on the right half-plane $H={k:operatorname{Re}(k) > 0}$ and a continuous function on $overline{H}setminus{0} = {k : operatorname{Re}(k) geq 0, k neq 0 }$. Then, in view of identity theorem, if you can identify another holomorphic function $g$ on $H$ such that $f = g$ on $(0,infty)$, then $f = g$ on all of $H$ as well.
$endgroup$
– Sangchul Lee
1 min ago
add a comment |
$begingroup$
Hint
$$int e^{-k x^2},dx=frac{sqrt{pi } }{2 sqrt{k}},text{erf}left(sqrt{k} xright)$$
$$f(k)=int_{-infty}^infty e^{-k x^2},dx=frac{sqrt{pi }}{sqrt{k}}$$
$$f(i)=frac{sqrt{pi }}{sqrt{i}}=(1-i) sqrt{frac{pi }{2}}$$
$endgroup$
$begingroup$
Hi! I think it's because I'm not familiar with complex integral; so how can you guys play so freely on the $mathbb{C}$ plane, without worrying much? The very reason I ask this is because I don't know why your second equation holds for k being a complex number. I tried to rotate this integral path by $pi/4$ on the complex plane, but the two arcs at $|x|rightarrow infty$ seem not trying to vanish.
$endgroup$
– Collin
24 mins ago
$begingroup$
@Collin, The reasoning behind this 'extrapolation' is that $f$ defines a holomorphic function on the right half-plane $H={k:operatorname{Re}(k) > 0}$ and a continuous function on $overline{H}setminus{0} = {k : operatorname{Re}(k) geq 0, k neq 0 }$. Then, in view of identity theorem, if you can identify another holomorphic function $g$ on $H$ such that $f = g$ on $(0,infty)$, then $f = g$ on all of $H$ as well.
$endgroup$
– Sangchul Lee
1 min ago
add a comment |
$begingroup$
Hint
$$int e^{-k x^2},dx=frac{sqrt{pi } }{2 sqrt{k}},text{erf}left(sqrt{k} xright)$$
$$f(k)=int_{-infty}^infty e^{-k x^2},dx=frac{sqrt{pi }}{sqrt{k}}$$
$$f(i)=frac{sqrt{pi }}{sqrt{i}}=(1-i) sqrt{frac{pi }{2}}$$
$endgroup$
Hint
$$int e^{-k x^2},dx=frac{sqrt{pi } }{2 sqrt{k}},text{erf}left(sqrt{k} xright)$$
$$f(k)=int_{-infty}^infty e^{-k x^2},dx=frac{sqrt{pi }}{sqrt{k}}$$
$$f(i)=frac{sqrt{pi }}{sqrt{i}}=(1-i) sqrt{frac{pi }{2}}$$
answered 1 hour ago
Claude LeiboviciClaude Leibovici
122k1157134
122k1157134
$begingroup$
Hi! I think it's because I'm not familiar with complex integral; so how can you guys play so freely on the $mathbb{C}$ plane, without worrying much? The very reason I ask this is because I don't know why your second equation holds for k being a complex number. I tried to rotate this integral path by $pi/4$ on the complex plane, but the two arcs at $|x|rightarrow infty$ seem not trying to vanish.
$endgroup$
– Collin
24 mins ago
$begingroup$
@Collin, The reasoning behind this 'extrapolation' is that $f$ defines a holomorphic function on the right half-plane $H={k:operatorname{Re}(k) > 0}$ and a continuous function on $overline{H}setminus{0} = {k : operatorname{Re}(k) geq 0, k neq 0 }$. Then, in view of identity theorem, if you can identify another holomorphic function $g$ on $H$ such that $f = g$ on $(0,infty)$, then $f = g$ on all of $H$ as well.
$endgroup$
– Sangchul Lee
1 min ago
add a comment |
$begingroup$
Hi! I think it's because I'm not familiar with complex integral; so how can you guys play so freely on the $mathbb{C}$ plane, without worrying much? The very reason I ask this is because I don't know why your second equation holds for k being a complex number. I tried to rotate this integral path by $pi/4$ on the complex plane, but the two arcs at $|x|rightarrow infty$ seem not trying to vanish.
$endgroup$
– Collin
24 mins ago
$begingroup$
@Collin, The reasoning behind this 'extrapolation' is that $f$ defines a holomorphic function on the right half-plane $H={k:operatorname{Re}(k) > 0}$ and a continuous function on $overline{H}setminus{0} = {k : operatorname{Re}(k) geq 0, k neq 0 }$. Then, in view of identity theorem, if you can identify another holomorphic function $g$ on $H$ such that $f = g$ on $(0,infty)$, then $f = g$ on all of $H$ as well.
$endgroup$
– Sangchul Lee
1 min ago
$begingroup$
Hi! I think it's because I'm not familiar with complex integral; so how can you guys play so freely on the $mathbb{C}$ plane, without worrying much? The very reason I ask this is because I don't know why your second equation holds for k being a complex number. I tried to rotate this integral path by $pi/4$ on the complex plane, but the two arcs at $|x|rightarrow infty$ seem not trying to vanish.
$endgroup$
– Collin
24 mins ago
$begingroup$
Hi! I think it's because I'm not familiar with complex integral; so how can you guys play so freely on the $mathbb{C}$ plane, without worrying much? The very reason I ask this is because I don't know why your second equation holds for k being a complex number. I tried to rotate this integral path by $pi/4$ on the complex plane, but the two arcs at $|x|rightarrow infty$ seem not trying to vanish.
$endgroup$
– Collin
24 mins ago
$begingroup$
@Collin, The reasoning behind this 'extrapolation' is that $f$ defines a holomorphic function on the right half-plane $H={k:operatorname{Re}(k) > 0}$ and a continuous function on $overline{H}setminus{0} = {k : operatorname{Re}(k) geq 0, k neq 0 }$. Then, in view of identity theorem, if you can identify another holomorphic function $g$ on $H$ such that $f = g$ on $(0,infty)$, then $f = g$ on all of $H$ as well.
$endgroup$
– Sangchul Lee
1 min ago
$begingroup$
@Collin, The reasoning behind this 'extrapolation' is that $f$ defines a holomorphic function on the right half-plane $H={k:operatorname{Re}(k) > 0}$ and a continuous function on $overline{H}setminus{0} = {k : operatorname{Re}(k) geq 0, k neq 0 }$. Then, in view of identity theorem, if you can identify another holomorphic function $g$ on $H$ such that $f = g$ on $(0,infty)$, then $f = g$ on all of $H$ as well.
$endgroup$
– Sangchul Lee
1 min ago
add a comment |
$begingroup$
Trying to avoid complex funniness.
$begin{array}\
int_{-infty}^infty e^{-ix^2}dx
&=int_{-infty}^infty (cos(x^2)-isin(x^2))dx\
&=2int_{0}^infty (cos(x^2)-isin(x^2))dx\
&=2int_{0}^infty cos(x^2)dx-2iint_{0}^inftysin(x^2))dx\
end{array}
$
and these are the
Fresnel integrals
$C(x)$ and $S(x)$
both of which approach
$dfrac{sqrt{pi}}{8}
$
as $x to infty$.
Therefore the result is
$(1-i)sqrt{frac{pi}{2}}
$
as Claude Leibovici
got.
$endgroup$
add a comment |
$begingroup$
Trying to avoid complex funniness.
$begin{array}\
int_{-infty}^infty e^{-ix^2}dx
&=int_{-infty}^infty (cos(x^2)-isin(x^2))dx\
&=2int_{0}^infty (cos(x^2)-isin(x^2))dx\
&=2int_{0}^infty cos(x^2)dx-2iint_{0}^inftysin(x^2))dx\
end{array}
$
and these are the
Fresnel integrals
$C(x)$ and $S(x)$
both of which approach
$dfrac{sqrt{pi}}{8}
$
as $x to infty$.
Therefore the result is
$(1-i)sqrt{frac{pi}{2}}
$
as Claude Leibovici
got.
$endgroup$
add a comment |
$begingroup$
Trying to avoid complex funniness.
$begin{array}\
int_{-infty}^infty e^{-ix^2}dx
&=int_{-infty}^infty (cos(x^2)-isin(x^2))dx\
&=2int_{0}^infty (cos(x^2)-isin(x^2))dx\
&=2int_{0}^infty cos(x^2)dx-2iint_{0}^inftysin(x^2))dx\
end{array}
$
and these are the
Fresnel integrals
$C(x)$ and $S(x)$
both of which approach
$dfrac{sqrt{pi}}{8}
$
as $x to infty$.
Therefore the result is
$(1-i)sqrt{frac{pi}{2}}
$
as Claude Leibovici
got.
$endgroup$
Trying to avoid complex funniness.
$begin{array}\
int_{-infty}^infty e^{-ix^2}dx
&=int_{-infty}^infty (cos(x^2)-isin(x^2))dx\
&=2int_{0}^infty (cos(x^2)-isin(x^2))dx\
&=2int_{0}^infty cos(x^2)dx-2iint_{0}^inftysin(x^2))dx\
end{array}
$
and these are the
Fresnel integrals
$C(x)$ and $S(x)$
both of which approach
$dfrac{sqrt{pi}}{8}
$
as $x to infty$.
Therefore the result is
$(1-i)sqrt{frac{pi}{2}}
$
as Claude Leibovici
got.
answered 47 mins ago
marty cohenmarty cohen
73.9k549128
73.9k549128
add a comment |
add a comment |
$begingroup$
Hint:$$int_{-infty}^infty e^{-kx^2}dx=int_{-infty}^infty e^{-left(xsqrt kright)^2}dx$$
Use the $u$-substution $u=xsqrt k$ and this transforms the integral into the form given in DavidG's suggestion. Can you take it from here?
$endgroup$
add a comment |
$begingroup$
Hint:$$int_{-infty}^infty e^{-kx^2}dx=int_{-infty}^infty e^{-left(xsqrt kright)^2}dx$$
Use the $u$-substution $u=xsqrt k$ and this transforms the integral into the form given in DavidG's suggestion. Can you take it from here?
$endgroup$
add a comment |
$begingroup$
Hint:$$int_{-infty}^infty e^{-kx^2}dx=int_{-infty}^infty e^{-left(xsqrt kright)^2}dx$$
Use the $u$-substution $u=xsqrt k$ and this transforms the integral into the form given in DavidG's suggestion. Can you take it from here?
$endgroup$
Hint:$$int_{-infty}^infty e^{-kx^2}dx=int_{-infty}^infty e^{-left(xsqrt kright)^2}dx$$
Use the $u$-substution $u=xsqrt k$ and this transforms the integral into the form given in DavidG's suggestion. Can you take it from here?
answered 50 mins ago
csch2csch2
2571311
2571311
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%2f3125571%2fhow-to-calculate-this-simple-integral%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$
Hi Collin - Welcome to MSE - in order for the community to be able to assist you, you need to provide all working you have done so far. If you are looking for a starting point, please ask - but this site is not a 'homework for free' site.
$endgroup$
– DavidG
2 hours ago
1
$begingroup$
Hint: This is all you need to solve: $$ int_{-infty}^infty e^{-x^2}:dx = sqrt{pi}$$
$endgroup$
– DavidG
2 hours ago
$begingroup$
Assuming the jump into the complex domain is valid. I always do.
$endgroup$
– marty cohen
46 mins ago