Joseph Liouville (Saint-Omer, Pas-de-Calais, — Paris, ) foi um matemático francês.

Carreira Frequentou a École Polytechnique (Escola Politécnica) de 1825 a 1827. Em seguida, começou a frequentar a École Nationale des Ponts et Chaussées, mas não chegou a se licenciar por razões de saúde e por estar mais interessado em seguir uma carreira académica do que uma de engenheiro. Doutorou-se em matemática em 1836 pela Faculdade de Ciências de Paris.

Foi assistente na École Centrale de Paris de 1831 a 1833 e professor de 1833 a 1838, ano em que foi nomeado professor da Escola Politécnica. Em 1850 foi nomeado professor no Collège de France e, em 1857, professor de mecânica clássica na Faculdade de Ciências de Paris. Em 1870 foi eleito presidente da Académie des Sciences, da qual era membro desde 1839 e vice-presidente desde 1869.

Liouville fundou o Journal de Mathématiques Pures et Appliquées (que, por isso, é também conhecido por Journal de Liouville), onde fez publicar, em 1846, os trabalhos de Galois, de cuja importância foi o primeiro a aperceber-se.

Embora tenha trabalhado em todas as áreas da matemática pura e aplicada, é sobretudo conhecido por: o teorema de Liouville (que, ironicamente, é da autoria de Cauchy); ter sido o autor da primeira demonstração da existência de números transcendentes; ter sido a primeira pessoa a demonstrar que certas funções não têm primitivas elementares (exp(x2), por exemplo); ter divulgado os trabalhos de Galois.

Está sepultado no Cemitério do Montparnasse.Jesper Lützen. Joseph Liouville (1809–1882): Master of pure and applied mathematics. Página 259.

Contribuições

Análise, álgebra e teoria dos números thumb|right|Página de rosto do primeiro volume do Journal de Mathématiques Pures et Appliquées em 1836. Em uma série de artigos em 1833, Liouville estabeleceu a existência de integrais não elementares e um critério para integração em termos finitos, isto é, em termos de funções elementares.

Em 1838, Liouville publicou um método para estabelecer a existência de soluções para equações diferenciais ordinárias de segunda ordem envolvendo aproximações sucessivas, posteriormente associado ao nome de Émile Picard, que apresentou uma abordagem mais geral no início da década de 1890.

Em álgebra, Liouville foi um dos primeiros a reconhecer a importância das contribuições do falecido Évariste Galois, cujo trabalho lhe foi encaminhado por Auguste Chevalier, amigo de Galois. Liouville editou e publicou a obra de Galois em seu próprio periódico em 1846, após o que a Teoria de Galois atraiu a atenção de muitos matemáticos, entre eles Paolo Ruffini, Joseph-Alfred Serret e Augustin-Louis Cauchy.

As pesquisas sobre soluções de equações algébricas estimularam o interesse em números irracionais algébricos e transcendentes. Em 1844, Liouville foi o primeiro a provar a existência de números transcendentes. Fez isso demonstrando alguns resultados sobre a aproximação de irracionais algébricos por números racionais e estabelecendo uma desigualdade que serviu como critério de transcendência. Em seguida, forneceu um exemplo explícito. Demonstrou que qualquer número da forma

em que os são inteiros de 0 a 9, é transcendente.

A função de Liouville, um conceito importante na teoria dos números, recebeu seu nome em sua homenagem.

Em seu trabalho sobre integrais elípticas, Liouville fundamentou todo o assunto nas propriedades gerais das funções duplamente periódicas e demonstrou a transcendência das funções abelianas. Foi nesse contexto que ele descobriu o teorema de Liouville em análise complexa: funções inteiras limitadas são constantes. Um resultado análogo é o teorema de Liouville para funções harmônicas, ou soluções da equação de Laplace, que afirma que funções harmônicas limitadas no espaço euclidiano são constantes. Edward Nelson apresentou uma demonstração curta em 1961, explorando a propriedade do valor médio das funções harmônicas.

