Visualizza wikitesto di Testwiki:Proposte di trasferimento/Wikiversità/Studio di funzione

__NOINDEX__ 
In [[analisi matematica]] per '''studio di funzione''' s'intende quell'insieme di procedure che hanno lo scopo di analizzare una [[Funzione (matematica)|funzione]] <math>f(x)\colon I \to\R</math>, con <math>I</math> un sottoinsieme di <math>\R</math>, al fine di determinarne alcune caratteristiche qualitative.
Uno studio di funzione correttamente condotto permette di tracciare il [[grafico di una funzione|grafico della funzione]].
<!-- Il tag \,\! serve per rendere la formula come PNG invece che come HTML. Si prega di non rimuoverlo.--> 
[[File:Studio di funzione (esempio con derive).jpg|thumb|right|Grafico della funzione <math>y=e^{5x-3x^2}-x^3</math>, realizzato con [[Derive]] 5]]

== Insieme di definizione ==
Per determinare l'[[insieme di definizione]] <math>I</math> di una funzione assegnata in termini di funzioni elementari, a meno di indicazioni esplicite, si deve individuare il sottoinsieme dei numeri reali più esteso entro il quale l'espressione che la definisce non perda di senso.
In particolare tra le funzioni elementari:
* le frazioni devono avere denominatore diverso da zero, ovvero per poter scrivere <math>\frac{f(x)}{g(x)}</math> serve <math>g(x)\neq0</math>;
* le [[radice (matematica)|radici]] di indice pari devono avere radicando non negativo, ovvero per poter scrivere <math>\sqrt[2n]{f(x)}</math> serve <math>f(x)\geqslant0</math>;
* i [[logaritmo|logaritmi]] devono avere argomento strettamente positivo e base strettamente positiva e diversa da 1, ovvero per poter scrivere <math>\log_{f(x)}g(x)</math> servono <math>f(x)>0</math>, <math>f(x)\neq1</math> e <math>g(x)>0</math>

Ad esempio, <math>\tan(x)=\frac{\sin(x)}{\cos(x)}</math> ha senso solo per <math>\cos(x)\neq0</math>.

== Simmetrie e periodicità ==
Si cercano quindi eventuali simmetrie (solo rispetto a 0) o periodicità.

