SearcharxivSearch

arXiv subjects

Philipp Zimmermann

Publications and source records attributed to Philipp Zimmermann.

At least 19 recordsLinked to original sources

An Inverse Obstacle Problem for the Fractional Schr\"odinger Equation

We study an inverse obstacle problem for the fractional Schr\"odinger operator $(-\Delta)^s+q$, $0<s<1$. For each exterior datum, the state is constrained by a prescribed obstacle in a bounded domain and satisfies the fractional Schr\"odinger equation only in the associated noncontact set. This set is unknown and depends on the coefficient, so the exterior Dirichlet-to-Neumann map is nonlinear. We show that the nonlocal character of the equation gives a direct way around this moving-free-boundary difficulty. Equality of one obstacle measurement on an exterior open set forces equality of the two corresponding obstacle states in the whole space. In their common noncontact set one then obtains $(q_1-q_2)u=0$. This identity yields recovery of the potential in the exposed region by measurable unique continuation when $s\in[1/4,1)$, and by the usual unique continuation principle together with continuity when the potentials are continuous. We also prove a geometric coverage theorem for nonnegative potentials: rational positive scalings of one nontrivial nonnegative exterior datum expose the whole domain up to a null set. Consequently, under the corresponding assumptions, a countable family of nonlinear exterior obstacle measurements determines the potential globally.

math.AP

Inverse Problems for the Monge--Amp\`ere Equation: Linearization and Nonlinear Recovery

We study inverse boundary value problems for the nonlinear Monge--Amp\`ere equation \[ \det D^2u=a(x,u,\nabla u) \] in a bounded domain. We introduce a nonlinear Cauchy data set and investigate the recovery of the nonlinearity from boundary measurements. Linearizing around a strictly convex background solution, we establish local well-posedness, smooth dependence on boundary data, and a higher-order linearization framework. We show that the first variation of the nonlinear Cauchy data is governed by a linear elliptic operator whose principal coefficient is the cofactor matrix of the background Hessian. An Alessandrini-type identity then yields a reduction principle from the nonlinear inverse problem to an anisotropic Calder\'on-type inverse problem. As a consequence, under suitable uniqueness assumptions for the associated linear problem, the nonlinear Cauchy data determine the first-order derivatives of the nonlinearity along the background jet. Higher-order linearization identities provide recovery of higher derivatives and, under suitable density assumptions, determine the full Taylor expansion of the nonlinearity along the background solution. We also discuss applications to semilinear equations and nonlinearities arising in optimal transport.

math.AP

Reconstruction of coefficients in the double phase problem

The main purpose of this article is to reconstruct the nonnegative coefficient $a$ in the double phase problem $\mathrm{div}\,(|\nabla u|^{p-2}\nabla u+a|\nabla u|^{q-2}\nabla u)=0$ in a domain $\Omega$, $u=f$ on $\partial\Omega$, from the Dirichlet to Neumann (DN) map $\Lambda_a$. We show that this can be achieved, when the coefficient $a$ has H\"older continuous first order derivatives and the exponents satisfy $1<p\neq q<\infty$. Our reconstruction method relies on a careful analysis of the asymptotic behavior of the solution $u$ to the double phase problem with small or large Dirichlet datum $f$ (depending on the ordering of $p$ and $q$) as well as the related DN map $\Lambda_a$. As is common for inverse boundary value problems, we need a sufficiently rich family of special solutions to a related partial differential equation, which is independent of the coefficient one aims to reconstruct (in our case to the $p$-Laplace equation). We construct such families of solutions by a suitable linearization technique.

math.AP

H\"older stability estimates for the determination of time-independent potentials in a relativistic wave equation in an infinite waveguide

The main goal of this article is to establish H\"older stability estimates for the Calder\'on problem related to a relativistic wave equation. The principal novelty of this article is that the partial differential equation (PDE) under consideration depends on three unknown potentials, namely a temporal dissipative potential $A_0$, a spatial vector potential $A$ and an external potential $\Phi$. Moreover, the PDE is posed in an infinite waveguide geometry $\Omega=\omega\times\mathbb{R}$ and not on a bounded domain. For our proof it is essential that the potentials are time-independent as a key tool in this work are pointwise estimates for the Radon transform of the vector potential $\mathcal{A}=(A_0,\mathrm{i} A)$ and external potential $\Phi$. Furthermore, the demonstrated stability estimates hold for a wide range of $H^s$ Sobolev scales and a main contribution is to explicitly determine the dependence of the involved constants and the H\"older exponent on the Sobolev exponents of the potentials $A_0,A$ and $\Phi$.

math.AP

Optimal Runge approximation for damped nonlocal wave equations and simultaneous determination results

The main purpose of this article is to establish new uniqueness results for Calder\'on type inverse problems related to damped nonlocal wave equations. To achieve this goal we extend the theory of very weak solutions to our setting, which allows to deduce an optimal Runge approximation theorem. With this result at our disposal, we can prove simultaneous determination results in the linear and semilinear regime.

math.AP

The Calder\'on problem for third order nonlocal wave equations with time-dependent nonlinearities and potentials

In this article, we study the Calder\'on problem for nonlocal generalizations of the semilinear Moore--Gibson--Thompson (MGT) equation and the Jordan--Moore--Gibson--Thompson (JMGT) equation of Westervelt-type. These partial differential equations are third order wave equations that appear in nonlinear acoustics, describe the propagation of high-intensity sound waves and exhibit finite speed of propagation. For semilinear MGT equations with nonlinearity $g$ and potential $q$, we show the following uniqueness properties of the Dirichlet to Neumann (DN) map $\Lambda_{q,g}$: (i) If $g$ is a polynomial-type nonlinearity whose $m$-th order derivative is bounded, then $\Lambda_{q,g}$ uniquely determines $q$ and $(\partial^{\ell}_\tau g(x,t,0))_{2\leq \ell \leq m}$. (ii) If $g$ is a polyhomogeneous nonlinearity of finite order $L$, then $\Lambda_{q,g}$ uniquely determines $q$ and $g$. The uniqueness proof for polynomial-type nonlinearities is based on a higher order linearization scheme, while the proof for polyhomogeneous nonlinearities only uses a first order linearization. Finally, we demonstrate that a first linearization suffices to uniquely determine Westervelt-type nonlinearities from the related DN maps. We also remark that all the unknowns, which we wish to recover from the DN data, are allowed to depend on time.

math.AP

Optimal Runge approximation for nonlocal wave equations and unique determination of polyhomogeneous nonlinearities

The main purpose of this article is to establish the Runge-type approximation in $L^2(0,T;\widetilde{H}^s(\Omega))$ for solutions of linear nonlocal wave equations. To achieve this, we extend the theory of very weak solutions for classical wave equations to our nonlocal framework. This strengthened Runge approximation property allows us to extend the existing uniqueness results for Calder\'on problems of linear and nonlinear nonlocal wave equations in our earlier works. Furthermore, we prove unique determination results for the Calder\'on problem of nonlocal wave equations with polyhomogeneous nonlinearities.

math.AP

The Calder\'on problem for the Schr\"odinger equation in transversally anisotropic geometries with partial data

We study the partial data Calder\'on problem for the anisotropic Schr\"{o}dinger equation \begin{equation} \label{eq: a1} (-\Delta_{\widetilde{g}}+V)u=0\text{ in }\Omega\times (0,\infty), \end{equation} where $\Omega\subset\mathbb{R}^n$ is a bounded smooth domain, $\widetilde{g}=g_{ij}(x)dx^{i}\otimes dx^j+dy\otimes dy$ and $V$ is translationally invariant in the $y$ direction. Our goal is to recover both the metric $g$ and the potential $V$ from the (partial) Neumann-to-Dirichlet (ND) map on $\Gamma\times \{0\}$ with $\Gamma\Subset \Omega$. Our approach can be divided into three steps: Step 1. Boundary determination. We establish a novel boundary determination to identify $(g,V)$ on $\Gamma$ with help of suitable approximate solutions for the Schr\"odinger equation with inhomogeneous Neumann boundary condition. Step 2. Relation to a nonlocal elliptic inverse problem. We relate inverse problems for the Schr\"odinger equation with the nonlocal elliptic equation \begin{equation} \label{eq: a2} (-\Delta_g+V)^{1/2}v=f\text{ in }\Omega, \end{equation} via the Caffarelli--Silvestre type extension, where the measurements are encoded in the source-to-solution map. The nonlocality of this inverse problem allows us to recover the associated heat kernel. Step 3. Reduction to an inverse problem for a wave equation. Combining the knowledge of the heat kernel with the Kannai type transmutation formula, we transfer the inverse problem for the nonlocal equation to an inverse problem for the wave equation \begin{equation} \label{eq: a3} (\partial_t^2-\Delta_g+V)w=F\text{ in }\Omega\times (0,\infty), \end{equation} where the measurement operator is also the source-to-solution map. We can finally determine $(g,V)$ on $\Omega\setminus\Gamma$ by solving the inverse problem for the wave equation.

math.AP

Approximation and uniqueness results for the nonlocal diffuse optical tomography problem

We investigate the inverse problem of recovering the diffusion and absorption coefficients $(\sigma,q)$ in the nonlocal diffuse optical tomography equation $(-\text{div}( \sigma \nabla))^s u+q u =0 \text{ in }\Omega$ from the nonlocal Dirichlet-to-Neumann (DN) map $\Lambda^s_{\sigma,q}$. The purpose of this article is to establish the following approximation and uniqueness results. - Approximation: We show that solutions to the conductivity equation $ \text{div}( \sigma \nabla v)=0 \text{ in }\Omega$ can be approximated in $H^1(\Omega)$ by solutions to the nonlocal diffuse optical tomography equation and the DN map $\Lambda_\sigma$ related to conductivity equation can be approximated by the nonlocal DN map $\Lambda_{\sigma,q}^s$. - Local uniqueness: We prove that the absorption coefficient $q$ can be determined in a neighborhood $\mathcal{N}$ of the boundary $\partial\Omega$ provided $\sigma$ is already known in $\mathcal{N}$. - Global uniqueness: Under the same assumptions as for the local uniqueness result, and if one of the potentials vanishes in $\Omega$, then one can turn with the help of \ref{item 1 abstract} the local determination into a global uniqueness result. It is worth mentioning that the approximation result relies on the Caffarelli--Silvestre type extension technique and the geometric form of the Hahn--Banach theorem.

math.AP

Well-posedness and inverse problems for semilinear nonlocal wave equations

This article is devoted to forward and inverse problems associated with time-independent semilinear nonlocal wave equations. We first establish comprehensive well-posedness results for some semilinear nonlocal wave equations. The main challenge is due to the low regularity of the solutions of linear nonlocal wave equations. We then turn to an inverse problem of recovering the nonlinearity of the equation. More precisely, we show that the exterior Dirichlet-to-Neumann map uniquely determines homogeneous nonlinearities of the form $f(x,u)$ under certain growth conditions. On the other hand, we also prove that initial data can be determined by using passive measurements under certain nonlinearity conditions. The main tools used for the inverse problem are the unique continuation principle of the fractional Laplacian and a Runge approximation property. The results hold for any spatial dimension $n\in \N$.

math.AP

Calder\'on problem for nonlocal viscous wave equations: Unique determination of linear and nonlinear perturbations

The main goal of this article is to study a Calder\'on type inverse problem for certain viscous nonlocal wave equations. We show that the partial Dirichlet to Neumann map uniquely determines on the one hand linear perturbations and on the other hand homogeneous nonlinearities $f(u)$ whenever the latter satisfy a certain growth assumption. As a preliminary step we discuss the well-posedness in each case, where for the nonlinear setting we invoke the implicit function theorem after establishing the differentiability of the associated Nemytskii operator $f(u)$. In the linear case we establish a Runge approximation theorem in $L^2(0,T;\widetilde{H}^{s}(\Omega))$, which allows us to uniquely determine potentials that belong only to $L^{\infty}(0,T;L^p(\Omega))$ for some $1<p\leq \infty$ satisfying suitable restrictions. In the nonlinear case, we first derive an appropriate integral identity and combine this with the differentiability of the solution map around zero to show that the nonlinearity is uniquely determined by the Dirichlet to Neumann map. To make this linearization technique work, it is essential that we have a Runge approximation in $L^2(0,T;\widetilde{H}^s(\Omega))$ instead of $L^2(\Omega_T)$ at our disposal.

math.AP

Unique determination of coefficients and kernel in nonlocal porous medium equations with absorption term

The main purpose of this article is the study of an inverse problem for nonlocal porous medium equations (NPMEs) with a linear absorption term. More concretely, we show that under certain assumptions on the time-independent coefficients $\rho,q$ and the time-independent kernel $K$ of the nonlocal operator $L_K$, the (partial) Dirichlet-to-Neumann map uniquely determines the three quantities $(\rho,K,q)$ in the nonlocal porous medium equation $\rho \partial_tu+L_K(u^m)+qu=0$, where $m>1$. In the first part of this work we adapt the Galerkin method to prove existence and uniqueness of nonnegative, bounded solutions to the homogenoeus NPME with regular initial and exterior conditions. Additionally, a comparison principle for solutions of the NPME is proved, whenever they can be approximated by sufficiently regular functions like the one constructed for the homogeneous NPME. These results are then used in the second part to prove the unique determination of the coefficients $(\rho,K,q)$ in the inverse problem. Finally, we show that the assumptions on the nonlocal operator $L_K$ in our main theorem are satisfied by the fractional conductivity operator $\mathcal{L}_{\gamma}$, whose kernel is $\gamma^{1/2}(x)\gamma^{1/2}(y)/|x-y|^{n+2s}$ up to a normalization constant.

math.AP

Inverse problem for a nonlocal diffuse optical tomography equation

In this article a nonlocal analogue of an inverse problem in diffuse optical tomography is considered. We show that whenever one has given two pairs of diffusion and absorption coefficients $(\gamma_j,q_j)$, $j=1,2$, such that there holds $q_1=q_2$ in the measurement set $W$ and they generate the same DN data, then they are necessarily equal in $\mathbb{R}^n$ and $\Omega$, respectively. Additionally, we show that the condition $q_1|_W=q_2|_W$ is optimal in the sense that without this restriction one can construct two distinct pairs $(\gamma_j,q_j)$, $j=1,2$ generating the same DN data.

math.AP

Determining coefficients for a fractional $p$-Laplace equation from exterior measurements

We consider an inverse problem of determining the coefficients of a fractional $p\,$-Laplace equation in the exterior domain. Assuming suitable local regularity of the coefficients in the exterior domain, we offer an explicit reconstruction formula in the region where the exterior measurements are performed. This formula is then used to establish a global uniqueness result for real-analytic coefficents. In addition, we also derive a stability estimate for the unique determination of the coefficients in the exterior measurement set.

math.AP

The Calder\'on problem for a nonlocal diffusion equation with time-dependent coefficients

We investigate global uniqueness for an inverse problem for a nonlocal diffusion equation on domains that are bounded in one direction. The coefficients are assumed to be unknown and isotropic on the entire space. We first show that the partial exterior Dirichlet-to-Neumann map locally determines the diffusion coefficient in the exterior domain. In addition, we introduce a novel analysis of nonlocal Neumann derivatives to prove an interior determination result. Interior and exterior determination yield the desired global uniqueness theorem for the Calder\'on problem of nonlocal diffusion equations with time-dependent coefficients. This work extends recent studies from nonlocal elliptic equations with global coefficients to their parabolic counterparts. The results hold for any spatial dimension $n\geq 1$.

math.AP

Stability estimates for the inverse fractional conductivity problem

We study the stability of an inverse problem for the fractional conductivity equation on bounded smooth domains. We obtain a logarithmic stability estimate for the inverse problem under suitable a priori bounds on the globally defined conductivities. The argument has three main ingredients: 1. the logarithmic stability of the related inverse problem for the fractional Schr\"odinger equation by R\"uland and Salo; 2. the Lipschitz stability of the exterior determination problem; 3. utilizing and identifying nonlocal analogies of Alessandrini's work on the stability of the classical Calder\'on problem. The main contribution of the article is the resolution of the technical difficulties related to the last mentioned step. Furthermore, we show the optimality of the logarithmic stability estimates, following the earlier works by Mandache on the instability of the inverse conductivity problem, and by R\"uland and Salo on the analogous problem for the fractional Schr\"odinger equation.

math.AP

Low regularity theory for the inverse fractional conductivity problem

We characterize partial data uniqueness for the inverse fractional conductivity problem with $H^{s,n/s}$ regularity assumptions in all dimensions. This extends the earlier results for $H^{2s,\frac{n}{2s}}\cap H^s$ conductivities by Covi and the authors. We construct counterexamples to uniqueness on domains bounded in one direction whenever measurements are performed in disjoint open sets having positive distance to the domain. In particular, we provide counterexamples in the special cases $s \in (n/4,1)$, $n=2,3$, missing in the literature due to the earlier regularity conditions. We also give a new proof of the uniqueness result which is not based on the Runge approximation property. Our work can be seen as a fractional counterpart of Haberman's uniqueness theorem for the classical Calder\'on problem with $W^{1,n}$ conductivities when $n=3,4$. One motivation of this work is Brown's conjecture that uniqueness for the classical Calder\'on problem holds for $W^{1,n}$ conductivities also in dimensions $n \geq 5$.

math.AP

The fractional $p\,$-biharmonic systems: optimal Poincar\'e constants, unique continuation and inverse problems

This article investigates nonlocal, fully nonlinear generalizations of the classical biharmonic operator $(-\Delta)^2$. These fractional $p$-biharmonic operators appear naturally in the variational characterization of the optimal fractional Poincar\'e constants in Bessel potential spaces. We study the following basic questions for anisotropic fractional $p$-biharmonic systems: existence and uniqueness of weak solutions to the associated interior source and exterior value problems, unique continuation properties (UCP), monotonicity relations, and inverse problems for the exterior Dirichlet-to-Neumann maps. Furthermore, we show the UCP for the fractional Laplacian in all Bessel potential spaces $H^{t,p}$ for any $t\in \mathbb{R}$, $1 \leq p < \infty$ and $s \in \mathbb{R}_+ \setminus \mathbb{N}$: If $u\in H^{t,p}(\mathbb{R}^n)$ satisfies $(-\Delta)^su=u=0$ in a nonempty open set $V$, then $u\equiv 0$ in $\mathbb{R}^n$. This property of the fractional Laplacian is then used to obtain a UCP for the fractional $p$-biharmonic systems and plays a central role in the analysis of the associated inverse problems. Our proofs use variational methods and the Caffarelli-Silvestre extension.

math.AP