We study the Ambarzumyan problem for Sturm-Liouville operator defined on graph. The classical Ambarzumyan Theorem states that if the Neumann eigenvalues of the Sturm-Liouville operator defined on the interval [0,£k] are exactly {n^2: n ∈ N ⋃ {0} }, then the potential q=0. In 2005, Pivovarchik proved two similar theorems with uniform lengths a for the Sturm-Liouville operator defined on a 3-star graphs. Then Wu considered the Ambarzumyan problem for graphs of nonuniform length in his thesis. In this thesis, we shall study the Ambarzumyan problem on more complicated trees, namely, 4-star graphs and caterpillar graphs with edges of different lengths. We manage to solve the Ambarzumyan problem for both Neumann eigenvalues and Dirichlet eigenvalues. In particular, the whole spectrum can be partitioned into several parts. Each part forms the solution to one Ambarzumyan problem. For example, for a 4-star graphs with edge lengths a, a, 2a, 2a form the solution to 3 different Ambarzumyan problems for the Neumann eigenvalues.

In this thesis, we prove the existence and uniqueness of the solution to a Neumann boundary problem for an elliptic differential operator with singular coefficients, and reveal the relationship between the solution to the partial differential equation (PDE in abbreviation) and the solution to a kind of backward stochastic differential equations (BSDE in abbreviation).This study is motivated by the research on the Dirichlet problem for an elliptic operator (\cite{Z}). But it turns out that different methods are needed to deal with the reflecting diffusion on a bounded domain. For example, the integral with respect to the boundary local time, which is a nondecreasing process associated with the reflecting diffusion, needs to be estimated. This leads us to a detailed study of the reflecting diffusion. As a result, two-sided estimates on the heat kernels are established. We introduce a new type of backward differential equations with infinity horizon and prove the existence and uniqueness of both L2 and L1 solutions of the BSDEs. In this thesis, we use the BSDE to solve the semilinear Neumann boundary problem. However, this research on the BSDEs has its independent interest. Under certain conditions on both the "singular" coefficient of the elliptic operator and the "semilinear coefficient" in the deterministic differential equation, we find an explicit probabilistic solution to the Neumann problem, which supplies a L2 solution of a BSDE with infinite horizon. We also show that, less restrictive conditions on the coefficients are needed if the solution to the Neumann boundary problem only provides a L1 solution to the BSDE.

Nesse trabalho, usamos métodos da teoria de homogeneização para analisar o compor- tamento assintótico das soluções da equação do p-Laplaciano com condição de contorno de Neumann posto numa família de domínios finos do tipo. De maneira geral, trabalhamos com funções G:(0,1)\\ x R - R uniformemente limitadas, suaves e L-periódicas na segunda variável. Note que o efeito de domínio fino é estabelecido passando ao limite no parâmetro \\varepsilon>0 com \\varepsilon\\to 0. Além disso, introduzimos um parâmetro \\alpha>0 com o objetivo de representar rugosidades via comportamento oscilat\\\'orio na fronteira superior de R^\\varepsilon. Em nossos resultados mostramos que no limite, uma equação unidimensional é obtida, preservando a quasilinearidade do problema original e capturando tanto o efeito da compressão como das oscilações. / In this work we apply homogenization theory methods in order to analyze the asymptotic behavior of the solutions of a p-Laplacian equation with Neumann boundary condition set in bounded thin domains of the type. Generally, we with functions G:(0,1) x R - R uniformly bounded, smooth and L-periodic in the second variable. The thin domain situation is established passing to the limit in the positive parameter \\varepsilon with \\varepsilon \\to 0. In our results we obtain a one dimensional equation that preserves the quasilinearity from the original problem and capturing the effects of compression and oscillations.

