Showing 1–19 of 19 results for author: Cârstea, C I

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.

Comments: The authors are grateful to Matti Lassas who was involved in an earlier iteration of this work, but graciously removed himself as an author from the current, much more general, version. Based on an advice from arXiv moderators we submit this new version of the paper with different authors to replace the earlier version arXiv:2310.14268. The earlier version will not ever be published anywhere

MSC Class: 35R30; 53A10; 35J25

Prescribed nonlinearity helps in an anisotropic Calderón-type problem

Authors: Cătălin I. Cârstea

Abstract: In this paper I consider the inverse boundary value problem for a quasilinear, anisotropic, elliptic equation of the form $\nabla\cdot(γ\nabla u+|\nabla u|^{p-2}\nabla u)=0$, where $γ$ is a smooth, matrix valued, function with a uniform lower bound. I show that boundary Dirichlet and Neumann data for this equation, in the form of a Dirichlet-to-Neumann map, determine the coefficient matrix uniquel… ▽ More In this paper I consider the inverse boundary value problem for a quasilinear, anisotropic, elliptic equation of the form $\nabla\cdot(γ\nabla u+|\nabla u|^{p-2}\nabla u)=0$, where $γ$ is a smooth, matrix valued, function with a uniform lower bound. I show that boundary Dirichlet and Neumann data for this equation, in the form of a Dirichlet-to-Neumann map, determine the coefficient matrix uniquely, in dimension 3 and higher. This stands in contrast to the classical linear anisotropic Calderón problem where there is a known obstruction to uniqueness due to the invariance of the boundary data under transformations of the equation via any boundary fixing diffeomorphism. △ Less

Submitted 21 June, 2024; originally announced June 2024.

Two uniqueness results in the inverse boundary value problem for the weighted p-Laplace equation

Authors: Cătălin I. Cârstea, Ali Feizmohammadi

Abstract: In this paper we prove a general uniqueness result in the inverse boundary value problem for the weighted p-Laplace equation in the plane, with smooth weights. We also prove a uniqueness result in dimension 3 and higher, for real analytic weights that are subject to a smallness condition on one of their directional derivatives. Both results are obtained by linearizing the equation at a solution wi… ▽ More In this paper we prove a general uniqueness result in the inverse boundary value problem for the weighted p-Laplace equation in the plane, with smooth weights. We also prove a uniqueness result in dimension 3 and higher, for real analytic weights that are subject to a smallness condition on one of their directional derivatives. Both results are obtained by linearizing the equation at a solution without critical points. This unknown solution is then recovered, together with the unknown weight. △ Less

Submitted 7 May, 2024; originally announced May 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.

Comments: 62 pages

Remarks on the anisotropic Calderón problem

Authors: Cătălin I. Cârstea, Ali Feizmohammadi, Lauri Oksanen

Abstract: We show uniqueness results for the anisotropic Calderón problem stated on transversally anisotropic manifolds. Moreover, we give a convexity result for the range of Dirichlet-to-Neumann maps on general Riemannian manifolds near the zero potential. Finally, we present results for Calderón type inverse problems associated to semilinear elliptic equations on general Riemannian manifolds. We show uniqueness results for the anisotropic Calderón problem stated on transversally anisotropic manifolds. Moreover, we give a convexity result for the range of Dirichlet-to-Neumann maps on general Riemannian manifolds near the zero potential. Finally, we present results for Calderón type inverse problems associated to semilinear elliptic equations on general Riemannian manifolds. △ Less

Submitted 5 April, 2022; originally announced April 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.

Comments: 18 pages

MSC Class: 35R30; 35J25; 35J61

An inverse problem for the porous medium equation with partial data and a possibly singular absorption term

Authors: Cătălin I. Cârstea, Tuhin Ghosh, Gunther Uhlmann

