Σελίδα 1 από 1

Εύρεση τύπου

Δημοσιεύτηκε: Τρί Ιαν 23, 2018 9:11 am
από drakpap
Θα ήθελα μια βοήθεια στην εξής άσκηση αν μια συνάρτηση f δύο φορες παρμ/η στο R και ισχύουν f''(x)+f'(x) - f(x)=0
για κάθε x\in \mathbb{R}
καθώς και f(0)=f΄(0)=0
Να βρεθεί ο τύπος της f.
Ευχαριστώ εκ των προτέρων

Re: Εύρεση τύπου

Δημοσιεύτηκε: Τρί Ιαν 23, 2018 9:45 am
από Tolaso J Kos
drakpap έγραψε:
Τρί Ιαν 23, 2018 9:11 am
Θα ήθελα μια βοήθεια στην εξής άσκηση αν μια συνάρτηση f δύο φορες παρμ/η στο R και ισχύουν f''(x)+f'(x) - f(x)=0
για κάθε x\in \mathbb{R}
καθώς και f(0)=f΄(0)=0
Να βρεθεί ο τύπος της f.
Ευχαριστώ εκ των προτέρων
Για να την προσπαθήσεις σου δίδω υπόδειξη:

Δείξε ότι η f δε μπορεί να έχει θετικό μέγιστο στο τυχόν \gamma αλλά και ούτε αρνητικό ελάχιστο. Συμπέρανε ότι η f είναι η μηδενική συνάρτηση.

Προσθήκη αρκετή ώρα αργότερα:

Υποθέτουμε ότι η f παρουσιάζει θετικό μέγιστο, στο x=\gamma. Τότε f(\gamma)>0 και f'(\gamma)=0 . Από το κριτήριο της δεύτερης παραγώγου είναι f''(\gamma)\leq 0. Η αρχική σχέση τότε θα δώσει:

