Teorema do valor final

Em análise matemática, o teorema do valor final (FVT) é um dos vários teoremas semelhantes usados para relacionar expressões no domínio da frequência ao comportamento no domínio do tempo conforme o tempo se aproxima do infinito. Matematicamente, se$f(t)$ em tempo contínuo tem transformada de Laplace (unilateral)$F(s)$ então, um teorema do valor final estabelece as condições sob as quais

$\underset{t\to \mathrm{\infty }}{\lim }f(t)=\underset{s\to 0}{\lim }sF(s)$

Da mesma forma, se$f[k]$ em tempo discreto tem transformada Z (unilateral)$F(z)$ então, um teorema do valor final estabelece as condições sob as quais

$\underset{k\to \mathrm{\infty }}{\lim }f[k]=\underset{z\to 1}{\lim }(z-1)F(z)$

Um teorema do valor final Abeliano faz suposições sobre o comportamento no domínio do tempo de$f(t)$ (ou$f[k]$ ) calcular$\underset{s\to 0}{\lim }sF(s)$ . Por outro lado, um teorema do valor final de Tauber faz suposições sobre o comportamento no domínio da frequência de$F(s)$ calcular$\underset{t\to \mathrm{\infty }}{\lim }f(t)$ (ou$\underset{k\to \mathrm{\infty }}{\lim }f[k]$ ) (ver teoremas Abeliano e Tauberiano para transformadas integrais ).

Teoremas de valor final para a transformada de Laplace

Deduzindo$\underset{t\to \mathrm{\infty }}{\lim }f(t)$

Nas seguintes declarações, a notação '$s\to 0$ ' significa que $s$ se aproxima de 0, enquanto '$s\downarrow 0$ ' significa que $s$ aproxima-se de 0 por meio dos números positivos.

Teorema do valor final estendido

Supondo que cada polo de $F(s)$ está no meio plano esquerdo aberto ou na origem, e que $F(s)$ tem no máximo um único polo na origem. Então $sF(s)\to L\in ℝ$ Como $s\to 0$ e$\underset{t\to \mathrm{\infty }}{\lim }f(t)=L$ .

Teorema do valor final usando a transformada de Laplace da derivada

Supondo que $f(t)$ e $f^{\prime }(t)$ ambos têm transformações de Laplace que existem para todos $s>0$ . E se$\underset{t\to \mathrm{\infty }}{\lim }f(t)$ existe e$\underset{s\to 0}{\lim }sF(s)$ existe então$\underset{t\to \mathrm{\infty }}{\lim }f(t)=\underset{s\to 0}{\lim }sF(s)$ . Predefinição:Referências múltiplas Predefinição:Referências múltiplas

Observação

Ambos os limites devem existir para que o teorema seja válido. Por exemplo, se $f(t)=\sin (t)$ então$\underset{t\to \mathrm{\infty }}{\lim }f(t)$ não existe, mas$\underset{s\to 0}{\lim }sF(s)=\underset{s\to 0}{\lim }\frac{s}{s^2+1}=0$ . Predefinição:Referências múltiplas Predefinição:Referências múltiplas

Teorema do valor final do converso tauberiano aprimorado

Supondo que$f:(0,\mathrm{\infty })\to ℂ$ é limitado e diferenciável, e que $t{f}^{\prime }(t)$ também é limitado por $(0,\mathrm{\infty })$ . E se $sF(s)\to L\in ℂ$ Como $s\to 0$ então$\underset{t\to \mathrm{\infty }}{\lim }f(t)=L$ .

Teorema do valor final de Abel

Supondo que cada polo de$F(s)$ está no meio plano esquerdo aberto ou na origem. Em seguida, ocorre um dos seguintes:

1. $sF(s)\to L\in ℝ$Como$s\downarrow 0$ e$\underset{t\to \mathrm{\infty }}{\lim }f(t)=L$ .
2. $sF(s)\to +\mathrm{\infty }\in ℝ$Como$s\downarrow 0$ e$f(t)\to +\mathrm{\infty }$ Como$t\to \mathrm{\infty }$ .
3. $sF(s)\to -\mathrm{\infty }\in ℝ$Como$s\downarrow 0$ e$f(t)\to -\mathrm{\infty }$ Como$t\to \mathrm{\infty }$ .

Em particular, se $s=0$ é um polo múltiplo de $F(s)$ então o caso 2 ou 3 se aplica ($f(t)\to +\mathrm{\infty }$ ou$f(t)\to -\mathrm{\infty }$ )

Supondo que a transformada de Laplace de $f(t)$ existe. Tomando $\lambda >-1$ . Se$\underset{t\to \mathrm{\infty }}{\lim }\frac{f(t)}{t^{\lambda }}$ existe e $\underset{s\downarrow 0}{\lim }{s}^{\lambda +1}F(s)$ existe então

