Objetivos
Apresentar o conceito e algumas propriedades importantes do impulso unitário e suas aplicações.
O degrau unitário de Heaviside
Considere a seguinte função , contínua e seccionalmente diferenciável:
Essa função é conhecida como “rampa” limitada, ou rampa saturada. Sua derivada é definida em toda parte, exceto nos pontos e
:
A função e sua derivada são ilustradas na figura 1a. Suponha, agora, que façamos . No limite, obteremos
, o chamado degrau unitário, proposta por Heaviside para descrever transições abruptas idealizadas. Sua “derivada” pode ser estimada a partir da derivada de f(x), fazendo-se
tender a
. Essa construção está ilustrada nas figura 1b e 1c.
Figura 1 – a) Função rampa e sua derivada; b) e c) Rampa tendendo ao degrau unitário; d) Situação limite
Na figura 1d a função f(x) transformou-se praticamente no degrau unitário de Heaviside, ou , definida como:
A altura do pulso correspondente à derivada aumenta progressivamente na proporção inversa à diminuição do tamanho do intervalo , enquanto sua área se mantém igual a 1. No caso limite, em que
, ilustrado na fig. 1d, a largura do pulso torna-se nula e sua altura tende ao infinito, ainda preservando sua área unitária. Nessa situação, diz-se que o pulso tendeu ao impulso unitário .
.
O impulso unitário, ou Delta de Dirac
É muito frequente depararmos com a seguinte “definição” do impulso unitário, denotado por e denominado também de delta de Dirac:
Todavia,interpretar tal “definição” como uma função não é correto, pois (i) não define uma função, uma vez que não é um valor que se possa atribuir a um ponto do domínio e, (ii) muito menos é integrável, já que diverge em
.
.
Propriedades do Delta de Dirac
Vamos adiar por ora a definição correta do Delta de Dirac e examinemos antes algumas de suas propriedades seguindo um raciocínio heurístico, com o intuito de facilitar a compreensão da definição que será dada mais adiante.
Propriedade de Filtragem
Seja f(x) uma função defnida em , suave (i.e., sempre diferenciável sucessivamente) e de suporte compacto (i.e., por simplicidade, que se anula em
e
). O delta de Dirac
apresenta a seguinte propriedade, denominada propriedade de filtragem:
A questão se a integral acima está definida terá de ser examinada com cuidado mais adiante. Além disso, nenhuma “função” é capaz de satisfazer à expressão acima para uma f(x) arbitrária. O delta de Dirac deve possuir uma estrutura peculiar, distinta da de função, conforme veremos mais adiante, para que a propriedade acima seja válida.
Supondo-se que exista uma tal “função” e levando-se em conta o fato de que ela só não seria nula em uma vizinhança “infinitesimal”
, poderíamos, através de mais um exercício de heurística, escrever:
mostrando ser razoável esperar-se algo como a propriedade de filtragem.
Integral indefinida do Delta de Dirac
O Delta de Dirac surgiu como consequência da derivação do degrau de Heaviside, conforme ilustrado na figura 1d. Portanto, é razoável dizer que a integral indefinida ou a “primitiva” do delta de Dirac seja o degrau de Heaviside, escrevendo-se:
Entretanto, isto trará consequências para a interpretação de H(x) que, conforme veremos adiante, será interpretada como um objeto matemático da mesma natureza do delta de Dirac.
Representaremos graficamente o impulso usando-se uma seta vertical apontando para cima, colocada no ponto para indicar sua localização. Quando o impulso for multiplicado por uma constante negativa, indicaremos a seta vertical apontando para baixo. A figura 2 ilustra essa notação e a propriedade de filtragem.
Figura 2 – a) notação para o delta de Dirac ; b) propriedade de filtragem do delta de Dirac
Derivada do Delta de Dirac
Construimos o conceito do delta de Dirac como sendo a função para a qual o pulso de área unitária tende quando sua largura é feita tender a zero, levando sua altura ao infinito. Podemos construir heuristicamente o conceito da derivada do delta de Dirac derivando-se o pulso de área unitária e examinando-se o efeito sobre a derivada quando a largura o pulso tende a zero. A figura 3 ilustra esse processo.
Figura 3 – Construção da derivada do delta de Dirac usando-se a derivada do pulso: a) o pulso retangular como sendo a diferença de dois degraus: ; b) a derivada do pulso como sendo a derivada da diferença dos dois degraus
; c) a derivada do pulso para o
, que corresponde à derivada do delta de Dirac .
O pulso pode ser entendido como a diferença de dois degraus de Heaviside, o primeiro localizado em e o segundo em
. Portanto, a derivada do pulso pode ser indicada como dois deltas de Dirac, um positivo em
e um negativo em
, pois esses deltas são as respectivas derivadas dos degraus.
Mudança de escala do argumento do Delta de Dirac
Demonstraremos que se a variável independente x muda de escala por um fator a, o delta de Dirac muda de escala por um fator 1/a , ou seja
Essa propriedade pode ser demonstrada, verificando-se que a expressão acima satisfaz propriedades fundamentais do delta de Dirac:
Se a > 0 :
Se a < 0 : , com
.
Construção do Delta de Dirac por sequências de funções
O delta de Dirac pode ser construido através de sequências de funções , que convergem para uma relação denotada por
(definida sobre
) tal que:
Essa relação não deve ser entendida como uma função. De fato ela é o que se chama de uma distribuição, ou ainda uma função generalizada , mas veremos esses conceitos mais adiante.
Vamos a seguir propor diversas sequências de funções, denotadas por suaves, isto é, infinitamente diferenciáveis no intervalo
. As funções
estão normalizadas unitariamente, significando que
As funções são denominadas funções teste ou ainda funções bump (lombada) ou ainda mollifiers .
Observação – Na prática a denominação mollifier se aplica quando se considera o efeito oposto ao de n crescente em
. As funções teste
vão se tornando cada vez mais “agudas”, ou abruptas, ou estreitas, à medida em que
. O mollifier é usado para diminuir acutância, tornando as funções menos abruptas nas descontinuidades. Ele é uma função do tipo das
que, aplicada a uma função g(x) dotada de descontinuidades abruptas, suaviza g(x) nas descontinuidades. Veja o artigo sobre os mollifiers .
Sequências delta
As sequências de funções teste que tendem para a relação
são denominadas sequências delta. Isto é denotado por
, significando
e ainda,
para toda f(x) contínua.
As seguintes sequências de funções teste formam sequências delta:
.
a) (limite de um pulso retangular)
.
b) (limite de uma função gaussiana)
.
c) (limite de uma função de Cauchy)
.
d) (limite de uma função sinc(x) )
.
e) (limite de um pulso exponencial)
Diversas outras sequências de funções teste constituem sequências delta, entre elas sequências de funções de Airy e de funções de Bessel. Os exemplos acima são mostrados em animações contendo alguns exemplares de funções , para os valores de n indicados nas animações.
a) sequência delta de pulsos retangulares
b) sequência delta de pulsos gaussianos
c) sequência delta de pulsos de Cauchy
d) sequência delta de pulsos sinc
e) sequência delta de pulsos exponenciais
Equivalência de sequências delta
As sequências acima exemplificadas, bem como outras sequências delta, são equivalentes, segundo a uma certa relação de equivalência que examinaremos em uma ocasião futura. Grosso modo, podemos dizer que como todas as sequências acima apresentadas convergem para a mesma relação , então elas são equivalentes. O conjunto de todas as sequências delta formam uma classe de equivalência segundo essa relação de equivalência. Essa classe de equivalência é o que se define como sendo o delta de Dirac , denotado então por
.
Definição do delta de Dirac
Formalmente:
- seja
uma relação de equivalência entre sequências de funções
e
. Diremos que duas sequências de funções teste são equivalentes, se convergem para uma mesma relação
.
- Isto é:
.
- as funções
são denominadas funções teste.
- Uma sequência de funções teste
é dita uma sequência delta se
- Duas sequências delta são equivalentes, pois ambas convergem para
- A classe de equivalência constituida pelas sequências delta denomina-se delta de Dirac.
- Isto é:
Essa definição implica na prática que qualquer função teste que seja membro de uma sequência delta pode ser usada para representar o delta de Dirac em uma certa escala.
Existem aspectos técnicos que requerem maior rigor e, neste primeiro contato estamos suprimindo, porém, mencionaremos a seguir:
- O delta de Dirac é uma distribuição
- Funções e distribuições são objetos matemáticos distintos
- Funções permitem a avaliação (evaluation) em um ponto, isto é,
- Distribuições não permitem avaliação no ponto
- Funções são relações que levam um ponto de um conjunto (domínio) a precisamente um ponto de outro conjunto (contra-domínio).
- Distribuições levam um conjunto (no caso , uma função f(x) ) a um ponto de
, ou mais especificamente, no caso do delta de Dirac, leva f(x) a f(0)
- De um modo mais geral, as distribuições são definidas como classes de equivalências de sequências de funções teste
- As relações de equivalência a que se referem essas classes são construídas de um modo mais geral, considerando-se que as sequências de funções teste convergem para funções, de fato. Para tanto, é necessário utilizar as derivadas e integrais de outras sequências, ditas fundamentais, que realmente convergem para funções. Por exemplo, no caso das sequências delta, elas seriam igualadas a sequências de derivadas de funções rampa. No caso, as funções rampa convergem para o degrau de Heaviside, que é de fato uma função, embora não contínua.
Essa abordagem mais rigorosa será objeto de uma discussão futura.
Referências
Antosik,P. , Mikusinski,J. , Sikorski,R. – Theory of distributions – The sequential approach. Elsevier Scientific Publishing Company, Amsterdam, PWN – Polish Scientific Publishers, Warszava, 1973
Tao, Terence – Distributions – pre-print available at http://www.math.ucla.edu/~tao/preprints/distribution.pdf
6 comentários
Comments feed for this article
setembro 8, 2009 às 11:12 pm
Lucas Ribeiro
na definição do degrau unitário de Heaviside, acho que o certo seria
f(x) = (x-x0)/(x1-x0) , para x ₢ [x0,x1]
setembro 11, 2009 às 1:24 am
Joao Kogler
Certamente, ela passa por x0, farei a correção. Obrigado.
maio 13, 2011 às 4:59 pm
MASSIMO
KOGLER: QUE BOM TE REENCONTRAR….MEUS PARABENS, FOI O MELHOR TRABALHO QUE JÁ ENCONTREI SOBRE AS FUNÇÕES H(t) E Delta(t) . SE V. PERMITIR VOU TE USAR COMO PONTO DE REFERENCIA…(TEM MUITA BESTEIRA E ABSURDOS ESCRITOS SOBRE O TEMA ACIMA) O TEU ENFOQUE É PERFEITO
MASSIMO ARGENTO
maio 17, 2011 às 7:04 pm
Joao Kogler
Caro Massimo,
que prazer saber de notícias suas ! Agradeço que tenha gostado, sua opinião é valiosa e relevante. Fique à vontade em referir-se ao artigo. Use o link permanente para tanto:
https://jkogler.wordpress.com/2008/06/14/delta-de-dirac-ou-impulso-unitario/
[]’s
João
agosto 10, 2011 às 3:24 pm
Alexsandro Lucena (@lucenalex)
Olá! Em primeiro lugar gostaria de parabenizá-lo pelo artigo que a meu vê discute de maneira esclarecedora a gênesis da “função” de Heaviside e da Delta de Dirac. Certamente é uma da melhores exposições que já encontrei.
Mas gostaria de fazer uma observação importante, e me corrija se eu estiver enganado, mas quando você diz que a função rampa é diferenciável em todos os pontos, excerto é claro para os pontos x0 e x1, como de fato é, tais pontos, a meu vê, não deveriam ser incluídos na definição de derivada da função rampa escrita acima. Sendo mais específico, o intervalo, não deveria ser aberto, isto é, não deveríamos ter f’(x)=1/(x1-x0), para x pertencente a ]x0,x1[, ao invés de [x0,x1]?
Obrigado e aguardo com uma certa ansiedade pela resposta.
Alexsandro Lucena Mota
Graduando em Física pela UFMA
(Este post tem algumas correções em relação ao anterior)
agosto 14, 2011 às 2:26 pm
Joao Kogler
Alessandro, as correções foram feitas. Obrigado por chamar à atenção quanto a esses detalhes.