Παράγωγος απόλυτης τιμής

Συντονιστής: KAKABASBASILEIOS

Ιάσων Κωνσταντόπουλος
Δημοσιεύσεις: 251
Εγγραφή: Κυρ Ιαν 28, 2024 10:16 pm
Τοποθεσία: Θεσσαλονίκη

Παράγωγος απόλυτης τιμής

#1

Μη αναγνωσμένη δημοσίευση από Ιάσων Κωνσταντόπουλος » Παρ Ιουν 07, 2024 4:58 pm

Δίνεται συνάρτηση f\colon\mathbb{R}\to\mathbb{R} για την οποία ισχύουν:
\bullet f(x_o)=0
\bullet η f είναι παραγωγίσιμη στο x_o

#1. Να αποδειχθεί ότι:
|f| παραγωγίσιμη στο x_o αν και μόνο αν f^\prime(x_o)=0

#2. Να ερμηνευθεί το #1. γεωμετρικά.

Εμπνευσμένο και σχετικό με αυτό https://www.mathematica.gr/forum/viewto ... 61&t=75971


Φιλόλογος τυπικών γλωσσών

Λέξεις Κλειδιά:
giannispapav
Δημοσιεύσεις: 77
Εγγραφή: Πέμ Σεπ 14, 2017 5:59 pm

Re: Παράγωγος απόλυτης τιμής

#2

Μη αναγνωσμένη δημοσίευση από giannispapav » Παρ Ιουν 07, 2024 7:51 pm

Ιάσων Κωνσταντόπουλος έγραψε:
Παρ Ιουν 07, 2024 4:58 pm
Δίνεται συνάρτηση f\colon\mathbb{R}\to\mathbb{R} για την οποία ισχύουν:
\bullet f(x_o)=0
\bullet η f είναι παραγωγίσιμη στο x_o

#1. Να αποδειχθεί ότι:
|f| παραγωγίσιμη στο x_o αν και μόνο αν f^\prime(x_o)=0

#2. Να ερμηνευθεί το #1. γεωμετρικά.

Εμπνευσμένο και σχετικό με αυτό https://www.mathematica.gr/forum/viewto ... 61&t=75971

1. Αν f(x_0)=0 και f'(x_0)=0, τότε η |f| είναι παραγωγίσιμη στο σημείο x_0.
2. Αν f(x_0)=0 και f'(x_0)\not=0, τότε η |f| δεν είναι παραγωγίσιμη στο σημείο x_0.

*Απόδειξη*

1. Θέλουμε να υπολογίσουμε το όριο
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{|f(x)|-|f(x_0)|}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0}
Ξέρουμε ότι
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{f(x)-f(x_0)}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{f(x)}{x-x_0}=0.
Έστω g(x)=\dfrac{f(x)}{x-x_0}, x κοντά στο x_0 με  \lim\limits_{x\to x_0}g(x)=0 και f(x)=g(x)(x-x_0) κοντά στο x_0. Έτσι,
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}
Παίρνουμε πλευρικά όρια
\displaystyle  
     \lim\limits_{x\to x_0^+}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}= \lim\limits_{x\to x_0^+}|g(x)|\cdot\dfrac{x-x_0}{x-x_0}= \lim\limits_{x\to x_0^+}|g(x)|=0
και
\displaystyle  
     \lim\limits_{x\to x_0^-}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}= \lim\limits_{x\to x_0^-}|g(x)|\cdot\dfrac{-(x-x_0)}{x-x_0}= \lim\limits_{x\to x_0^-}-|g(x)|=0
Συνεπώς  \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0}=0 δηλαδή η |f| είναι παραγωγίσιμη στο x_0.


2. Θέλουμε να δείξουμε ότι δεν υπάρχει το όριο
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{|f(x)|-|f(x_0)|}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0}
Γνωρίζουμε ότι
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{f(x)-f(x_0)}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{f(x)}{x-x_0}=\ell\not=0.
Έστω g(x)=\dfrac{f(x)}{x-x_0}, x κοντά στο x_0 με  \lim\limits_{x\to x_0}g(x)=\ell\not=0 και f(x)=g(x)(x-x_0) κοντά στο x_0. Έτσι,
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}
Παίρνουμε πλευρικά όρια
\displaystyle  
     \lim\limits_{x\to x_0^+}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}= \lim\limits_{x\to x_0^+}|g(x)|\cdot\dfrac{x-x_0}{x-x_0}= \lim\limits_{x\to x_0^+}|g(x)|=|\ell|
