We establish an Atiyah-Bott-Lefschetz formula for elliptic operators on manifolds with conical singular points.

In the paper we study the possibility to represent the index formula for spectral boundary value problems as a sum of two terms, the first one being homotopy invariant of the principal symbol, while the second depends on the conormal symbol of the problem only. The answer is given in analytical, as well as in topological terms.

For general endomorphisms of elliptic complexes on manifolds with conical singularities, the semiclassical asymptotics of the Atiyah-Bott-Lefschetz number is calculated in terms of fixed points of the corresponding canonical transformation of the symplectic space.

The thesis studies homogenization of Dirichlet boundary value problems for divergence type elliptic operators, and the associated boundary layer issues. This type of problems for operators with periodically oscillating coeffcients, and fixed boundary data are by now a classical topic largely due to the celebrated work by Avellaneda and Lin from late 80's. The case when the operator and the Dirichlet boundary data exhibit periodic oscillations simultaneously was a longstanding open problem, and a progress in this direction has been achieved only very recently, in 2012, by Gerard-Varet and Masmoudi who proved a homogenization result for the simultaneously oscillating case with an algebraic rate of convergence in L2. Aimed at understanding the homogenization process of oscillating boundary data, in the first part of the thesis we introduce and develop Fourier-analytic ideas into the study of homogenization of Dirichlet boundary value problems for elliptic operators in divergence form. In smooth and bounded domains, for fixed operator and periodically oscillating boundary data we prove pointwise, as well as Lp convergence results the homogenization problem. We then investigate the optimality (sharpness) of our Lp upper bounds. Next, for the above mentioned simultaneously oscillating problem studied by Gerard-Varet and Masmoudi, we establish optimal Lp bounds for homogenization in some class of operators. For domains with non smooth boundary, we study similar boundary value homogenization problems for scalar equations set in convex polygonal domains. In the vein of smooth boundaries, here as well for problems with fixed operator and oscillating Dirichlet data we prove pointwise, and Lp convergence results, and study the optimality of our Lp bounds. Although the statements are somewhat similar with the smooth setting, challenges for this case are completely different due to a radical change in the geometry of the domain. The second part of the work is concerned with the analysis of boundary layers arising in periodic homogenization. A key difficulty toward the homogenization of Dirichlet problem for elliptic systems in divergence form with periodically oscillating coefficients and boundary condition lies in identification of the limiting Dirichlet data corresponding to the effective problem. This question has been addressed in the aforementioned work by Gerard-Varet and Masmoudi on the way of proving their main homogenization result. Despite the progress in this direction, some very basic questions remain unanswered, for instance the regularity of this effective data on the boundary. This issue is directly linked with the up to the boundary regularity of homogenized solutions, but perhaps more importantly has a potential to cast light on the homogenization process. We initiate the study of this regularity problem, and prove certain Lipschitz continuity result. The work also comprises a study on asymptotic behaviour of solutions to boundary layer systems set in halfspaces. By a new construction we show that depending on the normal direction of the hyperplane, convergence of the solutions toward their tails far away from the boundaries can be arbitrarily slow. This last result, combined with the previous studies gives an almost complete picture of the situation.

The paper deals with elliptic theory on manifolds with boundary represented as a covering space. We compute the index for a class of nonlocal boundary value problems. For a nontrivial covering, the index defect of the Atiyah-Patodi-Singer boundary value problem is computed. We obtain the Poincaré duality in the K-theory of the corresponding manifolds with singularities.

The aim of this paper is to explain the notion of subspace defined by means of pseudodifferential projection and give its applications in elliptic theory. Such subspaces are indispensable in the theory of well-posed boundary value problems for an arbitrary elliptic operator, including the Dirac operator, which has no classical boundary value problems. Pseudodifferential subspaces can be used to compute the fractional part of the spectral Atiyah–Patodi–Singer eta invariant, when it defines a homotopy invariant (Gilkey’s problem). Finally, we explain how pseudodifferential subspaces can be used to give an analytic realization of the topological K-group with finite coefficients in terms of elliptic operators. It turns out that all three applications are based on a theory of elliptic operators on closed manifolds acting in subspaces.

