Es werden hybride Mannigfaltigkeiten untersucht, d.h. Systeme von zweidimensionalen Mannigfaltigkeiten, die durch eindimensionale Intervalle miteinander verknuepft sind. In einer solchen Struktur definieren wir einen Laplace-Operator, der sich aus den Laplace-Beltrami-Operatoren auf den glatten Teilen und Randbedingungen an den Verknuepfungspunkten zusammenstellt. Durch Verwendung der Kreinschen Theorie selbstadjungierter Erweiterungen wird es gezeigt, dass alle moeglichen Laplace-Operatoren durch hermitsche Matrizen einer speziellen Form parametrisiert werden koennen. Wir berechnen die Entwicklung der Spur der quadrirten Resolvent eines Laplace-Operators fuer grosse Spectralparameter vermittels der Randbedingungen und der Waermeleitungskoeffizienten der glatten Teilen der hybriden Mannigfaltigkeit. Unter gewissen zusaetzlichen Annahmen is es moeglich, aus dieser Entwicklung einige geometrische Invarianten und einige Information ueber den Randbedingungen zu gewinnen. / We consider a hybrid manifold (i.e. some two-dimensional manifolds connected with each other by some segments) and a Laplace operator on it. Such an operator can be constructed by using the Laplace-Beltrami operators on each part of the hybrid manifold with some boundary conditions in the points of gluing. We use the Krein theory of self-adjoint extensions to show that all possible Laplace operators are parameterized by some Hermitian matrices. We find the large spectral parameter expansion of the trace of the second power of the resolvent of a fixed Laplace operator in terms of the boundary condition matrix and heat kernel coefficients for the parts of the hybrid manifold. If we assume that we already have such an expansion for some hybrid manifold then we can find some data about this manifold (inverse spectral problem). Under some additional conditions it is possible to find some geometric invariants of the hybrid space and some information about the boundary conditions matrix. We apply the same technique also to two degenerate cases of hybrid manifolds: quantum graphs and the manifolds glued without segments.

Submitted by Irene Nascimento (irene.kessia@ufpe.br) on 2017-03-29T19:13:09Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Tese-Thamires.pdf: 818214 bytes, checksum: 5697cce4e93e09e89c5150c064df333e (MD5) / Made available in DSpace on 2017-03-29T19:13:09Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Tese-Thamires.pdf: 818214 bytes, checksum: 5697cce4e93e09e89c5150c064df333e (MD5) Previous issue date: 2016-02-26 / CNPQ / Este trabalho trata da teoria de existência, unicidade, regularidade, continuação e alternativa de Blow-up de solução brandas para Equação de Volterra Fracionarias com condições iniciais locais cujo termo não linear satisfaz certas propriedades localmente Lipschitz. Analisamos também o caso de condições iniciais não locais e não linearidades verificando condições do tipo Caratheodory. Neste caso estudamos as propriedades topológicas do conjunto soluções de tais equações. / his work deals with existence, uniqueness, regularity, continuation and Blow up Alternative of mild solutions for Fractional Volterra Equations with local initial conditions, whose nonlinear terms satisfy some locally Lipschitz properties. Moreover we analyse thecase of nonlocal initial conditions and nonlinearities of Caratheodory type. In this case, we study topological properties of the solution set of such equations.

Dans cette thèse, nous affinons l'étude des fonctions presque automorphes sur time scales introduites dans la littérature par Lizama et Mesquita, nous explorons de nouvelles propriétés de ces fonctions et appliquons les résultats à étudier l'existence et l'unicité de solution presque automorphe d'une nouvelle classe d'équations dynamiques sur time scales. Puis nous introduisons la notion de fonction presque automorphe de classe Cn, nous investiguons les propriétés fondamentales de ces fonctions et utilisons les résultats pour établir l'existence, l'unicité et la stabilité globale et exponentielle de solution presque automorphe de classe C1 d'un système d'équations dynamiques avec délai variable fini modélisant un réseau de neurones. Ensuite nous présentons le concept de fonctions asymptotiquement presque automorphes de classe Cn. Nous démontrons quasiment toutes les propriétés de ces fonctions, lesquelles nous permettent, sous des hypothèses convenables, d'établir, d'une part, que l'unique solution d'un problème avec condition initiale est asymptotiquement presque automorphe de classe C1, et d'autre part, l'existence et l'unicité de solution asymptotiquement presque automorphe pour une équation intégro-dynamque avec conditon initiale non locale sur time scales. Enfin, en utilisant la notion de semi-groupe sur time scales de Hamza et Oraby, nous généralisons les résultats de Lizama et Mesquita en dimension infinie, c'est-à-dire, nous étudions l'existence et l'unicité des solutions presque automorphes pour des équations dynamiques semi linéaires abstraites sur time scales. / In this thesis, we refine the notion of almost automorphic functions on time scales introduced in the literature by Lizama and Mesquita, we explore some new properties of such functions and apply the results to study the existence and uniqueness of almost automorphic solution for a new class of dynamic equations on time scales. Then we introduce the concept of almost automorphic functions of order n on time scales, we investigate the fundamental properties of these functions and we use the findings to establish the existence and uniqueness and the global stability of almost automorphic solution of one to a first order dynamical equation with finite time varying delay. Then we present the concept of asymptotically almost automorphic functions of order n on time scales. We study the properties of these functions and we use the results to prove, under suitable hypothesis, that the unique solution to a problem with initial condition is asymptotically almost automorphic of order one at the one hand, and the existence and uniqueness of asymptotically almost automorphic solution for an integro-dynamic equation with nonlocal initial conditon on time scales in other hand. Finally, using the concept of semigroup on time scales introduced by Hamza and Oraby, we generalize the results in Lizama and Mesquita's paper for abstract Banach spaces, that is, we study the existence and uniqueness of almost automorphic solution for semilinear abstract dynamic equations on time scales.

