[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[obm-l] Polinômios Estáveis
- To: OBM <obm-l@xxxxxxxxxxxxxx>
- Subject: [obm-l] Polinômios Estáveis
- From: "Bruno França dos Reis" <bfreis@xxxxxxxxx>
- Date: Sat, 16 Jun 2007 10:44:36 -0300
- DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:mime-version:content-type; b=RkZhHpkkJEJNELo4iQWhlNaoN44rVNys9rzLs6foIt5krordaBab1vOPUkJrh0QgEuT8FOzKP1Vk7/eUIi3djJJGQJbduPRswJkXnrP5C47mZYV9t5MEa+xyJFT7Hq8WD4Bdq8+c6QHsuBhr7W/azb7IGIrR6nNmsfmTX2d+VSc=
- DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type; b=FWHDdtK78d+hN26Iq26DTNuDoFKzhUMPOahG5lvYl1cIHvAxhM7ebyIwk4zeyU1As79n6q0N0E94X1sYOgIYDgSSFKxrBsCMz8oMtiuPjD0H7IqMdFuE6loqevjuLUJlpQI4T2kQ8t26S8DaIS1zNbLQh2vfkXpDArBjdUzkdTk=
- Reply-To: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
Olá. Vejam o seguinte teorema.
Um polinômio é dito estável quando suas raízes têm partes reais negativas.
Considere então um polinômio f, e a função racional R,
R(z) = (f(z) - (-1)^n * f(-z)) / (f(z) + (-1)^n * f(-z))
Nessas condições,
f é estável <==>
<==> os pólos de R(z):
(i) estão no eixo imaginário
(ii) são simples
(iii) têm resíduos positivos
Consegui fazer a demonstração no sentido (==>), mas não consigo voltar. Alguém tem alguma idéia?
A ida:
Já está demonstrado o seguinte: f estável <==> os conjuntos de raízes do numerador e do denominador são disjuntos, Re(z) > ==> Re(R(z)) > 0 e Re(z) < 0 ==> Re(R(z)) < 0.
Então, como f é estável e R é irredutível, |f(z)| != |f(-z)| fora do eixo imaginário. Assim, f(z) +- f(-z) != 0, logo, não há pólos fora do eixo imaginário.
Agora é grande, mas basta considerar um zero z_0 do denominador e escrever a série de Laurent de R em torno de z_0, calcular arg(R(z)) e fazer z -> z_j por todas as curvas e obtemos que z_0 é pólo simples e seu resíduo é positivo. (mas é bem grande).
Agora a volta estou com problemas! Consigo mostrar, na volta, que os conjuntos dos zeros do numerador e do denominador são disjuntos. Se eu mostrásse as desiguandades em Re(z) < 0 e Re(z) > 0, estaria pronto, mas não vejo como! Alguma idéia?
Bruno