Um Jardim de integrais Cada um de ns tocado de alguma maneira ou de outra pelos problemas de comunicao matemtica.

. Cada um de ns pode fazer alguma contribuio, grande ou pequena, dentro de seu prprio campo de atividade. E cada contribuio necessria se a matemtica est a crescer de forma saudvel e til e maravilhosamente. 1. Os rearranjos

A Figura 1 (a) a (d) demonstram a ideia geral de reorganizar uma dada rea, para formar outra figura. No primeiro exemplo, temos um crculo reorganizados em um paralelogramo por um mtodo que foi conhecido h centenas de anos. A Figura 1 (e) representa uma manipulao diferente de rea chamada escamao onde, apesar de ampliao ou encolhimento a forma e proporo so perdidas.

1.2- The lune of Hippocrates A lua de Hipcrates.

Hipcrates (430 aC), um comerciante de Atenas, foi um dos primeiros a encontrar a rea de uma figura plana (Lua) delimitada por curvas (reas circular). A regio em forma de meia lua, cuja sua forma determinada mostrada na figura 2. Na figura, ABC e AFC so reas circulares com centros em E e D, respectivamente. Hipcrates mostrou que a rea da regio sombreada delimitada pelos arcos circulares ABC e AFC exatamente a rea do quadrado sombreada.

Cujo lado o raio do crculo. O argumento depende da suposio seguinte, ilustrada na figura 3: As reas dos dois crculos esto uns aos outros como os quadrados dos raios.

A partir deste pressuposto que chegamos a duas concluses; 1. Os setores de dois crculos com ngulos centrais iguais esto uns aos outros como os quadrados dos seus respectivos raios (figura 4)

2. Os segmentos de dois crculos com ngulos centrais iguais esto uns aos outros como os quadrados dos raios (figura 5).

Pelo argumento de Hipcrates, temos: (ver figura 6). Da nossa segunda concluso . por isso e

Area da lua =

area do tringulo=

rea do quadrado.

2.3. Eudoxos e o mtodo da exausto. Eudoxo (408-355 aC) foi o responsvel pela noo de aproximar regies curvas com as regies poligonais. Em outras palavras, a "verdade" para as regies poligonais significa "verdade" para regies curvas. Esta noo vai ser usado para mostrar que as reas dos crculos esto uns aos outros como os quadrados dos seus dimetros, um resultado bvio para polgonos regulares. "Verdade" de se basear no Axioma de Eudoxo . Axioma 1.3.1 (Axioma de Eudoxo). Duas grandezas desiguais sendo estabelecidos, se a partir da maior ser subtrada uma grandeza maior do que o sua metade, e do que deixada uma grandeza maior do que o sua metade, e se este processo for repetido continuamente, no ser deixada uma grandeza que ser menor do que grandeza menor estabelecida previamente. Na terminologia moderna, let M and se dado com , onde . Em seguida formar . O axioma nos diz

que para n suficientemente grande, digamos N, , como consequncia do conjunto de nmeros naturais no ser limitado superiormente. Para voltar ao que estamos tentando mostrar, deixe c, C ser crculos com reas a, A e dimetros d e D, respectivamente. Queremos mostrar que , dado que o resultado verdadeiro para os polgonos dado que pelo Axioma de Eudoxo tambm ser verdadeiro para os crculos.

Assumindo que . Ento teremos , logo e . Seja Inscrever polgonos regulares de area pn, em Pn crculos c, C e considere as reas . Agora, dobrar o nmero de lados. O que acontece com a relao entre

Certamente . Ns subtramos mais da metade do tempo a cada dobrada do nmero de lados. A partir do axioma de Eudoxo, podemos determinar N de modo que ; isto , temos um polgono regular inscrito de lados N, onde a rea .

Mas . Desde = rea do polgono inscrito no crculo c de rea A. Com um argumento similar mostramos que reduo ao absurdo. 2.4. Mtodo de Arquimedes

. Isto no pode ser: Pn a

no pode ser inferior a

por dupla

A obra seguinte do raciocnio matemtico devido a um dos maiores intelectuais de todos os tempos, Arquimedes de Siracusa (287 212 aC). Arquimedes mostra que a rea do segmento parablico 4/3 da do tringulo inscrito ABC. Veja figura 10.

Em nossa discusso, vamos usar o smbolo para denotar "rea de", com. O argumentoprocede como se segue. Na Figura 11, a rea combinada de tringulos ADC e BEC um-quarto da rea do tringulo ACB, isto ,

Repetindo o processo, tentando "exaurir" a rea entre a curva parablica e os tringulos inscritos, temos a area do segmento parablico

Ns argumentamos que

para a parbola

ver figura 12.

Mostram que a linha tangente em C paralela AB e que a linha vertical que passa C bissetriz AB em P. Daqui resulta que paralelogramo ver figura 12). ( completar o

Notamos que 1. 2. Assim, devemos mostrar que (Altura igual a base),

Conseguiremos mostrando que

. Desde

Por onde conclumos. Mostram que a rea do segmento parablico 2/3 da rea do tringulo circunscrito ADB formado pelas linhas tangentes parbola em A e B com a base 2.5. Gottfried Leibniz e Isaac Newton Durante os sculos XVII e XVIII, a integral foi pensada em um sentido descritivo, como uma antiderivao, por causa do belo Teorema fundamental do clculo (FTC), desenvolvido por Leibniz (1646-1716) e Newton (1642-1723). Uma funo especial f em [a, b] foi integrado por encontrar uma antiderivada F, para que , ou por encontrar uma expanso da srie de potncia e usando a FTC para integrar termo a termo. A integral de Leibniz-Newton de f foi ; tal que,

Vamos dar um argumento de Leibniz e resultado de Newton para ilustrar seus gniosidade. 1.5.1 Argumento de Leibniz Leibniz argumentou que

Pegue um quarto de crculo , cuja a rea . Leibniz determinou a superfcie do setor circular na (figura 15) dividindo-a em OAB tringulos infinitesimal (onde A e B so dois pontos prximos no crculo) e somando as reas infinitas reas do tringulos. Assim como para estimar a area do semelhana de tringulos, Observe que ? Construir a tangente do crculo em . Por , ento .

A, com uma perpendicular em C que passa pela origem. O

1.5.2 Resultado de Newton.

2.6. Augustin-Louis Cauchy Cauchy (1789 - 1857) considerado o fundador da teoria da integrao. Em 1823Cauchy formulou uma definio construtiva de uma integral. Dada uma funo f em geral em um intervalo [a, b], em subintervalos , com , para formar a soma

A integral de Cauchy era para ser o limite de somas tais como o comprimento do maior subintervalo, , fosse tendendo a zero:

Cauchy argumentou que para funes contnuas este limite sempre existe. Quanto a um processo avaliativo, recuperando uma funo de suas derivadas (um resultado fundamental), temos:

Para qualquer funo F com uma derivada contnua. Por exemplo, vamos

Ento

continua no intervalo [0,1]. Consequentemente,

Aparentemente, um nmero finito de "saltos" pontos de descontinuidades no causariam dificuldades. Como sobre um nmero contvel, ou mesmo um conjunto denso, os saltos ou descontinuidades trariam problemas? Assim como se a funo descontnua pode ser uma funo e ainda ter uma integral? 2.7. Bernhard Riemann Riemann (1826 - 1866), tendo investigado srie de Fourier, problemas de convergncia, e funes Dirichlet tipo (1 sobre os racionais, e 0 sobre os irracionais, por exemplo), foi motivado a desenvolver uma outra definio construtiva de um integrante(1854). Comeando com uma funo f limitada no intervalo [a, b], nossa partio ( la Cauchy) em subintervalos , onde . Em seguida, "etiquetando" subintervalo cada um com um ponto arbitrrio , onde e formando a seguinte soma

Considerando que a etiqueta era o ponto final do lado esquerdo na definio de Cauchy, na definio de Riemann temos mais variabilidade. Novamente, como o comprimento das abordagens maiores subintervalo zero, o limite produz a integrao Riemannl:

Em 1902 Lebesgue mostraram que para as funes limitadas, a continuidade necessrio e suficiente para a existncia do integral de Riemann (Com a possvel exceo de um conjunto de medida 0). Por exemplo, a funo

contnua sobre as irracionais, descontnuo sobre os racionais, e, assim, Riemann integrvel. na verdade, , Riemann construda tambm uma funo com um conjunto denso de descontinuidades que foi Riemann integrvel. Cada funo integrvel Cauchy Riemann integrvel ainda tem o mesmo valor. Temos um teorema mais geral para o Teorema Fundamental do Clculo para a recuperao de uma funo a partir de sua derivada. Theorem 1.7.1 (General FTC for Riemann Integrability). A integral

Para qualquer funo com uma derivada que limitada e contnua em quase toda parte.Por exemplo,

Tem como derivada

Com exeo do ponto de descontinuidade e

. Assim a integral de Riemann de F existe

Em 1881 Vito Volterra deu um exemplo de uma funo diferencivel com um derivada limitada que era descontnua de um conjunto de medida positiva e, portanto, no Riemann integrvel. Novamente, a funo , modificadas em um conjunto de Cantor de medida positiva, suficiente. Este exemplo solicitado Lebesgue para desenvolver um integrante para remediar este defeito. Acontece que

Para uma funo F diferencivel com uma derivada delimitada. Falaremos mais sobre isso mais tarde. 2.8. Thomas Stieltjes 3. Stieltjes (1856-1894) estava interessado em modelar matematicamente distribuies de massa na reta real. Suponha-se que tm massas de ponto distribudos como indicado na figura 19. Se denota a massa total inferior a ou igual a X, ento o grfico deaparece como Shoen na Figura 20. Em geral, uma funo no decrescente .

Considere agora o momento de uma tal, massa de distribuio. A "massa" de com brao , para . Isto no leva a soma da forma

Mais geralmente, Stieltjes foi levado a considerar somas - Riemann somas Stieltjes - como . Temos uma soma "ponderada". O valor da funo em ponderado por . A mdia seria: o valor da funo em , ponderada por

Para f bom e . Quais as condies que podemos impor a f para fazer essas manipulaes legtimas? Heurstica sugeriu

A integral de Riemann faz sentido para as funes que so limitadas e contnuas em quase toda parte. Ento, f contnua e Riemann integrvel deve funcionar - e ele faz: ver teorema 4.3.1 .No temos nada de novo aqui? formalmente,

Ns podemos mostrar esse limite faz sentido para f contnua e montona (Teorema 4.4.1). Claro que, funes de variao limitada, diferenas de duas funes montonas, de modo que verdade para uma funo de variao limitada. Outra pergunta: sera que a srie converge? Esta uma aplicao divertida da Frmula Soma Euler (Seo 4.5). A integral de RiemannStieltjes muito conveniente para funes em escada. By the way, avaliar por partes (para ), o resultado da soma, e note que diferentes formas para um nmero finito de pontos. Tente para um resultado Stirling. 3.3. Henri Lebesgue Por onde comear? A integral de Lebesgue afetou muitas reas da matemtica durante o sculo passado. Vamos comear como Henri Lebesgue (18751941) fez, com o exemplo de Volterra de uma funo com uma derivada limitada que no era Riemann integrvel (ver seco 3.12), pois foi este exemplo que solicitado por Lebesgue para desenvolver um integrante (1902) que poderia recuperar qualquer funo atravs de sua derivada limitada. Isto , deve ser verdadeiro sempre que a derivada de F ' fosse delimitada. Construo integral de Lebesgue era fundamentalmente diferente de seus antecessores. Sua simples, mas brilhante, ideia era a partio do intervalo da funo em vez de o seu domnio. Assumindo no intervalo . Os conjuntos . Em lugar de , teremos

So disjuntos para a unio. Desconsiderando os conjuntos vazios (relabeling se necessrio), escolher uma etiqueta (ponto) em cada conjunto no vazio, e formar a soma (motivado por reas de retngulos como os tempos de altura o comprimento da base) da seguinte forma (ver figura 21))

Length=comprimento e .

O que queremos dizer com o "tamanho" de ? Particionando o intervalo obriganos a atribuir um comprimento, ou medida, ao conjunto possivelmente incomum . Por exemplo, suponha que estamos lidando com a funo de Dirichlet no intervalo (atribuir um valor funcional de 1 sempre que x irracional e um valor de -1 sempre que x racional). A diviso do intervalo, digamos , iria obrigar-nos a atribuir um comprimento para os conjuntos de racional, nmeros no intervalo , e irracional , deve ,a , . Ambos os conjuntos, sendo os subconjuntos de

ter comprimento inferior ou igual a 1. Uma vez que a sua unio o intervalo soma dos seus comprimentos deve ser 1. Vamos ver, poderamos enumerar os racionais, e cobrir cada racional com um

intervalo , que abrange todos os racionais com um conjunto aberto de comprimento inferior a . Bom; os racionais tero comprimento 0, os irracionais tero comprimento 1. Acontece que esta funo de Dirichlet Lebesgue integrvel (no Riemann integrvel) e

O que deveria "comprimento" de os nmeros em ser sem um 5 na sua expanso decimal ? Como sobre o conjunto de Cantor? Removendo intervalos sugere que o conjunto de Cantor, embora incontvel, tem medida 0. A teoria da "medida" deve ser desenvolvida de maneira lgico e coerente. Esta integral deLebesgue, se para ter algum poder, sugere que deveramos ser capazes de medir a maioria dos conjuntos de nmeros reais. Atravs dos esforos da Jordnia, Borel,Lebesgue, e Caratheodory, para citar alguns, uma no negativa enumervel medida aditiva foi desenvolvida - a medida de Lebesgue - que as medidas, em particular, todos os conjuntos de Borel nmeros reais (unio contvel de cruzamentos contbeis de ... conjuntos abertos). Em suma, conjuntos no enumerveis so difceis de construir, assim definir sem o "comprimento", isso raramente ocorre. Ento, ns queremos fosse um conjunto enumervel. Queremos imagens inversas de intervalos para ser enumervel. Por conseguinte, definir uma funo enumervel para ser uma funo para a qual imagens inversas de intervalos so enumerveis. Mais uma vez, a "maioria" funes so enumerveis, e porque o limite de uma sequncia de funes enumerveis so enumerveis, segue alguns teoremas de convergncia bonitas. Por exemplo, enumerar o racionais no intervalo , e definir uma sequncia de enumerveis e funes Riemann integrveis , ,e caso contrrio. Essa seqncia no negativo, montona crescente, uniformemente limitada para uma; uma funo Dirichlet, e, assim, no Riemann integrvel: claramente ,e no est definido, mas:

