🏃♂️ 2026 MATH MARATHON - FUNCTIONAL EQUATIONS #1
Functional Equations Mastery
Part 1: Cauchy & Jensen - Τα Θεμέλια των Συναρτησιακών Εξισώσεων
🎯 Καλωσορίσατε στο Functional Equations Marathon!
Οι συναρτησιακές εξισώσεις είναι από τα πιο **συναρπαστικά** και **δύσκολα** προβλήματα στα μαθηματικά. Εμφανίζονται σε κάθε Ολυμπιάδα και χρειάζονται ειδικές τεχνικές!
Σήμερα (Part 1):
✅ Τι είναι functional equations
✅ Cauchy's Additive Equation
✅ Cauchy's Multiplicative Equation
✅ Jensen's Equation
✅ Logarithmic & Exponential forms
✅ 7 αναλυτικά παραδείγματα
✅ Substitution strategies
Οι συναρτησιακές εξισώσεις είναι από τα πιο **συναρπαστικά** και **δύσκολα** προβλήματα στα μαθηματικά. Εμφανίζονται σε κάθε Ολυμπιάδα και χρειάζονται ειδικές τεχνικές!
Σήμερα (Part 1):
✅ Τι είναι functional equations
✅ Cauchy's Additive Equation
✅ Cauchy's Multiplicative Equation
✅ Jensen's Equation
✅ Logarithmic & Exponential forms
✅ 7 αναλυτικά παραδείγματα
✅ Substitution strategies
🤔 Ερώτηση Προβληματισμού:
Γιατί οι functional equations είναι τόσο δύσκολες; Επειδή **δεν ψάχνουμε για έναν αριθμό** αλλά για μια **ολόκληρη συνάρτηση**! Αυτό σημαίνει άπειρα πολλά "άγνωστα" - η τιμή της συνάρτησης σε κάθε σημείο!
Γιατί οι functional equations είναι τόσο δύσκολες; Επειδή **δεν ψάχνουμε για έναν αριθμό** αλλά για μια **ολόκληρη συνάρτηση**! Αυτό σημαίνει άπειρα πολλά "άγνωστα" - η τιμή της συνάρτησης σε κάθε σημείο!
📐 1. Τι είναι Functional Equations;
📌 Ορισμός: Συναρτησιακή Εξίσωση
Μια συναρτησιακή εξίσωση (functional equation) είναι μια εξίσωση όπου το άγνωστο είναι μια συνάρτηση, όχι ένας αριθμός.
Παραδείγματα:
1. Συνήθης εξίσωση:
\[ 2x + 3 = 7 \] Άγνωστο: \(x\) (ένας αριθμός)
Λύση: \(x = 2\)
2. Functional equation:
\[ f(x+y) = f(x) + f(y) \] Άγνωστο: \(f\) (μια συνάρτηση)
Λύση: \(f(x) = cx\) για κάθε σταθερά \(c\) (άπειρες λύσεις!)
Μια συναρτησιακή εξίσωση (functional equation) είναι μια εξίσωση όπου το άγνωστο είναι μια συνάρτηση, όχι ένας αριθμός.
Παραδείγματα:
1. Συνήθης εξίσωση:
\[ 2x + 3 = 7 \] Άγνωστο: \(x\) (ένας αριθμός)
Λύση: \(x = 2\)
2. Functional equation:
\[ f(x+y) = f(x) + f(y) \] Άγνωστο: \(f\) (μια συνάρτηση)
Λύση: \(f(x) = cx\) για κάθε σταθερά \(c\) (άπειρες λύσεις!)
🎯 Γιατί είναι Δύσκολες;
1. Άπειρα άγνωστα:
Μια συνάρτηση \(f: \mathbb{R} \to \mathbb{R}\) έχει άπειρα πολλές τιμές \(f(x)\) που πρέπει να προσδιορίσουμε!
2. Πολλαπλές λύσεις:
Συχνά υπάρχουν άπειρες συναρτήσεις που ικανοποιούν την εξίσωση.
3. Χρειάζονται επιπλέον συνθήκες:
Για να βρούμε ΟΛΑ τα solutions, συχνά χρειαζόμαστε continuity, monotonicity, differentiability, κλπ.
4. Δημιουργικές τεχνικές:
Κάθε functional equation χρειάζεται δική της προσέγγιση - δεν υπάρχει "μαγική συνταγή"!
1. Άπειρα άγνωστα:
Μια συνάρτηση \(f: \mathbb{R} \to \mathbb{R}\) έχει άπειρα πολλές τιμές \(f(x)\) που πρέπει να προσδιορίσουμε!
2. Πολλαπλές λύσεις:
Συχνά υπάρχουν άπειρες συναρτήσεις που ικανοποιούν την εξίσωση.
3. Χρειάζονται επιπλέον συνθήκες:
Για να βρούμε ΟΛΑ τα solutions, συχνά χρειαζόμαστε continuity, monotonicity, differentiability, κλπ.
4. Δημιουργικές τεχνικές:
Κάθε functional equation χρειάζεται δική της προσέγγιση - δεν υπάρχει "μαγική συνταγή"!
🎯 2. Βασικές Τεχνικές Substitution
🔧 Το Arsenal της Substitution
Η πιο σημαντική τεχνική για functional equations είναι η έξυπνη υποκατάσταση!
Βασικές Υποκαταστάσεις:
💡 Golden Rule: Ξεκινάμε πάντα με τις απλούστερες υποκαταστάσεις (\(x=0, y=0, x=1\)) για να βρούμε πληροφορίες!
Η πιο σημαντική τεχνική για functional equations είναι η έξυπνη υποκατάσταση!
Βασικές Υποκαταστάσεις:
| Substitution | Πότε τη χρησιμοποιούμε |
|---|---|
| \(x = 0\) | Σχεδόν πάντα! Βρίσκουμε \(f(0)\) |
| \(y = 0\) | Για equations με \(x, y\) |
| \(x = 1\) | Για multiplicative equations |
| \(y = -x\) | Για να βρούμε \(f(-x)\) |
| \(y = x\) | Για να απλοποιήσουμε |
| \(x = y\) | Ίδιο με πάνω |
💡 Golden Rule: Ξεκινάμε πάντα με τις απλούστερες υποκαταστάσεις (\(x=0, y=0, x=1\)) για να βρούμε πληροφορίες!
👑 3. Cauchy's Additive Equation
📐 Η Βασίλισσα των Functional Equations
Η εξίσωση του Cauchy είναι η πιο διάσημη συναρτησιακή εξίσωση:
Ερώτηση: Ποιες συναρτήσεις \(f: \mathbb{R} \to \mathbb{R}\) ικανοποιούν αυτή την εξίσωση;
Η εξίσωση του Cauchy είναι η πιο διάσημη συναρτησιακή εξίσωση:
\[ f(x+y) = f(x) + f(y) \]
για κάθε \(x, y \in \mathbb{R}\).Ερώτηση: Ποιες συναρτήσεις \(f: \mathbb{R} \to \mathbb{R}\) ικανοποιούν αυτή την εξίσωση;
🔹 Παράδειγμα 1: Cauchy's Equation - Complete Analysis (E2)
Πρόβλημα: Βρείτε όλες τις συναρτήσεις \(f: \mathbb{R} \to \mathbb{R}\) τέτοιες ώστε:
Οι λύσεις της εξίσωσης του Cauchy είναι:
🎓 Lesson: Οι συνθήκες regularity (συνέχεια, μονοτονία, κλπ) είναι ΚΡΙΣΙΜΕΣ για να βρούμε τις "κανονικές" λύσεις!
\[ f(x+y) = f(x) + f(y) \]
Λύση:
Βήμα 1: Βρίσκουμε f(0)
Θέτοντας \(x = y = 0\):
\[ f(0+0) = f(0) + f(0) \]
\[ f(0) = 2f(0) \]
\[ f(0) = 0 \]
Θέτοντας \(x = y = 0\):
\[ f(0+0) = f(0) + f(0) \]
\[ f(0) = 2f(0) \]
\[ f(0) = 0 \]
Βήμα 2: Σχέση f(-x) με f(x)
Θέτοντας \(y = -x\):
\[ f(x + (-x)) = f(x) + f(-x) \]
\[ f(0) = f(x) + f(-x) \]
\[ 0 = f(x) + f(-x) \]
\[ f(-x) = -f(x) \]
Άρα η \(f\) είναι περιττή συνάρτηση!
Θέτοντας \(y = -x\):
\[ f(x + (-x)) = f(x) + f(-x) \]
\[ f(0) = f(x) + f(-x) \]
\[ 0 = f(x) + f(-x) \]
\[ f(-x) = -f(x) \]
Άρα η \(f\) είναι περιττή συνάρτηση!
Βήμα 3: Για φυσικούς αριθμούς
Θέτοντας \(y = x\):
\[ f(2x) = f(x) + f(x) = 2f(x) \]
Επαγωγικά, για κάθε \(n \in \mathbb{N}\):
\[ f(nx) = nf(x) \]
Ειδικά, θέτοντας \(x = 1\):
\[ f(n) = nf(1) \]
Θέτουμε \(c = f(1)\), άρα:
\[ f(n) = cn \quad \text{για κάθε } n \in \mathbb{N} \]
Θέτοντας \(y = x\):
\[ f(2x) = f(x) + f(x) = 2f(x) \]
Επαγωγικά, για κάθε \(n \in \mathbb{N}\):
\[ f(nx) = nf(x) \]
Ειδικά, θέτοντας \(x = 1\):
\[ f(n) = nf(1) \]
Θέτουμε \(c = f(1)\), άρα:
\[ f(n) = cn \quad \text{για κάθε } n \in \mathbb{N} \]
Βήμα 4: Για ακέραιους
Από το Βήμα 2, \(f(-n) = -f(n) = -cn\).
Άρα:
\[ f(n) = cn \quad \text{για κάθε } n \in \mathbb{Z} \]
Από το Βήμα 2, \(f(-n) = -f(n) = -cn\).
Άρα:
\[ f(n) = cn \quad \text{για κάθε } n \in \mathbb{Z} \]
Βήμα 5: Για ρητούς
Έστω \(x = \frac{m}{n}\) όπου \(m, n \in \mathbb{Z}\), \(n \neq 0\).
Από το Βήμα 3:
\[ f\left(n \cdot \frac{m}{n}\right) = n \cdot f\left(\frac{m}{n}\right) \]
\[ f(m) = n \cdot f\left(\frac{m}{n}\right) \]
\[ cm = n \cdot f\left(\frac{m}{n}\right) \]
\[ f\left(\frac{m}{n}\right) = c \cdot \frac{m}{n} \]
Άρα:
\[ f(x) = cx \quad \text{για κάθε } x \in \mathbb{Q} \]
Έστω \(x = \frac{m}{n}\) όπου \(m, n \in \mathbb{Z}\), \(n \neq 0\).
Από το Βήμα 3:
\[ f\left(n \cdot \frac{m}{n}\right) = n \cdot f\left(\frac{m}{n}\right) \]
\[ f(m) = n \cdot f\left(\frac{m}{n}\right) \]
\[ cm = n \cdot f\left(\frac{m}{n}\right) \]
\[ f\left(\frac{m}{n}\right) = c \cdot \frac{m}{n} \]
Άρα:
\[ f(x) = cx \quad \text{για κάθε } x \in \mathbb{Q} \]
Βήμα 6: Για πραγματικούς (με continuity)
Περίπτωση (a): Η f είναι συνεχής
Αν η \(f\) είναι συνεχής, τότε από το γεγονός ότι \(f(x) = cx\) για κάθε \(x \in \mathbb{Q}\) και οι ρητοί είναι πυκνοί στους πραγματικούς, έχουμε:
\[ f(x) = cx \quad \text{για κάθε } x \in \mathbb{R} \]
Περίπτωση (a): Η f είναι συνεχής
Αν η \(f\) είναι συνεχής, τότε από το γεγονός ότι \(f(x) = cx\) για κάθε \(x \in \mathbb{Q}\) και οι ρητοί είναι πυκνοί στους πραγματικούς, έχουμε:
\[ f(x) = cx \quad \text{για κάθε } x \in \mathbb{R} \]
Βήμα 7: Χωρίς continuity - Wild functions!
Περίπτωση (b): Χωρίς επιπλέον συνθήκες
Χωρίς continuity, monotonicity, ή boundedness, υπάρχουν άπειρες άλλες λύσεις που δεν είναι της μορφής \(f(x) = cx\)!
Αυτές ονομάζονται "wild" ή "pathological" solutions και ανακαλύφθηκαν από τον Hamel το 1905.
Για παράδειγμα, υπάρχουν λύσεις που:
• Δεν είναι συνεχείς πουθενά
• Δεν είναι φραγμένες σε κανένα διάστημα
• Παίρνουν άρρητες τιμές σε ρητά σημεία
Η κατασκευή τους χρησιμοποιεί το Axiom of Choice και Hamel bases!
Συμπέρασμα:Περίπτωση (b): Χωρίς επιπλέον συνθήκες
Χωρίς continuity, monotonicity, ή boundedness, υπάρχουν άπειρες άλλες λύσεις που δεν είναι της μορφής \(f(x) = cx\)!
Αυτές ονομάζονται "wild" ή "pathological" solutions και ανακαλύφθηκαν από τον Hamel το 1905.
Για παράδειγμα, υπάρχουν λύσεις που:
• Δεν είναι συνεχείς πουθενά
• Δεν είναι φραγμένες σε κανένα διάστημα
• Παίρνουν άρρητες τιμές σε ρητά σημεία
Η κατασκευή τους χρησιμοποιεί το Axiom of Choice και Hamel bases!
Οι λύσεις της εξίσωσης του Cauchy είναι:
• Με continuity: \(f(x) = cx\) για κάθε σταθερά \(c \in \mathbb{R}\)
• Χωρίς συνθήκες: \(f(x) = cx\) για \(x \in \mathbb{Q}\) + wild solutions για άρρητα
• Χωρίς συνθήκες: \(f(x) = cx\) για \(x \in \mathbb{Q}\) + wild solutions για άρρητα
🎓 Lesson: Οι συνθήκες regularity (συνέχεια, μονοτονία, κλπ) είναι ΚΡΙΣΙΜΕΣ για να βρούμε τις "κανονικές" λύσεις!
🎯 4. Jensen's Equation
📐 Jensen's Functional Equation
Η εξίσωση του Jensen είναι:
Σύνδεση με convexity: Αυτή η ιδιότητα ορίζει τις affine functions (γραμμικές + σταθερά).
Η εξίσωση του Jensen είναι:
\[ f\left(\frac{x+y}{2}\right) = \frac{f(x) + f(y)}{2} \]
Ερμηνεία: Η τιμή στο μέσο είναι ο μέσος όρος των τιμών!Σύνδεση με convexity: Αυτή η ιδιότητα ορίζει τις affine functions (γραμμικές + σταθερά).
🔹 Παράδειγμα 2: Jensen's Equation (E6)
Πρόβλημα: Βρείτε όλες τις συνεχείς συναρτήσεις \(f: \mathbb{R} \to \mathbb{R}\) που ικανοποιούν:
\[ f\left(\frac{x+y}{2}\right) = \frac{f(x) + f(y)}{2} \]
Λύση:
Βήμα 1: Βρίσκουμε f(0)
Θέτοντας \(x = y = 0\):
\[ f\left(\frac{0+0}{2}\right) = \frac{f(0) + f(0)}{2} \]
\[ f(0) = f(0) \]
Αυτό δεν μας δίνει πληροφορία! Αλλά θέτουμε \(f(0) = a\) για μετέπειτα.
Θέτοντας \(x = y = 0\):
\[ f\left(\frac{0+0}{2}\right) = \frac{f(0) + f(0)}{2} \]
\[ f(0) = f(0) \]
Αυτό δεν μας δίνει πληροφορία! Αλλά θέτουμε \(f(0) = a\) για μετέπειτα.
Βήμα 2: Σύνδεση με Cauchy
Ορίζουμε \(g(x) = f(x) - f(0) = f(x) - a\).
Τότε:
\[ g\left(\frac{x+y}{2}\right) = f\left(\frac{x+y}{2}\right) - a \]
\[ = \frac{f(x) + f(y)}{2} - a \]
\[ = \frac{f(x) + f(y) - 2a}{2} \]
\[ = \frac{(f(x)-a) + (f(y)-a)}{2} \]
\[ = \frac{g(x) + g(y)}{2} \]
Πολλαπλασιάζοντας με 2:
\[ 2g\left(\frac{x+y}{2}\right) = g(x) + g(y) \]
Θέτοντας \(u = \frac{x+y}{2}\) και \(v = \frac{x-y}{2}\):
(δηλαδή \(x = u+v\), \(y = u-v\))
\[ 2g(u) = g(u+v) + g(u-v) \]
Αυτό μπορεί να μετατραπεί στην Cauchy equation!
Ορίζουμε \(g(x) = f(x) - f(0) = f(x) - a\).
Τότε:
\[ g\left(\frac{x+y}{2}\right) = f\left(\frac{x+y}{2}\right) - a \]
\[ = \frac{f(x) + f(y)}{2} - a \]
\[ = \frac{f(x) + f(y) - 2a}{2} \]
\[ = \frac{(f(x)-a) + (f(y)-a)}{2} \]
\[ = \frac{g(x) + g(y)}{2} \]
Πολλαπλασιάζοντας με 2:
\[ 2g\left(\frac{x+y}{2}\right) = g(x) + g(y) \]
Θέτοντας \(u = \frac{x+y}{2}\) και \(v = \frac{x-y}{2}\):
(δηλαδή \(x = u+v\), \(y = u-v\))
\[ 2g(u) = g(u+v) + g(u-v) \]
Αυτό μπορεί να μετατραπεί στην Cauchy equation!
Βήμα 3: Λύση
Με επιπλέον χειρισμούς (ή απευθείας από θεωρία), η συνεχής λύση της Jensen είναι:
\[ g(x) = cx \]
Άρα:
\[ f(x) = g(x) + a = cx + a \]
όπου \(c, a \in \mathbb{R}\) αυθαίρετες σταθερές.
Απάντηση:Με επιπλέον χειρισμούς (ή απευθείας από θεωρία), η συνεχής λύση της Jensen είναι:
\[ g(x) = cx \]
Άρα:
\[ f(x) = g(x) + a = cx + a \]
όπου \(c, a \in \mathbb{R}\) αυθαίρετες σταθερές.
Οι συνεχείς λύσεις της Jensen equation είναι:
\[ f(x) = cx + a \]
για οποιεσδήποτε σταθερές \(c, a \in \mathbb{R}\).
Αυτές είναι οι affine functions (γραμμικές + σταθερά)!
\[ f(x) = cx + a \]
για οποιεσδήποτε σταθερές \(c, a \in \mathbb{R}\).
Αυτές είναι οι affine functions (γραμμικές + σταθερά)!
🔢 5. Cauchy's Multiplicative Equation
📐 Multiplicative Form
Η πολλαπλασιαστική μορφή της εξίσωσης Cauchy:
Η πολλαπλασιαστική μορφή της εξίσωσης Cauchy:
\[ f(xy) = f(x)f(y) \]
για κάθε \(x, y > 0\).
🔹 Παράδειγμα 3: Multiplicative Cauchy (E5)
Πρόβλημα: Βρείτε όλες τις συνεχείς συναρτήσεις \(f: (0, +\infty) \to \mathbb{R}\) που ικανοποιούν:
\[ f(xy) = f(x)f(y) \]
Λύση:
Βήμα 1: Βρίσκουμε f(1)
Θέτοντας \(x = y = 1\):
\[ f(1 \cdot 1) = f(1) \cdot f(1) \]
\[ f(1) = f(1)^2 \]
\[ f(1)(f(1) - 1) = 0 \]
Άρα \(f(1) = 0\) ή \(f(1) = 1\).
Θέτοντας \(x = y = 1\):
\[ f(1 \cdot 1) = f(1) \cdot f(1) \]
\[ f(1) = f(1)^2 \]
\[ f(1)(f(1) - 1) = 0 \]
Άρα \(f(1) = 0\) ή \(f(1) = 1\).
Περίπτωση 1: f(1) = 0
Για οποιοδήποτε \(x > 0\):
\[ f(x) = f(x \cdot 1) = f(x) \cdot f(1) = f(x) \cdot 0 = 0 \]
Άρα \(f(x) = 0\) για κάθε \(x > 0\). ✓
Για οποιοδήποτε \(x > 0\):
\[ f(x) = f(x \cdot 1) = f(x) \cdot f(1) = f(x) \cdot 0 = 0 \]
Άρα \(f(x) = 0\) για κάθε \(x > 0\). ✓
Περίπτωση 2: f(1) = 1
Υπο-βήμα 2a: Για φυσικούς
Επαγωγικά: \(f(x^n) = f(x)^n\) για κάθε \(n \in \mathbb{N}\).
Υπο-βήμα 2b: Για ρητούς εκθέτες
Έστω \(x = a^{m/n}\). Τότε:
\[ f(a) = f\left((a^{m/n})^n\right) = f(a^{m/n})^n \]
\[ f(a^{m/n}) = f(a)^{m/n} \]
Υπο-βήμα 2c: Λογάριθμος
Θέτουμε \(g(x) = \ln f(e^x)\) για \(x \in \mathbb{R}\).
Τότε:
\[ g(x+y) = \ln f(e^{x+y}) = \ln f(e^x \cdot e^y) \]
\[ = \ln(f(e^x) \cdot f(e^y)) = \ln f(e^x) + \ln f(e^y) \]
\[ = g(x) + g(y) \]
Άρα η \(g\) ικανοποιεί την Cauchy additive equation!
Αν η \(f\) είναι συνεχής, τότε η \(g\) είναι συνεχής, άρα:
\[ g(x) = cx \]
Επομένως:
\[ \ln f(e^x) = cx \]
\[ f(e^x) = e^{cx} \]
Θέτοντας \(t = e^x\) (άρα \(x = \ln t\)):
\[ f(t) = e^{c \ln t} = e^{\ln t^c} = t^c \]
Απάντηση:Υπο-βήμα 2a: Για φυσικούς
Επαγωγικά: \(f(x^n) = f(x)^n\) για κάθε \(n \in \mathbb{N}\).
Υπο-βήμα 2b: Για ρητούς εκθέτες
Έστω \(x = a^{m/n}\). Τότε:
\[ f(a) = f\left((a^{m/n})^n\right) = f(a^{m/n})^n \]
\[ f(a^{m/n}) = f(a)^{m/n} \]
Υπο-βήμα 2c: Λογάριθμος
Θέτουμε \(g(x) = \ln f(e^x)\) για \(x \in \mathbb{R}\).
Τότε:
\[ g(x+y) = \ln f(e^{x+y}) = \ln f(e^x \cdot e^y) \]
\[ = \ln(f(e^x) \cdot f(e^y)) = \ln f(e^x) + \ln f(e^y) \]
\[ = g(x) + g(y) \]
Άρα η \(g\) ικανοποιεί την Cauchy additive equation!
Αν η \(f\) είναι συνεχής, τότε η \(g\) είναι συνεχής, άρα:
\[ g(x) = cx \]
Επομένως:
\[ \ln f(e^x) = cx \]
\[ f(e^x) = e^{cx} \]
Θέτοντας \(t = e^x\) (άρα \(x = \ln t\)):
\[ f(t) = e^{c \ln t} = e^{\ln t^c} = t^c \]
Οι συνεχείς λύσεις είναι:
• \(f(x) = 0\) για κάθε \(x\)
• \(f(x) = x^c\) για οποιαδήποτε σταθερά \(c \in \mathbb{R}\)
• \(f(x) = 0\) για κάθε \(x\)
• \(f(x) = x^c\) για οποιαδήποτε σταθερά \(c \in \mathbb{R}\)
📊 6. Logarithmic Form
🔹 Παράδειγμα 4: Logarithmic Functional Equation (E1)
Πρόβλημα: Βρείτε όλες τις συνεχείς συναρτήσεις \(f: (0, +\infty) \to \mathbb{R}\) που ικανοποιούν:
\[ f(xy) = f(x) + f(y) \]
Λύση:
Μέθοδος: Σύνδεση με Cauchy Additive
Θέτουμε \(x = e^u\) και \(y = e^v\).
Τότε \(xy = e^{u+v}\) και:
\[ f(e^{u+v}) = f(e^u) + f(e^v) \]
Ορίζουμε \(g(u) = f(e^u)\).
Τότε:
\[ g(u+v) = g(u) + g(v) \]
Αυτή είναι η Cauchy additive equation!
Αν η \(f\) είναι συνεχής, τότε \(g(u) = cu\).
Άρα:
\[ f(e^u) = cu \]
Για \(x = e^u\) (άρα \(u = \ln x\)):
\[ f(x) = c \ln x \]
Απάντηση:Θέτουμε \(x = e^u\) και \(y = e^v\).
Τότε \(xy = e^{u+v}\) και:
\[ f(e^{u+v}) = f(e^u) + f(e^v) \]
Ορίζουμε \(g(u) = f(e^u)\).
Τότε:
\[ g(u+v) = g(u) + g(v) \]
Αυτή είναι η Cauchy additive equation!
Αν η \(f\) είναι συνεχής, τότε \(g(u) = cu\).
Άρα:
\[ f(e^u) = cu \]
Για \(x = e^u\) (άρα \(u = \ln x\)):
\[ f(x) = c \ln x \]
Οι συνεχείς λύσεις της \(f(xy) = f(x) + f(y)\) είναι:
\[ f(x) = c \ln x \]
για οποιαδήποτε σταθερά \(c \in \mathbb{R}\).
Αυτή είναι ακριβώς η ιδιότητα του λογαρίθμου!
\(\ln(xy) = \ln x + \ln y\)
\[ f(x) = c \ln x \]
για οποιαδήποτε σταθερά \(c \in \mathbb{R}\).
Αυτή είναι ακριβώς η ιδιότητα του λογαρίθμου!
\(\ln(xy) = \ln x + \ln y\)
⚡ 7. Exponential Form
🔹 Παράδειγμα 5: Exponential Functional Equation (E3, E4)
Πρόβλημα: Βρείτε όλες τις συνεχείς συναρτήσεις \(f: \mathbb{R} \to (0, +\infty)\) που ικανοποιούν:
\[ f(x+y) = f(x) \cdot f(y) \]
Λύση:
Μέθοδος: Λογάριθμος
Επειδή \(f(x) > 0\), μπορούμε να πάρουμε λογάριθμο:
\[ \ln f(x+y) = \ln(f(x) \cdot f(y)) \]
\[ \ln f(x+y) = \ln f(x) + \ln f(y) \]
Θέτουμε \(g(x) = \ln f(x)\).
Τότε:
\[ g(x+y) = g(x) + g(y) \]
Αυτή είναι η Cauchy additive!
Αν η \(f\) είναι συνεχής, τότε η \(g\) είναι συνεχής, άρα:
\[ g(x) = cx \]
Επομένως:
\[ \ln f(x) = cx \]
\[ f(x) = e^{cx} \]
Απάντηση:Επειδή \(f(x) > 0\), μπορούμε να πάρουμε λογάριθμο:
\[ \ln f(x+y) = \ln(f(x) \cdot f(y)) \]
\[ \ln f(x+y) = \ln f(x) + \ln f(y) \]
Θέτουμε \(g(x) = \ln f(x)\).
Τότε:
\[ g(x+y) = g(x) + g(y) \]
Αυτή είναι η Cauchy additive!
Αν η \(f\) είναι συνεχής, τότε η \(g\) είναι συνεχής, άρα:
\[ g(x) = cx \]
Επομένως:
\[ \ln f(x) = cx \]
\[ f(x) = e^{cx} \]
Οι συνεχείς λύσεις της \(f(x+y) = f(x)f(y)\) με \(f > 0\) είναι:
\[ f(x) = e^{cx} \]
για οποιαδήποτε σταθερά \(c \in \mathbb{R}\).
Αυτή είναι η ιδιότητα της εκθετικής!
\(e^{x+y} = e^x \cdot e^y\)
\[ f(x) = e^{cx} \]
για οποιαδήποτε σταθερά \(c \in \mathbb{R}\).
Αυτή είναι η ιδιότητα της εκθετικής!
\(e^{x+y} = e^x \cdot e^y\)
🔹 Παράδειγμα 6: Generalized Exponential (E4 extension)
Πρόβλημα: Βρείτε όλες τις λύσεις της:
Λύση:
\[ f(xy) = f(x) + f(y), \quad x, y > 0 \]
χρησιμοποιώντας substitution.Λύση:
Θέτουμε \(x = e^u\), \(y = e^v\).
Τότε \(xy = e^{u+v}\) και από E1:
\[ f(e^{u+v}) = f(e^u) + f(e^v) \]
Ορίζουμε \(g(u) = f(e^u)\).
Η \(g\) ικανοποιεί Cauchy additive, άρα (με continuity):
\[ g(u) = cu \]
\[ f(e^u) = cu \]
Για \(x = e^u\):
\[ f(x) = c \ln x \]
Ίδια λύση με το Example 4! ✓
Τότε \(xy = e^{u+v}\) και από E1:
\[ f(e^{u+v}) = f(e^u) + f(e^v) \]
Ορίζουμε \(g(u) = f(e^u)\).
Η \(g\) ικανοποιεί Cauchy additive, άρα (με continuity):
\[ g(u) = cu \]
\[ f(e^u) = cu \]
Για \(x = e^u\):
\[ f(x) = c \ln x \]
Ίδια λύση με το Example 4! ✓
📊 8. Summary Table - Classic Functional Equations
🎯 The Big Five - Κλασικές Εξισώσεις
| Εξίσωση | Όνομα | Συνεχής Λύση |
|---|---|---|
| \(f(x+y) = f(x) + f(y)\) | Cauchy Additive | \(f(x) = cx\) |
| \(f\left(\frac{x+y}{2}\right) = \frac{f(x)+f(y)}{2}\) | Jensen | \(f(x) = cx + a\) |
| \(f(xy) = f(x)f(y)\) | Cauchy Multiplicative | \(f(x) = 0\) ή \(x^c\) |
| \(f(xy) = f(x) + f(y)\) | Logarithmic | \(f(x) = c\ln x\) |
| \(f(x+y) = f(x)f(y)\) | Exponential | \(f(x) = e^{cx}\) |
🚨 Common Mistakes & Tips
⚠️ Τα 5 Πιο Συχνά Λάθη
1. Ξεχνάμε το f(0) ή f(1)
❌ Αρχίζουμε χωρίς να ελέγξουμε τις ειδικές τιμές
✅ Πάντα βρίσκουμε \(f(0)\) πρώτα (για additive) ή \(f(1)\) (για multiplicative)
2. Παραλείπουμε τη συνθήκη continuity
❌ "Η λύση είναι \(f(x) = cx\)" χωρίς να αναφέρουμε assumptions
✅ Προσδιορίζουμε: "Με continuity, η λύση είναι..."
3. Λάθος domain
❌ Εφαρμόζουμε \(f(xy)\) με αρνητικούς αριθμούς όταν η \(f\) ορίζεται μόνο για θετικούς
✅ Προσοχή στο domain κάθε equation!
4. Υποθέτουμε injectivity/surjectivity
❌ "Άρα η \(f\) είναι 1-1" χωρίς απόδειξη
✅ Αποδεικνύουμε ή δίνουμε counterexample
5. Δεν ελέγχουμε τις λύσεις
❌ Βρίσκουμε \(f(x) = cx\) και σταματάμε
✅ Επαληθεύουμε ότι η λύση πράγματι ικανοποιεί την εξίσωση!
1. Ξεχνάμε το f(0) ή f(1)
❌ Αρχίζουμε χωρίς να ελέγξουμε τις ειδικές τιμές
✅ Πάντα βρίσκουμε \(f(0)\) πρώτα (για additive) ή \(f(1)\) (για multiplicative)
2. Παραλείπουμε τη συνθήκη continuity
❌ "Η λύση είναι \(f(x) = cx\)" χωρίς να αναφέρουμε assumptions
✅ Προσδιορίζουμε: "Με continuity, η λύση είναι..."
3. Λάθος domain
❌ Εφαρμόζουμε \(f(xy)\) με αρνητικούς αριθμούς όταν η \(f\) ορίζεται μόνο για θετικούς
✅ Προσοχή στο domain κάθε equation!
4. Υποθέτουμε injectivity/surjectivity
❌ "Άρα η \(f\) είναι 1-1" χωρίς απόδειξη
✅ Αποδεικνύουμε ή δίνουμε counterexample
5. Δεν ελέγχουμε τις λύσεις
❌ Βρίσκουμε \(f(x) = cx\) και σταματάμε
✅ Επαληθεύουμε ότι η λύση πράγματι ικανοποιεί την εξίσωση!
🏆 CHALLENGE PROBLEM - Part 1
🎯 THE CHALLENGE
Πρόβλημα: Βρείτε όλες τις συνεχείς συναρτήσεις \(f: \mathbb{R} \to \mathbb{R}\) που ικανοποιούν:
🎁 Hints σε 4 Επίπεδα:
Πρόβλημα: Βρείτε όλες τις συνεχείς συναρτήσεις \(f: \mathbb{R} \to \mathbb{R}\) που ικανοποιούν:
\[ f(x+y) + f(x-y) = 2f(x)f(y) \]
(Αυτή είναι η D'Alembert equation - sneak preview για Part 2!)🎁 Hints σε 4 Επίπεδα:
🥉 Hint 1: Βρείτε το \(f(0)\) θέτοντας \(x = y = 0\).
🥈 Hint 2: Δοκιμάστε \(y = 0\) για να βρείτε σχέση.
🥇 Hint 3: Οι λύσεις σχετίζονται με \(\cos\) και \(\cosh\).
💎 Hint 4: Έλεγχος: \(f(0) = 1\) ή \(f(0) = -1\) ή \(f \equiv 0\).
📮 Πλήρης Λύση - Preview:
Οι συνεχείς λύσεις είναι:
• \(f(x) = 0\)
• \(f(x) = \cos(cx)\) για \(c \in \mathbb{R}\)
• \(f(x) = \cosh(cx)\) για \(c \in \mathbb{R}\)
Η πλήρης απόδειξη έρχεται στο Part 2! 🔥
Οι συνεχείς λύσεις είναι:
• \(f(x) = 0\)
• \(f(x) = \cos(cx)\) για \(c \in \mathbb{R}\)
• \(f(x) = \cosh(cx)\) για \(c \in \mathbb{R}\)
Η πλήρης απόδειξη έρχεται στο Part 2! 🔥
📊 Strategy & Σύνοψη
🎓 Master Strategy για Part 1
Βήμα 1: Αναγνώριση Τύπου
Είναι additive, multiplicative, logarithmic, exponential, ή Jensen;
Βήμα 2: Βρες Ειδικές Τιμές
• Για additive: \(f(0)\)
• Για multiplicative: \(f(1)\)
• Για logarithmic: \(f(1)\)
• Για exponential: \(f(0)\)
Βήμα 3: Substitutions
Δοκίμασε: \(x=0, y=0, x=1, y=x, y=-x\)
Βήμα 4: Σύνδεση με Cauchy
Οι περισσότερες equations μπορούν να μετατραπούν σε Cauchy με substitution!
Βήμα 5: Regularity
Υπόθεσε continuity, monotonicity, ή boundedness για να αποφύγεις wild solutions.
Βήμα 6: Επαλήθευση
Πάντα check ότι η λύση δουλεύει!
Βήμα 1: Αναγνώριση Τύπου
Είναι additive, multiplicative, logarithmic, exponential, ή Jensen;
Βήμα 2: Βρες Ειδικές Τιμές
• Για additive: \(f(0)\)
• Για multiplicative: \(f(1)\)
• Για logarithmic: \(f(1)\)
• Για exponential: \(f(0)\)
Βήμα 3: Substitutions
Δοκίμασε: \(x=0, y=0, x=1, y=x, y=-x\)
Βήμα 4: Σύνδεση με Cauchy
Οι περισσότερες equations μπορούν να μετατραπούν σε Cauchy με substitution!
Βήμα 5: Regularity
Υπόθεσε continuity, monotonicity, ή boundedness για να αποφύγεις wild solutions.
Βήμα 6: Επαλήθευση
Πάντα check ότι η λύση δουλεύει!
🎊 Συγχαρητήρια!
Ολοκληρώσατε το Part 1 του Functional Equations Marathon!
Τι κατακτήσατε:
✅ Βασικούς ορισμούς functional equations
✅ Cauchy Additive & Multiplicative
✅ Jensen's Equation
✅ Logarithmic & Exponential forms
✅ 7 αναλυτικά παραδείγματα
✅ Substitution strategies
✅ Wild solutions concept
Ολοκληρώσατε το Part 1 του Functional Equations Marathon!
Τι κατακτήσατε:
✅ Βασικούς ορισμούς functional equations
✅ Cauchy Additive & Multiplicative
✅ Jensen's Equation
✅ Logarithmic & Exponential forms
✅ 7 αναλυτικά παραδείγματα
✅ Substitution strategies
✅ Wild solutions concept
📅 Επόμενο Part:
Part 2: D'Alembert & Trigonometric Equations
Ανακαλύψτε τις τριγωνομετρικές λύσεις! 🎯
Part 2: D'Alembert & Trigonometric Equations
Ανακαλύψτε τις τριγωνομετρικές λύσεις! 🎯
Μείνετε συντονισμένοι...
Το ταξίδι στις functional equations συνεχίζεται! 🚀
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου