arXiv Science⌕ Search

arXiv · 2610.13747

Travel time tomography for elliptically anisotropic elastic planar media

Abstract

We study the gauge of the travel time tomography problem for elliptically anisotropic planar media. Under this assumption the respective slowness surfaces consist of an inner ellipse and an outer circle. Hence, the singularities of seismic waves propagate on geodesics given by two Riemannian metrics of which the one related to shear waves is conformally Euclidean. We show that if both of these metrics are lens rigid then, up to boundary fixing diffeomorphisms, each elliptically anisotropic stiffness tensor is uniquely determined by the lens data whenever it has at least one isotropic point. If none of those points exists, then there are exactly two elliptically anisotropic stiffness tensors with the same lens data. Clearly, not all boundary fixing diffeomorphisms preserve the imposed structure of the slowness surface. We show that the set of well-behaved diffeomorphisms is never a subgroup of all boundary fixing diffeomorphisms. Our proofs are based on an interplay of algebra and geometry, and the key of the proofs is a characterization of the elliptic anisotropy via several polynomial conditions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Joonas Ilmavirta, Teemu Saksala, Hjørdis Schlüter. 2026-10-09. Travel time tomography for elliptically anisotropic elastic planar media. https://arxiv.org/abs/2610.13747

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Global higher integrability and Hardy inequalities for double-phase functionals under a capacity density condition

We prove global higher integrability for functionals of double-phase type under a uniform local capacity density condition on the complement of the considered domain $Ω\subset \mathbb{R}^n$. In this context, we investigate a new natural notion of variational capacity associated to the double-phase integrand. Under the related fatness condition for the complement of $Ω$, we establish an integral Hardy inequality. Further, we show that fatness of $\mathbb{R}^n \setminus Ω$ is equivalent to a boundary Poincaré inequality, a pointwise Hardy inequality and to the local uniform $p$-fatness of $\mathbb{R}^n \setminus Ω$. We provide a counterexample that shows that the expected Maz'ya type inequality - a key intermediate step toward global higher integrability - does not hold with the notion of capacity involving the double-phase functional itself.

math.AP↗

Modulus of continuity for solutions of non-local heat equations

We extend the two-point modulus-of-continuity method for parabolic equations---as used, for instance, in the proof of the fundamental gap conjecture---to non-local heat equations on $\R^n$. An initial modulus of continuity is shown to be preserved provided that its odd extension is a supersolution of an associated one-dimensional non-local equation. The result applies to both integrable and singular kernels, including the fractional Laplacian, and the method further applies to a class of nonlinear non-local heat equations on $\R^n$. We also examine the corresponding regional problem on bounded convex sets. The natural distance-only modulus comparison fails: a smooth counterexample is constructed in one dimension, and the same obstruction is demonstrated to persist in higher dimensions. For the regional fractional Laplacian, we define convex domains of fixed diameter for which the first non-trivial eigenvalue tends to zero. There is consequently no positive Payne--Weinberger-type lower bound for this eigenvalue depending only on the diameter of the domain.

math.AP↗

Long time behavior of discrete velocity kinetic equations

We study long time behavior of some nonlinear discrete velocity kinetic equations in the one and three dimensions with periodic boundary conditions. We prove the exponential time decay of solutions towards the global equilibrium in the $L^2$ space. Our result holds for a wide class of interaction rates including the Goldstein-Taylor and Carleman equations, and the estimates on the rate of convergence are explicit and constructive. The technique is based on the construction of suitable Lyapunov functionals by modifying Boltzmann's entropy.

math.AP↗