Você está na página 1de 8

Matemtica e Sociedade

Adonai Sant'Anna
Incio

quinta-feira, 14 de maro de 2013

A matemtica necessria para compreender fsica

Frequentemente jovens perguntam o quo profundamente devem estudar matemtica


para compreender fsica terica. Honestamente, nunca gostei desta pergunta. Isso
porque implicitamente ela encerra a noo de que h um limite de conhecimento
matemtico necessrio para compreender fsica. E tal limite simplesmente no existe.
Quem interrompe seus estudos de matemtica, limita seriamente seus conhecimentos
fsicos.
No entanto, existe um conhecimento matemtico mnimo necessrio para iniciar
estudos bsicos em fsica terica: clculo diferencial e integral, equaes diferenciais,
lgebra linear, teoria de probabilidades e teoria de grupos.
Sobre clculo diferencial e integral e equaes diferenciais j discuti em postagem
anterior. Grosso modo, equaes diferenciais (fundamentadas a partir do clculo
diferencial e integral) constituem o corao de qualquer formulao usual das teorias
fsicas mais comuns. O eletromagnetismo clssico, por exemplo, se fundamenta nas
equaes de Maxwell. Mecnica quntica se sustenta na equao de Schrdinger.
Mecnica clssica fundamentada na segunda lei de Newton. Teoria da relatividade
geral se baseia nas equaes de Einstein. E as equaes de Maxwell, Schrdinger e
Einstein so equaes diferenciais, assim como a segunda lei de Newton. Comentrios
anlogos podem ser feitos em relao s teorias de gauge, a termodinmica e demais
exemplos de teorias fsicas.
A lgebra linear minimamente aceitvel para iniciar estudos em fsica terica aquela

que envolve o enunciado, a demonstrao e aplicaes do teorema espectral. Se uma


pessoa conhece bem os pr-requisitos necessrios para discutir criticamente sobre
aplicaes do teorema espectral, j domina um contedo matemtico necessrio
(apesar de insuficiente) para desenvolver alguns estudos sobre mecnica quntica. A
rigor, estudos avanados de anlise funcional (espaos de Hilbert e espaos de
Banach) extremamente recomendvel. Caso contrrio, o estudante corre o risco de
apenas repetir procedimentos usualmente adotados em livros sobre mecnica
quntica, mas sem compreender o significado de tais procedimentos.
Existem tambm inmeras aplicaes fundamentais de teoria de probabilidades em
fsica terica. As mais conhecidas ocorrem em mecnica estatstica clssica e
mecnica quntica. No entanto, fsicos ainda no conseguiram explicar de forma clara
o papel de probabilidades no ltimo caso.
Usualmente teoria de probabilidades deve ser estudada a partir dos axiomas de
Kolmogorov, apesar de existirem outras formulaes para a noo de probabilidades.
Mas se o estudante de fsica conhecer bem a formulao devida a Kolmogorov, j
poder contar com uma viso privilegiada sobre o tema das probabilidades. Porm,
vale observar que existem aqueles que creem que a teoria de Kolmogorov no
aplicvel mecnica quntica, apesar de muitos fsicos pensarem o contrrio, sem de
fato compreenderem o que so probabilidades.
Finalmente, teoria de grupos constitui uma base fundamental para a compreenso dos
princpios de invarincia ou simetria em fsica terica. Como entender a diferena entre
eletromagnetismo clssico e mecnica clssica, sem um adequado conhecimento de
teoria de grupos? Simplesmente no possvel. As leis fsicas da mecnica clssica
so invariantes sob transformaes do grupo de Galileu. J as leis do
eletromagnetismo (descritas pela teoria relativstica de Maxwell) so invariantes sob a
ao do grupo de Poincar. E esses dois grupos de transformaes so simplesmente
incompatveis entre si. Foi uma simples aplicao de teoria de grupos que permitiu a
concepo da noo de quark, partcula fundamental que permite descrever a
estrutura interna de partculas que compem o ncleo de tomos. Uma obra
excepcional sobre aplicaes de grupos em fsica o livro Group Theory and Physics,
de S. Sternberg.
Mas a fsica-matemtica (que corresponde ao estudo de mtodos matemticos
aplicados em fsica terica), como era de se esperar, vai muito alm dos tpicos acima
abordados.
O russo Vladimir Arnol'd, por exemplo, apresenta uma formulao para a mecnica
clssica que se sustenta fortemente em elementos de geometria diferencial, tratando
fenmenos mecnicos via variedades diferenciveis e geometria simpltica, com um
formalismo muito empregado em teorias clssicas de campos. E como conhecer
variedades diferenciveis sem uma viso adequada de topologia geral? Mecnica

