Searcharxiv⌕ Search

arXiv subjects

Lauri Oksanen

Publications and source records attributed to Lauri Oksanen.

At least 19 recordsLinked to original sources
arXiv2026

(In)stability results for the Light Ray Transform

We prove quantitative instability results for the light ray transform in the Minkowski setting, and locally in the smooth and Gevrey categories. In the smooth Sobolev setting, we show that no modulus of continuity can be better than $t^α$ for any $α\in(0,1)$, while in the Gevrey setting we obtain an explicit logarithmic lower bound. On the other hand, using the relation between stationary geometries and magnetic(-potential) systems, we obtain a stability result for "time moments" of the light ray transform.

math.AP↗
arXiv2026

Inverse Scattering for Single Photons in Quantum Optics

We study inverse problems for a time-harmonic one-photon model describing the interaction of a single photon with a medium of stationary two-level atoms. After time-harmonic reduction, the unknown compactly supported atomic density appears as a frequency-dependent potential in a scattering equation for the half Laplacian. We prove high-frequency uniqueness results for three types of intensity data: source-driven measurements, renormalized far-field intensity measurements, and phaseless far-field measurements obtained from coherent superpositions of incident plane waves. In each case, the corresponding data, given at all sufficiently large frequencies, determine the atomic density uniquely; the source-driven result requires a geometric visibility condition on the source and observation sets.

math.AP↗
arXiv2026

An inverse free boundary problem

We study inverse problems for the elliptic and parabolic obstacle problems from boundary measurements. For the classical elliptic obstacle problem with strictly superharmonic obstacle function, we show that the Dirichlet-to-Neumann map admits a one-sided linearization at every boundary datum lying strictly above the obstacle. The linearized map is the Dirichlet-to-Neumann map for a rough Dirichlet problem on the a priori unknown non-contact set. We show that these linearized Cauchy data uniquely determine the non-contact set up to set of Sobolev $2$-capacity zero and consequently determine the obstacle. Our result applies to the inverse problem for a parabolic obstacle problem where both the coefficient and the obstacle function are time-independent by reducing to the elliptic inverse problem.

math.AP↗
arXiv2026

Semiglobal uniqueness for the Lorentzian Calderón problem

We prove uniqueness in the Lorentzian Calderón problem in a semiglobal setting, comparing a potentially large perturbation of the Minkowski metric against a small one. Our proof uses a reduced amount of data, solving a formally determined version of the problem. In contrast to traditional approaches, it employs neither control-theoretic arguments nor a reduction to a geometric inverse problem via microlocal methods or high-frequency solutions. Instead, it relies on distorted plane waves and weighted $L^2$-estimates.

math.AP↗
arXiv2026

Fixed angle inverse scattering with non-constant velocity

In this article, we study formally determined inverse problems for wave equations in the presence of a variable sound speed. We prove that by measuring the boundary data of finitely many plane waves and their complementary solutions, one can uniquely recover the unknown coefficients of the highest order terms of a second order hyperbolic operator with time independent coefficients. This improves earlier rigidity results in [10], [11] which compared the wave operator generated by a Riemannian metric with the wave operator generated by the Euclidean metric. We compare two general second order hyperbolic operators with time independent coefficients, with the same lower order terms. However, we require the geometry associated with one of the operators to satisfy a pseudoconvexity condition, a no-caustics condition, and a spanning condition. In particular one of the operators could be a wave operator with the sound speed close to a constant and the other operator could be arbitrary. To prove the results, we introduce the notion of a complementary solution for a generalized plane wave solution generated by an incoming plane wave. The complementary solution extends smoothly, across an interface, the generalized plane wave. The unknown coefficients appear in a transport equation at the interface. We show that the unknown coefficients in the interior can be extracted from this transport equation, from the boundary data, via a sequence of Carleman estimates for the wave operator.

math.AP↗
arXiv2026

Determination of an anisotropic perturbation in elastic inverse scattering

We consider a linearized inverse scattering problem for elastic waves. We prove that a fully anisotropic perturbation of the elastic parameters around an isotropic and homogeneous reference can be uniquely determined by (single-)scattered waves. We also give a quantitative stability estimate for an isotropic perturbation, and as a consequence a rigidity result is established.

math.AP↗
arXiv2026

Introduction to inverse problems for hyperbolic PDEs

There are two main approaches to solve inverse coefficient determination problems for wave equations: the Boundary Control method and an approach based on geometric optics. These notes focus on the Boundary Control method, but we will have a brief look at the geometric optics as well.

math.AP↗
arXiv2026

An inverse problem for semilinear wave equations on metric tree graphs

We study the inverse problem for a semilinear wave equation on metric tree graphs. From the Dirichlet-to-Neumann map defined at all but one of the boundary vertices, we recover unknown connectivity of the graph, lengths of the edges, the time-independent potential and the time-dependent coefficient of the nonlinear term of the equation.

math.AP↗
arXiv2026

Inverse problem for the geometric Navier-Stokes equations

We consider the inverse problem of determining a compact Riemannian manifold with boundary from fixed time observations of the solution, restricted to a small subset in space, for the Navier-Stokes system with a local source on the manifold. Our approach is based on a reduction to an inverse problem for an auxiliary hyperbolic Stokes system, via linearization and spectral techniques. We solve the resulting inverse problem by a new generalization of the Boundary Control method.