Spectral properties of linear operators and operator functions can be used to analyze models in nature. When dispersion and damping are taken into account, the dependence of the spectral parameter is in general non-linear and the operators are not selfadjoint. In this thesis non-selfadjoint operator functions are studied and several methods for obtaining properties of unbounded non-selfadjoint operator functions are presented. Equivalence is used to characterize operator functions since two equivalent operators share many significant characteristics such as the spectrum and closeness. Methods of linearization and other types of equivalences are presented for a class of unbounded operator matrix functions. To study properties of the spectrum for non-selfadjoint operator functions, the numerical range is a powerful tool. The thesis introduces an optimal enclosure of the numerical range of a class of unbounded operator functions. The new enclosure can be computed explicitly, and it is investigated in detail. Many properties of the numerical range such as the number of components can be deduced from the enclosure. Furthermore, it is utilized to prove the existence of an infinite number of eigenvalues accumulating to specific points in the complex plane. Among the results are proofs of accumulation of eigenvalues to the singularities of a class of unbounded rational operator functions. The enclosure of the numerical range is also used to find optimal and computable estimates of the norm of resolvent and a corresponding enclosure of the ε-pseudospectrum.

Orientador: Andréa Cristina Prokopczyk Arita / Abstract: This work presents some results of the theory of the (a,k)-regularized resolvent families, that are the main tool used in this thesis. Related with this families, one result proved in this work is the zero-one law, providing new insights on the structural properties of the theory of (a,k)-regularized resolvent families including strongly continuous semigroups, strongly continuous cosine families, integrated semigroups, among others. Moreover, an abstract nonlinear degenerate hyperbolic equation is considered, that includes the semilinear Blackstock-Crighton-Westervelt equation. By proposing a new approach based on strongly continuous semigroups and resolvent families of operators, it is proved an explicit representation of the strong and mild solutions for the linearized model by means of a kind of variation of parameters formula. In addition, under nonlocal initial conditions, a mild solution of the nonlinear equation is established. / Resumo: Este trabalho apresenta alguns resultados da teoria de famílias resolventes (a,k)- regularizadas, que é a principal ferramenta utilizada nesta tese. Relacionado com estas famílias, um resultado provado neste trabalho é a lei zero-um, que fornece novas percepções de propriedades estruturais da teoria de famílias resolventes (a,k)- regularizadas, incluindo os semigrupos fortemente contínuos, as famílias cosseno fortemente contínuas, os semigrupos integrados, entre outras. Além disso, uma equação hiperbólica degenerada não-linear abstrata é considerada, a qual inclui a equação semilinear de Blackstock-Crighton-Westervelt. Propondo uma nova abordagem baseada em semigrupos fortemente contínuos e famílias resolvente, é demonstrada uma representação explícita das soluções forte e branda para a linearização do modelo por uma espécie de método de variação dos parâmetros. Por fim, sob condições iniciais não-locais, uma solução branda da equação não-linear é estabelecida. / Doutor

