Por Enflo - Per Enflo

Por Enflo
Por Enflo.jpg
Enflo em 1972
Nascer ( 20/05/1944 )20 de maio de 1944 (77 anos)
Alma mater Universidade de Estocolmo
Conhecido por Problema de aproximação da
base de Schauder
Quinto problema de Hilbert (infinito-dimensional) renorms
uniformemente convexos de espaços de Banach super-reflexivos que incorporam espaços métricos ( distorção ilimitada do cubo ) "Concentração" de polinômios em baixo grau Problema do subespaço invariante


Prêmios O " ganso vivo " de Mazur para resolver o Problema 153 do " Livro Escocês "
Carreira científica
Campos Análise funcional
Teoria do operador Teoria
analítica dos números
Instituições Universidade da Califórnia, Berkeley
Stanford University
École Polytechnique , Paris
The Royal Institute of Technology , Stockholm
Kent State University
Orientador de doutorado Hans Rådström
Alunos de doutorado Angela Spalsbury
Bruce Reznick
Influências Joram Lindenstrauss
Laurent Schwartz
Influenciado Bernard beauzamy

Per H. Enflo ( sueco:  [ˈpæːr ˈěːnfluː] ; nascido em 20 de maio de 1944) é um matemático sueco que trabalha principalmente com análise funcional , área em que resolve problemas que foram considerados fundamentais. Três desses problemas estavam abertos há mais de quarenta anos:

Para resolver esses problemas, a Enflo desenvolveu novas técnicas que foram usadas por outros pesquisadores em análise funcional e teoria do operador por anos. Algumas das pesquisas de Enflo também foram importantes em outros campos matemáticos, como a teoria dos números , e na ciência da computação , especialmente álgebra computacional e algoritmos de aproximação .

Enflo trabalha na Kent State University , onde possui o título de professor universitário. Enflo já ocupou cargos no Instituto Miller para Pesquisa Básica em Ciências da Universidade da Califórnia, Berkeley , Universidade de Stanford , École Polytechnique , ( Paris ) e The Royal Institute of Technology , Estocolmo .

Enflo também é pianista concertista .

Contribuições de Enflo para a análise funcional e teoria do operador

Em matemática , a análise funcional se preocupa com o estudo de espaços vetoriais e operadores que atuam sobre eles. Tem as suas raízes históricas no estudo dos espaços funcionais , em particular nas transformações de funções , como a transformada de Fourier , bem como no estudo das equações diferenciais e integrais . Na análise funcional, uma classe importante de espaços vetoriais consiste nos espaços vetoriais normados completos sobre os números reais ou complexos , que são chamados de espaços de Banach . Um exemplo importante de um espaço de Banach é um espaço de Hilbert , onde a norma surge de um produto interno . Os espaços de Hilbert são de fundamental importância em muitas áreas, incluindo a formulação matemática da mecânica quântica , processos estocásticos e análise de séries temporais . Além de estudar espaços de funções, a análise funcional também estuda os operadores lineares contínuos em espaços de funções.

O quinto problema de Hilbert e os embeddings

Na Universidade de Estocolmo, Hans Rådström sugeriu que Enflo considerasse o quinto problema de Hilbert no espírito da análise funcional. Em dois anos, 1969–1970, Enflo publicou cinco artigos sobre o quinto problema de Hilbert; esses artigos estão reunidos em Enflo (1970), junto com um breve resumo. Alguns dos resultados desses artigos são descritos em Enflo (1976) e no último capítulo de Benyamini e Lindenstrauss .

Aplicações em ciência da computação

As técnicas de Enflo encontraram aplicação na ciência da computação . Os teóricos do algoritmo derivam algoritmos de aproximação que incorporam espaços métricos finitos em espaços euclidianos de baixa dimensão com baixa "distorção" (na terminologia de Gromov para a categoria de Lipschitz ; cf distância de Banach – Mazur ). Problemas de baixa dimensão têm menor complexidade computacional , é claro. Mais importante, se os problemas se encaixam bem no plano euclidiano ou no espaço euclidiano tridimensional , os algoritmos geométricos se tornam excepcionalmente rápidos.

