$lambda-z-e^{-z}=0$ has one solution in the right half plane












15












$begingroup$


Let $lambda > 1$ , want to show that the equation $$lambda-z-e^{-z}=0$$ has exactly one solution in the right half plane ${z:Re(z)>0}$. Moreover, the solution must be real.

I tried to use Rouche's theorem on $g(z)=lambda - z$ and $f(z)=e^{-z}$ to get that the number of zeros of $f+g$ and the number of zeros of $g(z)$ is the same, and since $g(z)$ has only one solution then the equation about must also have one solution the problem is I don't know how to choose the correct curve $gamma$ such that this will work.

for the second part I used the IVT to show that $lambda -x-e^{-x}$ has a zero in $(0,lambda)$ to conclude that the solution is real. is this acceptable? Thank you for your help.










share|cite|improve this question











$endgroup$












  • $begingroup$
    How did you use Roche's theorem? Don't you need $|f(z)| < |g(z)|$ for say $z = lambda$.
    $endgroup$
    – muzzlator
    Mar 4 '13 at 2:15










  • $begingroup$
    @muzzlator I took a small circle with center $lambda$ and the inequality you wrote should be true for all values on (not in) this circle, and this is that case.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 2:19










  • $begingroup$
    Ah, I see. Yeah that looks like it works
    $endgroup$
    – muzzlator
    Mar 4 '13 at 2:23










  • $begingroup$
    Rouche is a good idea. But if you apply it to a small circle, how does this apply to the whole half-plane?
    $endgroup$
    – Julien
    Mar 4 '13 at 2:56










  • $begingroup$
    @julien I was thinking using part two i.e the real case we established that the equation has a zero in the right half plane, now lets assume we have another zero in the right half plane and take a circle containing both zeros to get a contradictoin, and conclude that there is exactly one solution. the problem I'm facing now is that I can't get the inequality of Rouche's theorem.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 3:02
















15












$begingroup$


Let $lambda > 1$ , want to show that the equation $$lambda-z-e^{-z}=0$$ has exactly one solution in the right half plane ${z:Re(z)>0}$. Moreover, the solution must be real.

I tried to use Rouche's theorem on $g(z)=lambda - z$ and $f(z)=e^{-z}$ to get that the number of zeros of $f+g$ and the number of zeros of $g(z)$ is the same, and since $g(z)$ has only one solution then the equation about must also have one solution the problem is I don't know how to choose the correct curve $gamma$ such that this will work.

for the second part I used the IVT to show that $lambda -x-e^{-x}$ has a zero in $(0,lambda)$ to conclude that the solution is real. is this acceptable? Thank you for your help.










share|cite|improve this question











$endgroup$












  • $begingroup$
    How did you use Roche's theorem? Don't you need $|f(z)| < |g(z)|$ for say $z = lambda$.
    $endgroup$
    – muzzlator
    Mar 4 '13 at 2:15










  • $begingroup$
    @muzzlator I took a small circle with center $lambda$ and the inequality you wrote should be true for all values on (not in) this circle, and this is that case.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 2:19










  • $begingroup$
    Ah, I see. Yeah that looks like it works
    $endgroup$
    – muzzlator
    Mar 4 '13 at 2:23










  • $begingroup$
    Rouche is a good idea. But if you apply it to a small circle, how does this apply to the whole half-plane?
    $endgroup$
    – Julien
    Mar 4 '13 at 2:56










  • $begingroup$
    @julien I was thinking using part two i.e the real case we established that the equation has a zero in the right half plane, now lets assume we have another zero in the right half plane and take a circle containing both zeros to get a contradictoin, and conclude that there is exactly one solution. the problem I'm facing now is that I can't get the inequality of Rouche's theorem.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 3:02














15












15








15


6



$begingroup$


Let $lambda > 1$ , want to show that the equation $$lambda-z-e^{-z}=0$$ has exactly one solution in the right half plane ${z:Re(z)>0}$. Moreover, the solution must be real.

