Μηδενική και Σταθερή συνάρτηση

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

Άβαταρ μέλους
Κοτρώνης Αναστάσιος
Επιμελητής
Δημοσιεύσεις: 3203
Εγγραφή: Κυρ Φεβ 22, 2009 11:11 pm
Τοποθεσία: Μπροστά στο πισί...
Επικοινωνία:

Μηδενική και Σταθερή συνάρτηση

#1

Μη αναγνωσμένη δημοσίευση από Κοτρώνης Αναστάσιος »

1) Έστω f:[0,b]\to\mathbb{R} συνεχής συνάρτηση με την εξής ιδιότητα:

Υπάρχει M>0 τέθοιο ώστε |f(x)|\leq M\displaystyle\int_{0}^{x}|f(t)|\,dt για κάθε x\in[0,b].

Ας δειχθεί ότι f(x)=0 για κάθε x\in[0,b].

***********************************************************************************

2) Έστωf:[0,+\infty)\to\mathbb{R} συνεχής συνάρτηση με f(x)\neq0 για κάθε x>0.

Ας δειχθεί ότι αν (f(x))^{2}=2\displaystyle\int_{0}^{x}f(t)\,dt για κάθε x\geq0, τότε f(x)=x για κάθε x\in[0,+\infty).

(Για τους ξενύχτηδες! Εγώ πάντως θα τις μελετ= αύριο :P )

EDIT: Διορθώθηκε το πεδίο ορισμού κατόπιν υποδείξεως του Μιχάλη (02:39)
Τελευταία επεξεργασία από το μέλος Κοτρώνης Αναστάσιος την Σάβ Νοέμ 21, 2009 2:40 am, έχει επεξεργασθεί 3 φορές συνολικά.
Εσύ....; Θα γίνεις κανίβαλος....;
Άβαταρ μέλους
R BORIS
Επιμελητής
Δημοσιεύσεις: 2395
Εγγραφή: Σάβ Ιαν 03, 2009 8:08 am
Επικοινωνία:

Re: Μηδενική και Σταθερή συνάρτηση

#2

Μη αναγνωσμένη δημοσίευση από R BORIS »

