Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / O Teorema Espectral à um dos teoremas mais famosos da Analise Funcional, principalmente pelo grande nÃmero de versÃes dadas ao mesmo. Existem versÃes para operadores limitados, ilimitados, autoadjuntos, compactos, em espacos de dimensÃo finita ou infinita. A versÃo geral do teorema foi provada independentemente por Stone e Neumann no perÃodo de 1929-1932, mas outras provas surgiram ao longo dos anos. A prova contida neste trabalho à de Edward Brian Davies(1994), o qual conseguiu, na prova da versÃo do teorema para cÃlculos funcionais, explicitar uma fÃrmula para f(H) (onde H à um operador nÃo-limitado e autoadjunto) para uma grande classe de funÃÃes e nÃo apenas mostrar a existÃncia do mesmo. A principal idÃia foi originalmente dada por Heler e Strojand(1989) e utiliza em sua prova teoremas conhecidos como a FÃrmula Integral de Cauchy Generalizada, Teorema da DivergÃncia, Stone Weierstrass, Teorema de Liouville, alÃm de fatos conhecidos da teoria dos operadores lineares em espacos de Hilbert. / The Spectral Theorem is one of the most famous theorems in Functional Analysis,particularly because of the large number of proofs given to it. There are versions for bounded operators, unbounded operators, self-adjoints operators, compacts, on finite-dimensional spaces, on finnite-dimensional spaces. The general version was proved by Stone and Weierstrass during the period 1929-1932, but another proofs emerged over the years. The proof in this monography was given by Edward Brian Davies(1994), which gives an explicity formula for the functional calculus f(H) (where H is an self-adjoint operator) and not only proof its existence. The main idea was originally given by Heler and Strojand(1989) and in its proofs it used well-knows theorems like Stokes' Theorem,Cauchy's Integral Formula Generalized, Stone-Weierstrass, Liouville's Theorem, besides facts of the theory of linear operators on Hilbert spaces.

Orientador: Mario Carvalho de Matos / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-04T22:15:35Z (GMT). No. of bitstreams: 1 CernaMaguina_BibianoMartin_D.pdf: 1394612 bytes, checksum: ca6a283533782089f15a071899a0ffd2 (MD5) Previous issue date: 2005 / Resumo: Neste trabalho, damos uma generalização do conceito e da teoria das aplicações lineares p-fatoráveis para o caso multilinear. Fornecemos duas definições; baseadas na definição 2.2 chegamos a obter alguns resultados. Seguindo a ideas do Pietsch, e baseada na definição 3.9 previa generalização de algumas definições e teoremas dos ideais lineares para o caso multilinear tentamos provar a equivalência das duas definições / Abstract: In this work, we give one generalization of the concept and the linear theory of applications p - factories for the multilinear case. We supply two definitions; based in definition 2.2 we arrive to get some results. Following the ideas of the Pietsch, and based in definition 3.9 it foresaw generalization of some definitions and theorems of the linear ideals for the multilinear case we try to prove the equivalence of the two definitions / Doutorado / Matematica / Doutor em Matemática

Orientador: Sergio Antonio Tozoni / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-06T13:07:08Z (GMT). No. of bitstreams: 1 Oliveira_AndrielberdaSilva_M.pdf: 1284065 bytes, checksum: 0117263cf98921db674e49f5f57d460d (MD5) Previous issue date: 2006 / Resumo: O objetivo da dissertação é realizar um estudo dos espaços de Besov sobre a esfera unitária d-dimensional real Sd. No primeiro capítulo são estudados espaços de interpolação utilizando dois métodos de interpolação real. Em particular são estudados os Teoremas de Equivalência e de Reiteração para os J-método e K-método. No segundo capítulo é realizado um estudo rápido sobre análise harmônica na esfera Sd, incluindo um estudo sobre harmônicos esféricos, harmônicos zonais, somas de Cesàro e sobre um teorema de multiplicadores. O terceiro e último capítulo é o mais importante e nele são aplicados os resultados dos capítulos anteriores. São introduzidos os espaços de Besov, decompondo uma função suave definida sobre a esfera d-dimensional, em uma série de harmônicos esféricos e usando uma seqüência de polinômios zonais que podem ser vistos como uma generalização natural dos polinômios de Vallée Poussin definidos sobre o círculo unitário. O principal resultado estudado diz que todo espaço de Besov pode ser obtido como espaço de interpolação de dois espaços de Sobolev / Abstract: The purpose of this work is to make a study about Besov¿s spaces on the unit d-dimensional real sphere Sd. In the first chapter are studied spaces of interpolation using two real interpolation methods. In particular, are studied The Equivalence Theorem and The Reiteration Theorem for the J-method and the K-method. In the second chapter it is made a short study about harmonic analysis on the sphere Sd, including a study about spherics harmonics, zonal harmonics, Cesàro sums and about a multiplier theorem. The third and last chapter is the most important of this work. In this chapter are applied the results of the others chapters. Are introduced the Besov spaces, decomposing a smooth function defined on the d-dimensional sphere, in a series of harmonics spherics and using a sequence o zonal polynomials which can be seen as a natural generalization of the Vallée Poussin polynomials defined on the unit circle. The main result studied says that every Besov¿s space can be got as a interpolation space of two Sobolev¿s spaces / Mestrado / Mestre em Matemática