Abstract: In this paper we prove uniqueness in the inverse boundary value problem for the three coefficient functions in the porous medium equation with an absorption term $ε\partial_t u-\nabla\cdot(γ\nabla u^m)+λu^q=0$, with $m>1$, $m^{-1}<q<\sqrt{m}$, with the space dimension 2 or higher. This is a degenerate parabolic type quasilinear PDE which has been used as a model for phenomena in fields such as gas… ▽ More In this paper we prove uniqueness in the inverse boundary value problem for the three coefficient functions in the porous medium equation with an absorption term $ε\partial_t u-\nabla\cdot(γ\nabla u^m)+λu^q=0$, with $m>1$, $m^{-1}<q<\sqrt{m}$, with the space dimension 2 or higher. This is a degenerate parabolic type quasilinear PDE which has been used as a model for phenomena in fields such as gas flow (through a porous medium), plasma physics, and population dynamics. In the case when $γ=1$ a priori, we prove unique identifiability with data supported in an arbitrarily small part of the boundary. Even for the global problem we improve on previous work by obtaining uniqueness with a finite (rather than infinite) time of observation and also by introducing the additional absorption term $λu^q$. △ Less

Submitted 14 December, 2021; v1 submitted 29 August, 2021; originally announced August 2021.

Comments: this version adds a partial data result to the original posting

An inverse boundary value problem for the inhomogeneous porous medium equation

Authors: Cătălin I. Cârstea, Tuhin Ghosh, Gen Nakamura

Abstract: In this paper we establish uniqueness in the inverse boundary value problem for the two coefficients in the inhomogeneous porous medium equation $ε\partial_tu-\nabla\cdot(γ\nabla u^m)=0$, with $m>1$, in dimension 3 or higher, which is a degenerate parabolic type quasilinear PDE. Our approach relies on using a Laplace transform to turn the original equation into a coupled family of nonlinear ellipt… ▽ More In this paper we establish uniqueness in the inverse boundary value problem for the two coefficients in the inhomogeneous porous medium equation $ε\partial_tu-\nabla\cdot(γ\nabla u^m)=0$, with $m>1$, in dimension 3 or higher, which is a degenerate parabolic type quasilinear PDE. Our approach relies on using a Laplace transform to turn the original equation into a coupled family of nonlinear elliptic equations, indexed by the frequency parameter ($1/h$ in our definition) of the transform. A careful analysis of the asymptotic expansion in powers of $h$, as $h\to\infty$, of the solutions to the transformed equation, with special boundary data, allows us to obtain sufficient information to deduce the uniqueness result. △ Less

Submitted 13 September, 2023; v1 submitted 4 May, 2021; originally announced May 2021.

The Calderón inverse problem for isotropic quasilinear conductivities

Authors: Cătălin I. Cârstea, Ali Feizmohammadi, Yavar Kian, Katya Krupchyk, Gunther Uhlmann

Abstract: We prove a global uniqueness result for the Calderón inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to… ▽ More We prove a global uniqueness result for the Calderón inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to a completeness property for certain anisotropic products of solutions to the linearized equation. The completeness property is established using complex geometric optics solutions to the linearized conductivity equation, whose amplitudes concentrate near suitable two dimensional planes. △ Less

Submitted 10 March, 2021; originally announced March 2021.

A density property for tensor products of gradients of harmonic functions and applications

Authors: Cătălin I. Cârstea, Ali Feizmohammadi

Abstract: We show that tensor products of $k$ gradients of harmonic functions, with $k$ at least three, are dense in $C(\overlineΩ)$, for any bounded domain $Ω$ in dimension 3 or higher. The bulk of the argument consists in showing that any smooth compactly supported $k$-tensor that is $L^2$-orthogonal to all such products must be zero. This is done by using a Gaussian quasi-mode based construction of harmo… ▽ More We show that tensor products of $k$ gradients of harmonic functions, with $k$ at least three, are dense in $C(\overlineΩ)$, for any bounded domain $Ω$ in dimension 3 or higher. The bulk of the argument consists in showing that any smooth compactly supported $k$-tensor that is $L^2$-orthogonal to all such products must be zero. This is done by using a Gaussian quasi-mode based construction of harmonic functions in the orthogonality relation. We then demonstrate the usefulness of this result by using it to prove uniqueness in the inverse boundary value problem for a coupled quasilinear elliptic system. The paper ends with a discussion of the corresponding property for products of two gradients of harmonic functions, and the connection of this property with the linearized anisotropic Calderón problem. △ Less

Submitted 7 November, 2020; v1 submitted 23 September, 2020; originally announced September 2020.

An inverse boundary value problem for certain anisotropic quasilinear elliptic equations

Authors: Cătălin I. Cârstea, Ali Feizmohammadi

Abstract: In this paper we prove uniqueness in the inverse boundary value problem for quasilinear elliptic equations whose linear part is the Laplacian and nonlinear part is the divergence of a function analytic in the gradient of the solution. The main novelty in terms of the result is that the coefficients of the nonlinearity are allowed to be "anisotropic". As in previous works, the proof reduces to an i… ▽ More In this paper we prove uniqueness in the inverse boundary value problem for quasilinear elliptic equations whose linear part is the Laplacian and nonlinear part is the divergence of a function analytic in the gradient of the solution. The main novelty in terms of the result is that the coefficients of the nonlinearity are allowed to be "anisotropic". As in previous works, the proof reduces to an integral identity involving the tensor product of the gradients of 3 or more harmonic functions. Employing a construction method using Gaussian quasi-modes, we obtain a convenient family of harmonic functions to plug into the integral identity and establish our result. △ Less

Submitted 22 August, 2020; v1 submitted 11 August, 2020; originally announced August 2020.

Recovery of coefficients for a weighted p-Laplacian perturbed by a linear second order term

Authors: Cătălin I. Cârstea, Manas Kar

Abstract: This paper considers the inverse boundary value problem for the equation $\nabla\cdot(σ\nabla u+a|\nabla u|^{p-2}\nabla u)=0$. We give a procedure for the recovery of the coefficients $σ$ and $a$ from the corresponding Dirichlet-to-Neumann map, under suitable regularity and ellipticity assumptions. This paper considers the inverse boundary value problem for the equation $\nabla\cdot(σ\nabla u+a|\nabla u|^{p-2}\nabla u)=0$. We give a procedure for the recovery of the coefficients $σ$ and $a$ from the corresponding Dirichlet-to-Neumann map, under suitable regularity and ellipticity assumptions. △ Less

Submitted 6 January, 2020; originally announced January 2020.

Propagation of smallness for an elliptic PDE with piecewise Lipschitz coefficients

Authors: Cătălin I. Cârstea, Jenn-Nan Wang

Abstract: In this paper we derive a propagation of smallness result for a scalar second elliptic equation in divergence form whose leading order coefficients are Lipschitz continuous on two sides of a $C^2$ hypersurface that crosses the domain, but may have jumps across this hypersurface. Our propagation of smallness result is in the most general form regarding the locations of domains, which may intersect… ▽ More In this paper we derive a propagation of smallness result for a scalar second elliptic equation in divergence form whose leading order coefficients are Lipschitz continuous on two sides of a $C^2$ hypersurface that crosses the domain, but may have jumps across this hypersurface. Our propagation of smallness result is in the most general form regarding the locations of domains, which may intersect the interface of discontinuity. At the end, we also list some consequences of the propagation of smallness result, including stability results for the associated Cauchy problem, a propagation of smallness result from sets of positive measure, and a quantitative Runge approximation property. △ Less

Submitted 9 April, 2019; originally announced April 2019.

Reconstruction for the coefficients of a quasilinear elliptic partial differential equation

Authors: Cătălin I. Cârstea, Gen Nakamura, Manmohan Vashisth

