APLICAO DE MODELOS

MATEMTICOS Ao DIAGNSTICO
MDICO, TECNOLOGiA DE ENGENHARIA E GEOFSICA
HELMUT MORITZ
(Universidade de Tecnologia de Graz, Graz, ustria)

m cincia, tecnologia e medicina, as pessoas constantemente confrontam-se com a necessidade de interpretar medidas. Tal interpretao particularmente difcil em geofsica, medicina e astrofsica. A questo, aqui, determinar, com base nos dados medidos, parmetros tais como densidade de massa (no ponto x) ou condutividade eltrica (x), que no podem ser medidos diretamente. Tais problemas so, em resumo, chamados inversos. Em medicina e tecnologia, freqentemente usa-se o termo diagnstico. Mesmo o processo de percepo sensorial nos homens e nos animais pode ser considerado um problema inverso, no qual conhecimento inequvoco pode ser obtido atravs de certa redundncia (por exemplo, viso, audio e tato). Instrumentos poderosos, ao lado de supercomputadores, ampliam muito a gama da percepo humana e exigem a soluo matemtica e numrica de uma outra classe de problemas inversos. Estes podem ser considerados entre os mais urgentes dentro das pesquisas matemticas, embora sua importncia s tenha sido reconhecida de forma muito lenta. Em 1902, o matemtico francs J. Hadamard postulou que, para um problema matemtico corresponder realidade, as seguintes condies bsicas deveriam ser satisfeitas: a soluo deve existir (existncia); a soluo deve ser determinada pelos dados de forma nica (unicida-

a soluo deve depender dos dados de forma contnua (estabilidade). De fato, essas exigncias correspondem ao determinismo ideal da mecnica clssica, que encontrou sua expresso clssica no demnio de Laplace (1740-1827): conhecendo as equaes diferenciais da fsica e,

de);

como condies iniciais, o estado do universo (que se supe seja exatamente mensurvel e esteja disponvel para o demnio), em um certo instante t = O, o demnio altamente inteligente poderia calcular com exatido o estado do universo em qualquer instante t posterior. Esse determinismo ideal esteve sob ataque por diversas razes: a causalidade foi questionada pela mecnica quntica e a dependncia contnua com relao s condies iniciais (estabilidade) mostrou ser problemtica, mesmo para casos relativamente simples de mecnica celeste, como foi bem demonstrado pela teoria geral da dinmica no-linear (popularmente conhecida por teoria do caos). Durante as ltimas dcadas, tm-se percebido que um nmero crescente de questes matemticas de relevncia fsica so problemas formulados impropriamente (com freqncia chamados problemas mal formulados), os quais no satisfazem um (ou mais) dos critrios acima. Nesse grupo esto questes que dizem respeito interpretao de dados medidos. A expresso problemas impropriamente formulados pode ter sido, de incio, entendida como de natureza algo pejorativa. Hoje, no entanto, tornou-se outra, livre de valorao emocional, designando um campo matemtico que est atraindo cada vez mais a ateno tanto da matemtica pura como da aplicada. Tem se tornado, freqentemente, sinnimo de problemas inversos. Para introduzir o tema, escolherei aqui um modelo matemtico conceitualmente simples: sistemas de equaes lineares algbricas. Assim, nosso prottipo simples ser um sistema de equaes lineares de forma matricial Af=g em que A uma matriz dada, g um vetor dado e f um vetor desconhecido de parmetros do sistema. Se a matriz A quadrada e regular, ento a inverso f-A-lg existe e fornece um vetor f unicamente definido. Se a matriz retangular, ento pode haver tanto infinitas como nenhuma soluo sequer. Ainda assim, a equao f = A-lg pode existir. Nesse caso, a matriz A-1 chamada matriz inversa generalizada, a qual, no entanto, no geralmente estvel nem definida unicamente. Tais situaes, correspondendo a uma matriz retangular A, so a estrutura matemtica tpica de muitos

problemas inversos. O caso pode tambm corresponder a um problema sobredeterminado, no qual existem mais equaes que incgnitas. Tais casos so tpicos do ajuste de erros de medida, para o qual existem mtodos estatsticos padro de estimativa (mnimos quadrados etc.). Nossos problemas inversos, no entanto, so usualmente do tipo subdeterminado, nos quais existem menos observaes que parmetros desconhecidos. Esse o caso quando a densidade de massa (no ponto x) ou a condutividade eltrica (x) devem ser determinadas. Nesses exemplos, as observaes no so suficientes para determinar de forma nica os parmetros desconhecidos. Precisa-se de informao adicional. Esta pode ser muito trivial, por exemplo, no caso de ser preciso determinar empiricamente uma curva a partir de um conjunto de pontos muito prximos. Ento, a computao da curva se reduz a seu ajuste ou interpolao. Se o espaamento dos valores medidos suficientemente denso, a exigncia adicional de que a curva deva ser lisa pode ser suficiente para determin-la de forma praticamente nica. Se existirem apenas uns poucos valores medidos, pode ento haver um nmero infinito de curvas compatveis com os valores dados. Assim, a informao adicional dever ser muito mais detalhada e especfica (por exemplo: a curva deve ser uma reta ou uma senide). Todo esquema matemtico que produz uma soluo nica a partir de dados insuficientes deve incorporar alguma informao adicional (ainda que apenas o princpio de mnimos quadrados). Essa a razo pela qual diferentes algoritmos, aplicados aos mesmos dados, podem dar respostas completamente distintas. Por exemplo, a tomografia ssmica em geofsica um problema altamente subdeterminado e pode ser semelhante a alguns mtodos computadorizados de diagnstico em medicina. Em problemas comuns de diagnstico, a informao adicional dada pela experincia do mdico e um bom esquema de diagnstico deve incorporar considervel experincia mdica. O procedimento , em princpio, muito simples e adequado. Na prtica, todavia, o perigo aparece quando a informao adicional insuficiente ou inadequada. Maiores riscos apresenta o caso de um sistema de caixa preta,; que fornece belas respostas e diagramas coloridos, mas no qual no se sabe (ou se considera desnecessrio saber) que informao foi implicitamente incorporada. Assim, para um dado mtodo ou tcnica que envolva a soluo de problemas inversos, devemos ter o cuidado de sempre considerar seus limites de aplicabilidade, bem como as pressuposies conscientes ou inconscientes que fazemos ao aplic-lo.

Nosso modelo matemtico, extremamente simplificado, j exibiu caractersticas gerais importantes dos problemas inversos formulados impropriamente. Em especial, reconhecemos uma importante tarefa: deter minar, definir ou tornar consciente a informao adicional que est implcita em um dado problema inverso. Sob outros aspectos, nosso primitivo modelo de sistemas algbricos lineares bastante inadequado. So necessrias estruturas matemticas mais sofisticadas: equaes diferenciais e integrais, geralmente equaes funcionais lineares e no-lineares, bem como mtodos espectrais e outras tcnicas. Uma conseqncia infeliz do desenvolvimento incrivelmente veloz da cincia e da tecnologia que os diferentes campos cientficos tendem a perder contato entre si. Poucos cientistas esto atentos aos desenvolvimentos que acontecem em campos cientficos vizinhos. As leis da fsica, que valem para geofsica, astronomia, tecnologia, qumica, biologia, medicina etc., fornecem um carter unificador. Isso no quer dizer que todas as leis da biologia ou mesmo do pensar e do comportamento humano se reduzam fsica, mas apenas que os processos fsicos nos animais so governados pelas mesmas leis e processos que regem a natureza inorgnica. Em particular, as equaes diferenciais da fsica matemtica tambm descrevem os processos que ocorrem dentro do corpo humano. A maior parte da informao adicional obtida por experimentos em condies de laboratrio. Nestes, muitos parmetros podem ser mantidos constantes e, dessa forma, os processos podem ser controlados. Por isso, sistemas tecnolgicos atingiram um alto nvel de sofisticao e a identificao por sistemas desenvolveu-se muito. Pode-se esperar para o futuro resultados de longo alcance em teoria inversa, com conseqncias para nosso conhecimento da natureza, ou seja, para a questo de em que medida sistemas naturais complexos podem ser descritos por dados obtidos a partir de medies. Para um matemtico, problemas inversos raramente so fceis: comumente difceis, s vezes insolveis, mas sempre fascinantes. Mas no nos esqueamos da relevncia para a vida real: a vida de um paciente pode literalmente depender da possibilidade de ele passar por um raio-X ou por uma tomografia de ressonncia magntica nuclear e da confiabilidade dos resultados desses exames. Explorao geofsica pesquisa por minerais ou depsitos de petrleo exige a soluo de problemas inversos em sismologia, gravimetria e eletromagnetismo. E urgente um enfoque interdisciplinar.