Is There a Connection Between Inequality and the Unit Disc?

  • Context: Graduate 
  • Thread starter Thread starter Likemath2014
  • Start date Start date
  • Tags Tags
    Disc Inequality Unit
Click For Summary

Discussion Overview

The discussion revolves around proving an inequality involving a complex variable \( z \) within the unit disc and a parameter \( \lambda \). Participants explore the conditions under which the inequality holds, particularly focusing on the relationship between \( \lambda \) and the unit disc.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant proposes that the inequality \(\left| \frac{z}{\lambda} +1-\frac{1}{\lambda}\right|<1\) holds if and only if \(\lambda \geq 1\).
  • Another participant points out that for \( z = 1 \), the expression equals 1, which raises questions about the validity of the inequality.
  • Several participants clarify that \( z \) must be within the unit disc, meaning \(|z| < 1\).
  • A participant suggests a reformulation of the inequality using \( z = a + bi \) and proposes a mathematical approach to analyze the inequality.
  • Concerns are raised about the implications of the inequality leading to the conclusion that \( \lambda \) must be greater than 1, with some questioning the assumptions made regarding \( a \).
  • Counterexamples are presented, such as \( z = 0 \) and \( \lambda = 0.9999 \), which challenge the original claim.
  • Some participants argue that the original statement is not true, while others defend the condition that \( \lambda \geq 1 \) is necessary.
  • Clarifications are made regarding the scope of the inequality, emphasizing that it should hold for all \( z \) in the disc.
  • Participants express confusion about the mathematical steps and conditions required for the inequality to hold, particularly regarding the implications of \( |a| < 1 \).

Areas of Agreement / Disagreement

There is no consensus on the validity of the original inequality or the implications of the counterexamples presented. Participants express differing views on whether the inequality holds under the specified conditions.

Contextual Notes

Participants highlight the importance of the condition that \( z \) is within the unit disc and the implications of assuming \( a \) is positive. There are unresolved mathematical steps and assumptions that affect the discussion.

Likemath2014
Messages
17
Reaction score
0
hi there,

I am trying to prove the following inequality:
let [tex]z\in \mathbb{D}[/tex] then

[tex]\left| \frac{z}{\lambda} +1-\frac{1}{\lambda}\right|<1[/tex] if and only if [tex]\lambda\geq1.[/tex]

The direction if [tex]\lambda>1[/tex] is pretty easy, but I am wondering about the other direction.

Thanks in advance
 
Last edited:
Physics news on Phys.org
You need to clarify. For z = 1, the expression = 1, independent of λ.
 
In fact [tex]z[/tex] is inside the disc that means [tex]|z|<1[/tex].
 
z = a+bi. Restate question. |a+bi+λ-1|2 < λ2
L.H.S. = (a+λ-1)2+b2=|z|2+2a(λ-1)+(λ-1)2<1+2(λ-1)+(λ-1)22
 
  • Like
Likes   Reactions: 1 person
thank, but how could that imply that lambda is bigger than one? On the other hand how did you get the last inequality, why you consider a is positive?
 
If z=0 and lamda=0.9999 then the LHS ~ 0.0001
 
Likemath2014 said:
thank, but how could that imply that lambda is bigger than one? On the other hand how did you get the last inequality, why you consider a is positive?

2a(λ-1) < 2(λ-1) requires λ > 1 for a > 0. Also |a| < 1
 
The statement the OP is trying to prove is not true. See #6. z=0 and lamda = 0.9999 is a counterexample.
 
FactChecker said:
The statement the OP is trying to prove is not true. See #6. z=0 and lamda = 0.9999 is a counterexample.

Your counterexample is wrong. λ ≥ 1 is a condition.
 
  • #10
mathman said:
Your counterexample is wrong. λ ≥ 1 is a condition.
The OP said "If and only if". lambda is less than 1 but the equation is much less than 1 (nearly 0)
 
  • #11
FactChecker said:
The OP said "If and only if". lambda is less than 1 but the equation is much less than 1 (nearly 0)

You misread the op. λ≥1 is the condition. For λ < 1 the expression does not hold for all z, with |z| < 1.
 
  • #12
Maybe it was not clear in the question that the inequality is for all z in the disc, that was my fault, I am sorry. Thank you very much mathman for the solution.
 
  • #13
Likemath2014 said:
Maybe it was not clear in the question that the inequality is for all z in the disc, that was my fault, I am sorry. Thank you very much mathman for the solution.
Oh. Well, that's different. Never mind. https://www.youtube.com/watch?v=V3FnpaWQJO0
 
  • #15
mathman said:
2a(λ-1) < 2(λ-1) requires λ > 1 for a > 0. Also |a| < 1

I thought I got it, but it seems not yet :confused:.

We will start like that,
let
[tex]|z+\lambda-1|^2 <|\lambda|^2[/tex], fro all z in the disc. Let [tex]z=a+ib[/tex], hence

[tex]a^2+b^2+2a(\lambda-1)+(\lambda-1)^2<\lambda^2.[/tex]
How could that mean 2a(λ-1) < 2(λ-1)?
Thx.
 
  • #16
Since [itex]a^2+b^2 < 1, |a| < 1[/itex]
 
  • #17
How could that help :redface:.
 
  • #18
Likemath2014 said:
How could that help :redface:.

Grade school arithmetic! If [itex]|a| \ge 1[/itex], then [itex]a^2 \ge |a| \ge 1[/itex] contradicting [itex]a^2 + b^2 < 1[/itex]
 
  • #19
of course that is a grade school arithmetic, but it was not my question.

My question is:

how
[tex]a^2+b^2 +2a( \lambda -1)+(<br /> \lambda-1)^2\leq\lambda^2[/tex]

implies

2a(λ-1) < 2(λ-1)?
 
  • #20
Likemath2014 said:
of course that is a grade school arithmetic, but it was not my question.

My question is:

how
[tex]a^2+b^2 +2a( \lambda -1)+(<br /> \lambda-1)^2\leq\lambda^2[/tex]

implies

2a(λ-1) < 2(λ-1)?
By itself it doesn't. |z| < 1 is the needed condition.
 
  • #21
Yes, the question is how is that?
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K