-
The Calderón problem on Riemannian surfaces and of minimal surfaces
Authors:
Cătălin I. Cârstea,
Tony Liimatainen,
Leo Tzou
Abstract:
In this paper we prove two results. The first shows that the Dirichlet-Neumann map of the operator $Δ_g+q$ on a Riemannian surface can determine its topological, differential, and metric structure. Earlier work of this type assumes a priori that the surface is a planar domain [36] or that the geometry is a priori known [29]. We will then apply this result to study a geometric inverse problem for d…
▽ More
In this paper we prove two results. The first shows that the Dirichlet-Neumann map of the operator $Δ_g+q$ on a Riemannian surface can determine its topological, differential, and metric structure. Earlier work of this type assumes a priori that the surface is a planar domain [36] or that the geometry is a priori known [29]. We will then apply this result to study a geometric inverse problem for determining minimal surfaces embedded in $3$-dimensional Riemannian manifolds. In particular we will show that knowledge of the volumes of embedded minimal surfaces determine not only their topological and differential structure but also their Riemannian structure as an embedded hypersurface. Such geometric inverse problems are partially inspired by the physical models proposed by the AdS/CFT correspondence.
The crucial ingredient in removing the planar domain assumption is the determination of the boundary trace of holomorphic functions from knowledge of the Dirichlet-Neumann map of $Δ_g +q$. This requires a new type of argument involving Carleman estimates and construction of CGO whose phase functions are not Morse as in the case of [29]. We anticipate that these techniques could be of use for studying other inverse problems in geometry and PDE.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Applications of the Stone-Weierstrass theorem in the Calderón problem
Authors:
Tony Liimatainen,
Mikko Salo
Abstract:
We give examples on the use of the Stone-Weierstrass theorem in inverse problems. We show uniqueness in the linearized Calderón problem on holomorphically separable Kähler manifolds, and in the Calderón problem for nonlinear equations on conformally transversally anisotropic manifolds. We also study the holomorphic separability condition in terms of plurisubharmonic functions. The Stone-Weierstras…
▽ More
We give examples on the use of the Stone-Weierstrass theorem in inverse problems. We show uniqueness in the linearized Calderón problem on holomorphically separable Kähler manifolds, and in the Calderón problem for nonlinear equations on conformally transversally anisotropic manifolds. We also study the holomorphic separability condition in terms of plurisubharmonic functions. The Stone-Weierstrass theorem allows us to generalize and simplify earlier results. It also makes it possible to circumvent the use of complex geometrical optics solutions and inversion of explicit transforms in certain cases.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
An inverse problem for general minimal surfaces
Authors:
Cătălin I. Cârstea,
Matti Lassas,
Tony Liimatainen,
Leo Tzou
Abstract:
In this paper we consider an inverse problem of determining a minimal surface embedded in a Riemannian manifold. We show under a topological condition that if $Σ$ is a $2$-dimensional embedded minimal surface, then the knowledge of the Dirichlet-to-Neumann map associated to the minimal surface equation determines $Σ$ up to an isometry. Without the topological condition, we show that a conformal fa…
▽ More
In this paper we consider an inverse problem of determining a minimal surface embedded in a Riemannian manifold. We show under a topological condition that if $Σ$ is a $2$-dimensional embedded minimal surface, then the knowledge of the Dirichlet-to-Neumann map associated to the minimal surface equation determines $Σ$ up to an isometry. Without the topological condition, we show that a conformal factor of a general minimal surface $Σ$ can be recovered.
We develop a semiclassical nonlinear calculus for complex geometric optics solutions, which allows an efficient error analysis for multiplication of the correction terms of the solutions. The calculus is independent of the application to the minimal surface equation and we expect it to have applications in various inverse problems for nonlinear equations in dimension $2$, in both $\mathbb{R}^2$ and geometric settings. Other applications of the results include generalized boundary rigidity problem and the AdS/CFT correspondence in physics.
△ Less
Submitted 22 October, 2023;
originally announced October 2023.
-
On determining and breaking the gauge class in inverse problems for reaction-diffusion equations
Authors:
Yavar Kian,
Tony Liimatainen,
Yi-Hsuan Lin
Abstract:
We investigate an inverse boundary value problem of determination of a nonlinear law for reaction-diffusion processes, which are modeled by general form semilinear parabolic equations. We do not assume that any solutions to these equations are known a priori, in which case the problem has a well known gauge symmetry. We determine, under additional assumptions, the semilinear term up to this symmet…
▽ More
We investigate an inverse boundary value problem of determination of a nonlinear law for reaction-diffusion processes, which are modeled by general form semilinear parabolic equations. We do not assume that any solutions to these equations are known a priori, in which case the problem has a well known gauge symmetry. We determine, under additional assumptions, the semilinear term up to this symmetry in a time-dependent anisotropic case modeled on Riemannian manifolds, and for partial data measurements on $\mathbb{R}^n$. Moreover, we present cases where it is possible to exploit the nonlinear interaction to break the gauge symmetry. This leads to full determination results of the nonlinear term. As an application, we show that it is possible to give a full resolution to classes of inverse source problems of determining a source term and nonlinear terms simultaneously. This is in strict contrast to inverse source problems for corresponding linear equations, which always have the gauge symmetry. We also consider a Carleman estimate with boundary terms based on intrinsic properties of parabolic equations.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Uniqueness results and gauge breaking for inverse source problems of semilinear elliptic equations
Authors:
Tony Liimatainen,
Yi-Hsuan Lin
Abstract:
We study inverse source problems associated to semilinear elliptic equations of the form
\[
Δu(x)+a(x,u)=F(x),
\]
on a bounded domain $Ω\subset \mathbb{R}^n$, $n\geq 2$. We show that it is possible to use nonlinearity to break the gauge symmetry of the inverse source problem for a class of nonlinearities $a(x,u)$. This is in contrast to inverse source problems for linear equations, which a…
▽ More
We study inverse source problems associated to semilinear elliptic equations of the form
\[
Δu(x)+a(x,u)=F(x),
\]
on a bounded domain $Ω\subset \mathbb{R}^n$, $n\geq 2$. We show that it is possible to use nonlinearity to break the gauge symmetry of the inverse source problem for a class of nonlinearities $a(x,u)$. This is in contrast to inverse source problems for linear equations, which always have a gauge symmetry. The class of nonlinearities include certain polynomials and exponential nonlinearities. For these nonlinearities, we determine both $a(x,u)$ and $F(x)$ uniquely from the associated DN map.
Moreover, for general nonlinearities $a(x,u)$, we show that we can recover the derivatives $\partial_u^ka(x,u)$ and the source $F(x)$ up to a gauge. Especially, we recover general polynomial nonlinearities up to a gauge and generalize results of [FO20,LLLS20] by removing the assumption that $u\equiv 0$ is a solution.
△ Less
Submitted 14 February, 2023; v1 submitted 25 April, 2022;
originally announced April 2022.
-
An inverse problem for a semi-linear wave equation: a numerical study
Authors:
Matti Lassas,
Tony Liimatainen,
Leyter Potenciano-Machado,
Teemu Tyni
Abstract:
We consider an inverse problem of recovering a potential associated to a semi-linear wave equation with a quadratic nonlinearity in $1 + 1$ dimensions. We develop a numerical scheme to determine the potential from a noisy Dirichlet-to-Neumann map on the lateral boundary. The scheme is based on the recent higher order linearization method [20]. We also present an approach to numerically estimating…
▽ More
We consider an inverse problem of recovering a potential associated to a semi-linear wave equation with a quadratic nonlinearity in $1 + 1$ dimensions. We develop a numerical scheme to determine the potential from a noisy Dirichlet-to-Neumann map on the lateral boundary. The scheme is based on the recent higher order linearization method [20]. We also present an approach to numerically estimating two-dimensional derivatives of noisy data via Tikhonov regularization. The methods are tested using synthetic noisy measurements of the Dirichlet-to-Neumann map. Various examples of reconstructions of the potential functions are given.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
An inverse problem for the Riemannian minimal surface equation
Authors:
Cătălin I. Cârstea,
Matti Lassas,
Tony Liimatainen,
Lauri Oksanen
Abstract:
In this paper we consider determining a minimal surface embedded in a Riemannian manifold $Σ\times \mathbb{R}$. We show that if $Σ$ is a two dimensional Riemannian manifold with boundary, then the knowledge of the associated Dirichlet-to-Neumann map for the minimal surface equation determine $Σ$ up to an isometry.
In this paper we consider determining a minimal surface embedded in a Riemannian manifold $Σ\times \mathbb{R}$. We show that if $Σ$ is a two dimensional Riemannian manifold with boundary, then the knowledge of the associated Dirichlet-to-Neumann map for the minimal surface equation determine $Σ$ up to an isometry.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
An inverse problem for a semilinear elliptic equation on conformally transversally anisotropic manifolds
Authors:
Ali Feizmohammadi,
Tony Liimatainen,
Yi-Hsuan Lin
Abstract:
Given a conformally transversally anisotropic manifold $(M,g)$, we consider the semilinear elliptic equation
$$(-Δ_{g}+V)u+qu^2=0\quad \text{on $M$}.$$ We show that an a priori unknown smooth function $q$ can be uniquely determined from the knowledge of the Dirichlet-to-Neumann map associated to the semilinear elliptic equation. This extends the previously known results of the works [FO20, LLLS2…
▽ More
Given a conformally transversally anisotropic manifold $(M,g)$, we consider the semilinear elliptic equation
$$(-Δ_{g}+V)u+qu^2=0\quad \text{on $M$}.$$ We show that an a priori unknown smooth function $q$ can be uniquely determined from the knowledge of the Dirichlet-to-Neumann map associated to the semilinear elliptic equation. This extends the previously known results of the works [FO20, LLLS21a]. Our proof is based on analyzing higher order linearizations of the semilinear equation with non-vanishing boundary traces and also the study of interactions of two or more products of the so-called Gaussian quasimode solutions to the linearized equation.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Stability estimates for inverse problems for semi-linear wave equations on Lorentzian manifolds
Authors:
Matti Lassas,
Tony Liimatainen,
Leyter Potenciano-Machado,
Teemu Tyni
Abstract:
This paper concerns an inverse boundary value problem of recovering a zeroth order time-dependent term of a semi-linear wave equation on a globally hyperbolic Lorentzian manifold. We show that an unknown potential $q$ in the non-linear wave equation $\square_g u +q u^m=0$, $m\geq 4$, can be recovered in a Hölder stable way from the Dirichlet-to-Neumann map. Our proof is based on the higher order l…
▽ More
This paper concerns an inverse boundary value problem of recovering a zeroth order time-dependent term of a semi-linear wave equation on a globally hyperbolic Lorentzian manifold. We show that an unknown potential $q$ in the non-linear wave equation $\square_g u +q u^m=0$, $m\geq 4$, can be recovered in a Hölder stable way from the Dirichlet-to-Neumann map. Our proof is based on the higher order linearization method and the use of Gaussian beams. Unlike some related works, we do not assume that the boundary is convex or that pairs of lightlike geodesics can intersect only once. For this, we introduce some general constructions in Lorentzian geometry. We expect these constructions to be applicable to studies of related problems as well.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
Counterexamples to inverse problems for the wave equation
Authors:
Tony Liimatainen,
Lauri Oksanen
Abstract:
We construct counterexamples to inverse problems for the wave operator on domains in $\mathbb{R}^{n+1}$, $n \ge 2$, and on Lorentzian manifolds. We show that non-isometric Lorentzian metrics can lead to same partial data measurements, which are formulated in terms certain restrictions of the Dirichlet-to-Neumann map. The Lorentzian metrics giving counterexamples are time-dependent, but they are sm…
▽ More
We construct counterexamples to inverse problems for the wave operator on domains in $\mathbb{R}^{n+1}$, $n \ge 2$, and on Lorentzian manifolds. We show that non-isometric Lorentzian metrics can lead to same partial data measurements, which are formulated in terms certain restrictions of the Dirichlet-to-Neumann map. The Lorentzian metrics giving counterexamples are time-dependent, but they are smooth and non-degenerate. On $\mathbb{R}^{n+1}$ the metrics are conformal to the Minkowski metric.
△ Less
Submitted 26 January, 2021;
originally announced January 2021.
-
Inverse problems for elliptic equations with fractional power type nonlinearities
Authors:
Tony Liimatainen,
Yi-Hsuan Lin,
Mikko Salo,
Teemu Tyni
Abstract:
We study inverse problems for semilinear elliptic equations with fractional power type nonlinearities. Our arguments are based on the higher order linearization method, which helps us to solve inverse problems for certain nonlinear equations in cases where the solution for a corresponding linear equation is not known. By using a fractional order adaptation of this method, we show that the results…
▽ More
We study inverse problems for semilinear elliptic equations with fractional power type nonlinearities. Our arguments are based on the higher order linearization method, which helps us to solve inverse problems for certain nonlinear equations in cases where the solution for a corresponding linear equation is not known. By using a fractional order adaptation of this method, we show that the results of [LLLS20a, LLLS20b] remain valid for general power type nonlinearities.
△ Less
Submitted 9 December, 2020;
originally announced December 2020.
-
An Inverse Problem for the Relativistic Boltzmann Equation
Authors:
Tracey Balehowsky,
Antti Kujanpää,
Matti Lassas,
Tony Liimatainen
Abstract:
We consider an inverse problem for the Boltzmann equation on a globally hyperbolic Lorentzian spacetime $(M,g)$ with an unknown metric $g$. We consider measurements done in a neighbourhood $V\subset M$ of a timelike path $μ$ that connects a point $x^-$ to a point $x^+$. The measurements are modelled by a source-to-solution map, which maps a source supported in $V$ to the restriction of the solutio…
▽ More
We consider an inverse problem for the Boltzmann equation on a globally hyperbolic Lorentzian spacetime $(M,g)$ with an unknown metric $g$. We consider measurements done in a neighbourhood $V\subset M$ of a timelike path $μ$ that connects a point $x^-$ to a point $x^+$. The measurements are modelled by a source-to-solution map, which maps a source supported in $V$ to the restriction of the solution to the Boltzmann equation to the set $V$. We show that the source-to-solution map uniquely determines the Lorentzian spacetime, up to an isometry, in the set $I^+(x^-)\cap I^-(x^+)\subset M$. The set $I^+(x^-)\cap I^-(x^+)$ is the intersection of the future of the point $x^-$ and the past of the point $x^+$, and hence is the maximal set to where causal signals sent from $x^-$ can propagate and return to the point $x^+$. The proof of the result is based on using the nonlinearity of the Boltzmann equation as a beneficial feature for solving the inverse problem.
△ Less
Submitted 27 September, 2022; v1 submitted 18 November, 2020;
originally announced November 2020.
-
Linearized Calderón problem and exponentially accurate quasimodes for analytic manifolds
Authors:
Katya Krupchyk,
Tony Liimatainen,
Mikko Salo
Abstract:
In this article we study the linearized anisotropic Calderón problem on a compact Riemannian manifold with boundary. This problem amounts to showing that products of pairs of harmonic functions of the manifold form a complete set. We assume that the manifold is transversally anisotropic and that the transversal manifold is real analytic and satisfies a geometric condition related to the geometry o…
▽ More
In this article we study the linearized anisotropic Calderón problem on a compact Riemannian manifold with boundary. This problem amounts to showing that products of pairs of harmonic functions of the manifold form a complete set. We assume that the manifold is transversally anisotropic and that the transversal manifold is real analytic and satisfies a geometric condition related to the geometry of pairs of intersecting geodesics. In this case, we solve the linearized anisotropic Calderón problem. The geometric condition does not involve the injectivity of the geodesic X-ray transform. Crucial ingredients in the proof of our result are the construction of Gaussian beam quasimodes on the transversal manifold, with exponentially small errors, as well as the FBI transform characterization of the analytic wave front set.
△ Less
Submitted 11 September, 2020;
originally announced September 2020.
-
Uniqueness and stability of an inverse problem for a semi-linear wave equation
Authors:
Matti Lassas,
Tony Liimatainen,
Leyter Potenciano-Machado,
Teemu Tyni
Abstract:
We consider the recovery of a potential associated with a semi-linear wave equation on $\mathbb{R}^{n+1}$, $n\geq 1$. We show a Hölder stability estimate for the recovery of an unknown potential $a$ of the wave equation $\square u +a u^m=0$ from its Dirichlet-to-Neumann map. We show that an unknown potential $a(x,t)$, supported in $Ω\times[t_1,t_2]$, of the wave equation $\square u +a u^m=0$ can b…
▽ More
We consider the recovery of a potential associated with a semi-linear wave equation on $\mathbb{R}^{n+1}$, $n\geq 1$. We show a Hölder stability estimate for the recovery of an unknown potential $a$ of the wave equation $\square u +a u^m=0$ from its Dirichlet-to-Neumann map. We show that an unknown potential $a(x,t)$, supported in $Ω\times[t_1,t_2]$, of the wave equation $\square u +a u^m=0$ can be recovered in a Hölder stable way from the map $u|_{\partial Ω\times [0,T]}\mapsto \langleψ,\partial_νu|_{\partial Ω\times [0,T]}\rangle_{L^2(\partial Ω\times [0,T])}$. This data is equivalent to the inner product of the Dirichlet-to-Neumann map with a measurement function $ψ$. We also prove similar stability result for the recovery of $a$ when there is noise added to the boundary data. The method we use is constructive and it is based on the higher order linearization. As a consequence, we also get a uniqueness result. We also give a detailed presentation of the forward problem for the equation $\square u +a u^m=0$.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
Conformal harmonic coordinates
Authors:
Matti Lassas,
Tony Liimatainen
Abstract:
We study conformal harmonic coordinates on Riemannian manifolds. These are coordinates constructed as quotients of solutions to the conformal Laplace equation. We show their existence under general conditions. We find that conformal harmonic coordinates are a close conformal analogue of harmonic coordinates. We prove up to boundary regularity results for conformal map**s. We show that Weyl, Cott…
▽ More
We study conformal harmonic coordinates on Riemannian manifolds. These are coordinates constructed as quotients of solutions to the conformal Laplace equation. We show their existence under general conditions. We find that conformal harmonic coordinates are a close conformal analogue of harmonic coordinates. We prove up to boundary regularity results for conformal map**s. We show that Weyl, Cotton, Bach, and Fefferman-Graham obstruction tensors become elliptic operators in conformal harmonic coordinates if one normalizes the determinant of the metric. We give a corresponding elliptic regularity result, which includes an analytic case. We prove a unique continuation result for local conformal flatness for Bach and obstruction flat manifolds. We discuss and prove existence of conformal harmonic coordinates on Lorentzian manifolds. We prove unique continuation results for conformal map**s both on Riemannian and Lorentzian manifolds.
△ Less
Submitted 20 December, 2019; v1 submitted 17 December, 2019;
originally announced December 2019.
-
Partial data inverse problems and simultaneous recovery of boundary and coefficients for semilinear elliptic equations
Authors:
Matti Lassas,
Tony Liimatainen,
Yi-Hsuan Lin,
Mikko Salo
Abstract:
We study various partial data inverse boundary value problems for the semilinear elliptic equation $Δu+ a(x,u)=0$ in a domain in $\mathbb R^n$ by using the higher order linearization technique introduced in [LLS 19, FO19]. We show that the Dirichlet-to-Neumann map of the above equation determines the Taylor series of $a(x,z)$ at $z=0$ under general assumptions on $a(x,z)$. The determination of the…
▽ More
We study various partial data inverse boundary value problems for the semilinear elliptic equation $Δu+ a(x,u)=0$ in a domain in $\mathbb R^n$ by using the higher order linearization technique introduced in [LLS 19, FO19]. We show that the Dirichlet-to-Neumann map of the above equation determines the Taylor series of $a(x,z)$ at $z=0$ under general assumptions on $a(x,z)$. The determination of the Taylor series can be done in parallel with the detection of an unknown cavity inside the domain or an unknown part of the boundary of the domain. The method relies on the solution of the linearized partial data Calderón problem [FKSU09], and implies the solution of partial data problems for certain semilinear equations $Δu+ a(x,u) = 0$ also proved in [KU19].
The results that we prove are in contrast to the analogous inverse problems for the linear Schrödinger equation. There recovering an unknown cavity (or part of the boundary) and the potential simultaneously are long-standing open problems, and the solution to the Calderón problem with partial data is known only in special cases when $n \geq 3$.
△ Less
Submitted 7 May, 2019;
originally announced May 2019.
-
Inverse problems for elliptic equations with power type nonlinearities
Authors:
Matti Lassas,
Tony Liimatainen,
Yi-Hsuan Lin,
Mikko Salo
Abstract:
We introduce a method for solving Calderón type inverse problems for semilinear equations with power type nonlinearities. The method is based on higher order linearizations, and it allows one to solve inverse problems for certain nonlinear equations in cases where the solution for a corresponding linear equation is not known. Assuming the knowledge of a nonlinear Dirichlet-to-Neumann map, we deter…
▽ More
We introduce a method for solving Calderón type inverse problems for semilinear equations with power type nonlinearities. The method is based on higher order linearizations, and it allows one to solve inverse problems for certain nonlinear equations in cases where the solution for a corresponding linear equation is not known. Assuming the knowledge of a nonlinear Dirichlet-to-Neumann map, we determine both a potential and a conformal manifold simultaneously in dimension $2$, and a potential on transversally anisotropic manifolds in dimensions $n \geq 3$. In the Euclidean case, we show that one can solve the Calderón problem for certain semilinear equations in a surprisingly simple way without using complex geometrical optics solutions.
△ Less
Submitted 29 March, 2019;
originally announced March 2019.
-
The Poisson embedding approach to the Calderón problem
Authors:
Matti Lassas,
Tony Liimatainen,
Mikko Salo
Abstract:
We introduce a new approach to the anisotropic Calderón problem, based on a map called Poisson embedding that identifies the points of a Riemannian manifold with distributions on its boundary. We give a new uniqueness result for a large class of Calderón type inverse problems for quasilinear equations in the real analytic case. The approach also leads to a new proof of the result by Lassas and Uhl…
▽ More
We introduce a new approach to the anisotropic Calderón problem, based on a map called Poisson embedding that identifies the points of a Riemannian manifold with distributions on its boundary. We give a new uniqueness result for a large class of Calderón type inverse problems for quasilinear equations in the real analytic case. The approach also leads to a new proof of the result by Lassas and Uhlmann (2001) solving the Calderón problem on real analytic Riemannian manifolds. The proof uses the Poisson embedding to determine the harmonic functions in the manifold up to a harmonic morphism. The method also involves various Runge approximation results for linear elliptic equations.
△ Less
Submitted 13 June, 2018;
originally announced June 2018.
-
The linearized Calderon problem in transversally anisotropic geometries
Authors:
David Dos Santos Ferreira,
Yaroslav Kurylev,
Matti Lassas,
Tony Liimatainen,
Mikko Salo
Abstract:
In this article we study the linearized anisotropic Calderon problem. In a compact manifold with boundary, this problem amounts to showing that products of harmonic functions form a complete set. Assuming that the manifold is transversally anisotropic, we show that the boundary measurements determine an FBI type transform at certain points in the transversal manifold. This leads to recovery of tra…
▽ More
In this article we study the linearized anisotropic Calderon problem. In a compact manifold with boundary, this problem amounts to showing that products of harmonic functions form a complete set. Assuming that the manifold is transversally anisotropic, we show that the boundary measurements determine an FBI type transform at certain points in the transversal manifold. This leads to recovery of transversal singularities in the linearized problem. The method requires a geometric condition on the transversal manifold related to pairs of intersecting geodesics, but it does not involve the geodesic X-ray transform which has limited earlier results on this problem.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
The Calderón problem for the conformal Laplacian
Authors:
Matti Lassas,
Tony Liimatainen,
Mikko Salo
Abstract:
We consider a conformally invariant version of the Calderón problem, where the objective is to determine the conformal class of a Riemannian manifold with boundary from the Dirichlet-to-Neumann map for the conformal Laplacian. The main result states that a locally conformally real-analytic manifold in dimensions $\geq 3$ can be determined in this way, giving a positive answer to an earlier conject…
▽ More
We consider a conformally invariant version of the Calderón problem, where the objective is to determine the conformal class of a Riemannian manifold with boundary from the Dirichlet-to-Neumann map for the conformal Laplacian. The main result states that a locally conformally real-analytic manifold in dimensions $\geq 3$ can be determined in this way, giving a positive answer to an earlier conjecture by Lassas and Uhlmann (2001). The proof proceeds as in the standard Calderón problem on a real-analytic Riemannian manifold, but new features appear due to the conformal structure. In particular, we introduce a new coordinate system that replaces harmonic coordinates when determining the conformal class in a neighborhood of the boundary.
△ Less
Submitted 23 December, 2016;
originally announced December 2016.
-
Equivalence of quasiregular map**s on subRiemannian manifolds via the Popp extension
Authors:
Chang-Yu Guo,
Tony Liimatainen
Abstract:
We show that all the common definitions of quasiregular map**s $f\colon M\to N$ between two equiregular subRiemannian manifolds of homogeneous dimension $Q\geq 2$ are quantitatively equivalent with precise dependences of the quasiregularity constants. As an immediate consequence, we obtain that if $f$ is $1$-quasiregular according to one of the definitions, then it is also $1$-quasiregular accor…
▽ More
We show that all the common definitions of quasiregular map**s $f\colon M\to N$ between two equiregular subRiemannian manifolds of homogeneous dimension $Q\geq 2$ are quantitatively equivalent with precise dependences of the quasiregularity constants. As an immediate consequence, we obtain that if $f$ is $1$-quasiregular according to one of the definitions, then it is also $1$-quasiregular according to any other definition. In particular, this recovers a recent theorem of Capogna et al. on the equivalence of $1$-quasiconformal map**s.
Our main results answer affirmatively a few open questions from the recent research. The main new ingredient in our proofs is the distortion estimates for particular local extensions of the horizontal metrics. These extensions are named "Popp extensions", and based on these extensions, we introduce a new natural and invariant definition of quasiregularity in the equiregular subRiemannian setting. The analysis on Popp extensions and on the implied distortion is also of independent interest.
△ Less
Submitted 3 May, 2016;
originally announced May 2016.
-
p-harmonic coordinates for Hölder metrics and applications
Authors:
Vesa Julin,
Tony Liimatainen,
Mikko Salo
Abstract:
We show that on any Riemannian manifold with Hölder continuous metric tensor, there exists a $p$-harmonic coordinate system near any point. When $p = n$ this leads to a useful gauge condition for regularity results in conformal geometry. As applications, we show that any conformal map** between manifolds having $C^α$ metric tensors is $C^{1+α}$ regular, and that a manifold with…
▽ More
We show that on any Riemannian manifold with Hölder continuous metric tensor, there exists a $p$-harmonic coordinate system near any point. When $p = n$ this leads to a useful gauge condition for regularity results in conformal geometry. As applications, we show that any conformal map** between manifolds having $C^α$ metric tensors is $C^{1+α}$ regular, and that a manifold with $W^{1,n} \cap C^α$ metric tensor and with vanishing Weyl tensor is locally conformally flat if $n \geq 4$. The results extend the works [LS14, LS15] from the case of $C^{1+α}$ metrics to the Hölder continuous case. In an appendix, we also develop some regularity results for overdetermined elliptic systems in divergence form.
△ Less
Submitted 14 July, 2015;
originally announced July 2015.
-
Local gauge conditions for ellipticity in conformal geometry
Authors:
Tony Liimatainen,
Mikko Salo
Abstract:
In this article we introduce local gauge conditions under which many curvature tensors appearing in conformal geometry, such as the Weyl, Cotton, Bach, and Fefferman-Graham obstruction tensors, become elliptic operators. The gauge conditions amount to fixing an $n$-harmonic coordinate system and normalizing the determinant of the metric. We also give corresponding elliptic regularity results and c…
▽ More
In this article we introduce local gauge conditions under which many curvature tensors appearing in conformal geometry, such as the Weyl, Cotton, Bach, and Fefferman-Graham obstruction tensors, become elliptic operators. The gauge conditions amount to fixing an $n$-harmonic coordinate system and normalizing the determinant of the metric. We also give corresponding elliptic regularity results and characterizations of local conformal flatness in low regularity settings.
△ Less
Submitted 14 October, 2013;
originally announced October 2013.
-
$n$-harmonic coordinates and the regularity of conformal map**s
Authors:
Tony Liimatainen,
Mikko Salo
Abstract:
This article studies the smoothness of conformal map**s between two Riemannian manifolds whose metric tensors have limited regularity. We show that any bi-Lipschitz conformal map** or $1$-quasiregular map** between two manifolds with $C^r$ metric tensors ($r > 1$) is a $C^{r+1}$ conformal (local) diffeomorphism. This result was proved in [12, 27, 33], but we give a new proof of this fact. Th…
▽ More
This article studies the smoothness of conformal map**s between two Riemannian manifolds whose metric tensors have limited regularity. We show that any bi-Lipschitz conformal map** or $1$-quasiregular map** between two manifolds with $C^r$ metric tensors ($r > 1$) is a $C^{r+1}$ conformal (local) diffeomorphism. This result was proved in [12, 27, 33], but we give a new proof of this fact. The proof is based on $n$-harmonic coordinates, a generalization of the standard harmonic coordinates that is particularly suited to studying conformal map**s. We establish the existence of a $p$-harmonic coordinate system for $1 < p < \infty$ on any Riemannian manifold.
△ Less
Submitted 3 June, 2016; v1 submitted 6 September, 2012;
originally announced September 2012.
-
Optimal Riemannian metric for a volumorphism and a mean ergodic theorem in complete global Alexandrov nonpositively curved spaces
Authors:
Tony Liimatainen
Abstract:
In this paper we give a natural condition for when a volumorphism on a Riemannian manifold $(M,g)$ is actually an isometry with respect to some other, optimal, Riemannian metric $h$. We consider the natural action of volumorphisms on the space $\M_μ^s$ of all Riemannian metrics of Sobolev class $H^s$, $s>n/2$, with a fixed volume form $μ$. An optimal Riemannian metric, for a given volumorphism, is…
▽ More
In this paper we give a natural condition for when a volumorphism on a Riemannian manifold $(M,g)$ is actually an isometry with respect to some other, optimal, Riemannian metric $h$. We consider the natural action of volumorphisms on the space $\M_μ^s$ of all Riemannian metrics of Sobolev class $H^s$, $s>n/2$, with a fixed volume form $μ$. An optimal Riemannian metric, for a given volumorphism, is a fixed point of this action in a certain complete metric space containing $\M_μ^s$ as an isometrically embedded subset. We show that a fixed point exists if the orbit of the action is bounded. We also generalize a mean ergodic theorem and a fixed point theorem to the nonlinear setting of complete global Alexandrov nonpositive curvature spaces.
△ Less
Submitted 2 June, 2012;
originally announced June 2012.
-
On the Role of Riemannian Metrics in Conformal and Quasiconformal Geometry
Authors:
Tony Liimatainen
Abstract:
This article is the introductory part of authors PhD thesis. The article presents a new coordinate invariant definition of quasiregular and quasiconformal map**s on Riemannian manifolds that generalizes the definition of quasiregular map**s on $\R^n$. The new definition arises naturally from the inner product structures of Riemannian manifolds. The basic properties of the map**s satisfying t…
▽ More
This article is the introductory part of authors PhD thesis. The article presents a new coordinate invariant definition of quasiregular and quasiconformal map**s on Riemannian manifolds that generalizes the definition of quasiregular map**s on $\R^n$. The new definition arises naturally from the inner product structures of Riemannian manifolds. The basic properties of the map**s satisfying the new definition and a natural convergence theorem for these map**s are given. These results are applied in a subsequent paper, arXiv:1209.1285. In the current article, an application, likewise demonstrating the usability of the new definition, is given. It is proven that any countable quasiconformal group on a general Riemannian manifolds admits an invariant conformal structure. This result generalizes a classical result by Pekka Tukia in the countable case.
△ Less
Submitted 14 October, 2013; v1 submitted 4 October, 2011;
originally announced October 2011.
-
Nowhere conformally homogeneous manifolds and limiting Carleman weights
Authors:
Tony Liimatainen,
Mikko Salo
Abstract:
In this note we prove that a generic Riemannian manifold of dimension $\geq 3$ does not admit any nontrivial local conformal diffeomorphisms. This is a conformal analog of a result of Sunada concerning local isometries, and makes precise the principle that generic manifolds in high dimensions do not have conformal symmetries. Consequently, generic manifolds of dimension $\geq 3$ do not admit nontr…
▽ More
In this note we prove that a generic Riemannian manifold of dimension $\geq 3$ does not admit any nontrivial local conformal diffeomorphisms. This is a conformal analog of a result of Sunada concerning local isometries, and makes precise the principle that generic manifolds in high dimensions do not have conformal symmetries. Consequently, generic manifolds of dimension $\geq 3$ do not admit nontrivial conformal Killing vector fields near any point. As an application to the inverse problem of Calderón on manifolds, this implies that generic manifolds of dimension $\geq 3$ do not admit limiting Carleman weights near any point.
△ Less
Submitted 10 November, 2010;
originally announced November 2010.