Abstract: In this paper we consider an inverse coefficients problem for a quasilinear elliptic equation of divergence form $\nabla\cdot\vec{C}(x,\nabla u(x))=0$, in a bounded smooth domain $Ω$. We assume that $\overrightarrow{C}(x,\vec{p})=γ(x)\vec{p}+\vec{b}(x)|\vec{p}|^2+\mathcal{O}(|\vec{p}|^3)$, by expanding $\overrightarrow{C}(x,\vec{p})$ around $\vec{p}=0$. We give a reconstruction method for $γ$ and… ▽ More In this paper we consider an inverse coefficients problem for a quasilinear elliptic equation of divergence form $\nabla\cdot\vec{C}(x,\nabla u(x))=0$, in a bounded smooth domain $Ω$. We assume that $\overrightarrow{C}(x,\vec{p})=γ(x)\vec{p}+\vec{b}(x)|\vec{p}|^2+\mathcal{O}(|\vec{p}|^3)$, by expanding $\overrightarrow{C}(x,\vec{p})$ around $\vec{p}=0$. We give a reconstruction method for $γ$ and $\vec{b}$ from the Dirichlet to Neumann map defined on $\partialΩ$. △ Less

Submitted 16 June, 2019; v1 submitted 17 March, 2019; originally announced March 2019.

Comments: NA

MSC Class: Analysis and PDE

Journal ref: Applied Mathematics Letters-2019

Uniqueness for the inverse boundary value problem of piecewise homogeneous anisotropic elasticity in the time domain

Authors: Cătălin I. Cârstea, Gen Nakamura, Lauri Oksanen

Abstract: We consider the inverse boundary value problem of recovering piecewise homogeneous elastic tensor and piecewise homogeneous mass density from a localized lateral Dirichlet-to-Neumann or Neumann-to-Dirichlet map for the elasticity equation in the space-time domain. We derive uniqueness for identifying these tensor and density on all domains of homogeneity that may be reached from the part of the bo… ▽ More We consider the inverse boundary value problem of recovering piecewise homogeneous elastic tensor and piecewise homogeneous mass density from a localized lateral Dirichlet-to-Neumann or Neumann-to-Dirichlet map for the elasticity equation in the space-time domain. We derive uniqueness for identifying these tensor and density on all domains of homogeneity that may be reached from the part of the boundary where the measurements are taken by a chain of subdomains whose successive interfaces contain a curved portion. △ Less

Submitted 4 March, 2019; originally announced March 2019.

MSC Class: 35R30; 35L10

On an inverse boundary value problem for a nonlinear time harmonic Maxwell system

Authors: Cătălin I. Cârstea

Abstract: This paper considers a class of nonlinear time harmonic Maxwell systems at fixed frequency, with nonlinear terms taking the form $\mathscr{X}(x,|\vec E(x)|^2)\vec E(x)$, $\mathscr{Y}(x,|\vec H(x)|^2)\vec H(x)$, such that $\mathscr{X}(x,s)$, $\mathscr{Y}(x,s)$ are both real analytic in $s$. Such nonlinear terms appear in nonlinear optics theoretical models. Under certain regularity conditions, it c… ▽ More This paper considers a class of nonlinear time harmonic Maxwell systems at fixed frequency, with nonlinear terms taking the form $\mathscr{X}(x,|\vec E(x)|^2)\vec E(x)$, $\mathscr{Y}(x,|\vec H(x)|^2)\vec H(x)$, such that $\mathscr{X}(x,s)$, $\mathscr{Y}(x,s)$ are both real analytic in $s$. Such nonlinear terms appear in nonlinear optics theoretical models. Under certain regularity conditions, it can be shown that boundary measurements of tangent components of the electric and magnetic fields determine the electric permittivity and magnetic permeability functions as well as the form of the nonlinear terms. △ Less

Submitted 25 April, 2018; originally announced April 2018.

MSC Class: 35R30; 35F60

Optimal stability estimate in the inverse boundary value problem for periodic potentials with partial data

Authors: Sombuddha Bhattacharyya, Cătălin I. Cârstea

Abstract: We consider the inverse boundary value problem for operators of the form $-\triangle+q$ in an infinite domain $Ω=\mathbb{R}\timesω\subset\mathbb{R}^{1+n}$, $n\geq3$, with a periodic potential $q$. For Dirichlet-to-Neumann data localized on a portion of the boundary of the form $Γ_1=\mathbb{R}\timesγ_1$, with $γ_1$ being the complement either of a flat or spherical portion of $\partialω$, we prove… ▽ More We consider the inverse boundary value problem for operators of the form $-\triangle+q$ in an infinite domain $Ω=\mathbb{R}\timesω\subset\mathbb{R}^{1+n}$, $n\geq3$, with a periodic potential $q$. For Dirichlet-to-Neumann data localized on a portion of the boundary of the form $Γ_1=\mathbb{R}\timesγ_1$, with $γ_1$ being the complement either of a flat or spherical portion of $\partialω$, we prove that a log-type stability estimate holds. △ Less

Submitted 27 November, 2017; originally announced November 2017.

Uniqueness in the inverse boundary value problem for piecewise homogeneous anisotropic elasticity

Authors: Cătălin I. Cârstea, Naofumi Honda, Gen Nakamura

Abstract: Consider a three dimensional piecewise homogeneous anisotropic elastic medium $Ω$ which is a bounded domain consisting of a finite number of bounded subdomains $D_α$, with each $D_α$ a homogeneous elastic medium. One typical example is a finite element model with elements with curvilinear interfaces for an ansiotropic elastic medium. Assuming the $D_α$ are known and Lipschitz, we are concerned wit… ▽ More Consider a three dimensional piecewise homogeneous anisotropic elastic medium $Ω$ which is a bounded domain consisting of a finite number of bounded subdomains $D_α$, with each $D_α$ a homogeneous elastic medium. One typical example is a finite element model with elements with curvilinear interfaces for an ansiotropic elastic medium. Assuming the $D_α$ are known and Lipschitz, we are concerned with the uniqueness in the inverse boundary value problem of identifying the anisotropic elasticity tensor on $Ω$ from a localized Dirichlet to Neumann map given on a part of the boundary $\partial D_{α_0}\cap\partialΩ$ of $\partialΩ$ for a single $α_0$, where $\partial D_{α_0}$ denotes the boundary of $ D_{α_0}$. If we can connect each $D_α$ to $D_{α_0}$ by a chain of $\{D_{α_i}\}_{i=1}^n$ such that interfaces between adjacent regions contain a curved portion, we obtain global uniqueness for this inverse boundary value problem. If the $D_α$ are not known but are subanalytic subsets of $\mathbb{R}^3$ with curved boundaries, then we also obtain global uniqueness. △ Less

Submitted 12 April, 2017; v1 submitted 11 November, 2016; originally announced November 2016.

MSC Class: 35J57; 65M32; 75B05

A construction of blow up solutions for co-rotational wave maps

Authors: Catalin I. Carstea

Abstract: The existence of co-rotational finite time blow up solutions to the wave map problem from R^{2+1} into N, where N is a surface of revolution with metric dρ^2+g(ρ)^2 dθ^2, g an entire function, is proven. These are of the form u(t,r)=Q(λ(t)t)+R(t,r), where Q is a time independent solution of the co-rotational wave map equation -u_{tt}+u_{rr}+r^{-1}u_r=r^{-2}g(u)g'(u), λ(t)=t^{-1-ν}, ν>1/2 is arbi… ▽ More The existence of co-rotational finite time blow up solutions to the wave map problem from R^{2+1} into N, where N is a surface of revolution with metric dρ^2+g(ρ)^2 dθ^2, g an entire function, is proven. These are of the form u(t,r)=Q(λ(t)t)+R(t,r), where Q is a time independent solution of the co-rotational wave map equation -u_{tt}+u_{rr}+r^{-1}u_r=r^{-2}g(u)g'(u), λ(t)=t^{-1-ν}, ν>1/2 is arbitrary, and R is a term whose local energy goes to zero as t goes to 0. △ Less

Submitted 8 August, 2009; originally announced August 2009.

MSC Class: 35L05 (Primary) 35Q75; 35P25 (Secondary)