Source author record

Joonas Ilmavirta

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DG math.AP math-ph math.FA math.MP math.CA math.GR math.RT math.GN physics.geo-ph quant-ph

Catalog footprint

Research overview

19works

11topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Partial data problems in scalar and vector field tomography

We prove that if $P(D)$ is some constant coefficient partial differential operator and $f$ is a scalar field such that $P(D)f$ vanishes in a given open set, then the integrals of $f$ over all lines intersecting that open set determine the scalar field uniquely everywhere. This is done by proving a unique continuation property of fractional Laplacians which implies uniqueness for the partial data problem. We also apply our results to partial data problems of vector fields.

preprint2022arXiv

Three travel time inverse problems on simple Riemannian manifolds

We provide new proofs based on the Myers-Steenrod theorem to confirm that travel time data, travel time difference data and the broken scattering relations determine a simple Riemannian metric on a disc up to the natural gauge of a boundary fixing diffeomorphism. Our method of the proof leads to a Lipschitz-type stability estimate for the first two data sets in the class of simple metrics.

preprint2021arXiv

A foliated and reversible Finsler manifold is determined by its broken scattering relation

The broken scattering relation consists of the total lengths of broken geodesics that start from the boundary, change direction once inside the manifold, and propagate to the boundary. We show that if two reversible Finsler manifolds satisfying a convex foliation condition have the same broken scattering relation, then they are isometric. This implies that some anisotropic material parameters of the Earth can be in principle reconstructed from single scattering measurements at the surface.

preprint2021arXiv

X-ray tomography of one-forms with partial data

If the integrals of a one-form over all lines meeting a small open set vanish and the form is closed in this set, then the one-form is exact in the whole Euclidean space. We obtain a unique continuation result for the normal operator of the X-ray transform of one-forms, and this leads to one of our two proofs of the partial data result. Our proofs apply to compactly supported covector-valued distributions.

preprint2020arXiv

Broken ray tensor tomography with one reflecting obstacle

We show that a tensor field of any rank integrates to zero over all broken rays if and only if it is a symmetrized covariant derivative of a lower order tensor which satisfies a symmetry condition at the reflecting part of the boundary and vanishes on the rest. This is done in a geometry with non-positive sectional curvature and a strictly convex obstacle in any dimension. We give two proofs, both of which contain new features also in the absence of reflections. The result is new even for scalars in dimensions above two.

preprint2020arXiv

Geometry of geodesics

These are lecture notes for the course "MATS4120 Geometry of geodesics" given at the University of Jyväskylä in Spring 2020. Basic differential geometry or Riemannian geometry is useful background but is not strictly necessary. Exercise problems are included, and problems marked important should be solved as you read to ensure that you are able to follow.

preprint2020arXiv

Unique continuation of the normal operator of the X-ray transform and applications in geophysics

We show that the normal operator of the X-ray transform in $\mathbb{R}^d$ , $d\geq 2$ , has a unique continuation property in the class of compactly supported distributions. This immediately implies uniqueness for the X-ray tomography problem with partial data and generalizes some earlier results to higher dimensions. Our proof also gives a unique continuation property for certain Riesz potentials in the space of rapidly decreasing distributions. We present applications to local and global seismology. These include linearized travel time tomography with half-local data and global tomography based on shear wave splitting in a weakly anisotropic elastic medium.

preprint2016arXiv

Coherent quantum tomography

We discuss a quantum mechanical indirect measurement method to recover a position dependent Hamilton matrix from time evolution of coherent quantum mechanical states through an object. A mathematical formulation of this inverse problem leads to weighted X-ray transforms where the weight is a matrix. We show that such X-ray transforms are injective with very rough weights. Consequently, we can solve our quantum mechanical inverse problem in several settings, but many physically relevant problems we pose also remain open. We discuss the physical background of the proposed imaging method in detail. We give a rigorous mathematical treatment of a neutrino tomography method that has been previously described in the physical literature.