Mathematical theory of partial differential equations (PDEs) is a pretty old classical area with wide range of applications to almost every branch of science and engineering. With the advanced development of functional analysis and operator theory in the last century, it became a topic of analysis. The theory of homogenization of partial differential equations is a relatively new area of research which helps to understand the multi-scale phenomena which has tremendous applications in a variety of physical and engineering models, like in composite materials, porous media, thin structures, rapidly oscillating boundaries and so on. Hence, it has emerged as one of the most interesting and useful subject to study for the last few decades both as a theoretical and applied topic. In this thesis, we study asymptotic analysis (homogenization) of second-order partial differential equations posed on an oscillating domain. We consider a two dimensional oscillating domain (comb shape type) consisting of a fixed bottom region and an oscillatory (rugose) upper region. We introduce optimal control problems for the Laplace equation. There are mainly two types of optimal control problems; namely distributed control and boundary control. For distributed control problems in the oscillating domain, one can apply control on the oscillating part or on the fixed part and similarly for boundary control problem (control on the oscillating boundary or on the fixed part the boundary). We consider all the four cases, namely distributed and boundary controls both on the oscillating part and away from the oscillating part. The present thesis consists of 8 chapters. In Chapter 1, a brief introduction to homogenization and optimal control is given with relevant references. In Chapter 2, we introduce the oscillatory domain and define the basic unfolding operators which will be used throughout the thesis. Summary of the thesis is given in Chapter 3 and future plan in Chapter 8. Our main contribution is contained in Chapters 4-7. In chapters 4 and 5, we study the asymptotic analysis of optimal control problems namely distributed and boundary controls, respectively, where the controls act away from the oscillating part of the domain. We consider both L2 cost functional as well as Dirichlet (gradient type) cost functional. We derive homogenized problem and introduce the limit optimal control problems with appropriate cost functional. Finally, we show convergence of the optimal solution, optimal state and associate adjoint solution. Also convergence of cost-functional. In Chapter 6, we consider the periodic controls on the oscillatory part together with Neumann condition on the oscillating boundary. One of the main contributions is the characterization of the optimal control using unfolding operator. This characterization is new and also will be used to study the limiting analysis of the optimality system. Chapter 7 deals with the boundary optimal control problem, where the control is applied through Neumann boundary condition on the oscillating boundary with a suitable scaling parameter. To characterize the optimal control, we introduce boundary unfolding operators which we consider as a novel approach. This characterization is used in the limiting analysis. In the limit, we obtain two limit problems according to the scaling parameters. In one of the limit optimal control problem, we observe that it contains three controls namely; a distributed control, a boundary control and an interface control.

Les façons d'aborder l'étude du spectre du laplacien sont multiples. Ce mémoire se concentre sur les partitions spectrales optimales de domaines planaires. Plus précisément, lorsque nous imposons des conditions aux limites de Dirichlet, nous cherchons à trouver la ou les partitions qui réalisent l'infimum (sur l'ensemble des partitions à un certain nombre de composantes) du maximum de la première valeur propre du laplacien sur tous ses sous-domaines. Dans les dernières années, cette question a été activement étudiée par B. Helffer, T. Hoffmann-Ostenhof, S. Terracini et leurs collaborateurs, qui ont obtenu plusieurs résultats analytiques et numériques importants. Dans ce mémoire, nous proposons un problème analogue, mais pour des conditions aux limites de Neumann cette fois. Dans ce contexte, nous nous intéressons aux partitions spectrales maximales plutôt que minimales. Nous cherchons alors à vérifier le maximum sur toutes les $k$-partitions possibles du minimum de la première valeur propre non nulle de chacune des composantes. Cette question s'avère plus difficile que sa semblable dans la mesure où plusieurs propriétés des valeurs propres de Dirichlet, telles que la monotonicité par rapport au domaine, ne tiennent plus. Néanmoins, quelques résultats sont obtenus pour des 2-partitions de domaines symétriques et des partitions spécifiques sont trouvées analytiquement pour des domaines rectangulaires. En outre, des propriétés générales des partitions spectrales optimales et des problèmes ouverts sont abordés. / There exist many ways to study the spectrum of the Laplace operator. This master thesis focuses on optimal spectral partitions of planar domains. More specifically, when imposing Dirichlet boundary conditions, we try to find partitions that achieve the infimum (over all the partitions of a given number of components) of the maximum of the first eigenvalue of the Laplacian in all the subdomains. This question has been actively studied in recent years by B. Helffer, T. Hoffmann-Ostenhof, S. Terracini and their collaborators, who obtained a number of important analytic and numerical results. In the present thesis we propose a similar problem, but for the Neumann boundary conditions. In this case, we are looking for spectral maximal, rather than minimal, partitions. More precisely, we attempt to find the maximum over all possible $k$-partitions of the minimum of the first non-zero Neumann eigenvalue of each component. This question appears to be more difficult than the one for the Dirichlet conditions, since many properties of Dirichlet eigenvalues, such as domain monotonicity, no longer hold in the Neumann case. Nevertheless, some results are obtained for 2-partitions of symmetric domains, and specific partitions are found analytically for rectangular domains. In addition, some general properties of optimal spectral partitions and open problems are also discussed.

