Capítulo 3: Igualdades exponenciais e logarítmicas




Neste capítulo, explicaremos porque são válidas as identidades exponenciais mencionadas na introdução deste texto. As igualdades que usualmente definem as funções trigonométricas hiperbólicas, como soma de exponenciais,

$\displaystyle {\mathrm{senh}}x = \frac{e^{x}-e^{-x}}{2}$ e $\displaystyle \qquad \cosh x = \frac{e^{x} + e^{-x}}{2}. $ ( 3 . 1 )

Como sabemos, o logaritmo é a função inversa da função exponencial, com a devida restrição no domínio e na imagem. É natural então pensarmos que as funções trigonométricas hiperbólicas inversas possam ser escritas como logaritmos. Isto de fato ocorre e também mostraremos como são obtidas as fórmulas

$\displaystyle {\mathrm{senh}}^{-1} x = \ln(x + \sqrt{x^{2} + 1})$ e $\displaystyle \qquad \cosh^{-1} x = \ln(x + \sqrt{x^{2} - 1}).$ ( 3 . 2 )

Identidades similares às identidades em ( 3.1 ) e em ( 3.2 ) também são válidas para a trigonometria circular. Entretanto neste caso será necessário o envolvimento de variáveis complexas.

3.1 Método das séries de potência

O método que utilizaremos para provar as identidades em ( 3.1 ) nesta seção é o método das séries de potência e então faremos primeiramente uma breve introdução às séries de potência de variáveis reais. Para um estudo mais aprofundado sobre séries de potências recomendamos [ 8 , Swokowski].

Definição 3 . 1 Se $x$ é uma variável real independente, então uma série de potências em $x$ é uma soma infinita da forma,
$\displaystyle \sum_{n=0}^{\infty} a_{n} x^{n} = a_{0} + a_{1}x + a_{2}x^{2} + a_{3}x^{3} + a_{4}x^{4} + a_{5}x^{5} + \cdots $
sendo que cada termo $a_{n}$ é um número real, chamado de coeficiente da $n$ -ésima potência de $x$ .

Observe que o primeiro termo da série é $a_{0}x^{0}$ . Para simplificar a notação, estamos supondo que $x^{0} = 1$ mesmo para $x=0$ .

Se a soma infinita existir e for um número real $S$ , então dizemos que a série converge, ou ainda, que converge para $S$ . Se a soma não existir então a série é dita divergente. Naturalmente a convergência de uma série de potências está condicionada aos termos $a_{n}$ e principalmente ao valor da variável $x$ .

Observe que para $x=0$ a série se reduz a um único termo e, portanto, é uma série convergente (para $a_{0}$ ). O que realmente interessa é se existem outros valores de $x$ , além de $x=0$ , para os quais a série de potências é convergente. Nestes termos um fato importante é a determinação dos valores de $x$ que tornam uma série de potências convergente, isto é, determinar os valores de $x$ para os quais a soma infinita existe.

O conjunto dos valores de $x$ que tornam a série convergente é um intervalo, centrado em 0 e com raio $r>0$ . É um intervalo do tipo $(-r,r)$ , podendo ainda ser fechado em algum dos extremos. Para determinar este intervalo $(-r,r)$ usamos, em geral, o chamado teste da razão (Critério de D'Alembert).

Teorema 3 . 2 (Teste da razão) Dada uma série $\sum b_{n}$ , então
$i)$ Se $\lim\limits_{n \to \infty} \left\vert \frac{b_{n+1}}{b_{n}} \right\vert = L < 1$ , a série é absolutamente convergente (e, portanto, convergente).
$ii)$ Se $\lim\limits_{n \to \infty} \left\vert \frac{b_{n+1}}{b_{n}} \right\vert = L > 1$ , a série é divergente.

Para os valores de $x$ que tornam a série convergente, definimos uma função $f(x)$ , cujo domínio é o intervalo de convergência da série. O recíproco disto é uma pergunta mais interessante. Dada uma função $f(x)$ definida em algum intervalo $I = (-r,r)$ , é possível obter uma série de potências $\sum a_{n}x^{n}$ de forma que $f(x) = \sum a_{n}x^{n}$ para todo $x \in I$ ? Mais ainda, se existir tal série, como devem ser os coeficientes $a_{n}$ ? A segunda pergunta é respondida pelo teorema de Maclaurin.

Teorema 3 . 3 (Teorema de Maclaurin) Se $f(x)$ é uma função que admite uma representação por série de potências de $x$ ,
$\displaystyle f(x) = \sum_{n=0}^{\infty} a_{n} x^{n} $

para todo $x \in (-r,r)$ , então $f$ é uma função infinitamente diferenciável no ponto $x=0$ e mais ainda,

$\displaystyle f(x) = f(0) + f'(0)x + \frac{f''(0)}{2} x^{2} + \frac{f'''(0)}{3!... ... + \frac{f^{(4)}(0)}{4!} x^{4} + \cdots + \frac{f^{(n)}(0)}{n!} x^{n} + \cdots $
para todo $x \in (-r,r)$ .

Este teorema nos diz principalmente que os coeficientes $a_{n}$ , da série de potências de uma função, são respectivamente $\frac{f^{(n)}(0)}{n!}$ , sendo que a notação $f^{(n)}$ refere-se à derivada de ordem $n$ da função $f$ .

Para exemplificar o processo, vamos obter as séries de potência de algumas funções de interesse como ${\mathrm{senh}}x$ , $\cosh x$ , ${\mathrm {sen}}x$ , $\cos x$ e $e^{x}$ , assumindo que estas funções admitem uma representação em série de potências em algum intervalo $(-r,r)$ . Este não deve ser um trabalho difícil neste momento pois conhecemos as derivadas destas funções. Assim, parece não haver problemas significativos para a determinação dos coeficientes $a_{n}$ das séries de potências destas funções.

Primeiramente, vamos à série de potências da função $e^{x}$ . Esperamos encontrar uma série de potências em $x$ , de forma que,

$\displaystyle e^{x} = a_{0} + a_{1}x + a_{2}x^{2} + a_{3}x^{3} + a_{4}x^{4} + a_{5}x^{5} + \cdots. $

De acordo com o teorema de Maclaurin, devemos ter $a_{n} = \frac{f^{(n)}(0)}{n!}$ para todo $n \in \mathbb{N}$ . Como sabemos, a função exponencial $f(x) = e^{x}$ possui derivadas de qualquer ordem contínuas e mais ainda $f^{(n)}(x) = e^{x}$ para qualquer $n \in \mathbb{N}$ . Então os coeficientes da série de Maclaurin ficam

$\displaystyle a_{n} = \frac{f^{(n)}(0)}{n!} = \frac{e^{0}}{n!} = \frac{1}{n!}, $

e assim temos que

$\displaystyle e^{x} = 1 + x + \frac{1}{2}x^{2} + \frac{1}{3!}x^{3} + \frac{1}{4!}x^{4} + \frac{1}{5!}x^{5} + \frac{1}{6!}x^{6} + \frac{1}{7!}x^{7} + \cdots.$ ( 3 . 3 )

Podemos determinar (pelo teste da razão) que a série do lado direito converge para todo $x \in \mathbb{R}$ , já que para qualquer $x \in \mathbb{R}$ ,

$\displaystyle \lim_{n \to \infty} \left\vert \frac{\frac{1}{(n+1)!} x^{n+1}}{ \... ...}{x^{n}} \right\vert = \lim_{n \to \infty} \frac{1}{n+1} \vert x\vert = 0 < 1, $

e, portanto, a igualdade ( 3.3 ) é válida para todo $x \in \mathbb{R}$ .

Consideremos agora a função $f(x) = {\mathrm{senh}}x$ . Queremos determinar os coeficientes $a_{n} = \frac{f^{(n)}(0)}{n!}$ para todo $n \in \mathbb{N}$ . Dos resultados dos capítulos anteriores, temos que se $n$ é par, $f^{(n)}(x) = {\mathrm{senh}}x$ e se $n$ é ímpar $f^{(n)}(x) = \cosh x$ . Desta forma, os coeficientes são dados por

$\displaystyle a_{n} = \left\{ \begin{array}{ll} \dfrac{f^{(n)}(0)}{n!} = \dfr... ...dfrac{1}{n!} & \text{se} \quad n \quad \text{é ímpar}. \end{array} \right. $

Substituindo estes coeficientes na série de potências temos que

$\displaystyle {\mathrm{senh}}x = x + \frac{1}{3!}x^{3} + \frac{1}{5!}x^{5} + \frac{1}{7!}x^{7} + \frac{1}{9!}x^{9} + \frac{1}{11!}x^{11} + \cdots.$ ( 3 . 4 )

A série do lado direito converge (pelo teste da razão) para qualquer $x \in \mathbb{R}$ , pois para todo $x \in \mathbb{R}$ temos

$\displaystyle \lim_{n \to \infty} \left\vert \frac{\frac{1}{(2n+1)!} x^{2n+1}}{... ...\right\vert = \lim_{n \to \infty} \frac{1}{(2n+1)2n} \vert x^{2}\vert = 0 < 1, $

e, portanto, a igualdade ( 3.4 ) é válida para todo $x$ real.

Com raciocínio similar desenvolvemos a série de potências para a função $f(x) = \cosh x$ . Lembremos que agora, $f^{(n)}(x) = \cosh x$ se $n$ é par e $f^{(n)}(x) = {\mathrm{senh}}x$ se $n$ é ímpar. Então, contrariamente ao caso anterior,

$\displaystyle a_{n} = \left\{ \begin{array}{ll} \dfrac{f^{(n)}(0)}{n!} = \dfr... ...c{0}{n!} = 0 & \text{se} \quad n \quad \text{é ímpar}. \end{array} \right. $

Desta forma, temos

$\displaystyle \cosh x = 1 + \frac{1}{2!}x^{2} + \frac{1}{4!}x^{4} + \frac{1}{6!}x^{6} + \frac{1}{8!}x^{8} + \frac{1}{10!}x^{10} + \cdots,$ ( 3 . 5 )

sendo também esta igualdade verdadeira para todo $x \in \mathbb{R}$ .

Dada agora a função $f(x) = {\mathrm {sen}}x$ , queremos determinar para todo $n \in \mathbb{N}$ os coeficientes $a_{n} = \frac{f^{(n)}(0)}{n!}$ da série de potências de $f(x)$ . Dos resultados anteriores, sabemos que se $n$ é par, $f^{(n)}(x) = (-1)^{\frac{n}{2}} {\mathrm {sen}}x$ e se $n$ é ímpar $f^{(n)}(x) = (-1)^{\frac{n-1}{2}} \cos x$ . Desta forma, os coeficientes são

$\displaystyle a_{n} = \left\{ \begin{array}{ll} \dfrac{f^{(n)}(0)}{n!} = \dfr... ...-1}{2}}}{n!} & \text{se} \quad n \quad \text{é ímpar}. \end{array} \right. $

Observe que os termos $(-1)^{\frac{n-1}{2}}$ para $n$ ímpar, são alternadamente 1 e -1. Substituindo estes coeficientes na série de potências temos que

$\displaystyle {\mathrm {sen}}x = x - \frac{1}{3!}x^{3} + \frac{1}{5!}x^{5} - \frac{1}{7!}x^{7} + \frac{1}{9!}x^{9} - \frac{1}{11!}x^{11} + \cdots.$ ( 3 . 6 )

A série do lado direito converge (pelo teste da razão) para qualquer $x \in \mathbb{R}$ , já que

$\displaystyle \lim_{n \to \infty} \left\vert- \frac{\frac{1}{(2n+1)!} x^{2n+1}}... ...\right\vert = \lim_{n \to \infty} \frac{1}{(2n+1)2n} \vert x^{2}\vert = 0 < 1, $

para qualquer $x \in \mathbb{R}$ . Segue que a igualdade ( 3.6 ) é válida para todo $x$ real.

Com raciocínio similar a este abordamos a função $f(x) = \cos x$ . Lembremos que, $f^{(n)}(x) = (-1)^{\frac{n}{2}} \cos x$ se $n$ é par e $f^{(n)}(x) = (-1)^{\frac{n+1}{2}} {\mathrm {sen}}x$ se $n$ é ímpar. Então, contrariamente ao caso anterior,

$\displaystyle a_{n} = \left\{ \begin{array}{ll} \dfrac{f^{(n)}(0)}{n!} = \dfr... ...c{0}{n!} = 0 & \text{se} \quad n \quad \text{é ímpar}. \end{array} \right. $

Desta forma, temos

$\displaystyle \cos x = 1 - \frac{1}{2!}x^{2} + \frac{1}{4!}x^{4} - \frac{1}{6!}x^{6} + \frac{1}{8!}x^{8} - \frac{1}{10!}x^{10} + \cdots,$ ( 3 . 7 )

sendo também esta igualdade verdadeira para todo $x \in \mathbb{R}$ .

Vamos usar agora as séries de potência obtidas anteriormente para verificar a validade das igualdades em ( 3.1 ). Consideremos primeiro a série de potência da função exponencial em 3.1 ,

$\displaystyle e^{x} = 1 + x + \frac{1}{2}x^{2} + \frac{1}{3!}x^{3} + \frac{1}{4!}x^{4} + \frac{1}{5!}x^{5} + \frac{1}{6!}x^{6} + \frac{1}{7!}x^{7} + \cdots, $

válida para todo $x \in \mathbb{R}$ . Naturalmente se substituirmos na série $x$ por $-x$ obtemos a série de potências para a função $e^{-x}$ . Isto também pode ser feito como anteriormente, determinando-se os coeficientes $a_{n} = \frac{f^{(n)}(0)}{n!}$ para a série de potências da função $f(x) = e^{-x}$ . Isto nos leva aos coeficientes $a_{n} = \frac{(-1)^{n}}{n!}$ . De qualquer forma teremos

$\displaystyle e^{-x} = 1 - x + \frac{1}{2}x^{2} - \frac{1}{3!}x^{3} + \frac{1}{4!}x^{4} - \frac{1}{5!}x^{5} + \frac{1}{6!}x^{6} - \frac{1}{7!}x^{7} + \cdots, $

para todo $x \in \mathbb{R}$ . Somando as série de potências de $e^{x}$ e de $e^{-x}$ obtemos,

$\displaystyle e^{x} + e^{-x}$ $\displaystyle = 2 + 2\frac{1}{2}x^{2} + 2\frac{1}{4!}x^{4} + 2\frac{1}{6!}x^{6} + 2\frac{1}{8!}x^{8} + 2\frac{1}{10!}x^{10} + \cdots$
$\displaystyle = 2 \left( 1 + \frac{1}{2}x^{2} + \frac{1}{4!}x^{4} + \frac{1}{6!}x^{6} + \frac{1}{8!}x^{8} + \frac{1}{10!}x^{10} + \cdots \right).$

Agora lembremos que a série do lado direito é exatamente a série de potências da função cosseno hiperbólico (Ver ( 3.5 )). Desta forma temos que

$\displaystyle e^{x} + e^{-x} = 2 \cosh x, $

donde segue que

$\displaystyle \cosh x = \frac{e^{x} + e^{-x}}{2}. $

Por outro lado, fazendo a diferença entre as séries de potências das funções $e^{x}$ e $e^{-x}$ , temos

$\displaystyle e^{x} - e^{-x}$ $\displaystyle = 2x + 2\frac{1}{3!}x^{3} + 2\frac{1}{5!}x^{5} + 2\frac{1}{7!}x^{7} + 2\frac{1}{9!}x^{9} + 2\frac{1}{11!}x^{11} + \cdots$
$\displaystyle = 2 \left( x + \frac{1}{3!}x^{3} + \frac{1}{5!}x^{5} + \frac{1}{7!}x^{7} + \frac{1}{9!}x^{9} + \frac{1}{11!}x^{11} + \cdots \right),$

e lembrando que o lado direito é a série de potências da função seno hiperbólico (Ver ( 3.4 )), temos que

$\displaystyle e^{x} - e^{-x} = 2 {\mathrm{senh}}x, $

donde segue

$\displaystyle {\mathrm{senh}}x = \frac{e^{x} - e^{-x}}{2}. $

Fica assim verificada a validade das fórmulas exponenciais, que são comumente utilizadas para definir as funções trigonométricas hiperbólicas. Com estas duas igualdades, podemos escrever as demais funções trigonométricas hiperbólicas também em termos da função exponencial. São

$\displaystyle {\mathrm {tgh}}x$ $\displaystyle = \frac{{\mathrm{senh}}x}{\cosh x} = \frac{e^{x} - e^{-x}}{e^{x} + e^{-x}},$ para $\displaystyle \quad x \in \mathbb{R},$
$\displaystyle {\mathrm{ctgh}}x$ $\displaystyle = \frac{\cosh x}{{\mathrm{senh}}x} = \frac{e^{x} + e^{-x}}{e^{x} - e^{-x}},$ para $\displaystyle \quad x \neq 0,$
$\displaystyle {\mathrm{sech}}x$ $\displaystyle = \frac{1}{\cosh x} = \frac{2}{e^{x} + e^{-x}},$ para $\displaystyle \quad x \in \mathbb{R},$
$\displaystyle {\mathrm{csch}}x$ $\displaystyle = \frac{1}{{\mathrm{senh}}x} = \frac{2}{e^{x} - e^{-x}},$ para $\displaystyle \quad x \neq 0.$

3.2 Método das equações diferenciais

Nesta seção, provaremos as identidades em ( 3.1 ) usando o método das equações diferenciais. Precisamos naturalmente alguns resultados em relação às equações diferenciais. Para um estudo mais aprofundado sobre equações diferenciais recomendamos [ 10 , Zill].

Definição 3 . 4 Uma equação diferencial ordinária, de ordem $n$ , é uma equação que envolve uma variável real independente $x$ , uma função $y = f(x)$ e suas derivadas $y', y'', \dots, y^{(n)}$ , de forma que o coeficiente de $y^{(n)}$ seja não nulo.

São exemplos de equações diferencias ordinárias:

Definição 3 . 5 Uma equação diferencial ordinária linear, de ordem $n$ , é uma equação diferencial que seja linear nas componentes $y^{(k)}$ , para todo $k = 0, 1, \dots, n$ . É uma expressão da forma,

$\displaystyle a_{n}(x) y^{(n)} + a_{n-1}(x) y^{(n-1)} + \cdots + a_{2}(x) y^{''} + a_{1}(x) y^{'} + a_{0}(x) y = g(x), $
sendo que as funções coeficientes $a_{k}(x)$ , para todo $k = 0, 1, \dots, n$ e a função $g(x)$ , são contínuas para todo $x$ em um certo intervalo de interesse $I$ . Também $a_{n}(x)$ é não identicamente nula em $I$ . Quando $g(x) \equiv 0$ , então dizemos que a equação diferencial é homogênea.

Definição 3 . 6 Qualquer função $y = f(x)$ , definida num intervalo $I$ , que satisfaz a equação diferencial neste intervalo, é dita uma solução para a equação diferencial em $I$ .

As funções $y = -\frac{1}{3}{\mathrm {sen}}(2x)$ , $y = -2x^{2}$ e $y = x + x\ln x + 4x^{2}$ ( $x>0$ ), são soluções das equações diferenciais ( 3.8 ), ( 3.10 ) e ( 3.11 ), respectivamente. A solução da equação diferencial ( 3.9 ) é dada implicitamente por $x^{2} + y^{2} = 4$ , para $-2 < x < 2$ .

Embora a ideia seja bastante simples, encontrar uma solução para uma equação diferencial dada, não é tarefa simples. Os métodos conhecidos nos permitem determinar soluções de uma classe muito pequena de equações diferenciais. Mesmo assim, algumas destas equações não possuem solução explícita.

Não é do nosso interesse estudar aqui os métodos para obtenção de soluções de uma equação diferencial. Entretanto é importante saber que nem sempre uma solução para uma equação diferencial é única. Podemos verificar que a função

$\displaystyle y = k_{1} \cos(x) + k_{2} {\mathrm {sen}}(x), $

é uma solução da equação $y'' + y = 0$ , para quaisquer valores reais de $k_{1}$ e $k_{2}$ . Para podermos determinar os valores de $k_{1}$ e $k_{2}$ são necessárias informações adicionais, chamadas de condições iniciais. Como veremos mais tarde, dentro de certas hipóteses, uma equação diferencial munida de condições iniciais possui solução única.

Definição 3 .. 7 Um problema de valor inicial, ou PVI, consiste de uma equação diferencial ordinária, de ordem $n$ , juntamente com $n$ restrições. Tais restrições são chamadas de condições iniciais. É um problema da forma,

$\displaystyle \left\{ \begin{array}{l} a_{n}(x) y^{(n)} + a_{n-1}(x) y^{(n-1)}... ... = y_{2}, \quad y'(x_{0}) = y_{1}, \quad y(x_{0}) = y_{0} \end{array} \right. $
sendo que $x_{0}$ é um ponto de interesse no intervalo $I$ e os valores $y_{k}$ , para $k = 0,1, \dots, n-1$ , são números reais conhecidos.

Cuidado para não confundir um PVI com uma equação diferencial. Um PVI é um conjunto de uma equação diferencial juntamente com condições iniciais.

Como exemplo, vamos agora considerar a equação diferencial de ordem 2, mencionada anteriormente $y'' + y = 0$ , a sua “família” de soluções dada por $y = k_{1} \cos(x) + k_{2} {\mathrm {sen}}(x)$ e impor duas condições iniciais que permitirão determinar os valores de $k_{1}$ e $k_{2}$ . Tomemos o PVI,

$\displaystyle \left\{\begin{array}{l} y'' + y = 0 \\ y'(0) = 1, \quad y(0) = 2, \end{array} \right. $

e substituindo as duas condições iniciais, temos que

$\displaystyle 1$ $\displaystyle = y'(0) = - k_{1} {\mathrm {sen}}(0) + k_{2} \cos(0) = k_{2},$ e
$\displaystyle 2$ $\displaystyle = y(0) = k_{1} \cos(0) + k_{2} {\mathrm {sen}}(0) = k_{1},$

o que nos leva a uma única solução do PVI dado, que é

$\displaystyle y = 2 \cos(x) + {\mathrm {sen}}(x). $

O próximo teorema, é a chave para o nosso objetivo. Sua demonstração é que não é do nosso interesse, pois além de não ser o objetivo principal deste capítulo, é um tanto complexa e exige ferramentas que não abordamos como por exemplo o teorema de ponto fixo de Banach. Desta forma, vamos omitir a sua demonstração. O leitor interessado nesta demonstração poderá consultar algum texto de Equações Diferenciais (ordinárias). Sugerimos [ 10 , Zill].

Teorema 3 . 8 (Teorema de Picard) Se as funções $a_{k}(x)$ , para todo $k = 0, 1, \dots, n$ e $g(x)$ , forem contínuas em um intervalo $I$ , com $a_{n}(x) \neq 0$ para todo $x \in I$ e $x_{0}$ é um ponto de $I$ , então o PVI
$\displaystyle \left\{ \begin{array}{l} a_{n}(x) y^{(n)} + a_{n-1}(x) y^{(n-1)}... ... = y_{2}, \quad y'(x_{0}) = y_{1}, \quad y(x_{0}) = y_{0} \end{array} \right. $
possui uma única solução $y = f(x)$ , neste intervalo.

Agora estamos prontos para estabelecer as identidades mencionadas no início deste capítulo. Para isto, consideremos primeiro o problema de valor inicial, definido em $I = \mathbb{R}$ ,

$\displaystyle \left\{ \begin{array}{l} y'' - y = 0 \\ y'(0) = 0, \quad y(0) = 1. \end{array} \right. $

Notemos que a função

$\displaystyle y_{1} = \frac{1}{2} e^{x} + \frac{1}{2} e^{-x} = \frac{e^{x} + e^{-x}}{2} $

é solução do PVI dado. Mas, do que vimos nos capítulos anteriores a respeito das funções trigonométricas hiperbólicas, a função $y_{2} = \cosh(x)$ , satisfaz a equação diferencial, pois

$\displaystyle (y_{2})'' - y_{2} = (\cosh(x))'' - \cosh(x) = \cosh(x) - \cosh(x) = 0, $

para todo $x$ real e, além disso, $y_{2} = \cosh(x)$ satisfaz as duas condições iniciais,

$\displaystyle y_{2}(0) = \cosh(0) = 1,$ e $\displaystyle \qquad y_{2}'(0) = {\mathrm{senh}}(0) = 0, $

donde temos que $y_{2} = \cosh(x)$ é também uma solução do PVI. Mas o Teorema de Picard, garante que a solução deste PVI é única e, portanto, as duas soluções coincidem para todo $x \in \mathbb{R}$ , isto é,

$\displaystyle \cosh(x) = y_{2} = y_{1} = \frac{e^{x} + e^{-x}}{2}, $

qualquer que seja $x \in \mathbb{R}$ .

Para a segunda fórmula em ( 3.1 ), consideremos outro problema de valor inicial, também definido em $I = \mathbb{R}$ ,

$\displaystyle \left\{ \begin{array}{l} y'' - y = 0 \\ y'(0) = 1, \quad y(0) = 0. \end{array} \right. $

Observe que, comparando com o PVI anterior, apenas trocamos as condições iniciais. Nestes termos, a função

$\displaystyle y_{1} = \frac{1}{2} e^{x} - \frac{1}{2} e^{-x} = \frac{e^{x} - e^{-x}}{2}, $

é solução deste novo PVI. Entretanto, do que vimos nos capítulos anteriores, a função $y_{2} = {\mathrm{senh}}(x)$ também satisfaz a equação diferencial,

$\displaystyle (y_{2})'' - y_{2} = ({\mathrm{senh}}(x))'' - {\mathrm{senh}}(x) = {\mathrm{senh}}(x) - {\mathrm{senh}}(x) = 0, $

para todo $x$ real e as duas condições inicias,

$\displaystyle y_{2}(0) = {\mathrm{senh}}(0) = 0,$ e $\displaystyle \qquad y_{2}'(0) = \cosh(0) = 1, $

e, dessa forma, $y_{2} = {\mathrm{senh}}(x)$ também é solução do PVI, para todo $x \in \mathbb{R}$ . Do Teorema de Picard, segue que as duas soluções coincidem para todo $x \in \mathbb{R}$ , isto é,

$\displaystyle {\mathrm{senh}}(x) = y_{2} = y_{1} = \frac{e^{x} - e^{-x}}{2}, $

para todo $x \in \mathbb{R}$ .

3.3 As fórmulas logarítmicas

Esta seção é dedicada à obtenção das igualdades logarítmicas em ( 3.2 ), além das igualdades correspondentes às outras quatro funções trigonométricas hiperbólicas inversas.

Dados $x, y \in \mathbb{R}$ de forma que $y = {\mathrm{senh}}^{-1} x$ , já sabemos que é válida a relação

$\displaystyle x = {\mathrm{senh}}y = \frac{e^{y} - e^{-y}}{2}. $

Vamos isolar $y$ no segundo membro e obter uma expressão para $y$ em termos da variável independente $x$ . A igualdade anterior, nos leva a

$\displaystyle 2x = e^{y} - e^{-y}. $

Multiplicando ambos os membros por $e^{y}$ e reorganizando os termos temos

$\displaystyle (e^{y})^{2} - 2xe^{y} - 1 = 0, $

que é uma equação quadrática na expressão $e^{y}$ . As soluções desta equação quadrática, são dadas por

$\displaystyle e^{y} = \frac{2x \pm \sqrt{4x^{2} + 4} }{2} = x \pm \sqrt{x^{2} + 1}.$

Temos que descartar uma das soluções porque o lado esquerdo da igualdade acima é sempre positivo e o termo $x - \sqrt{x^{2}+1}$ é sempre negativo já que $\sqrt{x^{2}+1} > x$ . Tomando então a solução positiva temos $e^{y} = x + \sqrt{x^{2} + 1}$ e aplicando logaritmo (natural) em ambos os membros,

$\displaystyle {\mathrm{senh}}^{-1} x = y = \ln(x + \sqrt{x^{2} + 1}), $

para todo $x \in \mathbb{R}$ .

Para o cosseno hiperbólico inverso, consideramos $y = \cosh^{-1} x$ e a relação inversa $x = \cosh y$ , válida para todos $x \geq 1$ e $y \geq 0$ . Como antes, tomemos a identidade

$\displaystyle x = \cosh y = \frac{e^{y} + e^{-y}}{2}, $

e vamos isolar $y$ no segundo membro. De forma análoga ao caso anterior, multiplicamos os dois membros por $2e^{y}$ , reorganizamos os termos e chegamos a

$\displaystyle (e^{y})^{2} - 2xe^{y} + 1 = 0, $

e resolvendo esta equação quadrática em termos de $e^{y}$ temos

$\displaystyle e^{y} = \frac{2x \pm \sqrt{4x^{2} - 4}}{2} = x \pm \sqrt{x^{2}-1}. $

Observamos agora que os dois termos a que se refere o segundo membro são positivos e, portanto, não há impossibilidades matemáticas para aplicar o logaritmo. Entretanto lembremos que $y \geq 0$ e isto siginifica que $e^{y} \geq 1$ . Mas para $x \geq 1$ temos que

$\displaystyle x = 1+\sqrt{(x-1)^{2}} = 1+\sqrt{x^{2}-2x+1} \leq 1+\sqrt{x^{2}-2+1} = 1+\sqrt{x^{2}-1}, $

e desta forma $x - \sqrt{x^{2}-1} \leq 1$ .

Descartando esta inconsistência, tomamos $e^{y} = x + \sqrt{x^{2}-1}$ e aplicando o logaritmo em ambos os membros, temos

$\displaystyle \cosh^{-1} x = y = \ln(x + \sqrt{x^{2}-1}). $

Já provamos as duas fórmulas indicadas no início deste capítulo. Contudo, vamos completar o trabalho e obter as fórmulas em termos do logaritmo para as demais funções trigonométricas hiperbólicas.

Consideremos $y = {\mathrm {tgh}}^{-1} x$ e a relação inversa

$\displaystyle x = {\mathrm {tgh}}y = \frac{e^{y} - e^{-y}}{e^{y} + e^{-y}}, $

válida para $x \in (-1,1)$ e $y \in \mathbb{R}$ . Organizando os termos temos

$\displaystyle xe^{y} + xe^{-y} = e^{y} - e^{-y}, $

e multiplicando ambos os membros por $e^{y}$ e reorganizando em forma de equação quadrática, chegamos a

$\displaystyle (1-x)(e^{y})^{2} - (1+x) = 0, $

que resolvida em termos de $e^{y}$ fornece

$\displaystyle e^{y} = \pm \sqrt{ \tfrac{1+x}{1-x} } = \pm \left( \tfrac{1+x}{1-x} \right)^{\frac{1}{2}}. $

Como o primeiro membro é sempre positivo, então descartamos a solução negativa. Observemos também que como $x \in (-1,1)$ então a fração dentro da raiz quadrada é sempre positiva, o que não acarreta mais inconsistências. Aplicando então o logaritmo, temos que

$\displaystyle {\mathrm {tgh}}^{-1} x = y = \ln \left( \tfrac{1+x}{1-x} \right)^{\frac{1}{2}} = \frac{1}{2} \ln \left( \tfrac{1+x}{1-x} \right), $

para todo $x \in (-1,1)$ .

Agora a cotangente hiperbólica inversa. Tomamos $y = {\mathrm{ctgh}}^{-1} x$ , para todo $x \in (-\infty,-1) \cup (1,\infty)$ , com $y \in \mathbb{R}-\{0\}$ e então

$\displaystyle x = {\mathrm{ctgh}}y = \frac{e^{y} + e^{-y}}{e^{y} - e^{-y}}. $

Como no caso da tangente hiperbólica, reorganizamos os termos e multiplicamos por $e^{y}$ ambos os membros e chegamos a

$\displaystyle (x-1)(e^{y})^{2} - (x+1) = 0, $

e resolvendo esta equação quadrática em $e^{y}$ temos

$\displaystyle e^{y} = \pm \sqrt{ \tfrac{x+1}{x-1} } = \pm \left( \tfrac{x+1}{x-1} \right)^{\frac{1}{2}}. $

Note que a fração dentro da raiz quadrada é sempre positiva para $x \in (-\infty,-1) \cup (1,\infty)$ . De fato, o numerador e o denominador são ambos negativos no intervalo $(-\infty,-1)$ e são ambos positivos no intervalo $(1,\infty)$ . Vamos descartar a solução negativa, pois o lado esquerdo da igualdade é sempre positivo. Assim, tomando a solução positiva e aplicando logaritmo em ambos os membros, vem

$\displaystyle {\mathrm{ctgh}}^{-1} x = y = \ln \left( \tfrac{x+1}{x-1} \right)^{\frac{1}{2}} = \frac{1}{2} \ln \left( \tfrac{x+1}{x-1} \right). $

Para a secante hiperbólica inversa, fazendo $y = {\mathrm{sech}}^{-1} x$ , para todo $x \in (0,1]$ , com $y \geq 0$ , temos

$\displaystyle x = {\mathrm{sech}}y = \frac{2}{e^{y} + e^{-y}}. $

Após reorganização dos termos e multiplicação por $e^{y}$ , obtemos a equação quadrática

$\displaystyle x(e^{y})^{2} - 2e^{y} + x = 0, $

que resolvida em termos de $e^{y}$ nos traz

$\displaystyle e^{y} = \frac{2 \pm \sqrt{4 - 4x^{2}} }{2x} = \frac{1 \pm \sqrt{1-x^{2}} }{x}. $

Notemos que para $x \in (0,1]$ ocorre $1-x^{2} \geq 0$ e, portanto, não temos problemas com a raiz quadrada. Entretanto, para $x \in (0,1]$ temos $(1-x) \geq 0$ e então

$\displaystyle 1-x = \sqrt{(1-x)^{2}} = \sqrt{(1-x)(1-x)} \leq \sqrt{(1-x)(1+x)} = \sqrt{1-x^{2}}, $

donde temos que $1 - \sqrt{1-x^{2}} \leq x$ e, portanto, $\frac{1 - \sqrt{1-x^{2}} }{x} \leq 1$ . Mas isto é inconsistente com o primeiro membro $e^{y}$ , que é maior ou igual a 1, já que $y \geq 0$ . Só não seria inconsistente caso os dois termos fossem iguais a 1, isto é $e^{y} = 1 = \frac{1 - \sqrt{1-x^{2}} }{x}$ , que somente ocorre se $y = 0$ e $x = 1$ . Mas a igualdade $e^{y} = \frac{1 + \sqrt{1-x^{2}} }{x}$ também se verifica para $y = 0$ e $x = 1$ e, portanto, podemos descartar totalmente a solução $e^{y} = \frac{1-\sqrt{1-x^{2}} }{x}$ .

Tomando então a solução que não apresenta inconsistências, tomamos

$\displaystyle e^{y} = \frac{1 + \sqrt{1-x^{2}} }{x}, $

e aplicando o logaritmo, temos

$\displaystyle {\mathrm{sech}}^{-1} x = y = \ln \left( \frac{1}{x} + \frac{\sqrt{1-x^{2}}}{x} \right). $

Finalmente, considerando $y = {\mathrm{csch}}^{-1} x$ e a relação inversa

$\displaystyle x = {\mathrm{csch}}y = \frac{2}{e^{y} - e^{-y}}, $

válida para todos $x \in \mathbb{R}-\{0\}$ e $y \in \mathbb{R}-\{0\}$ . Procedendo como no caso da secante, obtemos a equação quadrática

$\displaystyle x(e^{y})^{2} - 2e^{y} - x = 0, $

que resolvida em $e^{y}$ , nos fornece

$\displaystyle e^{y} = \frac{2 \pm \sqrt{4 + 4x^{2}} }{2x} = \frac{1 \pm \sqrt{1 + x^{2}} }{x}. $

Notemos que como antes, queremos que o membro da direita seja positivo, pois o da esquerda o é. O termo $\sqrt{1+x^{2}}$ é sempre maior que 1. O numerador assume portanto valores positivos considerando $1 + \sqrt{1+x^{2}}$ , e valores negativos considerando $1 - \sqrt{1+x^{2}}$ . Mas como $x \in \mathbb{R}-\{0\}$ temos que o denominador também assume valores positivos e valores negativos. Então se $x < 0$ , devemos considerar a solução

$\displaystyle e^{y} = \frac{1 - \sqrt{1 + x^{2}} }{x} = \frac{1}{x} - \frac{\sqrt{1+x^{2}}}{x} > 0, $

e se $x>0$ , devemos considerar a solução

$\displaystyle e^{y} = \frac{1 + \sqrt{1 + x^{2}} }{x} = \frac{1}{x} + \frac{\sqrt{1+x^{2}}}{x} > 0. $

Podemos ainda obter uma única expressão válida para os dois casos. Observe que se $x>0$ podemos escrever

$\displaystyle e^{y} = \frac{1}{x} + \frac{ \sqrt{1 + x^{2}} }{x} = \frac{1}{x} + \frac{ \sqrt{1 + x^{2}} }{\vert x\vert}, $

e se $x < 0$ , podemos escrever

$\displaystyle e^{y} = \frac{1}{x} - \frac{ \sqrt{1 + x^{2}} }{x} = \frac{1}{x} ... ...c{\sqrt{1 + x^{2}}}{-x} = \frac{1}{x} + \frac{\sqrt{1 + x^{2}}}{\vert x\vert}. $

Assim, para qualquer $x \in \mathbb{R}-\{0\}$ , escrevemos

$\displaystyle e^{y} = \frac{1}{x} + \frac{\sqrt{1 + x^{2}} }{\vert x\vert}, $

e aplicando o logaritmo, temos

$\displaystyle {\mathrm{csch}}^{-1} x = y = \ln \left( \tfrac{1}{x} + \tfrac{\sqrt{1 + x^{2}} }{\vert x\vert} \right), $

que é válida para todo $x \in \mathbb{R}^{*}$ .

A tabela abaixo reúne as fórmulas desta seção.

Tabela 3.1: Fórmulas logarítmicas para as funções trigonométricas hiperbólicas inversas.
função domínio igualdade logarítmica
${\mathrm{senh}}^{-1} x$ $\mathbb{R}$ $\ln(x + \sqrt{x^{2} + 1})$

$\cosh^{-1} x$ $[1,\infty)$ $\ln(x + \sqrt{x^{2}-1})$

${\mathrm {tgh}}^{-1} x$ $(-1,1)$ $\frac{1}{2} \ln \left( \tfrac{1+x}{1-x} \right)$

${\mathrm{ctgh}}^{-1} x$ $\mathbb{R}- [-1,1]$ $\frac{1}{2} \ln \left( \tfrac{x+1}{x-1} \right)$

${\mathrm{sech}}^{-1} x$ $(0,1]$ $\ln \left( \frac{1}{x} + \frac{\sqrt{1-x^{2}}}{x} \right)$

${\mathrm{csch}}^{-1} x$ $\mathbb{R}-\{0\}$ $\ln \left( \tfrac{1}{x} + \tfrac{\sqrt{1 + x^{2}} }{\vert x\vert} \right)$

Note que as fórmulas de derivação das funções trigonométricas hiperbólicas inversas, foram obtidas na seção 2.8 e resumidas na tabela 2.4 . Naquela seção foi utilizado o método da diferenciação implícita. As fórmulas de derivação da tabela 2.4 podem também ser obtidas derivando diretamente as expressões logarítmicas da tabela 3.1 . Deixamos os detalhes para o leitor.

3.4 Extensão às variáveis complexas

Identidades similares das identidades ( 3.1 ) são conhecidas para as funções trigonométricas circulares. Mas isto exigirá o uso de números complexos. Além disso, modelos matemáticos que representam fenômenos físicos são constantemente usados para estudar e conhecer esses fenômenos — e em várias situações — a representação desses fenômenos exige a utilização de números complexos juntamente com funções trigonométricas. Em virtude disso, apresentaremos nesta seção como são definidas as funções trigonométricas circulares e hiperbólicas de uma variável complexa.

Usando as séries de potências das funções trigonométricas, desenvolvidas na seção anterior, vamos construir as funções trigonométricas de variáveis complexas. Na seção 3.1 , vimos que

$\displaystyle {\mathrm {sen}}x$ $\displaystyle = x - \frac{1}{3!} x^{3} + \frac{1}{5!} x^{5} - \frac{1}{7!} x^{7} + \frac{1}{9!} x^{9} - \frac{1}{11!} x^{11} + \cdots,$
$\displaystyle \cos x$ $\displaystyle = 1 - \frac{1}{2!} x^{2} + \frac{1}{4!} x^{4} - \frac{1}{6!} x^{6} + \frac{1}{8!} x^{8} - \frac{1}{10!} x^{10} + \cdots,$
$\displaystyle {\mathrm{senh}}x$ $\displaystyle = x + \frac{1}{3!} x^{3} + \frac{1}{5!} x^{5} + \frac{1}{7!} x^{7} + \frac{1}{9!} x^{9} + \frac{1}{11!} x^{11} + \cdots,$
$\displaystyle \cosh x$ $\displaystyle = 1 + \frac{1}{2!} x^{2} + \frac{1}{4!} x^{4} + \frac{1}{6!} x^{6} + \frac{1}{8!} x^{8} + \frac{1}{10!} x^{10} + \cdots,$

para todo $x \in \mathbb{R}$ .

Observe que o lado direito destas igualdades faz sentido se $x$ for um número complexo, desde que a série seja convergente para este número complexo. Isto nos sugere que a igualdade possa ser utilizada para definir as funções trigonométricas seno e cosseno para os números complexos que tornam a série convergente. Nestes termos, se $z \in \mathbb{C}$ , então definimos

desde que as séries convirjam.

Precisamos determinar os valores $z \in \mathbb{C}$ que tornam estas séries convergentes. Para isto, recorremos ao teste da razão (Critério de D'Alembert), para garantir a convergência de séries de potências de variável complexa. A demonstração deste teorema pode ser encontrada em algum texto de Variáveis complexas. Recomendamos [ 11 , Zill].

Teorema 3 . 9 (Teste da razão) Se $\{z_{n}\}_{n \in \mathbb{N}}$ é uma sequência de números complexos e
$\displaystyle \lim_{n \to \infty} \left\vert \frac{z_{n+1}}{z_{n}} \right\vert = L < 1, $

então a série $\sum z_{n}$ é absolutamente convergente (e, portanto, convergente).

A série de potências ( 3.12 ) converge qualquer que seja $z \in \mathbb{C}$ , pois

$\displaystyle \lim_{n \to \infty} \left\vert - \frac{\frac{1}{(2n+1)!} z^{2n+1}... ...\right\vert = \lim_{n \to \infty} \frac{1}{(2n+1)2n} \vert z^{2}\vert = 0 < 1, $

para qualquer $z \in \mathbb{C}$ . Analogamente para as séries de potências em ( 3.13 ), ( 3.14 ) e ( 3.15 ).

Naturalmente as definições ( 3.12 )-( 3.15 ) não são muito cômodas para trabalharmos. Vamos então tentar modificar estas expressões para redefinir seno e cosseno de números complexos em termos de funções reais de variável real. Independente de modificarmos estas expressões, os membros na direita destas igualdades são números complexos e então o que esperamos é que possamos reescrever a série de potências como sendo um número complexo mais simples de ser manipulado, dado na forma tradicional $a + bi$ com $a, b \in \mathbb{R}$ .

Comecemos então com a identidade ( 3.12 ), colocando $z = x + yi$ , com $x, y \in \mathbb{R}$ . Temos então

$\displaystyle {\mathrm {sen}}(x+yi) = \sum_{n=0}^{\infty} \frac{(-1)^{n}}{(2n+1)!} (x+yi)^{2n+1}.$ ( 3 . 16 )

Usando a fórmula da expansão binomial para o termo $(x+yi)^{2n+1}$ , podemos reescrever ( 3.16 ) como

$\displaystyle {\mathrm {sen}}(x+yi)$ $\displaystyle = \sum_{n=0}^{\infty} \frac{(-1)^{n}}{(2n+1)!} (x+yi)^{2n+1}$
$\displaystyle = \sum_{n=0}^{\infty} \frac{(-1)^{n}}{(2n+1)!} \sum_{r=0}^{2n+1} \frac{(2n+1)!}{r!(2n-r+1)!} x^{2n-r+1} (yi)^{r}$
$\displaystyle = \sum_{n=0}^{\infty} \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{r!(2n-r+1)!} x^{2n-r+1} (yi)^{r}.$

O próximo lema será útil para trabalhar com o somatório duplo do segundo membro desta última igualdade.

Lema 3 . 10 Para qualquer $m \in \mathbb{N}$ ,
$\displaystyle \sum_{n=0}^{\infty} \sum_{r=0}^{2n+1}$ $\displaystyle \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} {\mathrm {sen}}(x) + \frac{1}{(m+1)!} (yi)^{m+1} \cos(x)$
$\displaystyle \qquad \qquad - \sum_{n=0}^{\infty} \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{(r+m+2)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m+2}.$
Prova . Tomando
$\displaystyle \sum_{n=0}^{\infty} \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}, $

vamos separar o caso $n = 0$ do somatório externo e depois os casos $r = 0$ do somatório interno. Desta forma, para qualquer que seja $m \in \mathbb{N}$ , obtemos

$\displaystyle \sum_{n=0}^{\infty}$ $\displaystyle \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}$
$\displaystyle % $ $\displaystyle = \frac{1}{m!} x (yi)^{m} + \frac{1}{(m+1)!} (yi)^{m+1} + \sum_{n... ...infty} \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} x (yi)^{m} + \frac{1}{(m+1)!} (yi)^{m+1}$
$\displaystyle \qquad + \sum_{n=1}^{\infty} \left( \frac{(-1)^{n}}{m!(2n+1)!} x^... ...sum_{r=1}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m} \right)$
$\displaystyle = \frac{1}{m!} x (yi)^{m} + \frac{1}{(m+1)!} (yi)^{m+1} + \sum_{n=1}^{\infty} \frac{(-1)^{n}}{m!(2n+1)!} x^{2n+1} (yi)^{m}$
$\displaystyle \qquad + \sum_{n=1}^{\infty} \sum_{r=1}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} \left( x + \sum_{n=1}^{\infty} \frac{(-1)^{n}}{(2n+1)!} x^{2n+1} \right) + \frac{1}{(m+1)!} (yi)^{m+1}$
$\displaystyle \qquad + \sum_{n=1}^{\infty} \sum_{r=1}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} {\mathrm {sen}}(x) + \frac{1}{(m+1)!} (yi... ...nfty} \sum_{r=1}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}.$

Separando novamente os temos em $r = 1$ do somatório interno, temos

$\displaystyle \sum_{n=0}^{\infty}$ $\displaystyle \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}$
$\displaystyle % $ $\displaystyle = \frac{1}{m!} (yi)^{m} {\mathrm {sen}}(x) + \frac{1}{(m+1)!} (yi... ...infty} \sum_{r=1}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} {\mathrm {sen}}(x) + \frac{1}{(m+1)!} (yi)^{m+1}$
$\displaystyle \qquad + \sum_{n=1}^{\infty} \left( \frac{(-1)^{n}}{(m+1)!(2n)!} ... ...\sum_{r=2}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}\right)$
$\displaystyle = \frac{1}{m!} (yi)^{m} {\mathrm {sen}}(x) + \frac{1}{(m+1)!} (yi)^{m+1} + \sum_{n=1}^{\infty} \frac{(-1)^{n}}{(m+1)!(2n)!} x^{2n} (yi)^{m+1}$
$\displaystyle \qquad + \sum_{n=1}^{\infty} \sum_{r=2}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} {\mathrm {sen}}(x) + \frac{1}{(m+1)!} (yi)^{m+1} \left( 1 + \sum_{n=1}^{\infty} \frac{(-1)^{n}}{(2n)!} x^{2n} \right)$
$\displaystyle \qquad + \sum_{n=1}^{\infty} \sum_{r=2}^{2n+1} \frac{(-1)^{n}}{(r+m)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} {\mathrm {sen}}(x) + \frac{1}{(m+1)!} (yi)^{m+1} \cos(x)$
$\displaystyle \qquad - \sum_{n=0}^{\infty} \sum_{r=2}^{2n+3} \frac{(-1)^{n}}{(r+m)!(2n-r+3)!} x^{2n-r+3} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} {\mathrm {sen}}(x) + \frac{1}{(m+1)!} (yi)^{m+1} \cos(x)$
$\displaystyle \qquad - \sum_{n=0}^{\infty} \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{(r+m+2)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+m+2},$

exatamente como desejado. $\qedsymbol$

Usando agora repetidamente este lema temos que

sen $\displaystyle (x+yi) = \sum_{n=0}^{\infty} \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{r!(2n-r+1)!} x^{2n-r+1} (yi)^{r}$
$\displaystyle = {\mathrm {sen}}(x) + (yi)\cos(x) - \sum_{n=0}^{\infty} \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{(r+2)!(2n-r+1)!} x^{2n-r+1}(yi)^{r+2}$
$\displaystyle = {\mathrm {sen}}(x) + (yi)\cos(x) - \frac{1}{2!} (yi)^{2} {\mathrm {sen}}(x) - \frac{1}{3!} (yi)^{3} \cos(x)$
$\displaystyle \qquad \qquad + \sum_{n=0}^{\infty} \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{(r+4)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+4}$
$\displaystyle = {\mathrm {sen}}(x) + (yi)\cos(x) - \frac{1}{2!} (yi)^{2} {\math... ...s(x) + \frac{1}{4!} (yi)^{4} {\mathrm {sen}}(x) + \frac{1}{5!} (yi)^{5} \cos(x)$
$\displaystyle \qquad \qquad + \sum_{n=0}^{\infty} \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{(r+6)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+6}$
$\displaystyle = {\mathrm {sen}}(x) + (yi)\cos(x) - \frac{1}{2!} (yi)^{2} {\math... ...s(x) + \frac{1}{4!} (yi)^{4} {\mathrm {sen}}(x) + \frac{1}{5!} (yi)^{5} \cos(x)$
$\displaystyle \qquad \qquad - \frac{1}{6!} (yi)^{6} {\mathrm {sen}}(x) - \frac{... ...} \sum_{r=0}^{2n+1} \frac{(-1)^{n}}{(r+8)!(2n-r+1)!} x^{2n-r+1} (yi)^{r+8}, % $

e assim sucessivamente. Desta forma, obtemos

$\displaystyle {\mathrm {sen}}(x+yi) = {\mathrm {sen}}(x) \sum_{n=0}^{\infty} \f... ...(yi)^{2n} + \cos(x) \sum_{n=0}^{\infty} \frac{(-1)^{n}}{(2n+1)!} (yi)^{2n+1}, $

e usando o fato de que $(yi)^{2n} = y^{2n}i^{2n} = (-1)^{n} y^{2n}$ e que $(yi)^{2n+1} = y^{2n+1}i^{2n+1} = (-1)^{n} y^{2n+1} i$ , então temos que

$\displaystyle {\mathrm {sen}}(x+yi)$ $\displaystyle = {\mathrm {sen}}(x) \sum_{n=0}^{\infty} \frac{(-1)^{n}}{(2n)!}(yi)^{2n} + \cos(x) \sum_{n=0}^{\infty} \frac{(-1)^{n}}{(2n+1)!} (yi)^{2n+1}$
$\displaystyle = {\mathrm {sen}}(x) \sum_{n=0}^{\infty} \frac{(-1)^{n}}{(2n)!}(-... ...y^{2n} + \cos(x) \sum_{n=0}^{\infty} \frac{(-1)^{n}}{(2n+1)!} (-1)^{n}y^{2n+1}i$
$\displaystyle = {\mathrm {sen}}(x) \sum_{n=0}^{\infty} \frac{1}{(2n)!}y^{2n} + i \cos(x) \sum_{n=0}^{\infty} \frac{1}{(2n+1)!}y^{2n+1}$
$\displaystyle = {\mathrm {sen}}(x) \cosh(y) + i \cos(x) {\mathrm{senh}}(y).$

Temos portanto uma definição alternativa e mais elegante para a definição do seno de um número complexo $z = x + yi$ . Definição esta que será também útil para os nossos propósitos. Não estamos interessados em repetir o procedimento anterior, mas ele pode ser aplicado também às funções cosseno, senho hiperbólico e cosseno hiperbólico para obter expressões mais simples. Como não repetiremos o processo anterior apenas enunciaremos as expressões finais na próxima definição.

Definição 3 . 11 Dado $z = u + iv \in \mathbb{C}$ , os números complexos seno de $z$ , cosseno de $z$ , seno hiperbólico de $z$ e cosseno hiperbólico de $z$ , são dados respectivamente por,

Vamos analisar um pouco mais estas funções e verificar que elas possuem propriedades similares às funções trigonométricas com argumentos reais. É natural esperar por isto, pois extensões não devem desorganizar o que já estava “funcionando”. Comecemos com os casos circulares.

Vamos determinar as raízes das funções seno e cosseno. Queremos então determinar os valores de $z = u + iv \in \mathbb{C}$ para os quais ${\mathrm {sen}}z = 0$ . Nestes termos queremos determinar os valores (reais) de $u$ e $v$ tais que

$\displaystyle {\mathrm {sen}}z = {\mathrm {sen}}u \cosh v + i {\mathrm{senh}}v \cos u = 0. $

Da igualdade de números complexos temos que

$\displaystyle {\mathrm {sen}}u \cosh v = 0,$
$\displaystyle {\mathrm{senh}}v \cos u = 0.$

Da primeira equação, como $\cosh v \geq 1$ para todo $v \in \mathbb{R}$ , então resta que ${\mathrm {sen}}u = 0$ . Temos assim que $u = k \pi$ para qualquer $k \in \mathbb{Z}$ . Com estes valores de $u$ na segunda equação temos que $\cos u = \pm 1$ e então resta que ${\mathrm{senh}}v = 0$ donde obtemos $v = 0$ . Assim,

$\displaystyle {\mathrm {sen}}z = 0$ se e somente se $\displaystyle \qquad z = u+iv = k\pi, $

para qualquer $k \in \mathbb{Z}$ , exatamente como no caso real.

Analogamente para determinar os valores de $z = u + iv \in \mathbb{C}$ tais que $\cos z = 0$ , temos que encontrar os valores reais de $u$ e $v$ tais que

$\displaystyle \cos z = \cos u \cosh v - i {\mathrm {sen}}u {\mathrm{senh}}v = 0, $

e da igualdade de números complexos

$\displaystyle \cos u \cosh v = 0,$
$\displaystyle {\mathrm {sen}}u {\mathrm{senh}}v = 0.$

Como $\cosh v \geq 1$ para todo $v \in \mathbb{R}$ , da primeira equação resta que $\cos u = 0$ e então $u = \frac{\pi}{2} + k\pi$ para qualquer $k \in \mathbb{Z}$ . Como ${\mathrm {sen}}u = \pm 1$ , substituindo na segunda equação vem ${\mathrm{senh}}v = 0$ e, portanto, $v = 0$ . Assim,

$\displaystyle \cos z = 0$ se e somente se $\displaystyle \qquad z = u+iv = \frac{\pi}{2} + k\pi, $

para qualquer $k \in \mathbb{Z}$ , também como no caso real.

Dessa forma, as demais funções trigonométricas circulares com argumentos complexos são definidas, em termos destas duas, como no caso de variável real, respeitando o domínio de definição. São portanto,

$\displaystyle {\mathrm {tg}}z$ $\displaystyle = \frac{{\mathrm {sen}}z}{\cos z}$ para todo $\displaystyle \quad z \neq \frac{\pi}{2} + k \pi \quad (k \in \mathbb{Z}),$
$\displaystyle {\mathrm {ctg}}z$ $\displaystyle = \frac{\cos z}{{\mathrm {sen}}z}$ para todo $\displaystyle \quad z \neq k \pi \quad (k \in \mathbb{Z}),$
$\displaystyle \sec z$ $\displaystyle = \frac{1}{\cos z}$ para todo $\displaystyle \quad z \neq \frac{\pi}{2} + k \pi \quad (k \in \mathbb{Z}),$
$\displaystyle \csc z$ $\displaystyle = \frac{1}{{\mathrm {sen}}z}$ para todo $\displaystyle \quad z \neq k \pi \quad (k \in \mathbb{Z}).$

Podemos facilmente verificar, pelas igualdades ( 3.17 ) e ( 3.18 ), a validade para o caso complexo de identidades conhecidas para o caso real, tais como

$\displaystyle {\mathrm {sen}}^{2}z + \cos^{2}z = 1,$
$\displaystyle \cos(z+\pi) = -\cos z$ e $\displaystyle \qquad {\mathrm {sen}}(z+\pi) = -{\mathrm {sen}}z,$
$\displaystyle \cos(-z) = \cos z$ e $\displaystyle \qquad {\mathrm {sen}}(-z) = -{\mathrm {sen}}z,$
$\displaystyle 1+{\mathrm {tg}}^{2}z = \sec^{2}z$ e $\displaystyle \qquad 1+{\mathrm {ctg}}^{2}z = \csc^{2}z,$

dentre muitas outras.

Uma consequência direta da definição das funções seno e cosseno por série de potência é que estas funções são analíticas no domínio de convergência da série, isto é, no plano complexo todo. Sendo assim, estas funções satisfazem as condições de Cauchy-Riemann em todo o plano complexo e isto nos dá uma forma rápida para determinar as derivadas destas duas funções. Para um estudo mais aprofundado sobre funções analíticas e as condições de Cauchy-Riemann pode-se consultar algum texto sobre variáveis complexas. Recomendamos [ 11 , Zill].

Por hora basta saber que se $z = u+iv$ e $f(z) = g(u,v)+ih(u,v)$ é uma função analítica em uma região do plano complexo, então

$\displaystyle f'(z) = \frac{\partial g}{\partial u} + i \frac{\partial h}{\partial u} = \frac{\partial h}{\partial v} - i \frac{\partial g}{\partial v}, $

para todo $z$ nesta região.

Considerando $f(z) = {\mathrm {sen}}z = g(u,v) + i h(u,v)$ , temos $g(u,v) = {\mathrm {sen}}u \cosh v$ e $h(u,v) = {\mathrm{senh}}v \cos u$ e então

$\displaystyle f'(z) = ({\mathrm {sen}}z)'$ $\displaystyle = \frac{\partial g}{\partial u} + i \frac{\partial h}{\partial u}$
$\displaystyle = \frac{\partial}{\partial u} ({\mathrm {sen}}u \cosh v) + i \frac{\partial}{\partial u}({\mathrm{senh}}v \cos u)$
$\displaystyle = \cos u \cosh v - i {\mathrm{senh}}v {\mathrm {sen}}u = \cos z.$

Também, se $f(z) = \cos z = g(u,v) + i h(u,v)$ então $g(u,v) = \cos u \cosh v$ e $h(u,v) = -{\mathrm {sen}}u {\mathrm{senh}}v$ e, dessa forma,

$\displaystyle f'(z) = (\cos z)'$ $\displaystyle = \frac{\partial g}{\partial u} + i \frac{\partial h}{\partial u}$
$\displaystyle = \frac{\partial}{\partial u} (\cos u \cosh v) + i \frac{\partial}{\partial u}(- {\mathrm {sen}}u {\mathrm{senh}}v)$
$\displaystyle = -{\mathrm {sen}}u \cosh v - i {\mathrm{senh}}v \cos u = - {\mathrm {sen}}z.$

As derivadas das funções seno e cosseno de variável complexa são então respectivamente o cosseno e o oposto do seno, exatamente como no caso real. Já que as regras de derivação para funções complexas são as mesmas para funções reais, isto é,

$\displaystyle (f(z)+g(z))'$ $\displaystyle = f'(z) + g'(z),$
$\displaystyle (f(z) \cdot g(z))'$ $\displaystyle = f'(z) \cdot g(z) + f(z) \cdot g'(z),$
$\displaystyle \left( \frac{f(z)}{g(z)} \right)'$ $\displaystyle = \frac{f'(z) \cdot g(z) - f(z) \cdot g'(z)}{(g(z))^{2}},$

então as derivadas das demais funções trigonométricas circulares, são também iguais às derivadas obtidas no caso real. São portanto

$\displaystyle ({\mathrm {tg}}z)'$ $\displaystyle = \sec^{2}z,$
$\displaystyle ({\mathrm {ctg}}z)'$ $\displaystyle = -\csc^{2}z,$
$\displaystyle (\sec z)'$ $\displaystyle = \sec z {\mathrm {tg}}z,$
$\displaystyle (\csc z)'$ $\displaystyle = -\csc z {\mathrm {ctg}}z,$

respeitados os domínios de definição.

Além disso, as identidades obtidas $\cos(iu) = \cosh u$ e ${\mathrm {sen}}(iu) = i {\mathrm{senh}}u$ permitem estabelecer uma correspondência entre as funções trigonométricas circulares e as suas respectivas hiperbólicas. As correspondências das demais funções trigonométricas ficam

$\displaystyle {\mathrm {tg}}(ui)$ $\displaystyle = \frac{{\mathrm {sen}}(ui)}{\cos(ui)} = \frac{i{\mathrm{senh}}u}{\cosh u} = i{\mathrm {tgh}}u$
$\displaystyle {\mathrm {ctg}}(ui)$ $\displaystyle = \frac{\cos(ui)}{{\mathrm {sen}}(ui)} = \frac{\cosh u}{i{\mathrm{senh}}u} = \frac{-i\cosh u}{{\mathrm{senh}}u} = -i{\mathrm{ctgh}}u$
$\displaystyle \sec(ui)$ $\displaystyle = \frac{1}{\cos(ui)} = \frac{1}{\cosh u} = {\mathrm{sech}}u$
$\displaystyle \csc(ui)$ $\displaystyle = \frac{1}{{\mathrm {sen}}(ui)} = \frac{1}{i{\mathrm{senh}}u} = \frac{-i}{{\mathrm{senh}}u} = -i {\mathrm{csch}}u.$

Vamos estudar outras propriedades das funções trigonométricas hiperbólicas de variável complexa. Comecemos pelas raízes destas funções. Queremos determinar os números complexos $z = u + iv \in \mathbb{C}$ tais que ${\mathrm{senh}}z = 0$ . Nestes termos devemos encontrar números reais $u$ e $v$ tais que

$\displaystyle {\mathrm{senh}}z = {\mathrm{senh}}u \cos v + i{\mathrm {sen}}v \cosh u = 0, $

e da igualdade de complexos, $u$ e $v$ devem satisfazer

$\displaystyle {\mathrm{senh}}u \cos v = 0,$
$\displaystyle {\mathrm {sen}}v \cosh u = 0.$

Da segunda equação, como $\cosh u \geq 1$ para todo $u \in \mathbb{R}$ , então devemos ter ${\mathrm {sen}}v = 0$ e, portanto, $v = k\pi$ para $k \in \mathbb{Z}$ . Com estes valores de $v$ na primeira equação, resta que ${\mathrm{senh}}u = 0$ e então $u = 0$ . Temos assim que

$\displaystyle {\mathrm{senh}}z = 0$ se e somente se $\displaystyle \qquad z = ik\pi, $

para $k \in \mathbb{Z}$ . Observe que estas raízes são complexas e que a única destas raízes que é real, é $z = 0$ , que coincide com a única raiz real da função seno hiperbólico a argumento real.

Agora vamos determinar $z = u + iv \in \mathbb{C}$ tal que $\cosh z = 0$ . Da identidade ( 3.20 ), queremos determinar os valores reais de $u$ e $v$ que satisfazem

$\displaystyle \cosh u \cos v = 0,$
$\displaystyle {\mathrm{senh}}u {\mathrm {sen}}v = 0.$

Como $\cosh u \geq 1$ então da primeira equação segue que $\cos v = 0$ e, portanto, $v = \frac{\pi}{2} + k\pi$ para $k \in \mathbb{Z}$ . Com estes valores de $v$ na segunda equação temos que ${\mathrm{senh}}u = 0$ e então $u = 0$ . Segue que

$\displaystyle \cosh z = 0$ se e somente se $\displaystyle \qquad z = i(\tfrac{\pi}{2}+k\pi), $

para $k \in \mathbb{Z}$ . Dentre estas raízes complexas não existe nenhuma raiz real, o que ratifica a não existência de números reais $x$ tais que $\cosh x = 0$ .

As demais funções trigonométricas hiperbólicas de variáveis complexas são definidas em termos de seno e cosseno como no caso real, restritas ao domínio de definição. Isto é,

$\displaystyle {\mathrm {tgh}}z$ $\displaystyle = \frac{{\mathrm{senh}}z}{\cosh z}$ para todo $\displaystyle \quad z \neq i(\tfrac{\pi}{2}+k\pi) \quad (k \in \mathbb{Z}),$
$\displaystyle {\mathrm{ctgh}}z$ $\displaystyle = \frac{\cosh z}{{\mathrm{senh}}z}$ para todo $\displaystyle \quad z \neq ik\pi \quad (k \in \mathbb{Z}),$
$\displaystyle {\mathrm{sech}}z$ $\displaystyle = \frac{1}{\cosh z}$ para todo $\displaystyle \quad z \neq i(\tfrac{\pi}{2}+k\pi) \quad (k \in \mathbb{Z}),$
$\displaystyle {\mathrm{csch}}z$ $\displaystyle = \frac{1}{{\mathrm{senh}}z}$ para todo $\displaystyle \quad z \neq ik\pi \quad (k \in \mathbb{Z}).$

As definições de seno e cosseno hiperbólicos em termos de séries de potências, convergentes em todo o plano complexo, nos diz que estas funções são analíticas em todo o plano complexo e então podemos determinar facilmente as derivadas destas funções. Considerando que $z = u+iv$ e que $f(z) = {\mathrm{senh}}z = g(u,v) + i h(u,v)$ temos

$\displaystyle f'(z) = ({\mathrm{senh}}z)'$ $\displaystyle = \frac{\partial g}{\partial u} + i \frac{\partial h}{\partial u}$
$\displaystyle = \frac{\partial}{\partial u}({\mathrm{senh}}u \cos v) + i\frac{\partial}{\partial u}({\mathrm {sen}}v \cosh u)$
$\displaystyle = \cosh u \cos v + i{\mathrm {sen}}v {\mathrm{senh}}u = \cosh z,$

exatamente como no caso de variáveis reais.

Analogamente, para a função $f(z) = \cosh z = g(u,v) + ih(u,v)$ , temos

$\displaystyle f'(z) = (\cosh z)'$ $\displaystyle = \frac{\partial g}{\partial u} + i \frac{\partial h}{\partial u}$
$\displaystyle = \frac{\partial}{\partial u}(\cosh u \cos v) + i\frac{\partial}{\partial u}({\mathrm{senh}}u {\mathrm {sen}}v)$
$\displaystyle = {\mathrm{senh}}u \cos v + i\cosh u {\mathrm {sen}}v = {\mathrm{senh}}z,$

também como no caso real. Considerando ainda que a regra de derivação para o quociente de funções de variáveis complexas é idêntica à regra de derivação para o quociente de funções de variáveis reais, então temos que

$\displaystyle ({\mathrm {tgh}}z)'$ $\displaystyle = {\mathrm{sech}}^{2} z,$
$\displaystyle ({\mathrm{ctgh}}z)'$ $\displaystyle = -{\mathrm{csch}}z,$
$\displaystyle ({\mathrm{sech}}z)'$ $\displaystyle = -{\mathrm{sech}}z {\mathrm {tgh}}z,$
$\displaystyle ({\mathrm{csch}}z)'$ $\displaystyle = -{\mathrm{csch}}z {\mathrm{ctgh}}z,$

com a devida restrição do domínio de definição. São as mesmas fórmulas de derivação que as funções trigonométricas hiperbólicas de variáveis reais.

Podem ainda ser definidas as funções trigonométricas circulares e hiperbólicas inversas a argumentos complexos. Não vamos nos estender neste aspecto, em virtude de que o caso complexo não é o foco do nosso interesse. Além disso, entraríamos no campo das funções multivalentes, isto é, funções $f(z)$ que assumem mais de um valor para cada $z \in \mathbb{C}$ . Esta categoria de funções foge do conceito de função de um curso de Cálculo Diferencial e Integral.

3.5 Fórmulas exponenciais para funções trigonométricas circulares

Nesta seção, obteremos fórmulas exponenciais similares às identidades em ( 3.1 ) para as funções trigonométricas circulares. Mais precisamente, provaremos que

$\displaystyle {\mathrm {sen}}x = \frac{e^{ix}-e^{-ix}}{2i}$ e $\displaystyle \qquad \cos x = \frac{e^{ix} + e^{-ix}}{2}.$ ( 3 . 21 )

Observe que o lado direito destas igualdades envolve a função exponencial de variável complexa. Precisamos definir a função exponencial de variável complexa e o faremos como na seção anterior onde definimos as funções trigonométricas de variáveis complexas. A expansão em série de potências da função $f(x) = e^{x}$ , para $x \in \mathbb{R}$ , é

$\displaystyle e^{x} = 1 + x + \frac{1}{2!} x^{2} + \frac{1}{3!} x^{3} + \frac{1}{4!} x^{4} + \frac{1}{5!} x^{5} + \frac{1}{6!} x^{6} + \cdots. $

Mas a série de potências do lado direito da igualdade faz sentido se $x$ for um número complexo que torne a série convergente. Definimos então por esta série de potências a função exponencial de variável complexa dada por

$\displaystyle e^{z} = 1 + z + \frac{1}{2!} z^{2} + \frac{1}{3!} z^{3} + \frac{1}{4!} z^{4} + \frac{1}{5!} z^{5} + \frac{1}{6!} z^{6} + \cdots, $

para todo $z \in \mathbb{C}$ tal que a série seja convergente.

De acordo com o teste da razão (Teorema 3.9 ), esta série de potências é convergente em todo o plano complexo, já que

$\displaystyle \lim_{n \to \infty} \left\vert \frac{\frac{1}{(n+1)!}z^{n+1}}{\fr... ...z^{n}} \right\vert = \lim_{n \to \infty} \frac{1}{(n+1)} \vert z\vert = 0 < 1, $

para qualquer $z \in \mathbb{C}$ .

Esta série é importante, porém, dificulta o trabalho com a função $e^{z}$ . Como de costume, vamos reescrever esta série em termos mais agradáveis. Mais precisamente, já que o lado direito da série de potências é um número complexo, esperamos poder escrever este número complexo na tradicional forma algébrica $a + bi$ com $a, b \in \mathbb{R}$ .

Tomando então $z = x + yi$ com $x, y \in \mathbb{R}$ , aplicando a expansão binomial, podemos reescrever a função exponencial na forma

$\displaystyle e^{x + yi}$ $\displaystyle = \sum_{n=0}^{\infty} \frac{1}{n!} (x+yi)^{n}$
$\displaystyle = \sum_{n=0}^{\infty} \frac{1}{n!} \sum_{r=0}^{n} \frac{n!}{r!(n-... ...)^{r} = \sum_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{r!(n-r)!} x^{n-r} (yi)^{r}.$

O lema a seguir nos ajudará a trabalhar com o somatório duplo do segundo membro desta última igualdade.

Lema 3 . 12 Para qualquer $m \in \mathbb{N}$ ,
$\displaystyle \sum_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{(r+m)!(n-r)!} x^{n-r}... ...m_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{(r+m+1)!(n-r)!} x^{n-r} (yi)^{r+m+1}. $
Prova . Dado qualquer $m \in \mathbb{N}$ e começando com
$\displaystyle \sum_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{(r+m)!(n-r)!} x^{n-r} (yi)^{r+m}, $

vamos separar o caso $n = 0$ do somatório externo e depois os casos $r = 0$ do somatório interno. Desta forma, para qualquer que seja $m \in \mathbb{N}$ , obtemos

$\displaystyle \sum_{n=0}^{\infty} \sum_{r=0}^{n}$ $\displaystyle \frac{1}{(r+m)!(n-r)!} x^{n-r} (yi)^{r+m}$
$\displaystyle % $ $\displaystyle = \frac{1}{m!} x^{0} (yi)^{m} + \sum_{n=1}^{\infty} \sum_{r=0}^{n} \frac{1}{(r+m)!(n-r)!} x^{n-r} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} + \sum_{n=1}^{\infty} \left( \frac{1}{m!n... ...{n} (yi)^{m} + \sum_{r=1}^{n} \frac{1}{(r+m)!(n-r)!} x^{n-r} (yi)^{r+m} \right)$
$\displaystyle = \frac{1}{m!} (yi)^{m} + \sum_{n=1}^{\infty} \frac{1}{m!n!} x^{n... ... + \sum_{n=1}^{\infty} \sum_{r=1}^{n} \frac{1}{(r+m)!(n-r)!} x^{n-r} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} \left( 1 + \sum_{n=1}^{\infty} \frac{1}{n... ... + \sum_{n=1}^{\infty} \sum_{r=1}^{n} \frac{1}{(r+m)!(n-r)!} x^{n-r} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} e^{x} + \sum_{n=0}^{\infty} \sum_{r=1}^{n+1} \frac{1}{(r+m)!(n+1-r)!} x^{n+1-r} (yi)^{r+m}$
$\displaystyle = \frac{1}{m!} (yi)^{m} e^{x} + \sum_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{(r+m+1)!(n-r)!} x^{n-r} (yi)^{r+m+1},$

como desejado. $\qedsymbol$

Usando agora repetidamente este lema, temos que

$\displaystyle e^{x + yi}$ $\displaystyle = \sum_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{r!(n-r)!} x^{n-r} (yi)^{r}$
$\displaystyle = e^{x} + \sum_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{(r+1)!(n-r)!} x^{n-r} (yi)^{r+1}$
$\displaystyle = e^{x} + e^{x} (yi) + \sum_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{(r+2)!(n-r)!} x^{n-r} (yi)^{r+2}$
$\displaystyle = e^{x} + e^{x} (yi) + e^{x} \frac{1}{2!} (yi)^{2} + \sum_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{(r+3)!(n-r)!} x^{n-r} (yi)^{r+3}$
$\displaystyle = e^{x} + e^{x} (yi) + e^{x} \frac{1}{2!} (yi)^{2} + e^{x} \frac{... ... + \sum_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{(r+4)!(n-r)!} x^{n-r} (yi)^{r+4}$
$\displaystyle = e^{x} + e^{x} (yi) + e^{x} \frac{1}{2!} (yi)^{2} + e^{x} \frac{... ...um_{n=0}^{\infty} \sum_{r=0}^{n} \frac{1}{(r+5)!(n-r)!} x^{n-r} (yi)^{r+5}, % $

e assim sucessivamente. Desta forma, obtemos

$\displaystyle e^{x+yi} = \sum_{n=0}^{\infty} e^{x} \frac{1}{n!} (yi)^{n} = e^{x} \sum_{n=0}^{\infty} \frac{1}{n!} (yi)^{n}, $

e usando o fato de que quando $n = 2r$ é par, temos que

$\displaystyle (yi)^{n} = (yi)^{2r} = y^{2r} i^{2r} = (-1)^{r} y^{2r}, $

e quando $n = 2r+1$ é impar,

$\displaystyle (yi)^{n} = (yi)^{2r+1} = y^{2r+1} i^{2r+1} = (-1)^{r} y^{2r+1}i, $

então podemos separar o último somatório nas suas parcelas com $n$ par e com $n$ ímpar e obtemos

$\displaystyle e^{x + yi}$ $\displaystyle = e^{x} \sum_{n=0}^{\infty} \frac{1}{n!} (yi)^{n}$
$\displaystyle = e^{x} \left( \sum_{n=0}^{\infty} \frac{1}{(2n)!} (yi)^{2n} + \sum_{n=0}^{\infty} \frac{1}{(2n+1)!} (yi)^{2n+1} \right)$
$\displaystyle = e^{x} \left( \sum_{n=0}^{\infty} \frac{1}{(2n)!}(-1)^{n}y^{2n} + \sum_{n=0}^{\infty} \frac{1}{(2n+1)!}(-1)^{n}y^{2n+1}i \right)$
$\displaystyle = e^{x} \left( \sum_{n=0}^{\infty} \frac{1}{(2n)!}(-1)^{n}y^{2n} + i\sum_{n=0}^{\infty} \frac{1}{(2n+1)!}(-1)^{n}y^{2n+1} \right)$
$\displaystyle = e^{x} \left( \cos(y) + i{\mathrm {sen}}(y) \right).$

Formalmente, temos então uma definição alternativa para a exponencial de um número complexo sem o uso explícito das séries de potência.

Definição 3 . 13 Dado $z = x + yi \in \mathbb{C}$ , definimos a exponencial de $z$ , como sendo o número complexo representado por $e^{x+yi}$ e dado por
$\displaystyle e^{x+yi} = e^{x} \left( \cos(y) + i{\mathrm {sen}}(y) \right) = e^{x}\cos(y) + ie^{x}{\mathrm {sen}}(y). $

Agora estamos prontos para obter as identidades em ( 3.21 ). Dado $u \in \mathbb{R}$ , temos desta última definição que

$\displaystyle e^{iu} = \cos u + i {\mathrm {sen}}u, $

e também

$\displaystyle e^{-iu} = \cos(-u) + i{\mathrm {sen}}(-u) = \cos u - i{\mathrm {sen}}u. $

Somando estas duas últimas igualdades, temos

$\displaystyle e^{iu} + e^{-iu} = 2\cos u, $

e subtraindo a segunda da primeira, temos

$\displaystyle e^{iu} - e^{-iu} = 2i{\mathrm {sen}}u. $

Segue portanto que

$\displaystyle \cos u = \frac{e^{iu} + e^{-iu}}{2},$ e $\displaystyle \qquad {\mathrm {sen}}u = \frac{e^{iu} - e^{-iu}}{2i}. $

Estas duas igualdades são as identidades exponenciais para as funções trigonométricas circulares e são válidas para valores reais de $u$ . Obviamente combinando estas duas fórmulas, podemos deduzir fórmulas exponenciais para as outras funções trigonométricas circulares. São elas

$\displaystyle {\mathrm {tg}}u$ $\displaystyle = \frac{{\mathrm {sen}}u}{\cos u} = \frac{e^{iu} - e^{-iu}}{2i} \cdot \frac{2}{e^{iu} + e^{-iu}} = \frac{ie^{-iu} - ie^{iu}}{e^{iu} + e^{-iu}},$
$\displaystyle {\mathrm {ctg}}u$ $\displaystyle = \frac{\cos u}{{\mathrm {sen}}u} = \frac{e^{iu} + e^{-iu}}{2} \cdot \frac{2i}{e^{iu} - e^{-iu}} = \frac{ie^{iu} + ie^{-iu}}{e^{iu} - e^{-iu}},$
$\displaystyle \sec u$ $\displaystyle = \frac{1}{\cos u} = \frac{2}{e^{iu} + e^{-iu}},$
$\displaystyle \csc u$ $\displaystyle = \frac{1}{{\mathrm {sen}}u} = \frac{2i}{e^{iu} - e^{-iu}},$

respeitados os domínios de definição das funções.

3.6 Fórmulas logarítmicas para as funções trigonométricas circulares inversas

Podemos também, como no caso hiperbólico, escrever as funções inversas das funções trigonométricas circulares em termos do logaritmo. Isto porque a função logaritmo de um número complexo, $\ln z$ é a função inversa da exponencial $e^{z}$ , com uma certa restrição no logaritmo. Para conhecer mais sobre esta restrição, recomendamos [ 11 , Zill]. Por hora, é suficiente saber que $\ln e^{(a+ib)} = (a+ib)$ , para $a \in \mathbb{R}$ e $b \in (-\pi,\pi]$ .

Também temos que lembrar que a conhecida “fórmula de Bháskara” continua válida para resolver equações quadráticas que envolvem coeficientes complexos. Mais precisamente, se $az^{2}+bz+c = 0$ é uma equação com $a, b, c \in \mathbb{C}$ e $a \neq 0$ , então as soluções desta equação são dadas por

$\displaystyle z = \frac{-b + \sqrt{b^{2} - 4ac}}{2a}. $

Note que não usamos o sinal $\pm$ , porque a função raiz quadrada (potência meio) para números complexos é bivalente, isto é, assume dois valores, que são simétricos com relação à origem e isto substitui o sinal $\pm$ . Veja [ 11 , Zill] ou outro texto sobre números complexos para um estudo mais completo sobre raízes de um número complexo.

Considerando $w = {\mathrm {sen}}^{-1}u$ , para $u \in [-1,1]$ e $w \in [-\frac{\pi}{2}, \frac{\pi}{2}]$ , então temos a relação

$\displaystyle u = {\mathrm {sen}}w = \frac{e^{iw} - e^{-iw}}{2i}, $

e multiplicando esta igualdade por $2i e^{iw}$ e, organizando os termos, temos

$\displaystyle (e^{iw})^{2} - 2iue^{iw} - 1 = 0. $

Resolvendo esta equação quadrática, em termos de $e^{iw}$ , segue que

$\displaystyle e^{iw} = \frac{2ui + \sqrt{-4u^{2} + 4}}{2} = ui + \sqrt{1-u^{2}}. $

Como $u \in [-1,1]$ a raiz do segundo membro é um número real. Levando em conta que $w \in [-\frac{\pi}{2}, \frac{\pi}{2}]$ então aplicando o logaritmo em ambos os membros, obtemos

$\displaystyle iw = \ln e^{iw} = \ln(ui + \sqrt{1-u^{2}}), $

e multiplicando tudo por $-i$ , segue que

$\displaystyle {\mathrm {sen}}^{-1} u = w = -i \ln(ui + \sqrt{1-u^{2}}). $

Para $w = \cos^{-1} u$ , vale a relação $u = \cos w = \frac{e^{iw}+e^{-iw}}{2}$ , com $u \in [-1,1]$ e $w \in [0,\pi]$ . Procedendo como anteriormente, multiplicamos esta relação por 2 e por $e^{iw}$ . Obtemos

$\displaystyle 2ue^{iw} = (e^{iw})^{2} + 1, $

e resolvendo a equação quadrática

$\displaystyle (e^{iw})^{2} - 2ue^{iw} + 1 = 0 $

em $e^{iw}$ , temos

$\displaystyle e^{iw} = \frac{2u + \sqrt{4u^{2} - 4}}{2} = u + \sqrt{u^{2} - 1}. $

Esta solução envolve a raiz quadrada de um número que é real e negativo, já que $u \in [-1,1]$ . Escrevemos então

$\displaystyle e^{iw} = u + i\sqrt{1-u^{2}}, $

e agora aplicando o logaritmo em ambos os membros, vem

$\displaystyle iw = \ln (u + i\sqrt{1-u^{2}}), $

já que $w \in [0,\pi]$ . Multiplicando a igualdade por $-i$ obtemos

$\displaystyle \cos^{-1} u = w = -i \ln (u + i\sqrt{1-u^{2}}). $

Considerando agora $w = {\mathrm {tg}}^{-1} u$ , válida para todo $u \in \mathbb{R}$ e $w \in (-\pi,\pi)$ , temos

$\displaystyle u = {\mathrm {tg}}w = \frac{ie^{-iw} - ie^{iw}}{e^{iw} + e^{-iw}} $

donde

$\displaystyle ue^{iw} + ue^{-iw} = ie^{-iw} - ie^{iw}. $

Multiplicando por $e^{iw}$ e organizando os termos temos a equação quadrática

$\displaystyle u(e^{iw})^{2} + u = i - i(e^{iw})^{2}$
$\displaystyle (i+u)(e^{iw})^{2} - (i-u) = 0.$

Resolvendo em $e^{iw}$ obtemos,

$\displaystyle e^{iw} = \sqrt{\tfrac{i-u}{i+u}} = \left( \tfrac{i-u}{i+u} \right)^{\frac{1}{2}}, $

e aplicando logaritmo em ambos os membros, já que $w \in (-\pi,\pi)$ , temos

$\displaystyle iw = \ln (e^{iw}) = \ln\left( \tfrac{i-u}{i+u} \right)^{\frac{1}{2}} = \frac{1}{2} \ln \left( \tfrac{i-u}{i+u} \right), $

e multiplicando a igualdade por $-i$ , temos

$\displaystyle w = \frac{-i}{2} \ln \left( \tfrac{i-u}{i+u} \right) = \frac{i}{2} \ln \left( \tfrac{i+u}{i-u} \right). $

Analogamente para a cotangente inversa, temos $w = {\mathrm {ctg}}^{-1} u$ , para todo $w \in (0,\pi)$ e $u \in \mathbb{R}$ e vale a relação

$\displaystyle u = {\mathrm {ctg}}w = \frac{ie^{iw} + ie^{-iw}}{e^{iw} - e^{-iw}}. $

Procedendo como no caso da tangente, chegamos a equação quadrática

$\displaystyle (u-i)(e^{iw})^{2} - (u+i) = 0, $

que resolvida nos fornece,

$\displaystyle e^{iw} = \sqrt{\tfrac{u+i}{u-i}} = \left( \tfrac{u+i}{u-i} \right)^{\frac{1}{2}}, $

Aplicando o logaritmo e multiplicando o resultado por $-i$ , chegamos a

$\displaystyle {\mathrm {ctg}}^{-1} u = w = -i \ln \left( \tfrac{u+i}{u-i} \righ... ...( \tfrac{u+i}{u-i} \right) = \frac{i}{2} \ln \left( \tfrac{u-i}{u+i} \right) . $

Considerando agora $w = \sec^{-1} u$ , para todo $u \in [1,\infty)$ e $w \in [0,\frac{\pi}{2})$ . Tomamos a relação $u = \sec w = \frac{2}{e^{iw} + e^{-iw}}$ e obtemos,

$\displaystyle ue^{iw} + ue^{-iw} = 2. $

Multiplicando a equação por $e^{iw}$ e reorganizando os termos obtemos

$\displaystyle u(e^{iw})^{2} - 2e^{iw} + u = 0, $

que resolvida em $e^{iw}$ nos leva a

$\displaystyle e^{iw} = \frac{2 + \sqrt{4 - 4u^{2}}}{2u} = \frac{1+\sqrt{1-u^{2}}}{u}. $

A raiz quadrada do segundo membro tem no radicando um número real negativo, já que $u \in [1,\infty)$ . Escrevemos então

$\displaystyle e^{iw} = \frac{1+i\sqrt{u^{2}-1}}{u}, $

e temos

$\displaystyle iw = \ln(e^{iw}) = \ln \left( \tfrac{1+i\sqrt{u^{2}-1}}{u} \right), $

ou ainda,

$\displaystyle w = -i \ln \left( \tfrac{1+i\sqrt{u^{2}-1}}{u} \right). $

Finalmente, para $w = \csc^{-1} u$ , fazendo $u = \csc w = \frac{2i}{e^{iw} - e^{-iw}}$ para todo $u \in [1,\infty)$ e $w \in (0, \frac{\pi}{2}]$ . Temos então

$\displaystyle ue^{iw} - ue^{-iw} = 2i, $

e então

$\displaystyle u(e^{iw})^{2} -2ie^{iw} - u = 0. $

Resolvendo em $e^{iw}$ , vem

$\displaystyle e^{iw} = \frac{2i + \sqrt{-4 + 4u^{2}}}{2u} = \frac{i + \sqrt{u^{2}-1}}{u}, $

e aplicando o logaritmo e uma multiplicação por $-i$ , temos

$\displaystyle \csc^{-1} u = w = -i \ln \left(\tfrac{i + \sqrt{u^{2}-1}}{u} \right). $

Organizando as fórmulas logarítmicas, temos a tabela abaixo.

Tabela 3.2: Fórmulas logarítmicas para as funções trigonométricas circulares inversas.
função domínio fórmula logarítmica
${\mathrm {sen}}^{-1}u$ $[-1,1]$ $-i \ln(ui + \sqrt{1-u^{2}})$

$\cos^{-1} u$ $[-1,1]$ $-i \ln (u + i\sqrt{1-u^{2}})$

${\mathrm {tg}}^{-1} u$ $\mathbb{R}$ $\frac{i}{2} \ln \left( \tfrac{i+u}{i-u} \right)$

${\mathrm {ctg}}^{-1} u$ $\mathbb{R}$ $\frac{i}{2} \ln \left( \tfrac{u-i}{u+i} \right)$

$\sec^{-1} u$ $[1,\infty)$ $-i \ln \left( \tfrac{1+i\sqrt{u^{2}-1}}{u} \right)$

$\csc^{-1} u$ $[1,\infty)$ $-i \ln \left(\tfrac{i + \sqrt{u^{2}-1}}{u} \right)$