Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-03-20T15:49:26Z No. of bitstreams: 2 Dissertação - Lucas Gabriel Ferreira da Cunha - 2017.pdf: 1607355 bytes, checksum: 485729a91d466d80865e9d841a306018 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-03-20T15:49:42Z (GMT) No. of bitstreams: 2 Dissertação - Lucas Gabriel Ferreira da Cunha - 2017.pdf: 1607355 bytes, checksum: 485729a91d466d80865e9d841a306018 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-03-20T15:49:42Z (GMT). No. of bitstreams: 2 Dissertação - Lucas Gabriel Ferreira da Cunha - 2017.pdf: 1607355 bytes, checksum: 485729a91d466d80865e9d841a306018 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-03 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work we will present and demonstrate the Diaz & Saá’s Inequality thus like the tools used in their demonstration and we will apply the results obtained in semilinear elliptic problems with limited and not limited domains. We will present necessary and sufficient conditions to show the existence and uniqueness of solution for the following −Δp u = f (x, u) problem type in a limited domain. Moreover, we will also obtain regularity of solution to this problem. Next we will show results relative to the first eigenvalue of a (p, q) − Laplacian system type in R^N . / Neste trabalho apresentaremos e demonstraremos a desigualdade de Díaz & Saá assim como as ferramentas utilizadas em sua demonstração e aplicaremos os resultados obtidos em problemas elípticos semilineares com domínios limitados e não limitados. Exibiremos condições necessárias e suficientes para mostrarmos a existência e a unicidade de solução para um problema do tipo −Δp u = f (x, u) em um domínio limitado, obteremos também a regularidade da solução para esse problema. Em seguida mostraremos resultados relativos ao primeiro autovalor de um sistema do tipo (p, q) − Laplaciano em R^N .

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-05-18T20:33:53Z No. of bitstreams: 1 alejandrorossiniespinozapenadillo.pdf: 619028 bytes, checksum: 49e9b09f640d339c02aedbdf674716d7 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-19T14:41:11Z (GMT) No. of bitstreams: 1 alejandrorossiniespinozapenadillo.pdf: 619028 bytes, checksum: 49e9b09f640d339c02aedbdf674716d7 (MD5) / Made available in DSpace on 2017-05-19T14:41:11Z (GMT). No. of bitstreams: 1 alejandrorossiniespinozapenadillo.pdf: 619028 bytes, checksum: 49e9b09f640d339c02aedbdf674716d7 (MD5) Previous issue date: 2017-03-06 / Neste trabalho estudamos alguns resultados da teoria de escalas temporais, as quais são subconjuntos fechados não vazios dos números reais. As escalas temporais são ferramentas eficazes para descrever modelos que envolvem evolução de tempo, onde R e Z são considerados casos particulares, chamados tempo contínuo e tempo discreto, respectivamente. A teoria e aplicações da derivação (delta, nabla e α-diamante) e a integração no sentido de Riemann em escalas temporais tem recebido recentemente uma atenção considerável. O objetivo principal deste trabalho é estudar as funções convexas em escalas temporais e apresentar algumas propriedades como: a convexidade de uma função é uma condição necessária e suficiente para sua subdiferenciabilidade. A subdiferencial de uma função ƒ é dada como um conjunto de certas funções estendidas. Utilizando a convexidade de uma função demonstramos uma versão generalizada da desigualdade de Jensen em escalas temporais através da integral delta. Além disso, apresentamos alguns corolários e uma aplicação em cálculo variacional. / In this work we study some results of the theory of time scales, which are closed nonempty subsets of the real numbers. The time scales represent a powerful tool to describe models which involve evolution of time, where R and Z are considered special cases, called continuous and discrete time respectively. The theory and applications of the derivation (delta, nabla and α-diamond) and the Riemann’s integration in time scales have recently received considerable attention. The main objective of this work is to study convex functions on time scales and to present some properties such as: the convexity of a function is a necessary and sufficient condition for its sub-differentiability. The subdifferential of a function ƒ is given as a set of certain extended functions. Using the convexity of a function we prove a generalized version of Jensen’s inequality on time scales via the delta integral. In addition, we present some corollaries and an application in variational calculus.