This dissertation studies immersed finite elements (IFE) for a second order elliptic operator and their applications to interface problems of related partial differential equations. We start with the immersed finite element methods for the second order elliptic operator with a discontinuous coefficient associated with the elliptic interface problems. We introduce an energy norm stronger than the one used in [111]. Then we derive an estimate for the IFE interpolation error with this energy norm using patches of interface elements. We prove both the continuity and coercivity of the bilinear form in a partially penalized IFE (PPIFE) method. These properties allow us to derive an error bound for the PPIFE solution in the energy norm under the standard piecewise $H^2$ regularity assumption instead of the more stringent $H^3$ regularity used in [111]. As an important consequence, this new estimation further enables us to show the optimal convergence in the $L^2$ norm which could not be done by the analysis presented in [111]. Then we consider applications of IFEs developed for the second order elliptic operator to wave propagation and diffusion interface problems. The first application is for the time-harmonic wave interface problem that involves the Helmholtz equation with a discontinuous coefficient. We design PPIFE and DGIFE schemes including the higher degree IFEs for Helmholtz interface problems. We present an error analysis for the symmetric linear/bilinear PPIFE methods. Under the standard piecewise $H^2$ regularity assumption for the exact solution, following Schatz's arguments, we derive optimal error bounds for the PPIFE solutions in both an energy norm and the usual $L^2$ norm provided that the mesh size is sufficiently small. {In the second group of applications, we focus on the error analysis for IFE methods developed for solving typical time-dependent interface problems associated with the second order elliptic operator with a discontinuous coefficient.} For hyperbolic interface problems, which are typical wave propagation interface problems, we reanalyze the fully-discrete PPIFE method in [143]. We derive the optimal error bounds for this PPIFE method for both an energy norm and the $L^2$ norm under the standard piecewise $H^2$ regularity assumption in the space variable of the exact solution. Simulations for standing and travelling waves are presented to corroborate the results of the error analysis. For parabolic interface problems, which are typical diffusion interface problems, we reanalyze the PPIFE methods in [113]. We prove that these PPIFE methods have the optimal convergence not only in an energy norm but also in the usual $L^2$ norm under the standard piecewise $H^2$ regularity. / Doctor of Philosophy / This dissertation studies immersed finite elements (IFE) for a second order elliptic operator and their applications to a few types of interface problems. We start with the immersed finite element methods for the second order elliptic operator with a discontinuous coefficient associated with the elliptic interface problem. We can show that the IFE methods for the elliptic interface problems converge optimally when the exact solution has lower regularity than that in the previous publications. Then we consider applications of IFEs developed for the second order elliptic operator to wave propagation and diffusion interface problems. For interface problems of the Helmholtz equation which models time-Harmonic wave propagations, we design IFE schemes, including higher degree schemes, and derive error estimates for a lower degree scheme. For interface problems of the second order hyperbolic equation which models time dependent wave propagations, we derive better error estimates for the IFE methods and provides numerical simulations for both the standing and traveling waves. For interface problems of the parabolic equation which models the time dependent diffusion, we also derive better error estimates for the IFE methods.

[pt] Consideramos a análise numérica de perturbações não lineares do Laplaciano definido em regiões limitadas tratáveis pelo Método de Elementos Finitos. Supomos que as não linearidades interagem com k autovalores do Laplaciano livre. Apresentamos uma redução do problema à inversão de uma função de k variáveis e delineamos uma técnica para tal. O texto é uma extensão dos trabalhos de Cal Neto, Malta, Saldanha e Tomei. / [en] We consider the numerical analysis of nonlinear perturbations of the Laplacian defined in limited regions amenable to the Finite Element Method. The nonlinearities are supposed to interact only with k eigenvalues of the free Laplacian. We present a reduction of the problem to the inversion of a function of k variables and indicate a technique to do so. The text extends the works by Cal Neto, Malta, Saldanha and Tomei.

Provamos resultados sobre a geometria de hipersuperfícies em diferentes espaços ambiente. Primeiro, definimos uma aplicação de Gauss generalizada para uma hipersuperfície Mn-1 c/ Nn, onde N é um espaço simétrico de dimensão n ≥ 3. Em particular, generalizamos um resultado de Ruh-Vilms e apresentamos aplicações. Em seguida, estudamos superfícies em espaços de dimensão 3: estudamos a equação da curvatura média em um produto semidireto R2oAR e obtemos estimativas da altura e a existência de gráficos mínimos do tipo Scherk. Finalmente, no espaço ambiente de uma variedade hiperbólica de dimensão 3: nós apresentamos condições suficientes para que um mergulho completo de uma superfície ∑ de topologia finita em N com curvatura média |H∑| ≤ 1 seja próprio. / We prove results concerning the geometry of hypersurfaces on di erent ambient spaces. First, we de ne a generalized Gauss map for a hypersurface Mn-1 c/ Nn, where N is a symmetric space of dimension n ≥ 3. In particular, we generalize a result due to Ruh-Vilms and make some applications. Then, we focus on surfaces on spaces of dimension 3: we study the mean curvature equation of a semidirect product R2 oA R to obtain height estimates and the existence of a Scherk-like minimal graph. Finally, on the ambient space of a hyperbolic manifold N of dimension 3 we give su cient conditions for a complete embedding of a nite topology surface ∑ on N with mean curvature |H∑| ≤ 1 to be proper.

Provamos resultados sobre a geometria de hipersuperfícies em diferentes espaços ambiente. Primeiro, definimos uma aplicação de Gauss generalizada para uma hipersuperfície Mn-1 c/ Nn, onde N é um espaço simétrico de dimensão n ≥ 3. Em particular, generalizamos um resultado de Ruh-Vilms e apresentamos aplicações. Em seguida, estudamos superfícies em espaços de dimensão 3: estudamos a equação da curvatura média em um produto semidireto R2oAR e obtemos estimativas da altura e a existência de gráficos mínimos do tipo Scherk. Finalmente, no espaço ambiente de uma variedade hiperbólica de dimensão 3: nós apresentamos condições suficientes para que um mergulho completo de uma superfície ∑ de topologia finita em N com curvatura média |H∑| ≤ 1 seja próprio. / We prove results concerning the geometry of hypersurfaces on di erent ambient spaces. First, we de ne a generalized Gauss map for a hypersurface Mn-1 c/ Nn, where N is a symmetric space of dimension n ≥ 3. In particular, we generalize a result due to Ruh-Vilms and make some applications. Then, we focus on surfaces on spaces of dimension 3: we study the mean curvature equation of a semidirect product R2 oA R to obtain height estimates and the existence of a Scherk-like minimal graph. Finally, on the ambient space of a hyperbolic manifold N of dimension 3 we give su cient conditions for a complete embedding of a nite topology surface ∑ on N with mean curvature |H∑| ≤ 1 to be proper.