Complementos de Matemática

01 Números complexos: forma algébrica, conjugado e módulo

A ideia

$x^2 = -1$ não tem solução real, e a matemática do século XVI decidiu não parar aí: chamou de $i$ um objeto com $i^2 = -1$ e continuou calculando. O que parecia truque virou a ferramenta central da engenharia — impedância, fasor, resposta em frequência, estabilidade de sistema: tudo isso é conta com número complexo.

O ganho não é resolver $x^2 = -1$. É que, admitido o $i$, todo polinômio de grau $n$ passa a ter exatamente $n$ raízes, a exponencial passa a conter o seno e o cosseno, e integrais reais que resistem a qualquer técnica de Cálculo caem em três linhas. Esta cadeira é a colheita disso.

O plano de Argand-Gauss

Um complexo é um par ordenado $(x, y)$, e é por isso que ele se desenha como ponto — ou como vetor da origem até o ponto. Some como vetor, subtraia como vetor: $z_1 + z_2$ é a diagonal do paralelogramo, e $|z_1 - z_2|$ é a distância entre os dois pontos.

Essa última leitura é a que resolve questão de região: $|z - z_0| = r$ é a circunferência de centro $z_0$ e raio $r$, $|z - z_0| < r$ é o disco aberto, e $|z - i| = 1/2$ — que aparece literalmente na integral 4 do 1º EE de 2025.2 — é a circunferência de centro $i$ e raio $\tfrac12$.

As quatro operações

Soma e produto saem de tratar $i$ como uma letra qualquer e trocar $i^2$ por $-1$:

A divisão é a única que pede manobra: multiplique numerador e denominador pelo conjugado do denominador. O denominador vira real, porque

Propriedades que economizam conta

E a desigualdade triangular, que é o mesmo fato geométrico dos vetores:

02 Forma polar, fórmula de Euler, De Moivre e raízes

A ideia

Na forma algébrica, somar é fácil e multiplicar é chato. Na forma polar é o contrário — e como esta cadeira multiplica, eleva a potências e extrai raízes o tempo todo, a forma polar é a que se usa. O motivo é uma linha de trigonometria: multiplicar dois complexos multiplica os módulos e soma os argumentos. Elevar a $n$ vira elevar um número real a $n$ e multiplicar um ângulo por $n$.

Achar o argumento sem cair na armadilha do quadrante

A calculadora devolve $\arctan(y/x)$ em $(-\pi/2, \pi/2)$, isto é, sempre no 1º ou no 4º quadrante. Se o ponto está no 2º ou no 3º, some $\pi$ ao resultado. O jeito seguro é sempre o mesmo: desenhe o ponto, depois escolha o ângulo.

Produto, quociente e De Moivre

Multiplicar por $i$, por exemplo, é girar 90° sem mudar o tamanho: $i = e^{i\pi/2}$. É por isso que $i^2 = e^{i\pi} = -1$ — dois giros de 90° dão meia volta.

As $n$ raízes de um complexo

Aqui está a diferença que mais rende ponto: em $\mathbb{R}$, $\sqrt[3]{8}$ é um número. Em $\mathbb{C}$, $z^3 = 8$ tem três soluções. A regra: o módulo sai da raiz real, e o argumento se divide em $n$, espaçado de $2\pi/n$.

Geometricamente, as $n$ raízes são os vértices de um polígono regular de $n$ lados, inscrito na circunferência de raio $\sqrt[n]{r}$ — o que dá uma conferência visual instantânea.

03 Exponencial, logaritmo e potências complexas

A ideia

Estender $e^x$ ao plano complexo custa uma decisão só — e ela é a fórmula de Euler. O preço vem depois: a exponencial complexa é periódica, e função periódica não tem inversa única. É daí que nasce tudo o que confunde nesta seção: o logaritmo complexo tem infinitos valores, e $z^\alpha$ também.

Três consequências que caem direto em prova:

