exdx έγραψε:Δίνεται η συνάρτηση

,

.
α) Δείξτε ότι η εξίσωση

έχει ακριβώς τρεις λύσεις .
β) Δείξτε ότι η εξίσωση

έχει ακριβώς τρεις λύσεις για κάθε

.
γ) Μπορείτε να βρείτε συνεχή συνάρτηση

, ορισμένη σε διάστημα , ώστε η εξίσωση
να έχει ακριβώς δύο λύσεις για κάθε τιμή του

που ανήκει στο σύνολο τιμών της

;
Καλησπέρα!
Μια ...προσπάθεια στην καταπληκτική συνάρτηση! (Για τα 2 πρώτα υποερωτήματα...)
α) Ισχύει: για κάθε
(1) ,
(2) και
(3).
Προσθέτοντας κατά μέλη τις τρεις σχέσεις έχουμε:

, για κάθε

.
Ομοίως αποδεικνύουμε ότι

, για κάθε

.
Συνεπώς εξετάζω την

στο
![[-2\pi,2\pi] [-2\pi,2\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/30a826274dc4b0e3dbafd0fa580ac429.png)
.
Είναι:

και

Άρα το πρόσημο της

εξαρτάται από το πρόσημο του

.
Συνεπώς έχουμε

, για κάθε

γνησίως φθίνουσα στο
![[-2\pi,-\pi] [-2\pi,-\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/d8fd8a0beb7a6e6f16d5604a23a75a27.png)
. Επίσης

.
Άρα :

, για κάθε

γνησίως αύξουσα στο
![[-2\pi,-\frac{3\pi}{2}] [-2\pi,-\frac{3\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/1da08f3c9b9e4d5f8266ab0f5f5c276e.png)
.
Επιπλέον

, για κάθε

γνησίως φθίνουσα στο
![[-\frac{3\pi}{2},-\pi] [-\frac{3\pi}{2},-\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/24e081056fcaad93d851b495dae135ec.png)
.
Ομοίως έχουμε

, για κάθε

γνησίως αύξουσα στο
![[-\pi,0] [-\pi,0]](/forum/ext/geomar/texintegr/latexrender/pictures/947cc35d584626ca101b0837c92faadb.png)
. Επίσης

.
Άρα :

, για κάθε

γνησίως φθίνουσα στο
![[-\pi,-\frac{\pi}{2}] [-\pi,-\frac{\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/04bd0754a6ad891606118afb1577e2bf.png)
.
Επιπλέον

, για κάθε

γνησίως αύξουσα στο
![[-\frac{\pi}{2},0] [-\frac{\pi}{2},0]](/forum/ext/geomar/texintegr/latexrender/pictures/394f82a7351b6a5251bc2cd907bac265.png)
.
Επομένως για την μονοτονία της

έχουμε:

γνησίως αύξουσα στο
![[-2\pi,-\frac{3\pi}{2}] [-2\pi,-\frac{3\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/1da08f3c9b9e4d5f8266ab0f5f5c276e.png)
, οπότε:
![f([-2\pi,-\frac{3\pi}{2}])= [f(-2\pi),f(-\frac{3\pi}{2})]=[-4\pi,0] f([-2\pi,-\frac{3\pi}{2}])= [f(-2\pi),f(-\frac{3\pi}{2})]=[-4\pi,0]](/forum/ext/geomar/texintegr/latexrender/pictures/118c3e8771d7380a313e80ed123e25a3.png)
,

γνησίως φθίνουσα στο
![[-\frac{3\pi}{2},-\frac{\pi}{2}] [-\frac{3\pi}{2},-\frac{\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/8723a6e444ac7d96275c93063caa4202.png)
, οπότε:
![f([-\frac{3\pi}{2},-\frac{\pi}{2}])= [f(-\frac{3\pi}{2}),f(-\frac{\pi}{2})]=[-4\pi,0] f([-\frac{3\pi}{2},-\frac{\pi}{2}])= [f(-\frac{3\pi}{2}),f(-\frac{\pi}{2})]=[-4\pi,0]](/forum/ext/geomar/texintegr/latexrender/pictures/6b35f6e8d152e95261aae16097711dff.png)
,

γνησίως αύξουσα στο
![[-\frac{\pi}{2},\frac{\pi}{2}] [-\frac{\pi}{2},\frac{\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/92ed39d7b65cb728c8e05e321c8746fd.png)
, οπότε:
![f([-\frac{\pi}{2},\frac{\pi}{2}])= [f(-\frac{\pi}{2}),f(\frac{\pi}{2})]=[-4\pi,4\pi] f([-\frac{\pi}{2},\frac{\pi}{2}])= [f(-\frac{\pi}{2}),f(\frac{\pi}{2})]=[-4\pi,4\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/0223c86bfef9bb5dafc04301726b9d68.png)
,

γνησίως φθίνουσα στο
![[\frac{\pi}{2},\frac{3\pi}{2}] [\frac{\pi}{2},\frac{3\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/2f4a052e2861b2f603c8798a6e60f35d.png)
, οπότε:
![f([\frac{\pi}{2},\frac{3\pi}{2}])= [f(\frac{3\pi}{2}),f(\frac{\pi}{2})]=[0,4\pi] f([\frac{\pi}{2},\frac{3\pi}{2}])= [f(\frac{3\pi}{2}),f(\frac{\pi}{2})]=[0,4\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/3f9d5d5a478be009e3fe80bbc37214ed.png)
και

γνησίως αύξουσα στο
![[\frac{3\pi}{2},2\pi] [\frac{3\pi}{2},2\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/1bac0079d85831f5cd651f36e7867e71.png)
, οπότε:
![f([\frac{3\pi}{2},2\pi])= [f(\frac{3\pi}{2}),f(2\pi)]=[0,4\pi] f([\frac{3\pi}{2},2\pi])= [f(\frac{3\pi}{2}),f(2\pi)]=[0,4\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/e547df3374e5cea46f8fe35239af10ec.png)
.
Προφανείς λύσεις είναι οι:
![-\frac{3\pi}{2} , 0, \frac{3\pi}{2}] -\frac{3\pi}{2} , 0, \frac{3\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/fd84bd8a4958cc77c3141ca9d3c2e087.png)
. Επομένως λόγω μονοτονίας μοναδικές.
β) Από το προηγούμενο υποερώτημα το σύνολο τιμών της

στο
![[-2\pi,2\pi] [-2\pi,2\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/30a826274dc4b0e3dbafd0fa580ac429.png)
είναι το:
![[-4\pi,4\pi] [-4\pi,4\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/d47770db8201cb58095cc1553deb1915.png)
.
Θεωρώ την συνάρτηση

με
![k\epsilon[-4\pi, 4\pi] k\epsilon[-4\pi, 4\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/84f56313fba3c22cbadcbb547f47fd8d.png)
.
Αν
![k\epsilon[-4\pi, 0] k\epsilon[-4\pi, 0]](/forum/ext/geomar/texintegr/latexrender/pictures/521ec603b14b43c7b4061b33b766f5c6.png)
, η

μηδενίζεται (από την μονοτονία του α υποερωτήματος) στα:
![[-2\pi,-\frac{3\pi}{2}] [-2\pi,-\frac{3\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/1da08f3c9b9e4d5f8266ab0f5f5c276e.png)
,
![[-\frac{3\pi}{2},-\frac{\pi}{2}] [-\frac{3\pi}{2},-\frac{\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/8723a6e444ac7d96275c93063caa4202.png)
και
![[-\frac{\pi}{2},0] [-\frac{\pi}{2},0]](/forum/ext/geomar/texintegr/latexrender/pictures/394f82a7351b6a5251bc2cd907bac265.png)
.
Αντίστοιχα για
![k\epsilon[0,4\pi] k\epsilon[0,4\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/4fd1c89bfaa2a26be43d91c5bf5f69bb.png)
, η

μηδενίζεται (από την μονοτονία του α υποερωτήματος) στα:
![[0,\frac{\pi}{2}] [0,\frac{\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/b65db180aaa221a4e1c418ab02cb55b5.png)
,
![[\frac{\pi}{2},\frac{3\pi}{2}] [\frac{\pi}{2},\frac{3\pi}{2}]](/forum/ext/geomar/texintegr/latexrender/pictures/2f4a052e2861b2f603c8798a6e60f35d.png)
και
![[\frac{3\pi}{2},2\pi] [\frac{3\pi}{2},2\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/1bac0079d85831f5cd651f36e7867e71.png)
.
Ομοίως προκύπτει ότι
![f([2\pi,6\pi])=[4\pi, 12\pi] f([2\pi,6\pi])=[4\pi, 12\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/115a39a47b424f3e4bb2e620c44f4fe8.png)
, συνεπώς η

έχει τρεις ρίζες για κάθε
![k\epsilon[4\pi, 12\pi] k\epsilon[4\pi, 12\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/15e8fe97643b25e0335f782407a83882.png)
και
![f([-6\pi,-2\pi])=[-12\pi, -4\pi] f([-6\pi,-2\pi])=[-12\pi, -4\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/f3c545f226e350a1520f1e9543c97cc5.png)
, συνεπώς η

έχει τρεις ρίζες για κάθε
![k\epsilon[-12\pi, -4\pi] k\epsilon[-12\pi, -4\pi]](/forum/ext/geomar/texintegr/latexrender/pictures/a6f3fac046475fb03c20ff4fcacc2df9.png)
.
Τελικά

, άρα η

έχει τρεις λύσεις, για κάθε

.
Πραγματικά εκπληκτική άσκηση! Θα προσπαθήσω και για το γ.
Καλό βράδυ!
Σταμ. Γλάρος