Recover complex function from the real part











up vote
0
down vote

favorite












I have $Re f(z) = e^x(xcosy -ysiny) = e^xcosy -e^xysiny$. Therefore,
$$v_x= e^xxcosy+e^xcosy-e^xysiny = e^x(xcosy+cosy-ysiny)$$
$$v_y= -e^xxsiny-e^x(siny-ycosy) = e^x(-xsiny-siny+ycosy)$$



$u_x = v_y = e^x(-xsiny-siny+ycosy)$



$u_y = -v_x = -e^x(xcosy+cosy-ysiny)$



$$u = int u_xdx = -int e^x(xsiny+siny-ycosy)dx = ... = -e^x(xsiny-ycosy)$$
To find $u_y$, I do:



$$u_y = -e^x(xcosy+cosy-ysiny) = -e^x(xsiny-ycosy)$$
What do I do from here?










share|cite|improve this question
























  • Integrate what? Which side?
    – user3132457
    Nov 22 at 18:18










  • I hadn't well seen : you have found an expression for $u$ that deserves to have a "$+k_1(y)$" (an integration constant that is a function of the other variable). Here is the problem... Now if you do the same thing for the integration of $u_y$, you will have a constant $+k_2(x)$. And now you have to match the two expressions in order to get a single result...
    – Jean Marie
    Nov 22 at 18:27

















up vote
0
down vote

favorite












I have $Re f(z) = e^x(xcosy -ysiny) = e^xcosy -e^xysiny$. Therefore,
$$v_x= e^xxcosy+e^xcosy-e^xysiny = e^x(xcosy+cosy-ysiny)$$
$$v_y= -e^xxsiny-e^x(siny-ycosy) = e^x(-xsiny-siny+ycosy)$$



$u_x = v_y = e^x(-xsiny-siny+ycosy)$



$u_y = -v_x = -e^x(xcosy+cosy-ysiny)$



$$u = int u_xdx = -int e^x(xsiny+siny-ycosy)dx = ... = -e^x(xsiny-ycosy)$$
To find $u_y$, I do:



$$u_y = -e^x(xcosy+cosy-ysiny) = -e^x(xsiny-ycosy)$$
What do I do from here?










share|cite|improve this question
























  • Integrate what? Which side?
    – user3132457
    Nov 22 at 18:18










  • I hadn't well seen : you have found an expression for $u$ that deserves to have a "$+k_1(y)$" (an integration constant that is a function of the other variable). Here is the problem... Now if you do the same thing for the integration of $u_y$, you will have a constant $+k_2(x)$. And now you have to match the two expressions in order to get a single result...
    – Jean Marie
    Nov 22 at 18:27















up vote
0
down vote

favorite









up vote
0
down vote

favorite











I have $Re f(z) = e^x(xcosy -ysiny) = e^xcosy -e^xysiny$. Therefore,
$$v_x= e^xxcosy+e^xcosy-e^xysiny = e^x(xcosy+cosy-ysiny)$$
$$v_y= -e^xxsiny-e^x(siny-ycosy) = e^x(-xsiny-siny+ycosy)$$



$u_x = v_y = e^x(-xsiny-siny+ycosy)$



$u_y = -v_x = -e^x(xcosy+cosy-ysiny)$



$$u = int u_xdx = -int e^x(xsiny+siny-ycosy)dx = ... = -e^x(xsiny-ycosy)$$
To find $u_y$, I do:



$$u_y = -e^x(xcosy+cosy-ysiny) = -e^x(xsiny-ycosy)$$
What do I do from here?










share|cite|improve this question















I have $Re f(z) = e^x(xcosy -ysiny) = e^xcosy -e^xysiny$. Therefore,
$$v_x= e^xxcosy+e^xcosy-e^xysiny = e^x(xcosy+cosy-ysiny)$$
$$v_y= -e^xxsiny-e^x(siny-ycosy) = e^x(-xsiny-siny+ycosy)$$



$u_x = v_y = e^x(-xsiny-siny+ycosy)$



$u_y = -v_x = -e^x(xcosy+cosy-ysiny)$



$$u = int u_xdx = -int e^x(xsiny+siny-ycosy)dx = ... = -e^x(xsiny-ycosy)$$
To find $u_y$, I do:



$$u_y = -e^x(xcosy+cosy-ysiny) = -e^x(xsiny-ycosy)$$
What do I do from here?







complex-analysis complex-numbers






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 22 at 18:36

























asked Nov 22 at 17:53









user3132457

926