I tried to use Rouche's theorem on $g(z)=lambda - z$ and $f(z)=e^{-z}$ to get that the number of zeros of $f+g$ and the number of zeros of $g(z)$ is the same, and since $g(z)$ has only one solution then the equation about must also have one solution the problem is I don't know how to choose the correct curve $gamma$ such that this will work.

for the second part I used the IVT to show that $lambda -x-e^{-x}$ has a zero in $(0,lambda)$ to conclude that the solution is real. is this acceptable? Thank you for your help.










share|cite|improve this question











$endgroup$




Let $lambda > 1$ , want to show that the equation $$lambda-z-e^{-z}=0$$ has exactly one solution in the right half plane ${z:Re(z)>0}$. Moreover, the solution must be real.

I tried to use Rouche's theorem on $g(z)=lambda - z$ and $f(z)=e^{-z}$ to get that the number of zeros of $f+g$ and the number of zeros of $g(z)$ is the same, and since $g(z)$ has only one solution then the equation about must also have one solution the problem is I don't know how to choose the correct curve $gamma$ such that this will work.

for the second part I used the IVT to show that $lambda -x-e^{-x}$ has a zero in $(0,lambda)$ to conclude that the solution is real. is this acceptable? Thank you for your help.







complex-analysis roots






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jul 3 '13 at 14:16









Antonio Vargas

20.7k245111




20.7k245111










asked Mar 4 '13 at 2:04









i.a.mi.a.m

1,595725




1,595725












  • $begingroup$
    How did you use Roche's theorem? Don't you need $|f(z)| < |g(z)|$ for say $z = lambda$.
    $endgroup$
    – muzzlator
    Mar 4 '13 at 2:15










  • $begingroup$
    @muzzlator I took a small circle with center $lambda$ and the inequality you wrote should be true for all values on (not in) this circle, and this is that case.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 2:19










  • $begingroup$
    Ah, I see. Yeah that looks like it works
    $endgroup$
    – muzzlator
    Mar 4 '13 at 2:23










  • $begingroup$
    Rouche is a good idea. But if you apply it to a small circle, how does this apply to the whole half-plane?
    $endgroup$
    – Julien
    Mar 4 '13 at 2:56










  • $begingroup$
    @julien I was thinking using part two i.e the real case we established that the equation has a zero in the right half plane, now lets assume we have another zero in the right half plane and take a circle containing both zeros to get a contradictoin, and conclude that there is exactly one solution. the problem I'm facing now is that I can't get the inequality of Rouche's theorem.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 3:02


















  • $begingroup$
    How did you use Roche's theorem? Don't you need $|f(z)| < |g(z)|$ for say $z = lambda$.
    $endgroup$
    – muzzlator
    Mar 4 '13 at 2:15










  • $begingroup$
    @muzzlator I took a small circle with center $lambda$ and the inequality you wrote should be true for all values on (not in) this circle, and this is that case.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 2:19










  • $begingroup$
    Ah, I see. Yeah that looks like it works
    $endgroup$
    – muzzlator
    Mar 4 '13 at 2:23










  • $begingroup$
    Rouche is a good idea. But if you apply it to a small circle, how does this apply to the whole half-plane?
    $endgroup$
    – Julien
    Mar 4 '13 at 2:56










  • $begingroup$
    @julien I was thinking using part two i.e the real case we established that the equation has a zero in the right half plane, now lets assume we have another zero in the right half plane and take a circle containing both zeros to get a contradictoin, and conclude that there is exactly one solution. the problem I'm facing now is that I can't get the inequality of Rouche's theorem.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 3:02
















$begingroup$
How did you use Roche's theorem? Don't you need $|f(z)| < |g(z)|$ for say $z = lambda$.
$endgroup$
– muzzlator
Mar 4 '13 at 2:15




$begingroup$
How did you use Roche's theorem? Don't you need $|f(z)| < |g(z)|$ for say $z = lambda$.
$endgroup$
– muzzlator
Mar 4 '13 at 2:15












$begingroup$
@muzzlator I took a small circle with center $lambda$ and the inequality you wrote should be true for all values on (not in) this circle, and this is that case.
$endgroup$
– i.a.m
Mar 4 '13 at 2:19