• $e^z$ nunca é zero — $|e^z| = e^x > 0$ sempre. Logo $e^z = 0$ não tem solução;
• $e^{z_1+z_2} = e^{z_1}e^{z_2}$, como no caso real;
• $e^{z + 2\pi i} = e^z$: a exponencial complexa é periódica de período $2\pi i$. Mostrar isso foi a Questão 01 do 1º EE de 2025.2 e reapareceu na final de 2026.1 — a prova é uma linha: $e^{z+2\pi i} = e^z e^{2\pi i} = e^z \cdot 1$.

O logaritmo é multivalorado

Se $e^w = z$, então $w$ é um logaritmo de $z$. Escrevendo $z = r e^{i\theta}$ e $w = u + iv$: $e^u = r$ e $v = \theta + 2k\pi$. Ou seja, há um logaritmo para cada volta.

O corte que se faz no plano para escolher um ramo (por convenção o semieixo real negativo, onde $\operatorname{Arg}$ salta de $\pi$ para $-\pi$) é o que a ementa chama de superfície de Riemann: em vez de cortar, imagine folhas empilhadas, uma por volta, coladas ao longo do corte. Cada folha é um ramo, e subir de folha é dar uma volta em torno da origem.

Potências complexas

Com o logaritmo na mão, $z^\alpha$ se define pela identidade que já valia nos reais, $a^b = e^{b\ln a}$:

Resolver $e^z = w$

É o roteiro inverso, e ele aparece em toda prova ($e^z = 4i$ em 2023.2, $e^z = 1+i$ na 2ª chamada). Tome logaritmo completo, não o principal, porque a questão pede todas as soluções:

Para $e^z = 4i$: $|4i| = 4$ e $\operatorname{Arg}(4i) = \pi/2$, logo $z = \ln 4 + i\left(\tfrac{\pi}{2} + 2k\pi\right)$.

04 Funções trigonométricas e hiperbólicas complexas

A ideia

Nos reais, $\cos x$ vive preso entre $-1$ e $1$. No plano complexo essa prisão desaparece: $\cos z = 2$ tem solução. O motivo é que seno e cosseno complexos não são “ondas” — são combinações de exponenciais, e a exponencial cresce sem limite na direção imaginária.

A definição vem de inverter a fórmula de Euler. De $e^{iz} = \cos z + i\operatorname{sen} z$ e $e^{-iz} = \cos z - i\operatorname{sen} z$, somando e subtraindo:

A ponte entre as duas famílias

Trocar $z$ por $iz$ leva uma família na outra — e é essa troca que faz o cosseno complexo estourar o intervalo $[-1,1]$:

Separando em parte real e imaginária, com $z = x + iy$:

Os zeros continuam nos mesmos lugares

Um fato que decide questão de singularidade mais adiante: apesar de tudo, os zeros não se multiplicam.

Ou seja: seno e cosseno só têm zeros reais; seno e cosseno hiperbólicos, só zeros imaginários puros. Não há outros no plano.

05 Derivada, funções analíticas e Cauchy-Riemann

A ideia

A derivada complexa tem a mesma definição da real:

A diferença está escondida no $\Delta z \to 0$. Na reta há dois caminhos de aproximação; no plano há infinitos, e o limite tem de dar o mesmo valor em todos. Essa exigência é brutal — e é ela que faz a análise complexa ser tão poderosa: derivável uma vez implica derivável infinitas vezes, ser dado numa curva determina a função num domínio inteiro, e assim por diante. Nada disso vale no caso real.

As equações de Cauchy-Riemann

Escreva $f(z) = u(x,y) + i\,v(x,y)$ e force o limite pelos dois caminhos mais simples: paralelo ao eixo real ($\Delta z = \Delta x$) e paralelo ao imaginário ($\Delta z = i\Delta y$). Igualar os dois resultados dá o sistema:

E a derivada, quando existe, sai de qualquer uma das duas formas:

O que é condição necessária e o que é suficiente

Esta distinção vale ponto em questão teórica:

• se $f$ é derivável em $z_0$, então as equações de Cauchy-Riemann valem ali. (necessária)
• se $u$ e $v$ têm derivadas parciais contínuas numa vizinhança de $z_0$ e satisfazem Cauchy-Riemann ali, então $f$ é analítica em $z_0$. (suficiente)

Só as equações, sem a continuidade das parciais, não basta — mas em prova as funções são polinomiais, exponenciais ou racionais, e a continuidade é imediata. O que se costuma cobrar é: verifique Cauchy-Riemann e conclua.

Onde a analiticidade falha

Para função racional, o roteiro é mecânico: $f$ é analítica em todo ponto menos onde o denominador zera. $f(z) = \dfrac{z^{100}}{(z-1)^{101}}$ é analítica em $\mathbb{C} \setminus \{1\}$; $f(z) = \dfrac{e^{iz}}{(z-\pi)^3}$, em $\mathbb{C}\setminus\{\pi\}$. Localizar esses pontos e comparar com a curva de integração é o movimento das questões de integral do 1º EE — e é por isso que esta seção vem antes delas.

06 Funções harmônicas e a conjugada harmônica

A ideia

Derive $u_x = v_y$ em $x$, derive $u_y = -v_x$ em $y$ e some: as derivadas mistas de $v$ se cancelam e sobra

O mesmo vale para $v$. Isto é, parte real e parte imaginária de função analítica são harmônicas — e a recíproca também serve: dada uma harmônica, existe uma função analítica que a tem como parte real.

Por que isso importa em engenharia: a equação de Laplace é a do potencial elétrico sem carga, a do escoamento potencial, a da condução de calor em regime permanente. Toda função analítica é, de graça, um par de soluções desses problemas — e é por esse caminho que variável complexa entra em eletromagnetismo e em mecânica dos fluidos.

O roteiro da conjugada harmônica

É a questão que mais se repete no 1º EE — 2023.2, 2025.2 e 2026.1 pedem exatamente isso. Quatro passos, sempre os mesmos:

1. Confirme que $u$ é harmônica. Calcule $u_{xx}$ e $u_{yy}$ e some. Se não der zero, não existe conjugada e a questão acaba aqui;
2. Integre $v_y = u_x$ em $y$, tratando $x$ como constante. Aparece uma constante de integração que é uma função de $x$: $\varphi(x)$;
3. Derive o resultado em $x$ e compare com $v_x = -u_y$. Isso determina $\varphi'(x)$;
4. Integre $\varphi'$ e escreva $f = u + iv$, com uma constante real $c$ sobrando.

07 Integral de linha complexa e parametrização

A ideia

Integrar no plano complexo é integrar ao longo de uma curva, não de um intervalo. A definição é a de integral de linha: parametrize a curva, troque $z$ e $dz$ pelo parâmetro, e caia numa integral real comum.

As três parametrizações que resolvem tudo

Segmento de reta de $z_0$ a $z_1$:

Circunferência de centro $z_0$ e raio $R$, anti-horária:

Arco de circunferência — a mesma coisa, com $t$ variando só no trecho desejado.

Reconhecer a curva pela notação é meio caminho: $|z| = 1$ é a circunferência unitária, $|z - i| = 1/2$ tem centro $i$ e raio $\tfrac12$, e $\gamma(t) = i + e^{it}$, $t\in[0,2\pi]$ — que aparece na integral 3 do 1º EE de 2025.2 — é a circunferência de centro $i$ e raio $1$, já escrita parametrizada.

Propriedades e a estimativa ML

Linearidade e aditividade valem como no caso real, e a curva pode ser quebrada em trechos. A propriedade específica do caso complexo é a desigualdade ML, usada para mostrar que uma integral tende a zero:

08 Teorema de Cauchy-Goursat e deformação de contorno

A ideia

O teorema que organiza a unidade inteira, e cujo enunciado é curto:

Traduzido para a prática de prova: se não há singularidade dentro da curva, a integral é zero. Nenhuma conta. E o recíproco em espírito: quando a integral não é zero, é porque há singularidade dentro — e o valor depende só dela, não da forma da curva.

Deformação de contorno: a consequência que se usa mais

Se duas curvas fechadas envolvem as mesmas singularidades, as integrais são iguais. A curva pode ser esticada, amassada ou trocada por uma circunferência mínima em torno do ponto — o valor não muda.

E para uma curva que envolve várias singularidades, o teorema em domínio multiplamente conexo diz que o total é a soma das partes:

com cada $\gamma_k$ uma circunferência pequena em torno de uma singularidade. É esta fórmula que, na seção 13, vira o teorema dos resíduos.

09 Fórmula integral de Cauchy e a das derivadas

A ideia

O teorema da seção anterior diz quando a integral é zero. A fórmula de Cauchy diz quanto ela vale quando não é — e o resultado é espantoso: o valor da função dentro da curva está inteiramente determinado pelos valores dela sobre a curva.

com $f$ analítica dentro e sobre $\gamma$, e $z_0$ dentro de $\gamma$, percorrida no sentido anti-horário.

Derivando essa identidade em relação a $z_0$, quantas vezes se queira, sai a versão que resolve denominador com potência — a mais cobrada das duas:

O roteiro

1. Identifique $z_0$ e $n$ olhando o denominador na forma $(z - z_0)^{n+1}$;
2. Chame de $f$ tudo o que resta e confirme que essa $f$ é analítica dentro da curva;
3. Derive $f$ $n$ vezes e avalie em $z_0$;
4. Multiplique por $2\pi i/n!$.

O erro clássico está no passo 1: contar a potência errada. Denominador $(z-\pi)^3$ dá $n+1 = 3$, logo $n = 2$ e derivada segunda.

10 Sequências, séries complexas e a série de Taylor

A ideia

Convergência de sequência complexa se reduz a duas convergências reais: $z_n \to z$ se e só se $\operatorname{Re} z_n \to \operatorname{Re} z$ e $\operatorname{Im} z_n \to \operatorname{Im} z$. O mesmo para séries. Então tudo o que se sabe de Cálculo 3 sobre séries continua valendo — testes de convergência inclusive, aplicados aos módulos.

O que é novo é o teorema de Taylor complexo, e ele é mais forte do que o real:

Toda função analítica num disco é, ali, a soma da sua série de Taylor — sem exceção, sem hipótese extra. Não existe função analítica que não seja série de potências, e é por isso que “analítica” e “holomorfa” acabam sendo a mesma coisa nesta cadeira.

O raio de convergência é geométrico

Este é o ganho mais bonito da teoria complexa, e a resposta a uma pergunta que Cálculo 3 deixa no ar. Por que a série de $\dfrac{1}{1+x^2}$ tem raio $1$, se a função é lisa em toda a reta? Porque no plano ela tem singularidades em $\pm i$, e a distância da origem até elas é $1$. A obstrução estava fora da reta.

Na prática: para achar $R$, localize as singularidades e meça a distância até o centro.

As quatro séries que resolvem quase tudo

Vale mais reconhecê-las do que derivar $n$ vezes:

A geométrica é a mais útil das quatro, porque ela é o motor de toda expansão de função racional: manipule o denominador até virar $1 - (\text{algo})$ e substitua.

11 Série de Laurent e os anéis de convergência

A ideia

Taylor exige que o centro seja um ponto de analiticidade. Mas as questões desta cadeira giram justamente em torno das singularidades — e é para elas que serve Laurent: admite potências negativas e converge num anel, não num disco.

Uma função, várias séries

O ponto que mais confunde: a série de Laurent depende do anel, não só do centro. A mesma função tem expansões diferentes em anéis diferentes, e a questão sempre diz qual quer — pelo anel, ou pela curva de integração.

Tome $f(z) = \dfrac{1}{z(z-1)}$, com centro $z_0 = 0$. Há dois anéis: $0 < |z| < 1$ e $|z| > 1$.

No primeiro, expanda $\dfrac{1}{z-1} = \dfrac{-1}{1-z} = -\sum z^n$:

No segundo, $|z| > 1$ obriga a fatorar o $z$ para fora, porque é $1/z$ que agora é pequeno:

Na prática das provas: não se calcula $a_n$ por integral

A fórmula integral dos coeficientes é a definição, mas ninguém a usa em prova — seria integrar para achar o que se quer para integrar. O caminho é montar a série a partir das conhecidas, exatamente como em Taylor.

12 Zeros e classificação de singularidades

A ideia

Toda a máquina dos resíduos depende de uma pergunta só: que tipo de singularidade é essa? E a resposta está na parte principal da série de Laurent — quantos termos negativos ela tem.

Os três tipos, pelo teste rápido