clssica apenas um exemplo, entre muitos, de teoria fsica que apresenta inmeras
formulaes no equivalentes entre si do ponto de vista matemtico.
Tambm convido o leitor a comparar os livros Mathematical Physics, de Eugene
Butkov, e Mathematical Physics, de Robert Geroch. Os dois tm o mesmo ttulo, mas
no h qualquer outro ponto em comum entre ambos. Isso porque a obra de Butkov
trata do tema da fsica-matemtica sob o ponto de vista conjuntista usual, enquanto o
livro de Geroch aborda o mesmo tema sob o ponto de vista categorial. Portanto, como
conhecer amplamente fsica terica sem um estudo aprofundado sobre teoria de
categorias? Existem inmeras aplicaes importantes de teoria de categorias em fsica
terica. Eu mesmo j fiz uma modesta contribuio nesta rea.
Existem ainda as aplicaes de mtodos de lgica matemtica em fsica terica. Um
exemplo bem conhecido o resultado obtido pelos brasileiros Newton da Costa e
Francisco Doria, no qual se demonstra a impossibilidade de conceber um algoritmo
que permita decidir se um sistema dinmico qualquer catico ou no. Esta uma das
aplicaes mais importantes de lgica matemtica em teoria do caos. Portanto, sem
um conhecimento profundo de lgica matemtica, qualquer viso a respeito de fsica
terica torna-se extremamente limitada.
Em suma, o tema por demais extenso para ser explorado de forma detalhada em
uma postagem de blog. Mas espero ter convencido o leitor de que no faz sentido
perguntar qual o contedo matemtico minimamente necessrio para compreender
fsica terica.
Porm, vale um importante alerta para aqueles que pretendem aprofundar seus
estudos matemticos com o objetivo de melhor compreender fsica. muito fcil um
pesquisador se distanciar da fsica quando exagera em sua viso matemtica do
mundo. Um exemplo interessante o estudo das teorias de gauge. As teorias de gauge
so provavelmente as teorias fsicas mais fiis matemtica. E so provavelmente as
teorias fsicas com maior nmero de casos de conceitos matemticos sem
interpretao fsica ou com interpretao polmica.
Nas demais teorias fsicas, muito comumente pesquisadores e cientistas fazem
manobras tericas sem fundamentao matemtica alguma. Um exemplo bem
conhecido so as famosas aproximaes. Isso ocorre porque mesmo a fsica de hoje
fortemente sustentada em intuio. E intuies so muito difceis de serem justificadas
racionalmente. Um exemplo histrico bem conhecido o tomo de Bohr, nos
primrdios do nascimento da mecnica quntica. Niels Bohr criou um modelo para
explicar a estrutura de tomos, o qual se baseia em ideias absolutamente
contraditrias. Uma discusso detalhada sobre o tema pode ser encontrada no livro O
Irracional, de Gilles-Gaston Granger.
Ningum at hoje estabeleceu de forma clara qual dose de formalismo matemtico