Finalmente, em resposta a volterra todas as funes com uma derivada limitada so Lebesgue integrvel e . (veja teorema 6.4.2) 3.4. A integral de Lebesgue-Stieltjes A construo de medida de Lebesgue comea com a atribuio de uma medida para um intervalo de tempo, nomeadamente o seu comprimento: a medida de (a, b] b-a. Assim como na integral de Riemann-Stieltjes, onde ponderados o intervalo por , uma abordagem particularmente proveitosa para a construo da LebesgueStieltjes medida de atribuir uma medida a no intervalo onde negativa, montona crescente, contnua pela direita sobre o conjunto dos Reais, com no

Acontece que, assim como com medida de Lebesgue comum, que uma funo no negativa,enumervel medida aditiva, gerada nos conjuntos de Borel dos nmeros reais. A partir desta chamada medida de Lebesgue-Stieltjes, passamos a funes enumerveis eLebesgue-Stieltjes integrais . Por exemplo, se

E, se f a funo de Dirichlet, o que

? Seria til se

Quando isso acontece, a integral de Lebesgue-Stieltjes crucial na probabilidade. 3.5. Ralph Henstock e Jaroslav Kurzweil Trabalhando independentemente, Henstock(1923 -) e Kurzweil (1926 -) descobriu a integral de Riemann generalizada em 1961 e 1957, respectivamente, a sua descoberta, que referida como a integral de Hong Kong, uma extenso da integral de Lebesgue.. Todas as funes Lebesgue integrveis so HK integrveis temos H-K funes integrveis que no so integravel a Lebesgue. Se uma funo Lebesgue integrvel ento seu valor absoluto deve ser integral de Lebesgue. Considere a funo

E tem derivada

A integral de Lebesgue de Considerando o intervalo

no existe. :

Acontece que cada derivada integrvel H-K. Assim neste exemplo H-K . (Pense sobre o grfico de F)

Isto resulta integrais muito poderosas por uma simples modificao de construo a integral de Riemann. Em vez repartir o intervalo em uma coleo de subintervalos de comprimento bastante uniforme, e depois selecionar um etiqueta ou (ponto) de cada subintervalo no qual se avalia a funo, seremos guiados pelo comportamento da funo na atribuio de um subintervalo. Se a funo oscila, ou comporta-se desagradavelmente sobre um ponto c, podemos associar um subintervalo pequeno com c. Se a funo mais comportada, podemos associar um subintervalo maior. Com a integral de Riemann, para obter aproximaes por somas exatas da forma , que exigia que os comprimentos mximos desse intervalos, , a menos de alguma constante . Com a integral H-K, no entanto que regula comprimentos de subintervalos ser uma funo. O subintervalo com uma ponto c deve-se satisfazer por uma funo positiva de modo que . As somas HK exibem a mesma aparncia que as somas comuns a Riemann , mas com a H-K integral somas mas com a H-K integral uma funo positiva em , onde Exemplo 1.11.1: Para um exemplo, vamos comear com a funo integrvel Lebesgue Dirichlet no intervalo tal que 1 para os racionais e 0 nos irracionais. . A partio de ser determinada , com a exig~encia de que

, .

Considere qualquer soma de Riemann . No haver contribuio para esta soma a menos que o ponto um nmero racional. Queremos que qualquer intervalo associado com tal ponto a ser "pequeno". Enumerar os racionais em : Definamos uma funo positiva em por

Ento, qualquer soma de Riemann no negative e

Queremos convergncia aqui. Redefindo ento:

Ento podemos concluir

Temos encoberto duas dificuldades. Primeiro, apenas porque temos uma funo positiva no intervalo , como que sabemos que h uma partio tal que ? (Isto foi resolvido pelo primo em 1885.) Em segundo lugar, para usar isso efetivamente integral, precisamos ser capazes de construir adequadas funes positivas para uma particular funo f, da vaga idia de que o comportamento errtico da funo em um ponto geralmente requer subintervalos pequenos sobre esse ponto.

Mas, no final, so recompensados generosamente: temos melhores teoremas fundamentais ", melhores teoremas de convergncia, e assim por diante, que temos com a integral de Lebesgue. Considerando que a integral de Lebesgue foi o integrante do sculo XX, a integral de H-K pode levar a novos desenvolvimentos no sculo XXI. Na verdade, P.Muldowney (1987) trata dois dos integrais ns discutiremos mais tarde - o integrante wiener e o integrante Feynman - como casos especiais da integral H-K sobre espaos de funes. Por outro lado, o integral de Lebesgue particularmente adequado para espaos..Lembre-se resultado L.Carleson de que a srie de Fourier de uma funo converge em quase toda parte. .