Explique a diferença entre extensão par e ímpar e suas consequências.
Passo 1
O enunciado pede que eu explique a diferença entre extensão par e extensão ímpar e suas consequências. Não há outros dados numéricos; a tarefa é conceitual: definir o que é cada extensão, como construí-las a partir de uma função dada só para
(ou numa meia-reta
), e mostrar as consequências práticas para integrais, derivadas, séries de Fourier e resolução de PDEs. Vou listar o que preciso tratar:
- Definições de par e ímpar para funções na reta.
- Fórmulas para decompor uma função em parte par e ímpar.
- Como construir a extensão par e a extensão ímpar de uma função dada em
(ou ). - Consequências para continuidade e diferenciabilidade em
. - Consequências para integração em intervalos simétricos.
- Consequências para séries de Fourier, transformadas (seno/cosseno) e condições de contorno em PDEs.
- Exemplos simples para ilustrar cada ponto.
Passo 2
O que significa “par” e “ímpar” para funções (definições básicas).
- Uma função
é par se, para todo , vale
- Uma função
é ímpar se, para todo , vale
Propriedades imediatas e intuitivas:
- Gráficos: função par é simétrica em relação ao eixo vertical; função ímpar é simétrica por rotação de
em torno da origem. - Exemplos:
é par; é ímpar; é ímpar; é par.
Passo 3
Decomposição em parte par e parte ímpar (ferramenta importantíssima).
- Qualquer função
pode ser escrita como soma de uma parte par e uma parte ímpar:
onde
- Verificação rápida:
e , e a soma recupera . - Uso prático: essa decomposição é útil para separar comportamentos simétricos e antissimétricos e para escolher séries de Fourier apropriadas.
Passo 4
Como construir uma extensão par e uma extensão ímpar quando só se conhece
- A extensão ímpar
é dada em
e queremos estender para , usamos as mesmas fórmulas só que restringindo os domínios.
- Normalmente definimospara continuidade em ; já .
- Exemplo simples: tomepara .
- Extensão par:.
- Extensão ímpar:(neste caso particular o original já se estende como ímpar).]
Passo 5
Condições de continuidade e diferenciabilidade em
ao estender.
- Continuidade em
: - Para
é necessária e suficiente que seja contínua à direita em ; então e as duas laterais coincidem. - Para
a continuidade em exige que (pois normalmente é escolhido como para manter a propriedade ímpar).
- Para
- Diferenciabilidade em
: - Para
: calcule as derivadas laterais. Se tem derivada à direita , então Para haver derivada ordinária em é preciso , logo , isto é, é condição necessária e suficiente. Em palavras: a extensão par só é diferenciável em se a derivada direita de em for zero. - Para
: se tem derivada à direita , então as derivadas laterais em coincidem e igualam ; assim é diferenciável em sempre que existir (e para continuidade).
- Para
- Intuição: extensão par impõe “horizontalidade” na origem (derivada zero) para ser suave; extensão ímpar impõe valor zero na origem.
Passo 6
Consequências para integrais em intervalos simétricos e simplificações práticas.
- Se
é par então, para ,
- Se
é ímpar então
desde que a integral exista (simetria de áreas canceladas).
- Isso é frequentemente usado para simplificar cálculos de integrais e coeficientes de séries: por exemplo, ao calcular integrais da forma
(onde é par) faz sentido usar a parte par de ; se tiver (ímpar), usa-se a parte ímpar.
Passo 7
Consequências importantes para séries de Fourier e transformadas (aplicações práticas).
- Considere uma função
definida em e estenda-a a . - Se escolher a extensão par, a série de Fourier periódica resultante envolverá apenas termos de cosseno (série cosseno), porque cossenos são funções pares. Os coeficientes de cosseno são dados por
e o termo constante - Se escolher a extensão ímpar, a expansão terá apenas termos de seno (série seno), porque senos são ímpares. Os coeficientes de seno são
- Se escolher a extensão par, a série de Fourier periódica resultante envolverá apenas termos de cosseno (série cosseno), porque cossenos são funções pares. Os coeficientes de cosseno são dados por
- Consequência prática: para resolver PDEs em
com condições de contorno, a escolha da extensão está ligada ao tipo de condição: - Extensão ímpar costuma corresponder à condição de Dirichlet
(porque a função ímpar vale zero na origem). - Extensão par costuma corresponder à condição de Neumann
(derivada nula na origem se a extensão for suave).
- Extensão ímpar costuma corresponder à condição de Dirichlet
- Para transformadas integradas: a transformada de Fourier de uma função par reduz-se à transformada cosseno (real), e de uma função ímpar reduz-se à transformada seno (puro imaginário quando se usa a transformada complexa), o que simplifica cálculos.
Passo 8
Exemplos curtos para fixar a ideia (faça você mesmo na prova).
- Exemplo 1 (integrais): com
(par),
- Exemplo 2 (extensões):
definida para . - Extensão par:
— contínua em , mas não diferenciável em (porque a derivada à direita não é zero). - Extensão ímpar:
— é 0 em e tem comportamento ímpar.
- Extensão par:
- Exemplo 3 (séries): função
em . - Extensão ímpar leva à série de senos clássica para
em . - Extensão par levaria a uma série só de cossenos para a extensão
(com descontinuidade na derivada em ).
- Extensão ímpar leva à série de senos clássica para
Passo 9
Receita rápida e dicas de prova (o que fazer quando você está com pressa).
- Se tiver integral simétrica e a função for explicitamente par ou ímpar, use as fórmulas do Passo 6 para economizar cálculo.
- Se o problema pede resolver PDE em semi-intervalo
: - Use extensão ímpar se a condição em
for do tipo (Dirichlet) — então use série seno. - Use extensão par se a condição for
(Neumann) — então use série cosseno.
- Use extensão ímpar se a condição em
- Para transformar uma função definida só em
em uma expansão completa em , escolha a extensão que preserve a condição de contorno e simplifique a simetria. - Cuidado com suavidade em
: extensão par pode introduzir cuspide se ; extensão ímpar pode introduzir salto se .
Passo 10
Resumo final curto e motivador (para decorar e usar na prova).
- Extensão par: replica o lado direito para o lado esquerdo espelhando; produz função com
; útil para obter séries/cosseno e para Neumann (derivada nula) em ; exige derivada direita nula para ser diferenciável em . - Extensão ímpar: replica com sinal trocado; produz função com
; útil para séries/seno e para Dirichlet (valor zero) em ; exige para continuidade. - Dica final: antes de qualquer cálculo, pergunte-se “qual simetria simplifica este problema?” — isso quase sempre salva tempo na prova. Força aí, você vai conseguir!
Resposta
Extensão par:
tem
tem
. Consequências principais: integrais simétricas somam zero (
), gera séries/seno (Fourier seno), costuma impor condição de Dirichlet
em PDEs, e é diferenciável em
sempre que
existir (com
para continuidade).]