Rubin's Generalized Minkowski–Funk Transforms

• The paper introduces Rubin’s framework that unifies classical Minkowski–Funk transforms with λ-cosine transforms and higher-rank generalizations on Stiefel and Grassmann manifolds.
• It leverages analytic continuation, Fourier and zeta analysis to derive explicit inversion formulas and invariant differential operators in integral geometry.
• The approach provides insights into injectivity, kernel structures, and Radon-type transforms, with practical applications in tomography, harmonic analysis, and PDEs.

Rubin's generalized Minkowski–Funk transforms form a rigorous extension of the classical Minkowski–Funk and Funk–Radon transforms, encompassing a family of integral transforms on the sphere and their higher-rank analogues on Stiefel and Grassmann manifolds. Rubin’s framework unifies $\lambda$-cosine transforms, higher-dimensional integration over matrix domains, and an analytic approach to inversion and regularity, connecting spherical harmonic analysis, Radon transforms, and invariant differential operators. These transforms are widely studied due to their centrality in integral geometry, harmonic analysis, and applications to PDEs and tomography.

1. Classical and Generalized Minkowski–Funk Transforms

The classical Minkowski–Funk transform, or Funk–Radon transform, maps $f\in C(S^{n-1})$ to

$$(F f)(u) = \int_{v \in S^{n-1} : u \cdot v = 0} f(v) d\sigma_u(v),$$

where $d\sigma_u$ is the invariant measure on the great subsphere orthogonal to $u$. The generalized Minkowski–Funk transforms introduced by Rubin encompass one-parameter families of integral operators (“$\lambda$-cosine transforms”) defined by

$$(C_\lambda f)(u) = \int_{S^{n-1}} |u \cdot v|^\lambda f(v) d\sigma(v),$$

meromorphically continued in $\lambda$ with poles at $\lambda = -1, -2, \ldots$ (Rubin, 2020). For $\lambda = 0$, this recovers the classical Minkowski–Funk transform up to a constant, and for general $\lambda$ it intertwines representations of the rotation group $O(n)$, echoing the principal series intertwiners and analytic continuation studied by Helgason.

Rubin’s generalizations further comprise higher-rank analogues defined on Stiefel $V_{n,m}$ (orthonormal $m$-frames) and Grassmann $G_{n,k}$ (subspaces), via

