-
Evaluating singular and near-singular integrals on $C^2$ smooth surfaces with a novel geometric method and closed form expressions
Authors:
Andrew Zheng,
Spyros Alexakis,
Adam R Stinchcombe
Abstract:
Most Fredholm integral equations involve integrals with weakly singular kernels. Once the domain of integration is discretized into elements, these weakly singular kernels become strongly singular or ``near-singular". Common methods to compute these integrals when the kernel is a Green's function include the Duffy transform, polar coordinates with closed analytic formulas, and singularity extracti…
▽ More
Most Fredholm integral equations involve integrals with weakly singular kernels. Once the domain of integration is discretized into elements, these weakly singular kernels become strongly singular or ``near-singular". Common methods to compute these integrals when the kernel is a Green's function include the Duffy transform, polar coordinates with closed analytic formulas, and singularity extraction. However, these methods do not generalize well to the normal derivatives of Green's functions. We provide methods to integrate both the Green's function and its normal derivative on smooth surfaces discretized by triangular elements in three dimensions. For strongly singular integrals involving normal derivatives of Green's functions, we provide two methods that can accurately approximate the true integrals on the true domain. The Geometric method uses geometric information of the true surface of integration to approximate the original integral on the true domain using push-forward maps. The Interpolation-Duffy method heuristically cancels out the singularity and then evaluates the integral using a quadrature scheme. Both methods are better than simply setting the singular integrals to zero, while being faster than adaptive refinement methods. The explicit analytic formulas for integrating polynomials $p$ of degree less than three are provided.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
Inverse scattering problems for non-linear wave equations on Lorentzian manifolds
Authors:
Spyros Alexakis,
Hiroshi Isozaki,
Matti Lassas,
Teemu Tyni
Abstract:
We show that an inverse scattering problem for a semilinear wave equation can be solved on a manifold having an asymptotically Minkowskian infinity, that is, scattering functionals determine the topology, differentiable structure, and the conformal type of the manifold. Moreover, the metric and the coefficient of the non-linearity are determined up to a multiplicative transformation. The manifold…
▽ More
We show that an inverse scattering problem for a semilinear wave equation can be solved on a manifold having an asymptotically Minkowskian infinity, that is, scattering functionals determine the topology, differentiable structure, and the conformal type of the manifold. Moreover, the metric and the coefficient of the non-linearity are determined up to a multiplicative transformation. The manifold on which the inverse problem is considered is allowed to be an open, globally hyperbolic manifold which may have non-trivial topology or several infinities (i.e., ends) of which at least one has to be of the asymptotically Minkowskian type. To formulate the inverse problems we define a new type of data, non-linear scattering functionals, which are defined also in the cases where the classically defined scattering operators are not well-defined. This makes it possible to solve inverse problems also in cases where some of the incoming waves lead to a blow-up of the scattered solution. We use non-linear interaction of waves as a beneficial tool that helps to solve the inverse problem. The corresponding inverse problem for the linear wave equation still remains unsolved.
△ Less
Submitted 15 January, 2025; v1 submitted 14 November, 2024;
originally announced November 2024.
-
Existence of static vacuum extensions for Bartnik boundary data near Schwarzschild spheres
Authors:
Spyros Alexakis,
Zhongshan An,
Ahmed Ellithy,
Lan-Hsuan Huang
Abstract:
We obtain existence and local uniqueness of asymptotically flat, static vacuum extensions for Bartnik data on a sphere near the data of a sphere of symmetry in a Schwarzschild manifold.
We obtain existence and local uniqueness of asymptotically flat, static vacuum extensions for Bartnik data on a sphere near the data of a sphere of symmetry in a Schwarzschild manifold.
△ Less
Submitted 5 November, 2024; v1 submitted 4 November, 2024;
originally announced November 2024.
-
The behaviour of the DC current density at the edge of electrodes
Authors:
Spyros Alexakis
Abstract:
We study the complete electrode model boundary condition for second order elliptic PDE. A specific case of this is the PDE describing the electrostatic potential for a conductive body into which current is injected through electrodes that touch the boundary. We obtain the optimal description of the gradient of the electrostatic potential upon approach to the edge of the electrodes.
We study the complete electrode model boundary condition for second order elliptic PDE. A specific case of this is the PDE describing the electrostatic potential for a conductive body into which current is injected through electrodes that touch the boundary. We obtain the optimal description of the gradient of the electrostatic potential upon approach to the edge of the electrodes.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
A boundary integral equation method for the complete electrode model in electrical impedance tomography with tests on experimental data
Authors:
Teemu Tyni,
Adam R Stinchcombe,
Spyros Alexakis
Abstract:
We develop a boundary integral equation-based numerical method to solve for the electrostatic potential in two dimensions, inside a medium with piecewise constant conductivity, where the boundary condition is given by the complete electrode model (CEM). The CEM is seen as the most accurate model of the physical setting where electrodes are placed on the surface of an electrically conductive body,…
▽ More
We develop a boundary integral equation-based numerical method to solve for the electrostatic potential in two dimensions, inside a medium with piecewise constant conductivity, where the boundary condition is given by the complete electrode model (CEM). The CEM is seen as the most accurate model of the physical setting where electrodes are placed on the surface of an electrically conductive body, and currents are injected through the electrodes and the resulting voltages are measured again on these same electrodes. The integral equation formulation is based on expressing the electrostatic potential as the solution to a finite number of Laplace equations which are coupled through boundary matching conditions. This allows us to re-express the solution in terms of single layer potentials; the problem is thus re-cast as a system of integral equations on a finite number of smooth curves. We discuss an adaptive method for the solution of the resulting system of mildly singular integral equations. This solver is both fast and accurate. We then present a numerical inverse solver for electrical impedance tomography (EIT) which uses our forward solver at its core. To demonstrate the applicability of our results we test our numerical methods on an open electrical impedance tomography data set provided by the Finnish Inverse Problems Society.
△ Less
Submitted 27 March, 2024; v1 submitted 26 May, 2023;
originally announced May 2023.
-
Fast Computation of Electrostatic Potentials for Piecewise Constant Conductivities
Authors:
Kyle Bower,
Kirill Serkh,
Spyros Alexakis,
Adam R Stinchcombe
Abstract:
We present a novel numerical method for solving the elliptic partial differential equation problem for the electrostatic potential with piecewise constant conductivity. We employ an integral equation approach for which we derive a system of well-conditioned integral equations by representing the solution as a sum of single layer potentials. The kernel of the resulting integral operator is smooth p…
▽ More
We present a novel numerical method for solving the elliptic partial differential equation problem for the electrostatic potential with piecewise constant conductivity. We employ an integral equation approach for which we derive a system of well-conditioned integral equations by representing the solution as a sum of single layer potentials. The kernel of the resulting integral operator is smooth provided that the layers are well-separated. The fast multiple method is used to accelerate the generalized minimal residual method solution of the integral equations. For efficiency, we adapt the grid of the Nyström method based on the spectral resolution of the layer charge density. Additionally, we present a method for evaluating the solution that is efficient and accurate throughout the domain, circumventing the close-evaluation problem. To support the design choices of the numerical method, we derive regularity estimates with bounds explicitly in terms of the conductivities and the geometries of the boundaries between their regions. The resulting method is fast and accurate for solving for the electrostatic potential in media with piecewise constant conductivities.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
Squeezing a fixed amount of gravitational energy to arbitrarily small scales, in $U(1)$ symmetry
Authors:
Spyros Alexakis,
Nathan Thomas Carruth
Abstract:
We prove uniform finite-time existence of solutions to the vacuum Einstein equations in polarized U(1) symmetry which have uniformly positive incoming $H^1$ energy supported on an arbitrarily small set in the 2 + 1 spacetime obtained by quotienting by the U(1) symmetry. We also construct a subclass of solutions for which the energy remains concentrated (along a U(1) family of geodesics) throughout…
▽ More
We prove uniform finite-time existence of solutions to the vacuum Einstein equations in polarized U(1) symmetry which have uniformly positive incoming $H^1$ energy supported on an arbitrarily small set in the 2 + 1 spacetime obtained by quotienting by the U(1) symmetry. We also construct a subclass of solutions for which the energy remains concentrated (along a U(1) family of geodesics) throughout its evolution. These results rely on three innovations: a direct treatment of the 2 + 1 Einstein equations in a null geodesic gauge, a novel parabolic scaling of the Einstein equations in this gauge, and a new Klainerman-Sobolev inequality on rectangular strips.
△ Less
Submitted 13 June, 2024; v1 submitted 11 May, 2022;
originally announced May 2022.
-
Lorentzian Calderón problem near the Minkowski geometry
Authors:
Spyros Alexakis,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We study a Lorentzian version of the well-known Calderón problem that is concerned with determination of lower order coefficients in a wave equation on a smooth Lorentzian manifold, given the associated Dirichlet-to-Neumann map. In the earlier work of the authors it was shown that zeroth order coefficients can be uniquely determined under a two-sided spacetime curvature bound and the additional as…
▽ More
We study a Lorentzian version of the well-known Calderón problem that is concerned with determination of lower order coefficients in a wave equation on a smooth Lorentzian manifold, given the associated Dirichlet-to-Neumann map. In the earlier work of the authors it was shown that zeroth order coefficients can be uniquely determined under a two-sided spacetime curvature bound and the additional assumption that there are no conjugate points along null or spacelike geodesics. In this paper we show that uniqueness for the zeroth order coefficient holds for manifolds satisfying a weaker curvature bound as well as spacetime perturbations of such manifolds. This relies on a new optimal unique continuation principle for the wave equation in the exterior regions of double null cones. In particular, we solve the Lorentzian Calderón problem near the Minkowski geometry.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
Lorentzian Calderón problem under curvature bounds
Authors:
Spyros Alexakis,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We introduce a method of solving inverse boundary value problems for wave equations on Lorentzian manifolds, and show that zeroth order coefficients can be recovered under certain curvature bounds. The set of Lorentzian metrics satisfying the curvature bounds has a non-empty interior in the sense of arbitrary, smooth perturbations of the metric, whereas all previous results on this problem impose…
▽ More
We introduce a method of solving inverse boundary value problems for wave equations on Lorentzian manifolds, and show that zeroth order coefficients can be recovered under certain curvature bounds. The set of Lorentzian metrics satisfying the curvature bounds has a non-empty interior in the sense of arbitrary, smooth perturbations of the metric, whereas all previous results on this problem impose conditions on the metric that force it to be real analytic with respect to a suitably defined time variable. The analogous problem on Riemannian manifolds is called the Calderón problem, and in this case the known results require the metric to be independent of one of the variables. Our approach is based on a new unique continuation result in the exterior of the double null cone emanating from a point. The approach shares features with the classical Boundary Control method, and can be viewed as a generalization of this method to cases where no real analyticity is assumed.
△ Less
Submitted 2 October, 2020; v1 submitted 17 August, 2020;
originally announced August 2020.
-
Stable space-like singularity formation for axi-symmetric and polarized near-Schwarzschild black hole interiors
Authors:
Spyros Alexakis,
Grigorios Fournodavlos
Abstract:
We show a stability result for the Schwarzschild singularity (inside the black hole region) for the Einstein vacuum equations. The result is proven in the class of polarized axial symmetry, under perturbations of the Schwarzschild data induced on a hypersurface $\{r=\e\}$, $\e<<2M$. Our result is only partly a stability result, in that we show that while a (space-like) singularity persists under p…
▽ More
We show a stability result for the Schwarzschild singularity (inside the black hole region) for the Einstein vacuum equations. The result is proven in the class of polarized axial symmetry, under perturbations of the Schwarzschild data induced on a hypersurface $\{r=\e\}$, $\e<<2M$. Our result is only partly a stability result, in that we show that while a (space-like) singularity persists under perturbations as above, the behaviour of the metric approaching the singularity is much more involved than for the Schwarzschild solution. Indeed, we find that the solution displays asymptocially-velocity-term-dominated dynamics and approaches a different Kasner solution at each point of the singularity. These Kasner-type asymptotics are very far from isotropic, since (as in Schwarzschild) there are two contracting directions and one expanding one.
Our proof relies on energy methods and on a new approach to the EVE in axial symmetry, which we believe has wider applicability: In this symmetry class and under a suitable geodesic gauge, the EVE can be studied as a free wave coupled to (nonlinear) ODEs, which couple the geometry of the projected, 2+1 space-time to the free wave. The fact that the nonlinear part of the Einstein equations is described by ODEs lies at the heart of how one can overcome a certain linear instability exhibited by the singularity.
△ Less
Submitted 5 May, 2020; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Determining a Riemannian Metric from Minimal Areas
Authors:
Spyros Alexakis,
Tracey Balehowsky,
Adrian Nachman
Abstract:
We prove that if $(M,g)$ is a topological 3-ball with a $C^4$-smooth Riemannian metric $g$, and mean-convex boundary $\partial M$ then knowledge of least areas circumscribed by simple closed curves $γ\subset \partial M$ uniquely determines the metric $g$, under some additional geometric assumptions. These are that $g$ is either a) $C^3$-close to Euclidean or b) satisfies much weaker geometric cond…
▽ More
We prove that if $(M,g)$ is a topological 3-ball with a $C^4$-smooth Riemannian metric $g$, and mean-convex boundary $\partial M$ then knowledge of least areas circumscribed by simple closed curves $γ\subset \partial M$ uniquely determines the metric $g$, under some additional geometric assumptions. These are that $g$ is either a) $C^3$-close to Euclidean or b) satisfies much weaker geometric conditions which hold when the manifold is to a sufficient degree either thin, or straight. %sufficiently thin.
In fact, the least area data that we require is for a much more restricted class of curves $γ\subset \partial M$. We also prove a corresponding local result: assuming only that $(M,g)$ has strictly mean convex boundary at a point $p\in\partial M$, we prove that knowledge of the least areas circumscribed by any simple closed curve $γ$ in a neighbourhood $U\subset \partial M$ of $p$ uniquely determines the metric near $p$. Additionally, we sketch the proof of a global result with no thin/straight or curvature condition, but assuming the metric admits minimal foliations "from all directions".
The proofs rely on finding the metric along a continuous sweep-out of $M$ by area-minimizing surfaces; they bring together ideas from the 2D-Calderón inverse problem, minimal surface theory, and the careful analysis of a system of pseudo-differential equations.
△ Less
Submitted 6 February, 2018; v1 submitted 26 November, 2017;
originally announced November 2017.
-
The Penrose inequality on perturbations of the Schwarzschild exterior
Authors:
Spyros Alexakis
Abstract:
We prove a version the Penrose inequality for black hole space-times which are perturbations of the Schwarzschild exterior in a slab around a null hypersurface $\underline{\mathcal{N}}_0$. $\underline{\mathcal{N}}_0$ terminates at past null infinity $\mathcal{I}^-$ and $\mathcal{S}_0:=\partial\underline{\mathcal{N}}_0$ is chosen to be a marginally outer trapped sphere. We show that the area of…
▽ More
We prove a version the Penrose inequality for black hole space-times which are perturbations of the Schwarzschild exterior in a slab around a null hypersurface $\underline{\mathcal{N}}_0$. $\underline{\mathcal{N}}_0$ terminates at past null infinity $\mathcal{I}^-$ and $\mathcal{S}_0:=\partial\underline{\mathcal{N}}_0$ is chosen to be a marginally outer trapped sphere. We show that the area of $\mathcal{S}_0$ yields a lower bound for the Bondi energy of sections of past null infinity, thus also for the total ADM energy. Our argument is perturbative, and rests on suitably deforming the initial null hypersurface $\underline{\mathcal{N}}_0$ to one for which the natural "luminosity" foliation originally introduced by Hawking yields a monotonically increasing Hawking mass, and for which the leaves of this foliation become asymptotically round. It is to ensure the latter (essential) property that we perform the deformation of the initial nullhypersurface $\underline{\mathcal{N}}_0$.
△ Less
Submitted 21 June, 2015;
originally announced June 2015.
-
Non-existence of time-periodic vacuum spacetimes
Authors:
Spyros Alexakis,
Volker Schlue
Abstract:
We prove that smooth asymptotically flat solutions to the Einstein vacuum equations which are assumed to be periodic in time, are in fact stationary in a neighborhood of infinity. Our result applies under physically relevant regularity assumptions purely at the level of the initial data. In particular, our work removes the assumption of analyticity up to null infinity in [Bicak, Scholtz, and Tod;…
▽ More
We prove that smooth asymptotically flat solutions to the Einstein vacuum equations which are assumed to be periodic in time, are in fact stationary in a neighborhood of infinity. Our result applies under physically relevant regularity assumptions purely at the level of the initial data. In particular, our work removes the assumption of analyticity up to null infinity in [Bicak, Scholtz, and Tod; 2010]. The proof relies on extending a suitably constructed "candidate" Killing vector field from null infinity, via Carleman-type estimates obtained in [Alexakis, Schlue, Shao; 2013].
△ Less
Submitted 17 April, 2015;
originally announced April 2015.
-
Integral Kahler Invariants and the Bergman kernel asymptotics for line bundles
Authors:
Spyros Alexakis,
Kengo Hirachi
Abstract:
On a compact Kahler manifold, one can define global invariants by integrating local invariants of the metric. Assume that a global invariant thus obtained depends only on the Kahler class. Then we show that the integrand can be decomposed into a Chern polynomial (the integrand of a Chern number) and divergences of one forms, which do not contribute to the integral. We apply this decomposition form…
▽ More
On a compact Kahler manifold, one can define global invariants by integrating local invariants of the metric. Assume that a global invariant thus obtained depends only on the Kahler class. Then we show that the integrand can be decomposed into a Chern polynomial (the integrand of a Chern number) and divergences of one forms, which do not contribute to the integral. We apply this decomposition formula to describe the asymptotic expansion of the Bergman kernel for positive line bundles and to show that the CR Q-curvature on a Sasakian manifold is a divergence.
△ Less
Submitted 11 January, 2015;
originally announced January 2015.
-
On the profile of energy concentration at blow-up points for sub-conformal focusing nonlinear waves
Authors:
Spyros Alexakis,
Arick Shao
Abstract:
We consider singularities of the focusing subconformal nonlinear wave equation and some generalizations of it. At noncharacteristic points on the singularity surface, Merle and Zaag have identified the rate of blow-up of the $H^1$-norm of the solution inside cones that terminate at the singularity. We derive bounds that restrict how this $H^1$-energy can be distributed inside such cones. Our proof…
▽ More
We consider singularities of the focusing subconformal nonlinear wave equation and some generalizations of it. At noncharacteristic points on the singularity surface, Merle and Zaag have identified the rate of blow-up of the $H^1$-norm of the solution inside cones that terminate at the singularity. We derive bounds that restrict how this $H^1$-energy can be distributed inside such cones. Our proof relies on new localized estimates obtained using Carleman- type inequalities for such nonlinear waves. These bound the $L^{p+1}$-norm in the interior of timelike cones by their $H^1$-norm near the boundary of the cones. Such estimates can also be applied to obtain certain integrated decay estimates for globally regular solutions to such equations, in the interior of time cones.
△ Less
Submitted 5 April, 2017; v1 submitted 21 December, 2014;
originally announced December 2014.
-
Global uniqueness theorems for linear and nonlinear waves
Authors:
Spyros Alexakis,
Arick Shao
Abstract:
We prove a unique continuation from infinity theorem for regular waves of the form $[ \Box + \mathcal{V} (t, x) ]φ=0$. Under the assumption of no incoming and no outgoing radiation on specific halves of past and future null infinities, we show that the solution must vanish everywhere. The "no radiation" assumption is captured in a specific, finite rate of decay which in general depends on the…
▽ More
We prove a unique continuation from infinity theorem for regular waves of the form $[ \Box + \mathcal{V} (t, x) ]φ=0$. Under the assumption of no incoming and no outgoing radiation on specific halves of past and future null infinities, we show that the solution must vanish everywhere. The "no radiation" assumption is captured in a specific, finite rate of decay which in general depends on the $L^\infty$-profile of the potential $\mathcal{V}$. We show that the result is optimal in many regards. These results are then extended to certain power-law type nonlinear wave equations, where the order of decay one must assume is independent of the size of the nonlinear term. These results are obtained using a new family of global Carleman-type estimates on the exterior of a null cone. A companion paper to this one explores further applications of these new estimates to such nonlinear waves.
△ Less
Submitted 24 July, 2015; v1 submitted 3 December, 2014;
originally announced December 2014.
-
Unique continuation from infinity for linear waves
Authors:
Spyros Alexakis,
Volker Schlue,
Arick Shao
Abstract:
We prove various uniqueness results from null infinity, for linear waves on asymptotically flat space-times. Assuming vanishing of the solution to infinite order on suitable parts of future and past null infinities, we derive that the solution must vanish in an open set in the interior. We find that the parts of infinity where we must impose a vanishing condition depend strongly on the background…
▽ More
We prove various uniqueness results from null infinity, for linear waves on asymptotically flat space-times. Assuming vanishing of the solution to infinite order on suitable parts of future and past null infinities, we derive that the solution must vanish in an open set in the interior. We find that the parts of infinity where we must impose a vanishing condition depend strongly on the background geometry. In particular, for backgrounds with positive mass (such as Schwarzschild or Kerr), the required assumptions are much weaker than the ones in the Minkowski space-time. The results are nearly optimal in many respects. They can be considered analogues of uniqueness from infinity results for second order elliptic operators. This work is partly motivated by questions in general relativity.
△ Less
Submitted 30 January, 2014; v1 submitted 6 December, 2013;
originally announced December 2013.
-
Bounds on the Bondi Energy by a Flux of Curvature
Authors:
Spyros Alexakis,
Arick Shao
Abstract:
We consider smooth null cones in a vacuum spacetime that extend to future null infinity. For such cones that are perturbations of shear-free outgoing null cones in Schwarzschild spacetimes, we prove bounds for the Bondi energy, momentum, and rate of energy loss. The bounds depend on the closeness between the given cone and a corresponding cone in a Schwarzschild spacetime, measured purely in terms…
▽ More
We consider smooth null cones in a vacuum spacetime that extend to future null infinity. For such cones that are perturbations of shear-free outgoing null cones in Schwarzschild spacetimes, we prove bounds for the Bondi energy, momentum, and rate of energy loss. The bounds depend on the closeness between the given cone and a corresponding cone in a Schwarzschild spacetime, measured purely in terms of the differences between certain weighted $L^2$-norms of the space-time curvature on the cones, and of the geometries of the spheres from which they emanate. A key step in this paper is the construction of a family of asymptotically round cuts of our cone, relative to which the Bondi energy is measured.
△ Less
Submitted 5 August, 2016; v1 submitted 19 August, 2013;
originally announced August 2013.
-
Singular Ricci solitons and their stability under the Ricci flow
Authors:
Spyros Alexakis,
Dezhong Chen,
Grigorios Fournodavlos
Abstract:
We introduce certain spherically symmetric singular Ricci solitons and study their stability under the Ricci flow from a dynamical PDE point of view. The solitons in question exist for all dimensions $n+1\ge 3$, and all have a point singularity where the curvature blows up; their evolution under the Ricci flow is in sharp contrast to the evolution of their smooth counterparts. In particular, the f…
▽ More
We introduce certain spherically symmetric singular Ricci solitons and study their stability under the Ricci flow from a dynamical PDE point of view. The solitons in question exist for all dimensions $n+1\ge 3$, and all have a point singularity where the curvature blows up; their evolution under the Ricci flow is in sharp contrast to the evolution of their smooth counterparts. In particular, the family of diffeomorphisms associated with the Ricci flow "pushes away" from the singularity causing the evolving soliton to open up immediately becoming an incomplete (but non-singular) metric. In the second part of this paper we study the local-in time stability of this dynamical evolution, under spherically symmetric perturbations of the initial soliton metric. We prove a local well-posedness result for the Ricci flow near the singular initial data, which in particular implies that the "opening up" of the singularity persists for the perturbations also.
△ Less
Submitted 23 April, 2013;
originally announced April 2013.
-
Rigidity of stationary black holes with small angular momentum on the horizon
Authors:
S. Alexakis,
A. D. Ionescu,
S. Klainerman
Abstract:
We prove a black hole rigidity result for slowly rotating stationary solutions of the Einstein vacuum equations. More precisely, we prove that the domain of outer communications of a regular stationary vacuum is isometric to the domain of outer communications of a Kerr solution, provided that the stationary Killing vector-field $\T$ is small on the bifurcation sphere.
We prove a black hole rigidity result for slowly rotating stationary solutions of the Einstein vacuum equations. More precisely, we prove that the domain of outer communications of a regular stationary vacuum is isometric to the domain of outer communications of a Kerr solution, provided that the stationary Killing vector-field $\T$ is small on the bifurcation sphere.
△ Less
Submitted 8 April, 2013; v1 submitted 1 April, 2013;
originally announced April 2013.
-
On the Geometry of Null Cones to Infinity Under Curvature Flux Bounds
Authors:
Spyros Alexakis,
Arick Shao
Abstract:
The main objective of this paper is to control the geometry of a future outgoing truncated null cone extending smoothly toward infinity in an Einstein-vacuum spacetime. In particular, we wish to do this under minimal regularity assumptions, namely, at the (weighted) L^2-curvature level. We show that if the curvature flux and the data on an initial sphere of the cone are sufficiently close to the c…
▽ More
The main objective of this paper is to control the geometry of a future outgoing truncated null cone extending smoothly toward infinity in an Einstein-vacuum spacetime. In particular, we wish to do this under minimal regularity assumptions, namely, at the (weighted) L^2-curvature level. We show that if the curvature flux and the data on an initial sphere of the cone are sufficiently close to the corresponding values in a standard Minkowski or Schwarzschild null cone, then we can obtain quantitative bounds on the geometry of the entire infinite cone. The same bounds also imply the existence of limits at infinity of the natural geometric quantities. Furthermore, we make no global assumptions on the spacetime, as all assumptions are applied only to this single truncated cone. In our sequel paper, we will apply these results in order to control the Bondi energy and the angular momentum associated with this cone.
△ Less
Submitted 14 August, 2014; v1 submitted 6 March, 2013;
originally announced March 2013.
-
Complete Willmore surfaces in H3 with bounded energy: boundary regularity and bubbling
Authors:
Spyros Alexakis,
Rafe Mazzeo
Abstract:
We study various aspects related to boundary regularity of complete properly embedded Willmore surfaces in H3, particularly those related to assumptions on boundedness or smallness of a certain weighted version of the Willmore energy. We prove, in particular, that small energy controls C1 boundary regularity. We examine the possible lack of C1 convergence for sequences of surfaces with bounded Wil…
▽ More
We study various aspects related to boundary regularity of complete properly embedded Willmore surfaces in H3, particularly those related to assumptions on boundedness or smallness of a certain weighted version of the Willmore energy. We prove, in particular, that small energy controls C1 boundary regularity. We examine the possible lack of C1 convergence for sequences of surfaces with bounded Willmore energy and find that the mechanism responsible for this is a bubbling phenomenon, where energy escapes to infinity.
△ Less
Submitted 29 July, 2013; v1 submitted 22 April, 2012;
originally announced April 2012.
-
The decomposition of global conformal invariants VI: The proof of the proposition on local Riemannian invariants
Authors:
Spyros Alexakis
Abstract:
This is the last in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the…
▽ More
This is the last in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the Chern-Gauss-Bonnet integrand.
The present paper, jointly with [6,7] gives a proof of an algebraic Proposition regarding local Riemannian invariants, which lies at the heart of our resolution of the Deser-Schwimmer conjecture. This algebraic Propositon may be of independent interest, applicable to related problems.
△ Less
Submitted 18 December, 2009;
originally announced December 2009.
-
The decomposition of Global Conformal Invariants V
Authors:
Spyros Alexakis
Abstract:
This is the fifth in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the…
▽ More
This is the fifth in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the Chern-Gauss-Bonnet integrand.
The present paper complements [6] in reducing the purely algebraic results that were used in [3,4 to certain simpler Lemmas, which will be proven in the last paper in this series, [8].
△ Less
Submitted 18 December, 2009;
originally announced December 2009.
-
The decomposition of global conformal invariants IV: A proposition on local Riemannian invariants
Authors:
Spyros Alexakis
Abstract:
This is the fourth in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of th…
▽ More
This is the fourth in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the Chern-Gauss-Bonnet integrand.
The present paper lays out the second half of this entire work: The second half proves certain purely algebraic statements regarding local Riemannian invariants; these were used extensively in [3,4]. These results may be of independent interest, applicable to related problems.
△ Less
Submitted 18 December, 2009;
originally announced December 2009.
-
The Decomposition of Global Conformal Invariants: Some Technical Proofs. I
Authors:
Spyros Alexakis
Abstract:
This paper forms part of a larger work where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of "global conformal invariants"; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the Cher…
▽ More
This paper forms part of a larger work where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of "global conformal invariants"; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the Chern-Gauss-Bonnet integrand.
△ Less
Submitted 26 February, 2011; v1 submitted 18 December, 2009;
originally announced December 2009.
-
The decomposition of global conformal invariants II: The Fefferman-Graham ambient metric and the nature of the decomposition
Authors:
Spyros Alexakis
Abstract:
This is the second in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of th…
▽ More
This is the second in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the Chern-Gauss-Bonnet integrand.
The present paper addresses the hardest challenge in this series: It shows how to {\it separate} the local conformal invariant from the divergence term in the integrand; we make full use of the Fefferman-Graham ambient metric to construct the necessary local conformal invariants, as well as all the author's prior work [1,2,3] to construct the necessary divergences. This result combined with [3] completes the proof of the conjecture, subject to establishing a purely algebraic result which is proven in [6,7,8].
△ Less
Submitted 18 December, 2009;
originally announced December 2009.
-
Uniqueness of smooth stationary black holes in vacuum: small perturbations of the Kerr spaces
Authors:
S. Alexakis,
A. D. Ionescu,
S. Klainerman
Abstract:
We prove that a regular stationary black-hole solution of the Einstein vacuum equations which is "close" to some Kerr solution is, in fact, isometric to that Kerr solution.
We prove that a regular stationary black-hole solution of the Einstein vacuum equations which is "close" to some Kerr solution is, in fact, isometric to that Kerr solution.
△ Less
Submitted 6 April, 2009;
originally announced April 2009.
-
Hawking's local rigidity theorem without analyticity
Authors:
S. Alexakis,
A. D. Ionescu,
S. Klainerman
Abstract:
We prove the existence of a Hawking Killing vector-field in a full neighborhood of a local, regular, bifurcate, non-expanding horizon embedded in a smooth vacuum Einstein space-time. We do not assume analyticity of the space-time. This result will be applied in a second paper to prove a perturbative version of the uniqueness of smooth, stationary black holes in vacuum.
We prove the existence of a Hawking Killing vector-field in a full neighborhood of a local, regular, bifurcate, non-expanding horizon embedded in a smooth vacuum Einstein space-time. We do not assume analyticity of the space-time. This result will be applied in a second paper to prove a perturbative version of the uniqueness of smooth, stationary black holes in vacuum.
△ Less
Submitted 6 February, 2009;
originally announced February 2009.
-
Unique continuation for the vacuum Einstein equations
Authors:
Spyros Alexakis
Abstract:
We derive a unique continuation theorem for the vacuum Einstein equations. Our method of proof utilizes Carleman estimates (most importantly one obtained recently by Ionescu and Klainerman), but also relies strongly on certain geometric gauge constructions which make it possible to address this problem via such estimates. We indicate how our method can be used more broadly to derive unique conti…
▽ More
We derive a unique continuation theorem for the vacuum Einstein equations. Our method of proof utilizes Carleman estimates (most importantly one obtained recently by Ionescu and Klainerman), but also relies strongly on certain geometric gauge constructions which make it possible to address this problem via such estimates. We indicate how our method can be used more broadly to derive unique continuation for Einstein's equations from Carleman estimates for the wave operator.
△ Less
Submitted 2 September, 2009; v1 submitted 6 February, 2009;
originally announced February 2009.
-
Renormalized area and properly embedded minimal surfaces in hyperbolic 3-manifolds
Authors:
Spyridon Alexakis,
Rafe Mazzeo
Abstract:
If $Y$ is a properly embedded minimal surface in a convex cocompact hyperbolic 3-manifold $M$ with boundary at infinity an embedded curve $γ$, then Graham and Witten showed how to define a renormalized area $\calA$ of $Y$ via Hadamard regularization. We study renormalized area as a functional on the space of all such minimal surfaces. This requires a closer examination of these moduli spaces; fo…
▽ More
If $Y$ is a properly embedded minimal surface in a convex cocompact hyperbolic 3-manifold $M$ with boundary at infinity an embedded curve $γ$, then Graham and Witten showed how to define a renormalized area $\calA$ of $Y$ via Hadamard regularization. We study renormalized area as a functional on the space of all such minimal surfaces. This requires a closer examination of these moduli spaces; following White and Coskunuzer, we prove these are Banach manifolds and that the natural map taking $Y$ to $γ$ is Fredholm of index zero and proper, which leads to the existence of a $\ZZ$-valued degree theory for this mapping. We show that $\calA(Y)$ can be expressed as a sum of the Euler characteristic of $Y$ and the total integral of norm squared of the trace-free second fundamental form of $Y$. An extension of renormalized area to a wider class of nonminimal surfaces has a similar formula also involving the integral of mean curvature squared. We prove a formula for the first variation of renormalized area, and characterize the critical points when $M = \HH^3$ and $γ$ has a single component. All of these results have analogues for 4-dimensional Poincaré-Einstein metrics. We conclude by discussing the relationship of $\calA$ to the Willmore functional.
△ Less
Submitted 9 September, 2008; v1 submitted 15 February, 2008;
originally announced February 2008.
-
The decomposition of Global Conformal Invariants I: On a conjecture of Deser and Schwimmer
Authors:
Spyros Alexakis
Abstract:
This is the first in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global confor- mal invariants"; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of th…
▽ More
This is the first in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global confor- mal invariants"; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the Chern-Gauss-Bonnet integrand.
In this paper we set up an iterative procedure that proves the decom- position. We then derive the iterative step in the first of two cases, subject to a purely algebraic result which is proven in [6, 7, 8].
△ Less
Submitted 18 December, 2009; v1 submitted 11 November, 2007;
originally announced November 2007.
-
On conformally invariant differential operators
Authors:
Spyros Alexakis
Abstract:
We construct new families of conformally invariant differential operators acting on densities. We introduce a simple, direct approach which shows that all such operators arise via this construction when the degree is bounded by the dimension. The method relies on a study of well-known transformation laws and on Weyl's theory regarding identities holding ``formally'' vs. ``by substitution''. We a…
▽ More
We construct new families of conformally invariant differential operators acting on densities. We introduce a simple, direct approach which shows that all such operators arise via this construction when the degree is bounded by the dimension. The method relies on a study of well-known transformation laws and on Weyl's theory regarding identities holding ``formally'' vs. ``by substitution''. We also illustrate how this new method can strengthen existing results in the parabolic invariant theory for conformal geometries.
△ Less
Submitted 29 March, 2007; v1 submitted 31 August, 2006;
originally announced August 2006.
-
On the decomposition of global conformal invariants II
Authors:
Spyros Alexakis
Abstract:
This paper is a continuation of [2], where we complete our partial proof of the Deser-Schwimmer conjecture on the structure of ``global conformal invariants''. Our theorem deals with such invariants P(g^n) that locally depend only on the curvature tensor R_{ijkl} (without covariant derivatives).
In [2] we developed a powerful tool, the ``super divergence formula'' which applies to any Riemannia…
▽ More
This paper is a continuation of [2], where we complete our partial proof of the Deser-Schwimmer conjecture on the structure of ``global conformal invariants''. Our theorem deals with such invariants P(g^n) that locally depend only on the curvature tensor R_{ijkl} (without covariant derivatives).
In [2] we developed a powerful tool, the ``super divergence formula'' which applies to any Riemannian operator that always integrates to zero on compact manifolds. In particular, it applies to the operator I_{g^n}(φ) that measures the ``non-conformally invariant part'' of P(g^n). This paper resolves the problem of using this information we have obtained on the structure of I_{g^n}(φ) to understand the structure of P(g^n).
△ Less
Submitted 25 March, 2006; v1 submitted 23 September, 2005;
originally announced September 2005.
-
On the decomposition of global conformal invariants I
Authors:
Spyros Alexakis
Abstract:
This is the first of two papers where we address and partially confirm a conjecture of Deser and Schwimmer, originally postulated in high energy physics.
The objects of study are scalar Riemannian quantities constructed out of the curvature and its covariant derivatives, whose integrals over compact manifolds are invariant under conformal changes of the underlying metric. Our main conclusion is…
▽ More
This is the first of two papers where we address and partially confirm a conjecture of Deser and Schwimmer, originally postulated in high energy physics.
The objects of study are scalar Riemannian quantities constructed out of the curvature and its covariant derivatives, whose integrals over compact manifolds are invariant under conformal changes of the underlying metric. Our main conclusion is that each such quantity that locally depends only on the curvature tensor (without covariant derivatives) can be written as a linear combination of the Chern-Gauss-Bonnet integrand and a scalar conformal invariant.
△ Less
Submitted 25 March, 2006; v1 submitted 23 September, 2005;
originally announced September 2005.