deve ser usada em fsica terica e qual a dose de intuio, sem apelo racional
imediato, que deve ser tolerada. Portanto, a melhor sada deste dilema a discusso
crtica. Fsica, como todas as demais cincias, uma atividade social. Se algum tem
uma ideia nova, deve submet-la anlise crtica promovida pelos seus pares. Sem
discusso, no h cincia.
Fsicos usam a matemtica como se estivessem escrevendo torto em linhas retas. Por
isso mesmo muitas teorias matemticas certas surgem a partir de ideias
aparentemente tortas dos fsicos, estabelecidas a partir de meras intuies. Quando
Paul Dirac empregou a funo delta que hoje conhecida pelo seu nome, os
matemticos ficaram alarmados com a ignorncia do fsico britnico. Hoje a teoria de
distribuies mostra claramente que todas as intuies de Dirac estavam corretas do
ponto de vista matemtico. Ou seja, fazer fsica como navegar em um oceano de
ideias, sendo algumas delas racionais e outras nem tanto.
Adonai s 01:12
Compartilhar

9 comentrios:
Stafusa 14 de maro de 2013 12:09
Interessante:
"resultado obtido pelos brasileiros Newton da Costa e Francisco Doria, no qual se demonstra a
impossibilidade de conceber um algoritmo que permita decidir se um sistema dinmico qualquer
catico ou no."
Poderia nos passar mais detalhes ou ao menos a referncia?
Responder
Respostas
Adonai

14 de maro de 2013 14:12

Oi, Stafusa
Acabo de incluir um link na prpria postagem, onde h referncias aos artigos originais.
Responder

Leandro Martins 14 de maro de 2013 13:01


No somente em Fsica Terica, mas tambm em Qumica Terica (Teoria dos Orbitais Moleculares e
Teoria das Ligaes de Valncia), Termodinmica Qumica e demais reas da Fsico-Qumica.
Um dos principais e mais importantes conceitos estudados para a compreenso da reatividade qumica
numa mistura reacional, tanto em termos termodinmicos quanto cinticos, o conceito de *Potencial
Qumico*, usualmente expresso em termos de derivadas parciais, em termos da evoluo temporal da

quantidade de matria (em mol) envolvida:


u = (dG / dn)t,p,T
Sendo "u" (o correto seria a letra grega "mi", mas no sei represent-la aqui) o potencial qumico
atribudo a um dado processo, "t" representando a evoluo temporal da reao qumica, "p" a presso
e "T" a temperatura do meio reacional (que em situaes de variao signicativa de acordo com quo
exotrmico ou endotrmico o processo, tambm far parte do processo de derivao).
Derivadas e integrais tambm so comuns na descrio de processos em que variaes signicativas
da presso de vapor do meio reagente so importantes.
Como exemplo, temos a equao:
ln (p / p0) = - (variao entalpia / R) (1/T1 - 1/T2)
em que o logaritmo neperiano obtido pela integrao do termo "dp/p" que surge durante a deduo da
expresso acima.
Enm, estes so apenas 2 dos vrios exemplos de conhecimentos de Clculo Diferencial e Integral que
so importantes na Qumica.
Vrias outras aplicaes do Clculo existem na Qumica, como por exemplo, no estudo de fenmenos
de superfcie e interfaces (tenso supercial/interfacial), capilaridade, uxo de lquido na calibrao de
algumas vidrarias de laboratrio, formao de meniscos de lquidos em tubos capilares, etc.
Responder

Leandro Martins 14 de maro de 2013 23:33


Adonai

sobre a Fsica Matemtica, um dos livros que vc menciona o do Butkov.


No entanto, os fsicos que conheo afirmam que tal obra muito resumida e limitada.
Geralmente recomendam a obra do Arfken, que alegam ser mais completa.
O que vc acha do livro do Arfken?????
Outra coisa. Se um dia eu voltar para a rea, vou querer remodelar praticamente tudo o que estudei na
faculdade, ignorando boa parte do que aprendi, j que o que dado na graduao muitssimo
superficial frente ao que vejo por aqui.
Que obra vc poderia recomendar para lgebra Linear por exemplo?????
Estudei na poca pelos livros do Alfredo Steinbruch e Paulo Winterle (como a maioria dos estudantes
de Exatas) e hoje no me satisfao nem um pouco com nenhum deles......
Responder
Respostas

Adonai

15 de maro de 2013 01:36