$\underset{t\to \mathrm{\infty }}{\lim }\frac{f(t)}{t^{\lambda }}=\frac{1}{\mathrm{\Gamma }(\lambda +1)}\underset{s\downarrow 0}{\lim }{s}^{\lambda +1}F(s)$

Onde $\mathrm{\Gamma }(x)$ denota a função Gamma .

Formulários

Teoremas de valor final para obtenção$\underset{t\to \mathrm{\infty }}{\lim }f(t)$ têm aplicações no estabelecimento da estabilidade de longo prazo de um sistema .

Deduzindo$\underset{s\to 0}{\lim }sF(s)$

Supondo que$f:(0,\mathrm{\infty })\to ℂ$ é limitado e mensurável e$\underset{t\to \mathrm{\infty }}{\lim }f(t)=\alpha \in ℂ$ . Então $F(s)$ existe para todo $s>0$ e$\underset{s\to 0^{+}}{\lim }sF(s)=\alpha$ .

Supondo por conveniência que$|f(t)|\le 1$ em$(0,\mathrm{\infty })$, e fazendo p $\alpha =\underset{t\to \mathrm{\infty }}{\lim }f(t)$ . Se$ϵ>0$ e escolhendo $A$ de modo a$|f(t)-\alpha |<ϵ$ para todos $t>A$ . Como $s\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-st}dt=1$, para cada $s>0$ temos

$sF(s)-\alpha =s\underset{0}{\overset{\mathrm{\infty }}{\int }}(f(t)-\alpha )e^{-st}dt;$

logo

$|sF(s)-\alpha |\le s\underset{0}{\overset{A}{\int }}|f(t)-\alpha |e^{-st}dt+s\underset{A}{\overset{\mathrm{\infty }}{\int }}|f(t)-\alpha |e^{-st}dt\le 2s\underset{0}{\overset{A}{\int }}{e}^{-st}dt+ϵs\underset{A}{\overset{\mathrm{\infty }}{\int }}{e}^{-st}dt=I+II.$

Agora para todo $s>0$ temos

$II<ϵs\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-st}dt=ϵ$.

Por outro lado, desde$A<\mathrm{\infty }$ é fixo, é claro que $\underset{s\to 0}{\lim }I=0$, e então $|sF(s)-\alpha |<ϵ$ E se $s>0$ é pequeno o suficiente.

Supondo que todas as seguintes condições sejam satisfeitas:

1. $f:(0,\mathrm{\infty })\to ℂ$é continuamente diferenciável e ambos$f$ e$f^{\prime }$ tem uma transformação de Laplace
2. $f^{\prime }$é absolutamente integrável, isto é$\underset{0}{\overset{\mathrm{\infty }}{\int }}|f^{\prime }(\tau )|d\tau$ é finito
3. $\underset{t\to \mathrm{\infty }}{\lim }f(t)$existe e é finito

Então

$\underset{s\to 0^{+}}{\lim }sF(s)=\underset{t\to \mathrm{\infty }}{\lim }f(t)$.

Observação

A prova usa o Teorema da Convergência Dominada .

Teorema do valor final para somas assintóticas de funções periódicas

Deixei$f:(0,\mathrm{\infty })\to ℂ$ ser uma função contínua e limitada de modo que exista o seguinte limite

$\underset{T\to \mathrm{\infty }}{\lim }\frac{1}{T}\underset{0}{\overset{T}{\int }}f(t)dt=\alpha \in ℂ$

Então$\underset{s\to 0,s>0}{\lim }sF(s)=\alpha$ .

Suponha que$f:[0,\mathrm{\infty })\to ℝ$ é contínuo e absolutamente integrável em$[0,\mathrm{\infty })$ . Suponha ainda que$f$ é assintoticamente igual a uma soma finita de funções periódicas$f_{\mathrm{a}\mathrm{s}}$, isso é

$|f(t)-f_{\mathrm{a}\mathrm{s}}(t)|<\varphi (t)$

Onde $\varphi (t)$ é absolutamente integrável em$[0,\mathrm{\infty })$ e desaparece no infinito. Então

$\underset{s\to 0}{\lim }sF(s)=\underset{t\to \mathrm{\infty }}{\lim }\frac{1}{t}\underset{0}{\overset{t}{\int }}f(x)dx$.

Definindo $f(t):[0,\mathrm{\infty })\to ℝ$ e tal que $F(s)$ seja a transformação de Laplace de$f(t)$ . Supondo que$f(t)$ satisfaz todas as seguintes condições:

