Função analítica

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Em matemática, uma função analítica é uma função que pode ser localmente expandida em séries de Taylor. Grosseiramente falando, funções analíticas são uma família mais ampla que a das funções polinomiais mas que ainda preserva certas propriedades destes. Classicamente falando, existem funções analíticas reais e funções analíticas complexas. O desenvolvimento da análise funcional ao longo do século XX levou ao surgimento de teorias de funções analíticas que assumem valores em um espaço de Banach complexo arbitrário.

Definição para funções reais[editar | editar código-fonte]

Seja D um conjunto aberto na reta e f:D\to\mathbb{R} uma função infinitamente derivável. Diz-se que f é analítica se para cada ponto x_0D, existir uma vizinhança V_{x_0}\subseteq D de x_0 tal que

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

Definição para funções complexas[editar | editar código-fonte]

Seja D um conjunto aberto no plano complexo e f:D\to\mathbb{C} uma função infinitamente diferenciável. f é dita analítica se para cada ponto x_0 \in D, existir uma vizinhança V_{x_0}\subseteq D de x_0 tal que


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

Diferenças entre funções analíticas reais e complexas[editar | editar código-fonte]

Existem algumas diferenças entre funções analíticas complexas e funções analíticas reais. Considere por exemplo a função: f(x)=\sin(x) esta função é analítica em toda a reta como função real e analítica em todo o plano como função complexa. Observe no entanto que esta função é limitada na reta mas não o é no plano complexo. De fato, o teorema de Liouville garante que as únicas funções analíticas em todo o plano e limitadas são constantes.

Contra-exemplos[editar | editar código-fonte]

É possível construir funções reais infinitamente diferenciáveis mas que não são analíticas.

Vários contra-exemplos são construídos a partir de funções do tipo f(x) = exp(-1/x) para x > 0. Pode-se provar que esta função (analítica) tem a notável propriedade que

\lim_{x \to 0} f^{(n)}(x) = 0

Então, a função de domínio real g(x) = f(x) \mbox{ se } x > 0, g(x) = 0 \mbox{ se } x \le 0 é infinitamente diferenciável, mas não é analítica.