Concavita' di successione di funzioni

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
Mondo
Messaggi: 65
Iscritto il: 22 dic 2007, 16:00
Contatta:

Concavita' di successione di funzioni

Messaggio da Mondo » 04 nov 2014, 17:54

Sia $ f_0(x) = x(1-x) $.
Definiamo $ f_{i+1}(x)=f_i(x^2)+f_i(2x-x^2) $.

Dimostrare che $ f_n(x) $ e' concava per ogni $ n \in \mathbb N $.
Réver e révéler, c'est à peu prés le meme mot (R. Queneau)

Talete
Messaggi: 744
Iscritto il: 05 giu 2014, 13:47
Località: Riva del Garda

Re: Concavita' di successione di funzioni

Messaggio da Talete » 18 gen 2015, 15:10

Ci provo per induzione sugli indici.
Passo base: $f_0(x)$ è concava. La derivata seconda di $f_0$ è
\[f_0''(x)=-2,\]
quindi sono a posto.
Passo induttivo: mi basta dire che se $f_i(x)$ è concava, allora lo sono anche $f_i(x^2)$ e $f_i(2x-x^2)$, e che se lo sono queste due lo è anche $f_{i+1}(x)$. Quest'ultimo passaggio è banale, difatti
\[f_i(x^2)\le0 \wedge f_i(2x-x^2)\le0 \Rightarrow f_{i+1}(x)=f_i(x^2)+f_i(2x-x^2)\le0.\]
Ora chiedo il vostro aiuto: come faccio a dimostrare che se $f_i(x)$ è concava lo sono anche $f_i(x^2)$ e $f_i(2x−x^2)$? Esiste un criterio che stabilisce la convessità/concavità di una composizione di funzioni delle quali si conoscono concavità e convessità? Grazie in anticipo. :D
"Sei il Ballini della situazione" -- Nikkio
"Meriti la menzione di sdegno" -- troppa gente
"Sei arrivato 69esimo? Ottima posizione!" -- Andrea M. (che non è Andrea Monti, come certa gente pensa)
"Se ti interessa stanno inventando le baricentriche elettroniche, che dovrebbero aiutare a smettere..." -- Bernardo

fph
Site Admin
Messaggi: 3734
Iscritto il: 01 gen 1970, 01:00
Località: in giro
Contatta:

Re: Concavita' di successione di funzioni

Messaggio da fph » 19 gen 2015, 12:48

C'è questo, se vuoi. Supponi tutto sia derivabile due volte. Derivando due volte $h(x) = f(g(x))$, hai $h'' = f''(g(x))(g'(x))^2+f'(g(x))g''(x)$; il primo addendo è chiaramente positivo, il secondo lo è solo se f è pure crescente. Quindi questo dimostra: se $f,g\in C^2$ sono convesse e $f$ è crescente, allora $f\circ g$ è convessa. Non è un se e solo se.
--federico
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]

Rispondi