Σελίδα 1 από 1

Παράγωγος αντίστροφης

Δημοσιεύτηκε: Κυρ Απρ 17, 2022 11:33 pm
από Nikos2022
Καλησπέρα σε όλους! Μια ερώτηση. Έστω f:\mathbb{R}\rightarrow \mathbb{R} . Για να αποδείξουμε ότι είναι παραγωγίσιμη στο \mathbb{R} είναι αρκετό να δείξουμε ότι η αντιστροφή της είναι παραγωγίσιμη ; Ή χρειάζεται και κάτι επιπλέον και αν ναι γιατί;
Σας ευχαριστώ
Νίκος- μαθητής Γ λυκείου

Re: Παράγωγος αντίστροφης

Δημοσιεύτηκε: Δευ Απρ 18, 2022 1:45 am
από Tolaso J Kos
Η x^3 είναι παραγωγίσιμη στο \mathbb{R}. Η συνάρτηση f(x) = \left\{\begin{matrix} 
\sqrt[3]{x} & , & x \geq 0  \\ 
-\sqrt[3]{-x} & , & x<0 \\ 
\end{matrix}\right. είναι παραγωγίσιμη στο \mathbb{R};

Re: Παράγωγος αντίστροφης

Δημοσιεύτηκε: Δευ Απρ 18, 2022 11:12 am
από exdx
Γενικά πρέπει να είμαστε προσεκτικοί σχετικά με την παράγωγο
και τη συνέχεια της αντίστροφης
Σχετικά : εδώ και εδώ

Re: Παράγωγος αντίστροφης

Δημοσιεύτηκε: Δευ Απρ 18, 2022 11:30 pm
από Christos.N
Μεγάλη γκάμα παραδειγμάτων σε οποιαδήποτε γνησίως μονότονη συνάρτηση που η παραγωγός μηδενίζεται σε σημεία .

Re: Παράγωγος αντίστροφης

Δημοσιεύτηκε: Τρί Απρ 19, 2022 11:17 am
από Nikos2022
Ευχαριστώ για τις απαντήσεις
Νομίζω το πρόβλημα έγκειται στο γεγονός ότι η παραγωγος μπορεί να μηδενίζεται. Αν λοιπον η f είναι συνεχής και παραγωγίσιμη με παραγωγο διάφορη του μηδενός, \forall x\epsilon\mathbb{R} ξέρουμε πως και η αντιστροφη θα είναι παραγωγίσιμη; Και αν είναι χρειάζεται απόδειξη σε περίπτωση που συναντηθεί σε άσκηση;

Re: Παράγωγος αντίστροφης

Δημοσιεύτηκε: Τρί Απρ 19, 2022 3:00 pm
από stranger
Nikos2022 έγραψε: Τρί Απρ 19, 2022 11:17 am Ευχαριστώ για τις απαντήσεις
Νομίζω το πρόβλημα έγκειται στο γεγονός ότι η παραγωγος μπορεί να μηδενίζεται. Αν λοιπον η f είναι συνεχής και παραγωγίσιμη με παραγωγο διάφορη του μηδενός, \forall x\epsilon\mathbb{R} ξέρουμε πως και η αντιστροφη θα είναι παραγωγίσιμη; Και αν είναι χρειάζεται απόδειξη σε περίπτωση που συναντηθεί σε άσκηση;
Ναι αυτό που λες είναι σωστό.
Καταρχήν η συνάρτηση είναι 1-1 από Rolle. Αυτό γιατί αν υπήρχαν δυο διαφορετικά σημεία με ίδια εικόνα τότε στο διάστημα που ορίζουν τα σημεία από Rolle θα υπήρχε ρίζα της f{'}, το οποίο είναι άτοπο.
Υπάρχει το θεώρημα αντίστροφης συνάρτησης στον λογισμό πολλών μεταβλητών που λέει ότι αν μια C^1 συνάρτηση από το \mathbb{R}^n στο \mathbb{R}^n έχει παράγωγο non-singular σε ένα σημείο(στη περίπτωση n=1 non singular σημαίνει ότι στο σημείο αυτό η παράγωγος δεν μηδενίζεται) τότε σε περιοχή αυτού του σημείου η συνάρτηση είναι αμφιδιαφόριση.
Άρα για n=1 το θεώρημα αντίστροφης συνάρτησης αποδεικνύει άμεσα τον ισχυρισμό σου.