Neste trabalho mostramos que dado um domínio exterior de classe C0 contido em uma superfície umb lica de H3; com curvatura média constante H 2 [0; 1); existe uma família de gracos de Killing com curvatura média constante H: O bordo de cada um destes gracos está contido nesta superfície umbílica e a norma do gradiente da função no bordo pode ser prescrita por um certo valor s 0. / In this paper we show that given an exterior domain of class C0 contained in an umbilical surface of H3; with constant mean curvature H 2 [0; 1); there exists a family of Killing graphs with constant mean curvature H: The boundary of each of these graphs is contained in this umbilical surface and the norm of the gradient of the function in the boundary can be prescribed by a certain value s 0:

Orientador: Prof. Dr. Márcio Fabiano da Silva / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Matemática , Santo André, 2018. / Seja x : M = Rn+1 uma imersão de uma variedaden-dimensional orientável M no espaço euclidiano Rn+1. A condição que x tem curvatura média constante não-nula H =H0 é conhecida ser equivalente ao fato que x é um ponto crítico de um problema variacional. Um procedimento padrão de encontrar pontos críticos de tais problemas é, análogo ao método dos multiplicadores de Lagrange, olhar para os pontos críticos de um certo operador definido em termos dos funcionais variacionais. Resulta dessas considerações que a definição de estabilidade para imersões com curvatura média constante não-nula deve exigir que a segunda variação para tal operador seja não-negativa, para variações com suporte compacto que satisfaçam a condição de média nula. Assim, o objetivo desse trabalho é estudar as imersões estáveis compactas com curvatura média constante não-nula ¿ resultado apresentado como o Teorema de Barbosa¿Carmo. / Let x : M = Rn+1 be an immersion of an orientablen-dimensional manifoldM into the euclidian space Rn+1. The condition thatx has nonzero constant mean curvature H =H0 is known to be equivalent to the fact thatx is a critical point of a variational problem. A standard proceduce of ?nding the critical points of such a problem is, in analogy to the Lagrange multipliers method, to look for the critical of points of an operator defined in terms of variational functionals. It follows from the above considerations that the definition of stability for immersions with nonzero constant mean curvature should require that such operator be nonnegative, for compactly supported variations that satisfy the zero mean condition. Thus, the objective of this work is to study the compact stable immersions with nonzero constant mean curvature ¿ result presented as the Barbosa and Carmo¿s theorem.

CoordenaÃÃo de AperfeiÃoamento de NÃvel Superior / Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Neste trabalho, consideramos funcionais paramÃtricos elÃpticos como generalizaÃÃes naturais para o clÃssico funcional Ãrea. Calculamos a primeira variaÃÃo de tais funcionais e, a partir da equaÃÃo de Euler-Lagrange, definimos a curvatura mÃdia anisotrÃpica de uma hipersuperfÃcie imersa em uma variedade Riemanniana como generalizaÃÃo natural da curvatura mÃdia usual. Em seguida, estabelecemos a fÃrmula da segunda variaÃÃo e classificamos as hipersuperfÃcies rotacionalmente simÃtricas que possuem curvatura mÃdia anisotrÃpica constante. A fim de compreender a estabilidade dos exemplo rotacionais,deduzimos a primeira e a segunda fÃrmulas de Minkowski. AlÃm disso, no contexto anisotrÃpico, apresentamos as equaÃÃes fundamentais de Weingarten, Codazzi e Gauss e, por fim, estudamos a harmonicidade da aplicaÃÃo de Gauss. / It is stated that critical points of a parametric elliptic functional in a Riemannian manifold are hypersurfaces with prescrebed anisotropic mean curvature. We prove that the anisotropic Gauss map of surfaces immersed in Euclidean space with constant anisotropic mean curvature is a harmonic map. In the case of rotatioally invariat functionals in some homogeneous three-dimensional ambients, we present a abridged version of a existence result for constant anisotropic mean curvature surfaces as cylinders, spheres, tori and annuli corresponding to the anisotropic analogs of onduloids and nodoids. In the Euclidean case M = R3, examples of stable critical points are provided by the Wulff shapes associated to functional F. Paralleling the case of constant curvature mean spheres, a characterization of Wulff shapes is provided, which answers affirmatively a question posed by M. Koiso and B. Parmer in [13].

[pt] Um resultado clássico no âmbito de equações diferenciais parciais e de geometria diferencial é o seguinte: Dada uma constante a existe uma condição da fronteira do domínio (Omega) de maneira que o problema de Dirichlet para a equação da curvatura média a no espaço Euclidiano é sempre solúvel. Este é um teorema devido a Serrin (1969). Além disso, se a condição de Serrin não for satisfeita, há um resultado de não-existência. A partir disso foi perguntado se um resultado similar valeria no espaço Hiperbólico. A finalidade desta tese é dar uma resposta afirmativa a esta pergunta, exibindo uma condição tipo Serrin. De maneira que obtém-se existência de superfícies cujo gráfico tenha curvatura média hiperbólica pré-determinada H(x) no espaço hiperbólico. O resultado é sharp no sentido que se tal condição for negada então não-existência pode ser estabelecida. O ponto central é uma estimativa a priori do gradiente de uma tal solução. / [en] A classical result in Partial Differential Equations and Differential Geometrydue to Serrin (1969) is the following: Given a constant (alfa) there exists a condition on the boundary of the domain (omega)such that the Dirichlet problem for the mean equation (alfa)is solvable. Besides, if Serrin's condition fails there is a non-existence result. Taking into account this classical result one may ask if a similar theorem holds in hyperbolic space. The goal of this thesis is to give a positive answer to this question establishing a certain Serrin type condition. Thus we obtain existence of surfaces whose graphs has prescribed mean curvature H(x) in hyperbolic space. This result is sharp because if the condition is not satisfied then a non- existence result can be inferred. The main point of the argument is some a priori gradient estimate and degree theory.

Neste trabalho mostramos que dado um domínio exterior de classe C0 contido em uma superfície umb lica de H3; com curvatura média constante H 2 [0; 1); existe uma família de gracos de Killing com curvatura média constante H: O bordo de cada um destes gracos está contido nesta superfície umbílica e a norma do gradiente da função no bordo pode ser prescrita por um certo valor s 0. / In this paper we show that given an exterior domain of class C0 contained in an umbilical surface of H3; with constant mean curvature H 2 [0; 1); there exists a family of Killing graphs with constant mean curvature H: The boundary of each of these graphs is contained in this umbilical surface and the norm of the gradient of the function in the boundary can be prescribed by a certain value s 0:

This thesis is concerned with two problems in the Calculus of Variations touching on two central aspects of Materials Science: the structure of solid matter and its dynamic behavior. The problem pertaining to the first aspect is the analysis of the rigidity properties of possibly branched microstructures formed by shape memory alloys undergoing cubic-to-tetragonal transformations. On the basis of a variational model in the framework of linearized elasticity, we derive a non-convex and non-discrete valued differential inclusion describing the local volume fractions of such structures. Our main result shows the inclusion to be rigid without additional regularity assumptions and provides a list of all possible solutions. We give constructions ensuring that the various types of solutions indeed arise from the variational model and quantitatively describe their rigidity via H-measures. Our contribution to the second aspect is a conditional result on the convergence of the Allen-Cahn Equations to multi-phase mean curvature flow, which is a popular model for grain growth in polychrystalline metals. The proof relies on the gradient flow structure of both models and borrows ideas from certain convergence proofs for minimizing movement schemes.:1 Introduction 1.1 Shape memory alloys 1.2 Multi-phase mean curvature flow 2 Branching microstructures in shape memory alloys: Rigidity due to macroscopic compatibility 2.1 The main rigidity theorem 2.2 Outline of the proof 2.3 Proofs 3 Branching microstructures in shape memory alloys: Constructions 3.1 Outline and setup 3.2 Branching in two linearly independent directions 3.3 Combining all mechanisms for varying the volume fractions 4 Branching microstructures in shape memory alloys: Quantitative aspects via H-measures 4.1 Preliminary considerations 4.2 Structure of the H-measures 4.3 The transport property and accuracy of the approximation 4.4 Applications of the transport property 5 Convergence of the Allen-Cahn Equation to multi-phase mean curvature flow 5.1 Main results 5.2 Compactness 5.3 Convergence 5.4 Forces and volume constraints

京都大学 / 新制・課程博士 / 博士(理学) / 甲第23677号 / 理博第4767号 / 新制||理||1683(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 SVADLENKA Karel, 教授 泉 正己, 教授 坂上 貴之 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

The existence of pathwise stationary solutions of this stochastic partial differential equation (SPDE, for abbreviation) is demonstrated. In Part II, a connection between certain kind of state constrained controlled Forward-Backward Stochastic Differential Equations (FBSDEs) and Hamilton-Jacobi-Bellman equations (HJB equations) are demonstrated. The special case provides a probabilistic representation of some geometric flows, including the mean curvature flows. Part II includes also a probabilistic proof of the finite time existence of the mean curvature flows.

In this thesis we prove the genericity of the set of metrics on a manifold with boundary M^{n+1}, such that all free boundary constant mean curvature (CMC) embeddings \\varphi: \\Sigma^n \\to M^{n+1}, being \\Sigma a manifold with boundary, are non-degenerate (Bumpy Metrics), (Theorem 2.4.1). We also give sufficient conditions to obtain a free boundary CMC deformation of a CMC inmersion (Theorems 3.2.1 and 3.2.2), and a stability criterion for this type of immersions (Theorem 3.3.3 and Corollary 3.3.5). In addition, given a one-parametric family, {\\varphi _t : \\Sigma \\to M} , of free boundary CMC immersions, we give criteria for the existence of smooth bifurcated branches of free boundary CMC immersions for the family {\\varphi_t}, via the implicit function theorem when the kernel of the Jacobi operator J is non-trivial, (Theorems 4.2.3 and 4.3.2), and we study stability and instability problems for hypersurfaces in this bifurcated branches (Theorems 5.3.1 and 5.3.3). / Nesta tese, provamos a genericidade do conjunto de métricas em uma variedade com fronteira M^{n+1}, de modo que todos os mergulhos de curvatura média constante (CMC) e fronteira livre \\varphi : \\Sigma^n \\to M^{n+1}, sendo \\Sigma uma variedade com fronteira, sejam não-degenerados (Métricas Bumpy), (Teorema 2.4.1). Nós também fornecemos condições suficientes para obter uma deformação CMC e fronteira livre de uma imersão CMC (Teoremas 3.2.1 and 3.2.2), e um critério de estabilidade para este tipo de imersões (Teorema 3.3.3 and Corolario 3.3.5). Além disso, dada uma família 1-paramétrica, {\\varphi _t : \\Sigma \\to M} , de imersões de CMC e fronteira livre, damos os critérios para a existência de ramos de bifurcação suaves de imersões CMC e fronteira livre para a familia {\\varphi_t}, por meio de o teorema da função implícita quando o kernel do operador Jacobi J é não-trivial, (Teoremas 4.2.3 and 4.3.2), e estudamos o problema da estabilidade e instabilidade para hipersuperfícies em naqueles ramos de bifurcação (Teoremas 5.3.1 and 5.3.3).

Nous avons étudié la dynamique de Glauber sur les pavages de domaines finies du plan par des losanges ou par des dominos de taille 2 × 1. Ces pavages sont naturellement associés à des surfaces de R^3, qui peuvent être vues comme des interfaces dans des modèles de physique statistique. En particulier les pavages par des losanges correspondent au modèle d'Ising tridimensionnel à température nulle. Plus précisément les pavages d'un domaine sont en bijection avec les configurations d'Ising vérifiant certaines conditions au bord (dépendant du domaine pavé). Ces conditions forcent la coexistence des phases + et - ainsi que la position du bord de l'interface. Dans la limite thermodynamique où L, la longueur caractéristique du système, tend vers l'infini, ces interfaces obéissent à une loi des grand nombre et convergent vers une forme limite déterministe ne dépendant que des conditions aux bord. Dans le cas où la forme limite est planaire et pour les losanges, Caputo, Martinelli et Toninelli [CMT12] ont montré que le temps de mélange Tmix de la dynamique est d'ordre O(L^{2+o(1)}) (scaling diffusif). Nous avons généralisé ce résultat aux pavages par des dominos, toujours dans le cas d'une forme limite planaire. Nous avons aussi prouvé une borne inférieure Tmix ≥ cL^2 qui améliore d'un facteur log le résultat de [CMT12]. Dans le cas où la forme limite n'est pas planaire, elle peut être analytique ou bien contenir des parties “gelées” où elle est en un sens dégénérée. Dans le cas où elle n'a pas de telle partie gelée, et pour les pavages par des losanges, nous avons montré que la dynamique de Glauber devient “macroscopiquement proche” de l'équilibre en un temps L^{2+o(1)} / We studied the Glauber dynamics on tilings of finite regions of the plane by lozenges or 2 × 1 dominoes. These tilings are naturally associated with surfaces of R^3, which can be seen as interfaces in statistical physics models. In particular, lozenge tilings correspond to three dimensional Ising model at zero temperature. More precisely, tilings of a finite regions are in bijection with Ising configurations with some boundary conditions (depending on the tiled domain). These boundary conditions impose the coexistence of the + and - phases, together with the position of the boundary of the interface. In the thermodynamic limit where L, the characteristic length of the system, tends toward infinity, these interface follow a law of large number and converge to a deterministic limit shape depending only on the boundary condition. When the limit shape is planar and for lozenge tilings, Caputo, Martinelli and Toninelli [CMT12] showed that the mixing time of the dynamics is of order (L^{2+o(1)}) (diffusive scaling). We generalized this result to domino tilings, always in the case of a planar limit shape. We also proved a lower bound Tmix ≥ cL^2 which improve on the result of [CMT12] by a log factor. When the limit shape is not planar, it can either be analytic or have some “frozen” domains where it is degenerated in a sense. When it does not have such frozen region, and for lozenge tilings, we showed that the Glauber dynamics becomes “macroscopically close” to equilibrium in a time L^{2+o(1)}