και
\displaystyle  
     \lim\limits_{x\to x_0^-}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}= \lim\limits_{x\to x_0^-}|g(x)|\cdot\dfrac{-(x-x_0)}{x-x_0}= \lim\limits_{x\to x_0^-}-|g(x)|=-|\ell|
Όμως |\ell|\not=-|\ell| αφού \ell\not=0, άρα δεν υπάρχει το όριο \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0} δηλαδή η |f| δεν είναι παραγωγίσιμη στο x_0.


hazmatanything
Δημοσιεύσεις: 3
Εγγραφή: Τρί Οκτ 22, 2024 7:25 am

Re: Παράγωγος απόλυτης τιμής

#3

Μη αναγνωσμένη δημοσίευση από hazmatanything » Τρί Οκτ 22, 2024 7:38 am

giannispapav έγραψε:
Παρ Ιουν 07, 2024 7:51 pm
Ιάσων Κωνσταντόπουλος έγραψε:
Παρ Ιουν 07, 2024 4:58 pm
Δίνεται συνάρτηση f\colon\mathbb{R}\to\mathbb{R} για την οποία ισχύουν:
\bullet f(x_o)=0
\bullet η f είναι παραγωγίσιμη στο x_o

#1. Να αποδειχθεί ότι:
|f| παραγωγίσιμη στο x_o αν και μόνο αν f^\prime(x_o)=0

#2. Να ερμηνευθεί το #1. γεωμετρικά.

Εμπνευσμένο και σχετικό με αυτό https://www.mathematica.gr/forum/viewto ... 61&t=75971

1. Αν f(x_0)=0 και f'(x_0)=0, τότε η |f| είναι παραγωγίσιμη στο σημείο x_0.
2. Αν f(x_0)=0 και f'(x_0)\not=0, τότε η |f| δεν είναι παραγωγίσιμη στο σημείο x_0.

*Απόδειξη*

1. Θέλουμε να υπολογίσουμε το όριο
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{|f(x)|-|f(x_0)|}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0}
Ξέρουμε ότι
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{f(x)-f(x_0)}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{f(x)}{x-x_0}=0.
Έστω g(x)=\dfrac{f(x)}{x-x_0}, x κοντά στο x_0 με  \lim\limits_{x\to x_0}g(x)=0 και f(x)=g(x)(x-x_0) κοντά στο x_0. Έτσι,
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}
Παίρνουμε πλευρικά όρια
\displaystyle  
     \lim\limits_{x\to x_0^+}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}= \lim\limits_{x\to x_0^+}|g(x)|\cdot\dfrac{x-x_0}{x-x_0}= \lim\limits_{x\to x_0^+}|g(x)|=0
και
\displaystyle  
     \lim\limits_{x\to x_0^-}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}= \lim\limits_{x\to x_0^-}|g(x)|\cdot\dfrac{-(x-x_0)}{x-x_0}= \lim\limits_{x\to x_0^-}-|g(x)|=0
Συνεπώς  \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0}=0 δηλαδή η |f| είναι παραγωγίσιμη στο x_0.


2. Θέλουμε να δείξουμε ότι δεν υπάρχει το όριο
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{|f(x)|-|f(x_0)|}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0}
Γνωρίζουμε ότι
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{f(x)-f(x_0)}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{f(x)}{x-x_0}=\ell\not=0.
Έστω g(x)=\dfrac{f(x)}{x-x_0}, x κοντά στο x_0 με  \lim\limits_{x\to x_0}g(x)=\ell\not=0 και f(x)=g(x)(x-x_0) κοντά στο x_0. Έτσι,
\displaystyle  
     \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0}= \lim\limits_{x\to x_0}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}
Παίρνουμε πλευρικά όρια
\displaystyle  
     \lim\limits_{x\to x_0^+}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}= \lim\limits_{x\to x_0^+}|g(x)|\cdot\dfrac{x-x_0}{x-x_0}= \lim\limits_{x\to x_0^+}|g(x)|=|\ell|
και
\displaystyle  
     \lim\limits_{x\to x_0^-}\dfrac{|g(x)|\cdot |x-x_0|}{x-x_0}= \lim\limits_{x\to x_0^-}|g(x)|\cdot\dfrac{-(x-x_0)}{x-x_0}= \lim\limits_{x\to x_0^-}-|g(x)|=-|\ell|
Όμως |\ell|\not=-|\ell| αφού \ell\not=0, άρα δεν υπάρχει το όριο \lim\limits_{x\to x_0}\dfrac{|f(x)|}{x-x_0} δηλαδή η |f| δεν είναι παραγωγίσιμη στο x_0.
:coolspeak: :clap2:


Απάντηση

Επιστροφή σε “ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης