Συναρτησιακή σχέση

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

Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Συναρτησιακή σχέση

#1

Μη αναγνωσμένη δημοσίευση από Demetres » Τετ Οκτ 07, 2009 5:28 pm

Να βρεθούν όλες οι γνησίως αύξουσες συναρτήσεις f: \mathbb{N}^* \to \mathbb{N}^* που να ικανοποιούν f(mn) = f(m)f(n).

Γνωρίζουμε από την συζήτηση εδώ ότι κάθε τέτοια συνάρτηση πρέπει να είναι της μορφής f(n) = n^c για κάποιο πραγματικό αριθμό c > 0. Αν ο c είναι ακέραιος τότε η συνάρτηση έχει πράγματι πεδίο τιμών το \mathbb{N}^*. Αν όμως δεν είναι ακέραιος;

Υπάρχει c \in \mathbb{R}^+ \setminus \mathbb{N} ώστε ο n^c να είναι ακέραιος για κάθε φυσικό αριθμό n;

Αυτή την άσκηση την είχα δει παλιότερα. Έχω μια λύση (όχι δική μου) την οποία θεωρώ εξαιρετικά δύσκολο να βρει κάποιος. Οι γνώσεις που χρησιμοποιεί είναι στην ύλη των φοιτητικών διαγωνισμών αλλά αν δεν υπάρχει πιο απλή λύση θα το θεωρούσα άδικο να πέσει σε ένα τέτοιο διαγωνισμό. (Δεν θα εκπλαγώ όμως αν ο Αχιλλέας μας πει πως έπεσε στον Putnam του 19?? με λύση ακριβώς ίδια με αυτή που γνωρίζω.)


Ilias_Zad
Δημοσιεύσεις: 417
Εγγραφή: Δευ Ιαν 26, 2009 11:44 pm

Re: Συναρτησιακή σχέση

#2

Μη αναγνωσμένη δημοσίευση από Ilias_Zad » Τετ Οκτ 07, 2009 7:44 pm

Πολυ δυσκολη..
Aν και δεν ειμαι ο Αχιλλεας η ασκηση ειναι απο putnam 1971 A6 ;)
Την ειχα ψαξει μετα αφου ειχα δει το θεωρημα του erdos προ καιρου και ειχα δει στο mathlinks μια λυση με finite differences. Το δινω σαν υποδειξη. Δημητρη αυτη την προσεγγιση εχεις υποψιν;


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Συναρτησιακή σχέση

#3

Μη αναγνωσμένη δημοσίευση από Demetres » Πέμ Οκτ 08, 2009 11:41 am

Ηλία νομίζω την ίδια λύση έχουμε υπόψη.


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Συναρτησιακή σχέση

#4

Μη αναγνωσμένη δημοσίευση από Demetres » Παρ Οκτ 16, 2009 12:39 pm

Να δώσω μια λύση:

Αρχίκα βγάζουμε τον λαγό απ' το καπέλο: Αν f ομαλή συνάρτηση τότε \displaystyle{ \sum_{k=0}^n (-1)^{n-k} \binom{n}{k} f(x+k) = f^{(n)}(\xi) } για κάποιο \xi \in (x,x+n). (1)

Με f(x) = x^c, n = \lceil c \rceil και x = N όπου N θετικός ακέραιος η (1) δίνει

\displaystyle{ \sum_{k=0}^n (-1)^{n-k} \binom{n}{k} (N+k)^c = c(c-1) \cdots (c  -  \lceil c \rceil + 1)\xi^{ c - \lceil c \rceil} } για κάποιο \xi \in (N,N+n) (2)

Το αριστερό όμως μέλος της (2) είναι ακέραιος ενώ το δεξί μέλος, αν το N είναι αρκετά μεγάλο ανήκει στο (0,1), άτοπο.

Η (1) αποδεικνύεται επαγωγικά. Η περίπτωση n=1 είναι ειδική περίπτωση του θεωρήματος μέσης τιμής. Για το επαγωγικό βήμα παρατηρούμε ότι αν \displaystyle{g(x) =  \sum_{k=0}^n (-1)^{n-k} \binom{n}{k} f(x+k)}, τοτε \displaystyle{g(x+1) - g(x) =  \sum_{k=0}^{n+1} (-1)^{n+1-k} \binom{n+1}{k} f(x+k)}.


Απάντηση

Επιστροφή σε “Διαγωνισμοί για φοιτητές”

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

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