Orientador: Marko Antonio Rojas Medar / Tese (doutorado) - Universidade Estadual de Campinas. Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T08:08:08Z (GMT). No. of bitstreams: 1 Oliveira_ValerianoAntunesde_D.pdf: 10245629 bytes, checksum: c5794d0e782274cf230a35186fc20da7 (MD5) Previous issue date: 2007 / Resumo: Neste trabalho de tese são estudados dois tipos de problemas de otimização abstrata. O primeiro corresponde ao problema de programação in_nita. Tal problema consiste em minimizar um funcional sujeito a um número in_nito de restrições, onde as funções envolvidas são de_nidas em um espaço de Banach. O segundo diz respeito ao problema de programação com tempo contínuo, o qual consiste em minimizar um funcional, dado na forma integral, sujeito a um número _nito de restrições de desigualdade. Foram abordados os problemas mono e multi-objetivos. Os resultados estabelecidos fornecem condições de otimalidade para tais problemas. Condições su_cientes foram obtidas usando a noção de invexidade e também usando uma relaxação de invexidade, a KT-invexidade. Sob hipóteses de qualicação de restrição, KT-invexidade se torna também uma condição necessária de otimalidade. São também apresentados alguns resultados de dualidade / Abstract: In this thesis work it is regarded two type of abstract optimization problems. The _rst one corresponds to the in_nite programming problem. A such problem consists in minimizing a functional subject to an in_nite number of constraints, where the functions involved are dened in a Banach space. The second one is the continuous time programming problem, which consists in to minimize a functional, given in the integral form, subject to a _nite number of inequalities constraints. It were studied the mono and multi-objective problems. The established results furnish optimality conditions for these problems. Su_cient conditions were obtained using the notion of invexity and also a relaxation of invexity, the KT-invexity. Under constraint quali_cations assumptions, KT-invexity becomes also a necessary optimality condition. Some results about duality are also presented. / Doutorado / Doutor em Matemática Aplicada

Orientador: Pedro Jose Catuogno / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-08-10T23:08:39Z (GMT). No. of bitstreams: 1 Almeida_LuisRobertoLucingerde_M.pdf: 590031 bytes, checksum: edf2150b0c1f63711d772e36d25e7e5f (MD5) Previous issue date: 2008 / Resumo: Nessa dissertação, demonstraremos uma fórmula de Itô para distribuições temperadas, ou seja, para uma distribuição F em S¿. Para tanto, apresentaremos a teoria das distribuições temperadas e do cálculo estocástico necessária para esta finalidade / Abstract: In this work, we will prove an Itô formula for tempered distributions, that is, for a distribution F in S0. To achieve this, we will introduce the theory of tempered distributions and of stochastic calculus that will be needed. / Mestrado / Analise Matematica / Mestre em Matemática

