Orientador: Pedro Luis Dias Peres / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-06T10:51:24Z (GMT). No. of bitstreams: 1 Oliveira_RicardoCoracaodeLeaoFontourade_D.pdf: 881205 bytes, checksum: 053263f18afcf3085a0fc073e1594d2d (MD5) Previous issue date: 2006 / Resumo: A principal contribuição desta tese é a proposta de uma metodologia para solução de desigualdades matriciais lineares dependentes de parâmetros que freqüentemente aparecem em problemas de análise e controle robusto de sistema lineares com incertezas na forma politópica. O método consiste na parametrização das soluções em termos de polinômios homogêneos com coeficientes matriciais de grau arbitrário. Para a construção dessas soluções, um procedimento baseado em resoluções de problemas de otimiza¸c¿ao na forma de um número finito de desigualdades matriciais lineares 'e proposto, resultando em seqüências de relaxações que convergem para uma solução polinomial homogênea sempre que uma solução existe. Problemas de análise robusta e custo garantido s¿ao analisados em detalhes tanto para sistemas a tempo contínuo quanto para sistemas discretos no tempo. Vários exemplos numéricos são apresentados ilustrando a eficiência dos métodos propostos em termos da acurácia dos resultados e do esforço computacional quando comparados com outros métodos da literatura / Abstract: This thesis proposes, as main contribution, a new methodology to solve parameterdependent linear matrix inequalities which frequently appear in robust analysis and control problems of linear system with polytopic uncertainties. The proposed method relies on the parametrization of the solutions in terms of homogeneous polynomials of arbitrary degree with matrix valued coefficients. For constructing such solutions, a procedure based on optimization problems formulated in terms of a finite number of linear matrix inequalities is proposed, yielding sequences of relaxations which converge to a homogeneous polynomial solution whenever a solution exists. Problems of robust analysis and guaranteed costs are analyzed in details for continuous and discrete-time uncertain systems. Several numerical examples are presented illustrating the efficiency of the proposed methods in terms of accuracy and computational burden when compared to other methods from the literature / Doutorado / Automação / Doutor em Engenharia Elétrica