926












  • Integrate what? Which side?
    – user3132457
    Nov 22 at 18:18










  • I hadn't well seen : you have found an expression for $u$ that deserves to have a "$+k_1(y)$" (an integration constant that is a function of the other variable). Here is the problem... Now if you do the same thing for the integration of $u_y$, you will have a constant $+k_2(x)$. And now you have to match the two expressions in order to get a single result...
    – Jean Marie
    Nov 22 at 18:27




















  • Integrate what? Which side?
    – user3132457
    Nov 22 at 18:18










  • I hadn't well seen : you have found an expression for $u$ that deserves to have a "$+k_1(y)$" (an integration constant that is a function of the other variable). Here is the problem... Now if you do the same thing for the integration of $u_y$, you will have a constant $+k_2(x)$. And now you have to match the two expressions in order to get a single result...
    – Jean Marie
    Nov 22 at 18:27


















Integrate what? Which side?
– user3132457
Nov 22 at 18:18




Integrate what? Which side?
– user3132457
Nov 22 at 18:18












I hadn't well seen : you have found an expression for $u$ that deserves to have a "$+k_1(y)$" (an integration constant that is a function of the other variable). Here is the problem... Now if you do the same thing for the integration of $u_y$, you will have a constant $+k_2(x)$. And now you have to match the two expressions in order to get a single result...
– Jean Marie
Nov 22 at 18:27






I hadn't well seen : you have found an expression for $u$ that deserves to have a "$+k_1(y)$" (an integration constant that is a function of the other variable). Here is the problem... Now if you do the same thing for the integration of $u_y$, you will have a constant $+k_2(x)$. And now you have to match the two expressions in order to get a single result...
– Jean Marie
Nov 22 at 18:27












2 Answers
2






active

oldest

votes

















up vote
3
down vote



accepted










First of all, we observe that
$$
mathrm{e}^x(xcos y-ysin y)=mathrm{Re},big(mathrm{e}^x(cos y+isin y)cdot (x+iy)big)=mathrm{Re},(mathrm{e}^zz).
$$

Next, use the fact that, if $g$ is analytic in some region and $,mathrm{Re}(g)=0$, then $gequiv ic$, where $c$ real constant.



Hence the function you are looking for is $mathrm{e}^zz+ic$.






share|cite|improve this answer





















  • I don't get why $Re(g)=0$.
    – user3132457
    Nov 25 at 18:39


















up vote
1
down vote