$begingroup$
@muzzlator I took a small circle with center $lambda$ and the inequality you wrote should be true for all values on (not in) this circle, and this is that case.
$endgroup$
– i.a.m
Mar 4 '13 at 2:19












$begingroup$
Ah, I see. Yeah that looks like it works
$endgroup$
– muzzlator
Mar 4 '13 at 2:23




$begingroup$
Ah, I see. Yeah that looks like it works
$endgroup$
– muzzlator
Mar 4 '13 at 2:23












$begingroup$
Rouche is a good idea. But if you apply it to a small circle, how does this apply to the whole half-plane?
$endgroup$
– Julien
Mar 4 '13 at 2:56




$begingroup$
Rouche is a good idea. But if you apply it to a small circle, how does this apply to the whole half-plane?
$endgroup$
– Julien
Mar 4 '13 at 2:56












$begingroup$
@julien I was thinking using part two i.e the real case we established that the equation has a zero in the right half plane, now lets assume we have another zero in the right half plane and take a circle containing both zeros to get a contradictoin, and conclude that there is exactly one solution. the problem I'm facing now is that I can't get the inequality of Rouche's theorem.
$endgroup$
– i.a.m
Mar 4 '13 at 3:02




$begingroup$
@julien I was thinking using part two i.e the real case we established that the equation has a zero in the right half plane, now lets assume we have another zero in the right half plane and take a circle containing both zeros to get a contradictoin, and conclude that there is exactly one solution. the problem I'm facing now is that I can't get the inequality of Rouche's theorem.
$endgroup$
– i.a.m
Mar 4 '13 at 3:02










1 Answer
1






active

oldest

votes


















15












$begingroup$

A hint.



If $operatorname{Re} z > 0$ and $lambda - z - e^{-z} = 0$ then



$$
|lambda - z| = e^{-operatorname{Re} z} < 1.
$$



In other words, if the equation has any solutions in the right half-plane then they lie in the open disc $|z-lambda|<1$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    so if I take $gamma$ to be the circle $|lambda-z|=1$ then we have $|f(z)|=e^{-Re(z)}<1=|lambda-z|=|g(z)|$, Thus, by Rouche's theorem $g$ and $f+g$ have the same number of zeros in this circle which is 1.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 15:07








  • 1




    $begingroup$
    @i.a.m You're welcome.
    $endgroup$
    – Antonio Vargas
    Mar 4 '13 at 15:57












  • $begingroup$
    wait, is the question asking us to prove there is only one solution which happens to be in right half plane OR that there exists only 1 solution in right half plane (and possible some solution in left half plane)?
    $endgroup$
    – Red Floyd
    Sep 9 '18 at 7:54










  • $begingroup$
    @AlphaRomeo, the equation has infinitely-many solutions, and exactly one of those is in the right half-plane.
    $endgroup$
    – Antonio Vargas
    Sep 9 '18 at 20:48










  • $begingroup$
    Can you please explain why you say infinitely-many solutions in left half plane? If z is purely real then I plotted and checked it can have only 1 solution. How to analyze when z is not purely real?
    $endgroup$
    – Red Floyd
    Sep 10 '18 at 16:02











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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f320055%2flambda-z-e-z-0-has-one-solution-in-the-right-half-plane%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









15












$begingroup$

A hint.



If $operatorname{Re} z > 0$ and $lambda - z - e^{-z} = 0$ then



$$
|lambda - z| = e^{-operatorname{Re} z} < 1.
$$