The present dissertation brings reflections on the initial teaching and learning of reading for literacy and citizenship, taking as object of investigation the textbook: Porta Aberta: letramento e alfabetização – 1º. Ano, da Ed. FTD, de Carpaneda & Bragança (2011), commonly adopted in public schools in Aracaju / SE. It aims to analyze the way how this book introduces the vowel and consonantal letters, in the light of the theoretical-methodological assumptions of the Scliar System of Literacy, considering (or not) the order of increasing complexity in the introduction of graphemes for the initial learning of the reading, such as the simplicity of the traces that make up the letters and their articulation; listening for the realization of the most perceptible phonemes by the learner, represented by the respective grapheme; the biunivocity relationship of each one of them; the graphemes that represent phonemes without variants determined by the phonetic context, among other complexities, as well as if the letters are (or aren't) presented by their names or the value that they represent. The theoretical-methodological foundations are firmly established in the works of Scliar-Cabral (2016; 2014; 2013b; 2007; 2003), whose purposes serve teaching practices aligned with the advanced discoveries of neuroscience, psycholinguistics, linguistics and the science concern to education, with emphasis on teaching strategies that highlight the importance of recognizing the graphic traits that identify the letters and the phonemic and phonological awareness in this initial phase of literacy. We know that, although the teaching of reading is compulsory in schools, the central focus for the development of this educational process is always more focused on the mechanical writing of letters, which imply the detriment of the effective learning process: there it is the causes of low reading and writing performance, according to the results presented in various National Assessments (ANA, 2015). We understand that unfortunately, even facing such a low reading performance of our children, the school still ends up silencing these questions, by not proposing an initial reading learning with more criticism, reflection and investment in the continued education of literacy teachers. It opts, then, for the reproduction of outdated approaches that, admittedly, present terrible results in national and international evaluations, starting with textbooks, sometimes they are not recommended by psycholinguistics scholars and related sciences that turn to the promising teaching of that specific ability, as evidenced in this study. The results of the work show that the methodology adopted in the textbook Porta Aberta: letramento e alfabetização – 1º. ano contrary to the advances already achieved for a scientifically based literacy by presenting the letters through nomination and according to the order of the alphabet and not according to the complexity of articulation of the traits that make them up, elencada in this study, and by introducing the vowel letters without interacting with the consonants. Finally, we believe that a process of the initial learning of reading for the exercise of citizenship passes through the automation of the recognition of: 1º - what are, how many are and how the traces that form the letters are combined; 2º what are the graphemes of written Brazilian Portuguese and the respective values (phonemes) that they represent (phonemic awareness); 3º - where the graphic accent of greater intensity goes in the stressed words and identification of the most frequent unstressed words, like articles and the coordinating conjunction "and", which allows the fast and fluent reading, to achive the textual understanding. / A presente dissertação traz reflexões sobre o ensino e a aprendizagem iniciais de leitura para o letramento e cidadania, tomando como objeto de investigação o livro didático Porta Aberta: letramento e alfabetização – 1º. Ano, da Ed. FTD, de Carpaneda & Bragança (2011), comumente adotado em escolas públicas de Aracaju/SE. Objetiva analisar o modo como o referido livro introduz as letras1 vocálicas e consonantais, à luz dos pressupostos teórico-metodológicos do Sistema Scliar de Alfabetização, atentando (ou não) à ordem de complexidade crescente na introdução de grafemas para a aprendizagem inicial da leitura, tais como a simplicidade dos traços que compõem as letras e sua articulação; a escuta da realização dos fonemas mais perceptíveis pelo aprendiz, representados pelo respectivo grafema; a relação de biunivocidade de cada um deles; os grafemas que representam fonemas sem variantes determinadas pelo contexto fonético, dentre outras complexidades, bem como se as letras são (ou não) apresentadas pelo seu nome ou pelo valor que elas representam. Os fundamentos teórico-metodológicos firmam-se nos trabalhos de Scliar-Cabral (2016; 2014; 2013b; 2007; 2003), cujos propósitos atendem a práticas de ensino alinhadas às descobertas avançadas da neurociência, da psicolinguística, da linguística e das ciências voltadas à educação, com ênfase nas estratégias de ensino que relevam a importância do reconhecimento dos traços gráficos que identificam as letras e da consciência fonêmica e fonológica nesta fase inicial da alfabetização. Sabemos que, embora o ensino da leitura seja obrigatório nas escolas, o foco central para o desenvolvimento desse processo educacional costuma estar sempre mais voltado para a escrita mecânica das letras, em detrimento do processo efetivo de aprendizagem: estão aí as causas dos baixos índices de rendimento em leitura e escrita, conforme os resultados apresentados nas diversas Avaliações Nacionais (ANA, 2015). Entendemos que, infelizmente, mesmo diante de desempenho em leitura tão baixo de nossas crianças, a escola ainda acabe silenciando essas questões, ao não propor uma aprendizagem inicial da leitura com mais criticidade, reflexão e investimento na formação continuada de alfabetizadores. Opta, então, pela reprodução de abordagens ultrapassadas que, reconhecidamente, apresentam péssimos resultados nas avaliações nacionais e internacionais, a começar, pelos livros didáticos, por vezes, não recomendados por estudiosos da psicolinguística e das ciências afins que se voltam para o ensino promissor da referida habilidade, como evidenciamos no presente estudo. Os resultados do trabalho evidenciam que a metodologia adotada no livro didático Porta Aberta: letramento e alfabetização – 1º. ano contraria os avanços já alcançados para uma alfabetização cientificamente fundamentada, por apresentar as letras mediante a nomeação e conforme a ordem do alfabeto e não conforme a complexidade de articulação dos traços que as compõem, elencada no presente estudo, e por introduzir as letras vocálicas sem interação com as consoantes. Por fim, acreditamos que um processo da aprendizagem inicial da leitura para o exercício da cidadania passa pela automatização do reconhecimento de: 1º - quais são, quantos são e como se combinam os traços que formam as letras; 2º quais são os grafemas do português brasileiro escrito e os respectivos valores (fonemas) que eles representam (consciência fonêmica); 3º - onde cai o acento de intensidade maior nos vocábulos tônicos e identificação dos vocábulos átonos mais frequentes, como artigos e a conjunção coordenativa “e”, o que permite a leitura rápida e fluente, para se chegar à compreensão textual. / São Cristóvão, SE

CoordenaÃÃo de AperfeiÃoamento de NÃvel Superior / O principal objetivo de nossa investigÃÃo à determinar condiÃÃes para a existÃncia de hipersuperfÃcies fechadas com curvatura prescrita em produtoswarped e, mais geralmente, em variedades dotadas de um campo de Killing conforme. Empreendemos esta anÃlise em duas etapas, a primeira das quais à o estabelecimento de estimativas a priori atà segunda ordem de uma funÃÃo cujo grÃfico satisfaz a equaÃÃo diferencial correspondente a condiÃÃo de curvatura prescrita. A segunda parte consiste em empregar uma variante adequada da teoria do grau ao problema que consideramos. / The main purpose of our investigation is to determine conditions for the existence of closed hypersurface with prescribed curvature in products warped and, more usually, in manifolds endowed with conformal Killing vector fields. We undertook this analysis in two stages, the first one being the establishment of estimates a priori up to second order of a function whose graph satisfies the corresponding differential equation. The second part consists of using an appropriate variant of the theory of the degree to the problem that we considered.

A neutralizacao de pH e utilizada nas industrias, para garantir o descarte seguro de euentes. As plantas de neutralizacao de pH sao um problema complexo de controle, visto que a planta segue um modelo nao-linear e apresenta caractersticas variantes no tempo, o que demanda sua correta modelagem para o projeto de sistemas de controle ecientes. No entanto, a teoria referente a modelagem de pH nao e facilmente aplicada na pratica, resultando frequentemente em modelos que nao predizem corretamente o comportamento dinamico da planta. O primeiro objetivo deste trabalho foi modelar matematicamente a Planta Piloto de Neutralizacao de pH do Laboratorio de Controle de Processos Industriais (LCPI), utilizando uma metodologia que possa ser aplicada para obter o modelo matematico de outras plantas de neutralizacao de pH. Inicialmente a Planta Piloto de Neutralizacao de pH do LCPI foi modelada de acordo com a abordagem fenomenologica, utilizando-se os princpios de conservacao de massa, da eletroneutralidade e os conceitos de equilbrio qumico. Em seguida, o modelo foi ajustado aos dados experimentais do processo (abordagem emprica), utilizando-se curvas de titulacao dos inuentes e distribuicoes de tempos de residencia do reator. Atraves de experimentos, vericou-se que o modelo representou, de forma satisfatoria, a dinamica real da Planta Piloto de Neutralizacao de pH do LCPI. Ademais, este modelo foi utilizado para alcancar o segundo objetivo deste trabalho: projetar um sistema de controle de pH, o qual foi composto por um observador nao-linear e um controlador baseado em modelo. Esta estrutura de controle foi testada experimentalmente, onde certicou-se que os requisitos de controle foram satisfeitos. / The pH neutralization is used in industry to discard properly the wastewater, ensuring the environment preservation. The pH neutralization is a complex control problem, as the model of the plant presents a strong nonlinearity and time varying characteristics, which demands a proper modeling in order to design ecient control systems. However, the application of the theory related to pH modeling is not a trivial task and may result in models that can not predict the plant dynamics. The rst objective of this research was to model the pH Neutralization Pilot Plant, of the Laboratory of Industrial Processes Control (LCPI), using a methodology that could be replicated to model other pH neutralization plants. Initially, the pH Neutralization Pilot Plant was modeled with the phenomenological approach, utilizing rst principles, such as the mass conservation, electroneutrality and chemical equilibrium. Moreover, the model was adjusted to represent the process observed data (empirical approach), as its titration curves of the inuent streams and its reactor residence time distribution. Through experiments, it was veried that the model could represent adequately the real process dynamics. Furthermore, this model was used to achieve the second objective of this research: to design a pH control system, which was composed of a nonlinear observer and a modelbased control. This control structure was tested experimentally, ensuring that the control requirements were satised.

Dado um sistema diferencial no plano, muito se questiona sobre o comportamento de suas soluções. Nas vizinhanças dos pontos singulares existem ferramentas que nos indicam o tipo e a estabilidade estrutural de cada um deles; são as chamadas formas normais. No entanto, o interesse vai mais além do conhecimento local das soluções em cada singularidade. Nesse trabalho apresentamos algumas ferramentas clássicas da teoria qualitativa das equações diferenciais ordinárias empregadas na investigação global dos campos de vetores polinomiais planares e as empregamos na investigação de duas famílias paramétricas de campos quadráticos encontradas no estudo dos campos com hipérboles invariantes. Dentre as ferramentas estudadas destacamos a classificação local das soluções em pontos singulares elementares e semi-elementares e a técnica de compactificação de Poincaré. / Given a planar differential system, many questions are raised about the behavior of their solutions. In the neighborhood of singular points there exist many tools which indicate their type and their structural stability; they are known as normal forms. However, the interest goes beyond the local behavior in the neighborhood of each singularity. In this dissertation we present some classical tools from the qualitative theory of ordinary differential equations which are usually applied to the global investigation of planar polinomial vector fields and we apply them to the investigation of two parametric families of quadratic fields from the study of the vector fields with invariant hyperbolas. Among the studied tools we highlight the local classification of the solutions around elementary and semi-elementary singular points and the technique known as Poincarés compactification.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-07-28T20:14:59Z No. of bitstreams: 1 jorgeluisabantomontoya.pdf: 600922 bytes, checksum: 4b3e153d0e21453a8c9529785f8de3be (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-07-29T11:42:38Z (GMT) No. of bitstreams: 1 jorgeluisabantomontoya.pdf: 600922 bytes, checksum: 4b3e153d0e21453a8c9529785f8de3be (MD5) / Made available in DSpace on 2016-07-29T11:42:38Z (GMT). No. of bitstreams: 1 jorgeluisabantomontoya.pdf: 600922 bytes, checksum: 4b3e153d0e21453a8c9529785f8de3be (MD5) Previous issue date: 2016-05-20 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Provaremos a existência de medidas de probabilidade invariantes absolutamente contínuas com respeito à medida de Lebesgue. Aqui trabalhamos com uma classe de funções que denotamos por F, esta classe consiste de aplicações no intervalo f : M ! M, que possuem pontos críticos e singularidades mais outras propriedades. É preciso mencionar que uma das propriedades é a condição de somabilidade ao longo da órbita crítica que vai ajudar a ter resultados importantes para nosso trabalho. O resultado principal diz que, para cada f 2 F existe uma medida de probabilidade invariante absolutamente contínua. Para conseguir este resultado, provaremos um teorema auxiliar que trata da existência de uma partição enumerável I de intervalos abertos de M, de uma aplicação que chamamos tempo induzido : M ! N que é constante nos elementos da partição I, tal que a aplicação ˆ f : M ! M definida por ˆ f = f que chamamos aplicação induzida, satisfaz três propriedades importantes que são, expansão, variação somável e tempo induzido somável. Por isso ao longo do trabalho vamos concentrar em provar essas três propriedades. O ponto importante é que as duas primeiras propriedades junto com o teorema A garantem a existência de uma medida de probabilidade absolutamente contínua para ˆ f, finalmente utilizando a terceira propriedade junto com a proposição A, obtemos a existência de uma medida de probabilidade absolutamente contínua para nossa f. / We prove the existence of invariant probability measures absolutely continuous with respect to Lebesgue measure. Here we work with a class of maps that we denote by F, this class consists of interval maps f : M ! M, having critical points and singularities more other properties. I must mention that one of the properties is the condition of summability along the critical orbit which will help to have important results for our work. The main result says, for each f 2 F there is a probability measure invariant absolutely continuous. To achieve this result, we prove an auxiliary theorem that is the existence of a countable partition I of open intervals of M, an map that called induced time : M ! N that is constant on the elements of the partition I, such that the map ˆ f : M ! M defined by ˆ f = f we call induced map, satisfies three important properties that are, expanding, summable variation and summable induced time. So throughout the work we focus on evidence these three properties. The important point is that the first two properties together with theorem A ensures the existence of a measure absolutely continuous probability ˆ f, finally using the third property together with proposition A, we get the existence of an absolutely continuous probability measure for our f.

Orientador: Pedro Luis Dias Peres / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-22T18:08:10Z (GMT). No. of bitstreams: 1 Agulhari_CristianoMarcos_D.pdf: 2096468 bytes, checksum: 0e762392c4ee0ab5e249ccd096ab4acf (MD5) Previous issue date: 2013 / Resumo: As principais contribuições desta tese consistem no desenvolvimento de métodos para a síntese de controladores e para a análise de estabilidade de sistemas lineares, variantes ou invariantes no tempo. Com relação aos sistemas invariantes no tempo, o objetivo é a síntese de controladores robustos de ordem reduzida para sistemas a tempo contínuo com parâmetros incertos. O método apresentado para a síntese baseia-se em uma técnica de dois estágios, em que um ganho de realimentação de estados é construído no primeiro estágio e posteriormente utilizado no segundo estágio, que fornece o controlador robusto desejado. Cada etapa consiste na resolução de condições sob a forma de desigualdades matriciais lineares. No caso de sistemas variantes no tempo, em geral, dependendo das informações disponíveis, dois modelos matemáticos podem ser utilizados. Por um lado, para sistemas cujos elementos variantes no tempo são limitados em norma, mas não são completamente conhecidos, é possível utilizar modelos dependentes de parâmetros variantes no tempo, que levam a uma representação politópica. Nesse caso, a técnica de estabilização proposta é baseada no método de dois estágios, para gerar controladores dependentes dos parâmetros. Supõe-se que os parâmetros sejam mensuráveis em tempo real, e os controladores são sintetizados de forma a serem robustos a ruídos nas medições. Por outro lado, se a dinâmica variante no tempo é conhecida, o sistema pode ser tratado diretamente sem que seja utilizado nenhum tipo de parametrização. Duas técnicas de síntese são propostas para esse caso: a construção de ganhos estabilizantes utilizando diretamente a matriz de transição de estados, e uma técnica de síntese projetada a partir de um novo critério para a verificação da estabilidade do sistema. A validade dos métodos propostos é ilustrada por meio de exemplos numéricos, que mostram a qualidade dos resultados que podem ser obtidos / Abstract: The main contributions of this thesis concern the development of methods for the stability analysis and the synthesis of controllers for linear systems, either time varying or time-invariant. Concerning time-invariant systems, the objective is the synthesis of reduced-order robust controllers for continuous-time systems with uncertain parameters. The method presented for the synthesis is based on a two-stage technique, in which a stabilizing state-feedback gain is constructed in the first stage and then applied on the second stage to search for the desired controller. Each stage consists in the resolution of conditions based on linear matrix inequalities. In the case of time-varying systems, depending on the amount of available information, two mathematical models may be used. On one hand, if the time-varying elements of the system are not entirely known, one can model the system as function of time-varying parameters, resulting on a polytopic representation. In this case, the stabilization method proposed is based on the two-stage technique, which yields parameter-dependent controllers. The parameters are supposed to be real-time measurable, and the controllers are robust with respect to noises and uncertainties on the measures. On the other hand, if the time-varying dynamics are known, the system may be directly handled without using any parameterization. Two synthesis techniques are proposed in this case: the construction of stabilizing gains by using the state transition matrix, and a synthesis technique derived from a new stability criterion for time-varying systems. The validity of the proposed methods is illustrated through numerical examples that show the efficiency of the results that can be obtained / Doutorado / Automação / Doutor em Engenharia Elétrica

Submitted by Lucas Pimentel Vilela (lvilela@fgvmail.br) on 2013-10-07T17:22:14Z No. of bitstreams: 2 Dissertação Final.pdf: 665295 bytes, checksum: b54a14202e41e19e863a73328cfb2123 (MD5) Supplement.pdf: 2259071 bytes, checksum: 19718d483c50f35f3878c81521b0acf9 (MD5) / Approved for entry into archive by Janete de Oliveira Feitosa (janete.feitosa@fgv.br) on 2013-10-08T21:33:30Z (GMT) No. of bitstreams: 2 Dissertação Final.pdf: 665295 bytes, checksum: b54a14202e41e19e863a73328cfb2123 (MD5) Supplement.pdf: 2259071 bytes, checksum: 19718d483c50f35f3878c81521b0acf9 (MD5) / Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2013-10-14T14:44:28Z (GMT) No. of bitstreams: 2 Dissertação Final.pdf: 665295 bytes, checksum: b54a14202e41e19e863a73328cfb2123 (MD5) Supplement.pdf: 2259071 bytes, checksum: 19718d483c50f35f3878c81521b0acf9 (MD5) / Made available in DSpace on 2013-10-14T14:45:02Z (GMT). No. of bitstreams: 2 Dissertação Final.pdf: 665295 bytes, checksum: b54a14202e41e19e863a73328cfb2123 (MD5) Supplement.pdf: 2259071 bytes, checksum: 19718d483c50f35f3878c81521b0acf9 (MD5) Previous issue date: 2013-09-17 / This dissertation deals with the problem of making inference when there is weak identification in models of instrumental variables regression. More specifically we are interested in one-sided hypothesis testing for the coefficient of the endogenous variable when the instruments are weak. The focus is on the conditional tests based on likelihood ratio, score and Wald statistics. Theoretical and numerical work shows that the conditional t-test based on the two-stage least square (2SLS) estimator performs well even when instruments are weakly correlated with the endogenous variable. The conditional approach correct uniformly its size and when the population F-statistic is as small as two, its power is near the power envelopes for similar and non-similar tests. This finding is surprising considering the bad performance of the two-sided conditional t-tests found in Andrews, Moreira and Stock (2007). Given this counter intuitive result, we propose novel two-sided t-tests which are approximately unbiased and can perform as well as the conditional likelihood ratio (CLR) test of Moreira (2003). / Esta dissertação trata do problema de inferência na presença de identificação fraca em modelos de regresso com variáveis instrumentais. Mais especificamente em testes de hipóteses com relação ao parâmetro da variável endógena quando os instrumentos são fracos. O principal foco é nos testes condicionais unilaterais baseados nas estatísticas de razão de máxima verossimilhança, score e Wald. Resultados teóricos e numéricos mostram que o teste t condicional unilateral baseado no estimador de mínimos quadrados em dois estágios tem uma boa performance mesmo na presença de instrumentos fracamente correlacionados com a variável endógena. A abordagem condicional corrige uniformemente o tamanho do teste t e quando a estatística F populacional é tão pequena quanto dois, o poder do teste é próximo ao power envelope tanto de testes similares quanto de não similares. Tal resultado é surpreendente visto a má performance dos testes t’s condicionais bilaterais relatada em (6, Andrews, Moreira and Stock (2007)). Dado esse resultado aparentemente contra intuitivo, apresentamos novos testes t’s condicionals bilaterais que são aproximadamente não viesados e performam, em alguns casos, tão bem quanto o teste condicional baseado na estatística de razão de verossimilhança de ( 19 , Moreira (2003)).

Cette thèse porte sur certains aspects symboliques-numériques du problème des paires invariantes pour les polynômes de matrices. Les paires invariantes généralisent la définition de valeur propre / vecteur propre et correspondent à la notion de sous-espaces invariants pour le cas nonlinéaire. Elles trouvent leurs applications dans le calcul numérique de plusieurs valeurs propres d’un polynôme de matrices; elles présentent aussi un intérêt dans le contexte des systèmes différentiels. En utilisant une approche basée sur les intégrales de contour, nous déterminons des expressions du nombre de conditionnement et de l’erreur rétrograde pour le problème du calcul des paires invariantes. Ensuite, nous adaptons la méthode des moments de Sakurai-Sugiura au calcul des paires invariantes et nous étudions le comportement de la version scalaire et par blocs de la méthode en présence de valeurs propres multiples. Le résultats obtenus à l’aide des approches directes peuvent éventuellement être améliorés numériquement grâce à une méthode itérative: nous proposons ici une comparaison de deux variantes de la méthode de Newton appliquée aux paires invariantes. Le problème des solvants de matrices est très proche de celui des paires invariants. Le résultats présentés ci-dessus sont donc appliqués au cas des solvants pour obtenir des expressions du nombre de conditionnement et de l’erreur, et un algorithme de calcul basé sur la méthode des moments. De plus, nous étudions le lien entre le problème des solvants et la transformation des polynômes de matrices en forme triangulaire. / In this thesis, we study some symbolic-numeric aspects of the invariant pair problem for matrix polynomials. Invariant pairs extend the notion of eigenvalue-eigenvector pairs, providing a counterpart of invariant subspaces for the nonlinear case. They have applications in the numeric computation of several eigenvalues of a matrix polynomial; they also present an interest in the context of differential systems. Here, a contour integral formulation is applied to compute condition numbers and backward errors for invariant pairs. We then adapt the Sakurai-Sugiura moment method to the computation of invariant pairs, including some classes of problems that have multiple eigenvalues, and we analyze the behavior of the scalar and block versions of the method in presence of different multiplicity patterns. Results obtained via direct approaches may need to be refined numerically using an iterative method: here we study and compare two variants of Newton’s method applied to the invariant pair problem. The matrix solvent problem is closely related to invariant pairs. Therefore, we specialize our results on invariant pairs to the case of matrix solvents, thus obtaining formulations for the condition number and backward errors, and a moment-based computational approach. Furthermore, we investigate the relation between the matrix solvent problem and the triangularization of matrix polynomials.

La thèse est composée de deux parties.Dans la première partie, nous allons étudier le flot quasi-invariant défini par une équation différentielle stochastique de Stratanovich avec le dérive ayant seulement la BV-régularitésur un espace euclidien, en généralisant des résultats de L. Ambrosio sur l'existence,unicité et stabilité des flots lagrangiens associés aux équations différentielles ordinaires[Invent. Math. 158 (2004), 227{260]. Comme une application d'un résultat de stabilité,nous allons construire une solution explicite à l'equation de transport stochastique enterme de flot stochastique. La différentiabilité approximative du flot sera aussi investie,lorsque le dérive possµede une régularité de Sobolev.Dans la deuxième partie, nous allons généraliser la théorie de DiPerna-Lions aux cas desvariétés riemanniennes complètes. Nous allons utiliser le semi-groupe de la chaleur pourrégulariser des fonctions et des champs de vecteur. L'estimation sur le commutateur seraobtenue par la méthode probabiliste. Une application de cette estimation est de prouverl'unicité des solutions à l'équation de transport à l'aide du concept des solutions renormal-isables. L'équation différentielle ordinaire associée à un champ de vecteur de régularité deSobolev sera enfin résolue en adoptant une méhode due à L. Ambrosio. La fin de cett par-tie consacre à la construction des processus de diffusion, par la méthode de la variation deconstante, sur une variété riemannienne complète, ayant comme générateur, un opérateurelliptique contenant le dérive non-régulier. Pour cela, nous allons donner des conditionssur la courbure pour que le flot horizontal canonique soit un flot de difféomorphismes / The thesis mainly consists of two parts.In the first part, we study the quasi-invariant flow generated by the Stratonovich stochas-tic differential equation with BV drift coefficients in the Euclidean space. We generalizethe results of Ambrosio [Invent. Math. 158 (2004), 227{260] on the existence, uniquenessand stability of regular Lagrangian flows of ordinary differential equations to Stratonovichstochastic differential equations with BV drift coefficients. As an application of the sta-bility result, we construct an explicit solution to the corresponding stochastic transportequation in terms of the stochastic flow. The approximate differentiability of the flow isalso studied when the drift coefficient has some Sobolev regularity.In the second part, we generalize the DiPerna-Lions theory in the Euclidean space to thecomplete Riemannian manifold. We define the commutator on the complete Riemannianmanifold which is a probabilistic version of the one in the DiPerna-Lions theory, andestablish the commutator estimate by the probabilistic method. As a direct applicationof the commutator estimate, we investigate the uniqueness of solutions to the transportequation by the method of the renormalized solution. Following Ambrosio's method, weconstruct the DiPerna-Lions flow on the Riemannian manifold. In order to construct thediffusion process associated to an elliptic operator with irregular drift on the completeRiemannian manifold, we give some conditions which guarantee the strong completenessof the horizontal flow. Finally, we construct the diffusion process with the drift coefficienthaving only Sobolev regularity.Besides, we present a brief introduction of the classical theory on the ordinary differentialequation in the smooth case and the quasi-invariant flow of homeomorphisms under theOsgood condition before the first part; and we recall some basic tools and results whichare widely used throughout the whole thesis after the second part.