Funzione analitica

Da Wikipedia, l'enciclopedia libera.

In matematica, una funzione analitica è una funzione localmente espressa da una serie di potenze convergente. Spesso il termine "funzione analitica" è utilizzato come sinonimo di funzione olomorfa.[1]

Le funzioni analitiche possono essere viste come un ponte fra i polinomi e le funzioni generiche. Esistono le funzioni analitiche reali e le funzioni analitiche complesse: categorie simili in alcuni aspetti, differenti in altri. Funzioni di questo tipo sono infinitamente derivabili, ma le funzioni analitiche complesse esibiscono proprietà che generalmente non appartengono alle funzioni analitiche reali. Una funzione è analitica se e solo se, preso comunque un punto appartenente al dominio della funzione, esiste un suo intorno in cui la funzione coincide col suo sviluppo in serie di Taylor.

Definizione[modifica | modifica wikitesto]

Una funzione f è analitica su un insieme aperto D della retta reale se per ogni x_0 in D si può scrivere f(x) come

f(x) =\sum_{n=0}^\infty a_n \left( x-x_0 \right)^n
= a_0 + a_1 (x-x_0) + a_2 (x-x_0)^2 + a_3 (x-x_0)^3 + \cdots

dove i coefficienti a_0,a_1,\cdot sono numeri reali e la serie è convergente in un intorno di x_0.

In alternativa, una funzione analitica è una funzione infinitamente derivabile, ossia una funzione liscia, tale che la sua serie di Taylor

T(x) = \sum_{n=0}^{\infin} \frac{f^{(n)}(x_0)}{n!} (x-x_0)^{n}

in ogni punto x_0 appartenente al dominio, converge a f(x) per x in un intorno di x_0.

L'insieme di tutte le funzioni analitiche reali appartenenti ad un dato insieme D si denota di solito come C^\omega(D).

Una funzione f definita in un qualche sottoinsieme della retta reale, si dice essere reale analitica al punto x se esiste un intorno D di x nel quale f è reale analitica.

La definizione di funzione analitica complessa è ottenuta sostituendo dappertutto "reale" con "complesso".

Proprietà delle funzioni analitiche[modifica | modifica wikitesto]

Tra le principali proprietà che caratterizzano le funzioni analitiche ci sono le seguenti:

  • La somma, il prodotto e la composizione di funzioni analitiche sono analitiche.
  • Il reciproco di una funzione analitica che non si annulla mai, è analitico, così come l'inversa di una funzione analitica invertibile la cui derivata non è mai nulla.
  • Tutti i polinomi sono funzioni analitiche. Per un polinomio, l'espansione in serie di potenze contiene solo un numero finito di termini non nulli.
  • Tutte le funzioni analitiche sono lisce.

Un polinomio non può valere zero in troppi punti a meno che non sia il polinomio nullo (più precisamente, il numero di zeri è al massimo pari al grado del polinomio). Un'affermazione simile ma più debole vale per le funzioni analitiche. Se l'insieme degli zeri di una funzione analitica f ha un punto di accumulazione all'interno del suo dominio, allora f è nulla su tutta la componente connessa del dominio che contiene il punto di accumulazione.

Più formalmente questa affermazione può essere espressa nel modo seguente. Se (r_n) è una successione di numeri distinti tale che f(r_n)=0 per ogni n e questa successione converge a un punto r nel dominio D, allora f è identicamente zero nella componente connessa di D contenente r. Inoltre, se tutte le derivate di una funzione analitica sono nulle in un punto, vale ancora la conclusione precedente.

Queste affermazioni implicano che nonostante le funzioni analitiche abbiano più gradi di libertà rispetto ai polinomi, sono tuttavia ancora abbastanza rigide.

Analiticità e derivabilità[modifica | modifica wikitesto]

Exquisite-kfind.png Per approfondire, vedi Funzione olomorfa.

Tutte le funzioni analitiche (reali o complesse) in un punto x_0 sono infinitamente derivabili in |x-x_0|<R, dove R è il raggio di convergenza della serie. Inoltre, si dimostra che nella stessa regione la derivata della funzione coincide con la serie delle derivate (la serie derivata), ovvero se:

f(x) = \sum_{k}{ a_k (x-x_0)^k }

allora:

f^{\prime}(x) = \sum_{k}{ k a_k (x-x_0)^{k-1} }

Allo stesso modo, essendo il limite uniforme di una successione di funzioni continue (polinomi), ogni funzione analitica è continua (e quindi integrabile) su tutto il suo insieme di convergenza, e la sua primitiva è la serie primitiva. In altre parole, se:

f(x) = \sum_{k}{ a_k x^k }

si ha:

\int f(x) dx = \sum_{k}{ \frac{a_k}{k+1} x^{k+1} }

Non tutte le funzioni reali lisce sono analitiche; ad esempio la funzione definita come:

f(x)=\begin{cases}\exp(-1/x)&\text{se }x>0 \\ 0&\text{se }x\le0 \end{cases}

è liscia in x=0 ma non è analitica in 0. Questo può essere espresso dall'implicazione (non invertibile):

 f \in C^{\omega}(E) \Rightarrow f \in C^{\infty}(E)

se f : E \subseteq \R \to \R.

