2 Λήμματα

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

Λάμπρος Κατσάπας
Δημοσιεύσεις: 838
Εγγραφή: Σάβ Ιουν 17, 2017 10:17 pm
Τοποθεσία: Αθήνα

2 Λήμματα

#1

Μη αναγνωσμένη δημοσίευση από Λάμπρος Κατσάπας » Κυρ Αύγ 16, 2020 11:24 pm

1. Αν f\in C[a,b] και για οποιαδήποτε συνάρτηση g\in C^1[a,b], με g(a)=g(b)=0,

ισχύει \displaystyle \int_{a}^{b}f(x){g}'(x)dx=0 να δείξετε ότι f(x)=c (σταθερά) στο [a,b].

2. Αν f\in C[a,b] και για οποιαδήποτε συνάρτηση g\in C^2[a,b], με g(a)=g(b)={g}'(a)={g}'(b)=0,

ισχύει \displaystyle \int_{a}^{b}f(x){g}''(x)dx=0 να δείξετε ότι f(x)=c_1+c_2x (c_1,c_2 σταθερές) στο [a,b].



Λέξεις Κλειδιά:
Άβαταρ μέλους
Christos.N
Δημοσιεύσεις: 2105
Εγγραφή: Πέμ Νοέμ 26, 2009 2:28 pm
Τοποθεσία: Ίλιον

Re: 2 Λήμματα

#2

Μη αναγνωσμένη δημοσίευση από Christos.N » Δευ Αύγ 17, 2020 9:39 am

Λάμπρος Κατσάπας έγραψε:
Κυρ Αύγ 16, 2020 11:24 pm
1. Αν f\in C[a,b] και για οποιαδήποτε συνάρτηση g\in C^1[a,b], με g(a)=g(b)=0,

ισχύει \displaystyle \int_{a}^{b}f(x){g}'(x)dx=0 να δείξετε ότι f(x)=c (σταθερά) στο [a,b].

2. Αν f\in C[a,b] και για οποιαδήποτε συνάρτηση g\in C^2[a,b], με g(a)=g(b)={g}'(a)={g}'(b)=0,

ισχύει \displaystyle \int_{a}^{b}f(x){g}''(x)dx=0 να δείξετε ότι f(x)=c_1+c_2x (c_1,c_2 σταθερές) στο [a,b].
Λάμπρο μήπως στο δεύτερο έχει κάποιο τυπογραφικό;


Χρήστος Ντάβας
Wir müssen wissen — wir werden wissen! D.Hilbert
Λάμπρος Κατσάπας
Δημοσιεύσεις: 838
Εγγραφή: Σάβ Ιουν 17, 2017 10:17 pm
Τοποθεσία: Αθήνα

Re: 2 Λήμματα

#3

Μη αναγνωσμένη δημοσίευση από Λάμπρος Κατσάπας » Δευ Αύγ 17, 2020 11:46 am

Christos.N έγραψε:
Δευ Αύγ 17, 2020 9:39 am
Λάμπρο μήπως στο δεύτερο έχει κάποιο τυπογραφικό;
Καλημέρα κ.Χρήστο. Είναι σωστή η διατύπωση. Δεν υπάρχει τυπογραφικό.


Άβαταρ μέλους
stranger
Δημοσιεύσεις: 585
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: 2 Λήμματα

#4

Μη αναγνωσμένη δημοσίευση από stranger » Δευ Αύγ 17, 2020 1:02 pm

Γράφω για το (1).
Έστω c = \frac{\int_{a}^{b}f(y)dy}{b-a}.Παρατηρούμε ότι \int_{a}^{b} (f(x)-c) g'(x) dx = 0 για κάθε g \in C^1[a,b] με g(a)=g(b)=0.
Τότε, g(x)= \int_{a}^{x}(f(t) - c) dt. Τότε g'(x)= f(x)-c και g(a)=g(b)=0.
Άρα \int_{a}^{b}(f(x) - c)^2dx = 0. Όποτε επειδή η f είναι συνεχής έχουμε f(x)=c για κάθε x.


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

Re: 2 Λήμματα

#5

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Τρί Αύγ 18, 2020 9:46 pm

Λάμπρος Κατσάπας έγραψε:
Κυρ Αύγ 16, 2020 11:24 pm
1. Αν f\in C[a,b] και για οποιαδήποτε συνάρτηση g\in C^1[a,b], με g(a)=g(b)=0,

ισχύει \displaystyle \int_{a}^{b}f(x){g}'(x)dx=0 να δείξετε ότι f(x)=c (σταθερά) στο [a,b].

2. Αν f\in C[a,b] και για οποιαδήποτε συνάρτηση g\in C^2[a,b], με g(a)=g(b)={g}'(a)={g}'(b)=0,

ισχύει \displaystyle \int_{a}^{b}f(x){g}''(x)dx=0 να δείξετε ότι f(x)=c_1+c_2x (c_1,c_2 σταθερές) στο [a,b].
Να κάνω το 2.
Η πρώτη παρατήρηση είναι ότι αν ισχύει η

\displaystyle \int_{a}^{b}f(x){g}''(x)dx=0
ισχύει και η

\displaystyle \int_{a}^{b}(f(x)-kx+l){g}''(x)dx=0

Ξεκινώντας από την

\displaystyle g''(x)=f(x)-c_1(x-a)-c_2

έχουμε διαδοχικά

\displaystyle g'(x)=\int_{a}^{x}f(t)dt-c_1\frac{(x-a)^2}{2}-c_2(x-a)

\displaystyle g(x)=\int_{a}^{x}\int_{a}^{t}f(s)dsdt-c_1\frac{(x-a)^3}{6}-c_2\frac{(x-a)^2}{2}

Από τις συνθήκες g'(b)=0,g(b)=0 προσδιορίζονται τα c_1,c_2
(το σύστημα έχει μοναδική λύση)

Ετσι \displaystyle \int_{a}^{b}(f(x)-c_1(x-a)-c_2)^{2}dx=0

και παίρνουμε το ζητούμενο.

Τα ίδια συμπεράσματα ισχύουν αν υποθέσουμε ότι η g είναι άπειρες φορές παραγωγίσημη
και g^{(n)}(a)=g^{(n)}(b)=0,n\in \mathbb{N}
με απόδειξη εκτός φακέλου.


Απάντηση

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

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

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