Σελίδα 1 από 2

Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:07 pm
από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΡΑΤΟΣ
Έστω συνάρτηση \displaystyle{ 
f:R \to R 
} που ικανοποιεί την σχέση \displaystyle{ 
f'(x)f(x) = 0 
} για κάθε \displaystyle{ 
x \in R 
}. Να αποδειχθεί ότι η \displaystyle{ 
f 
} είναι σταθερή.

Πολυτεχνείο ΣΕΜΦΕ

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:12 pm
από Giorgos S
Από τη σχέση f'(x)f(x)=0 προκύπτει ότι: f'(x)=0(άρα και f(x)=c) ή f(x)=0, δηλαδή σε κάθε περίπτωση η f είναι σταθερή.

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:20 pm
από Σ. Διονύσης
2f'(x)f(x)=0\Leftrightarrow f(x)^{2}=c , c\geq 0 Άρα f(x)=\sqrt{c} \; , \forall x\in\mathbb{R} ή f(x)=-\sqrt{c}\; , \forall x\in\mathbb{R} αφού οποιαδήποτε άλλη συνάρτηση δεν είναι παραγωγίσιμη \forall x

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:26 pm
από matha
\displaystyle{f(x)f'(x)=0\implies 3f^2(x)f'(x)=0\implies (f^3(x))'=0\implies f^3(x)=c\implies f(x)  \text{\gr σταθερά}.} Αυτές ικανοποιούν την αρχική συνθήκη.

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:26 pm
από kostas_zervos
f'(x)\cdot f(x)=0 \iff 2f'(x)\cdot f(x)=0 \iff \left(f^2(x)\right)'=0 \iff
\iff f^2(x)=c\;,\;c\geq 0.

Αν υπάρχει x_0\in R ώστε f(x_0)=0 , τότε f^2(x_0)=0 , άρα c=0 , επομένως f^2(x)=0 \iff f(x)=0.

Αν f(x)\neq 0 για κάθε x\in R , τότε η f διατηρεί σταθερό πρόσημο (αφού είναι συνεχής ως παραγωγίσιμη) , άρα f(x)=\sqrt{c} για κάθε x\in R ή f(x)=-\sqrt{c} για κάθε x\in R.

Επομένως f σταθερή σε κάθε περίπτωση.

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:31 pm
από Σ. Διονύσης
f'(x)f(x)=0\Rightarrow vf'(x)f(x)^{v-1}=0\Rightarrow f(x)^{v}=c\Rightarrow f(x)=\pm c^{\frac{1}{v}} που ικανοποιούν την αρχική.
αφού η f είναι παραγωγίσιμη \forall x με v={2k+1} με k\in\mathbb{N} :smile:

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:35 pm
από matha
Σ. Διονύσης έγραψε:Αλλιώς:

2f'(x)f(x)=0\Leftrightarrow f(x)^{2}=c , c>0 Άρα f(x)=\mathop \pm\sqrt{c}
Όπως εδώ, έτσι και στην παραπάνω δημοσίευση, υπάρχει ένα μικρό θέμα με την περίπτωση των άρτιων εκθετών.
Χρειάζεται προσοχή! Δες π.χ. τη συνάρτηση

\displaystyle{f(x)=\begin{cases}1,~x\geq 0, \\ -1, ~x<0\end{cases}}.

Ενώ ισχύει \displaystyle{f^2(x)=1} για κάθε \displaystyle{x}, εντούτοις η συνάρτηση δεν είναι σταθερή.

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:36 pm
από Giorgos S
Έστω ότι η f δεν είναι σταθερή.

Τότε και f'(x) \neq 0

Επομένως από τη δοθείσα σχέση προκύπτει ότι: f(x)=0 \Rightarrow f(x)=c, x \in R, άτοπο.

Άρα η f είναι σταθερή.

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:37 pm
από kostas_zervos
Διονύση πρόσεξε : δεν ισχύει γενικά ότι

Αν f^2(x)=g(x)\geq 0 , τότε f(x)=\pm\sqrt{g(x)} (και γενικότερα για άρτιο εκθέτη).

π.χ. f(x)=\begin{cases}\sqrt{g(x)}\;,\;x>500\\-\sqrt{g(x)}\;,\x\leq 500\end{cases}.

ή π.χ. Αν f^2(x)=x^2 , τότε υπάρχουν τέσσερις συνεχείς συναρτήσεις οι f(x)=x\;,\;f(x)=-x\;,\;f(x)=|x|\;,\;f(x)=-|x| και άπειρες μη συνεχείς που την ικανοποιούν.

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:39 pm
από kostas_zervos
Giorgos S έγραψε:Έστω ότι η f δεν είναι σταθερή.

Τότε και f'(x) \neq 0

Επομένως από τη δοθείσα σχέση προκύπτει ότι: f(x)=0 \Rightarrow f(x)=c, x \in R, άτοπο.

Άρα η f είναι σταθερή.
Το ότι δεν είναι σταθερή δεν σημαίνει ότι f'(x)\neq 0 για κάθε x\in R. π.χ. η f(x)=x^2 που δεν είναι σταθερή , αλλά f'(0)=0

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:41 pm
από Σ. Διονύσης
matha έγραψε:
Σ. Διονύσης έγραψε:Αλλιώς:

2f'(x)f(x)=0\Leftrightarrow f(x)^{2}=c , c>0 Άρα f(x)=\mathop \pm\sqrt{c}
Όπως εδώ, έτσι και στην παραπάνω δημοσίευση, υπάρχει ένα μικρό θέμα με την περίπτωση των άρτιων εκθετών.
Χρειάζεται προσοχή! Δες π.χ. τη συνάρτηση

\displaystyle{f(x)=\begin{cases}1,~x\geq 0, \\ -1, ~x<0\end{cases}}.

Ενώ ισχύει \displaystyle{f^2(x)=1} για κάθε \displaystyle{x}, εντούτοις η συνάρτηση δεν είναι σταθερή.
Aυτή όμως είναι παρ\μη στο 0?

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:44 pm
από matha
Σ. Διονύσης έγραψε:
matha έγραψε:
Σ. Διονύσης έγραψε:Αλλιώς:

2f'(x)f(x)=0\Leftrightarrow f(x)^{2}=c , c>0 Άρα f(x)=\mathop \pm\sqrt{c}
Όπως εδώ, έτσι και στην παραπάνω δημοσίευση, υπάρχει ένα μικρό θέμα με την περίπτωση των άρτιων εκθετών.
Χρειάζεται προσοχή! Δες π.χ. τη συνάρτηση

\displaystyle{f(x)=\begin{cases}1,~x\geq 0, \\ -1, ~x<0\end{cases}}.

Ενώ ισχύει \displaystyle{f^2(x)=1} για κάθε \displaystyle{x}, εντούτοις η συνάρτηση δεν είναι σταθερή.
Aυτή όμως είναι παρ\μη στο 0?
Όχι. Πώς όμως πηγαίνεις από την \displaystyle{f^2(x)=c} στη σχέση \displaystyle{f(x)=\pm \sqrt{c}.} Δε δείχνεις πως χρησιμοποιείς την παραγωγισιμότητα.

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:48 pm
από Σ. Διονύσης
kostas_zervos έγραψε:Διονύση πρόσεξε : δεν ισχύει γενικά ότι

Αν f^2(x)=g(x)\geq 0 , τότε f(x)=\pm\sqrt{g(x)} (και γενικότερα για άρτιο εκθέτη).

π.χ. f(x)=\begin{cases}\sqrt{g(x)}\;,\;x>500\\-\sqrt{g(x)}\;,\x\leq 500\end{cases}.

ή π.χ. Αν f^2(x)=x^2 , τότε υπάρχουν τέσσερις συνεχείς συναρτήσεις οι f(x)=x\;,\;f(x)=-x\;,\;f(x)=|x|\;,\;f(x)=-|x| και άπειρες μη συνεχείς που την ικανοποιούν.
Συμφωνώ απόλυτα.Αλλά εδώ η f είναι σταθερή και πρέπει να είναι και παραγωγίσιμη.

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:52 pm
από kostas_zervos
Σ. Διονύσης έγραψε:
kostas_zervos έγραψε:Διονύση πρόσεξε : δεν ισχύει γενικά ότι

Αν f^2(x)=g(x)\geq 0 , τότε f(x)=\pm\sqrt{g(x)} (και γενικότερα για άρτιο εκθέτη).

π.χ. f(x)=\begin{cases}\sqrt{g(x)}\;,\;x>500\\-\sqrt{g(x)}\;,\x\leq 500\end{cases}.

ή π.χ. Αν f^2(x)=x^2 , τότε υπάρχουν τέσσερις συνεχείς συναρτήσεις οι f(x)=x\;,\;f(x)=-x\;,\;f(x)=|x|\;,\;f(x)=-|x| και άπειρες μη συνεχείς που την ικανοποιούν.
Συμφωνώ απόλυτα.Αλλά εδώ η f είναι σταθερή και πρέπει να είναι και παραγωγίσιμη.
Σωστά δεν υπάρχει περίπτωση εδώ να μην είναι κάποια από τις \pm\sqrt{c} , αλλά πρέπει να το αποδείξεις (όπως π.χ. τη λύση που έστειλα εγώ):
kostas_zervos έγραψε:f'(x)\cdot f(x)=0 \iff 2f'(x)\cdot f(x)=0 \iff \left(f^2(x)\right)'=0 \iff
\iff f^2(x)=c\;,\;c\geq 0.

Αν υπάρχει x_0\in R ώστε f(x_0)=0 , τότε f^2(x_0)=0 , άρα c=0 , επομένως f^2(x)=0 \iff f(x)=0.

Αν f(x)\neq 0 για κάθε x\in R , τότε η f διατηρεί σταθερό πρόσημο (αφού είναι συνεχής ως παραγωγίσιμη) , άρα f(x)=\sqrt{c} για κάθε x\in R ή f(x)=-\sqrt{c} για κάθε x\in R.

Επομένως f σταθερή σε κάθε περίπτωση.

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 3:58 pm
από Giorgos S
kostas_zervos έγραψε:
Giorgos S έγραψε:Έστω ότι η f δεν είναι σταθερή.

Τότε και f'(x) \neq 0

Επομένως από τη δοθείσα σχέση προκύπτει ότι: f(x)=0 \Rightarrow f(x)=c, x \in R, άτοπο.

Άρα η f είναι σταθερή.
Το ότι δεν είναι σταθερή δεν σημαίνει ότι f'(x)\neq 0 για κάθε x\in R. π.χ. η f(x)=x^2 που δεν είναι σταθερή , αλλά f'(0)=0

η πρώτη λύση που έστειλα είναι σωστή; (πρώτη δημοσίευση)

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 4:02 pm
από Σ. Διονύσης
Λίγο εκτός ύλης.
Μπορούμε να δείξουμε ότι δεν είναι και η:

\displaystyle{ sgn(x) =\begin{cases} 1, \, \, x>0\\ 0, \,\, x=0 \\ -1, \,\, x<0 \end{cases}

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 4:03 pm
από matha
Giorgos S έγραψε:
kostas_zervos έγραψε:
Giorgos S έγραψε:Έστω ότι η f δεν είναι σταθερή.

Τότε και f'(x) \neq 0

Επομένως από τη δοθείσα σχέση προκύπτει ότι: f(x)=0 \Rightarrow f(x)=c, x \in R, άτοπο.

Άρα η f είναι σταθερή.
Το ότι δεν είναι σταθερή δεν σημαίνει ότι f'(x)\neq 0 για κάθε x\in R. π.χ. η f(x)=x^2 που δεν είναι σταθερή , αλλά f'(0)=0

η πρώτη λύση που έστειλα είναι σωστή; (πρώτη δημοσίευση)
Γιώργο, όχι. Η δημοσίευσή σου, όπως και του Διονύση (ακόμα και μετά την επεξεργασία που έκανε) εξακολουθούν να είναι λανθασμένες.

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 4:04 pm
από matha
Σ. Διονύσης έγραψε:Λίγο εκτός ύλης.
Μπορούμε να δείξουμε ότι δεν είναι και η:

\displaystyle{ sgn(x) =\begin{cases} 1, \, \, x>0\\ 0, \,\, x=0 \\ -1, \,\, x<0 \end{cases}
Η \displaystyle{sgn (x)} δεν είναι παντού παραγωγίσιμη!

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 4:07 pm
από Σ. Διονύσης
matha έγραψε:
Σ. Διονύσης έγραψε:Λίγο εκτός ύλης.
Μπορούμε να δείξουμε ότι δεν είναι και η:

\displaystyle{ sgn(x) =\begin{cases} 1, \, \, x>0\\ 0, \,\, x=0 \\ -1, \,\, x<0 \end{cases}
Η \displaystyle{sgn (x)} δεν είναι παντού παραγωγίσιμη!
Aν λάβουμε υπόψιν και το όρια στο \pm\infty

εξού και το εκτός ύλης

Re: Σταθερή

Δημοσιεύτηκε: Τρί Ιουν 18, 2013 4:07 pm
από kostas_zervos
Όχι . Όταν f(x)\cdot g(x)=0 για κάθε x\in R, τότε δεν μπορούμε να συμπεράνουμε ότι f(x)=0 για κάθε x\in R ή g(x)=0 για κάθε x\in R.

π.χ. f(x)=\begin{cases}x^2\;,\;x\geq 0\\0\;,\;x<0\end{cases} και g(x)=\begin{cases}0\;,\;x\geq 0\\x^2\;,\;x<0\end{cases} , όπου ισχύει ότι f(x)\cdot g(x)=0 για κάθε x\in R.

ή (άλλο ένα παράδειγμα) f(x)=x-|x|\;,\;g(x)=x+|x| για βρες την f(x)\cdot g(x).

Στην περίπτωσή μας επειδή η f είναι παραγωγίσιμη και με τις δικαιολογήσεις που χρειάζονται μπορεί να αποδειχτεί ότι τελικά θα είναι f(x)=0 ή f'(x)=0 , αλλά χρειάζεται μια δικαιολόγηση σαν και αυτή που έστειλα εγώ ή ο matha.