arXiv subjects

Philipp Zimmermann

Publications and source records attributed to Philipp Zimmermann.

At least 19 recordsLinked to original sources

arXiv2026

Weakly viscous nonlocal wave equations: forward theory, Lebesgue Runge approximation, and inverse problems

We study forward and inverse problems for weakly viscous nonlocal wave equations with elastic term $(-Δ)^s u$ and dissipative term $(-Δ)^r\partial_tu$, where $0\leq r<s$. For time-dependent potentials in suitable $L^\infty(0,T;L^p(Ω))$ classes, we establish finite energy well-posedness, strong continuity in time, and an energy identity by parabolic regularization and time-regularization arguments. Under explicit nonlocality and nonresonance assumptions on the fractional orders, we prove Runge approximation in $L^2(0,T;\widetilde H^r(Ω))$ and hence in $L^2(Ω\times(0,T))$. As an application, partial exterior Dirichlet-to-Neumann measurements uniquely determine the potential in all three exponent regimes of the Runge theorem, including integer elastic orders with noninteger dissipative orders. The recovery argument combines equality of solutions with the same exterior input, unique continuation or the entanglement principle, and a single Lebesgue-space Runge approximation. It applies to the full admissible potential class, without spatial boundedness, sign, or smallness assumptions.

math.AP↗

arXiv2026

Space--time Runge approximation for weakly viscous nonlocal waves and identification of coefficients

We study very weak solutions and Runge approximation for weakly viscous nonlocal wave equations with elastic term $(-Δ)^su$ and dissipative term $(-Δ)^r\partial_tu$, where $0\leq r<s$. For time-dependent potentials satisfying a smallness condition, we establish a transposition theory for sources in the dual of the natural space--time energy space. Under explicit nonlocality and nonresonance assumptions, we prove Runge approximation in $L^2(0,T;\widetilde H^s(Ω))$ and in $L^2(0,T;\widetilde H^s(Ω)) \cap H^1_0(0,T;\widetilde H^r(Ω))$. As an application, partial exterior Dirichlet-to-Neumann measurements uniquely determine a bounded, nonnegative, time-dependent coefficient in the nonlinear velocity damping term $q|\partial_tu|^{p-2}\partial_tu$ for $0<r<s$ and $2<p\leq 2+4r/n$. The proof establishes the small-amplitude response by energy estimates, weighted $L^p$ monotonicity convergence, and a linear Green identity, then applies adjoint Runge approximation followed by a forward velocity approximation in $L^2$. No smallness or positive lower bound is imposed on the nonlinear damping coefficient.

math.AP↗

arXiv2026

Recovery of Rough Sources in the Inverse Monge-Ampère Problem

We prove that every nonnegative $L^1$ source in the Monge-Ampère equation \[ \det D^2u=f\quad\text{in }Ω, \] on a bounded uniformly convex $C^{1,1}$ domain $Ω\subset\mathbb R^n$, $n\geq2$, is uniquely determined by generalized boundary measurements of Alexandrov solutions. The measurement is the extremal boundary slope, which extends the classical outward normal derivative and may take the value $+\infty$. For each direction $ω\in\mathbb S^{n-1}$, it suffices to know these slopes for cylindrical Dirichlet data $\frac{t_k^ω}{2}|P_ωx|^2$ along any sequence $t_k^ω\to\infty$, where $P_ω$ projects onto $ω^\perp$. The boundary value and extremal slope determine the interior subgradient image up to a Lebesgue null set. An exact change of variables formula then converts equality of these images into integral identities for the source, and a large-amplitude limit recovers its Euclidean X-ray transform. This yields uniqueness without a positive lower bound on the source. For nonnegative $L^\infty$ sources, the extremal slopes are bounded and agree with the interior normal derivatives, giving a Dirichlet-to-interior-Neumann formulation. We also extend the inverse argument to the gradient-weighted equation \[ \vartheta(\nabla u)\det D^2u=f, \] where the known weight $\vartheta$ is locally integrable, Borel measurable, and bounded below by a positive constant. We prove existence of the corresponding Alexandrov solutions and show that the same cylindrical boundary-slope data uniquely determine every nonnegative $L^1$ source.

math.AP↗

arXiv2026

Inverse Problems for the Monge-Ampère Equation: Linearization and Nonlinear Recovery