The thesis consists of two parts, a theoretical part and an applied part, and in addition an Appendix. Except for a very short chapter in the applied part and the appendix we only present previously unknown results leading to a very concise style. In the theoretical part we study rates of decay for vector-valued functions and semigroups of operators depending on a real and positive variable. Under boundedness assumptions on the function/semigroup itself and under analytic extendability assumptions of its Laplace transform/resolvent across the imaginary axis we provide (almost) sharp rates of decay. Our results improve known results in this very active area of research. In the second part of the thesis we apply our results to specific examples (from the field of PDEs): local energy decay for wave equations on exterior domains, energy decay for damped wave equations on bounded domains and decay for a viscoelastic boundary damping model for sound waves. Many more examples can be found in the vast literature.:Part 1 Quantified Tauberian theorems and decay of C0-semigroups 1 Decay of vector-valued functions 2 Optimal decay for C0-semigroups on Hilbert spaces Part 2 Applications: decay of waves 3 Local decay for waves in exterior domains 4 Waves on a square with constant damping on a strip 5 A viscoelastic boundary damping model

Au cours des dernières décennies, la théorie de la stabilité a été intensivement utilisée pour caractériser le comportement instationnaire d'écoulements. Cela a donné naissance à un grand nombre d'approches, mais malheureusement chacune d'entre elles semble présenter ses propres limitations. De plus, leurs conditions de validité sont encore très mal connues, ce qui soulève la question de la fiabilité de ce genre de méthodes dans un cas général.Cette problématique est traitée dans cette thèse en s'intéressant dans un premier temps aux approches classiques de stabilité, qui étudient l'évolution de petites perturbations autour d'une solution stationnaire -- un champ de base -- des équations de Navier-Stokes. Pour cela, le phénomène du screech -- un bruit tonal que peuvent causer les jets sous-détendus -- est étudié d'un point de vue de la stabilité linéaire. Les résultats obtenus montrent que la dynamique non-linéaire du phénomène est correctement prédite par une analyse linéaire de stabilité du champ de base. Une confrontation avec d'autres analyses similaires montre qu'un tel résultat n'est pas toujours observé. Cependant, lorsque les oscillations auto-entretenues d'un écoulement sont provoquées par un bouclage acoustique, comme c'est le cas entre autres pour le screech, l'écoulement de cavité ou encore les jets impactants, alors les non-linéarités ont une faible influence sur le phénomène de sélection de fréquence. Cela explique la capacité d'une analyse linéaire à caractériser ces écoulements, même dans le régime non-linéaire.Une autre approche, consistant à étudier la stabilité linéaire du champ moyen, a montré de bons résultats dans certaines configurations qui ne peuvent être correctement étudiées par une analyse linéaire du champ de base. Cela est justifié dans cette thèse en mettant en évidence le rôle que joue la résolvante autour du champ moyen dans la dynamique d'un écoulement. Il est montré que lorsque cet opérateur présente une forte séparation de valeurs singulières, ce qui correspond à l'existence d'un mécanisme d'instabilité fort, alors les modes de Fourier de l'écoulement sont proportionnels aux modes de résolvante dominants. Ce résultat fournit des conditions mathématiques et physiques pour l'utilisation et le sens de diverses méthodes d'analyse du champ moyen, telles qu'une analyse d'équations de stabilité parabolisées (Parabolised Stability Equations). De plus, cela permet de mettre en place un modèle de prédiction du spectre fréquentiel en tout point d'un écoulement, à partir d'une ou de quelques mesures ponctuelles et du champ moyen. L'ensemble de ces résultats est illustré et validé sur un cas de marche descendante turbulente. Enfin, cela est exploité dans un cadre expérimental, afin de reconstruire le comportement instationnaire d'un jet rond transitionnel, à partir de la seule connaissance du champ moyen et d'une mesure ponctuelle. L'étude montre que, sous certaines précautions expérimentales, la reconstruction est très précise et robuste. / Linear stability theory has been intensively used over the past decades for the characterization of unsteady flow behaviors. While the existing approaches are numerous, none has the ability to address any general flow. Moreover, clear validity conditions for these techniques are often missing, and this raises the question of their general reliability.In this thesis, this question is addressed by first considering the classical stability approach, which focuses on the evolution of small disturbances about a steady solution -- a base flow -- of the Navier-Stokes equations.To this end, the screech phenomenon -- a tonal noise that is sometimes generated by underexpanded jets -- is studied from alinear stability point of view. The results reveal that the nonlinear dynamics of this phenomenon is well-predicted by a linear base flow stability analysis. A confrontation with other similar analyses from the literature shows that such a satisfactory result is not always observed. However, when a self-sustained oscillating flow is driven by an acoustic feedback loop, as it is the case for the screech phenomenon, cavity flows and impinging jets for instance, then the nonlinearities have a weak impact on the frequency selection process, explaining the ability of a linear analysis to characterize the flow, even in the nonlinear regime.Another alternative approach, based on a linearization about the mean flow, is known to be successful in some cases where a base flow analysis fails. This observation from the literature is explained in this thesis by outlining the role of the resolvent operator, arising from a linearization about the mean flow, in the dynamics of a flow. The main finding is that if this operator displays a clear separation of singular values, which relates to the existence of one strong convective instability mechanism, then the Fourier modes areproportional to the first resolvent modes. This result provides mathematical and physical conditions for the use and meaning of several mean flow stability techniques, such as a parabolised stability equations analysis of a mean flow.Moreover, it leads to a predictive model for the frequency spectrum of a flow field at any arbitrary location, from the sole knowledge of the mean flow and the frequency spectrum at one or more points. All these findings are illustrated and validated in the case of a turbulent backward facing step flow. Finally, these results are exploited in an experimental context, for the reconstruction of the unsteady behavior of a transitional round jet, from the sole knowledge of the mean flow and one point-wise measurement. The study shows that, after following a few experimental precautions, detailed in the manuscript, the reconstruction is very accurate and robust.