In other words, if the equation has any solutions in the right half-plane then they lie in the open disc $|z-lambda|<1$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    so if I take $gamma$ to be the circle $|lambda-z|=1$ then we have $|f(z)|=e^{-Re(z)}<1=|lambda-z|=|g(z)|$, Thus, by Rouche's theorem $g$ and $f+g$ have the same number of zeros in this circle which is 1.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 15:07








  • 1




    $begingroup$
    @i.a.m You're welcome.
    $endgroup$
    – Antonio Vargas
    Mar 4 '13 at 15:57












  • $begingroup$
    wait, is the question asking us to prove there is only one solution which happens to be in right half plane OR that there exists only 1 solution in right half plane (and possible some solution in left half plane)?
    $endgroup$
    – Red Floyd
    Sep 9 '18 at 7:54










  • $begingroup$
    @AlphaRomeo, the equation has infinitely-many solutions, and exactly one of those is in the right half-plane.
    $endgroup$
    – Antonio Vargas
    Sep 9 '18 at 20:48










  • $begingroup$
    Can you please explain why you say infinitely-many solutions in left half plane? If z is purely real then I plotted and checked it can have only 1 solution. How to analyze when z is not purely real?
    $endgroup$
    – Red Floyd
    Sep 10 '18 at 16:02
















15












$begingroup$

A hint.



If $operatorname{Re} z > 0$ and $lambda - z - e^{-z} = 0$ then



$$
|lambda - z| = e^{-operatorname{Re} z} < 1.
$$



In other words, if the equation has any solutions in the right half-plane then they lie in the open disc $|z-lambda|<1$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    so if I take $gamma$ to be the circle $|lambda-z|=1$ then we have $|f(z)|=e^{-Re(z)}<1=|lambda-z|=|g(z)|$, Thus, by Rouche's theorem $g$ and $f+g$ have the same number of zeros in this circle which is 1.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 15:07








  • 1




    $begingroup$
    @i.a.m You're welcome.
    $endgroup$
    – Antonio Vargas
    Mar 4 '13 at 15:57












  • $begingroup$
    wait, is the question asking us to prove there is only one solution which happens to be in right half plane OR that there exists only 1 solution in right half plane (and possible some solution in left half plane)?
    $endgroup$
    – Red Floyd
    Sep 9 '18 at 7:54










  • $begingroup$
    @AlphaRomeo, the equation has infinitely-many solutions, and exactly one of those is in the right half-plane.
    $endgroup$
    – Antonio Vargas
    Sep 9 '18 at 20:48










  • $begingroup$
    Can you please explain why you say infinitely-many solutions in left half plane? If z is purely real then I plotted and checked it can have only 1 solution. How to analyze when z is not purely real?
    $endgroup$
    – Red Floyd
    Sep 10 '18 at 16:02














15












15








15





$begingroup$

A hint.



If $operatorname{Re} z > 0$ and $lambda - z - e^{-z} = 0$ then



$$
|lambda - z| = e^{-operatorname{Re} z} < 1.
$$



In other words, if the equation has any solutions in the right half-plane then they lie in the open disc $|z-lambda|<1$.






share|cite|improve this answer











$endgroup$



A hint.



If $operatorname{Re} z > 0$ and $lambda - z - e^{-z} = 0$ then



$$
|lambda - z| = e^{-operatorname{Re} z} < 1.
$$



In other words, if the equation has any solutions in the right half-plane then they lie in the open disc $|z-lambda|<1$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Mar 4 '13 at 7:51

























answered Mar 4 '13 at 7:33









Antonio VargasAntonio Vargas

20.7k245111