We study inverse boundary value problems for the fully nonlinear Monge-Ampère equation $ \det D^2u=a(x,u,\nabla u) $ in a bounded domain. Motivated by Calderón-type problems, we introduce nonlinear Cauchy data and investigate the recovery of $a$ from boundary measurements. Around a strictly convex background solution, under a sign condition ensuring invertibility of the linearized Dirichlet problem, we establish local well-posedness and differentiable dependence on boundary data. The first variation yields a linear elliptic operator with principal coefficient given by the cofactor of the background Hessian and lower-order coefficients determined by derivatives of $a$. An Alessandrini-type identity reduces equality of nonlinear measurements to an anisotropic Calderón problem. Conditional on uniqueness for this linear problem, we recover the first derivatives of $a$ along the background jet. Higher-order linearization yields integral identities whose inversion depends on a product-density property. We also establish unconditional uniqueness results in special settings. For $\det D^2u=f(x)$, local nonlinear Cauchy data determine $f$ in dimension two, and in higher dimensions under real-analytic anisotropic hypotheses. We compare this result with a planar small-data method and an all-dimensional large-data approach based on the Euclidean X-ray transform. For semilinear nonlinearities around $Φ(x)=|x|^2/2$, Schrödinger inverse results recover the accessible $z$-jet. For equilibrium optimal-transport nonlinearities, linearization yields an isotropic conductivity equation and uniquely determines the transport density.

math.AP↗

arXiv2026

Fractional Calderón problem with $L^{\infty}$-conductivities

We study the inverse problem for the fractional conductivity equation with uniformly elliptic conductivities $γ\in L^\infty(\mathbb R^n)$. For every $n\geq1$ and $0<s<1$, we prove that the local exterior Dirichlet-to-Neumann map on any nonempty open subset of the exterior of a bounded open domain determines $γ$ uniquely almost everywhere in $\mathbb R^n$. No continuity, Sobolev regularity, or prescribed behavior at infinity is required. The proof works directly with the conductivity bilinear form and avoids the fractional Liouville reduction. It combines exterior determination at Lebesgue points, equality of weighted solutions, and a unique continuation principle for the fractional Laplacian in the weighted class \[ L_s=\left\{ g\in L^1_{\mathrm{loc}}(\mathbb R^n): \int_{\mathbb R^n} \frac{|g(x)|}{1+|x|^{n+2s}}\,dx<\infty \right\}. \] Specifically, if $g\in L_s$ and both $g$ and $(-Δ)^s g$ vanish in a nonempty open set, with the latter equality understood distributionally, then $g=0$ almost everywhere. This result requires neither local boundedness nor Sobolev regularity of $g$. Its proof uses the Caffarelli--Silvestre extension and boundary unique continuation for the associated degenerate elliptic equation.

math.AP↗

arXiv2026

A Computationally-Efficient Closed-Form $C^{s,1}$-Extension Formula

We identify explicit closed-form and variational formulae for interpolating the exact values and derivatives through order $s$ of a $C^{s,1}$ function $f:\mathbb{R}^d\to\mathbb{R}$ at $N$ distinct points in $[0,1]^d$. The reconstruction satisfies bounds on its global $C^{s,1}$ seminorm and its Lipschitz constant on $[0,1]^d$ that are independent of the sample size $N$, the latter being the sharp Whitney condition. For $s\ge2$, the reconstruction is real analytic away from the data points and definable in the o-minimal structure $\mathbb{R}_{\exp}$. Our nonlinear extension formula coincides with the formula of McShane (1934) for $s=0$ and with the formulae of Le Gruyer and Phan (2015) and Azagra, Le Gruyer, and Mudarra (2018) for $s=1$, and is new for $s\ge2$. For fixed $d$ and $s\ge2$, our closed-form formula is computable away from the data points by a circuit using only elementary unary and binary real operations, with $\mathcal{O}(N)$ gates and $\mathcal{O}(\log N)$ depth. This yields $\mathcal{O}(N)$ storage and $\mathcal{O}(\log N)$ parallel evaluation time. From the supplied coefficients and weights, the circuit can be compiled with $\mathcal{O}(N)$ one-time work in the exact-real word-RAM model. Thus, in this supplied-data setting, our nonlinear construction improves by a logarithmic factor on the $\mathcal{O}(N\log N)$ initialization bound of Fefferman and Klartag (2009), while retaining linear storage and attaining logarithmic query time through parallel evaluation.

math.FA↗

arXiv2026

An Inverse Obstacle Problem for the Fractional Schrödinger Equation

We study an inverse obstacle problem for the fractional Schrödinger operator $(-Δ)^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ödinger 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↗

