Can Complex Function q(z) Be a Contraction Mapping?

Click For Summary
SUMMARY

The discussion focuses on proving that the complex function q(z) = (z^7 + z^3 - i)/9 is a contraction mapping. Participants aim to establish a real number α < 1 such that the inequality |(z^7 + z^3 - i)/9 - (w^7 + w^3 - i)/9| ≤ α|z - w| holds. The analysis involves algebraic manipulation and the application of the Mean Value Theorem to derive the necessary conditions for contraction. Concerns are raised about the generality of q(z) being a contraction mapping, particularly for specific values of z and w.

PREREQUISITES
  • Understanding of complex numbers and their properties
  • Familiarity with contraction mappings in real analysis
  • Knowledge of the Mean Value Theorem
  • Ability to manipulate inequalities involving complex functions
NEXT STEPS
  • Study the properties of contraction mappings in real analysis
  • Learn about the Mean Value Theorem and its applications in complex analysis
  • Investigate specific conditions under which q(z) can be a contraction mapping
  • Explore examples of complex functions that are contraction mappings
USEFUL FOR

Students and educators in mathematics, particularly those studying real analysis and complex functions, as well as researchers interested in contraction mappings and their applications.

complexnumber
Messages
61
Reaction score
0

Homework Statement



Let [tex]z,w[/tex] be complex numbers.

Homework Equations



Prove there is a real number [tex]\alpha < 1[/tex] such that
[tex] \left|\frac{z^7 + z^3 - i}{9} - \frac{w^7 + w^3 - i}{9}\right| \leq \alpha<br /> \left|z - w\right|[/tex]

The goal is to show that [tex]\displaystyle q(z) = \frac{z^7 + z^3 - i}{9}[/tex] is a contraction mapping in a real analysis contraction mapping problem. I am stuck here maybe because of algebraic manipulation.

The Attempt at a Solution



Is this the same as proving the following inequality?
[tex] \begin{align*}<br /> \frac{\left|\frac{z^7 + z^3 - i}{9} - \frac{w^7 + w^3 -<br /> i}{9}\right|}{\left|z - w\right|} < 1<br /> \end{align*}[/tex]

If so then
[tex] \begin{align*}<br /> & \frac{\left|\frac{z^7 + z^3 - i}{9} - \frac{w^7 + w^3 -<br /> i}{9}\right|}{\left|z - w\right|} = \left|\frac{\frac{z^7 + z^3 - i}{9} -<br /> \frac{w^7 + w^3 - i}{9}}{z - w}\right| = \left|\frac{\frac{(z^7 + z^3) -<br /> (w^7 + w^3)}{9}}{z-w}\right| = \frac{1}{9} \left|\frac{(z^7 + z^3) - (w^7 +<br /> w^3)}{z-w}\right| \\<br /> = & \frac{1}{9} \left|\frac{z^7 - w^7 + z^3 - w^3}{z-w}\right| =<br /> \frac{1}{9} \left| \frac{(z-w)(z^6 + z^5w + \cdots + zw^5 + w^6) +<br /> (z-w)(z^2 + zw + w^2)}{z-w} \right| \\<br /> =& \frac{1}{9} |(z^6 + z^5w + z^4w^2 + z^3w^3 + z^2w^4 + zw^5 +<br /> w^6) + (z^2 + zw + w^2)|<br /> \end{align*}[/tex]

How can I proceed from here?
 
Physics news on Phys.org
complexnumber said:

Homework Statement



Let [tex]z,w[/tex] be complex numbers.

Homework Equations



Prove there is a real number [tex]\alpha < 1[/tex] such that
[tex] \left|\frac{z^7 + z^3 - i}{9} - \frac{w^7 + w^3 - i}{9}\right| \leq \alpha<br /> \left|z - w\right|[/tex]

The goal is to show that [tex]\displaystyle q(z) = \frac{z^7 + z^3 - i}{9}[/tex] is a contraction mapping in a real analysis contraction mapping problem. I am stuck here maybe because of algebraic manipulation.

The Attempt at a Solution



Is this the same as proving the following inequality?
[tex] \begin{align*}<br /> \frac{\left|\frac{z^7 + z^3 - i}{9} - \frac{w^7 + w^3 -<br /> i}{9}\right|}{\left|z - w\right|} < 1<br /> \end{align*}[/tex]

If so then
[tex] \begin{align*}<br /> & \frac{\left|\frac{z^7 + z^3 - i}{9} - \frac{w^7 + w^3 -<br /> i}{9}\right|}{\left|z - w\right|} = \left|\frac{\frac{z^7 + z^3 - i}{9} -<br /> \frac{w^7 + w^3 - i}{9}}{z - w}\right| = \left|\frac{\frac{(z^7 + z^3) -<br /> (w^7 + w^3)}{9}}{z-w}\right| = \frac{1}{9} \left|\frac{(z^7 + z^3) - (w^7 +<br /> w^3)}{z-w}\right| \\<br /> = & \frac{1}{9} \left|\frac{z^7 - w^7 + z^3 - w^3}{z-w}\right| =<br /> \frac{1}{9} \left| \frac{(z-w)(z^6 + z^5w + \cdots + zw^5 + w^6) +<br /> (z-w)(z^2 + zw + w^2)}{z-w} \right| \\<br /> =& \frac{1}{9} |(z^6 + z^5w + z^4w^2 + z^3w^3 + z^2w^4 + zw^5 +<br /> w^6) + (z^2 + zw + w^2)|<br /> \end{align*}[/tex]

How can I proceed from here?

Are there some conditions on z and w that you don't show and aren't using? It doesn't seem to me that q(z) = (z7 + z3 - i)/9 is a contraction mapping, in general. For example, q(2+0i) = (128 + 8 - i)/9 has a magnitude considerably larger than 2. If q were a contraction mapping, I would expect |q(z)| <= |z|.
 

Similar threads

  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K