Funzione integrale e teorema di Rolle

Allora, ho un esercizio sulle funzioni integrali che ho cercato di risolvere con il teorema di Rolle: sia la funzione così definita



dimostrare che esiste tale che . Individuare almeno un punto stazionario in tale intervallo e descriverlo.


Ora, ho pensato di dovermi rifare al teorema di Rolle. Dunque, so che è derivabile e se è derivabile nell'intervallo è anche continua. Prima domanda: devo controllare la derivabilità anche agli estremi sostituendo -2 e 2 nell'espressione della derivata?
Dopodiché pongo numeratore uguale a zero per trovare questo punto stazionario e come la risolvo?

Il procedimento è corretto?

Ciao ClaudiaBrescia.

Sei proprio certa della traccia? Ho qualche perplessità sulla funzione integranda. Quella tangente rende l'esercizio troppo complicato per un istituto superiore. Fammi sapere.

sìsì, la traccia è proprio quella. Ci ha detto che va risolto più "ragionando" che analiticamente, quindi presuppongo ci sia da applicare qualche teorema o dimostrare solamente che vale qualche teorema tale da rendere vera la sentenza!

Intervengo nella discussione previo permesso di Ifrit.

Ciao ClaudiaBrescia, cercherò di spiegare per quanto è nelle mie facoltà, e per quanto tu puoi effettivamente capire con gli strumenti matematici di cui disponi (scuole superiori), il motivo per cui la traccia dell'esercizio è priva di ogni significato.

Chi ha redatto il testo lo ha fatto distrattamente - e può capitare, beninteso - perché non ha tenuto conto di un aspetto non trascurabile.

Siamo di fronte ad una funzione integrale , definita da



e vogliamo dimostrare che esiste tale che .

Prima di tutto dobbiamo domandarci dove è definita la funzione integrale . Per farla breve il problema riguarda proprio la tangente presente al numeratore.

Sì, perché per definizione e noi sappiamo che il coseno si annulla in un'infinità di punti, tutti quelli della forma al variare di .

Qual è il primo di questi punti che incontriamo partendo da e procedendo per valori di ascissa crescenti? Naturalmente .

Ci domandiamo: la funzione integrale è definita per ? In modo del tutto equivalente, l'integrale improprio di seconda specie



converge o no? Se sì, allora il dominio contiene l'intervallo ; in caso contrario, la funzione integrale non è definita per ascisse maggiori di .

Il punto è che quell'integrale non converge e, ancor peggio, non disponi degli strumenti necessari per dimostrare che non converge.

Per dimostrare che non converge si ricorre ad opportuni criteri di convergenza per integrali impropri di seconda specie e non è affatto difficile farlo...per un universitario però!

In modo analogo, si può dimostrare che la funzione integrale non converge nemmeno per .


La continuità della funzione integranda fa sì che la funzione integrale sia continua e derivabile sull'intervallo .

Si conclude che la funzione integrale ha come dominio l'intervallo .

Dato che , concludiamo anche che la richiesta dell'esercizio è priva di significato. Chi ha ideato il testo non ha tenuto conto della discontinuità generata dalla tangente. :(


Ti propongo una versione che per i tuoi scopi è utile e valida:



Morale: se consideriamo un intervallo della forma con , l'esercizio è ok.

Proviamo a svolgere l'esercizio applicando il teorema di Rolle. Vediamo se sussistono le ipotesi:

- la funzione integrale è continua su e derivabile su in forza del teorema fondamentale del calcolo integrale, perché la funzione integranda è continua sull'intervallo

- i valori assunti agli estremi dell'intervallo coincidono?



Ora consideriamo la valutazione all'estremo sinistro



per una nota proprietà degli integrali (inversione degli estremi)



dopodiché, per un'altra proprietà (omogeneità)



ora viene il bello: osserviamo che la funzione integranda è dispari, infatti detta



risulta



e quindi



effettuiamo la sostituzione , da cui , e modifichiamo di conseguenza gli estremi:

- se

- se





e ancora grazie alla proprietà precedentemente usata



Non farti trarre in inganno dal nome della variabile muta di integrazione.

Abbiamo dimostrato che . Le ipotesi del teorema di Rolle sussistono e abbiamo dimostrato che esiste tale che .


A proposito: occhio al