Não é preciso montar a série inteira para classificar. Basta o limite:

Equivalentemente, para polo: $|f(z)| \to \infty$ quando $z \to z_0$. Se $|f|$ vai para infinito, é polo; se se acomoda num número, é removível; se oscila sem decidir, é essencial.

A regra que faz o trabalho: zero embaixo vira polo em cima

Para função racional ou quociente de analíticas, a ordem do polo é a ordem do zero do denominador, descontada a do numerador:

• $k > j$ → polo de ordem $k - j$;
• $k \le j$ → removível.

13 Teorema dos resíduos

A ideia

Junte a deformação de contorno da seção 08 com a série de Laurent da seção 11 e sai o resultado que fecha a unidade. Integrando a série termo a termo sobre uma circunferência em torno de $z_0$, todos os termos dão zero — menos o de $(z-z_0)^{-1}$, que dá $2\pi i$. Logo a integral só vê um coeficiente: o $a_{-1}$.

com $\gamma$ fechada e anti-horária, e $z_1,\dots,z_n$ as singularidades dentro dela.

As fórmulas de resíduo, por tipo

Polo simples:

Polo simples de um quociente, o caso mais comum — se $f = p/q$ com $q$ tendo zero simples em $z_0$:

Polo de ordem $m$:

Singularidade essencial: não há fórmula. Expanda em Laurent e leia o $a_{-1}$.

14 Integrais reais calculadas por resíduos

A ideia

Aqui a cadeira paga o que prometeu. Integrais reais que nenhuma técnica de Cálculo resolve caem em três linhas quando se sai da reta, dá uma volta pelo plano complexo e usa resíduos. É a aplicação que aparece em todo 1º EE do acervo.

Tipo 1 — integral trigonométrica em $[0, 2\pi]$

A que mais cai: $\displaystyle\int_0^{2\pi} R(\cos\theta, \operatorname{sen}\theta)\,d\theta$. A ideia é reconhecer que $\theta$ percorrendo $[0,2\pi]$ é a circunferência unitária. Substituindo $z = e^{i\theta}$:

A integral real vira $\oint_{|z|=1}$ de uma função racional, e resíduos resolvem.

Tipo 2 — integral imprópria na reta toda

Para $\displaystyle\int_{-\infty}^{\infty} \frac{p(x)}{q(x)}\,dx$ com $\deg q \ge \deg p + 2$ e $q$ sem raiz real: feche o contorno com um semicírculo grande no semiplano superior. A contribuição do arco vai a zero pela estimativa ML, e sobra

Com $e^{iax}$ no integrando (lema de Jordan), o mesmo vale para $a>0$, e é assim que se calculam as integrais de Fourier que voltam na 2ª unidade.

15 EDO: solução geral, wronskiano e as de 1ª ordem que caem

A ideia

A 2ª unidade começa retomando equações diferenciais, e a razão é prática: as três ferramentas que vêm depois — séries de potências, Fourier e Laplace — existem para resolver EDO e EDP. Esta seção fixa o vocabulário e cobre as equações de 1ª ordem que o acervo cobra de entrada.

Boa parte do conteúdo é o de Equações Diferenciais (Cálculo 4), e nas seções daquela cadeira está o tratamento completo. Aqui fica o que Complementos usa e o que as provas desta disciplina pedem.

O wronskiano

Para soluções de uma EDO linear homogênea num intervalo, vale o dado que resolve a questão teórica: $W$ é identicamente zero ou nunca zero no intervalo — não há meio caminho. Então basta testar em um ponto.

As duas de 1ª ordem que o acervo cobra

A questão 01 do 2º EE de 2023.2 deixa escolher entre uma homogênea de grau zero e uma de Bernoulli — e dá a substituição no enunciado, o que revela o que se espera: reconhecer o tipo e aplicar a troca.

Homogênea de grau zero — quando $y' = F(y/x)$. Substitua $y = xv$, logo $y' = v + xv'$, e a equação separa em $v$ e $x$.

Com $y = xv$: $v + xv' = \dfrac{4}{v} + v$, isto é $xv' = \dfrac4v$, que separa em $v\,dv = \dfrac{4\,dx}{x}$ e dá $v^2 = 8\ln|x| + C$, ou seja

