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 x\ge 0 (ou numa meia-reta [0,L]), 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 [0,\infty) (ou [0,L]).
  • Consequências para continuidade e diferenciabilidade em x=0.
  • 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 g:\mathbb{R}\to\mathbb{R} é par se, para todo x, vale
g(-x)=g(x).
  • Uma função h:\mathbb{R}\to\mathbb{R} é ímpar se, para todo x, vale
h(-x)=-h(x).
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 180^\circ em torno da origem.
  • Exemplos: x^2 é par; x é ímpar; \sin(x) é ímpar; \cos(x) é par.

Passo 3

Decomposição em parte par e parte ímpar (ferramenta importantíssima).
  • Qualquer função f:\mathbb{R}\to\mathbb{R} pode ser escrita como soma de uma parte par e uma parte ímpar:
f(x)=f_{\text{par}}(x)+f_{\text{ímpar}}(x),í
onde
f_{\text{par}}(x)=\frac{f(x)+f(-x)}{2},\qquad f_{\text{ímpar}}(x)=\frac{f(x)-f(-x)}{2}.í
  • Verificação rápida: f_{\text{par}}(-x)=f_{\text{par}}(x) e f_{\text{ímpar}}(-x)=-f_{\text{ímpar}}(x)íí, e a soma recupera f.
  • 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 f\) em \([0,\infty)\) (ou \([0,L]\)). - Suponha dado \(f\) apenas para \(x\ge 0\). A extensão par \(F_{\text{par}}\) é definida por \[F_{\text{par}}(x)= \begin{cases} f(x), & x\ge 0,\\[4pt] f(-x), & x<0. \end{cases}
  • A extensão ímpar F_{\text{ímpar}}\] é definida por \[F_{\text{ímpar}}(x)= \begin{cases} f(x), & x\ge 0,\\[4pt] -\,f(-x), & x<0. \end{cases}\] - Observações práticas: - Se \(f é dada em [0,L] e queremos estender para [-L,L], usamos as mesmas fórmulas só que restringindo os domínios.
    - Normalmente definimos F_{\text{ímpar}}(0)=0í para continuidade em 0; já F_{\text{par}}(0)=f(0).
    - Exemplo simples: tome f(x)=x para x\ge 0.
    - Extensão par: F_{\text{par}}(x)=|x|.
    - Extensão ímpar: F_{\text{ímpar}}(x)=xí (neste caso particular o original já se estende como ímpar).]

Passo 5

Condições de continuidade e diferenciabilidade em x=0 ao estender.
  • Continuidade em 0:
    • Para F_{\text{par}} é necessária e suficiente que f seja contínua à direita em 0; então F_{\text{par}}(0)=f(0) e as duas laterais coincidem.
    • Para F_{\text{ímpar}}í a continuidade em 0 exige que \lim_{x\to 0^+} f(x)=0 (pois F_{\text{ímpar}}(0)í normalmente é escolhido como 0 para manter a propriedade ímpar).
  • Diferenciabilidade em 0:
    • Para F_{\text{par}}: calcule as derivadas laterais. Se f tem derivada à direita f'_+(0), então (F_{\text{par}})'_+(0)=f'_+(0),\qquad (F_{\text{par}})'_-(0)=-f'_+(0).Para haver derivada ordinária em 0 é preciso (F_{\text{par}})'_+(0)=(F_{\text{par}})'_-(0), logo f'_+(0)= -f'_+(0), isto é, f'_+(0)=0é condição necessária e suficiente. Em palavras: a extensão par só é diferenciável em 0 se a derivada direita de f em 0 for zero.
    • Para F_{\text{ímpar}}í: se f tem derivada à direita f'_+(0), então as derivadas laterais em 0 coincidem e igualam f'_+(0); assim F_{\text{ímpar}}í é diferenciável em 0 sempre que f'_+(0) existir (e f(0)=0 para continuidade).
  • 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 g é par então, para a>0,
\int_{-a}^{a} g(x)\,dx = 2\int_{0}^{a} g(x)\,dx.
  • Se h é ímpar então