1. $f(t)$é infinitamente diferenciável em zero
2. $f^{(k)}(t)$tem uma transformação de Laplace para todos os inteiros não negativos$k$
3. $f(t)$diverge para o infinito como$t\to \mathrm{\infty }$

Então $sF(s)$ diverge para o infinito como$s\to 0^{+}$ .

Teoremas de valor final para obtenção$\underset{s\to 0}{\lim }sF(s)$ tem aplicações em probabilidade e estatística para calcular os momentos de uma variável aleatória . Sendo $R(x)$ uma função de distribuição cumulativa de uma variável aleatória contínua$X$ e tomando $\rho (s)$ como a transformada Laplace-Stieltjes de $R(x)$ . Então o $n$ -ésimo momento de $X$ pode ser calculado como

$E[X^n]=(-1{)}^n{\frac{d^n\rho (s)}{d{s}^n}|}_{s=0}$

A estratégia é escrever

$\frac{d^n\rho (s)}{d{s}^n}=ℱ(G_1(s),G_2(s),\dots ,G_k(s),\dots )$

Onde $ℱ(\dots )$ é contínuo e para cada $k$ ,$G_k(s)=s{F}_k(s)$ para uma função$F_k(s)$ . Para cada $k$, definindo$f_k(t)$ como a transformada de Laplace inversa de$F_k(s)$, obtemos$\underset{t\to \mathrm{\infty }}{\lim }{f}_k(t)$, e aplicando um teorema do valor final podemos deduzir$\underset{s\to 0}{\lim }{G}_k(s)=\underset{s\to 0}{\lim }s{F}_k(s)=\underset{t\to \mathrm{\infty }}{\lim }{f}_k(t)$ . Desta forma

${\frac{d^n\rho (s)}{d{s}^n}|}_{s=0}=ℱ(\underset{s\to 0}{\lim }{G}_1(s),\underset{s\to 0}{\lim }{G}_2(s),\dots ,\underset{s\to 0}{\lim }{G}_k(s),\dots )$

Exemplos

Exemplo onde FVT se mantém

Por exemplo, para um sistema descrito pela função de transferência

$H(s)=\frac{6}{s+2},$

e assim a resposta ao impulso converge para

$\underset{t\to \mathrm{\infty }}{\lim }h(t)=\underset{s\searrow 0}{\lim }\frac{6s}{s+2}=0.$

Ou seja, o sistema retorna a zero após ser perturbado por um curto impulso. No entanto, a transformada de Laplace da resposta ao degrau unitário é

$G(s)=\frac{1}{s}\frac{6}{s+2}$

e assim a resposta ao degrau converge para

$\underset{t\to \mathrm{\infty }}{\lim }g(t)=\underset{s\searrow 0}{\lim }\frac{s}{s}\frac{6}{s+2}=\frac{6}{2}=3$

e assim um sistema de estado zero seguirá um aumento exponencial para um valor final de 3.

Exemplo onde FVT não se mantém

Para um sistema descrito pela função de transferência

$H(s)=\frac{9}{s^2+9},$

o teorema do valor final parece prever o valor final da resposta ao impulso como sendo 0 e o valor final da resposta ao degrau sendo 1. No entanto, nenhum limite no domínio do tempo existe e, portanto, as previsões do teorema do valor final não são válidas. Na verdade, tanto a resposta ao impulso quanto a resposta ao degrau oscilam e (neste caso especial) o teorema do valor final descreve os valores médios em torno dos quais as respostas oscilam.

Existem duas verificações realizadas na teoria de controle que confirmam resultados válidos para o Teorema do Valor Final:

1. Todas as raízes diferentes de zero do denominador de$H(s)$ deve ter partes reais negativas.
2. $H(s)$não deve ter mais de um pólo na origem.

A regra 1 não foi satisfeita neste exemplo, em que as raízes do denominador são$0+j3$ e$0-j3$ .

Teoremas de valor final para a transformada Z

Deduzindo$\underset{k\to \mathrm{\infty }}{\lim }f[k]$

E se$\underset{k\to \mathrm{\infty }}{\lim }f[k]$ existe e$\underset{z\to 1}{\lim }(z-1)F(z)$ existe então$\underset{k\to \mathrm{\infty }}{\lim }f[k]=\underset{z\to 1}{\lim }(z-1)F(z)$ . Predefinição:Referências múltiplas

Ver também

• Teorema do valor inicial
• Transformada Z
• Laplace Transform

Ligações externas

• [1]
• http://fourier.eng.hmc.edu/e102/lectures/Laplace_Transform/node17.html Valor final para Laplace
• https://web.archive.org/web/20110719222313/http://www.engr.iupui.edu/~skoskie/ECE595s7/handouts/fvt_proof.pdf Prova de valor final para Z-transformações