Submitted by Marise Freitas (mrfreitas31@gmail.com) on 2011-06-07T16:16:15Z No. of bitstreams: 1 Dissertação_Marise Freitas_Final.pdf: 411369 bytes, checksum: 6a64c36bb229e03a8dd99d4a3f2b1bf4 (MD5) / Approved for entry into archive by Vitor Souza(vitor.souza@fgv.br) on 2011-06-07T17:14:57Z (GMT) No. of bitstreams: 1 Dissertação_Marise Freitas_Final.pdf: 411369 bytes, checksum: 6a64c36bb229e03a8dd99d4a3f2b1bf4 (MD5) / Made available in DSpace on 2011-08-03T19:00:48Z (GMT). No. of bitstreams: 1 Dissertação_Marise Freitas_Final.pdf: 411369 bytes, checksum: 6a64c36bb229e03a8dd99d4a3f2b1bf4 (MD5) Previous issue date: 2011-05-10 / O termo imunização significa construir uma carteira de títulos de forma a torná-la imune a variações nas taxas de juros. O presente trabalho tem o intuito de avaliar a eficácia das diferentes estratégias de imunização de um portfólio e avaliar seus impactos sobre a rentabilidade dos mesmos. O trabalho aborda medidas de Duração, Convexidade e Dispersão, além de medidas do VaR (value-at-risk) e o CVaR (conditional value-at-risk). O objetivo é analisar de que forma essas medidas de risco podem ser usadas como parâmetros indicadores da carteira ótima e como elas se relacionam entre si. Além disto, este trabalho inova ao introduzir uma análise sobre o risco idiossincrático a que uma carteira pode ficar exposta ao tentar mitigar o risco de imunização. Para avaliar o desempenho das diferentes estratégias de imunização e a existência de um trade off entre risco idiossincrático e risco de imunização foram realizados estudos empíricos de otimização de carteiras com títulos prefixados da dívida interna brasileira no período de 2006 a 2010.