\int_{-a}^{a} h(x)\,dx = 0,
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 \int_{-a}^a f(x)\cos(kx)\,dx (onde \cos é par) faz sentido usar a parte par de f; se tiver \sin(kx) (í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 f definida em [0,L] e estenda-a a [-L,L].
    • 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 a_n=\frac{2}{L}\int_{0}^{L} f(x)\cos\!\left(\frac{n\pi x}{L}\right)\,dx,\qquad n\ge 1,e o termo constante a_0=\frac{1}{L}\int_0^L f(x)\,dx.
    • 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 b_n=\frac{2}{L}\int_{0}^{L} f(x)\sin\!\left(\frac{n\pi x}{L}\right)\,dx,\qquad n\ge 1.
  • Consequência prática: para resolver PDEs em (0,L) 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 u(0,t)=0 (porque a função ímpar vale zero na origem).
    • Extensão par costuma corresponder à condição de Neumann u_x(0,t)=0 (derivada nula na origem se a extensão for suave).
  • 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 g(x)=x^2 (par),
\int_{-3}^{3} x^2\,dx = 2\int_0^3 x^2\,dx = 2\cdot\left[\frac{x^3}{3}\right]_0^3 = 2\cdot 9 = 18.
  • Exemplo 2 (extensões): f(x)=\sqrt{x} definida para x\ge 0.
    • Extensão par: F_{\text{par}}(x)=\sqrt{|x|} — contínua em 0, mas não diferenciável em 0 (porque a derivada à direita não é zero).
    • Extensão ímpar: F_{\text{ímpar}}(x)=\operatorname{sgn}(x)\sqrt{|x|}í — é 0 em 0 e tem comportamento ímpar.
  • Exemplo 3 (séries): função f(x)=x em [0,\pi].
    • Extensão ímpar leva à série de senos clássica para x em (-\pi,\pi).
    • Extensão par levaria a uma série só de cossenos para a extensão |x| (com descontinuidade na derivada em 0).

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 (0,L):
    • Use extensão ímpar se a condição em x=0 for do tipo u(0,t)=0 (Dirichlet) — então use série seno.
    • Use extensão par se a condição for u_x(0,t)=0 (Neumann) — então use série cosseno.
  • Para transformar uma função definida só em [0,L] em uma expansão completa em [-L,L], escolha a extensão que preserve a condição de contorno e simplifique a simetria.
  • Cuidado com suavidade em 0: extensão par pode introduzir cuspide se f'_+(0)\neq 0; extensão ímpar pode introduzir salto se f(0)\neq 0.

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 g(-x)=g(x); útil para obter séries/cosseno e para Neumann (derivada nula) em 0; exige derivada direita nula para ser diferenciável em 0.
  • Extensão ímpar: replica com sinal trocado; produz função com h(-x)=-h(x); útil para séries/seno e para Dirichlet (valor zero) em 0; exige f(0)=0 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: F_{\text{par}}(x)=\begin{cases}f(x),&x\ge0,\\[2pt]f(-x),&x<0,\end{cases} tem F_{\text{par}}(-x)=F_{\text{par}}(x)\). Consequências principais: integrais simétricas dobram a metade positiva (\(\int_{-a}^a g=2\int_0^a g\)), gera séries/cosseno (Fourier cosseno), e para ser diferenciável em \(0\) exige \(f'_+(0)=0\) (caso contrário há cuspide).\nExtensão ímpar: \(F_{\text{ímpar}}(x)=\begin{cases}f(x),&x\ge0,\\[2pt]-f(-x),&x<0,\end{cases} tem F_{\text{ímpar}}(-x)=-F_{\text{ímpar}}(x)íí. Consequências principais: integrais simétricas somam zero ( \int_{-a}^a h=0), gera séries/seno (Fourier seno), costuma impor condição de Dirichlet u(0)=0 em PDEs, e é diferenciável em 0 sempre que f'_+(0) existir (com F_{\text{ímpar}}(0)=0í para continuidade).]

Exercícios relacionados