La présente thèse porte sur différentes questions émanant de la géométrie spectrale. Ce domaine des mathématiques fondamentales a pour objet d'établir des liens entre la géométrie et le spectre d'une variété riemannienne. Le spectre d'une variété compacte fermée M munie d'une métrique riemannienne $g$ associée à l'opérateur de Laplace-Beltrami est une suite de nombres non négatifs croissante qui tend vers l’infini. La racine carrée de ces derniers représente une fréquence de vibration de la variété. Cette thèse présente quatre articles touchant divers aspects de la géométrie spectrale. Le premier article, présenté au Chapitre 1 et intitulé « Superlevel sets and nodal extrema of Laplace eigenfunctions », porte sur la géométrie nodale d'opérateurs elliptiques. L’objectif de mes travaux a été de généraliser un résultat de L. Polterovich et de M. Sodin qui établit une borne sur la distribution des extrema nodaux sur une surface riemannienne pour une assez vaste classe de fonctions, incluant, entre autres, les fonctions propres associées à l'opérateur de Laplace-Beltrami. La preuve fournie par ces auteurs n'étant valable que pour les surfaces riemanniennes, je prouve dans ce chapitre une approche indépendante pour les fonctions propres de l’opérateur de Laplace-Beltrami dans le cas des variétés riemanniennes de dimension arbitraire. Les deuxième et troisième articles traitent d'un autre opérateur elliptique, le p-laplacien. Sa particularité réside dans le fait qu'il est non linéaire. Au Chapitre 2, l'article « Principal frequency of the p-laplacian and the inradius of Euclidean domains » se penche sur l'étude de bornes inférieures sur la première valeur propre du problème de Dirichlet du p-laplacien en termes du rayon inscrit d’un domaine euclidien. Plus particulièrement, je prouve que, si p est supérieur à la dimension du domaine, il est possible d'établir une borne inférieure sans aucune hypothèse sur la topologie de ce dernier. L'étude de telles bornes a fait l'objet de nombreux articles par des chercheurs connus, tels que W. K. Haymann, E. Lieb, R. Banuelos et T. Carroll, principalement pour le cas de l'opérateur de Laplace. L'adaptation de ce type de bornes au cas du p-laplacien est abordée dans mon troisième article, « Bounds on the Principal Frequency of the p-Laplacian », présenté au Chapitre 3 de cet ouvrage. Mon quatrième article, « Wolf-Keller theorem for Neumann Eigenvalues », est le fruit d'une collaboration avec Guillaume Roy-Fortin. Le thème central de ce travail gravite autour de l'optimisation de formes dans le contexte du problème aux valeurs limites de Neumann. Le résultat principal de cet article est que les valeurs propres de Neumann ne sont pas toujours maximisées par l'union disjointe de disques arbitraires pour les domaines planaires d'aire fixée. Le tout est présenté au Chapitre 4 de cette thèse. / The main topic of the present thesis is spectral geometry. This area of mathematics is concerned with establishing links between the geometry of a Riemannian manifold and its spectrum. The spectrum of a closed Riemannian manifold M equipped with a Riemannian metric g associated with the Laplace-Beltrami operator is a sequence of non-negative numbers tending to infinity. The square root of any number of this sequence represents a frequency of vibration of the manifold. This thesis consists of four articles all related to various aspects of spectral geometry. The first paper, “Superlevel sets and nodal extrema of Laplace eigenfunction”, is presented in Chapter 1. Nodal geometry of various elliptic operators, such as the Laplace-Beltrami operator, is studied. The goal of this paper is to generalize a result due to L. Polterovich and M. Sodin that gives a bound on the distribution of nodal extrema on a Riemann surface for a large class of functions, including eigenfunctions of the Laplace-Beltrami operator. The proof given by L. Polterovich and M. Sodin is only valid for Riemann surfaces. Therefore, I present a different approach to the problem that works for eigenfunctions of the Laplace-Beltrami operator on Riemannian manifolds of arbitrary dimension. The second and the third papers of this thesis are focused on a different elliptic operator, namely the p-Laplacian. This operator has the particularity of being non-linear. The article “Principal frequency of the p-Laplacian and the inradius of Euclidean domains” is presented in Chapter 2. It discusses lower bounds on the first eigenvalue of the Dirichlet eigenvalue problem for the p-Laplace operator in terms of the inner radius of the domain. In particular, I show that if p is greater than the dimension, then it is possible to prove such lower bound without any hypothesis on the topology of the domain. Such bounds have previously been studied by well-known mathematicians, such as W. K. Haymann, E. Lieb, R. Banuelos, and T. Carroll. Their papers are mostly oriented toward the case of the usual Laplace operator. The generalization of such lower bounds for the p-Laplacian is done in my third paper, “Bounds on the Principal Frequency of the p-Laplacian”. It is presented in Chapter 3. My fourth paper, “Wolf-Keller theorem of Neumann Eigenvalues”, is a joint work with Guillaume Roy-Fortin. This paper is concerned with the shape optimization problem in the case of the Laplace operator with Neumann boundary conditions. The main result of our paper is that eigenvalues of the Neumann boundary problem are not always maximized by disks among planar domains of given area. This joint work is presented in Chapter 4.

