Escolar Documentos
Profissional Documentos
Cultura Documentos
Introduo
O conceito de design esfrico foi proposto em 1977 em trabalho publicado por P.
Delsarte, J. M. Goethals e J. J. Seidel enquanto estes estudavam os cdigos esfricos
[5].
O estudo da cardinalidade dos conjuntos conhecidos como designs esfricos requer um
equacionamento muitas vezes exaustivo, o que faz com que seja necessrio o
desenvolvimento de mtodos computacionais que auxiliem nesta tarefa.
No presente trabalho abordaremos o uso da ferramenta de software Scilab na
determinao da cardinalidade destes conjuntos. Para isso, trabalharemos com um
exemplo de implementao utilizando uma formulao alternativa gerada pela frmula de
Funk-Hecke.
Mtodos Numricos e Ensino de Matemtica
Os mtodos numricos so uma forma de aproximar a soluo de equaes de uma
forma iterativa. A maioria dos mtodos conhecidos surgiu antes do desenvolvimento dos
computadores, mas foi com o surgimento destes equipamentos que o seu potencial
passou a ser explorado de forma mais ampla. Particularmente, os mtodos iterativos
vm sendo muito utilizados na resoluo de equaes diferenciais. Neste trabalho, o
mtodo escolhido para resolver as integrais decorrentes da anlise dos designs esfricos
o mtodo de integrao por quadratura [7].
Atualmente, os mtodos numricos tem ganhado um papel de destaque no ensino das
cincias exatas, sendo parte do currculo de grande parte dos cursos universitrios desta
rea.
Neste trabalho adotamos a perspectiva Deleuziana, onde enfatizamos o aprender como
relaes com os signos, esta noo permeia boa parte da escrita de Gilles Deleuze. Em
Proust e os signos, o autor se dedica no estudo de Proust para nos mostrar que o
aprendizado est diretamente ligado com a natureza dos Signos. Para Deleuze, todo ato
de aprender est relacionado interpretao dos signos ou ao relacionamento com eles.
Aqui, nos detemos e apresentamos um estudo onde o signo a que nos referiremos e
trabalharemos so os designs esfricos.
Para entender os processos de ensino e aprendizagem de algumas componentes
curriculares de matemtica, a exemplo de: anlise matemtica, lgebra linear e clculo
numrico, que aliadas uma a outra concedem sentido e potencialidade aos signos destas
matemticas. Nosso trabalho tem o sentido de aplicao, onde uma daquelas
componentes fornece sentido e multiplicidade a outra, projetando resultados e inferindo e
aferindo novos conhecimentos nas relaes sujeito-signo.
Para isso devemos entender o significado preciso para o termo aplicao, que trazemos
de (GALLO, 2010) para nos auxiliar no trabalho com esta disciplina, onde a relao de
aplicao nunca de semelhana, mas de revezamento, de contgio.
Todo estudo realizado permeia a inteno de apresentar o resultado de Designs
Esfricos como uma ferramenta de aplicao s disciplinas matemticas supracitadas
Estudante de Automao Industrial, Instituto Federal de Educao, Cincia e Tecnologia de So Paulo, Sertozinho/SP, E-mail:
allefpablo@gmail.com
2
Professor de Matemtica, Instituto Federal de Educao, Cincia e Tecnologia de So Paulo, Sertozinho/SP, E-mail: jhcleal@gmail.com
1
(1)
Trataremos apenas da segunda parte da frmula para k par.
Aqui no abordaremos a opo por k mpar, pois para o conjunto W= {(1, 0),(0, 1),(-1,
0),(0, -1)} fcil observar que ao se realizar o produto interno entre o ponto arbitrrio na
esfera y = (y1,y2) e os elementos do conjunto e realizar a somatria de produtos internos,
o resultado ser 0. Elevando este resultado a k, qualquer que seja k, ainda ser obtido o
valor zero que se adequa a primeira parte da frmula (1).
Este equacionamento vem da frmula abaixo que est explicada em maiores detalhes
em [6]:
(2)
Para o conjunto W= {(1, 0),(0, 1),(-1, 0),(0, -1)}, foi proposto um algoritmo com o qual
possvel testar a cardinalidade do design para qualquer valor de k par desejvel. Como
exemplo, o algoritmo foi executado para k = 800. Os resultados desta execuo sugerem
que o conjunto um 800-design.
A Implementao
O objetivo dos algoritmos implementados neste trabalho a verificao e a expanso
dos resultados obtidos por LEAL JUNIOR, L. C. em dissertao de mestrado [6]. Na
dissertao citada, o autor comprova, de forma analtica, que alguns conjuntos possuem
cardinalidade baixa, at k = 3. Depois disso, os clculos se tornam extensos por envolver
integrais trigonomtricas, no caso do uso de coordenadas polares, polinmios e vetores.
Neste sentido buscou-se, com a introduo de algoritmos, comprovar que estes conjuntos
no so simplesmente designs de cardinalidade baixa, de um ou dois dgitos, mas que
podem possuir cardinalidade de at trs dgitos ou mais.
Em [9], LEAL JUNIOR, L. C. e MENEGATTO, V.A. (2007) mostram que o conjunto W =
{(1,0),(0,1),(-1,0),(0,1)} um 3-design.
De fato, na dissertao pode-se observar que os clculos para cardinalidades mpares,
no caso k = 1 e k = 3 trivial, mas quando se trata de cardinalidades pares, como k = 2,
necessrio resolver integrais cujo argumento do integrando so senos e cossenos
elevados a expoentes de ordem k, cuja resoluo analtica se torna invivel para valores
muito altos de k. Neste contexto, surgiu a ideia de aplicar mtodos computacionais que
facilitassem os clculos e eliminasse o trabalho de manipulao algbrica. Foi verificado
que era possvel utilizar o mtodo de integrao por quadratura para se obter valores
aproximados para as integrais que surgissem no estudo.
Por exemplo, seria exaustivo calcular analiticamente o valor da integral de Cos 80(t) no
intervalo de 0 a 2, mas utilizando o mtodo da quadratura, implementado na ferramenta,
pode-se fazer este clculo da seguinte forma:
Integral = integrate('(cos(t))^80','t',0,(2*%pi))
O que retorna um valor na varivel integral de 0,558 aproximadamente.
Sabendo disso a implementao de um software para calcular a cardinalidade de um
design se torna muito simples, sendo necessrio apenas o conhecimento das estruturas
bsicas de lgica de programao.
Com a introduo de algoritmos, verificamos que o conjunto no mnimo um 800design e no se limita a tal, com a alterao de apenas um parmetro possvel testar a
cardinalidade para qualquer valor de k par.
Em outro exemplo, LEAL JUNIOR, L. C. e MENEGATTO, V.A. (2007) mostram que o
conjunto W = {(1,0,0),(0,1,0),(0,0,1),(-1,0,0),(0,-1,0),(0,0,-1)} um 3-design utilizando
polinmios de Legendre.
Est em andamento o projeto de um algoritmo para testar a cardinalidade deste design
para k = 10, mas por enquanto s est funcional a parte que testa os valores mpares de
k. Isto se deve ao fato de serem necessrias muitas operaes com polinmios que ainda
no foram implementadas de forma satisfatria. A resoluo deste problema se dar em
um trabalho futuro.
Com a parte que j est funcional, possvel observar que para os valores mpares de
k, os resultados indicam que o conjunto pelo menos um 9-design, mas este resultado
ainda deve ser verificado com a implementao do cdigo para os valores pares de k
menores do que 9.
t0=0;
t1=2*%pi;
for m=[2:2:800], k = m
//Produto interno entre os pontos a, b, c, d do conjunto e um ponto arbitrrio da esfera Y.
//O produto interno entre y e a igual a y1=cos(t)
T_a=integrate('(cos(t))^k','t',t0,t1);
result_a = p*T_a;
//Utilizando o ponto b
//O produto interno igual a y2=sen(t)
T_b=integrate('(sin(t))^k','t',t0,t1);
result_b = p*T_b;
//Utilizando o ponto c
//O produto interno igual a -y1=-cos(t)
T_c=integrate('(cos(t))^k','t',t0,t1);
result_c = p*(-1)*T_c;
//Utilizando o ponto d
//O produto interno igual a -y2=-sen(t)
T_d=integrate('(sin(t))^k','t',t0,t1);
result_d = p*(-1)*T_d;
if (result_a < %inf) then
printf ("Utilizando o ponto a - O conjunto UM %d-DESIGN\n",k);
else
printf("Utilizando o ponto a - O conjunto NO UM %d-DESIGN\n",k);
end
Concluso
Com o desenvolvimento de mtodos numricos possvel observar que o processo de
se determinar a cardinalidade dos designs esfricos se torna mais simples e eficiente,
pois permite que se analisem altas cardinalidades, inviveis de serem determinadas
analiticamente.
Os algoritmos desenvolvidos neste trabalho ajudaram a testar conjuntos que, em
primeira anlise, acreditava-se que possuam cardinalidade baixa, mas que com a
execuo dos cdigos foi possvel provar que a cardinalidade de tais conjuntos extrapola
os valores iniciais.
Acredita-se que estes algoritmos possam auxiliar trabalhos futuros que busquem o
desenvolvimento de mtodos computacionais aplicados aos designs esfricos ou mesmo
trabalhos que visem a explorao de ferramentas de computao numrica como o
pacote de software utilizado neste trabalho.
Este trabalho mostrou tambm que possvel ter acesso a ferramentas computacionais
de alto desempenho utilizando apenas software livre e busca incentivar o uso destes
sistemas nos meios acadmicos e cientficos. Neste contexto este projeto pode servir
como referncia para projetos futuros que faam uso sistemas gratuitos de software para
anlise numrica, como o Scilab utilizado neste trabalho.
Disciplinas da rea de matemtica so deveras criticadas e estudadas por suas
peculiaridades e merecem e carecem de todo e qualquer empenho no ato de ensinar
para poder, no ato da heterogeneidade e multiplicidade, conferir algum aprendizado aos
nossos aprendizes, como foi o caso deste trabalho, que buscou aliar algumas
componentes curriculares, que apresentam o signo design esfrico em comum, na busca
por aplicaes para torn-lo uma ferramenta til e prtica para sua aprendizagem e uso.
O que implica num desapego de nossa importncia no processo de ensinar, para que,
aps emitirmos os signos os alunos sejam mobilizados a trilharem seus caminhos e
rumos em busca de um aprendizado.
Referncias
[1] GALLO, S. Filosofias da diferena e educao. In: CLARETO, S. M.; FERRARI, A.
(Orgs.). Foucault, Deleuze & Educao. Juiz de Fora: Editora UFJF, 2010. p. 49-63.