preprint2016arXiv

Recovery of the sound speed for the Acoustic wave equation from phaseless measurements

We recover the higher order terms for the acoustic wave equation from measurements of the modulus of the solution. The recovery of these coefficients is reduced to a question of stability for inverting a Hamiltonian flow transform, not the geodesic X-ray transform encountered in other inverse boundary problems like the determination of conformal factors. We obtain new stability results for the Hamiltonian flow transform, which allow to recover the higher order terms.

preprint2016arXiv

X-ray transforms in pseudo-Riemannian geometry

We study the problem of recovering a function on a pseudo-Riemannian manifold from its integrals over all null geodesics in three geometries: pseudo-Riemannian products of Riemannian manifolds, Minkowski spaces and tori. We give proofs of uniqueness anc characterize non-uniqueness in different settings. Reconstruction is sometimes possible if the signature $(n_1,n_2)$ satisfies $n_1\geq1$ and $n_2\geq2$ or vice versa and always when $n_1,n_2\geq2$ . The proofs are based on a Pestov identity adapted to null geodesics (product manifolds) and Fourier analysis (other geometries). The problem in a Minkowski space of any signature is a special case of recovering a function in a Euclidean space from its integrals over all lines with any given set of admissible directions, and we describe sets of lines for which this is possible. Characterizing the kernel of the null geodesic ray transform on tori reduces to solvability of certain Diophantine systems.

preprint2015arXiv

Broken ray transform on a Riemann surface with a convex obstacle

We consider the broken ray transform on Riemann surfaces in the presence of an obstacle, following earlier work of Mukhometov. If the surface has nonpositive curvature and the obstacle is strictly convex, we show that a function is determined by its integrals over broken geodesic rays that reflect on the boundary of the obstacle. Our proof is based on a Pestov identity with boundary terms, and it involves Jacobi fields on broken rays. We also discuss applications of the broken ray transform.

preprint2015arXiv

On Radon transforms on compact Lie groups

We show that the Radon transform related to closed geodesics is injective on a Lie group if and only if the connected components are not homeomorphic to $S^1$ nor to $S^3$ . This is true for both smooth functions and distributions. The key ingredients of the proof are finding totally geodesic tori and realizing the Radon transform as a family of symmetric operators indexed by nontrivial homomorphisms from $S^1$ .

preprint2015arXiv

On Radon transforms on finite groups

If $G$ is a finite group, is a function $f:G\to\mathbb C$ determined by its sums over all cosets of cyclic subgroups of $G$ ? In other words, is the Radon transform on $G$ injective? This inverse problem is a discrete analogue of asking whether a function on a compact Lie group is determined by its integrals over all geodesics. We discuss what makes this new discrete inverse problem analogous to well-studied inverse problems on manifolds and we also present some alternative definitions. We use representation theory to prove that the Radon transform fails to be injective precisely on Frobenius complements. We also give easy-to-check sufficient conditions for injectivity and noninjectivity for the Radon transform, including a complete answer for abelian groups and several examples for nonabelian ones.

preprint2014arXiv

A reflection approach to the broken ray transform

We reduce the broken ray transform on some Riemannian manifolds (with corners) to the geodesic ray transform on another manifold, which is obtained from the original one by reflection. We give examples of this idea and present injectivity results for the broken ray transform using corresponding earlier results for the geodesic ray transform. Examples of manifolds where the broken ray transform is injective include Euclidean cones and parts of the spheres $S^n$ . In addition, we introduce the periodic broken ray transform and use the reflection argument to produce examples of manifolds where it is injective. We also give counterexamples to both periodic and nonperiodic cases. The broken ray transform arises in Calderón's problem with partial data, and we give implications of our results for this application.

preprint2014arXiv

Boundary reconstruction for the broken ray transform

We reduce boundary determination of an unknown function and its normal derivatives from the (possibly weighted and attenuated) broken ray data to the injectivity of certain geodesic ray transforms on the boundary. For determination of the values of the function itself we obtain the usual geodesic ray transform, but for derivatives this transform has to be weighted by powers of the second fundamental form. The problem studied here is related to Calderón's problem with partial data.

preprint2014arXiv

On Radon transforms on tori

We show injectivity of the X-ray transform and the $d$ -plane Radon transform for distributions on the $n$ -torus, lowering the regularity assumption in the recent work by Abouelaz and Rouvière. We also show solenoidal injectivity of the X-ray transform on the $n$ -torus for tensor fields of any order, allowing the tensors to have distribution valued coefficients. These imply new injectivity results for the periodic broken ray transform on cubes of any dimension.

preprint2014arXiv

On the broken ray transform

This PhD thesis studies the broken ray transform, a generalization of the geodesic X-ray transform where geodesics are replaced with broken rays that reflect on a part of the boundary. The fundamental question is whether this transform is injective. We employ four different methods to approach this question, and each of them gives interesting results. Direct calculation can be used in a ball, where the geometry is particularly simple. If the reflecting part of the boundary is (piecewise) flat, a reflection argument can be used to reduce the problem to the usual X-ray transform. In some geometries one can use broken rays near the boundary to determine the values of the unknown function at the reflector, and even construct its Taylor series. One can also use energy estimates -- which in this context are known as Pestov identities -- to show injectivity in the presence of one convex reflecting obstacle. Many of these methods work also on Riemannian manifolds. We also discuss the periodic broken ray transform, where the integrals are taken over periodic broken rays. The broken ray transform and its periodic version have applications in other inverse problems, including Calderón's problem and problems related to spectral geometry. A more detailed abstract can be found in the PDF file. This version only contains the introductory parts of the thesis. The full thesis also contains five articles.

preprint2013arXiv

Broken ray tomography in the disk

Given a bounded $C^1$ domain $Ω\subset\R^n$ and a nonempty subset $E$ of its boundary (set of tomography), we consider broken rays which start and end at points of $E$ . We ask: If the integrals of a function over all such broken rays are known, can the function be reconstructed? We give positive answers when $Ω$ is a ball and the unknown function is required to be uniformly quasianalytic in the angular variable and the set of tomography is open. We also analyze the situation when the set of tomography is a singleton.

preprint2011arXiv

Urysohn's metrization theorem for higher cardinals

In this paper a generalization of Urysohn's metrization theorem is given for higher cardinals. Namely, it is shown that a topological space with a basis of cardinality at most $|ω_μ|$ or smaller is $ω_μ$ -metrizable if and only if it is $ω_μ$ -additive and regular, or, equivalently, $ω_μ$ -additive, zero-dimensional, and T\textsubscript{0}. Furthermore, all such spaces are shown to be embeddable in a suitable generalization of Hilbert's cube.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Joonas Ilmavirta

Research overview

Is this your work?

19 publications

Partial data problems in scalar and vector field tomography

Three travel time inverse problems on simple Riemannian manifolds

A foliated and reversible Finsler manifold is determined by its broken scattering relation

X-ray tomography of one-forms with partial data

Broken ray tensor tomography with one reflecting obstacle

Geometry of geodesics

Unique continuation of the normal operator of the X-ray transform and applications in geophysics

Coherent quantum tomography

Recovery of the sound speed for the Acoustic wave equation from phaseless measurements

X-ray transforms in pseudo-Riemannian geometry

Broken ray transform on a Riemann surface with a convex obstacle

On Radon transforms on compact Lie groups

On Radon transforms on finite groups

A reflection approach to the broken ray transform

Boundary reconstruction for the broken ray transform

On Radon transforms on tori

On the broken ray transform

Broken ray tomography in the disk

Urysohn's metrization theorem for higher cardinals

See the researcher in context

Building this map preview