Ύπαρξη συνεχούς

Συντονιστές: grigkost, Κοτρώνης Αναστάσιος

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 1709
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Ύπαρξη συνεχούς

#1

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Πέμ Ιαν 11, 2018 10:30 pm

Εστω g:(-1,1)\rightarrow \mathbb{R}

συνεχής συνάρτηση.

Να δειχθεί ότι υπάρχει μοναδική f:(-1,1)\rightarrow \mathbb{R}

συνεχής για την οποία ισχύει

f(x)=g(x)+x^{2}f(x^{3}),x\in (-1,1)



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

Re: Ύπαρξη συνεχούς

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Πέμ Ιαν 11, 2018 11:26 pm

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Πέμ Ιαν 11, 2018 10:30 pm
Εστω g:(-1,1)\rightarrow \mathbb{R}

συνεχής συνάρτηση.

Να δειχθεί ότι υπάρχει μοναδική f:(-1,1)\rightarrow \mathbb{R}

συνεχής για την οποία ισχύει

f(x)=g(x)+x^{2}f(x^{3}),x\in (-1,1)
.
Καλό.

Έστω 0\le a <1 . Επειδή στο [-a, \, a] η g είναι φραγμένη, έστω από το M, έπεται για x στο διάστημα αυτό η σειρά

f(x) = \sum _0^{\infty} x^{3^n-1}g( x^{3^n}) συγκλίνει ομοιόμορφα: Έπεται από το M-test του Weierstrass αφού \displaystyle{ \left  |x^{3^n-1}g( x^{3^n})\right | \le Ma^{3^n-1}}. Ειδικά, η f είναι συνεχής.

Παρατηρούμε ότι ισχύει

\displaystyle{ g(x)+x^{2}f(x^{3}) = g(x) + x^2\left ( \sum _0^{\infty} (x^3)^{3^n-1}g(( x^3)^{3^n})\right )=  g(x) + x^2\left ( \sum _0^{\infty} x^{3^{n+1}-3}g( x^{3^{n+1}})\right )= }

\displaystyle{ =   g(x) + \sum _1^{\infty} x^{3^{n}-1}g( x^{3^{n}})= f(x) }.

Αυτό δείχνει την ύπαρξη.

Για την μοναδιότητα, δύο συνεχείς (και άρα φραγμένες) f, h που ικανοποιούν την αρχική θα ικανοποιούν (πάντα στο -[a,a] ) , και την (αφαιρούμε) \displaystyle{f(x)-h(x)=x^2(f(x^3)-h(x^3)}. Αναδρομικά,

\displaystyle{f(x)-h(x)=x^{3^n-1}(f(x^{3^n})-h(x^{3^n})\to 0}. Και λοιπά.

Επειδή το a ως άνω είναι τυχαίο, τα προηγούμενα ισχύουν στο (-1,1).


ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 1709
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Ύπαρξη συνεχούς

#3

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Παρ Ιαν 12, 2018 10:22 am

Mihalis_Lambrou έγραψε:
Πέμ Ιαν 11, 2018 11:26 pm
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Πέμ Ιαν 11, 2018 10:30 pm
Εστω g:(-1,1)\rightarrow \mathbb{R}

συνεχής συνάρτηση.

Να δειχθεί ότι υπάρχει μοναδική f:(-1,1)\rightarrow \mathbb{R}

συνεχής για την οποία ισχύει

f(x)=g(x)+x^{2}f(x^{3}),x\in (-1,1)
.
Καλό.

Έστω 0\le a <1 . Επειδή στο [-a, \, a] η g είναι φραγμένη, έστω από το M, έπεται για x στο διάστημα αυτό η σειρά

f(x) = \sum _0^{\infty} x^{3^n-1}g( x^{3^n}) συγκλίνει ομοιόμορφα: Έπεται από το M-test του Weierstrass αφού \displaystyle{ \left  |x^{3^n-1}g( x^{3^n})\right | \le Ma^{3^n-1}}. Ειδικά, η f είναι συνεχής.

Παρατηρούμε ότι ισχύει

\displaystyle{ g(x)+x^{2}f(x^{3}) = g(x) + x^2\left ( \sum _0^{\infty} (x^3)^{3^n-1}g(( x^3)^{3^n})\right )=  g(x) + x^2\left ( \sum _0^{\infty} x^{3^{n+1}-3}g( x^{3^{n+1}})\right )= }

\displaystyle{ =   g(x) + \sum _1^{\infty} x^{3^{n}-1}g( x^{3^{n}})= f(x) }.

Αυτό δείχνει την ύπαρξη.

Για την μοναδιότητα, δύο συνεχείς (και άρα φραγμένες) f, h που ικανοποιούν την αρχική θα ικανοποιούν (πάντα στο -[a,a] ) , και την (αφαιρούμε) \displaystyle{f(x)-h(x)=x^2(f(x^3)-h(x^3)}. Αναδρομικά,

\displaystyle{f(x)-h(x)=x^{3^n-1}(f(x^{3^n})-h(x^{3^n})\to 0}. Και λοιπά.

Επειδή το a ως άνω είναι τυχαίο, τα προηγούμενα ισχύουν στο (-1,1).
Πολύ ωραία.
Η απόδειξη που είχα κατά νου ήταν με το θεώρημα σταθερού σημείου του Banach.
Ο Μιχάλης δεν το χρησιμοποίησε για τον απλούστατο λόγο ότι έκανε την απόδειξη του θεωρήματος
σε αυτή την ειδική περίπτωση.


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

Re: Ύπαρξη συνεχούς

#4

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Παρ Ιαν 12, 2018 1:21 pm

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Παρ Ιαν 12, 2018 10:22 am
Η απόδειξη που είχα κατά νου ήταν με το θεώρημα σταθερού σημείου του Banach.
Καταπληκτικό. Ούτε που μου πήγε εκεί το μυαλό, που θα έπρεπε γιατί η απόδειξη
που κάνω είναι στα ίδια βήματα με την γενική περίπτωση (με αναδρομή, iteration).
Έτσι, θα έπρεπε να αντιληφθώ ότι κάνω "γενικά βήματα", και τίποτα ιδιαίτερα ειδικό
για την παραπάνω σχέση.

Να 'σαι καλά Σταύρο.


Απάντηση

Επιστροφή σε “ΑΝΑΛΥΣΗ”

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

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