Many problems in applied mathematics and physics are formulated most naturally in terms of matrices, and can be solved by computing functions of these matrices. For example, in quantum mechanics, the coherent dynamics of physical systems is described by the matrix exponential of their Hamiltonian. In state of the art experiments, one can now observe such unitary evolution of many-body systems, which is of fundamental interest in the study of many-body quantum phenomena. On the other hand the theoretical simulation of such non-equilibrium many-body dynamics is very challenging. In this thesis, we develop a symbolic approach to matrix functions and quantum dynamics based on a novel algebraic structure we identify for sets of walks on graphs. We begin by establishing the graph theoretic equivalent to the fundamental theorem of arithmetic: all the walks on any finite digraph uniquely factorise into products of prime elements. These are the simple paths and simple cycles, walks forbidden from visiting any vertex more than once. We give an algorithm that efficiently factorises individual walks and obtain a recursive formula to factorise sets of walks. This yields a universal continued fraction representation for the formal series of all walks on digraphs. It only involves simple paths and simple cycles and is thus called a path-sum. In the second part, we recast matrix functions into path-sums. We present explicit results for a matrix raised to a complex power, the matrix exponential, matrix inverse, and matrix logarithm. We introduce generalised matrix powers which extend desirable properties of the Drazin inverse to all powers of a matrix. In the third part, we derive an intermediary form of path-sum, called walk-sum, relying solely on physical considerations. Walk-sum describes the dynamics of a quantum system as resulting from the coherent superposition of its histories, a discrete analogue to the Feynman path-integrals. Using walk-sum we simulate the dynamics of quantum random walks and of Rydberg-excited Mott insulators. Using path-sum, we demonstrate many-body Anderson localisation in an interacting disordered spin system. We give two observable signatures of this phenomenon: localisation of the system magnetisation and of the linear magnetic response function. Lastly we return to the study of sets of walks. We show that one can construct as many representations of series of walks as there are ways to define a walk product such that the factorisation of a walk always exist and is unique. Illustrating this result we briefly present three further methods to evaluate functions of matrices. Regardless of the method used, we show that graphs are uniquely characterised, up to an isomorphism, by the prime walks they sustain.

Cette thèse est consacrée à l'étude du problème de la cyclicité dans certains espaces de fonctions analytiques sur le disque unité. Nous nous intéressons aux espaces de type Bergman et aux espaces de type Korenblum. Dans la première partie, nous étudions les fonctions cycliques dans les espaces de type Korenblum en utilisant la notion des prémesures. Cette notion a été introduite et développée par B. Korenblum au début des années 1970s. En particulier, nous donnons une réponse positive à une conjecture énoncée par C. Deninger. Dans la deuxième partie, nous utilisons la méthode de la résolvante pour étudier la cyclicité des fonctions intérieures singulières associées aux mesures de Dirac dans les espaces de type Bergman à poids. / In this thesis, we study the cyclicity problem in some spaces of analytic functions on the open unit disc. We focus our attention on Korenblum type spaces and on weighted Bergman type spaces. First, we use the technique of premeasures, introduced and developed by Korenblum in the 1970-s and the 1980-s, to give a characterization of cyclic functions in the Korenblum type spaces. In particular, we give a positive answer to a conjecture by Deninger. Second, we use the so called resolvent transform method to study the cyclicity of the one point mass singular inner function in weighted Bergman type spaces, especially with weights depending on the distance to a subset of the unit circle.

Le résumé n'est pas disponible. / Le résumé n'est pas disponible.