Bernoulli — quando $y' + P(x)y = Q(x)\,y^n$ com $n \ne 0, 1$. Substitua $v = y^{1-n}$ e a equação vira linear em $v$.

que é linear, resolve por fator integrante $e^{3x}$ e dá $v = -x + \tfrac13 + Ce^{-3x}$, donde $y^{-3} = -x + \tfrac13 + Ce^{-3x}$.

16 Funções Gama e Beta: as integrais que a prova exige

A ideia

Esta seção não está entre os 18 itens do programa. Ela está aqui porque as provas a cobram sem aviso: o 2º EE de 2023.2 pede $\int_0^\infty (2+3x)e^{-x^2}dx$ e $\int_0^1 \sqrt{(1-x)/x}\,dx$, a 2ª chamada pede $\int_0^\infty x^3 e^{-x^3}dx$, e a transformada de Laplace de $x^n$ com $n$ não inteiro só se escreve com Gama. Quem não conhece a função perde essas questões inteiras.

A ideia é uma só: estender o fatorial a valores não inteiros, por uma integral.

O roteiro: toda integral desse tipo vira Gama por uma substituição

O padrão é sempre reconhecer $\int_0^\infty t^{z-1}e^{-t}dt$ depois de trocar o expoente do $e$ por $-u$.

A função Beta, para integrais em $[0,1]$

17 Solução de EDO por séries de potências

A ideia

Equação como $y'' + xy = 0$ não tem solução em funções elementares. Mas se a solução é analítica, ela é uma série de potências — e os coeficientes se descobrem substituindo a série na equação e igualando potência por potência. O método troca “resolver uma equação diferencial” por “resolver uma recorrência entre números”, e isso quase sempre dá.

Ponto ordinário e ponto singular

Escreva a equação na forma padrão, com o coeficiente de $y''$ igual a $1$:

• $x_0$ é ordinário se $P$ e $Q$ são analíticas em $x_0$;
• é singular caso contrário — e aí o método desta seção não se aplica direto: usa-se Frobenius (seção 18).

O passo que decide é dividir pelo coeficiente de $y''$ antes de julgar. Em $2xy'' + y' + xy = 0$, a forma padrão tem $P = \dfrac{1}{2x}$ e $Q = \dfrac12$: $x=0$ é singular por causa do $P$.

O roteiro

1. Substitua a série e suas derivadas na equação;
2. Alinhe as potências — mude o índice de cada soma para que todas fiquem em $x^n$;
3. Iguale a zero o coeficiente de cada potência: sai a recorrência;
4. Itere a recorrência a partir de $a_0$ e $a_1$;
5. Separe a solução em duas séries, uma multiplicando $a_0$ e outra $a_1$.

18 Método de Frobenius e a equação indicial

A ideia

Quando $x_0$ é singular, a solução pode não ser série de potências — ela pode começar numa potência fracionária ou negativa, ou envolver logaritmo. Frobenius trata disso com uma tentativa mais larga: multiplica a série por $x^{s}$ e deixa o próprio método descobrir o $s$.

Ponto singular regular

O método só funciona se a singularidade for mansa. O teste, na forma padrão $y'' + Py' + Qy = 0$:

Se os dois limites existem e são finitos, $x_0$ é singular regular e Frobenius se aplica. Se algum estoura, é singular irregular e não há método elementar.

A equação indicial

Substituindo a tentativa e olhando a menor potência de $x$, o coeficiente de $x^{s-2}$ (ou $x^{s-1}$, conforme a equação) tem de anular. Como $a_0 \ne 0$, sobra uma equação de segundo grau em $s$: a indicial. Com $p_0 = \lim (x-x_0)P$ e $q_0 = \lim (x-x_0)^2Q$:

As raízes $s_1 \ge s_2$ decidem o formato das duas soluções:

• $s_1 - s_2$ não inteiro → duas séries de Frobenius independentes;
• $s_1 = s_2$ → a segunda solução carrega um $\ln x$;
• $s_1 - s_2$ inteiro positivo → a segunda pode ou não carregar $\ln x$; garante-se só a de $s_1$.