Neste trabalho definimos o operador não local, raiz quadrada do Laplaciano com condição de fronteira de Neumann, através do método de extensão harmônica. O estudo foi feito com o auxílio das séries de Fourier em domínios limitados, como sendo o intervalo, o quadrado e a bola. Posteriormente, aplicamos nosso estudo, à problemas elípticos não lineares envolvendo o operador não local raiz quadrada do Laplaciano com condição de fronteira de Neumann. / In this work we define the non-local operator, square root of the Laplacian with Neumann boundary condition, using the method of harmonic extension. The study was done with the aid of Fourier series in bounded domains, as the interval, the square and the ball. Subsequently, we apply our study, the nonlinear elliptic problems involving non-local operator square root of the Laplacian with Neumann boundary condition.

This dissertation consist of three parts. The first part of the thesis is devoted to the study of gravity and higher spin gauge theories in 2+1 dimensions. We construct cosmological so-lutions of higher spin gravity in 2+1 dimensional de Sitter space. We show that a consistent thermodynamics can be obtained for their horizons by demanding appropriate holonomy conditions. This is equivalent to demanding the integrability of the Euclidean boundary CFT partition function, and reduces to Gibbons-Hawking thermodynamics in the spin-2 case. By using a prescription of Maldacena, we relate the thermodynamics of these solutions to those of higher spin black holes in AdS3. For the case of negative cosmological constant we show that interpreting the inverse AdS3 radius 1=l as a Grassmann variable results in a formal map from gravity in AdS3 to gravity in flat space. The underlying reason for this is the fact that ISO(2,1) is the Inonu-Wigner contraction of SO(2,2). We show how this works for the Chern-Simons actions, demonstrate how the general (Banados) solution in AdS3 maps to the general flat space solution, and how the Killing vectors, charges and the Virasoro algebra in the Brown-Henneaux case map to the corresponding quantities in the BMS3 case. Our results straightforwardly generalize to the higher spin case: the flat space higher spin theories emerge automatically in this approach from their AdS counterparts. We also demonstrate the power of our approach by doing singularity resolution in the BMS gauge as an application. Finally, we construct a candidate for the most general chiral higher spin theory with AdS3 boundary conditions. In the Chern-Simons language, the left-moving solution has Drinfeld-Sokolov reduced form, but on the right-moving solution all charges and chemical potentials are turned on. Altogether (for the spin-3 case) these are 19 functions. Despite this, we show that the resulting metric has the form of the “most general” AdS3 boundary conditions discussed by Grumiller and Riegler. The asymptotic symmetry algebra is a product of a W3 algebra on the left and an affine sl(3)k current algebra on the right, as desired. The metric and higher spin fields depend on all the 19 functions. The second part is devoted to the problem of Neumann boundary condition in Einstein’s gravity. The Gibbons-Hawking-York (GHY) boundary term makes the Dirichlet problem for gravity well defined, but no such general term seems to be known for Neumann boundary conditions. In our work, we view Neumann boundary condition not as fixing the normal derivative of the metric (“velocity”) at the boundary, but as fixing the functional derivative of the action with respect to the boundary metric (“momentum”). This leads directly to a new boundary term for gravity: the trace of the extrinsic curvature with a specific dimension-dependent coefficient. In three dimensions this boundary term reduces to a “one-half” GHY term noted in the literature previously, and we observe that our action translates precisely to the Chern-Simons action with no extra boundary terms. In four dimensions the boundary term vanishes, giving a natural Neumann interpretation to the standard Einstein-Hilbert action without boundary terms. We also argue that a natural boundary condition for gravity in asymptotically AdS spaces is to hold the renormalized boundary stress tensor density fixed, instead of the boundary metric. This leads to a well-defined variational problem, as well as new counter-terms and a finite on-shell action. We elaborate this in various (even and odd) dimensions in the language of holographic renormalization. Even though the form of the new renormalized action is distinct from the standard one, once the cut-off is taken to infinity, their values on classical solutions coincide when the trace anomaly vanishes. For AdS4, we compute the ADM form of this renormalized action and show in detail how the correct thermodynamics of Kerr-AdS black holes emerge. We comment on the possibility of a consistent quantization with our boundary conditions when the boundary is dynamical, and make a connection to the results of Compere and Marolf. The difference between our approach and microcanonical-like ensembles in standard AdS/CFT is emphasized. In the third part of the dissertation, we use the recently developed CFT techniques of Rychkov and Tan to compute anomalous dimensions in the O(N) Gross-Neveu model in d = 2 + dimensions. To do this, we extend the “cow-pie contraction” algorithm of Basu and Krishnan to theories with fermions. Our results match perfectly with Feynman diagram computations.

Neste trabalho definimos o operador não local, raiz quadrada do Laplaciano com condição de fronteira de Neumann, através do método de extensão harmônica. O estudo foi feito com o auxílio das séries de Fourier em domínios limitados, como sendo o intervalo, o quadrado e a bola. Posteriormente, aplicamos nosso estudo, à problemas elípticos não lineares envolvendo o operador não local raiz quadrada do Laplaciano com condição de fronteira de Neumann. / In this work we define the non-local operator, square root of the Laplacian with Neumann boundary condition, using the method of harmonic extension. The study was done with the aid of Fourier series in bounded domains, as the interval, the square and the ball. Subsequently, we apply our study, the nonlinear elliptic problems involving non-local operator square root of the Laplacian with Neumann boundary condition.

No description available.