arXiv2026

The Calderón problem for third order nonlocal wave equations with time-dependent nonlinearities and potentials

In this article, we study the Calderón 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 $Λ_{q,g}$: (i) If $g$ is a polynomial-type nonlinearity whose $m$-th order derivative is bounded, then $Λ_{q,g}$ uniquely determines $q$ and $(\partial^{\ell}_τg(x,t,0))_{2\leq \ell \leq m}$. (ii) If $g$ is a polyhomogeneous nonlinearity of finite order $L$, then $Λ_{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↗

arXiv2026

Calderón problem for nonlocal viscous wave equations: Unique determination of linear and nonlinear perturbations

The main goal of this article is to study a Calderón 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}(Ω))$, which allows us to uniquely determine potentials that belong only to $L^{\infty}(0,T;L^p(Ω))$ 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(Ω))$ instead of $L^2(Ω_T)$ at our disposal.

math.AP↗

arXiv2025

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(Ω))$ 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ón problems of linear and nonlinear nonlocal wave equations in our earlier works. Furthermore, we prove unique determination results for the Calderón problem of nonlocal wave equations with polyhomogeneous nonlinearities.

math.AP↗

arXiv2025

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 $Ω$, $u=f$ on $\partialΩ$, from the Dirichlet to Neumann (DN) map $Λ_a$. We show that this can be achieved, when the coefficient $a$ has Hölder 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 $Λ_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↗

arXiv2025

Hölder 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ölder stability estimates for the Calderón 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 $Φ$. Moreover, the PDE is posed in an infinite waveguide geometry $Ω=ω\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 $Φ$. 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ölder exponent on the Sobolev exponents of the potentials $A_0,A$ and $Φ$.

math.AP↗

arXiv2024

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ón 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↗

arXiv2024

The Calderón problem for the Schrödinger equation in transversally anisotropic geometries with partial data

We study the partial data Calderón problem for the anisotropic Schrödinger equation \begin{equation} \label{eq: a1} (-Δ_{\widetilde{g}}+V)u=0\text{ in }Ω\times (0,\infty), \end{equation} where $Ω\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 $Γ\times \{0\}$ with $Γ\Subset Ω$. Our approach can be divided into three steps: Step 1. Boundary determination. We establish a novel boundary determination to identify $(g,V)$ on $Γ$ with help of suitable approximate solutions for the Schrödinger equation with inhomogeneous Neumann boundary condition. Step 2. Relation to a nonlocal elliptic inverse problem. We relate inverse problems for the Schrödinger equation with the nonlocal elliptic equation \begin{equation} \label{eq: a2} (-Δ_g+V)^{1/2}v=f\text{ in }Ω, \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-Δ_g+V)w=F\text{ in }Ω\times (0,\infty), \end{equation} where the measurement operator is also the source-to-solution map. We can finally determine $(g,V)$ on $Ω\setminusΓ$ by solving the inverse problem for the wave equation.

math.AP↗

arXiv2024

Approximation and uniqueness results for the nonlocal diffuse optical tomography problem

We investigate the inverse problem of recovering the diffusion and absorption coefficients $(σ,q)$ in the nonlocal diffuse optical tomography equation $(-\text{div}( σ\nabla))^s u+q u =0 \text{ in }Ω$ from the nonlocal Dirichlet-to-Neumann (DN) map $Λ^s_{σ,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}( σ\nabla v)=0 \text{ in }Ω$ can be approximated in $H^1(Ω)$ by solutions to the nonlocal diffuse optical tomography equation and the DN map $Λ_σ$ related to conductivity equation can be approximated by the nonlocal DN map $Λ_{σ,q}^s$. - Local uniqueness: We prove that the absorption coefficient $q$ can be determined in a neighborhood $\mathcal{N}$ of the boundary $\partialΩ$ provided $σ$ 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 $Ω$, 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↗

arXiv2024

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↗

arXiv2023

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 $(γ_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 $Ω$, 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 $(γ_j,q_j)$, $j=1,2$ generating the same DN data.

math.AP↗

arXiv2023

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 $ρ,q$ and the time-independent kernel $K$ of the nonlocal operator $L_K$, the (partial) Dirichlet-to-Neumann map uniquely determines the three quantities $(ρ,K,q)$ in the nonlocal porous medium equation $ρ\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 $(ρ,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}_γ$, whose kernel is $γ^{1/2}(x)γ^{1/2}(y)/|x-y|^{n+2s}$ up to a normalization constant.

math.AP↗