Submitted by RODRIGO FERREIRA DE MORAIS null (morais_rf@yahoo.com.br) on 2018-02-02T20:42:19Z No. of bitstreams: 1 Tese-Final-Correção.pdf: 2669730 bytes, checksum: 576a54e50568133796232621abf36675 (MD5) / Rejected by Ana Paula Santulo Custódio de Medeiros null (asantulo@rc.unesp.br), reason: - Fatla a capa. - Falta a ficha catalográfica, que deve ser solicitada pela home-page da biblioteca. - Verificar a folha de aprovação que não consta a data de defesa e a informação de aprovado. on 2018-02-05T10:18:25Z (GMT) / Submitted by RODRIGO FERREIRA DE MORAIS null (morais_rf@yahoo.com.br) on 2018-03-12T00:50:14Z No. of bitstreams: 1 Tese-Final-Correção.pdf: 2870079 bytes, checksum: 5202fec250145dfa46a6eaec7b5e486b (MD5) / Approved for entry into archive by Ana Paula Santulo Custódio de Medeiros null (asantulo@rc.unesp.br) on 2018-03-12T12:06:27Z (GMT) No. of bitstreams: 1 morais_rf_dr_rcla.pdf: 2562833 bytes, checksum: f79e474e4fef9378e024df78cf771f9e (MD5) / Made available in DSpace on 2018-03-12T12:06:27Z (GMT). No. of bitstreams: 1 morais_rf_dr_rcla.pdf: 2562833 bytes, checksum: f79e474e4fef9378e024df78cf771f9e (MD5) Previous issue date: 2016-01-08 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Nas florestas tropicais os complexos fatores ambientais responsáveis pelos padrões de distribuição espacial da vegetação são de grande interesse de pesquisas em ecologia vegetal. O objetivo principal desta tese foi estudar a estrutura e a composição florística da comunidade arbórea da Floresta Pluvial Atlântica (Floresta Ombrófila Densa Montana) em um gradiente de altitude, e as possíveis correlações com fatores topográficos e edáficos no Parque Estadual da Serra do Mar, Núcleos de Picinguaba, Santa Virgínia e Cunha, no sudeste do Brasil. Para tanto, esta tese foi dividida em três capítulos. No primeiro analisamos as variações na estrutura, composição e a riqueza em escala local e as relações com as variáveis topográficas e edáficas. No segundo verificamos a similaridade florística, e variações na riqueza e estrutura da comunidade arbórea entre as altitudes de 600 e 1.100 m, e verificamos as relações dos padrões florísticos e de riqueza com os fatores topográficos e edáficos. Por fim, no terceiro capítulo analisamos as variações na estrutura, composição e riqueza de espécies da comunidade arbórea relacionadas as condições edáficas, e a contribuição na diversidade beta no gradiente de altitude (600, 800, 1.000 e 1.100 m). Em cada altitude foram implantadas 4 parcelas de 50 x 50 m, subdividas em 10 x 10 m. Realizamos os levantamentos florísco-fitossociológicos aos 600 e 1.100 m de altitude, e as medições das variáveis topográficas e amostragem do solo aos 600, 1.000 e 1.100 m. Compilamos os dados dos levantamentos aos 800 e 1.000 m de altitude, e para as variáveis edáficas e topográficas da cota de 800 m. Foram amostrados os indivíduos com PAP ≥ 15 cm. Os resultados indicam que as variáveis edáficas e topográficas não influenciaram nos parâmetros estruturais da comunidade arbórea, no entanto, estiveram relacionadas com a distribuição das espécies e riqueza local. Os efeitos do solo e da topografia na distribuição das espécies e na riqueza divergem parcialmente em diferentes altitudes (600 e 1.100), sendo estas divergências atribuídas às diferentes condições topográficas das florestas, nas quais os efeitos da topografia na comunidade arbórea e nas condições edáficas são mais pronunciados em ambientes com amplitudes de maior inclinação. As características florísticas e estruturais da floresta aos 1.100 m, indicam uma região de transição entre a Floresta Ombrófila Densa Montana e Altomontana. No gradiente de altitude verificamos diferenças na composição florística e alta substituição de espécies, sendo que as florestas de altitude mais elevadas (1.000 e 1.100 m) mais contribuem para diversidade beta. Diferenças na riqueza ao longo do gradiente não foram relacionadas com as variáveis edáficas, sendo as menores riquezas encontradas nos extremos do gradiente, já as diferenças na composição florísticas estiveram relacionadas às condições edáficas do gradiente de altitude. / In tropical forests, the complex environmental factors responsible for the spatial distribution patterns of vegetation are of great interest for research in plant ecology. The main objective of this research was to analyze the structure and floristic composition of the tree community of the Atlantic Rain Forest (Montana Rain Forest) in a gradient of altitude, and possible correlations with topographic and soil factors in the Atlantic Rain Forest in the State Park Serra do Mar, Núclo of Picinguaba, Santa Virgínia and Cunha, in Southeastern Brazil. To this purpose, we divided this research into three chapters. At first we examined the changes in the structure, composition and richness at the local level and relations with topographic and edaphic variables. In the second, we evaluated the floristic similarity and variations in richness and structure of the tree community between the altitudes of 600 and 1.100 m, and verify the relations of floristic patterns and richness with topographic and edaphic factors. Finally, in the third chapter we examined the changes in the structure, composition and species richness of tree community related to soil conditions, and the contribution in the beta diversity in altitude gradient (600, 800, 1.000 and 1.100 m). At each altitude, we implanted four plots of 50 x 50 m, subdivided into 10 x 10 m. We conducted flora-Phytosociological surveys at the 600 and 1.100 m a.s.l, took measurements of the environmental variables and soil sampling of the 600, 1.000 and 1.100 m. We compiled data from surveys at 800 and 1.000 m a.s.l, and the soil and topographic variables quota of 800 m. Individuals with PBH ≥ 15 cm were sampled. The results indicate that soil and topographic variables did not influence the structural parameters of the tree community, however, they were related to the distribution of species and the local richness. The effects of soil and topography in species distribution and richness partially diverge at different altitudes (600 and 1.100), and these differences attributed to the different topographical conditions of the forests, where the effects of topography on the tree community and the soil conditions are more pronounced in environments with greater inclination amplitudes. The floristic and structural characteristics of the forest at 1.100 m, indicate a transition region between the Atlantic Rain Forest and Upper Montane and Montana. In the elevation gradient, we found differences in the floristic composition and high turnover of species, and the forests at greater altitudes (1.000 to 1.100 m) contributed more to beta diversity. Differences in richness over gradient were not related to the edaphic variables, and the lowest richness found in the extremes of the gradient. In the other hand, the differences in floristic composition were related to soil conditions of altitude gradient.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2018-10-30T11:09:54Z No. of bitstreams: 2 Dissertação - Braully Rocha da Silva - 2018.pdf: 1396149 bytes, checksum: 9a9145cb07e037a784d2d15d43cbd1ff (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-10-30T11:20:36Z (GMT) No. of bitstreams: 2 Dissertação - Braully Rocha da Silva - 2018.pdf: 1396149 bytes, checksum: 9a9145cb07e037a784d2d15d43cbd1ff (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-10-30T11:20:36Z (GMT). No. of bitstreams: 2 Dissertação - Braully Rocha da Silva - 2018.pdf: 1396149 bytes, checksum: 9a9145cb07e037a784d2d15d43cbd1ff (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-09-24 / Outro / In this work we present results and implementantions for hull and Carathéodory numbers in P3 convexity. We obtain results for graphs of diameter 2 having cut-vertex for both problems. Finally, entering more complex cases, we were able to determine a logarithmic limit, means of algorithm, for the hull number in case of graph diameter 2 and 2-connected. Exploring more restrictive cases, we determined a constant limit for some subclasses of graphs of diameter 2. We made also implementations and algorithms for these parameters. Implementations algorithms heuristic, parallel, and brute force. Finally, although not directly related, we developed an algorithm for Moore's graphs generation, which may be one of the ways to find Moore missinge graph, if it exists, a question that remains unknown for 55 years. And finally, we conclude with some conjectures interesting, for limits to the hull and Carathéodory numbers, in other classes of graphs, that were not explored in this work, but was identified by the implementations, and can be better explored in future works. / Nesta dissertação, tratamos de limites para o número envoltório e o número de Carathéodory na Convexidade P3. Aferimos resultados para grafos de diâmetro 2 com vértice de corte para ambos os problemas. Adentrando em casos mais complexos, conseguimos determinar um limite logarítmico, por meio de algoritmo pseudo-polimonial, para o número envoltório de grafos de diâmetro 2 biconexos. Explorando um pouco mais restritivamente, conseguimos determinar um limite constante para algumas subclasses de grafos de diâmetro 2, os grafos maximais sem triângulo. Não atendo somente aos resultados teóricos, realizamos também implementações e algoritmos para esses parâmetros. As implementações perfazem algoritmos heurísticos, paralelos e força bruta. Por fim, embora não diretamente relacionado, desenvolvemos uma algoritmo para geração de grafos de Moore, que pode ser um dos caminhos para encontrar o ultimo grafo de Moore, caso ele exista. Questão que remanesce desconhecido e procurada por 55 anos.

Orientador: Sandra Maria Carmello-Guerreiro, Fernando Roberto Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Biologia / Made available in DSpace on 2018-08-17T07:29:42Z (GMT). No. of bitstreams: 1 Uehara_LucianaYukari_M.pdf: 4862542 bytes, checksum: ad70cd04421ec86d5f001965c62d9a94 (MD5) Previous issue date: 2010 / Resumo: Características morfológicas e anatômicas da folha de espécies vegetais são importantes indicadores de sua ecologia e dos habitats que ocupam. A variação das características anatômicas das folhas relacionadas às diferentes condições ambientais como deficiência hídrica, luminosidade, tipo de solo e disponibilidade de nutrientes é interpretada como resposta ecofisiológica da planta às diferenças microclimáticas. Dentre as características morfo-anatômicas, a área foliar, a área foliar específica (AFE), a densidade estomática, a espessura total da lâmina, a espessura do parênquima paliçádico, a espessura da epiderme, a quantidade de tecido esclerenquimático e a razão entre o tecido paliçádico e lacunoso, são alguns caracteres que podem ser utilizados para avaliar o grau de escleromorfismo de uma vegetação. Características edáficas, como disponibilidade de água e de nutrientes, pH, textura, podem sofrer variações devido a condições do relevo, como declividade. As variações do relevo estão intrinsecamente relacionadas com a disponibilidade hídrica e nutricional, exercendo grande influência em características da vegetação local. O objetivo deste estudo foi descrever e analisar características da morfológicas e anatômicas de folhas de espécies em diferentes microrrelevos, em um fragmento de Floresta Ombrófila Densa Submontana, na região da Serra do Mar, Estado de São Paulo. / Abstract: Plant species morphological and anatomical leaf traits are important indicators of their ecology and habitats. The variation of leaf anatomical traits, in relation to different environmental conditions, such as water stress, light, soil type, nutrient availability, is interpreted as ecophysiological response of plants to microclimatic differences. Among the morpho-anatomical traits, leaf area, specific leaf area (SLA), stomatal density, total thickness of leaf blade, the thickness of palisade parenchyma, thickness of epidermis, the amount of sclerenchyma, the ratio of palisade and spongy tissue, are some traits that can be used to assess the degree of scleromorphy of vegetation. Soil characteristics, such as availability of water and nutrients, pH, texture, may vary due to relief conditions, such as slope. Relief variations are intrinsically related to water and nutrient availability, exercising great influence on the characteristics of local vegetation. The aim of this study was to describe and analyze morphological and anatomical characteristics of leaves of herbaceous species on different micro-relief in a fragment Lower Montane Rain Forest in the Serra do Mar, State of Sao Paulo. / Mestrado / Biologia Vegetal / Mestre em Biologia Vegetal

Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2015-10-27T14:37:06Z No. of bitstreams: 2 Tese - Marcio Antonio Duarte - 2015.pdf: 457015 bytes, checksum: 1f57686628e44a0cebc1fee7aaf0bcfc (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-10-29T10:04:41Z (GMT) No. of bitstreams: 2 Tese - Marcio Antonio Duarte - 2015.pdf: 457015 bytes, checksum: 1f57686628e44a0cebc1fee7aaf0bcfc (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-10-29T10:04:41Z (GMT). No. of bitstreams: 2 Tese - Marcio Antonio Duarte - 2015.pdf: 457015 bytes, checksum: 1f57686628e44a0cebc1fee7aaf0bcfc (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-04-10 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / In this work, we present some related results, especially the properties algoritimics and of complexity of a product of graphs called complementary prism. Answering some questions left open by Haynes, Slater and van der Merwe, we show that the problem of click, independent set and k-dominant set is NP-Complete for complementary prisms in general. Furthermore, we show NP-completeness results regarding the calculation of some parameters of the P3-convexity for the complementary prism graphs in general, as the P3-geodetic number, P3-hull number and P3-Carathéodory number. We show that the calculation of P3-geodetic number is NP-complete for complementary prism graphs in general. As for the P3-hull number, we can show that the same can be efficiently computed in polynomial time. For the P3-Carathéodory number, we show that it is NPcomplete complementary to prisms bipartite graphs, but for trees, this may be calculated in polynomial time and, for class of cografos, calculating the P3-Carathéodory number of complementary prism of these is 3. We also found a relationship between the cardinality Carathéodory set of a graph and a any Carathéodory set of complementary prism. Finally, we established an upper limit calculation the parameters: geodetic number, hull number and Carathéodory number to operations complementary prism of path, cycles and complete graphs considering the convexities P3 and geodesic. / Neste trabalho, apresentamos alguns resultados relacionados, principalmente às propriedades algorítmicas e de complexidade de um produto de grafos chamado prisma complementar. Respondendo algumas questões deixadas em aberto por Haynes, Slater e van der Merwe, mostramos o problema de clique, conjunto independente e conjunto com kdominantes é NP-Completo para prismas complementares em geral. Além disso, mostramos resultados de NP-completude em relação ao cálculo de alguns parâmetros da convexidade P3 para o prisma complementar de grafos em geral, como o número P3, número envoltório P3 e número de Carathéodory. Mostramos que o cálculo do número P3 é NPcompleto para o prisma complementar de grafos em geral. Já para o número envoltório P3, mostramos que o mesmo pode ser calculado de forma eficiente em tempo polinomial. Para o número de Carathéodory, mostramos que é NP-completo para os prismas complementares de grafos bipartidos, mas que para árvores, este pode ser calculado em tempo polinomial e ainda, para classe dos cografos, o cálculo do número de Carathéodory do prisma complementar desses é 3. Encontramos também, uma relação entre a cardinalidade de um conjunto de Carathéodory de um grafo qualquer e um conjunto de Carathéodory do seu prisma complementar. Por fim, estabelecemos um limite superior do cálculo dos parâmetros: número geodésico, número envoltório e número de Carathéodory para operações prisma complementar de grafos caminho, ciclos e completos considerando as convexidades P3 e geodésica.

O problema da Satisfazibilidade Probabilística, PSAT, apesar da sua flexibilidade, torna exponencialmente complexa a modelagem de variáveis estatisticamente independentes. Esta tese busca desenvolver algoritmos e propostas de relaxamento para permitir o tratamento eficiente de independência parcial pelo PSAT. Apresentamos uma aplicação do PSAT ao problema da etiquetagem morfossintática que serve tanto de motivação como de demonstração dos conceitos apresentados. / The Probabilistic Satisfiability Problem, PSAT, despite its flexibility, makes it exponentially complicated to model statistically independent variables. This thesis develops algorithms and relaxation proposals that allow an efficient treatment of partial independence with PSAT. We also present an application of PSAT on the Part-of-speech tagging problem to serve both as motivation and showcase of the presented concepts.

[pt] Em 1988, Delzant classificou as variedades compactas tóricas simpléticas por meio da imagem associada da aplicação momento. Como estabelecido pelo Teorema de Convexidade [Atiyah, Guillemin-Sternberg, 1983], a imagem pela aplicação momento de uma variedade compacta tórica simplética é um polítopo convexo. A construção de Delzant proporciona uma receita para formar, dado um polítopo de Delzant, uma variedade compacta tórica simplética. Nesta dissertação revisamos essa construção e estudamos alguns exemplos. / [en] In 1988, Delzant proved a classification Theorem of compact toric symplectic manifolds by means of their moment image. By the convexity Theorem [Atiyah, Guillemin-Sternberg, 1983] the moment image of a compact toric symplectic manifold is a convex polytope. Delzant s construction gives a recipe to construct, given a Delzant polytope, the corresponding compact toric symplectic manifold. This thesis describes this construction and studies in detail some examples.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this dissertation we present a proof of a Bernard Malgrange theorem, which establishes a necessary and sufficient condition for the global solvability of a linear operator with constant coefficients. / Nessa disserta¸c ao apresentamos uma demonstra¸c ao do Teorema de Bernard Malgrange, que estabelece condi¸c ao necess´aria e suficiente para que um operador linear com coeficientes constantes seja globalmente resol´uvel.