No entanto, tais técnicas de incorporação têm limitações, conforme mostrado pelo teorema de Enflo (1969):

Para cada um , o cubo de Hamming não pode ser incorporado com "distorção " (ou menos) no espaço euclidiano -dimensional se . Consequentemente, o embedding ideal é o embedding natural, que se realiza como um subespaço do espaço euclidiano dimensional.

Este teorema, "encontrado por Enflo [1969], é provavelmente o primeiro resultado mostrando uma distorção ilimitada para embeddings em espaços euclidianos . Enflo considerou o problema de embeddability uniforme entre espaços de Banach , e a distorção foi um dispositivo auxiliar em sua prova."

Geometria dos espaços de Banach

Um espaço uniformemente convexo é um espaço de Banach de modo que, para cada há algum, de modo que para quaisquer dois vetores com e

implica que

Intuitivamente, o centro de um segmento de linha dentro da bola unitária deve estar profundamente dentro da bola unitária, a menos que o segmento seja curto.

Em 1972, Enflo provou que "todo espaço super-reflexivo de Banach admite uma norma uniformemente convexa equivalente ".

O problema básico e o ganso de Mazur

Com um artigo publicado em 1973, Per Enflo resolveu três problemas que confundiram os analistas funcionais por décadas: o problema básico de Stefan Banach , o " problema do ganso " de Stanislaw Mazur e o problema de aproximação de Alexander Grothendieck . Grothendieck havia mostrado que seu problema de aproximação era o problema central na teoria dos espaços de Banach e dos operadores lineares contínuos .

Problema básico de Banach

O problema básico foi colocado por Stefan Banach em seu livro Theory of Linear Operators . Banach perguntou se todo espaço separável de Banach tem uma base Schauder .

Um Schauder base ou base contáveis é semelhante ao habitual (Hamel) base de um espaço vectorial ; a diferença é que para as bases de Hamel usamos combinações lineares que são somas finitas , enquanto para as bases de Schauder elas podem ser somas infinitas . Isso torna as bases de Schauder mais adequadas para a análise de espaços vetoriais topológicos de dimensão infinita , incluindo espaços de Banach .

Schauder bases foram descritas por Juliusz Schauder em 1927. Let V denotar um espaço de Banach sobre o campo F . Uma base de Schauder é uma sequência ( b n ) de elementos de V tal que para cada elemento vV existe uma sequência únican ) de elementos em F de modo que

onde a convergência é entendida em relação à topologia da norma . As bases de Schauder também podem ser definidas analogamente em um espaço vetorial topológico geral .

Em 1937, o matemático polonês Stanislaw Mazur prometeu um "ganso vivo" como prêmio por resolver o problema 153 no Livro Escocês . Em 1972, Mazur apresentou o ganso a Per Enflo.

Problema 153 no livro escocês: o ganso de Mazur

Em 1972, Stanislaw Mazur concedeu a Enflo o prometido ganso vivo por resolver um problema no livro escocês .

Banach e outros matemáticos poloneses trabalhariam em problemas matemáticos no Scottish Café . Quando um problema era especialmente interessante e sua solução parecia difícil, o problema era anotado no livro de problemas, que logo ficou conhecido como Livro Escocês . Para problemas que pareciam especialmente importantes ou difíceis, ou ambos, o proponente do problema muitas vezes se comprometia a conceder um prêmio por sua solução.

Em 6 de novembro de 1936, Stanislaw Mazur apresentou um problema na representação de funções contínuas. Escrevendo formalmente o problema 153 no Livro Escocês , Mazur prometeu como recompensa um "ganso vivo", um preço especialmente rico durante a Grande Depressão e na véspera da Segunda Guerra Mundial .