Θέτω \displaystyle{F(x)=\int_{0}^{x}{|f(t)|dt}} είναι παρόμοια με αυτήν στο συνημμένο διότι \displaystyle{|F'|=F'\le MF\le M|F|} και η \displaystyle{F'} είναι συνεχής
Συνημμένα
forum 97.doc
(44.5 KiB) Μεταφορτώθηκε 93 φορές
Άβαταρ μέλους
R BORIS
Επιμελητής
Δημοσιεύσεις: 2395
Εγγραφή: Σάβ Ιαν 03, 2009 8:08 am
Επικοινωνία:

Re: Μηδενική και Σταθερή συνάρτηση

#3

Μη αναγνωσμένη δημοσίευση από R BORIS »

Για την 2
η \displaystyle{f} διατηρεί πρόσημο στο \displaystyle{(0,+\infty)}
η \displaystyle{f^2} είναι παραγωγίσιμη και επειδή \displaystyle{f\ne 0} τότε η \displaystyle{f} είναι παραγωγίσιμη (εύκολη απόδειξη με το όριο-ορισμό της παραγώγου)
Παραγωγίζοντας την δοσμένη και λόγω της \displaystyle{f\ne 0} καταλήγουμε σε\displaystyle{f'(x)=1}
Επειδή \displaystyle{f(0)=0} και \displaystyle{f} συνεχής τότε \displaystyle{f(x)=x,\forall x\in[0,+\infty)}

(ΥΓ Να ζητήσω συγνώμη για την χθεσινή μου βιαστική χαζομάρα με το ΘΜΤολ)
Antonis Loutraris
Δημοσιεύσεις: 175
Εγγραφή: Δευ Οκτ 19, 2009 4:16 pm

Re: Μηδενική και Σταθερή συνάρτηση

#4

Μη αναγνωσμένη δημοσίευση από Antonis Loutraris »

Η ίδια ιδέα με κάποιες απαραίτητες διορθώσεις.

Χωρίς βλάβη της γενικότητας δουλεύω στο [0,c].

H f είναι φραγμένη άρα υπάρχει N>0 τέτοιο ώστε \mid f(x)\mid\leq N για κάθε x\in [0,c].

Eπομένως \displaystyle{\mid f(x)\mid\leq  \int_{0}^{x}M\mid f(t)\mid dt\leq\int_{0}^{x}MNdt=MNx.}

Άρα
\displaystyle{\mid f(x)\mid\leq  \int_{0}^{x}M\mid f(t)\mid dt\leq\int_{0}^{x}MNtdt=MN\frac{x^{2}}{2}}

Eπαναλαμβάνοντας άλλη μία φορά την ίδια διαδικασία έχουμε ότι:

\displaystyle{\mid f(x)\mid\leq  \int_{0}^{x}M\mid f(t)\mid dt\leq\int_{0}^{x}MN\frac{t^{2}}{2}dt=MN\frac{x^{3}}{2\cdot 3}}

Συνεχίζοντας με τον ίδιο τρόπο παίρνουμε ότι:
\displaystyle{\mid f(x)\mid\leq MN \frac{x^{n}}{n!}\leq MN\frac{c^n}{n!}\rightarrow 0} (*)

καθώς το n\rightarrow \infty για κάθε x. Άρα f=0.

(το όριο στο (*) είναι 0 διότι το \frac{c^n}{n!} είναι ο n-οστός όρος της συγκλίνουσας σειράς του e^c)

Φιλικά,

Αντώνης.
Τελευταία επεξεργασία από το μέλος Antonis Loutraris την Παρ Νοέμ 20, 2009 10:12 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Αντώνης Λουτράρης
Άβαταρ μέλους
Κοτρώνης Αναστάσιος
Επιμελητής
Δημοσιεύσεις: 3203
Εγγραφή: Κυρ Φεβ 22, 2009 11:11 pm
Τοποθεσία: Μπροστά στο πισί...
Επικοινωνία:

Re: Μηδενική και Σταθερή συνάρτηση

#5

Μη αναγνωσμένη δημοσίευση από Κοτρώνης Αναστάσιος »

Antonis Loutraris έγραψε:Μία εναλλακτική προσέγγιση της πρώτης άσκησης.

Περιορίζομαι στο [0,1].

H f είναι φραγμένη άρα υπάρχει M>0 τέτοιο ώστε \mid f(x)\mid\leq M για κάθε x\in [0,1].

Eπομένως \displaystyle{\mid f(x)\mid\leq  \int_{0}^{x}M\mid f(t)\mid dt\leq\int_{0}^{x}M^{2}dt=M^{2}x.}

Άρα
\displaystyle{\mid f(x)\mid\leq  \int_{0}^{x}M\mid f(t)\mid dt\leq\int_{0}^{x}M^{2}tdt=M^{2}\frac{x^{2}}{2}}

Eπαναλαμβάνοντας άλλη μία φορά την ίδια διαδικασία έχουμε ότι:

\displaystyle{\mid f(x)\mid\leq  \int_{0}^{x}M\mid f(t)\mid dt\leq\int_{0}^{x}M^{2}\frac{t^{2}}{2}dt=M^{2}\frac{x^{3}}{2\cdot 3}}

Συνεχίζοντας με τον ίδιο τρόπο παίρνουμε ότι:
\displaystyle{\mid f(x)\mid\leq M^{2} \frac{x^{n}}{n!}\leq\frac{M^{2}}{n!}\leq\frac{M}{n}\rightarrow 0}

καθώς το n\rightarrow \infty για κάθε x. Άρα f=0.

Φιλικά,

Αντώνης.
Αντώνη πολή 6πνη λύση!!!
Εσύ....; Θα γίνεις κανίβαλος....;
Άβαταρ μέλους
R BORIS
Επιμελητής
Δημοσιεύσεις: 2395
Εγγραφή: Σάβ Ιαν 03, 2009 8:08 am
Επικοινωνία:

Re: Μηδενική και Σταθερή συνάρτηση

#6

Μη αναγνωσμένη δημοσίευση από R BORIS »

Αν αντί 2t+2 θεωρήσουμε την σταθερή = 2 τότε η άσκηση (με χαλαρότερες προϋποθέσεις) βρίσκεται στην viewtopic.php?f=54&t=821
Άβαταρ μέλους
Κοτρώνης Αναστάσιος
Επιμελητής
Δημοσιεύσεις: 3203
Εγγραφή: Κυρ Φεβ 22, 2009 11:11 pm
Τοποθεσία: Μπροστά στο πισί...
Επικοινωνία:

Re: Μηδενική και Σταθερή συνάρτηση

#7

Μη αναγνωσμένη δημοσίευση από Κοτρώνης Αναστάσιος »

R BORIS έγραψε:Αν αντί 2t+2 θεωρήσουμε την σταθερή = 2 τότε η άσκηση (με χαλαρότερες προϋποθέσεις) βρίσκεται στην viewtopic.php?f=54&t=821
Ροδόλφε πού το θυμήθηκες αυτό το ποστ!! Είχε γίνει καλή συζήτηση εκεί. Το είχα ξεχάσει...
Εσύ....; Θα γίνεις κανίβαλος....;
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18860
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Μηδενική και Σταθερή συνάρτηση

#8

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Κοτρώνης Αναστάσιος έγραψε:1) Έστω f:[0,b]\to\mathbb{R} συνεχής συνάρτηση με την εξής ιδιότητα:

Υπάρχει M>0 τέτοιο ώστε |f(x)|\leq M\displaystyle\int_{0}^{x}|f(t)|\,dt για κάθε x\in[0,b].

Ας δειχθεί ότι f(x)=0 για κάθε x\in[0,b].
Η ευρηματική λύση που έδωσε ο Αντώνης παραπάνω, μου έκανε πολύ εντύπωση.

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

Για x στο [0, b] θέτουμε F(x) = e^{-Mx} \int _0^x |f(t)|dt\,\,.
Είναι F(0) = 0 και F(x) \ge 0\,\, \alpha \nu \,\, x \in [0,b]\,\,. Παραγωγίζοντας έχουμε

F^{\prime}(x) = e^{-Mx} \left ( |f(x)| - M \int _0^x |f(t)|dt\right ) \le 0

δηλαδή η F είναι φθίνουσα. Αλλά F(0) = 0 και F(x) \ge 0\,\, \alpha \nu \,\, 0 \le x  \le b \,\, συνεπώς F σταθερά ίση με μηδέν. Άρα \int _0^x |f(t)|dt = 0\,\, οπότε τελικά (παραγωγίζουμε) f(x) = 0 στο [0, b], όπως θέλαμε.

Φιλικά,

Μιχάλης Λάμπρου
Άβαταρ μέλους
mathxl
Δημοσιεύσεις: 6736
Εγγραφή: Τρί Δεκ 23, 2008 3:49 pm
Τοποθεσία: Σιδηρόκαστρο
Επικοινωνία:

Re: Μηδενική και Σταθερή συνάρτηση

#9

Μη αναγνωσμένη δημοσίευση από mathxl »

Ποτε δεν κάνω λάθος! Μια φορά νομιζα πως είχα κάνει, αλλά τελικά έκανα λάθος!
Απ' τα τσακάλια δεν γλυτώνεις μ' ευχές η παρακάλια. Κ. Βάρναλης
Aπέναντι στις αξίες σου να είσαι ανυποχώρητος

Ενεργό μέλος από 23-12-2008 ως και 17-8-2014 (δεν θα απαντήσω σε πμ)
Απάντηση

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

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

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