20.7k245111












  • $begingroup$
    so if I take $gamma$ to be the circle $|lambda-z|=1$ then we have $|f(z)|=e^{-Re(z)}<1=|lambda-z|=|g(z)|$, Thus, by Rouche's theorem $g$ and $f+g$ have the same number of zeros in this circle which is 1.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 15:07








  • 1




    $begingroup$
    @i.a.m You're welcome.
    $endgroup$
    – Antonio Vargas
    Mar 4 '13 at 15:57












  • $begingroup$
    wait, is the question asking us to prove there is only one solution which happens to be in right half plane OR that there exists only 1 solution in right half plane (and possible some solution in left half plane)?
    $endgroup$
    – Red Floyd
    Sep 9 '18 at 7:54










  • $begingroup$
    @AlphaRomeo, the equation has infinitely-many solutions, and exactly one of those is in the right half-plane.
    $endgroup$
    – Antonio Vargas
    Sep 9 '18 at 20:48










  • $begingroup$
    Can you please explain why you say infinitely-many solutions in left half plane? If z is purely real then I plotted and checked it can have only 1 solution. How to analyze when z is not purely real?
    $endgroup$
    – Red Floyd
    Sep 10 '18 at 16:02


















  • $begingroup$
    so if I take $gamma$ to be the circle $|lambda-z|=1$ then we have $|f(z)|=e^{-Re(z)}<1=|lambda-z|=|g(z)|$, Thus, by Rouche's theorem $g$ and $f+g$ have the same number of zeros in this circle which is 1.
    $endgroup$
    – i.a.m
    Mar 4 '13 at 15:07








  • 1




    $begingroup$
    @i.a.m You're welcome.
    $endgroup$
    – Antonio Vargas
    Mar 4 '13 at 15:57












  • $begingroup$
    wait, is the question asking us to prove there is only one solution which happens to be in right half plane OR that there exists only 1 solution in right half plane (and possible some solution in left half plane)?
    $endgroup$
    – Red Floyd
    Sep 9 '18 at 7:54










  • $begingroup$
    @AlphaRomeo, the equation has infinitely-many solutions, and exactly one of those is in the right half-plane.
    $endgroup$
    – Antonio Vargas
    Sep 9 '18 at 20:48










  • $begingroup$
    Can you please explain why you say infinitely-many solutions in left half plane? If z is purely real then I plotted and checked it can have only 1 solution. How to analyze when z is not purely real?
    $endgroup$
    – Red Floyd
    Sep 10 '18 at 16:02
















$begingroup$
so if I take $gamma$ to be the circle $|lambda-z|=1$ then we have $|f(z)|=e^{-Re(z)}<1=|lambda-z|=|g(z)|$, Thus, by Rouche's theorem $g$ and $f+g$ have the same number of zeros in this circle which is 1.
$endgroup$
– i.a.m
Mar 4 '13 at 15:07






$begingroup$
so if I take $gamma$ to be the circle $|lambda-z|=1$ then we have $|f(z)|=e^{-Re(z)}<1=|lambda-z|=|g(z)|$, Thus, by Rouche's theorem $g$ and $f+g$ have the same number of zeros in this circle which is 1.
$endgroup$
– i.a.m
Mar 4 '13 at 15:07






1




1




$begingroup$
@i.a.m You're welcome.
$endgroup$
– Antonio Vargas
Mar 4 '13 at 15:57






$begingroup$
@i.a.m You're welcome.
$endgroup$
– Antonio Vargas
Mar 4 '13 at 15:57














$begingroup$
wait, is the question asking us to prove there is only one solution which happens to be in right half plane OR that there exists only 1 solution in right half plane (and possible some solution in left half plane)?
$endgroup$
– Red Floyd
Sep 9 '18 at 7:54




$begingroup$
wait, is the question asking us to prove there is only one solution which happens to be in right half plane OR that there exists only 1 solution in right half plane (and possible some solution in left half plane)?
$endgroup$
– Red Floyd
Sep 9 '18 at 7:54












$begingroup$
@AlphaRomeo, the equation has infinitely-many solutions, and exactly one of those is in the right half-plane.
$endgroup$
– Antonio Vargas
Sep 9 '18 at 20:48




$begingroup$
@AlphaRomeo, the equation has infinitely-many solutions, and exactly one of those is in the right half-plane.
$endgroup$
– Antonio Vargas
Sep 9 '18 at 20:48












$begingroup$
Can you please explain why you say infinitely-many solutions in left half plane? If z is purely real then I plotted and checked it can have only 1 solution. How to analyze when z is not purely real?
$endgroup$
– Red Floyd
Sep 10 '18 at 16:02




$begingroup$
Can you please explain why you say infinitely-many solutions in left half plane? If z is purely real then I plotted and checked it can have only 1 solution. How to analyze when z is not purely real?
$endgroup$
– Red Floyd
Sep 10 '18 at 16:02


















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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f320055%2flambda-z-e-z-0-has-one-solution-in-the-right-half-plane%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

How to change which sound is reproduced for terminal bell?

Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

Can I use Tabulator js library in my java Spring + Thymeleaf project?