Συναρτησιακή Διαφορική Εξίσωση

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

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

Συναρτησιακή Διαφορική Εξίσωση

#1

Μη αναγνωσμένη δημοσίευση από Ιάσων Κωνσταντόπουλος » Τετ Μάιος 22, 2024 5:05 pm

Να βρεθεί ένα παράδειγμα μη γραμμικής, παραγωγίσιμης
συνάρτησης k\colon \mathbb{R}\rightarrow\mathbb{R} που να έχει την ιδιότητα

k^\prime(x)=k(x+1)-k(x) για κάθε x\in\mathbb{R}


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

Λέξεις Κλειδιά:
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18235
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Συναρτησιακή Διαφορική Εξίσωση

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Μάιος 26, 2024 12:47 am

Ιάσων Κωνσταντόπουλος έγραψε:
Τετ Μάιος 22, 2024 5:05 pm
Να βρεθεί ένα παράδειγμα μη γραμμικής, παραγωγίσιμης
συνάρτησης k\colon \mathbb{R}\rightarrow\mathbb{R} που να έχει την ιδιότητα

k^\prime(x)=k(x+1)-k(x) για κάθε x\in\mathbb{R}
Οι σταθερές συναρτήσεις είναι παραδείγματα, για προφανείς λόγους. (*)

Από εκεί και πέρα αποδεικνύεται (το αφήνω ως άσκηση) ότι οι μόνες πολυωνυμικές είναι της μορφής k(x)=ax+b .

(*) Ιάσονα, αυτό ζητάς ή μήπως θέλεις μια πραγματικά μη τετριμμένη συνάρτηση, πέρα από τις γραμμικές f(x)=ax, που ικανοποιεί την εξίσωση;
τελευταία επεξεργασία από Mihalis_Lambrou σε Κυρ Μάιος 26, 2024 11:15 am, έχει επεξεργασθεί 1 φορά συνολικά.


Άβαταρ μέλους
exdx
Επιμελητής
Δημοσιεύσεις: 1790
Εγγραφή: Κυρ Δεκ 21, 2008 6:00 pm
Τοποθεσία: Ηράκλειο Κρήτης
Επικοινωνία:

Re: Συναρτησιακή Διαφορική Εξίσωση

#3

Μη αναγνωσμένη δημοσίευση από exdx » Κυρ Μάιος 26, 2024 10:40 am

Ιάσων Κωνσταντόπουλος έγραψε:
Τετ Μάιος 22, 2024 5:05 pm
Να βρεθεί ένα παράδειγμα μη γραμμικής, παραγωγίσιμης
συνάρτησης k\colon \mathbb{R}\rightarrow\mathbb{R} που να έχει την ιδιότητα

k^\prime(x)=k(x+1)-k(x) για κάθε x\in\mathbb{R}
Αυτή είναι μια DDΕ (Delay differential equation )
Νομίζω ότι ξεφεύγει από αυτόν το φάκελλο .


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

Re: Συναρτησιακή Διαφορική Εξίσωση

#4

Μη αναγνωσμένη δημοσίευση από Ιάσων Κωνσταντόπουλος » Κυρ Μάιος 26, 2024 1:01 pm

Mihalis_Lambrou έγραψε:
Κυρ Μάιος 26, 2024 12:47 am
Ιάσων Κωνσταντόπουλος έγραψε:
Τετ Μάιος 22, 2024 5:05 pm
Να βρεθεί ένα παράδειγμα μη γραμμικής, παραγωγίσιμης
συνάρτησης k\colon \mathbb{R}\rightarrow\mathbb{R} που να έχει την ιδιότητα

k^\prime(x)=k(x+1)-k(x) για κάθε x\in\mathbb{R}
Οι σταθερές συναρτήσεις είναι παραδείγματα, για προφανείς λόγους. (*)

Από εκεί και πέρα αποδεικνύεται (το αφήνω ως άσκηση) ότι οι μόνες πολυωνυμικές είναι της μορφής k(x)=ax+b .

(*) Ιάσονα, αυτό ζητάς ή μήπως θέλεις μια πραγματικά μη τετριμμένη συνάρτηση, πέρα από τις γραμμικές f(x)=ax, που ικανοποιεί την εξίσωση;
Καλημέρα,

