Σελίδα 1 από 1

Μιγαδικη ανισοτητα

Δημοσιεύτηκε: Τετ Ιουν 08, 2011 9:14 pm
από komi
Το παρακάτω είναι μια ανισότητα η οποία προέκυψε απο την επίλυση άλλου προβλήματος .Μένει να δειχτεί εάν είναι ορθή η όχι.

Εικασία :

Εαν \displaystyle{z \in C} με \displaystyle{\left| z \right| > 1} και \displaystyle{n > 2} να δείξετε ότι :

\displaystyle{\left| {{z^n} - \frac{1}{{{z^n}}}} \right| \ge n \left| {z - \frac{1}{z}} \right|}.

Re: Μιγαδικη ανισοτητα

Δημοσιεύτηκε: Τετ Ιουν 08, 2011 9:30 pm
από ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ
Νομίζω ότι δεν ισχύει, αν πχ βάλουμε z=1+i και n=3 (αν έκανα σωστά τις πράξεις)

Re: Μιγαδικη ανισοτητα

Δημοσιεύτηκε: Τετ Ιουν 08, 2011 9:32 pm
από peter
Γράφουμε z=\cos \theta+i\sin\theta. Άρα, z-\frac{1}{z}=2i\sin \theta και αντίστοιχα z^n-z^{-n}=2i\sin (n\theta).

Οπότε, |z^n-z^{-n}|=2|\sin n\theta|\leq 2n|\sin\theta|=n|z-z^{-1}| για κάθε \theta\in \mathbb R και n\geq 1.

Επομένως, ισχύει η αντίστροφη ανισότητα για κάθε |z|=1 και n\in \mathbb N.

Υ.Γ. Η ανισότητα |\sin nx|\leq n|\sin x| για κάθε x\in \mathbb R, \; n\in \mathbb N αποδεικνύεται επαγωγικά.

Re: Μιγαδικη ανισοτητα

Δημοσιεύτηκε: Τετ Ιουν 08, 2011 10:12 pm
από Spribo
Η άσκηση όμως λέει |z|>1, όχι |z|=1.

Re: Μιγαδικη ανισοτητα

Δημοσιεύτηκε: Τετ Ιουν 08, 2011 11:53 pm
από peter
Spribo έγραψε:Η άσκηση όμως λέει |z|>1, όχι |z|=1.
Συγγνώμη δεν το πρόσεξα! Eυχαριστώ Spribo.

Re: Μιγαδικη ανισοτητα

Δημοσιεύτηκε: Πέμ Ιουν 09, 2011 12:34 pm
από Mihalis_Lambrou
peter έγραψε:
Spribo έγραψε:Η άσκηση όμως λέει |z|>1, όχι |z|=1.
Συγγνώμη δεν το πρόσεξα! Eυχαριστώ Spribo.
To ωραίο παράδειγμα του peter διορθώνεται για να δείξει ότι η ανισότητα δεν ισχύει.
peter έγραψε:Γράφουμε z=\cos \theta+i\sin\theta. Άρα, z-\frac{1}{z}=2i\sin \theta και αντίστοιχα z^n-z^{-n}=2i\sin (n\theta).

Οπότε, |z^n-z^{-n}|=2|\sin n\theta|\leq 2n|\sin\theta|=n|z-z^{-1}| για κάθε \theta\in \mathbb R και n\geq 1.

Επομένως, ισχύει η αντίστροφη ανισότητα για κάθε |z|=1 και n\in \mathbb N.
Πράγματι, θέτουμε z(\epsilon) = \epsilon  + z= \epsilon +\cos \theta+i\sin\theta (εδώ το z του peter μετακινήθηκε λίγο: Το ε είναι θετικός και θα πάρουμε, για τεχνικούς λόγους, θ στο πρώτο τεταρτημόριο). Τώρα είναι z(\epsilon) = \sqrt{1 + \epsilon ^2 + 2 \epsilon \cos \theta }> 1.

Αν τώρα για κάθε \epsilon >0 ίσχυε \left |z(\epsilon)^n - z(\epsilon)^{-n}\right | > n\left |z(\epsilon) - z(\epsilon)^{-1}\right |, παίρνοντας όριο \epsilon \rightarrow 0 θα είχαμε
\left|z^n - z^{-n}\right| \ge n\left |z - z^{-1}\right | , που όμως ο peter έδειξε ότι αποτυγχάνει "παταγωδώς".

Φιλικά,

Μιχαλης