Pouco depois, percebeu-se que o problema de Mazur estava intimamente relacionado ao problema de Banach sobre a existência de bases Schauder em espaços separáveis ​​de Banach. A maioria dos outros problemas do Livro Escocês foram resolvidos regularmente. No entanto, houve pouco progresso no problema de Mazur e em alguns outros problemas, que se tornaram famosos como problemas abertos a matemáticos de todo o mundo.

A formulação de Grothendieck do problema de aproximação

O trabalho de Grothendieck sobre a teoria dos espaços de Banach e operadores lineares contínuos introduziu a propriedade de aproximação . Diz-se que um espaço de Banach tem a propriedade de aproximação , se todo operador compacto for um limite de operadores de classificação finita . O contrário é sempre verdade.

Em uma longa monografia, Grothendieck provou que se todo espaço de Banach tivesse a propriedade de aproximação, então todo espaço de Banach teria uma base Schauder. Grothendieck, portanto, concentrou a atenção dos analistas funcionais em decidir se cada espaço de Banach tem a propriedade de aproximação.

Solução da Enflo

Em 1972, Per Enflo construiu um espaço de Banach separável que não possui a propriedade de aproximação e uma base de Schauder. Em 1972, Mazur concedeu um ganso vivo a Enflo em uma cerimônia no Stefan Banach Centre em Varsóvia ; a cerimônia da "recompensa do ganso" foi transmitida para toda a Polônia .

Problema de subespaço invariante e polinômios

Na análise funcional , um dos problemas mais proeminentes era o problema do subespaço invariante , que exigia a avaliação da verdade da seguinte proposição:

Dado um espaço de Banach complexo H de dimensão > 1 e um operador linear limitado T  :  H  →  H , então H tem um subespaço T -invariante fechado não trivial , ou seja, existe um subespaço linear fechado W de H que é diferente de {0 } e H tal que T ( W ) ⊆ W .

Para espaços de Banach , o primeiro exemplo de um operador sem um subespaço invariável foi construído por Enflo. (Para espaços de Hilbert , o problema do subespaço invariante permanece aberto .)

Enflo propôs uma solução para o problema do subespaço invariante em 1975, publicando um esboço em 1976. Enflo submeteu o artigo completo em 1981 e a complexidade e extensão do artigo atrasaram sua publicação para 1987 O longo "manuscrito de Enflo teve uma circulação mundial entre matemáticos" e algumas de suas ideias foram descritas em publicações além de Enflo (1976). Os trabalhos de Enflo inspiraram uma construção semelhante de um operador sem um subespaço invariável, por exemplo, de Beauzamy, que reconheceu as idéias de Enflo.

Na década de 1990, Enflo desenvolveu uma abordagem "construtiva" para o problema do subespaço invariante em espaços de Hilbert.

Desigualdades multiplicativas para polinômios homogêneos

Uma ideia essencial na construção do Enflo era " concentração de polinômios em baixos graus ": para todos os inteiros positivos e , existe tal que para todos os polinômios homogêneos e de graus e (em variáveis), então

onde denota a soma dos valores absolutos dos coeficientes de . A Enflo provou que não depende do número de variáveis . A prova original de Enflo foi simplificada por Montgomery .

Este resultado foi generalizado para outras normas no espaço vetorial de polinômios homogêneos . Dessas normas, a mais utilizada é a norma Bombieri .

Norma Bombieri

A norma Bombieri é definida em termos do seguinte produto escalar : Para todos nós temos

E se
Para cada um que definimos

onde usamos a seguinte notação: if , we write and and

A propriedade mais notável desta norma é a desigualdade de Bombieri:

Sejam dois polinômios homogêneos respectivamente de grau e com variáveis, então, a seguinte desigualdade se mantém:

Na afirmação acima, a desigualdade de Bombieri é a desigualdade do lado esquerdo; a desigualdade do lado direito significa que a norma de Bombieri é uma norma da álgebra de polinômios sob multiplicação.