ακριβώς αυτό! Μια μη τετριμμένη συνάρτηση,
την οποία πρέπει να αναζητήσουμε, όπως επισημαίνετε, εκτός του υποχώρου των πολυωνυμικών συναρτήσεων!
(Λέγοντας γραμμική είχα τον εξής ορισμό υπ' όψιν https://en.wikipedia.org/wiki/Linear_fu ... (calculus))


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

Re: Συναρτησιακή Διαφορική Εξίσωση

#5

Μη αναγνωσμένη δημοσίευση από Ιάσων Κωνσταντόπουλος » Κυρ Μάιος 26, 2024 1:15 pm

exdx έγραψε:
Κυρ Μάιος 26, 2024 10:40 am
Ιάσων Κωνσταντόπουλος έγραψε:
Τετ Μάιος 22, 2024 5:05 pm
Να βρεθεί ένα παράδειγμα μη γραμμικής, παραγωγίσιμης
συνάρτησης k\colon \mathbb{R}\rightarrow\mathbb{R} που να έχει την ιδιότητα

k^\prime(x)=k(x+1)-k(x) για κάθε x\in\mathbb{R}
Αυτή είναι μια DDΕ (Delay differential equation )
Νομίζω ότι ξεφεύγει από αυτόν το φάκελλο .
Χαίρετε!

Πολύ σωστά, η εξίσωση κατατάσσεται στις DDE,
ωστόσο το πρόβλημα μπορεί να λυθεί εντός των σχολικών μαθηματικών.

Ευρηματικότητα χρειάζεται, αλλά δεν χρειάζονται ειδικές συναρτήσεις
ή τεχνικές και θεωρία που είναι εκτός των πλαισίων της Γ΄ Λυκείου!

Σημειώνω πως είναι πιο εύκολο να αντιμετωπίσει κανείς την
k(x+1)-k(x)=a k^\prime(x) με \color{red}0<a\ne1

και αυτό ακριβώς είναι που καθιστά ιδιαίτερη την περίπτωση \color{red}a=1 που αφορά το αρχικό πρόβλημα!


Φιλόλογος τυπικών γλωσσών
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18235
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Συναρτησιακή Διαφορική Εξίσωση

#6

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Μάιος 26, 2024 3:47 pm

Ιάσων Κωνσταντόπουλος έγραψε:
Κυρ Μάιος 26, 2024 1:15 pm
Σημειώνω πως είναι πιο εύκολο να αντιμετωπίσει κανείς την
k(x+1)-k(x)=a k^\prime(x) με \color{red}0<a\ne1
Για την ώρα, ας δούμε το εύκολο: Επιλέγουμε p μία (αρνητική) λύση της εξίσωσης \dfrac {e^p -1}{p}  = a. Τέτοια λύση υπάρχει γιατί αν p\to 0 τότε το αριστερό μέλος τείνει στο 1, άρα είναι μεγαλύτερο από το δεξί, ενώ αν p\to -\infty τότε το αριστερό μέλος τείνει στο 0, άρα είναι μικρότεροτερο από το δεξί. Για ένα τέτοιο p η k(x) = e^{px} κάνει την δουλειά γιατί

k'(x) = pe^{px} και

k(x+1)-k(x) = e^{p(x+1)}-e^{px} = e^{px} ( e^p-1) =ap  e^{px} = ak'(x) , όπως θέλαμε.


Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18235
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Συναρτησιακή Διαφορική Εξίσωση

#7

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Μάιος 26, 2024 5:07 pm

Ιάσων Κωνσταντόπουλος έγραψε:
Τετ Μάιος 22, 2024 5:05 pm
Να βρεθεί ένα παράδειγμα μη γραμμικής, παραγωγίσιμης
συνάρτησης k\colon \mathbb{R}\rightarrow\mathbb{R} που να έχει την ιδιότητα

k^\prime(x)=k(x+1)-k(x) για κάθε x\in\mathbb{R}
.
Θα δούμε ότι υπάρχουν θετικοί αριθμοί a,b τέτοιοι ώστε η \boxed {k(x)=e^{ax} \cos bx} είναι κατάλληλη. Πράγματι, η δοθείσα γράφεται

\displaystyle{ae^{ax} \cos bx -be^{ax} \sin bx = e^{a(x+1)} \cos b(x+1) - e^{ax} \cos bx} ισοδύναμα

\displaystyle{e^{ax} (a\cos bx -b \sin bx ) = e^{ax} \left [(e^a \cos bx \cos b -  e^a \sin bx \sin b)-  \cos bx \right ] \,(*)}

Απλοποιούμε το e^{ax} και μετά εξισώνουμε τους συντελεστές των \cos bx, \, \sin bx στα δύο μέλη. Θα βρούμε

\displaystyle{a = e^a \cos b -  1} και
\displaystyle{b = e^a \sin b}

Αρα \displaystyle{e^a \cos b = 1+a } και \displaystyle{e^a \sin b=b} ----(1)

Θα δείξουμε τώρα ότι το σύστημα αυτό των a,b έχει λύση, οπότε τελειώσαμε γιατί τότε ικανοποιείται η (*):

Υψώνοντας και τις δύο στο τετράγωνο θα και προσθέτοντας κατά μέλη έχουμε e^{2a} = (1+a)^2 +b^2. Παίρνοντας την θετική τιμή έχουμε

b = \sqrt { e^{2a} -(1+a)^2}, άρα στην πρώτη εξίσωση παίρνουμε \displaystyle{\cos \sqrt { e^{2a} -(1+a)^2} = \dfrac {1+a}{e^a} \,(**)}

Παρατηρούμε ότι για a>0 με a\to +\infty, το  \sqrt { e^{2a} -(1+a)^2} \to +\infty, οπότε το \displaystyle{\cos \sqrt { e^{2a} -(1+a)^2} } παίρνει όλες τις τιμές από -1 στο +1. Από την άλλη το δεξί μέλος της (**) τείνει στο 0. Συνεπώς υπάρχουν (άπειρες το πλήθος) τιμές του a που τα δύο μέλη είναι ίσα. Επιλέγουμε ένα τέτοιo a και ορίζουμε το b από την b = \sqrt { e^{2a} -(1+a)^2}. Αντίστροφα, ένα τέτοιο ζεύγος a,b ικανοποιεί τις (1) (άμεσο) και άρα την αρχική. Τελειώσαμε.


Απάντηση

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

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

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