Escolar Documentos
Profissional Documentos
Cultura Documentos
EDP Coord Esf
EDP Coord Esf
Se movermos no sentido da , temos , e assume a
forma:
()
( ) (
)
Isto define a derivada de com respeito ao parmetro :
()
Em seu significado, vetor na direo
. De maneira que
pode ser
representado como:
A quantidade
Supondo agora que a trplice
Estas relaes so satisfeitas pela maioria dos sistemas de coordenadas na
fsica. Em particular, vlido para sistemas esfrico e cilndrico.
Esta anlise verifica a caracterstica (1) dos eixos locais, variando de ponto a
ponto. Sendo essa principal caracterstica de sistemas curvilneos. A caracterstica
(3) tambm representada, j que alguns parmetros representam ngulos.
Como regra geral, o deslocamento elementar decomposto ao longo do
sistema local de eixos:
Assumindo o sistema local como ortogonal, temos o elemento de arco dado
por:
||
Por exemplo, no caso de coordenadas esfricas, h
r
= 1 , h
= r, h
= r sen
Consideremos a anlise de coordenadas curvilneas, verificamos derivao
das frmulas pelos usuais operadores diferenciais. Para expressar em
termos dos novos eixos e novas variveis, podemos comear com:
E depois usar:
E ainda expressar em termos de
E reescrever na forma:
( ) (
) (
) (
)
Que segue imediatamente:
Lembrando que arbitrrio, e que ao estabelecer obtemos:
( ) ( ), etc.
O clculo da divergncia pode ser obtido da
definio geral:
( )
Sem perda de generalidade, pode ser tirado
como elemento de lados ao longo das (fig ??).
Em geral o fluxo pela rea Elemental orientada na
direo
dada por:
u
l
.
h
m
dm . h
n
dn
Ao subtrair os fluxos atravs das reas
e , no esquecer que tanto quanto e
so funes de . Deduzimos que fluxo externo
atravs dessas duas faces :
(u
l
h
m
h
n
)dl dm dn
Somando as contribuies anlogas das outras quatro faces e dividindo pelo
elemento de volume (que ) obtemos:
{
( )
( )
( )
}
Em coordenadas esfricas encontramos com nesta ordem.
Ento , , . Finalmente, a expresso
para o Laplaciano
)}
No sistema esfrico, aps simplificao trivial:
)-
II. Equao de Legendre e Legendre Associada
a. Equao de Legendre
Em matemtica, ao resolvermos a frmula de Rodrigues, as Funes de
Legendre so as solues s Equaes Diferenciais de Legendre:
[(
()] ( ) ()
Esta equao encontrada freqentemente em Fsica e em outros campos
tcnicos. Em particular, aparece quando se resolve a equao de Laplace em
coordenadas esfricas.
A equao diferencial de Legendre pode ser resolvida usando-se o mtodo
de srie de potncias. Em general a srie de potncias obtida converge quando
|| e no caso particular de que n seja um inteiro no negativo ( ) as
solues formam uma famlia de polinmios ortogonais, chamados Polinmios de
Legendre. A cada polinmio de Legendre
()
Ao desenvolvermos a frmula de Rodrigues obtemos a seguinte expresso
para os Polinmios de Legendre:
(
*( )
b. Ortogonalidade
Iremos mostrar que os polinmios de Legendre so funes de mutualidade
ortogonais em (), isto :
()
()
{
() *( )
()
() *( )
()
()
()
()
()
()( ) ( ) ()
Podemos escrever os dois primeiros termos como:
)(
) ()
Assim, integrando a equao (1) e usando a equao (2), temos:
(
)(
)|
( ) ( )
()
()
Como o termo integrado zero porque ( ) em e . O
colchete na frente da integral no zero. Ento, a integral dever ser zero, para que
seja completada a prova, assim:
()
()
Vamos agora observar uma importante aplicao das funes de Legendre
associadas.
c. Equao de Legendre Associada
Tal como o polinmio de Legendre, sua funo associada pertence a um
espao de . Estes polinmios formam uma base para o espao vetorial
, poderemos, onde no for complicado envolver processo de
ortogonalizao para prova a suposio acima.
A equao diferencial relacionada equao de Legendre a seguinte:
(
*( )
+ ()
com
()
Obtemos:
(
()
( ) () ()
Para , esta a equao de Legendre com solues
().
Diferenciando (3) temos:
(
)(
() (
( ) ()()
()
Mas esta justamente a (3) com no lugar de u, () no lugar de ,
em outras palavras, se
() ()
a soluo da equao (1). A funo (5) chamada de funo de Legendre
associada ou polinmio de Legendre associado e so denotados por:
() (
() ()
Um valor negativo de em (1) no ir variar , ento a soluo de (1) para
um valor positivo de tambm vlida para seu correspondente negativo. Assim,
podemos definir
||
(). Alternativamente,
ns podemos usar a frmula de Rodrigues.
Para
()
()
Para cada , as funes
()
( )
( )
()
As funes de Legendre apresentam-se nos mesmos problemas em que os
polinmios de Legendre aparecem, de fato, os polinmios de Legendre so
exatamente um caso especial no qual as funes
() tem .
Iremos agora estudar algumas propriedades das funes de Legendre
associadas. Antes, porm, devemos definir o produto interno:
Seja {
[a,b] consistindo em
todos polinmios de grau menos que m, junto com o polinmio zero. Ento,
Onde:
. Por isso:
)
Ento:
, se k , segue que
, como afirmamos.
Todas as propriedades dos polinmios de Legendre valem para os
polinmios de Legendre associados.
d. Recorrncia
Derivando m vezes a equao da Legendre associada obtemos:
(
()
( )( )
Ou multiplicando por (
:
(
()(
( )( )(
Sabemos que
()
() ( )
()
() ( )
()
()
() ( )
()
()
O que nos permite escrever:
()(
)
()
( )
( )( )
()
De onde:
()
( )
()( )( )
()
Dita primeira frmula de recorrncia das funes associadas de Legendre.
III. Srie de Fourier-Legendre
Ao trabalharmos com as funes de Legendre e as funes de Legendre
Associadas, extrema utilidade expandirmos ambas as funes em sries de
Fourier. A essa expanso dado o nome de Srie Fourier-Legendre.
Se () e () so seccionalmente contnuas, ento em todo ponto de
continuidade de () no intervalo , existir um desenvolvimento em srie
de Legendre com a forma:
()
()
()
()
()
Para determinarmos
() e depois
integremos:
()
()
() ()
()
()
() ()
()
()
Como o Polinmio de Legendre obedece relao de ortogonalidade, temos:
()
()
Logo:
() ()
Ento:
() ()
IV. Equao de Euler-Cauchy
A equao de Cauchy-Euler a EDO da forma
()
onde a e b so constantes.
Vamos procurar uma soluo da equao de Cauchy-Euler da forma
.
Substituindo
na equao de Cauchy-Euler,
()
()
Logo,
,
substitumos esta expresso na EDO (ou aplicamos diretamente (2)), encontrando:
()
ou seja, , cujas razes so
. Portanto, duas
solues linearmente independentes para a EDO so
. A soluo
geral
b. Caso 2: Se (2) tiver raiz real dupla
linearmente
independente de
. Procuramos
da forma
. Substituindo em (1),
temos:
(
) (
Agrupando os termos, obtemos:
) (
)
= 0
Ou seja:
)
Simplificando, temos:
(
) ()
Note que a equao (2) se reescreve como
( )
Portanto, se ela tem raiz dupla, porque ( )
. Neste caso, a
raiz dupla :
Portanto,
Separando as variveis, temos:
Integrando e escolhendo a constante de integrao como sendo 0,
encontramos , de onde segue,
Integrando mais uma vez, segue que e, portanto,
Logo, se a equao algbrica (2) tem raiz real dupla
, duas solues
linearmente independentes para a equao de Cauchy-Euler so
.
Exemplo 2: Resolva a EDO
A equao algbrica (2) toma a forma
()
que tem raiz dupla
e a soluo geral :
c. Caso 3: Se (2) tiver razes complexas. Neste caso, as razes so nmeros
complexos conjugados
, , sendo, portanto,
razes distintas. Aplicando o primeiro caso, podemos construir duas solues
linearmente independentes:
()
Note que acima, temos duas exponenciais complexas de base . At este
ponto, s tnhamos trabalhado com exponenciais complexas de base . Para dar um
significado s exponenciais complexas de base t > 0, usamos o fato que:
Obtemos
()
Aplicando esta observao em (4), temos:
(( ) ( ))
( )
( )
(( ) ( ))
( )
( )
O inconveniente destas duas solues que no so reais. Para conseguir
solues reais, vamos tomar combinaes lineares convenientes. Solues reais
linearmente independentes so dadas pelas combinaes lineares
( )
( )
Exemplo 3: Encontre duas solues reais linearmente independentes para a EDO:
A equao algbrica (2) toma a forma
()
Ou seja, cujas razes so
.
Portanto, duas solues da EDO so
, dados por:
(( ) ( ))
Ou seja,
( )
( )
( )
( )
Duas solues reais linearmente independentes so as combinaes lineares
( )
( )
Vale ressaltar que a discusso acima sobre a equao de Cauchy-Euler foi
resolvida na semi-reta ( ). As funes
e o domnio de a semi-reta ( ). No de se estranhar que isto acontea,
pois a equao de Cauchy-Euler no est em forma normal (o termo de derivada
mais alta no est isolado). A forma normal da equao de Cauchy-Euler (1)
cujos coeficientes no esto definidos em t = 0. Portanto, a equao de Cauchy-
Euler pode ser resolvida na semi-reta ( ) (como fizemos acima) ou na semi-reta
( ). Para resolv-la na semi-reta ( ), substitumos as funes
respectivamente por ||
e ||
u
u
+ =
O O u (
+ + =
(
O O u
Resolvendo a equao (6) fazendo
2
1
=
:
( )
2 2
" '
2 7
R R
r r
R R
+ =
( )
2 2
" 2 ' 0 8 r R rR R + + =
Resolvendo (8) pelo mtodo Euller-Couchy e considerando
(
) chegamos ao resultado:
( ) ( )
1
9
n n
n n
B
R r A r
r
+
= +
Partindo da equao (6):
( )
( )
1 2
1 2
" ' 1 "
cot 10
" ' 1 "
cot 11
g
sen
g
sen
u
u
u
u
O O u (
+ + =
(
O O u
O O u (
+ + =
(
O O u
Multiplica-se (11) por
2
sen u
e cada membro ser igual a uma nova constante.
( )
2 2 2
1 2
" ' "
cot 12 sen sen g sen u u u u
O O O u (
+ + = =
(
O O O u
( )
( )
2
2 2 2
1 2
" 0 13
" cot ' ( ) 0 14 sen sen g sen
u u u u
u u =
O + O + + O=
Substituindo
O + O + + O=
Resolvendo a EDO (16) temos que:
( ) ( ) ( ) cos 17
n n
A m B sen m | | u= +
Resolvendo (14) Dividindo por :
( )
2
2
" cot ' ( ( 1) 0 18
m
g n n
sen
(
O + O + + O=
(
Fazendo a mudana de varivel :
( )
( )
( )
( )
2
2 2
2
2 2
cos 19
1 20
21
cos 22
S
sen S
d d
sen
d dS
d d d
sen
d dS dS
u
u
u
u
u u
u
=
=
O O
=
O O O
=
Substituindo (19), (20), (21) e (22) em (18) temos :
( ) ( )
( )
( )
2 2
2
2 2
1 2 1 0 23
1
d d m
S S n n
dS dS S
(
O O
( + + O=
(
A equao (23) a equao de Legendre cuja soluo :
( ) ( ) ( ) cos cos 24
m m
n n n n
A P B Q u u O= +
Logo temos a soluo geral do problema sendo:
( ) ( ) ( ) ( ) ( )
1
u r, , cos cos cos
n m m n
n n n n n n n n
B
A r A P B Q A m B sen m
r
| u u | |
+
(
( = + + + (
(
b. Soluo para o potencial externo e interno da esfera considerando
(), qualquer que seja |
A partir da interpretao inicial do problema, vemos que ele possui uma
simetria azimutal. Por isso, a soluo geral do problema de potencial em todo o
espao dada pelo produto da funo radial R(r) com o polinmio de Legendre:
( ) ( ) ( )
1
0
, cos 1
n n
n n n
n
B
r A r P
r
u u
+
=
| |
= +
|
\ .
V
Sendo que os coeficientes
=
= =
V
Isso uma srie de Fourier-Legendre. Em vez de usarmos a varivel x,
podemos achar as frmulas necessrias diretamente em funo da varivel .
Usando a substituio , achamos que a relao de ortogonalidade
( ) ( )
n
}
1
n' nn'
-1
2
P x P x dx =
2n+1
torna-se:
( ) ( )
n
}
n' nn'
0
2
P cos P cos send =
2n+1
.
Conseqentemente, se multiplicarmos nossa srie por
( ) e
integrarmos em relao a de , obteremos os coeficiente desejado de Fourier-
Legendre:
( )
2
n n n
a
}
0
2n +1
A = VP cos send.
Agora queremos calcular o valor do potencial externo a esfera com raio (
) . Aplicando a condio de contorno vemos que no infinito o potencial tem que
ser zero logo An = 0.
( ) ( ) ( )
1
0
, cos 3
n
n n
n
B
r P
r
u u
+
=
| |
=
|
\ .
V
Aplicando a condio ( ) e calculando
de modo anloga ao
calculado
, vemos que
vale:
( )
1
2
n
n n
B a
+
}
0
2n +1
= VP cos d.
Para temos:
( ) ( ) ( )
0
, cos
n
n n
n
r A r P u u
=
=
V
( )
2
n n n
a
}
0
2n +1
A = VP cos send.
Para temos:
( ) ( )
1
0
, cos
n
n n
n
B
r P
r
u u
+
=
| |
=
|
\ .
V
( )
1
2
n
n n
B a
+
}
0
2n +1
= VP cos d.
A partir da interpretao inicial do problema, vemos que ele possui uma
simetria azimutal. Por isso, a soluo geral do para o potencial em todo o espao
dada pelo produto da funo radial R(r) com o polinmio de Legendre:
( ) ( ) ( )
l
l
(
-(l+1)
1 2
r, = A r +A r P cos 1
Mas, como o potencial finito em qualquer do espao, esta equao deve ser
separada em uma soluo interna e noutra externa aos hemisfrios:
( ) ( ) ( )
( ) ( ) ( )
l
l
l
( s
( >
1
-(l+1)
1
r, = A r P cos para r a 2
r, = A r P cos para r a 3
Inicialmente iremos resolver a equao (2) cujo raio . A partir das
condies de contorno temos:
( )
s
+V (0 < / 2)
a, =
- V (/ 2< )
Formamos uma srie infinita destas solues:
( ) ( )
l
1 l l
l=0
r , = Ar P cos
Tentamos assim determinar os coeficientes
l
l l
l=0
a, = AaP cos .
Isso uma srie de Fourier-Legendre. Em vez de usarmos a varivel x,
podemos achar as frmulas necessrias diretamente em funo da varivel .
Usando a substituio , achamos que a relao de ortogonalidade
( ) ( )
}
1
l l' ll'
-1
2
P x P x dx =
2l +1
torna-se:
( ) ( )
}
l l' ll'
0
2
P cos P cos send =
2l +1
.
Conseqentemente, se multiplicarmos nossa srie por
( ) e
integrarmos em relao a de , obteremos os coeficientes desejados de
Fourier-Legendre:
( ) ( )
}
l l l
0
1 2
A = a, P cos send.
a 2l +1
Para nossa soluo particular
( )
s
+V (0 < / 2)
a, =
- V (/ 2< )
Um raciocnio de simetria til: ( ) anti-simtrica com relao troca
de posies ( )
Por outro lado, ( ) e ( ) , e como
( )
contm somente potncias mpares de , se for mpar, e somente potncias
pares de , se for par, segue-se que
( ) ( )
}
l
0
a, P cos send =0 (paral =par)
de maneira que somente estaro presentes polinmios mpares. Para
valores mpares de
l
,
( ) ( ) ( )
} }
/2
l l
0 0
a, P cos send =2V P cos send
Necessitamos agora da integral
( ) ( )
} }
/2
1
l l
0
0
P cos send = P x dx.
Usando a funo geradora
( ) ( )
l
l
2
l=0
1
= t P x t <1
1- 2xt +t
e integrando ambos os lados, obtemos:
( )
} }
1 1
l
l
2 0 0
l=0
dx
= t P x dx.
1- 2xt +t
Calculando o lado esquerdo explicitamente:
}
2
1
2 0
dx 1 1+t
=1- + ,
t t
1- 2xt +t
Usando a frmula do binmio:
( )
( ) ( )
| |
|
\ .
2 2k 2k
k=0 k=0
1/ 2 3/ 2
1+t = t = t ,
k k +1 3/ 2- k
E fazendo , obtemos:
( )
( ) ( )
2
l
l=impar
3/ 2
1 1+t
1- + =1+ t ,
t t l / 2+3/ 2 1- l / 2
De maneira que
( )
( )
( ) ( )
( )
}
1
l
0
3/ 2
P x dx = l =1, 3, 5,...
l / 2+3/ 2 1- l / 2
e
( )
( )
( ) ( )
l l
3/ 2
1
A = 2l +1 V (l =1,3,5...)
a l / 2+3/ 2 1- l / 2
A srie resultante
( )
( )
( )
( ) ( )
( )
| |
|
\ .
l
l
l=1,3,5...
2l +1 / 2
r
r, = V P cos
a l / 2+3/ 2 1- l / 2
Assim foi calculado o potencial em uma esfera para um raio .
Agora, para um potencial cujo raio o procedimento anlogo ao
descrito anteriormente para seguindo a equao (3). Assim o potencial ser:
( )
( )
( )
( ) ( )
( )
| |
|
\ .
-(l+1)
l
l=1,3,5...
2l +1 / 2
r
r, = V P cos
a l / 2+3/ 2 1- l / 2
Concluso
Atravs desse estudo, pudemos entender um pouco mais sobre a Equao
de Laplace, alm de suas peculiaridades abordadas de forma especfica nas
diversas sees. Foi possvel tambm notar a grande importncia da mesma para a
descrio de fenmenos naturais. Com isso, pode-se afirmar que tal ferramenta
essencial para as sociedades poderem interagir com a natureza de maneira cada
vez mais eficaz.
Agradecimentos
Aos amigos Annelys M. Schetinger, Victor Rios Silva, Bruno Csar Gimenez,
Camilla Pessanha, Danniel Sistons Nunes de Souza, Diego Trugilho Ferrari, Pedro
Gall Fernande, Liziane Freitas Possmoser e Yuri Chagas Figueir Frana pelo
empenho, dedicao e auxlio na elaborao, desenvolvimento e concluso deste
estudo.
Ao professor Dr. Altair de Assis pelo material cedido para pesquisa e ateno
assistida nos diversos itens enunciados.
Referncias
[1] Murray R. Spiegel, Anlise de Fourier, Coleo Schaum, Editora McGraw
- Hill do Brasil Ltda,1976
[2] D. Kreider, D. R. Ostberg, R. C. Kuller, e F. W. Perkins, Introduo a
Anlise Linear, Volume 3, Ao Livro Tcnico S/A e Editora UNB, RJ, 1972.
[3] Stanley J. Farlow, Partial Differential Equations for Scientists and
Engineers, John Wiley & Sons Inc., 1982.
[4] E. Butkov, Fsica Matemtica, Guanabara Dois, RJ, 1978
[5] A. S. de Assis, Notas de Aula de Mtodos I, 2010
[6] http://pt.wikilingue.com/es/Polinomio_de_Legendre