You know that$$v_x=-u_y=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$$and$$v_y=u_x=e^xbigl(cos(y)+xcos(y)-ysin(y)bigr).$$Integrating, you get that$$v(x,y)=e^xbigl(ycos(y)+xsin(y)bigr)+k$$Thereforebegin{align}f(x+yi)&=u(x,y)+v(x,y)i\&=e^xbigl(xcos(y)-ysin(y)bigr)+e^xbigl(ycos(y)+xsin(y)bigr)i+ki\&=e^xbigl((cos(y)+sin(y)ibigr)(x+yi)+ki\&=e^{x+yi}(x+yi)+kiend{align}and so $f(z)=ze^z+ki$.






share|cite|improve this answer























  • sorry, the title is wrong, should be real part
    – user3132457
    Nov 22 at 18:37










  • I've edited my answer.
    – José Carlos Santos
    Nov 22 at 18:51










  • How do you integrate in step 3? I get $$v(x,y)=-e^xbigl(ycos(y)+xsin(y)bigr)+k$$
    – user3132457
    Nov 25 at 18:37












  • @user3132457 That function is such that $v_x=-e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$. But what you should be aiming at is $v_x=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$.
    – José Carlos Santos
    Nov 25 at 18:46












  • Hmm, I'm confused. In my original post, $v_x$ isn't negative but in your calculations it is.
    – user3132457
    Nov 25 at 18:51











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%2f3009417%2frecover-complex-function-from-the-real-part%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
3
down vote



accepted










First of all, we observe that
$$
mathrm{e}^x(xcos y-ysin y)=mathrm{Re},big(mathrm{e}^x(cos y+isin y)cdot (x+iy)big)=mathrm{Re},(mathrm{e}^zz).
$$

Next, use the fact that, if $g$ is analytic in some region and $,mathrm{Re}(g)=0$, then $gequiv ic$, where $c$ real constant.



Hence the function you are looking for is $mathrm{e}^zz+ic$.






share|cite|improve this answer





















  • I don't get why $Re(g)=0$.
    – user3132457
    Nov 25 at 18:39















up vote
3
down vote



accepted










First of all, we observe that
$$
mathrm{e}^x(xcos y-ysin y)=mathrm{Re},big(mathrm{e}^x(cos y+isin y)cdot (x+iy)big)=mathrm{Re},(mathrm{e}^zz).
$$

Next, use the fact that, if $g$ is analytic in some region and $,mathrm{Re}(g)=0$, then $gequiv ic$, where $c$ real constant.



Hence the function you are looking for is $mathrm{e}^zz+ic$.






share|cite|improve this answer





















  • I don't get why $Re(g)=0$.
    – user3132457
    Nov 25 at 18:39













up vote
3
down vote



accepted







up vote
3
down vote



accepted






First of all, we observe that
$$
mathrm{e}^x(xcos y-ysin y)=mathrm{Re},big(mathrm{e}^x(cos y+isin y)cdot (x+iy)big)=mathrm{Re},(mathrm{e}^zz).
$$

Next, use the fact that, if $g$ is analytic in some region and $,mathrm{Re}(g)=0$, then $gequiv ic$, where $c$ real constant.



Hence the function you are looking for is $mathrm{e}^zz+ic$.






share|cite|improve this answer












First of all, we observe that
$$
mathrm{e}^x(xcos y-ysin y)=mathrm{Re},big(mathrm{e}^x(cos y+isin y)cdot (x+iy)big)=mathrm{Re},(mathrm{e}^zz).
$$

Next, use the fact that, if $g$ is analytic in some region and $,mathrm{Re}(g)=0$, then $gequiv ic$, where $c$ real constant.



Hence the function you are looking for is $mathrm{e}^zz+ic$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Nov 22 at 18:48









Yiorgos S. Smyrlis

62.3k1383162




62.3k1383162












  • I don't get why $Re(g)=0$.
    – user3132457
    Nov 25 at 18:39


















  • I don't get why $Re(g)=0$.
    – user3132457
    Nov 25 at 18:39
















I don't get why $Re(g)=0$.
– user3132457
Nov 25 at 18:39




I don't get why $Re(g)=0$.
– user3132457
Nov 25 at 18:39










up vote
1
down vote













You know that$$v_x=-u_y=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$$and$$v_y=u_x=e^xbigl(cos(y)+xcos(y)-ysin(y)bigr).$$Integrating, you get that$$v(x,y)=e^xbigl(ycos(y)+xsin(y)bigr)+k$$Thereforebegin{align}f(x+yi)&=u(x,y)+v(x,y)i\&=e^xbigl(xcos(y)-ysin(y)bigr)+e^xbigl(ycos(y)+xsin(y)bigr)i+ki\&=e^xbigl((cos(y)+sin(y)ibigr)(x+yi)+ki\&=e^{x+yi}(x+yi)+kiend{align}and so $f(z)=ze^z+ki$.






share|cite|improve this answer























  • sorry, the title is wrong, should be real part
    – user3132457
    Nov 22 at 18:37










  • I've edited my answer.
    – José Carlos Santos
    Nov 22 at 18:51










  • How do you integrate in step 3? I get $$v(x,y)=-e^xbigl(ycos(y)+xsin(y)bigr)+k$$
    – user3132457
    Nov 25 at 18:37












  • @user3132457 That function is such that $v_x=-e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$. But what you should be aiming at is $v_x=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$.
    – José Carlos Santos
    Nov 25 at 18:46












  • Hmm, I'm confused. In my original post, $v_x$ isn't negative but in your calculations it is.
    – user3132457
    Nov 25 at 18:51















up vote
1
down vote













You know that$$v_x=-u_y=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$$and$$v_y=u_x=e^xbigl(cos(y)+xcos(y)-ysin(y)bigr).$$Integrating, you get that$$v(x,y)=e^xbigl(ycos(y)+xsin(y)bigr)+k$$Thereforebegin{align}f(x+yi)&=u(x,y)+v(x,y)i\&=e^xbigl(xcos(y)-ysin(y)bigr)+e^xbigl(ycos(y)+xsin(y)bigr)i+ki\&=e^xbigl((cos(y)+sin(y)ibigr)(x+yi)+ki\&=e^{x+yi}(x+yi)+kiend{align}and so $f(z)=ze^z+ki$.






share|cite|improve this answer























  • sorry, the title is wrong, should be real part
    – user3132457
    Nov 22 at 18:37










  • I've edited my answer.
    – José Carlos Santos
    Nov 22 at 18:51










  • How do you integrate in step 3? I get $$v(x,y)=-e^xbigl(ycos(y)+xsin(y)bigr)+k$$
    – user3132457
    Nov 25 at 18:37












  • @user3132457 That function is such that $v_x=-e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$. But what you should be aiming at is $v_x=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$.
    – José Carlos Santos
    Nov 25 at 18:46












  • Hmm, I'm confused. In my original post, $v_x$ isn't negative but in your calculations it is.
    – user3132457
    Nov 25 at 18:51













up vote
1
down vote










up vote
1
down vote









You know that$$v_x=-u_y=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$$and$$v_y=u_x=e^xbigl(cos(y)+xcos(y)-ysin(y)bigr).$$Integrating, you get that$$v(x,y)=e^xbigl(ycos(y)+xsin(y)bigr)+k$$Thereforebegin{align}f(x+yi)&=u(x,y)+v(x,y)i\&=e^xbigl(xcos(y)-ysin(y)bigr)+e^xbigl(ycos(y)+xsin(y)bigr)i+ki\&=e^xbigl((cos(y)+sin(y)ibigr)(x+yi)+ki\&=e^{x+yi}(x+yi)+kiend{align}and so $f(z)=ze^z+ki$.






share|cite|improve this answer














You know that$$v_x=-u_y=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$$and$$v_y=u_x=e^xbigl(cos(y)+xcos(y)-ysin(y)bigr).$$Integrating, you get that$$v(x,y)=e^xbigl(ycos(y)+xsin(y)bigr)+k$$Thereforebegin{align}f(x+yi)&=u(x,y)+v(x,y)i\&=e^xbigl(xcos(y)-ysin(y)bigr)+e^xbigl(ycos(y)+xsin(y)bigr)i+ki\&=e^xbigl((cos(y)+sin(y)ibigr)(x+yi)+ki\&=e^{x+yi}(x+yi)+kiend{align}and so $f(z)=ze^z+ki$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Nov 22 at 18:51

























answered Nov 22 at 18:29









José Carlos Santos

147k22117217




147k22117217












  • sorry, the title is wrong, should be real part
    – user3132457
    Nov 22 at 18:37










  • I've edited my answer.
    – José Carlos Santos
    Nov 22 at 18:51










  • How do you integrate in step 3? I get $$v(x,y)=-e^xbigl(ycos(y)+xsin(y)bigr)+k$$
    – user3132457
    Nov 25 at 18:37












  • @user3132457 That function is such that $v_x=-e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$. But what you should be aiming at is $v_x=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$.
    – José Carlos Santos
    Nov 25 at 18:46












  • Hmm, I'm confused. In my original post, $v_x$ isn't negative but in your calculations it is.
    – user3132457
    Nov 25 at 18:51


















  • sorry, the title is wrong, should be real part
    – user3132457
    Nov 22 at 18:37










  • I've edited my answer.
    – José Carlos Santos
    Nov 22 at 18:51










  • How do you integrate in step 3? I get $$v(x,y)=-e^xbigl(ycos(y)+xsin(y)bigr)+k$$
    – user3132457
    Nov 25 at 18:37












  • @user3132457 That function is such that $v_x=-e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$. But what you should be aiming at is $v_x=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$.
    – José Carlos Santos
    Nov 25 at 18:46












  • Hmm, I'm confused. In my original post, $v_x$ isn't negative but in your calculations it is.
    – user3132457
    Nov 25 at 18:51
















sorry, the title is wrong, should be real part
– user3132457
Nov 22 at 18:37




sorry, the title is wrong, should be real part
– user3132457
Nov 22 at 18:37












I've edited my answer.
– José Carlos Santos
Nov 22 at 18:51




I've edited my answer.
– José Carlos Santos
Nov 22 at 18:51












How do you integrate in step 3? I get $$v(x,y)=-e^xbigl(ycos(y)+xsin(y)bigr)+k$$
– user3132457
Nov 25 at 18:37






How do you integrate in step 3? I get $$v(x,y)=-e^xbigl(ycos(y)+xsin(y)bigr)+k$$
– user3132457
Nov 25 at 18:37














@user3132457 That function is such that $v_x=-e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$. But what you should be aiming at is $v_x=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$.
– José Carlos Santos
Nov 25 at 18:46






@user3132457 That function is such that $v_x=-e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$. But what you should be aiming at is $v_x=e^xbigl(ycos(y)+sin(y)+xsin(y)bigr)$.
– José Carlos Santos
Nov 25 at 18:46














Hmm, I'm confused. In my original post, $v_x$ isn't negative but in your calculations it is.
– user3132457
Nov 25 at 18:51




Hmm, I'm confused. In my original post, $v_x$ isn't negative but in your calculations it is.
– user3132457
Nov 25 at 18:51


















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%2f3009417%2frecover-complex-function-from-the-real-part%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

Quarter-circle Tiles

build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

Mont Emei