Leandro
Todos os livros sobre mtodos matemticos em fsica que encontrei, incluindo a obra de
Arfken e colaboradores, apresentam srias limitaes. O tratamento dado por Arfken e tantos
outros conjuntista. Existem ferramentas incrveis em teoria de categorias que raramente
vejo discutidas em livros de fsica matemtica. Por isso o tema da postagem! O estudo de
mtodos matemticos em fsica terica simplesmente no tem fim.
Com relao lgebra linear, o melhor livro que conheo para iniciar estudos na rea o de
Paul Halmos (Espaos vetoriais de dimenso nita). Mas o livro de Halmos no explora
temas mais avanados, proporcionando apenas uma boa fundamentao. Para avanar na
lgebra linear outros livros so recomendveis. A obra de Steinbruch tambm apresenta uma
viso limitada sobre lgebra linear. Para demonstrar isso, proponho a seguinte questo
bsica para voc: qual o conceito de base de um espao vetorial?

Leandro Martins 16 de maro de 2013 13:40


Pelo pouco que me lembro do que aprendi em lgebra Linear (2 semestre de 2001), grosso
modo, base de um espao vetorial seria a representao de um conjunto de vetores
independentes capazes de originar um dado espao vetorial.
Provavelmente eu deva estar escrevendo besteira, pois lembro de poucos tpicos acerca de
espaos vetoriais e subespaos vetoriais. Ento, por favor, me corrija de um suposto
besteirol.
Atualmente no tenho acesso ao livro do Steinbruch, ento estou sem material para vericar
e relembrar o que o mesmo aborda acerca desse assunto.

Adonai

17 de maro de 2013 01:39

Leandro
Apenas omita a palavra "representao" de sua explicao. Carece de sentido. No entanto,
observe que essa viso sobre base se sustenta na noo de combinao de vetores (quando
voc menciona sobre vetores independentes).
Pois bem. Combinao linear se dene a partir de uma operao binria conhecida como
adio de vetores. Com o axioma da associatividade possvel estabelecer a adio de trs
ou mais vetores, mas sempre uma quantia nita de vetores. Portanto, a suposta denio de
base que voc menciona (comum a todos os livros de lgebra linear que existem no Brasil)
funciona somente para espaos vetoriais de dimenso nita. E quanto aos espaos vetoriais
de dimenso innita? Ou seja, anal, qual a denio de base de um espao vetorial? Este
um dos motivos porque gosto do livro de Paul Halmos. J no ttulo ele qualica: Espaos
vetoriais de dimenso nita. A maioria dos livros de lgebra linear anuncia que o tema deste
ramo da matemtica o estudo de espaos vetoriais. No entanto, estes so objetos de
estudo bem mais complicados do que sugerido em tais livros.
Por isso sempre insisto. No possvel se basear em um nico livro para estudar qualquer
ramo da matemtica. Se voc quiser saber mais sobre espaos vetoriais, precisa estudar
livros sobre anlise funcional. uma extenso natural e muito elegante.

Responder

Annimo 29 de agosto de 2015 22:52


Por onde eu comeo a estudar Fsica ? Conhece alguma boa traduo dos Principia ? (Portugus,
Ingls ou Francs).
Responder

Adonai

30 de agosto de 2015 11:41

Annimo
Os Principia de Newton traduzidos para o portugus podem ser encontrados no link abaixo:
http://www.livrariadafisica.com.br/detalhe_produto.aspx?id=20453
Sobre sua primeira pergunta, recomendo a postagem abaixo:
http://adonaisantanna.blogspot.com.br/2013/03/a-matematica-necessaria-para.html
Responder

Respostas a comentrios dirigidos ao Administrador


podem demorar at trs dias.

Pgina inicial

Visualizar verso para a web

Quem sou eu

Adonai
Professor Associado do Departamento de Matemtica da UFPR. Autor de dois livros sobre lgica
publicados no Brasil, e de dezenas de artigos publicados em peridicos especializados de
matemtica, fsica e filosofia, no Brasil e no exterior. Atualmente est trabalhando em dois projetos
cinematogrficos, sendo que um deles visa uma crtica indita s universidades federais brasileiras. Para mais
detalhes ver a pgina "Sobre o autor do blog".
Visualizar meu perfil completo
Tecnologia do Blogger.