Se il dominio della funzione è simmetrico rispetto a 0, allora
* se <math>f(x)=f(-x)</math> allora la funzione è [[funzioni pari e dispari|pari]] e il suo grafico è [[simmetria assiale|simmetrico rispetto all'asse]] delle ordinate (asse <math>y</math>)
* se <math>f(-x)=-f(x)</math> allora la funzione è [[funzioni pari e dispari|dispari]] e il suo grafico è [[simmetria centrale|simmetrico rispetto all'origine]] <math>O\equiv(0,0)</math>
In entrambi i casi la costruzione di metà del grafico permette di costruire l'altra metà.
Si tralasciano però altre possibili simmetrie assiali o centrali del grafico.

Se per qualche numero reale <math>T>0</math> e per ogni elemento <math>x</math> dell'insieme di definizione si ha che la funzione è ancora definita in <math>x+T</math>, con <math>f(x+T)=f(x)</math>, allora la funzione è [[funzione periodica|periodica]] di periodo <math>T</math>.
In questo caso la costruzione del grafico su un intervallo <math>[0,T[</math> permette di costruire tutto il grafico.

{{Vedi anche|Funzioni pari e dispari|Funzione periodica}}

== Continuità / discontinuità della funzione ==
{{Vedi anche|Funzione continua|Punto di discontinuità}}
Come per la determinazione dell'insieme di definizione, si può procedere a determinare gli intervalli di continuità della funzione.

A questo scopo, poiché la composizione di funzioni continue è continua e molte funzioni elementari sono continue [[quasi ovunque]], in molti esercizi assegnati lo studio della continuità di una funzione si riduce allo studio della continuità in alcuni punti.

=== Calcolo dei limiti ===
Si studia quindi il ''comportamento'' della funzione nella [[frontiera (topologia)]] (cioè agli estremi) degli intervalli di continuità della funzione (frontiera che contiene la frontiera dell'insieme di definizione).

In particolare, per ognuno di questi intervalli si possono cercare i [[limite di una funzione|limiti]]
* per <math>x</math> che tende ad un estremo sinistro, [[limite di una funzione#Limite destro, sinistro, per eccesso, per difetto|da destra]]
* per <math>x</math> che tende ad un estremo destro, da sinistra.

Questi calcoli permettono di determinare eventuali ulteriori punti di continuità della funzione ed [[asintoto|asintoti verticali]]. Nelle scuole superiori i punti di discontinuità vengono solitamente classificati.

=== Asintoti ===
Se la funzione è definita su un insieme illimitato inferiormente o superiormente, per ciascuno dei corrispondenti limiti <math>x\to-\infty</math> e <math>x\to+\infty</math> si può cercare un eventuale [[asintoto]] ''orizzontale'' od ''obliquo'', ovvero funzioni lineari <math>g(x)=ax+b</math> che approssimano la funzione in questi limiti:
:<math>\lim_{x\to+\infty}(f(x)-g(x))=0</math>
:<math>\lim_{x\to-\infty}(f(x)-g(x))=0</math>

In particolare (eventualmente cambiando il segno del limite)
* se <math>a=0</math> (asintoto orizzontale) si ha
:<math>\lim_{x\to+\infty}f(x)=b</math>
* se <math>a\neq0</math> (asintoto obliquo) si hanno
:<math>\lim_{x\to+\infty}f(x)=\lim_{x\to\infty}g(x)=\infty</math>
:<math>\lim_{x\to+\infty}\frac{f(x)}{x}=\lim_{x\to\infty}\frac{g(x)}{x}=a</math>
:<math>\lim_{x\to+\infty}(f(x)-ax)=\lim_{x\to\infty}(g(x)-ax)=b</math>

Questi asintoti lineari sono un caso particolare del concetto di [[stima asintotica|comportamento asintotico]], in cui si cercano ''approssimazioni'' di <math>f</math> tramite funzioni <math>g</math>, non necessariamente lineari.

== Zeri e intersezioni con gli assi ==
Essendo già rappresentati gli assi, ovvero le rette di equazioni rispettive <math>y=0</math> e <math>x=0</math>, vanno individuati gli eventuali punti di intersezione tra essi e il grafico della funzione.

Le intersezioni si individuano come sempre, mettendo a sistema le equazioni corrispondenti:
* ''intersezioni con l'asse <math>x</math>'':
:<math>\begin{cases}y=f(x)\\y=0\end{cases}\quad\Rightarrow\quad\begin{cases}f(x)=0\\y=0\end{cases}</math>
* ''intersezioni con l'asse <math>y</math>'':
:<math>\begin{cases}y=f(x)\\x=0\end{cases}\quad\Rightarrow\quad\begin{cases}y=f(0)\\x=0\end{cases}</math>

In particolare, i punti di intersezione del grafico con l'asse delle ascisse indicano i punti dove la funzione si annulla, <math>f(x)=0</math>.

== Segno della funzione ==
Per il [[teorema di Bolzano]], all'interno di un intervallo di continuità una funzione può cambiare segno solo quando assume il valore 0.

Dunque si possono ora cercare gli insiemi di positività e di negatività della funzione, ovvero gli insiemi nei quali la funzione assume valori strettamente positivi o strettamente negativi, risolvendo rispettivamente le [[disequazione|disequazioni]] <math>f(x)>0</math> e <math>f(x)<0</math>.

Il grafico della funzione avrà dunque <math>y=f(x)>0</math> negli insiemi di positività e <math>y=f(x)<0</math> negli intervalli di negatività.

== Derivata prima ==
Per studiare l'andamento della funzione si può quindi cercare di determinarne la derivabilità e di cercare un'espressione esplicita per la [[derivata]].

Come per la continuità, in molti esercizi assegnati lo studio della derivabilità (e della continuità della derivata) di una funzione si riduce allo studio in alcuni punti.

Lo studio della derivata <math>f'</math> segue la falsariga dello studio della funzione <math>f</math> sopra indicato, una volta determinata (tramite le usuali tecniche di derivazione) un'espressione esplicita <math>f'(x)</math>.

* L'insieme di definizione di <math>f'</math> corrisponde all'insieme di derivabilità di <math>f</math>
* L'insieme di continuità di <math>f'</math> corrisponde all'insieme di continua derivabilità di <math>f</math>

Come per i punti di discontinuità di <math>f</math>, anche alcuni punti di discontinuità di <math>f'</math> possono essere classificati, individuando in particolare [[punto angoloso|punti angolosi]], [[cuspide|cuspidi]], [[flesso|flessi]].

== Andamento ==
* I punti dove si annulla <math>f'</math> sono i [[punto stazionario|punti stazionari]] di <math>f</math>
* Se <math>f'</math> si annulla su tutto un intervallo, in quell'intervallo la funzione è costante e si ha un ''plateau''
* Gli insiemi di positività (o di negatività) di <math>f'</math> sono insiemi in cui <math>f</math> è monotòna crescente (o decrescente)

Una funzione <math>f</math> può essere strettamente crescente in un intervallo anche se in quell'intervallo la sua derivata <math>f'</math> non è definita, o se è definita e si annulla.

Ad esempio, la funzione <math>f\colon\mathbb{R}\to\mathbb{R}</math> definita da
:<math>f(x)=\begin{cases}x&x<0\\x+1&x\geqslant0\end{cases}</math>
è strettamente crescente su tutto il dominio, ma non è continua (tantomeno derivabile) in 0

Oppure, la funzione <math>f\colon\mathbb{R}\to\mathbb{R}</math> definita da
:<math>f(x)=x^3</math>
è strettamente crescente su tutto il dominio, anche se <math>f'(0)=0</math>.

=== Massimi e minimi ===
{{Vedi anche|Massimo e minimo di una funzione}}
I punti stazionari possono essere punti di massimo relativo, di minimo relativo, o di flesso, a seconda del segno della derivata in un intorno del punto:
* se la funzione è ''prima'' crescente e ''dopo'' decrescente, si ha un punto di massimo relativo (o ''locale'')
* se la funzione è ''prima'' decrescente e ''dopo'' crescente, si ha un punto di minimo relativo (o ''locale'')
Se la funzione ha un ''plateau'', ovvero se si annulla in tutto un intervallo, tutti i punti di quell'intervallo possono essere minimi locali o massimi locali.

Una funzione può avere anche massimi o minimi relativi in punti nei quali la derivata non sia definita.
Ad esempio la funzione <math>f\colon\mathbb{R}\to\mathbb{R}</math> definita da <math>f(x)=|x|</math> ha un minimo relativo in 0.

I massimi e i minimi ''assoluti'' di una funzione, se esistono, si trovano tra i punti di massimo e minimo relativo o sulla frontiera dell'insieme di continuità della funzione. Per determinarli è sufficiente calcolare i valori assunti dalla funzione in questi punti.

== Derivata seconda ==
Si può procedere con la derivata seconda della funzione come già per la derivata prima.

In particolare
* Nei punti in cui <math>f''(x)=0</math> si possono avere punti di massimo relativo, di minimo relativo, o di flesso
* Negli intervalli in cui <math>f''(x)>0</math> la funzione <math>f</math> è convessa ("rivolta verso l'alto")
* Negli intervalli in cui <math>f''(x)<0</math> la funzione <math>f</math> è concava ("rivolta verso il basso")

== Derivate di ordine superiore ==
Se in un punto <math>x_0</math> si annullano sia la derivata prima che la derivata seconda della funzione, e se la funzione è ulteriormente derivabile con continuità in <math>x_0</math>, la natura del punto <math>x_0</math> può anche essere identificata dalla prima derivata per cui <math>f^{(k)}(x_0)\neq0</math>.

== Ulteriori calcoli ==
Le richieste delle scuole superiori si fermano solitamente qua, anche se è possibile cercare ulteriori informazioni sulla funzione.

=== Simmetrie e traslazioni ===
Come già indicato, non solo le simmetrie considerate ma ogni simmetria (centrale o assiale rispetto a rette parallele all'asse delle ascisse) del grafico permette di ricostruire l'intero grafico a partire da una sola parte.
In particolare, si hanno
* un insieme di definizione simmetrico
* un insieme di continuità simmetrico
* punti di non continuità (e loro classificazione) simmetrici
* eventuali asintoti simmetrici
* un insieme di zeri simmetrico
* insiemi di positività e di negatività simmetrici
* un insieme di derivabilità simmetrico
* punti di non derivabilità (e loro classificazione) simmetrici
* punti stazionari (e loro classificazione) simmetrici
* insiemi di crescenza e di decrescenza simmetrici
* un insieme di doppia derivabilità simmetrico
* insiemi di convessità e di concavità simmetrici

Inoltre, non solo le invarianze per traslazione considerate (periodicità) ma tutte le invarianze per traslazione (<math>f(x+t)=f(x)+s</math>) del grafico permettono di ricostruire l'intero grafico a partire da una sola parte
In particolare, si hanno
* un insieme di definizione periodico
* un insieme di continuità periodico
* punti di non continuità (e loro classificazione) periodici
* eventuali asintoti invarianti per detta traslazione
* un insieme di derivabilità periodico
* punti di non derivabilità (e loro classificazione) periodici
* punti stazionari (e loro classificazione) periodici
* insiemi di crescenza e di decrescenza periodici
* un insieme di doppia derivabilità periodico
* insiemi di convessità e di concavità periodici

=== Punti significativi ===
Per individuare alcuni punti "a caso" del grafico della funzione è sufficiente ricordarne l'equazione di definizione <math>y=f(x)</math> per costruire eventuali punti ausiliari <math>P\equiv(x_0,f(x_0))</math>

== Esempio ==
A titolo di esempio, per la funzione "definita" da
:<math>f(x)=3x^3-8x^2+5x+1</math>
questo tipo di studio fornisce le seguenti indicazioni.

* La funzione può essere definita su tutto <math>\mathbb{R}</math>, dove risulta continua e derivabile con continuità infinite volte.
* La funzione è illimitata sia inferiormente che superiormente, ovvero non ha né minimi assoluti né massimi assoluti.
* La funzione non possiede asintoti orizzontali, verticali, né obliqui.
* Il suo grafico presenta una simmetria centrale rispetto al punto <math>P\equiv(x_0,f(x_0))</math> con <math>x_0=\frac{8}{9}</math>, simmetria che negli esercizi viene usualmente tralasciata.
* La funzione non è periodica.
* Si ha <math>f(0)=1</math>.
* Lo studio del segno indica che la funzione
** assume valori negativi su <math>]-\infty,x_1[</math>;
** si annulla in <math>x_1=\frac{1}{9}\left(8-19\sqrt[3]{\frac{2}{299-27\sqrt{85}}}-\sqrt[3]{\frac{299-27\sqrt{85}}{2}}\right)\approx-0,1578</math>;
** assume valori positivi su <math>]x_1,+\infty[</math>.
* Lo studio della derivata prima indica che la funzione
** è crescente su <math>]-\infty,x_2[</math>
** ha un massimo relativo in <math>x_2=x_P-\frac{\sqrt{19}}{9}</math>, con <math>f(x_2)=y_P+\frac{38\sqrt{19}}{243}</math>
** è decrescente su <math>]x_2,x_3[</math>
** ha un minimo relativo in <math>x_3=x_P+\frac{\sqrt{19}}{9}</math>, con <math>f(x_3)=y_P-\frac{38\sqrt{19}}{243}</math>
** è crescente su <math>]x_3,+\infty]</math>
* Lo studio della derivata seconda indica che la funzione
** è convessa su <math>]-\infty,x_0[</math>
** ha un punto di flesso in <math>x_0=x_P</math>
** è concava su <math>]x_0,+\infty[</math>
Non è necessario calcolare derivate di ordine superiore per poter rappresentare, con buona approssimazione, il seguente grafico
[[File:Function y = 3·x^3 - 8·x^2 + 5·x + 1.jpg|4000x500px|thumb|none|Grafico funzione esempio <math>y=3x^3-8x^2+5x+1</math>]]