Ανισότητα με συνάρτηση και την παράγωγό της

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

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

Ανισότητα με συνάρτηση και την παράγωγό της

#1

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

Έστω f:[0,1]\to R συνεχώς παραγωγίσιμη. Ας δειχθεί ότι : \displaystyle{f^2(1)\le 2\int_0^1f^2(x)dx+\int_0^1(f'(x))^2dx} .
Τελευταία επεξεργασία από το μέλος Κοτρώνης Αναστάσιος την Τρί Νοέμ 29, 2011 4:17 am, έχει επεξεργασθεί 1 φορά συνολικά.
Εσύ....; Θα γίνεις κανίβαλος....;
Άβαταρ μέλους
matha
Γενικός Συντονιστής
Δημοσιεύσεις: 6428
Εγγραφή: Παρ Μάιος 21, 2010 7:40 pm
Τοποθεσία: Θεσσαλονίκη

Re: Ανισότητα με συνάρτηση και την παράγωγό της

#2

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

Κοτρώνης Αναστάσιος έγραψε:Έστω f:[0,1]\to R παραγωγίσιμη. Ας δειχθεί ότι : \displaystyle{f^2(1)\le 2\int_0^1f^2(x)dx+\int_0^1(f'(x))^2dx} .
Θεωρούμε τη συνάρτηση

\displaystyle{g(x)=2\int_{0}^{x}f^{2}(t)dt+\int_{0}^{x}\Big(f{'}(t)\Big)^2dt-xf^{2}(x)} με \displaystyle{x\in [0,1].}

Είναι για \displaystyle{x\in [0,1]}

\displaystyle{g{'}(x)=2f^{2}(x)+\Big(f{'}(x)\Big)^2-f^{2}(x)-2xf(x)f{'}(x)=f^{2}(x)+\Big(f{'}(x)\Big)^2-2xf(x)f{'}(x)\geq }

\displaystyle{\geq f^{2}(x)+\Big(f{'}(x)\Big)^2-x\Bigg(f^{2}(x)+\Big(f{'}(x)\Big)^2\Big))=(1-x)\Big[f^{2}(x)+\Big(f{'}(x)\Big)^2\Big]\geq 0.}

Η \displaystyle{g} είναι αύξουσα στο \displaystyle{[0,1],} οπότε από την ανισότητα \displaystyle{g(1)\geq g(0)} προκύπτει η ζητούμενη.
Μάγκος Θάνος
Άβαταρ μέλους
mathxl
Δημοσιεύσεις: 6736
Εγγραφή: Τρί Δεκ 23, 2008 3:49 pm
Τοποθεσία: Σιδηρόκαστρο
Επικοινωνία:

Re: Ανισότητα με συνάρτηση και την παράγωγό της

#3

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

Για κάθε \displaystyle{x \in \left[ {0,1} \right]} είναι \displaystyle{{x^2} \le 1 \Rightarrow {x^2} + 1 \le 2 \Rightarrow \left( {{x^2} + 1} \right){f^2}\left( x \right) \le 2{f^2}\left( x \right) \Rightarrow \int\limits_0^1 {\left( {{x^2} + 1} \right){f^2}\left( x \right)dx}  \le \int\limits_0^1 {2{f^2}\left( x \right)dx} }

\displaystyle{ \Rightarrow \int\limits_0^1 {\left( {{x^2} + 1} \right){f^2}\left( x \right)dx}  + \int\limits_0^1 {{{\left( {f'\left( x \right)} \right)}^2}dx}  \le 2\int\limits_0^1 {{f^2}\left( x \right)dx}  + \int\limits_0^1 {{{\left( {f'\left( x \right)} \right)}^2}dx} } σχέση \displaystyle{\left( 1 \right)}

Ακόμη έχουμε


\displaystyle{{\left( {xf\left( x \right) - f'\left( x \right)} \right)^2} \ge 0}


\displaystyle{{x^2}{f^2}\left( x \right) - 2xf\left( x \right)f'\left( x \right) + {\left( {f'\left( x \right)} \right)^2} \ge 0 \Leftrightarrow }


\displaystyle{{x^2}{f^2}\left( x \right) + {\left( {f'\left( x \right)} \right)^2} \ge 2xf\left( x \right)f'\left( x \right)}

ολοκληρώνουμε στο \displaystyle{\left[ {0,1} \right]} αφού χρησιμοποιήσουμε πρώτα την κατάλληλη σχολική πρόταση

\displaystyle{\int\limits_0^1 {\left( {{x^2}{f^2}\left( x \right) + {{\left( {f'\left( x \right)} \right)}^2}} \right)dx}  \ge \int\limits_0^1 {x{{\left( {{f^2}\left( x \right)} \right)}^\prime }dx}  \Leftrightarrow }


\displaystyle{\int\limits_0^1 {\left( {{x^2}{f^2}\left( x \right)} \right)dx}  + \int\limits_0^1 {{{\left( {f'\left( x \right)} \right)}^2}dx}  \ge {f^2}\left( 1 \right) - 0 - \int\limits_0^1 {{f^2}\left( x \right)dx}  \Leftrightarrow }



\displaystyle{\int\limits_0^1 {\left( {{x^2} + 1} \right){f^2}\left( x \right)dx}  + \int\limits_0^1 {{{\left( {f'\left( x \right)} \right)}^2}dx}  \ge {f^2}\left( 1 \right)} σχέση \displaystyle{\left( 2 \right)}
Από την σχέση \displaystyle{\left( 1 \right)} και την \displaystyle{\left( 2 \right)} λαμβάνουμε το ζητούμενο
Ποτε δεν κάνω λάθος! Μια φορά νομιζα πως είχα κάνει, αλλά τελικά έκανα λάθος!
Απ' τα τσακάλια δεν γλυτώνεις μ' ευχές η παρακάλια. Κ. Βάρναλης
Aπέναντι στις αξίες σου να είσαι ανυποχώρητος

Ενεργό μέλος από 23-12-2008 ως και 17-8-2014 (δεν θα απαντήσω σε πμ)
socrates
Επιμελητής
Δημοσιεύσεις: 6603
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Re: Ανισότητα με συνάρτηση και την παράγωγό της

#4

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

Θανάσης Κοντογεώργης
Απάντηση

Επιστροφή στο “Ανάλυση”

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

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