math.AP↗
arXiv2026

Convergence Analysis for the Recovery of the Friction Threshold in a Scalar Tresca Model

We consider a scalar valued elliptic partial differential equation on a sufficiently smooth domain $Ω$, subject to a regularized Tresca friction-type boundary condition on a subset $Γ$ of $\partial Ω$. The friction threshold, a positive function appearing in this boundary condition, is assumed to be unknown and serves as the coefficient to be recovered in our inverse problem. Assuming that (i) the friction threshold lies in a finite dimensional space with known basis functions, (ii) the right hand sides of the partial differential equation are known, and (iii) the solution to the partial differential equation on some small open subset $ω\subset Ω$ is available, we develop an iterative computational method for the recovery of the friction threshold. This algorithm is simple to implement and is based on piecewise linear finite elements. We show that the proposed algorithm converges in second order to a function $a_h$ and, moreover, that $a_h$ converges in second order in the finite element's mesh size $h$ to the true (unknown) friction threshold. We highlight our theoretical results by simulations that confirm our rates numerically.

math.NA↗
arXiv2026

On Exponential Instability of an Inverse Problem for the Wave Equation

For a time-independent potential $q\in L^\infty$, consider the source-to-solution operator that maps a source $f$ to the solution $u=u(t,x)$ of $(\Box+q)u=f$ in Euclidean space with an obstacle, where we impose on $u$ vanishing Cauchy data at $t=0$ and vanishing Dirichlet data at the boundary of the obstacle. We study the inverse problem of recovering the potential $q$ from this source-to-solution map restricted to some measurement domain. By giving an example where measurements take place in some subset and the support of $q$ lies in the `shadow region' of the obstacle, we show that recovery of $q$ is exponentially unstable.

math.AP↗
arXiv2026

Quantum field theory and inverse problems: Imaging with Entangled Photons

We consider the quantum field theory for a scalar model of the electromagnetic field interacting with a system of two-level atoms. In this setting, we show that it is possible to uniquely determine the density of atoms from measurements of the source to solution map for a system of nonlocal partial differential equations, which describe the scattering of a two-photon state from the atoms. The required measurements involve correlating the outputs of a point detector with an integrating detector, thereby exploiting information about the entanglement of the photons.

math.AP↗
arXiv2026

Recovering a (1+1)-dimensional wave equation from a single white noise boundary measurement

We consider the following inverse problem: Suppose a $(1+1)$-dimensional wave equation on $\mathbb{R}_+$ with zero initial conditions is excited with a Neumann boundary data modelled as a white noise process. Given also the Dirichlet data at the same point, determine the unknown first order coefficient function of the system. We first establish that direct problem is well-posed. The inverse problem is then solved by showing that correlations of the boundary data determine the Neumann-to-Dirichlet operator in the sense of distributions, which is known to uniquely identify the coefficient. This approach has applications in acoustic measurements of internal cross-sections of fluid pipes such as pressurised water supply pipes and vocal tract shape determination.

math.AP↗
arXiv2025

The Lorentzian Calderón problem on vector bundles

In this paper we study a Lorentzian version of the Calderón problem, which is concerned with the determination of a connection and potential on a Hermitian vector bundle over a Lorentzian manifold from the Dirichlet-to-Neumann map of the associated connection wave operator. For a class of Lorentzian manifolds satisfying a curvature bound, including perturbations of Minkowski space over strictly convex domains, the connection and potential is shown to be uniquely determined up to the natural gauge transformations of the problem. The proof is based on ideas from the earlier works arXiv:2008.07508, arXiv:2112.01663 of the second author in the scalar setting.

math.AP↗
arXiv2025

Unique continuation for the wave equation: the stability landscape

We consider a unique continuation problem for the wave equation given data in a volumetric subset of the space time domain. In the absence of data on the lateral boundary of the space-time cylinder we prove that the solution can be continued with Hölder stability into a certain proper subset of the space-time domain. Additionally, we show that unique continuation of the solution to the entire space-time cylinder with Lipschitz stability is possible given the knowledge of a suitable finite dimensional space in which the trace of the solution on the lateral boundary is contained. These results allow us to design a finite element method that provably converges to the exact solution at a rate that mirrors the stability properties of the continuous problem.

math.NA↗
arXiv2025

Recovery of a matrix valued potential for the wave equation on stationary spacetimes

We study the problem of recovering a time dependent matrix valued potential on a globally hyperbolic manifold from the knowledge of the source to solution map of a wave equation including a connection 1-form term. We exhibit sufficient conditions for solving this inverse problem under the assumption that the the manifold is stationary and that the connection term is time independent. The proof is based on two ingredients. The first is reduction of the problem to the study of a non-Abelian light ray transform and holds assuming global hyperbolicity only. The second is the study of this transform and establishing a link with a Riemannian analogue.

math.AP↗
arXiv2025

Inverse problem for connections in semi-linear wave equations on Lorentzian manifolds

This paper recovers Hermitian connections of semi-linear wave equations with cubic nonlinearity. The main novelty is in the geometric generality: we treat the case of an arbitrary globally hyperbolic Lorentzian manifold. Our approach is based on microlocal analysis of nonlinear wave interactions, which recovers a non-abelian broken light-ray transform, and the inversion of broken light-ray transforms on globally hyperbolic Lorentzian manifolds.

math.AP↗