O estudo da recuperação de lesões nervosas periféricas do isquiático, fibular e tibial, com base nos métodos (De Medinaceli; Freed; Wyatt, 1982), (De Medinaceli; Derenzo; Hunter, 1984), (Carlton; Goldberg, 1986) e (Bain; Mackinnon; Hunter, 1989), obtidos por meio da análise motora, é considerado um bom critério de avaliação para a quantificação do grau de avaliação nervosa. Elas podem ser estudadas através de uma ampla variedade de técnicas que incluem a eletrofisiologia muscular e a morfologia. Porém nem mesmo em condições experimentais controladas, uma correlação da regeneração dos nervos periféricos é completa, porque não provêem informações precisas do estado funcional do nervo. A avaliação da função sensorial é imprecisa e usualmente indireta devido a causas de enervações sobrepostas. Sendo assim, há explicação para os diferentes métodos de avaliação funcional propostos com os avanços tecnológicos, e o aprimoramento dos métodos de captação, armazenamento e processamento dos dados obtidos. O sistema de análise funcional dos nervos periféricos - AFNP, nome dado ao software devido a sua funcionalidade que é de análise funcional de nervos periféricos, apresenta uma interface de fácil interação, emprego e de apresentação das informações ao usuário, através de auxílio de informações de cada contexto do sistema de como utilizá-lo. Sua precisão e a uniformidade das avaliações proporcionaram resultados confiáveis. O uso de recursos gráficos e de relatórios pode disponibilizar os resultados obtidos, por meio de gráficos das médias e de desvios-padrão. A informatização deste processo, além de fornecer ao usuário uma maior agilidade na avaliação, permite ao pesquisador a utilização de um número maior de animais nos grupos experimentais, facilitando não só a captação, bem como o armazenamento e o processamento dos dados. A flexibilidade foi um resultado muito importante a ser ressaltado, pois mais de um usuário tem a possibilidade de interagir no sistema. / The study of the nervous recuperation of peripheral lesions of the sciatic, fibular and tibial, with base in the methods of (De Medinaceli; Freed; Wyatt, 1982), (De Medinaceli; Derenzo; Hunter, 1984), (Carlton; Goldberg, 1986) and (Bain; Mackinnon; Hunter, 1989), obtained through the motive analysis, is considered a good evaluation criterion for the quantification of the degree of nervous evaluation. They can be studied through a wide variety of techniques including the muscular electrophysiology and the morphology. However not even in controlled experimental conditions, a correlation of the regeneration of the peripheral nerves is complete, because they don\'t provide necessary information of the functional state of the nerve. The evaluation of the sensorial function is imprecise and usually indirect due to causes of overlap enervations. Being like this, the explanation for the different functional evaluation methods proposed with the technological progresses and the improvement of the reception methods, storage and processing of the obtained data. The system of functional analysis of the peripheral nerves - AFNP, name given to the software due to its functionality that is of functional analysis of outlying nerves, it presents an interface of easy interaction, work and of presentation of the information to the user, through help information of each context of the system of how to use it. Its precision and the uniformity of the evaluations provided reliable results. The use of graphic resources and reports they can make available the obtained results, through graphs of the averages and of deviations pattern. With the computerization of this process, besides supplying the user a larger agility in the evaluation, it provides the researcher the use of a larger number of animals in the experimental groups, facilitating not only the reception, as well as the storage and the processing of the data. The flexibility was a very important result to be stood out, therefore more than one user has the possibility to interact with the system.

Este trabalho aborda principalmente dois tópicos em Análise Funcional. No primeiro tópico, estudamos zeros de polinômios em espaços de Banach reais. Apresentamos resultados devidos a J. Ferrer, estabelecendo que todo polinômio fracamente contínuo sobre os subconjuntos limitados de um espaço de Banach, de dual não separável na topologia fraca estrela, admite um subespaço linear fechado de dual não separável na topologia fraca estrela, no qual o polinômio se anula. No segundo tópico, exibimos a versão multilinear do Lema de Phelps devido a R. Aron, A. Cardwell., D. García e I. Zalzuendo. / We study two topics in Functional Analysis. In the first topic, we study zeros of polynomials on real Banach spaces. We present results due to J. Ferrer, stating that every polynomial weakly continuous on bounded subsets of a Banach space, whose dual is not separable in the weak-star topology, admits a closed linear subspace whose dual is not separable in the weak- star topology either, where the polynomial vanishes. In the second topic, we show a multilinear version for the Phelps\' Lemma by R. Aron, A. Cardwell., D. García and I. Zalzuendo.

Este projeto teve como objetivo (a) investigar a independência funcional entre os operantes tato e mando com respostas verbais baseadas na seleção de estímulos e (b) investigar algumas variáveis que pudessem facilitar que uma dada topografia verbal ensinada em tato fosse emitida em mando sem treino direto e vice-versa. Quatro crianças com diagnóstico de autismo e uma criança com atraso de linguagem foram participantes do estudo. Primeiramente, no Estudo 1, T1 foi ensinado a emitir tatos puros de cinco objetos necessários para a execução de uma cadeia comportamental. Testou-se, então, a emissão das mesmas topografias de respostas na condição de mando. Em um segundo momento, no Estudo 2, T2 foi ensinado a emitir duas topografias de tato impuros (além do participante ser elogiado após a emissão do tato durante o treino, o mesmo recebia um brinquedo, que cumpria a função de um reforço condicionado) e testado em mando, enquanto M1 e M2 foram ensinados a emitir duas topografias de mando impuro (além de adquirirem o item específico após a emissão da resposta verbal, os participantes eram elogiados pelo experimentador) e testados na condição de tato. Em um terceiro momento, no Estudo 3, M3 foi ensinado a emitir mandos para quatro objetos necessários para completar quatro cadeias comportamentais. Concomitante a emissão das respostas verbais de seleção de estímulos emitidas pelo participante, o experimentador nomeava (resposta vocal) o item que era pedido. Os resultados apontaram independência funcional entre os operantes tato e mando com respostas verbais baseadas na seleção de estímulos. O treino de topografias verbais na condição de tato impuro pareceu facilitar que as mesmas topografias fossem emitidas na condição de mando, sem treino direto e vice-versa. Por fim, a resposta verbal vocal emitida pelo experimentador facilitou que as topografias verbais ensinadas em mando fossem emitidas por M3 em tato e também pareceu ser importante na emissão de respostas verbais vocais. / This project aimed to (a) investigate functional independence between mand and tact selection-based verbal behaviors and (b) investigate variables that could facilitate that a given verbal topography taught in tact could be emitted in mand and vice versa. Four children diagnosed with autism and a child with language delay were participants of the study. To begin with, in Study 1, T1 was taught to emit pure tacts of five objects necessary for the implementation of a behavioral chain. Then he was tested in same topographies of responses in mand condition. Secondly, in Study 2, T2 was taught to emit two topographies of impure tacts (in addition to the participant being praised after tacting during training, he received a toy, which fulfilled the function of conditioned reinforcer) and tested in mand, while M1 and M2 were taught to emit two topographies of impure mand (besides acquiring the specific item after the emission of verbal response, the participants were praised by the experimenter) and tested in tact. Thirdly, in Study 3, M3 was taught to mand for four objects required to complete four behavioral chains. Concomitant with the selection-based verbal behavior emitted by the participant, the experimenter named (voice response) the required item. The results showed functional independence between mand and tact for selection-based verbal behavior. The training of verbal topographies in impure tact condition seemed to facilitated the same topographies to be emitted in mand condition, without direct training and vice versa. Finally, the vocal verbal response emitted by the experimenter appeared to facilitated to topographies taught in mand to be emitted by M3 in tact and also seemed to be important in the emission of vocal verbal responses

