✎ analise2:analitica []

You've loaded an old revision of the document! If you save it, you will create a new version with this data.

Série de Taylor infinita:

Seja $f(x) = \sum_{n=0}^{\infty} c_n x^n$ para $x \in (-R, R).$ Então para todo $x_0 \in (-R, R)$ e $x$ tal que $|x-x_0| < R - |x_0|$ temos
$$
 f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!} (x-x_0)^n.
$$

Isto é uma série de potências em torno de ponto $x_0.$

Uma função é analítica num domínio aberto $D$, se para qualquer $x_0 \in D$ existe uma vizinhança em torno de $x_0$, i.e $(x_0-r, x_0 +r)$ tal que para todo $x$ nesta vizinhaça temos:

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

Observe que a função $f(x) = e^{-1/x}, x \neq 0$, $f(0)=0$ é uma função que é infinitamente diferenciável, porém não é analítica.

Provamos uma propriedade chave das funções analíticas: O conjunto de zeros de uma função analítica $f: D \rightarrow \mathbb{R}$ definida num aberto $D$ não pode ter pontos de acumulação em $D$ a não ser que $f$ é identicamente nula.

Corolário: Sejam $f, g : D \rightarrow \mathbb{R}$ funções analíticas e $\{x \in D | f(x)=g(x)\}$ ter um ponto de acumulação em $D.$ Então $f(x)=g(x), \forall x \in D.$

Edit summary

Note: By editing this page you agree to license your content under the following license: CC Attribution-Share Alike 4.0 International