\displaystyle{f''(\gamma) + \cancelto{0}{f'(\gamma)} - f(\gamma) <0} το οποίο είναι άτοπο. Όμοια και αν υποθέσεις ότι έχει αρνητικό ελάχιστο. Το συμπέρασμα έπεται.

Re: Εύρεση τύπου

Δημοσιεύτηκε: Τρί Ιαν 23, 2018 8:48 pm
από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Tolaso J Kos έγραψε:
Τρί Ιαν 23, 2018 9:45 am
drakpap έγραψε:
Τρί Ιαν 23, 2018 9:11 am
Θα ήθελα μια βοήθεια στην εξής άσκηση αν μια συνάρτηση f δύο φορες παρμ/η στο R και ισχύουν f''(x)+f'(x) - f(x)=0
για κάθε x\in \mathbb{R}
καθώς και f(0)=f΄(0)=0
Να βρεθεί ο τύπος της f.
Ευχαριστώ εκ των προτέρων
Για να την προσπαθήσεις σου δίδω υπόδειξη:

Δείξε ότι η f δε μπορεί να έχει θετικό μέγιστο στο τυχόν \gamma αλλά και ούτε αρνητικό ελάχιστο. Συμπέρανε ότι η f είναι η μηδενική συνάρτηση.

Προσθήκη αρκετή ώρα αργότερα:

Υποθέτουμε ότι η f παρουσιάζει θετικό μέγιστο, στο x=\gamma. Τότε f(\gamma)>0 και f'(\gamma)=0 . Από το κριτήριο της δεύτερης παραγώγου είναι f''(\gamma)\leq 0. Η αρχική σχέση τότε θα δώσει:

\displaystyle{f''(\gamma) + \cancelto{0}{f'(\gamma)} - f(\gamma) <0} το οποίο είναι άτοπο. Όμοια και αν υποθέσεις ότι έχει αρνητικό ελάχιστο. Το συμπέρασμα έπεται.
Αν η f είναι γνησίως αύξουσα στο [0,\infty )και γνησίως αύξουσα στο (-\infty ,0]
τότε τι αξία έχει το παραπάνω;
Εννοείται ότι είναι τοπικά μέγιστα-ελάχιστα και δεν είναι το 0.
Να σημειώσω βέβαια ότι στην λύση που γνωρίζω χρειάζονται οι παρατηρήσεις σου Τόλη.
Αλλά δεν προκύπτει τετριμμένα από αυτές.

Re: Εύρεση τύπου

Δημοσιεύτηκε: Παρ Ιαν 26, 2018 11:16 pm
από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Επαναφέρω την άσκηση.
Θεωρώ αρκετά δύσκολο αν όχι αδύνατο να λυθεί χωρίς χρήση ολοκληρωτικού λογισμού.
Στην ουσία ζητείται να αποδειχθεί το θεώρημα μονοσημάντου για Διαφορικές Εξισώσεις
σε μια ειδική περίπτωση.
Δεν γράφω προς το παρόν λύση με την ελπίδα να την χαρεί κάποιος άλλος.

Re: Εύρεση τύπου

Δημοσιεύτηκε: Σάβ Ιαν 27, 2018 12:27 am
από matha
Θέτουμε \displaystyle{f(x)=e^{ax}g(x),} όπου το \displaystyle{a} θα το διαλέξουμε αργότερα. Φυσικά είναι \displaystyle{g(0)=g'(0)=0.}

Τότε είναι \displaystyle{f'(x)=e^{ax}(g'(x)+ag(x)),~~f''(x)=e^{ax}(g''(x)+2ag'(x)+a^2g(x))}, οπότε η συνθήκη γράφεται

\displaystyle{g''(x)+(2a+1)g'(x)+(a^2+a-1)g(x)=0.}

Αν λοιπόν διαλέξουμε ως \displaystyle{a} μια ρίζα της εξίσωσης \displaystyle{x^2+x-1=0,} η συνθήκη γίνεται

\displaystyle{g''(x)+(2a+1)g'(x)=0\implies g'(x)+(2a+1)g(x)=0} (λόγω των \displaystyle{g(0)=g'(0)=0}),

άρα η συνάρτηση \displaystyle{e^{(2a+1)x}g(x)} είναι σταθερή, οπότε μηδενική. Επομένως είναι \displaystyle{f\equiv 0.}

Re: Εύρεση τύπου

Δημοσιεύτηκε: Δευ Ιαν 29, 2018 11:15 pm
από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
matha έγραψε:
Σάβ Ιαν 27, 2018 12:27 am
Θέτουμε \displaystyle{f(x)=e^{ax}g(x),} όπου το \displaystyle{a} θα το διαλέξουμε αργότερα. Φυσικά είναι \displaystyle{g(0)=g'(0)=0.}

Τότε είναι \displaystyle{f'(x)=e^{ax}(g'(x)+ag(x)),~~f''(x)=e^{ax}(g''(x)+2ag'(x)+a^2g(x))}, οπότε η συνθήκη γράφεται

\displaystyle{g''(x)+(2a+1)g'(x)+(a^2+a-1)g(x)=0.}

Αν λοιπόν διαλέξουμε ως \displaystyle{a} μια ρίζα της εξίσωσης \displaystyle{x^2+x-1=0,} η συνθήκη γίνεται

\displaystyle{g''(x)+(2a+1)g'(x)=0\implies g'(x)+(2a+1)g(x)=0} (λόγω των \displaystyle{g(0)=g'(0)=0}),

άρα η συνάρτηση \displaystyle{e^{(2a+1)x}g(x)} είναι σταθερή, οπότε μηδενική. Επομένως είναι \displaystyle{f\equiv 0.}
:10sta10: και λίγο είναι.

Re: Εύρεση τύπου

Δημοσιεύτηκε: Δευ Ιαν 29, 2018 11:45 pm
από Mihalis_Lambrou
drakpap έγραψε:
Τρί Ιαν 23, 2018 9:11 am
Θα ήθελα μια βοήθεια στην εξής άσκηση αν μια συνάρτηση f δύο φορες παρμ/η στο R και ισχύουν f''(x)+f'(x) - f(x)=0
για κάθε x\in \mathbb{R}
καθώς και f(0)=f΄(0)=0
Να βρεθεί ο τύπος της f.
.
Αλλιώς: Αν a ρίζα της a^2-a-1=0 , η εξίσωση γράφεται \displaystyle{ (f'(x)+af(x) )' +(1-a)(f'(x) + af(x))} (που είναι της μορφής \displaystyle{g'(x) + (1-a)g(x)=0}).

Άρα \displaystyle{f'(x)+af(x) = Ae^{(a-1)x}}, που από τις f(0)=f΄(0)=0 δίνει A=0. Άρα \displaystyle{f'(x)+af(x) = 0}, οπότε \displaystyle{f(x)=Be^{-ax}}, που από την f(0)=0 δίνει B=0. Τελικά, f(x)=0.

Re: Εύρεση τύπου

Δημοσιεύτηκε: Τετ Φεβ 07, 2018 1:02 am
από Παπαστεργίου Κώστας
Νομίζω ότι μια λύση με το μετασχηματισμό του D' Alembert όπως αυτή του κ Μάγγου και η παραλλαγή του κ Λάμπρου φαντάζει ασύλληπτη στο νου ενός μαθητή. Επιτρέψτε μου να δώσω μια δική μου που πιστεύω ότι είναι πιο κατανοητή και σίγουρα γενικότερη.

Να λυθεί η εξίσωση {f}''+b{f}'+cf=0 (1) όταν b^{2}-4c\geq 0

Αν b^{2}-4c> 0 τότε η εξίσωση x^{2}+bx+c=0 έχει δυο ρίζες r_{1} και r_{2} με r_{1}+r_{2}=-b και r_{1}r_{2}=c οπότε η (1) γίνεται

{f}''-r_{1}{f}'-r_{2}{f}'+r_{1}r_{2}f=0 \Rightarrow {f}''-r_{1}{f}'-r_{2}({f}'-r_{1}f)=0\Rightarrow \left ({e^{-r_{2}x}}({f}'-r_{1}f))'=0 οπότε

{f}'-r_{1}f=Ae^{r_{2}x}\Rightarrow ({e^{-r_{1}x}f})'=Ae^{(r_{2}-r_{1})x}={(\frac{Ae^{(r_{2}-r_{1})x}}{r_{2}-r_{1}})}' και f=C_{1}e^{r_{1}x}+C_{2}e^{r_{2}x}

Στην περίπτωση b^{2}-4c=0 τα πράγματα είναι πιο εύκολα διότι έχουμε μια ρίζα r και η (1) γίνεται {f}''-r{f}'-r({f}'-rf)=0

και εύκολα παίρνουμε f=e^{rx}(C_{1}x+C_{2})

ΠΚ

Re: Εύρεση τύπου

Δημοσιεύτηκε: Τετ Φεβ 07, 2018 8:44 am
από Mihalis_Lambrou
Παπαστεργίου Κώστας έγραψε:
Τετ Φεβ 07, 2018 1:02 am
η παραλλαγή του κ Λάμπρου φαντάζει ασύλληπτη στο νου ενός μαθητή. Επιτρέψτε μου να δώσω μια δική μου που πιστεύω ότι είναι πιο κατανοητή και σίγουρα γενικότερη.
Χάνω κάτι;

Αυτό που έκανα είναι ακριβώς το ίδιο με αυτό που γράφεις. Μάλιστα κατά τι ευκολότερο γιατί τα r_1,\, r_2 είναι ειδικοί αριθμοί, όπως δίνονται, και όχι η προφανής γενίκευση. Ας προσθέσω ότι οι τεχνικές αυτές είναι στάνταρ, χιλιοειπωμένες, που υπάρχουν στην μία ή την άλλη μορφή σε όλα τα βιβλία Διαφορικών Εξισώσεων.

Re: Εύρεση τύπου

Δημοσιεύτηκε: Πέμ Φεβ 08, 2018 12:38 pm
από Παπαστεργίου Κώστας
Mihalis_Lambrou έγραψε:
Τετ Φεβ 07, 2018 8:44 am
Παπαστεργίου Κώστας έγραψε:
Τετ Φεβ 07, 2018 1:02 am
η παραλλαγή του κ Λάμπρου φαντάζει ασύλληπτη στο νου ενός μαθητή. Επιτρέψτε μου να δώσω μια δική μου που πιστεύω ότι είναι πιο κατανοητή και σίγουρα γενικότερη.
Χάνω κάτι;

Αυτό που έκανα είναι ακριβώς το ίδιο με αυτό που γράφεις. Μάλιστα κατά τι ευκολότερο γιατί τα r_1,\, r_2 είναι ειδικοί αριθμοί, όπως δίνονται, και όχι η προφανής γενίκευση. Ας προσθέσω ότι οι τεχνικές αυτές είναι στάνταρ, χιλιοειπωμένες, που υπάρχουν στην μία ή την άλλη μορφή σε όλα τα βιβλία Διαφορικών Εξισώσεων.
Αμ δεν είναι το ίδιο. Αναφέρεσαι μόνο στην {f}''+{f}'-f=0 όπου παρουσιάζεις, ως από μηχανής θεό, τη ρίζα της a^{2}-a-1=0, δεν εξηγείς γιατί αυτή και όχι την a^{2}+a-1=0 ούτε πως έφτασες στην ({f}'+af})'+(1-a)({f}'+af)=0. Σε μαθητές απευθύνεσαι.

Με ρωτάς αν χάνεις κάτι. Την ψυχραιμία σου σίγουρα. Για κάτι άλλο ψάξτο μόνος σου. Σου χαρίζω τον τελευταίο λόγο.

Re: Εύρεση τύπου

Δημοσιεύτηκε: Πέμ Φεβ 08, 2018 3:14 pm
από Mihalis_Lambrou
Παπαστεργίου Κώστας έγραψε:
Πέμ Φεβ 08, 2018 12:38 pm
Με ρωτάς αν χάνεις κάτι. Την ψυχραιμία σου σίγουρα. Για κάτι άλλο ψάξτο μόνος σου. Σου χαρίζω τον τελευταίο λόγο.
Καλύτερα να μένουμε μόνο στα επιστημονικά θέματα και στο επίπεδο που έχει καθιερωθεί στο φόρουμ.

Στο θέμα μας.

Θέλεις να πει ότι το
Παπαστεργίου Κώστας έγραψε:
Τετ Φεβ 07, 2018 1:02 am
... οπότε η (1) γίνεται

{f}''-r_{1}{f}'-r_{2}{f}'+r_{1}r_{2}f=0 \Rightarrow {f}''-r_{1}{f}'-r_{2}({f}'-r_{1}f)=0\Rightarrow \left ({e^{-r_{2}x}}({f}'-r_{1}f))'=0
είναι λιγότερο ουρανοκατέβατο από το
Mihalis_Lambrou έγραψε:
Δευ Ιαν 29, 2018 11:45 pm
...η εξίσωση γράφεται \displaystyle{ (f'(x)+af(x) )' +(1-a)(f'(x) + af(x))}
Το αφήνω στην κρίση των αναγνωστών.

Για μένα τα δύο είναι ουσιαστικά το ίδιο πράγμα. Μη τι άλλο το δεύτερο είναι ειδική περίπτωση του πρώτου, και άρα κάπως ευκολότερο.

Το όλο θέμα είναι έτσι και αλλιώς απλούστατο, οπότε δεν βλέπω πώς στοιχειοθετείται το σχόλιο περί ουρανοκατέβατου. Καλό είναι όταν κάνουμε Μαθηματικά, να μην μένουμε στα τυποποιημένα γιατί τότε μας φαίνονται όλα ουρανοκατέβατα.