Orientador: Edi Lúcia Sartorato / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Biologia / Made available in DSpace on 2018-08-23T15:12:43Z (GMT). No. of bitstreams: 1 DeMoraes_VanessaCristineSousa_D.pdf: 4935241 bytes, checksum: ce8c385da6e3872d30f08426c629d34d (MD5) Previous issue date: 2013 / Resumo: O alargamento do aqueduto vestibular (EVA) é uma malformação da orelha interna que pode ser identificado por tomografia computadorizada ou ressonância magnética. O EVA é um dos principais sinais clínicos da Síndrome de Pendred (PDS), uma doença genética com padrão de herança autossômico recessivo causada na maioria dos casos por mutações no gene SLC26A4. Além de EVA, o bócio e defeito na organificação do iodeto na tireóide são achados clínicos típicos da PDS. Por sua vez, mutações no gene SLC26A4 têm também sido observadas em indivíduos com surdez não sindrômica associada ao EVA. Recentemente os genes FOXI1 e KCNJ10 também foram implicados na PDS. O gene FOXI1 é um fator de transcrição do gene SLC26A4. Medições electrofisiológicas mostraram que a alteração da pendrina, proteína codificada pelo gene SLC26A4, em modelos animais levava indivíduos à surdez pela falta do potencial endococlear devido à perda de expressão de canais potássio. Sendo atribuído ao gene KCNJ10 a função de manutenção do potencial endococlear. Desta maneira, o presente estudo teve como objetivo avaliar a ocorrência de mutações nos genes SLC26A4, FOXI1 e KCNJ10 em 60 indivíduos brasileiros portadores de perda auditiva sensorioneural, associada ou não a alterações no aqueduto vestibular. Foram encontradas 14 diferentes alterações no gene SLC26A4, das quais 3 ainda não haviam sido descritas na literatura (P142L, G149R e C282Y) e 4 já haviam sido descritas, porém ainda não haviam sido caracterizadas funcionalmente (T193I, Q413R, L445W e R776C). Dessa forma, foi realizada a análise funcional e a co-localização celular da proteína Pendrina com estas 7 variações alélicas. Não foi encontrada nenhuma evidência de contribuição digênica relacionada ao gene FOXI1 e/ou KCNJ10, uma vez que nenhum paciente desta casuística com alteração no gene SLC26A4 apresentou mutações nesses genes. Além disso, no grupo composto por 30 indivíduos surdos que não apresentam EVA, ficou evidente que o rastreamento do gene SLC26A4 não foi suficiente para explicar a perda auditiva nesses pacientes, uma vez que foram encontradas apenas alterações em um alelo do gene. Por outro lado, no grupo formado por 30 indivíduos surdos que apresentam EVA, o rastreamento do gene SLC26A4 possibilitou o esclarecimento do diagnóstico etiológico da perda auditiva em 5 pacientes que apresentaram mutações nos dois alelos do gene SLC26A4 / Abstract: Enlargement of the vestibular aqueduct (EVA) is a malformation of the inner ear that can be identified by computed tomography or magnetic resonance imaging. EVA is the main feature of Pendred syndrome (PDS), a genetic disease with autosomal recessive inheritance pattern, in most cases caused by mutations in the SLC26A4 gene. Besides EVA, goiter and defective organification of iodide in the thyroid are other typical clinical signs of PDS. In turn, SLC26A4 gene mutations have been also observed in patients with non-syndromic deafness associated with EVA. Recently the genes FOXI1 and KCNJ10 were also implicated in the PDS. The FOXI1 gene is a transcription factor of SLC26A4 gene. Electrophysiological measurements in animal models showed that the mutated pendrin, the protein encoded by the SLC26A4 gene, led individuals to deafness by the lack of endocochlear potential due to loss of expression of potassium channels. Being assigned to the KCNJ10 gene the maintenance of endocochlear potential. Thus, the present study aimed to evaluate the occurrence of mutations in SLC26A4, and KCNJ10 FOXI1 genes in 60 Brazilian patients with sensorineural hearing loss, with or without changes in the vestibular aqueduct. We found 14 different mutations in SLC26A4 gene, of which 3 had not yet been described in the literature (P142L, G149R and C282Y) and 4 had already been described, but had not been characterized functionally yet (T193I, Q413R, L445W and R776C). Thus, we performed the functional analysis and cellular co-localization of Pendrin protein with these 7 allelic variants. We found no evidence of digenic contribution related to FOXI1 and/or KCNJ10 genes, since no patient in with mutations in SLC26A4 gene showed mutations in these genes. In addition, the screening of SLC26A4 gene in 30 deaf individuals with no EVA was not sufficient to explain the hearing loss in these patients, since mutations were found only in one allele of the gene. On the other hand, the screening of SLC26A4 gene in 30 deaf individuals with EVA allowed the elucidation of the etiology of hearing loss in 5 patients with mutations in both alleles of this gene / Doutorado / Genetica Animal e Evolução / Doutora em Genética e Biologia Molecular

Orientador: Jorge Tulio Mujica Ascui / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-21T09:37:21Z (GMT). No. of bitstreams: 1 LouzaJunior_NelsonDantas_D.pdf: 1346087 bytes, checksum: e224997e97008b256844e2bba2ebc7a3 (MD5) Previous issue date: 2012 / Resumo: Neste trabalho estabelecemos condições para que o predual do espaço H(?) de aplicações holomorfas em domínios de Riemann tenha a propriedade de aproximação e a propriedade de aproximação limitada. Para tal utilizamos fundamentalmente uma extensão do Teorema de Linearização de Mazet. Provamos que se E é um espaço localmente convexo com uma base de Schauder equicontínua, então o predual G(U) tem a propriedade de aproximação limitada para cada aberto equilibrado U C E. Provamos também que se E é um espaço de Fréchet separável com a propriedade de aproximação limitada, então G(? ) tem a propriedade de aproximação para cada domínio de Riemann (?; p) sobre E. Além disso, demonstramos que se (?; p) é um domínio de Riemann sobre um espaço (DFC) E, então E tem a propriedade de aproximação se, e só se G(?) tem a propriedade de aproximação se, e só se (H(?); Tc) tem a propriedade de aproximação / Abstract: In this work we establish conditions for the predual of the space H(?) of holomorphic mappings in a Riemann domains , to have the approximation property and the bounded approximation property. For this we use essentially an extension of Mazet linearization theorem. We also prove tha if E is a locally convex space with an equicontinuos Schauder basis, then the predual G(U) has the bounded approximation property for each balanced open subset U of E. We obtain that if E is a separable Fréchet space with the bounded approximation property, then G(?) has the approximation property for each Riemann domains (?; p) over E. Moreover, we prove that if (?; p) is a Riemann domains over a (DFC)-space E, then E has the approximation property if only if G(? ) has the approximation property, if only if (H(?); Tc) has the approximation property / Doutorado / Matematica / Doutor em Matemática