arXiv subjects

Teemu Tyni

Publications and source records attributed to Teemu Tyni.

15 recordsLinked to original sources

arXiv2026

Optimal stability of regularized spectral differentiation in Sobolev spaces

We study the problem of stable spectral differentiation of functions in Sobolev spaces from noisy data. We introduce a class of admissible Fourier multipliers under simple and directly verifiable conditions and show that the corresponding regularized differentiation operators achieve minimax optimal stability rates. The results extend the previous $L^2$ based results to Sobolev spaces $H^{s,p}(\mathbb{R}^n)$, $1<p<\infty$. The analysis relies on multiplier estimates and applies to a wide class of multipliers, including Gaussian, spectral cutoff, and Tikhonov-type regularizations. Numerical examples demonstrate the behavior of several admissible spectral multipliers.

math.FA↗

arXiv2026

Reconstruction for an inverse scattering problem with a Kerr type nonlinearity

We study the inverse scattering problem for the Kerr-nonlinear Helmholtz equation \[ \Delta u + k^2(1+q(x)|u|^2)u = 0 \quad \text{in }\mathbb{R}^n,\; n\geq 2, \] where the aim is to recover the unknown potential $q$ from the scattering amplitude. We obtain uniqueness for full data and partial data cases of backscattering, fixed angle scattering, and fixed energy scattering. For the linear Helmholtz equation, uniqueness in backscattering and fixed angle cases are classical and largely open problems. We are able to explicitly reconstruct individual Fourier modes of the potential, and if the measured directions and energies cover an open subset, we recover $q$. The simplicity of the approach leads to an efficient numerical method, and numerical experiments show accurate reconstructions, even in the presence of noise.

math.AP↗

arXiv2025

Numerical reconstruction of Schr\"odinger equations with quadratic nonlinearities

We introduce a numerical framework for reconstructing the potential in two dimensional semilinear elliptic PDEs with power type nonlinearities from the nonlinear Dirichlet to Neumann map. By applying higher order linearization method, we compute the Fourier data of the unknown potential and then invert it to recover $q$. Numerical experiments show accurate reconstructions for both smooth and discontinuous test cases.

math.NA↗

arXiv2025

Gaussian beam interactions and inverse source problems for nonlinear wave equations

We study the inverse source problem for the semilinear wave equation \[ (\Box_g + q_1)u + q_2 u^2 = F, \] on a globally hyperbolic Lorentzian manifold. We demonstrate that the coefficients $q_1$ and $q_2$, as well as the source term $F$, can be recovered up to a natural gauge symmetry inherent in the problem from local measurements. Furthermore, if $q_1$ is known, we establish the unique recovery of the source $F$, which is in a striking contrast to inverse source problems for linear equations where unique recovery is not possible. Our results also generalize previous works by eliminating the assumption that $u= 0$ is a solution, and by accommodating quadratic nonlinearities. A key contribution is the development of a calculus for nonlinear interactions of Gaussian beams. This framework provides an explicit representation for waves that correspond to sources involving products of two or more Gaussian beams. We anticipate this calculus will serve as a versatile tool in related problems, offering a concrete alternative to Fourier integral operator methods.

math.AP↗

arXiv2025

X-ray imaging from nonlinear waves: numerical reconstruction of a cubic nonlinearity

We study an inverse boundary value problem for the nonlinear wave equation in $2 + 1$ dimensions. The objective is to recover an unknown potential $q(x, t)$ from the associated Dirichlet-to-Neumann map using real-valued waves. We propose a direct numerical reconstruction method for the Radon transform of $q$, which can then be inverted using standard X-ray tomography techniques to determine $q$. Our implementation introduces a spectral regularization procedure to stabilize the numerical differentiation step required in the reconstruction, improving robustness with respect to noise in the boundary data. We give rigorous justification and optimal stability estimates for the regularized spectral differentiation of noisy measurements, which may be of independent interest. Numerical experiments demonstrate the feasibility of recovering potentials from boundary measurements of nonlinear waves and illustrate the advantages of the Radon-based reconstruction.

math.NA↗

arXiv2024

Inverse scattering problems for non-linear wave equations on Lorentzian manifolds

We show that an inverse scattering problem for a semilinear wave equation can be solved on a manifold having an asymptotically Minkowskian infinity, that is, scattering functionals determine the topology, differentiable structure, and the conformal type of the manifold. Moreover, the metric and the coefficient of the non-linearity are determined up to a multiplicative transformation. The manifold on which the inverse problem is considered is allowed to be an open, globally hyperbolic manifold which may have non-trivial topology or several infinities (i.e., ends) of which at least one has to be of the asymptotically Minkowskian type. To formulate the inverse problems we define a new type of data, non-linear scattering functionals, which are defined also in the cases where the classically defined scattering operators are not well-defined. This makes it possible to solve inverse problems also in cases where some of the incoming waves lead to a blow-up of the scattered solution. We use non-linear interaction of waves as a beneficial tool that helps to solve the inverse problem. The corresponding inverse problem for the linear wave equation still remains unsolved.

math.AP↗

arXiv2024

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↗

arXiv2024

A boundary integral equation method for the complete electrode model in electrical impedance tomography with tests on experimental data

We develop a boundary integral equation-based numerical method to solve for the electrostatic potential in two dimensions, inside a medium with piecewise constant conductivity, where the boundary condition is given by the complete electrode model (CEM). The CEM is seen as the most accurate model of the physical setting where electrodes are placed on the surface of an electrically conductive body, and currents are injected through the electrodes and the resulting voltages are measured again on these same electrodes. The integral equation formulation is based on expressing the electrostatic potential as the solution to a finite number of Laplace equations which are coupled through boundary matching conditions. This allows us to re-express the solution in terms of single layer potentials; the problem is thus re-cast as a system of integral equations on a finite number of smooth curves. We discuss an adaptive method for the solution of the resulting system of mildly singular integral equations. This solver is both fast and accurate. We then present a numerical inverse solver for electrical impedance tomography (EIT) which uses our forward solver at its core. To demonstrate the applicability of our results we test our numerical methods on an open electrical impedance tomography data set provided by the Finnish Inverse Problems Society.

math.NA↗

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↗

arXiv2022

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ödinger equation by Rüland 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ón 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üland and Salo on the analogous problem for the fractional Schrödinger equation.

math.AP↗

arXiv2022

An inverse problem for a semi-linear wave equation: a numerical study

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.

math.AP↗

arXiv2021

Stability estimates for inverse problems for semi-linear wave equations on Lorentzian manifolds

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\"older 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.

math.AP↗

arXiv2020

Inverse problems for elliptic equations with fractional power type nonlinearities

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.

math.AP↗

arXiv2020

Uniqueness and stability of an inverse problem for a semi-linear wave equation

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$.

math.AP↗

arXiv2020

Optimal recovery of a radiating source with multiple frequencies along one line

We study an inverse problem where an unknown radiating source is observed with collimated detectors along a single line and the medium has a known attenuation. The research is motivated by applications in SPECT and beam hardening. If measurements are carried out with frequencies ranging in an open set, we show that the source density is uniquely determined by these measurements up to averaging over levelsets of the integrated attenuation. This leads to a generalized Laplace transform. We also discuss some numerical approaches and demonstrate the results with several examples.

math.FA↗