Re: [obm-l] Algebra linear : Wronkisano e indicacao de livro

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxxxxxxxxx>]

On Sat, Sep 20, 2003 at 08:49:39AM -0700, niski wrote:
> Ola pessoal. Inicialmente, agradeco ao incansavel Claudio Bufarra pela 
> resolucao l� da equacao da involute da circunferencia.
> Bom estou com o seguinte problema
> Seja A = {e^a[1].x, e^a[2].x, e^a[3].x, ..., e^a[n]x} *(obs l�-se e 
> elevado a a indicie n vezes x)
> onde a[1] != a[2] != ... != a[n] e pertencem a R.
> Prove que A � L.I.
> 
> Eu pensei em contruir o Wronskiano e se ele for identicamente nulo ent�o 
> seria L.I certo?

N�o est� errado; h� v�rias solu��es.

=============================================================================

A minha favorita � olhar o comportamento em infinito. 

Desculpe mas vou tirar os [] da sua nota��o.
Suponha sem perda a1 < a2 < ... < an. Suponha por absurdo que
f(x) = c1 * e^(a1 x) + ... + cn * e^(an x) seja identicamente igual a 0
com pelo menos um dos coeficientes n�o nulo, sem perda cn.
Assim

lim_{x -> infinito} e^(-an x)*f(x) = cn 

mas por outro lado como f(x) = 0 temos cn = 0.

=============================================================================

Outra solu��o � por vari�vel complexa.
A fun��o f(z) = c1 * e^(a1 z) + ... + cn * e^(an z)
� inteira (holomorfa em C). Vamos observar a fun��o

g(z) = e^(- ak z) * f(z)
     = ck + somat�rio_{j diferente de k} cj * e^((aj - ak) z) 

Na reta imagin�ria (parte real igual a 0) cada um dos termos
do somat�rio oscila tendo m�dia zero. Assim o valor m�dio de g(z)
em um grande intervalo nesta reta � ck. Ou seja, se f � identicamente 0
ent�o cada coeficiente � igual a 0, como quer�amos provar.

=============================================================================

[]s, N.

=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================