19 Funções periódicas, paridade e ortogonalidade

A ideia

A série de Fourier funciona porque senos e cossenos formam uma base ortogonal — e “ortogonal” aqui é literalmente o mesmo conceito de vetores perpendiculares, com a integral no papel do produto escalar. Entendida a ortogonalidade, a fórmula dos coeficientes deixa de ser mágica: ela é a projeção de $f$ em cada elemento da base.

Duas funções são ortogonais em $[a,b]$ quando $\langle f,g\rangle = 0$.

As relações de ortogonalidade

São elas que fazem tudo funcionar. Em $[-\pi, \pi]$, com $m, n$ inteiros positivos:

Ou seja: seno é ortogonal a cosseno sempre, e seno com seno (ou cosseno com cosseno) só sobrevive quando os índices coincidem. Multiplicar a série por $\cos(mx)$ e integrar mata todos os termos menos um — e é dessa faxina que sai a fórmula do coeficiente na seção 20.

Paridade, e por que ela poupa metade da conta

Três fatos que a questão 02 do 2º EE de 2025.2 cobra explicitamente:

• par $\times$ par = par, ímpar $\times$ ímpar = par, par $\times$ ímpar = ímpar;
• a integral de função ímpar em intervalo simétrico é zero;
• a integral de função par em intervalo simétrico é o dobro da metade: $\int_{-L}^{L} = 2\int_0^L$.

20 Série de Fourier: os coeficientes e os casos par e ímpar

A ideia

Taylor aproxima uma função perto de um ponto, usando potências. Fourier representa uma função periódica no intervalo inteiro, usando senos e cossenos. A troca de base tem um efeito prático enorme: funções com bico ou salto — onda quadrada, dente de serra, pulso — que Taylor não alcança, Fourier representa sem esforço. É por isso que é a ferramenta de sinal, de vibração e de condução de calor.

Em período $2\pi$ (isto é, $L = \pi$), que é o caso das provas:

Os dois casos que simplificam

21 Forma complexa da série de Fourier

A ideia

Aqui as duas unidades se encontram. Trocando seno e cosseno por exponenciais complexas — a fórmula de Euler da seção 02 — a série de Fourier vira uma soma em vez de duas, com um coeficiente em vez de dois. É a forma que se usa em engenharia, porque é dela que sai o espectro e, no limite, a transformada de Fourier.

A ponte com a forma real

Substituindo $\cos\theta = \tfrac{e^{i\theta}+e^{-i\theta}}{2}$ e $\operatorname{sen}\theta = \tfrac{e^{i\theta}-e^{-i\theta}}{2i}$ e reagrupando:

Duas leituras que caem em prova:

• para $f$ real, $c_{-n} = \overline{c_n}$ — os coeficientes vêm em pares conjugados, e o espectro é simétrico;
• para $f$ par, os $c_n$ são reais; para $f$ ímpar, são imaginários puros. É a paridade da seção 19 vista no plano complexo.

22 Convergência de Fourier, Dirichlet e Parseval

A ideia

Duas perguntas ficaram abertas na seção 20: a série converge para $f$? E o que a soma dos quadrados dos coeficientes significa? A primeira é respondida por Dirichlet, a segunda por Parseval — e a de Parseval é a que resolve questão de prova, porque transforma uma série numérica difícil numa integral fácil.

Convergência pontual: o teorema de Dirichlet

Isto é: onde $f$ é contínua, a série dá $f(x)$; num salto, ela dá a média dos dois lados, ignorando o valor que o enunciado atribuiu ao ponto.

Identidade de Parseval

Ela é a conservação de energia da decomposição: a energia do sinal é a soma das energias dos harmônicos.

Na forma complexa fica ainda mais limpa:

23 Transformada de Laplace e suas propriedades

A ideia

A transformada de Laplace troca o domínio do problema: uma EDO em $x$ vira uma equação algébrica em $s$. Derivada vira multiplicação por $s$, integral vira divisão por $s$, e as condições iniciais entram automaticamente na conta em vez de serem impostas no fim. Resolve-se a álgebra, volta-se com a inversa, e a solução do PVI aparece pronta.

A tabela mínima