• Support PF! Buy your school textbooks, materials and every day products Here!

Verifying an Inequality Involving the Complex Exponential Function

  • Thread starter Bashyboy
  • Start date
  • #1
1,421
5
Demonstrate that ##|e^{z^2}| \le e^{|z|^2}##

We have at our disposal the theorem which states ##Re(z) \le |z|##. Here is my work:

##e^{|z|^2} \ge e^{(Re(z))^2} \iff## By the theorem stated above.

##e^{|z|^2} \ge e^x##

We note that ##y^2 \ge 0##, and that multiplying by ##-1## will give us ##- y^2 \le 0##; adding ##x^2## to both sides gives us ##x^2 - y^2 \le x^2##. Substituting this in gives us

##e^{|z|^2} \ge e^{x^2 - y^2}##. I calculated ##|e^{z^2}|## and found that it was ##e^{x^2-y^2}##. Therefore,

##e^{|z|^2} \ge |e^{z^2}|##

________________________________________________________________________

Here is the one issue I see with the proof, but I may have resolved this issue: was the first step justly done? I believe so, and here is why:

##e^{f(z)} \ge e^{g(z)} \iff##

##\ln e^{f(z)} \ge \ln e^{g(z)} \iff##

##f(z) \ge g(z)##.

So, one exponential function is greater than the other when its argument function is greater than the other for all ##z##.

Does this seem correct?
 

Answers and Replies

  • #2
RUber
Homework Helper
1,687
344
That seems reasonable. Just remember that you can only compare real numbers, so if f(z) and g(z) are purely real, you are allowed to use the inequalities.
You could also get to the result directly by defining ##z=x+iy##, then ##|z| = \sqrt{x^2+y^2}## and ##z^2 = x^2 -2ixy - y^2##.
 

Related Threads on Verifying an Inequality Involving the Complex Exponential Function

Replies
1
Views
971
  • Last Post
Replies
1
Views
801
Replies
4
Views
696
Replies
1
Views
984
Replies
1
Views
2K
Replies
3
Views
5K
Replies
4
Views
6K
  • Last Post
Replies
20
Views
2K
  • Last Post
Replies
2
Views
833
Replies
3
Views
787
Top