Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
diz respeito ao momento de transio do ensino escolar para o ambiente acadmico, o que se d
no primeiro ano de estudos em que os aprendizes deparam, no locus acadmico, um ensino
compulsrio de Clculo nos cursos de licenciatura e bacharelado em Matemtica no Brasil.
Por outro lado, identificamos a escassez de investigaes no Brasil e no Exterior (RALHA;
HIRST & VAZ, 2004) que envolvem questes mais profundas relacionadas ao
ensino/aprendizagem de Clculo Diferencial e Integral a Vrias Variveis (CVV). Com esta
preocupao, exibimos a seguinte tabela caracterizando o que nomeamos de transio interna do
CUV para o CVV. Na universidade, observamos esta transio no segundo ano de graduao.
Figura 1: Quadro de transio interna do CUV para o CVV referente ao 2 ano de estudos acadmicos.
f ( x)dx . No
CVV, as mudanas notacionais so considerveis, uma vez que os conceitos de limite, derivada e
f
f
integral podem ser denotados por lim ( x , y )( a ,b ) f ( x, y ) = L ,
( x, y ) ou
( x, y ) e
x
y
d
duas variveis reais, uma vez que, agora, podemos considerar duas taxas de variao
z z
.
e
x y
Quando tomamos, por exemplo, a noo de limite no CUV, notamos que, de modo tradicional,
os livros didticos restringem a explorao deste conceito ao plano \ 2 , explorando apenas duas
formas de aproximao unidimensional do ponto x = a (que denotamos por x a + ou x a ),
para a verificao da existncia do limite indicado por lim xa f ( x) = L . No caso do CVV,
quando consideramos o limite lim( x, y )( a,b) f ( x, y) = L , as habilidades adquiridas pelos estudantes
no caso do CUV na investigao de lim xa f ( x) = L nem sempre so exploradas e re-adaptadas.
Destarte, algumas simbologias e a condio de existncia descrita pela igualdade
lim xa+ f ( x) = lim xa f ( x) perdem seu sentido geomtrico estudado no CUV.
Ademais, temos inmeras formas de aproximao do par ordenado (a, b) no plano. De fato,
quando nos referimos ao smbolo lim( x, y )( a,b) f ( x, y) = L ou ainda limxa f ( x, y) = L , as tcnicas
yb
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
f ( x)dx e
rea, o que j estava familiarizado no CUV. Por outro lado, quando consideramos a extenso do
conceito da integral de Riemann para funes do tipo z = f ( x, y ) , denotada agora
por
apresenta mais complicaes do que a reta real (HAIRER & WANNER, 2008, p. 330).
A primeira mudana neste contexto diz respeito noo de volume que esta ltima integral pode
assumir. No mbito das aplicaes, por exemplo, usamos integrais simples para encontrar o
centro de massa de uma lmina homognea com densidade de rea constante. Por outro lado,
com as integrais duplas, podemos encontrar o centro de massa de uma lmina homognea ou
no homognea (LEITHOLD, 1982, p. 792). Outras mudanas conceituais podem ser discutidas,
entretanto, tencionamos restringir nossa ateno a uma propriedade relacionada a um processo de
derivao de funes em duas variveis reais no mbito das abordagens dos livros didticos do
Clculo Diferencial e Integral a Vrias Variveis - CVV.
A escolha do contedo nos livros de clculo a vrias variveis
Para efeito de nossa anlise, os autores (LIMA, 2009; GUIDORIZZI, 1986; LEITHOLD, 1982;
STEWART, 2004; SWOKOWSKI, 1983) foram escolhidos com amparo nos seguintes critrios:
(i) seu uso em cursos de graduao em Matemtica; (ii) adequao didtico/metodolgica a um
curso de licenciatura em Matemtica; (iii) aspectos intuitivos, lgico-formais e histricos de
apresentao dos contedos. Com respeito, por exemplo, a este ltimo critrio, principalmente
quando nos referimos sua dimenso histrica, destacamos na figura 2 o quadro esquemtico do
principal conceito matemtico que discutiremos neste trabalho, a saber, a comutatividade das
derivadas mistas. Os autores Hairer & Wanner (2008) levantam a questo da dependncia da
XIII CIAEM-IACME, Recife, Brasil, 2011.
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
ordem de diferenciao e acrescentam que este problema manteve por sculos a ateno de
muitos matemticos para a evoluo das ideias envolvidas nesta questo.
Figura 2: Quadro explicativo da comutatividade proposto em Hairer & Wanner (2008, p. 316).
De fato, Hairer & Wanner (2008, p. 316) discutem o exemplo fornecido por Leonhard Euler
(1707-1783), que concebeu uma funo que aparentemente sempre possua a propriedade de
independncia da ordem de diferenciao. Euler a descreveu analiticamente por
x
x
=
= lim y 0
y
(0, 0) =
(0,
)
lim
y0
yx
y x
y
y
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
Figura 3: Enunciado do teorema que caracteriza a comutatividade das derivadas (LIMA, 2009, p. 147).
Preservando nossa ateno com respeito ao critrio (ii) descrito h pouco, deter-nos-emos aos
enunciados equivalentes para funes do tipo f ( x, y ) . O primeiro enunciado encontrado no
livro de Swokowski (1983, p. 726), inclusive em edies atuais traduzidas para o portugus.
Leithold (1982, p. 754-756) apresenta o enunciado do mesmo teorema, como exibimos na figura
5, e comenta, na mesma seo, a diversidade de notaes para o mesmo objeto matemtico, ao
2 f
.
apresentar as seguintes notaes: D2 ( D1 f ) , D12 f , f12 , f xy , Dxy ( f ) ,
yx
Figura 5: O enunciado que caracteriza a comutatividade das derivadas mistas em Leithold (1982).
Observamos que o enunciado conhecido como teorema de Schwarz, que encontramos na obra de
Guidorizzi (1986, p. 858), equivalente ao enunciado da figura 3, no que diz respeito
caracterizao da classe de diferenciabilidade da funo. No caso de Guidorizzi, o autor diz que
uma funo de classe C 2 , quando suas derivadas de 1 e de 2 ordem so contnuas.
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
verificao analtica das condies de H1 , na origem, por exemplo, em relao a cada uma das
hipteses acima, consiste em estudar o comportamento dos limites lim( x, y)(0,0) f (x, y) = f (0,0) ,
lim(x,y)(0,0)
f
f
f
f
(x, y) = (0,0) , lim( x, y)(0,0) (x, y) = (0,0) (2). E no caso de H 2 , investigamos o
y
y
x
x
2 f
2 f
2 f
2 f
( x, y) =
(0,0) e lim(x, y)(0,0)
(x, y) =
(0,0) (3),
xy
xy
yx
yx
entretanto, do ponto de vista analtico, tais verificaes podem se tornar fastidiosas sem o uso da
tecnologia (ver figuras 7 e 8). Na prxima seo, apresentaremos a perspectiva terica na qual
referendamos/interpretamos os dados obtidos com suporte nos autores de livros mencionados.
O interesse acadmico por parte de estudantes e pesquisadores pela teorizao proposta por
Raymond Duval se torna visvel com o uso da Teoria das Representaes Semiticas em vrios
estudos envolvendo o ensino/aprendizagem de Matemtica. O motivo para tal fato parece
evidente, uma vez que, na introduo de sua obra, o autor sublinha a idia de que em
Matemtica, as representaes semiticas no so apenas indispensveis aos fins de
comunicao, elas so necessrias ao desenvolvimento da prpria atividade matemtica
(DUVAL, 1995, p. 3).
Duval (1995, p. 5) salienta, ainda, que a mobilizao ou passagem de um sistema de
representao a outro, ou a mobilizao simultnea de vrios sistemas de representao em curso
de uma mesma aprendizagem, nem sempre decorre de modo espontneo e natural. No contexto
do CVV, poderamos exemplificar diversas formas de registro que se referem ao mesmo objeto
matemtico, como o que chamamos de limite, o qual pode ser representado por:
Lim( x , y )( a ,b ) f ( x, y ) ; lim( x , y )( a ,b ) f ( x, y ) ; Limxa f ( x, y ) ou ainda lim xa [lim y b f ( x, y )]] . E o
y b
caso da noo de derivada mista em um ponto (a, b) , discutida na seo passada, que pode,
segundo os livros consultados, ser denotada por: f12 (a, b) ; ( f xy ) (a, b) ; D12 f (a, b) ; f xy (a, b) ;
+
f
f
xy f ( x, y ) ;
Acrescentamos, ainda, que a mobilizao ou a passagem para outros registros, distintos dos
algbricos, como no caso de registros geomtricos ou registros numricos do CVV, pode se
tornar uma tarefa impraticvel sem um auxlio computacional, como podemos observar em
alguns estudos (RALHA; HIRST & VAZ; 2004). Ademais, recordamos que a noo de
representao se torna essencial na medida da forma segundo a qual a informao pode ser
descrita e levada em considerao num sistema particular de tratamento. (DUVAL, 1995, p. 17)
Identificamos um exemplo interessante, quando o estudante manifesta melhor entendimento do
f
y x
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
Figura 7: O software Maple evita clculos fastidiosos para os alunos fornecendo as derivadas.
No caso das derivadas mistas, o software Maple fornece a extensa listagem em termos de
registros algbricos, os quais apresentamos na figura 8. Sublinhamos que, segundo os dados
gerados por este Sistema Algbrico Computacional CAS, inferimos que
2 f
2 f
( x, y ) =
( x, y ) , para os pontos (figura 8).
yx
xy
Duval (1995, p. 28) salienta que um dos grandes problemas concernente psicologia diz
respeito natureza das relaes entre representaes mentais e representaes semiticas. As
representaes mentais, por exemplo, permitem uma viso do objeto na ausncia de significantes
perceptveis, todavia, um expediente tortuoso consiste em estimular a produo de
representaes mentais nos aprendizes quando restringimos o ensino s mdias lpis/papel. Na
figura 9, exibimos registros de natureza geomtrica em 3D, relacionados com a funo (1).
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
Figura 9: Registros de natureza geomtrica da funo (1) podem estimular representaes mentais.
Por fim, Duval (1995, p. 36) descreve a converso de registros como a transformao de
uma representao para outro registro distinto da representao inicial. Por exemplo,
sublinhamos a noo de que explorando por meio da visualizao de registros em 3D (figuras 9 e
10), podemos fornecer alguns indcios para o aprendiz no sentido de construir seu prprio valor
epistmico (DUVAL, 1991, p. 254) relativo a determinada propriedade, mediante a elaborao
de uma sentena proposicional relacionada s noes de funo e de suas derivadas parciais.
Na figura 10, podemos concluir que a derivada parcial de 1 ordem contnua, enquanto
que suas derivadas mistas (lado direito), apesar de coincidirem no modelo computacional fora da
origem (figura 8), so descontnuas na origem. Reparamos que, nesta anlise, no efetuamos
nenhum tratamento, entretanto, a formao do registro que chamamos de grfico da funo foi
fornecida pelo computador, e assumiu um papel essencial para nosso entendimento desta
propriedade. A visualizao de grficos como estes no \ 3 envolve habilidades que os aprendizes
ainda desconhecem pelo fato de que o ensino do CUV explora to-somente representaes em
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
Figura 10: Registros geomtricos gerados pelo Maple relacionados com a derivada parcial e mista.
Na figura 10, exibimos outras representaes associadas funo que descrevemos em (1).
Qualquer situao relacionada no mbito da resoluo de problemas necessita da habilidade do
solucionador relativa mudana de registros (DUVAL, 1993). Assim, quando exploramos
registros diferenciados no CVV, possibilitamos maior repertrio de ao dos aprendizes, uma
vez que existem exemplos de registros no CVV que proporcionam entraves ao tratamento;
assim, a converso de registros pode auxiliar a atividade matemtica de modo promissor.
Discusso e anlises
Uma concluso imediata que identificamos nos livros consultados diz respeito diversidade de
enunciados relacionados com a comutatividade das derivadas parciais, descritos
predominantemente por meio da lngua materna (LM) e registros algbricos (RA). Alm disso,
encontramos de forma deficiente a explicao da propriedade em termos da converso para
registros geomtricos (RG), com exceo no caso de Stewart (2004). Ademais, os autores se
apoiam em determinados recursos peculiares na atividade de matemticos profissionais, como a
simplificao/condensao de notaes formais que, no sentido de Duval (1993, p. 49),
interpretamos como uma economia de tratamento e que podem no explicitar os significados
operatrios envolvidos, relacionados com cada simbologia e ensejar entraves aos incipientes.
Apesar de a obra de Lima (2009) no ser adequada para um curso inicial de CVV no ambiente de
um curso de licenciatura, esse livro apresenta qualidades que podem auxiliar o professor destes
contedos. O primeiro diz respeito a invarincia notacional, ou seja, o autor preserva a notao
das derivadas mistas durante toda a argumentao necessria. Por outro lado, aparentemente
como todos os outros autores, o nico contraexemplo fornecido o da funo (1), empregando
LM, RA e RG; entretanto, Lima (2009, p. 148) exibe apenas um grfico da funo (1) gerado
possivelmente por um CAS. Assim, acrescentamos que seu exemplo, no que diz respeito
converso de registros, pouco ou em quase nada auxilia o leitor a compreender o comportamento
geomtrico da propriedade investigada (figura 10). Note-se que Lima (2009, p. 149) apresenta
outra verso do mesmo teorema enunciado na figura 3.
Guidorizzi (1986, p. 858) e Stewart (2004, p. 902) descrevem a seo da propriedade que
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
10
Figura 12: Swokowski (1983, p. 730) apresenta uma profuso de notaes para as derivadas mistas.
Tabela 1
Presena de registros nos livros de CVV em termos de LM, RA e RG.
Registro
LM
RA
RG
Notao
Contra
exemplo
do Teor.
Lima
(2009)
Sim
Sim
Sim
Notao
detalhada
Sim (1)
Guidorizzi
(1986)
Sim
Sim
No
Notao
detalhada
Proposto
como
exerccio
(1)
Leithold
(1982)
Sim
Sim
No
Notaes
simplificadas
Apenas um
resolvido (1)
Stewart
(2004)
Sim
Sim
Sim
Notao
detalhada
Nenhum
Swokowski
(1983)
Sim
Sim
No
Notaes
simplificadas
Nenhum
resolvido e
nenhum
exemplo
Notas. Dados obtidos a partir da anlise de livros do CVV com respeito ao teorema de Schwarz.
A ltima linha da tabela 1 merece alguns comentrios extras. Neste sentido, identificamos nas
obras consultadas apenas um contraexemplo (1), todavia, no divisamos nas argumentaes
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
11
destes autores uma explorao eficaz de RA no sentido de verificar a continuidade das derivadas
de 1 e 2 ordem. Assim, todo o tratamento das representaes foi desenvolvido no sentido de
evidenciar os valores numricos assumidos pelas derivadas mistas no ponto (0, 0) . Por fim,
registramos notaes simplificadas (tabela 1, 4 linha) quando deparamos registros do tipo f12
que apresentam uma grande operacionalidade para um profissional experiente, todavia, para o
estudante, pode atuar num sentido contrrio ao de permitir uma compreenso do seu significado.
Consideraes e recomendaes
Martinez-Planell & Gaisman (2010, p. 2) iniciam seu artigo sublinhando uma lacuna na literatura
no que se refere aos estudos e investigaes no campo do Clculo a Vrias Variveis. Deste
modo, com uma preocupao semelhante, desenvolvemos este trabalho que se caracterizou pela
anlise de algumas obras didticas com respeito comutatividade das derivadas parciais.
Nossas anlises indicaram que as atividades propostas nos livros de CVV consultados, com
exceo para o livro de Lima (2009), que se harmoniza a uma formao de futuros bacharis,
enfatizam o tratamento eminentemente algbrico das representaes (tabela 1, linha 2), em
detrimento do uso de registros de natureza geomtrica. Assim, outras habilidades exigidas nos
aprendizes podem ficar comprometidas, uma vez que, para a produo de uma resposta no
contexto da resoluo de problemas, o aluno necessita simultaneamente da formao, tratamento
e, sobretudo, da converso de registros, inclusive com apoio nos registros do CUV.
Um dado que merece ateno o fato de que todos os autores consultados apresentam apenas
como contraexemplo a funo descrita inicialmente em (1). Alm disso, em nenhum caso
encontramos a verificao efetiva da no-ocorrncia das hipteses H1 e H 2 , que descrevemos
em (2) e (3), previstas no enunciado do teorema (figura 11). Por outro lado, quando dedicamos
um pouco mais de tempo de investigao, encontramos em Hairer & Wanner (2008, p. 328), um
contraexemplo histrico fornecido do H. A. Schwarz, encontrado em 1873, descrito pela seguinte
funo
y
2
x a rc ta n
y
f ( x , y ) =
x
0 s e ( x ,y ) = ( 0 ,0 )
x
a rc ta n
s e (x ,y ) (0 ,0 )
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
12
Anlise de livros de clculo a vrias variveis: o caso da comutatividade das derivadas parciais
13