A desigualdade de Bombieri implica que o produto de dois polinômios não pode ser arbitrariamente pequeno, e esse limite inferior é fundamental em aplicações como a fatoração de polinômios (ou na construção de um operador sem um subespaço invariante pelo Enflo).

Formulários

A ideia de Enflo de "concentração de polinômios em graus baixos" levou a importantes publicações na teoria dos números , geometria algébrica e diofantina e fatoração polinomial .

Biologia matemática: dinâmica populacional

Em matemática aplicada , Per Enflo publicou vários artigos em biologia matemática , especificamente em dinâmica populacional .

Evolução humana

Enflo também publicou publicações em genética populacional e paleoantropologia .

Hoje, todos os humanos pertencem a uma população de Homo sapiens sapiens , que é individualizada por barreira de espécies. No entanto, de acordo com o modelo "Fora da África", esta não é a primeira espécie de hominídeo: a primeira espécie do gênero Homo , Homo habilis , evoluiu na África Oriental pelo menos 2 Ma, e membros desta espécie povoaram diferentes partes da África em um tempo relativamente curto. O Homo erectus evoluiu mais de 1,8 Ma, e por volta de 1,5 Ma já havia se espalhado pelo Velho Mundo .

Os antropólogos estão divididos quanto a se a população humana atual evoluiu como uma população interconectada (conforme postulado pela hipótese da evolução multirregional ) ou se evoluiu apenas na África Oriental, especiou e, em seguida, migrou para fora da África e substituiu as populações humanas na Eurásia (chamada de " Modelo Fora da África ou Modelo de Substituição Completa).

Neandertais e humanos modernos coexistiram na Europa por vários milhares de anos, mas a duração desse período é incerta. Os humanos modernos podem ter migrado pela primeira vez para a Europa há 40-43.000 anos. Os neandertais podem ter vivido até 24.000 anos atrás em refúgios na costa sul da Península Ibérica, como a Caverna de Gorham . A interestratificação de restos mortais de Neandertal e humanos modernos foi sugerida, mas é contestada.

Com Hawks e Wolpoff , Enflo publicou uma explicação de evidências fósseis no DNA de humanos modernos e de Neandertal . Este artigo tenta resolver um debate na evolução dos humanos modernos entre teorias que sugerem origens multirregionais e únicas da África . Em particular, a extinção dos neandertais pode ter acontecido devido a ondas de humanos modernos que entraram na Europa - em termos técnicos, devido ao "influxo contínuo de DNA humano moderno no pool genético dos neandertais".

Enflo também escreveu sobre a dinâmica populacional dos mexilhões-zebra no Lago Erie .

Um pianista de concerto , Per Enflo estreou no Stockholm Concert Hall em 1963.

Piano

Per Enflo também é pianista concertista .

Uma criança prodígio na música e na matemática, Enflo venceu o concurso sueco para jovens pianistas aos 11 anos em 1956, e venceu o mesmo concurso em 1961. Aos 12 anos, Enflo apareceu como solista na Royal Opera Orchestra of Sweden. Ele estreou no Stockholm Concert Hall em 1963. Os professores de Enflo incluíam Bruno Seidlhofer , Géza Anda e Gottfried Boon (que também foi aluno de Arthur Schnabel).

Em 1999 Enflo competiu na primeira anual Van Cliburn Foundation 's Concurso Internacional de Piano de Circulação Amadores .

Enflo se apresenta regularmente em Kent e em uma série de Mozart em Columbus, Ohio (com a Triune Festival Orchestra). Seus recitais de piano solo apareceram na Classics Network da estação de rádio WOSU , que é patrocinada pela Ohio State University .

Referências

Notas

  1. ^ Página 586 em Halmos 1990.
  2. ^ Por Enflo: Um contra-exemplo ao problema de aproximação em espaços de Banach. Acta Mathematica vol. 130, não. 1 de julho de 1973
  3. ^ * Enflo, Per (1976). "Sobre o problema do subespaço invariante em espaços de Banach". Séminaire Maurey - Schwartz (1975--1976) Espaces L p , aplicações radonifiantes et géométrie des espaces de Banach, Exp. Nos. 14-15 . Centre Math., École Polytech., Palaiseau. p. 7. MR  0473871 .
  4. ^ O próprio Rådström publicou vários artigos sobre o quinto problema de Hilbert do ponto de vista dateoriados semigrupos . Rådström também foi o orientador (inicial) de Martin Ribe, que escreveu uma tese sobre espaços lineares métricos que não precisam ser localmente convexos; Ribe também usou algumas das idéias de Enflo sobre geometria métrica , especialmente "circularidade", na obtenção de resultados independentes em uniformes e embeddings Lipschitz (Benyamini e Lindenstrauss). Esta referência também descreve os resultados de Enflo e seus alunos em tais embeddings.
  5. ^ Teorema 15.4.1 em Matoušek.
  6. ^ Matoušek 370.
  7. ^ Matoušek 372.
  8. ^ Beauzamy 1985, página 298.
  9. ^ Pisier.
  10. ^ Schauder J (1927). "Zur Theorie stetiger Abbildungen in Funktionalraumen" (PDF) . Mathematische Zeitschrift . 26 : 47–65. doi : 10.1007 / BF01475440 . hdl : 10338.dmlcz / 104881 . S2CID  123042807 .
  11. ^ Schauder J (1928). "Eine Eigenschaft des Haarschen Orthogonalsystems". Mathematische Zeitschrift . 28 : 317–320. doi : 10.1007 / BF01181164 . S2CID  120228356 .
  12. ^ Mauldin
  13. ^ a b Joram Lindenstrauss e L. Tzafriri.
  14. ^ A "sensação" de Enflo é discutida na página 287 em Pietsch, Albrecht (2007). História dos espaços de Banach e operadores lineares . Boston, MA: Birkhäuser Boston, Inc. pp. Xxiv + 855 pp. ISBN 978-0-8176-4367-6. MR  2300779 . As introduções à solução da Enflo foram escritas por Halmos, por Johnson, por Kwapień, por Lindenstrauss e Tzafriri, por Nedevski e Trojanski e por Singer.
  15. ^ Kałuża, Saxe, Eggleton, Mauldin.
  16. ^ a b Beauzamy 1988; Yadav.
  17. ^ Yadav, página 292.
  18. ^ Por exemplo, Radjavi e Rosenthal (1982).
  19. ^ Heydar Radjavi & Peter Rosenthal (março de 1982). "O problema do subespaço invariável" . The Mathematical Intelligencer . 4 (1): 33–37. doi : 10.1007 / BF03022994 . S2CID 122811130 .  
  20. ^ Página 401 em Foiaş, Ciprian; Jung, Il Bong; Ko, Eungil; Pearcy, Carl (2005). "Em operadores quasinilpotentes. III". Journal of Operator Theory . 54 (2): 401–414.. O método de Enflo de ("para frente") "vetores mínimos" também é observado na revisão deste artigo de pesquisa por Gilles Cassier em Mathematical Reviews : MR 2186363 O método de Enflo de vetor mínimo é descrito em maiores detalhes em um artigo de pesquisa sobre o problema do subespaço invariante por Enflo e Victor Lomonosov , que aparece no Handbook of the Geometry of Banach Spaces (2001).
  21. ^ Schmidt, página 257.
  22. ^ Montgomery. Schmidt. Beauzamy e Enflo. Beauzamy, Bombieri, Enflo e Montgomery
  23. ^ Bombieri e Gubler
  24. ^ Knuth. Beauzamy, Enflo e Wang.
  25. ^ O modelo para a evolução da genética da população humana (desenvolvido por Enflo e seus co-autores) foi relatado na página de capa de um grande jornal sueco. Jensfelt, Annika (14 de janeiro de 2001). Svenska Dagbladet : 1. Ausente ou vazio |title=( ajuda )
  26. ^ Mellars, P. (2006). "Uma nova revolução do radiocarbono e a dispersão dos humanos modernos na Eurásia". Nature . 439 (7079): 931–935. Bibcode : 2006Natur.439..931M . doi : 10.1038 / nature04521 . PMID  16495989 . S2CID  4416359 .
  27. ^ Bancos, William E .; Francesco d'Errico; A. Townsend Peterson; Masa Kageyama; Adriana Sima; Maria-Fernanda Sánchez-Goñi (24 de dezembro de 2008). Harpending, Henry (ed.). “Extinção de Neandertal por Exclusão Competitiva” . PLOS ONE . Biblioteca Pública de Ciências. 3 (12): e3972. Bibcode : 2008PLoSO ... 3.3972B . doi : 10.1371 / journal.pone.0003972 . ISSN  1932-6203 . PMC  2600607 . PMID  19107186 .
  28. ^ Rincon, Paul (13 de setembro de 2006). "Neanderthals' 'refúgio última pedra ' " . BBC News . Página visitada em 2009-10-11 .
  29. ^ Finlayson, C., FG Pacheco, J. Rodriguez-Vidal, DA Fa, JMG Lopez, AS Perez, G. Finlayson, E. Allue, JB Preysler, I. Caceres, JS Carrion, YF Jalvo, CP Gleed-Owen, FJJ Espejo, P. Lopez, JAL Saez, JAR Cantal, AS Marco, FG Guzman, K. Brown, N. Fuentes, CA Valarino, A. Villalpando, CB Stringer, FM Ruiz e T. Sakamoto. 2006. Sobrevivência tardia de Neandertais no extremo sul da Europa. Publicação online avançada da Nature .
  30. ^ Gravina, B .; Mellars, P .; Ramsey, CB (2005). "Datação por radiocarbono de Neandertais interestratificados e ocupações humanas no início do período moderno no sítio-tipo Chatelperroniano". Nature . 438 (7064): 51–56. Bibcode : 2005Natur.438 ... 51G . doi : 10.1038 / nature04006 . PMID  16136079 . S2CID  4335868 .
  31. ^ Zilhão, João; Francesco d'Errico; Jean-Guillaume Bordes; Arnaud Lenoble; Jean-Pierre Texier; Jean-Philippe Rigaud (2006). "Análise da interstratificação Aurignaciana no sítio do tipo Châtelperroniano e implicações para a modernidade comportamental dos Neandertais" . PNAS . 103 (33): 12643–12648. Bibcode : 2006PNAS..10312643Z . doi : 10.1073 / pnas.0605128103 . PMC  1567932 . PMID  16894152 .
  32. ^ Página 665:
    • Pääbo, Svante et alia. "Análises genéticas de DNA antigo." Annu. Rev. Genet. 38, 645-679 (2004).
  33. ^ Jensfelt, Annika (14 de janeiro de 2001). Svenska Dagbladet : 1. Ausente ou vazio |title=( ajuda )
  34. ^ "'A teoria de Per Enflo é extremamente bem pensada e da mais alta significância' ... disse o antropólogo americano Milford Wolpoff , professor da Universidade de Michigan." (Página 14 em Jensfelt, Annika (14 de janeiro de 2001). "Ny brandfackla tänder debatten om manniskans ursprung (sueco)". Svenska Dagbladet : 14–15.)
  35. ^ Saxe
  36. ^ a b c * Série 2009-2010 do concerto de música de câmara do vale de Chagrin arquivado 2012-11-11 na máquina de Wayback .
  37. ^ Saxe.
  38. ^ Michael Kimmelman (8 de agosto de 1999). "Retorno do Prodígio" . The New York Times Magazine . Seção 6, p. 30

Bibliografia

Fontes externas

Bancos de dados