Física matemática Desde meados do século XVIII, matemáticos e físicos estudavam diversas equações diferenciais parciais com valores de contorno, utilizando a separação de variáveis para reduzi-las a sistemas de equações diferenciais ordinárias, as quais carregavam seus próprios parâmetros. As soluções encontradas para valores específicos desses parâmetros, denominados autovalores, eram conhecidas como autofunções. A separação de variáveis em diferentes sistemas de coordenadas levou a novas funções especiais, como as funções de Bessel e os polinômios de Legendre, como autofunções de equações diferenciais ordinárias. Liouville e seu amigo Jacques Charles François Sturm buscaram tratar o problema geral para qualquer equação diferencial linear de segunda ordem. Em uma série de artigos publicados na década de 1830, os dois estabeleceram a Teoria de Sturm-Liouville. Atualmente, ela constitui um procedimento padrão para resolver certos tipos de equações integrais. O trabalho de ambos foi inspirado pela análise da difusão de calor em um cilindro realizada por Jean-Baptiste Joseph Fourier. Em sua formulação original, a teoria de Sturm-Liouville não era totalmente rigorosa, pois não tratava adequadamente a completude do conjunto de autofunções (ou conjunto de base ortogonal) nem a convergência da solução em relação à expansão em termos das autofunções.

Independentemente de Niels Henrik Abel, Liouville estudou equações integrais especiais e empregou um método de substituições sucessivas, antecipando Carl Neumann por algumas décadas. Contudo, suas contribuições nesse domínio foram posteriormente absorvidas pelo trabalho de Vito Volterra, pioneiro da teoria geral das equações integrais.

Em 1837, Liouville buscou soluções aproximadas para equações diferenciais lineares de segunda ordem com coeficientes espacialmente variáveis e obteve, em linguagem moderna, uma série assintótica. George Green descobriu independentemente essa técnica no mesmo ano, em um artigo sobre ondas em um canal. O método de Liouville-Green foi redescoberto em 1923 por Harold Jeffreys, e novamente em 1926 por Gregor Wentzel, Hans Kramers e Léon Brillouin, que estudavam a Equação de Schrödinger da mecânica quântica. thumb|Animação ilustrando o teorema de Liouville para o movimento harmônico simples. A área do retrato do espaço de fase é constante. Liouville provou, em um artigo de 1838 sobre equações diferenciais, que o volume do espaço de fase de um sistema mecânico conservativo é constante, resultado hoje conhecido como teorema de Liouville na mecânica hamiltoniana. Seguindo Josiah Willard Gibbs, o teorema de Liouville é reconhecido como um resultado fundamental da mecânica estatística. Em um contexto relacionado, Liouville introduziu a noção de coordenadas ação-ângulo como descrição de sistemas completamente integráveis. A formulação moderna disso é às vezes chamada de teorema de Liouville-Arnold, e o conceito subjacente de integrabilidade é referido como integrabilidade de Liouville.

Em seu estudo de eletrodinâmica, Liouville desenvolveu a Integral de Riemann-Liouville para considerar diferenciação e integração de ordem fracionária.

Ele também estudou as formas de massas de fluido em rotação em equilíbrio e a teoria do potencial.

Seus manuscritos não publicados indicaram que ele já conhecia o Método de Rayleigh-Ritz para aproximação dos autovalores de um problema de valor de contorno já em 1845, décadas antes de William Strutt (Lord Rayleigh) introduzi-lo em sua obra Theory of Sound (1877).

Bibliografia

Ligações externas

Categoria:Membros da Academia de Ciências da França Categoria:Membros da Academia Real das Ciências da Suécia Categoria:Membros estrangeiros da Royal Society Categoria:Membros da Academia de Ciências de Göttingen Categoria:Membros da Academia de Ciências da Prússia Categoria:Membros da Academia de Ciências da Rússia Categoria:Membros da Academia de Artes e Ciências dos Estados Unidos Categoria:Professores do Collège de France Categoria:Analistas matemáticos Categoria:Matemáticos da França Categoria:Alunos da École Polytechnique