La situazione è molto diversa nel caso delle funzioni analitiche complesse. Si può dimostrare che tutte le funzioni olomorfe su un insieme aperto sono analitiche. Di conseguenza, in analisi complessa, il termine "funzione analitica" è un sinonimo di funzione olomorfa.

Condizione sufficiente[modifica | modifica wikitesto]

Se una funzione reale di variabile reale liscia definita su un aperto ha tutte le derivate maggiorabili dai termini di una successione geometrica (di ragione fissata) su un intorno di un dato punto, allora la funzione è analitica in quell'intorno. Formalmente, sia f : (a,b) \to \mathbb{R} ed appartenente a C^{\infty}(a,b) e sia  x_0 \in (a,b). Se esistono \Lambda, M, \delta > 0 tali che:

\left| f^{(k)}(x) \right| \le \Lambda M^{k} \qquad \forall k \ge 0 \quad \forall x \in (x_0 - \delta, x_0 + \delta)

allora:

f(x) = \sum_{k = 0}^{\infty} \frac{ f^{(k)}(x_0)}{k!}(x - x_0)^{k} \qquad \forall x \in (x_0 - \delta, x_0 + \delta)

In particolare, se una funzione ha tutte le derivate limitate su un intervallo, allora è ivi analitica (basta porre M = 1 nell'enunciato precedente). Questo mostra che funzioni come seno, coseno, esponenziale[2], funzioni iperboliche possono essere espresse in termini di serie di potenze sull'intero asse reale:

e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{3!} + \cdots
\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots
\cos x = 1 - \frac{x^2}{2} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots
\sinh x = x + \frac{x^3}{3!} + \frac{x^5}{5!} + \frac{x^7}{7!} + \cdots
\cosh x = 1 + \frac{x^2}{2} + \frac{x^4}{4!} + \frac{x^6}{6!} + \cdots

Dimostrazione[modifica | modifica wikitesto]

Dato che la funzione f è liscia, è possibile scriverne la formula di Taylor arrestata all'ordine n - 1 (resto secondo Lagrange):

f(x) = \sum_{k=0}^{n-1}\frac{f^{(k)}(x_0)}{k!}(x - x_0)^{k} + \frac{f^{(n)}(\xi)}{n!}(x - x_0)^{n} \quad \xi \in (x_0 - x, x_0 + x)

Se x si muove nell'intorno di x_0 di raggio \delta si può usare la maggiorazione (in valore assoluto) garantita dall'ipotesi:

\left| f(x) - \sum_{k=0}^{n-1}\frac{f^{(k)}(x_0)}{k!}(x - x_0)^{k} \right| = \left| \frac{f^{(n)}(\xi)}{n!}(x - x_0)^{n} \right| \le \frac{\Lambda M^{n}}{n!}\delta^{n} = \Lambda \frac{(M\delta)^{n}}{n!} \underset{n \longrightarrow +\infty}{\longrightarrow} 0

cioè la serie converge puntualmente a f sull'intervallo (x_0 - \delta, x_0 + \delta), Q.E.D.

Funzioni analitiche reali e complesse[modifica | modifica wikitesto]

Le funzioni analitiche reali e complesse hanno importanti differenze (come si può vedere dalla loro differente relazione con la derivabilità). Le funzioni analitiche complesse sono più rigide in molti sensi.

Secondo il teorema di Liouville, ogni funzione analitica complessa limitata definita sull'intero piano complesso è costante. Questa affermazione è chiaramente falsa per una funzione analitica reale, come si vede da

f(x)=\frac{1}{x^2+1}

Inoltre, se una funzione analitica complessa è definita in una palla aperta intorno a un punto x_0, la sua espansione in serie di potenze in x_0 è convergente nell'intera palla. Questo non è vero in generale per le funzioni analitiche reali. (Si noti che una palla aperta nel piano complesso sarebbe un disco bidimensionale, mentre sulla retta reale sarebbe un intervallo).

Ogni funzione analitica reale su un certo insieme aperto della retta reale può essere estesa a una funzione analitica complessa su un certo insieme aperto del piano complesso. Comunque, non tutte le funzioni analitiche reali definite sull'intera retta reale possono essere estese a una funzione complessa definita sull'intero piano complesso. La funzione f(x) definita nel paragrafo precedente è un controesempio.

Funzioni analitiche in più variabili[modifica | modifica wikitesto]

Si possono definire le funzioni analitiche in più variabili tramite le serie di potenze in queste variabili (vedi serie di potenze). Le funzioni analitiche in più variabili hanno alcune delle proprietà delle funzioni analitiche a una variabile. Comunque, soprattutto nel caso delle funzioni analitiche complesse, si trovano nuovi e interessanti fenomeni in più dimensioni.

Note[modifica | modifica wikitesto]

  1. ^ (EN) Eric W. Weisstein, Analytic Function in MathWorld, Wolfram Research.
  2. ^ Le derivate della funzione f(x) = e^x non sono limitate intorno a x = +\infty, ma lo sono su un qualunque intervallo limitato superiormente; quindi, e^x è sviluppabile in [-a,a] per ogni a reale, e di conseguenza lo è sull'intero asse reale.

Bibliografia[modifica | modifica wikitesto]

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica