UNIVERSIDADE FEDERAL DO CEAR

CENTRO DE TECNOLOGIA
DEPARTAMENTO DE ENGENHARIA HIDRULICA
MESTRADO EM GEOTECNIA

MAXIMA

EQUIPE: IGOR ALENCAR E ICARO FERNANDES

PROF. PhD: MARCO AURELIO

FORTALEZA, MAIO DE 2015

NDICE:

BREVE HISTRICO SOBRE O MAXIMA

O mxima um programa livre, ou seja, no tem restrio. Foi criado a
partir do sistema Macsyma, um sistema de lgebra computacional

desenvolvido pelo MIT, entre os anos de 1968 e 1982, como parte

integrante do projecto MAC. O MIT enviou uma cpia do cdigo fonte, verso
chamada de Macsyma DOE, ao Instituto de Energia em 1982, o professor
William F. Schelter, da Universidade do Texas manteve essa cpia at o ano
de 2001.
Mas em 1998, Schelter obteve permisso do Departamento de Energia para
colocar disponvel o cdigo fonte sob a Licena Pblica GRU e em 2000
comeou a se chamar de MAXIMA.
Esse programa permite explorar de uma maneira interativa diversas
expresses algbricas. Tambm obtido solues numricas aproximadas e
visualizar graficamente os dados e as funes matemticas.
ANALISANDO O MAXIMA
Lembrando que o Maxima um programa que permite ao usurio efetuar
clculos numricos e simblicos; traar grficos bidimensionais e
tridimensionais; elaborar implementaes computacionais, eficientes e
precisas.
Para fazer o download do programa voc pode acessar o site, para o
sistema Windows:
http://sourceforge.net/projects/MAXIMA/files/MAXIMA/5.10.0Windows/MAXIMA-5.10.0b.exe/download
CONSTANTES MATEMTICAS
Exemplos de operaes matemticas bsicas:
Exemplo 1:
(%i1)3+4;
Sempre ao valor de cada expresso utiliza-se o ; Para executar aperte shift
+ enter. O resultado da expresso anterior ser:
(%o2) 7
Para identificarmos constantes matemticas devemos empregar o smbolo
de %.
Exemplo 2:
(%i2)% pi;
O sistema ir identificar da seguinte maneira:
(%o2)%pi
Podemos introduzir o comando designado por float e o programa ir mostrar
o valor aproximado de pi. Vejamos:

(%i3) float(%pi);
(%o3) 3.141592653589793
Exemplo 3:
Para o nmero de Euler:
(%i4) float(%e);
(%o4) 2.718281828459040

COMO FAZER OPERAES COM VARIVIES:

Para atribuirmos um valor a uma varivel devemos utilizar o smbolo :
Vejamos:
(%i1) a:2;
(%o1) 2
Para visualizarmos o valor da varivel a, devemos empregar o comando
print
(%i2) print(a);
(%o2) 2
Vejamos um exemplo de operaes com variveis:
(%i3) b:4;
(%o3) 4
(%i4) c:a+b;
(%o4) 6
(%i5) 2*c;
(%o5) 12
(%i6) b*c;
(%o6) 48
Se o usurio no quiser mostrar o valor da expresso utiliza-se p smbolo $
(%i7) c^d;
(%o7) 4096
Para acessar o ltimo valor de uma expresso anteriormente calculado
utiliza-se o smbolo %

(%i8) (%);
(%o8) 4096
Tabela contendo os operadores aritmticos:
Operadores
+
/
*
^

Operao
Soma
Subtrao
Diviso
Multiplicao
Exponenciao

Tem-se tambm os operadores relacionais, que servem para o sistema

fornecer resposta como sendo verdadeiras ou falsas a comparaes.
Observe a tabela abaixo:
Comando
>
>=
<
<=
=
#

Descrio
Maior
Maior ou Igual
Menor
Menor ou Igual
Igualdade
Negao da Igualdade

Funes Matemticas Elementares:

Comando
abs (expresso)

fatorial (x)
sqrt(x)
x^(a/b)
log(x)
exp(x)

Descrio do Comando
Calcula
o
valor
absoluto
da
expresso. Se a expresso for um
nmero complexo, retorna o mdulo:
|x+iy| = x2+y2
Fatorial de um nmero, x
Raiz quadrada de x
Raiz de ndice b e expoente a
Calcula o logaritmo neperiano de x
Calcula a exponencial de x

Funes Trigonomtricas:
Funo Trigonomtrica
Sin(x), sinh(x)
Cos(x), cosh(x)
Tan(x), tanh(x)
Acos(x)
Asin(x)
Atan(x)

Descrio
Seno, seno hiperblico
Cosseno, cosseno hiperblico
Tangente, tangente hiperblico
Arco-cosseno
Arco-seno
Arco-tangente

As equaes definem-se atravs do operador =. Para relacionar o primeiro

ou o segundo termo da equao utiliza-se, os comando, lhs e rhs,
respectivamente.
Exemplo:
Defina a equao x2 + 2 = 1 + x
(%i1) eq:x^2+2=1+x;
(%o1) x2 + 2 = 1 + x
(%i2) lhs(eq);
(%o2) x2+2
(%i3) rhs(eq);
(%o3) 1+x
Comando bsicos para equaes:
Comandos
Lhs (expr)

Descrio
Mostra
o
lado
esquerdo
da
expresso
Mostra o lado direito da expresso
Resolve a equao algbrica, expr,
na varivel x

Rhs(expr)
Solve (expr,x)

Uma equao diferencial ordinria (EDO) uma equao da forma:

F(x,y(x),y(x),y(x),...,yn(x)) = 0
Envolvendo uma nica funo incgnita y = y(x) e suas derivadas. A
varivel independente x e a dependente y. a derivada de ordem n
denota-se pelo smbolo yn(x). A ordem da equao diferencial ordinria
dada pela mais alta derivada da funo presente na equao.
O comando do MAXIMA que resolve equaes diferencias ordinrias de
primeira e segunda ordem ode2 (ode=ordinary differential equation). Ao
usar o comando temos que definir a:
I. Equao diferencial;
II. Varivel dependente;
III. Varivel independente;
Exemplo 1: Resolva o problema de valor inicial

dy
dx

=-

Soluo: De ydy = -xdx, obtemos

x
y

, y(4) = 3

 ydy

=-

xdx

Y2 / 2 = -x2 / 2 + c1
Essa soluo pode ser escrita como x 2 + y2 = c2, trocando as constantes 2c 1
por c2. A soluo representa uma famlia de crculos concntricos. Agora,
quando x=4, y=3 temos 16 + 9 = 25 = c 2. Logo o problema de valor inicial
determina x2 + y2 = 25. Tem-se um nico crculo que passa pelo ponto (4,3)
Soluo Numrica (Maxima) para a equao em questo :

Equaes Diferenciais Lineares de 1 Ordem

Exemplo 2: Resolver

dy /dx

+ 2xy = ex-x2 , y(0) = -1.

Notemos que p(x) = 2x e f(x) = e x-x2. O fator integrante r(x) = e

p(x )dx

= ex2.

Multiplicamos ambos os lados da equao por r(x) para obter

ex2y + 2xyex2 = ex-x2ex2,
y [ex2y] = ex.
Integrando
ex2y + ex + C,
y = ex-x2 + Ce-x2.
Em seguida, resolvemos para a condio inicial -1 = y(0) = 1+ C, portanto C
= -2. A soluo :
y = ex-x2 2e-x2.
No mxima fica dessa forma:

No Grfico:

Equaes Diferenciais Lineares de 2 Ordem

Resolver:
L.(d2q / dt2) + (1/C).q = 0, q(0) = q0 e i(0) = 0
Notemos que q(t) = i(t), logo, q(0) = 0. Assim sendo, a soluo :

q(t) = c1 cos (1/

LC

).t + c2 sen (1/

E aplicando as condies iniciais, temos:

c1 = q0 e

c2 = 0

LC

).t

Por fim,
q(t) = qo cos (1/

LC

).t

Logo, para acharmos a corrente do circuito i(t) = q(t):

I(t) = (- qo/

LC

). sen (1/

LC

).t

No Maxima representado dessa forma:

Equao de Laplace em coordenadas retangulares bidimensionais

Problema de Dirichlet em um retngulo

Considere o problema matemtico de encontrar a funo u que satisfaz a
equao de Laplace.
uxx + uzz = 0

(1)

No retngulo 0 < x < a, 0 < y < b, ento as condies de contorno sero:

u (x,0) = 0,
u (0,y) = 0,

u (a,y) = f(y),
u (x,b) = 0

0yb
0<x<a

(2)
(3)

Onde f uma funo dada em 0 y b. Para resolver esse problema, queremos

construir um conjunto fundamental de solues satisfazendo a equao diferencial
parcial e as condies de contorno homogneas; vamos depois, superpor essas solues
de modo a satisfazer a condio de contorno restante. Vamos supor que:
u (x, y) = X (x) Y(y)
(4)

e substituir u na equao (1) por essa expresso obtemos.

X''
X

=-

Y''
Y

= ,

Onde a constante de separao. Obtemos, ento, duas equaes diferenciais

ordinrias:

''

Y ''

X = 0

Y = 0

(5)

(6)

Substituindo u dada pela equao (4) em cada uma das equaes de contorno
homogneas, encontramos:
X (0) = 0
e

(7)

Y(0) = 0 , Y(b) = 0.
(8)

Vamos determinar, primeiro, a soluo da equao diferencial (6) sujeita s

condies de contorno (8). Existem solues no-triviais se, e somente se,

um autovalor, a saber,
= (n/b)2, n = 1,2,...
(9)

e Y(y) proporcional autofuno correspondente sen(ny/b). A seguir,

vamos substituir dada pela eq. (9) na eq (5) e resolver essa equao
sujeita condio de contorno (7). conveniente escrever a soluo geral
da eq. (5) na forma
X(x) = k1cosh(nx/b) + k2senh(nx/b),
(10)
De modo que a condio de contorno (7) implica que k 1 = 0. Logo, X(x) tem
que ser proporcional a senh(nx/b). Obtemos, assim, as solues
fundamentais
Un (x,y) = senh(nx/b)sen(ny/b), n = 1,2,...
(11)
Essas funes satisfazem a equao diferencial (1) e as condies de
contorno homogneas para cada valor de n. Para satisfazer a condio de
contorno no-homognea em x = a que falta, vamos supor, que podemos
representar a soluo u(x,y) na forma

U(x,y) =

c
n=1

un(x,y) =

c
n=1

senh(nx/b)sen(ny/b).

(12)
Os coeficientes cn so determinados pela condio de contorno

U(a,y) =

c
n=1

senh(n a/b)sen(n y/b) = f(y)

(13)
Logo, as quantidades cnsenh(na/b) tm que ser os coeficientes da srie de
Fourier em senos de f de perodo 2b e so dados por:
b

Cnsenh(na/b) = 2/b

f ( y )sen(ny /b)dy
0

(14)
Portanto, a soluo da equao diferencial parcial (1) que satisfaz as
condies de contorno (2) e (3) dada pela equao (12) com os

coeficientes cn calculados pela eq. (14). Das eq. (12) e (14), vemos que a
soluo contm o fator senh(nx/b)senh(na/b). Para estimar essa
quantidade para n grande, podemos usar a aproximao senh() ~ e/2,
obtendo, assim,

senh (nx /b)

senh( na/b)

1/2 exp (nx /b)

1/2 exp ( na/b)

= exp[-nx(a-x)/b].

1. Equao Parcial Diferencial: Formato de Poisson:

Equao de Poisson

Considere a seguinte equao, Com

f >0 .

W W
+
=f
x y
E que as condies de contorno do problema so:
W ( 0, y )=0 ;
W ( , y )=1 ;
W ( x , 0 ) =0
Onde:
0x

y >0

Soluo Analtica

W xx+ W yy=f (1)

Como se pode notar a equao (1) est escrita no formato da equao de Poisson. Para
auxiliar na resoluo analtica, toma-se a seguinte modificao:

W ( x , y )=q ( x , y ) +t ( x )=0(2)

Logo, derivando W(x,y) da equao (2), duas vezes em relao a x e y, respectivamente,

temos:
W q
=
+t ' ' ( x)
x x
W q
=
y y
Ao fazer as devidas substituies em (1), temos que:
q ' ' ( x ) 2 q
+t + 2 =f (3)
x
y

Para induzir a equao (3) ao formato da equao de Laplace foi imposta a seguinte
condio:
t ' ' ( x ) +f =0
Assim, temos que:
t ' ' ( x )=f
Integrando duas vezes,
'

t ( x )=fx+ k 1

t ( x )=f

x2
+k x+ k 2
2 1

(4)

Alm disso, analisando as condies de contorno do problema, tem-se:

W ( 0, y )=q ( 0, y ) +t ( 0 )=0 ;

W ( , y )=q ( , y ) +t ( )=1 ;
Assim:
W ( 0, y )=0 e W ( , y )=0
Para tanto:
t ( 0 ) =0
t ( )=1

Substituindo os valores conhecidos de t

na equao (4), temos que:

2
0
(
)
t 0 =f +k 1 0+ k 2 k 2=0
2

(
)
t =f +k 1 =1 k 1= + f
2

Logo:
2

t ( x )=f

x
1

+( + f ) x
2
2

Por fim, a condio de inicio W ( x , 0 ) =q ( x ,0 )+t ( x ) fornece que:

q ( x ,0 )=W ( x ,0 )t ( x )
q ( x ,0 )=g( x )t ( x )

Voltando para a equao de Laplace, temos:

2

q q
+
=0(5)
x y2
Fazendo a substituio mostrada na equao (5), temos:

q (x , y )=X ( x ) Y ( y ) (6)
Assim:
'
q x ( x , y )=X ( x ) Y ( y )

q xx ( x , y )=X ' ' ( x ) Y ( y)

q y ( x , y ) =X ( x ) Y '( y )
q yy ( x , y )=X ( x ) Y ' ' ( y)
Fazendo as substituies necessrias em (5):
X ' ' ( x ) Y ( y ) +Y ' ' ( y ) X ( x )=0
Dividindo-os por X(x) e Y(y), temos:
''

''

X (x) Y ( y)
+
=0
X (x) Y ( y )

X ' ' ( x ) Y ' ' ( y )

=
=
X (x)
Y ( y)
Assim, encontramos 2 equaes ordinrias homogneas de coeficientes constantes:
X ' ' ( x ) + X ( x )=0 (7)
Y ' ' ( y ) Y ( y )=0(8)
Solucionando as EDOs homogneas (7), tem-se que:
X ' ' ( x ) + X ( x )=0
m + =0
m1, m2 = i
Desta feita, tem-se como soluo geral:

x
Acos ( x )+ Bsen()
X ( x )=e 0 x
X ( x )= Acos( x )+ Bsen( x )

(9)

Onde A e B so as constantes de integrao

Solucionando a EDO homognea (8), temos a seguinte soluo:
Y ' ' ( y ) Y ( y )=0
m

=0

m3, m4=
Logo, tem-se que a soluo geral da EDO (8) :
Y ( y )=K 1e y + K 2 ey
Onde K1 e K2 so as constantes de integrao.
A partir dos conceitos de Euler temos que:
Y ( y )=K 1cosh ( y ) + K 2 senh( y )

(10)

Onde k1 e k2 so as constantes de integrao

Substituindo as solues X(x) e Y(y) na equao (6) tem-se a soluo geral do
problema:

q ( x , y ) =( Acos ( x ) + Bsen ( x ) ) ( K 1 cosh ( y )+ K 2 senh ( y ))

Considerando as seguintes condies de contorno:
q ( 0, y )=0
q ( , y )=0

q ( x ,0 )=0
q ( x ,0 )=g( x )t ( x )
q( 0, y )=0 X (0)=0

1)

X ( 0 )= Acos ( 0 )+ Bsen ( 0 )=0

A=0

q ( , y )=0 X ()=0

2)

X ( )=Bsen ( )=0
sen ( )=0
=n

Onde n um numero inteiro: n=0,1,2,3...

3)

q ( x ,0 )=0 Y (0)=0

Y ( 0 )=K 1 cosh ( 0 )+ K 2 senh ( 0 )=0

K 1=0
4)

q ( x ,0 )=g ( x )t ( x )
x2 1

(
)
(
)
q x ,0 =g x + f ( + f ) x
2

Pela condio 3, temos:

q ( x ,0 )=g ( x )+ f

x2 1

+f
x=0
2

Logo:
g ( x ) =f

x2 1

+ +f
x
2
2

Usando a srie de Fourier para senos, temos que:

g ( x ) =f

x2 1

+ +f
x
2
2

(8)

Onde:
a

2
A 0= g ( x ) dx
a 0

2
A n= g ( x ) cos ( nx ) dx
a 0
a

2
B n= g ( x ) sen ( nx ) dx
a0
Encontrando
a

A0
2

))

2
x
1

A 0= f + + f
x dx
a 0
2
2

A 0=

2
a3 a
a
f + + f
a
6 2
4

Logo:
2
A0
a a
a
=f +
+f
2
6 2
4

Como:
q ( x , y ) =( Acos ( x ) + Bsen ( x ) ) (k 1 cosh ( y ) +k 2 senh ( y ) )
Sendo: A=0 . k1=0 e

=n , temos:

q ( x , y ) =Bsen ( nx ) k 2 senh( ny)

Fazendo B x k2= D, temos:

q ( x , y ) =Dsen ( nx ) senh (ny )

Comparando essa ltima equao com os termos da srie de Fourier, temos ainda que:
A n=0

B n=

2
x
1

(f + + f
x) sen ( nx ) dx

a0
2
2

Bn

Encontrando
a

B n=

2
x2 1
(f
2 + + f 2 x) sen ( nx ) dx
a0

2 f
1
f
B n=
x2 sen ( nx ) dx + xsen ( nx ) dx + xsen ( nx ) dx

a 2 0
0
2 0

Resolvendo a 1 integral, temos que:

u=x 2 du=2 xdx

dv=sen ( nx ) dx v =

cos ( nx )
n

Logo:
a

cos ( nx) 2
+ xcos ( nx ) dx
x sen ( nx ) dx=x
n
n0
0
2

Assim,
a

xcos ( nx ) dx= nx sen ( nx )+ 1n

0

cos ( nx )
n

Substituindo:
a

q
q x
x
1
x 2 sen ( nx ) dx =
cos ( nx ) + sen ( nx ) + 2 cos ( nx)

2 0
2
n
n
n
Como x varia de 0 a a, temos:

0aa

f
f a
a
1
2
x sen ( nx ) dx=
cos ( na )1 ] + [ sen ( na )0 ]+ 2 [ cos ( na )1 ]
[

2 0
2
n
n
n

Tomando n, um nmero inteiro qualquer, ser um nmero impar m = 2n-1 para no zerar
a funo, temos que:
a

f
f a2
2
x
sen
(
mx
)
dx=
[2 ] + a [ 0 ] + 12 [ 2 ]

2 0
2 m
m
m
a

f
x 2 sen ( mx ) dx=f am m12
2 0

Resolvendo a 2 integral, de Bn:

a

1
xsen ( mx ) dx
0
Integrando mais uma vez por partes, temos:
u=x du=dx

dv=sen ( mx ) dx v=

cos ( mx)
m
a

xsen ( mx ) dx=
0

x
1
cos ( mx )+ cos ( mx ) dx
m
m 0

1
1 x
1
xsen ( mx ) dx=
cos ( mx ) + 2 sen (mx)

0
m
n
Como x varia de 0 a a, e m um inteiro impar temos:
a

1
2a
xsen ( mx ) dx=

0
m
Finalmente, resolvendo a terceira integral de Bn, temos:

0aa

f
xsen(mx)dx
2 0
Para resolv-la, aplicou-se novamente a integrao por partes:
a

1
cos ( mx ) + cos ( mx)dx
xsen(mx)dx=x
m
m 0
0

1
cos ( mx ) + 2 sen (mx)
xsen(mx)dx= x
m
m
0

0aa

Como, x est variando no intervalo de 0 a a, temos que:

a

[ ]

f
f 2 a fa
xsen(mx)dx=
=

2 0
2 m
m
Juntando os resultados das integrais, encontramos o valor de Bn:
B n=

[ (

2
a2 1
2a fa
f
2 +
+
a
m m
m m

Logo, Bn ser:
B n=

2 fa 2 f
4 2 f
+ 2+
+
m
a m m m

Sabendo que:
q ( x , y ) =Dsen ( nx ) senh (ny )

Temos, que Bn=Dsenh(my) , pois o termo que acompanha a funo seno, assim a
ltima constante de integrao (D), ser:
D=

Bn
senh (my)

Para y = b

D=

Bn
senh (mb)

Finalmente ao substituir a constante de integrao, na funo da srie de Fourier, temos:

a2 a2
a
Bn
q ( x , y ) =f +
+f
+
sen ( mx ) senh( my)
6 2
4 n=1 senh ( mb )
Lembrando-se da substituio (2), temos:

a2 a2
a
Bn
W ( x , y )=f + + f
+
sen ( mx ) senh ( my )
6 2
4 n=1 senh ( mb )

Soluo Numrica:

x2 1

f + + f
x
2
2