$$(C_{m,k}^\lambda f)(u) = \int_{V_{n,m}} |\det(u' v)|^\lambda f(v) dv,$$

valid for $\operatorname{Re} \lambda > m - k - 1$, with analytic continuation and residues yielding a spectrum of “intermediate” Funk–cosine transforms integrating over lower-rank matrix loci (Rubin, 2020).

2. Analytic Continuation and Inversion via Fourier and Zeta Analysis

Rubin’s construction leverages homogeneous extension of $f$ from the Stiefel manifold to $\mathbb{R}^{n\times m}$, exploiting the polar decomposition $x = v r^{1/2}$ ($v \in V_{n,m}$, $r \in \mathrm{Sym}_m^+$) to rewrite the $\lambda$-cosine integrals as zeta-type integrals in $r$. This approach yields:

• Meromorphic continuation of $(C_{m,k}^\lambda f)$ with poles at $\lambda = m-k-1, m-k-2, \ldots$, generalizing the pole structure for spheres ($\lambda = -1, -2, \ldots$).
• The normalized kernels $$\widehat C_{m,k}^\lambda := C_{m,k}^\lambda / \Gamma_m((\lambda+k)/2)$$ are entire in $\lambda$.
• Inversion formulas are derived explicitly: if $\varphi = T_{m,k}^{\lambda_j} f$ is an intermediate transform at special value $\lambda=j-k$, and $n-m+j-k=2\ell$ is even,

$f = \text{const} \cdot \Delta^{(\ell)}[\varphi],$

where $\Delta^{(\ell)}$ is an $O(n)\times O(m)$-invariant differential operator (the “Cayley–Laplace” determinant operator $\det(\partial' \partial)$ on $\mathrm{M}_{n,m}$) (Rubin, 2020).

In the classical case ($m=k=1$), this reduces to the action of the spherical Beltrami–Laplace operator stepping down $\lambda$ by two, as previously developed by Helgason, and all the familiar inversion formulas for the Funk transform are recovered (Rubin, 2020).

3. Invariant Differential Operators and Lowering Procedure

A central feature is the construction of explicit invariant differential operators that “lower” the $\lambda$-order:

$$D_\ell C_{m,k}^{\lambda+2\ell} = c(\lambda) C_{m,k}^\lambda,$$

with $D_\ell = (-1)^{m\ell} \Delta^\ell$ restricted to the Stiefel manifold, and $c(\lambda)$ an explicit ratio of Siegel gamma factors (Rubin, 2020, Rubin, 2020). By repeated application, any $\lambda$ is reduced by an even integer, allowing inversion of the transforms at critical (pole) values.

In the rank-one case ($m = k = 1$), $D_1$ coincides with the Beltrami–Laplace polynomial $\Delta_{S^{n-1}}$:

$D_1 C_{\lambda+2} = C_\lambda,$

which underpins Helgason’s inversion for the classical Minkowski–Funk transform. In full generality, this paradigm extends to the Cayley–Laplace determinant as the higher-rank invariant.

4. Non-Central, Shifted, and Dimension-Interpolated Funk Transforms

Rubin’s theory systematically extends the Minkowski–Funk paradigm to non-central and shifted variants, e.g., transforms integrating over sphere sections by planes not passing through the origin, or through arbitrary exterior/interior points (Agranovsky et al., 2019, Agranovsky, 2019, Rubin, 2018):

• The “shifted” Funk transform $F_a$ integrates over sections $S^n \cap T$, where $T$ passes through $a \notin S^n$.
• The related “parallel-slice” transform integrates over sections by planes parallel to a fixed direction and is explicitly intertwined with classical Radon–John transforms on the unit ball via Möbius automorphisms and precise Jacobian weightings (Agranovsky et al., 2019).
• An explicit relationship between the shifted Funk and parallel-slice transforms is given by

$F_a[f](T) = \mathbb{I}_a[M_{a^*} f](P_{a^*} T),$

with $M_{a^*}$ an explicit multiplicative weight and $P_{a^*}$ a bijection of plane-families (Agranovsky et al., 2019).

The inversion formula for the shifted Funk transform is thus constructed via inversion of the Radon–John transform, together with coordinate-changes and weights. Transform composition and dimension-interpolation correspond to integration over Stiefel families and allow construction of $\ell$-plane transforms from $k$-plane transforms (Agranovsky et al., 2019).

5. Injectivity, Kernels, and Reflection Symmetry

The injectivity and kernel structure of Rubin’s generalized transforms are governed by symmetry and reflection principles:

• The classical Funk transform’s kernel consists of the space of odd functions: $f(-x) = -f(x)$ (Agranovsky, 2019).
• The shifted and parallel-slice transforms have kernel structures determined by weighted “oddness” under involutive symmetries associated with the center $a$ or direction, e.g., $f(x) + P_{a^*}(x) f(T_a x) = 0$ (Agranovsky et al., 2019).
• For paired transforms (with multiple centers), injectivity is characterized dynamically: injectivity holds if the composition of reflection-induced involutions does not have finite orbits (i.e., V-map $T^n \neq \mathrm{id}$ for all $n$) (Agranovsky, 2019).
• The group-theoretic structure extends to arbitrary finite collections of centers, with injectivity translation into the (non)existence of nontrivial periodic orbits in the reflection-group they generate (Agranovsky, 2019).

6. Analytic Families: Cosine and Semyanistyi Transforms, Spectral Structure

Analytic families of transforms, such as the $\lambda$-cosine and Semyanistyi fractional Radon transforms, interpolate between classical and generalized Minkowski–Funk transforms:

• The $\lambda$-cosine transform

$$(C^\lambda f)(\xi) = I_{n,\lambda} \int_{S^n} f(\eta) |\xi \cdot \eta|^\lambda d\eta,$$

yields the Funk transform as $\lambda \to -1$ (Rubin, 2018).

• The “shifted” cosine transform

$$(C_a^\lambda f)(\xi) = I_{n,\lambda} \int_{S^n} f(\eta) |\xi \cdot \eta - a \xi_{n+1}|^\lambda d\eta$$

interpolates between first-kind and second-kind transforms, with inversion and analytic continuation via modified stereographic projections (Rubin, 2018).

• On Sobolev spaces, the action of Rubin's generalized Minkowski–Funk transforms is dictated by their spectral multipliers, with explicit harmonic expansions and asymptotic bounds (Han et al., 14 Jan 2026). For irrational sphere cap angles and non-critical indices, small denominator phenomena obstruct endpoint regularity of inversion (almost everywhere in parameter space), as proven in the small denominator problem (Han et al., 14 Jan 2026).

7. Summary of Inversion, Regularity, and Applications

Rubin’s generalized Minkowski–Funk transforms underpin a comprehensive analytic framework:

• Explicit inversion via Fourier analysis and differential operators holds on suitable Sobolev and distributional spaces (Rubin, 2020, Rubin, 2020).
• The machinery extends seamlessly to higher-rank Stiefel and Grassmann domains, with Cayley–Laplace-style differential operators supplanting lower-dimensional Laplacians.
• The transforms are intimate with Radon–John transforms (via parallel slice and shifted variants) and with spectral analysis of spherical harmonics.
• Generic regularity theory exposes Diophantine small-divisor obstructions at critical smoothing exponents, establishing limits to endpoint Sobolev-mapping for the inverses (Han et al., 14 Jan 2026).

Rubin’s program thus unifies and extends core tools of integral geometry and analysis, enabling fine control of transform domains, inversion, kernel structure, and mapping properties necessary for applications in tomography, harmonic analysis, and the study of partial differential equations.