Vladimirov–Taibleson Fractional Diff. Operator

• The Vladimirov–Taibleson fractional differentiation operator is a non-Archimedean pseudo-differential operator defined via Fourier multipliers and hypersingular integrals, linking harmonic analysis with stochastic processes.
• Its formulation employs ultrametric max-norms and spectral theory, enabling precise treatment of boundary-value problems and discrete heat-kernel representations.
• The operator underpins practical applications in non-Archimedean PDEs, Sobolev space theory, and evolution equations through well-established semigroup and variational frameworks.

The Vladimirov–Taibleson fractional differentiation operator is a non-Archimedean pseudo-differential operator defined on a local field $K$ and, more generally, on $K^n$, where it plays the role most closely analogous to the fractional Laplacian in Euclidean analysis. In the contemporary literature, the one-dimensional notation $D^\alpha$ and the multidimensional notation $D^{\alpha,n}$ are both standard. The operator is characterized by the Fourier symbol $\|\xi\|_{K^n}^{\alpha}$, equivalently by a hypersingular integral with kernel $\|x-y\|_{K^n}^{-(n+\alpha)}$, and it underlies boundary-value problems, semigroup theory, harmonic analysis, stochastic processes, and several recent non-Archimedean analogues of classical PDE constructions (Antoniouk et al., 28 Aug 2025).

1. Definition, notation, and normalization

Let $K$ be a non-Archimedean local field with normalized absolute value $|\cdot|_K$, residue-field cardinality $q$, additive Haar measure normalized so that the unit ball has measure $1$, and a fixed nontrivial additive character $K^n$0. On $K^n$1, one uses the max-norm

$K^n$2

For a Bruhat–Schwartz test function $K^n$3, the operator is defined by the Fourier multiplier relation

$K^n$4

For sufficiently regular functions, this is equivalent to the hypersingular integral representation

$K^n$5

In one dimension, the same construction is written $K^n$6 and becomes

$K^n$7

The normalizing constant is chosen so that the integral and Fourier definitions coincide under Fourier inversion (Antoniouk et al., 28 Aug 2025).

A recurrent point of notation is that some papers write $K^n$8 even in the multidimensional setting, while others reserve $K^n$9 for the Taibleson operator on $D^\alpha$0. A second point is that normalization conventions differ across sources: the common invariant feature is the Fourier symbol $D^\alpha$1, not a single universal formula for the prefactor in the hypersingular kernel. This is why several papers formulate the operator first via Fourier analysis and only then specify a normalization for the integral representation (Kochubei, 2022).

The operator is not merely a coordinatewise fractional derivative. In the multidimensional setting, its kernel depends on the ultrametric max-norm on $D^\alpha$2, and its symbol is the scalar function $D^\alpha$3. This distinguishes it from Euclidean anisotropic constructions and is central to its invariance and spectral theory (Arhancet et al., 2024).

2. Structural properties and spectral description

The operator is diagonalized by the non-Archimedean Fourier transform. On the full space $D^\alpha$4, the additive characters $D^\alpha$5 are generalized eigenfunctions with eigenvalue $D^\alpha$6. On $D^\alpha$7-based domains, this immediately yields positivity: $D^\alpha$8 and the corresponding self-adjoint realization has spectral resolution through multiplication by $D^\alpha$9 or $D^{\alpha,n}$0 in the Fourier picture (Kochubei, 2022).

Several basic symmetries are built into the definition. The Taibleson operator is $D^{\alpha,n}$1-homogeneous in the sense that

$D^{\alpha,n}$2

and it is invariant under linear isometries $D^{\alpha,n}$3 of $D^{\alpha,n}$4,

$D^{\alpha,n}$5

These properties are the non-Archimedean counterparts of the scaling and rotational symmetries of the Euclidean fractional Laplacian, but here the underlying geometry is ultrametric rather than Archimedean (Antoniouk et al., 31 Oct 2025).

The spectrum reflects the discreteness of the value group. On $D^{\alpha,n}$6 for a finite-dimensional vector space $D^{\alpha,n}$7, the spectrum is the closure of the discrete set $D^{\alpha,n}$8. On compact balls, one obtains a genuinely discrete spectral picture. In the one-dimensional case $D^{\alpha,n}$9 and $\|\xi\|_{K^n}^{\alpha}$0, the regional operator $\|\xi\|_{K^n}^{\alpha}$1 has an explicit resolvent kernel

$\|\xi\|_{K^n}^{\alpha}$2

with

$\|\xi\|_{K^n}^{\alpha}$3

and the smallest eigenvalue is

$\|\xi\|_{K^n}^{\alpha}$4

Such explicit formulas are one of the features that make boundary-value analysis unusually concrete in the non-Archimedean setting (Antoniouk et al., 28 Aug 2025).

A further structural fact is the reduction of the multidimensional theory to the one-dimensional theory over an unramified extension. If $\|\xi\|_{K^n}^{\alpha}$5 is an unramified extension of degree $\|\xi\|_{K^n}^{\alpha}$6, then $\|\xi\|_{K^n}^{\alpha}$7 with the max-norm is isometrically isomorphic to $\|\xi\|_{K^n}^{\alpha}$8, and $\|\xi\|_{K^n}^{\alpha}$9 corresponds to a one-dimensional Vladimirov operator $\|x-y\|_{K^n}^{-(n+\alpha)}$0 with $\|x-y\|_{K^n}^{-(n+\alpha)}$1. This identification is used repeatedly in spectral analysis, heat-kernel monotonicity, and strong boundary-value problems (Antoniouk et al., 21 Apr 2026).

3. Energy forms, Sobolev spaces, and analytic inequalities

For boundary problems one introduces non-Archimedean Sobolev-type spaces based on the Gagliardo form associated with the kernel $\|x-y\|_{K^n}^{-(n+\alpha)}$2. In the Neumann setting on a bounded open set $\|x-y\|_{K^n}^{-(n+\alpha)}$3, the space $\|x-y\|_{K^n}^{-(n+\alpha)}$4 consists of real-valued functions $\|x-y\|_{K^n}^{-(n+\alpha)}$5 with finite norm

$\|x-y\|_{K^n}^{-(n+\alpha)}$6

where $\|x-y\|_{K^n}^{-(n+\alpha)}$7 is a nonnegative weight. The associated inner product makes $\|x-y\|_{K^n}^{-(n+\alpha)}$8 a real Hilbert space, and the seminorm

$\|x-y\|_{K^n}^{-(n+\alpha)}$9

controls compactness in $K$0 (Antoniouk et al., 28 Aug 2025).

This variational framework is complemented by non-Archimedean analogues of classical fractional inequalities. For $K$1, the Sobolev embedding

$K$2

holds for all $K$3. On bounded open sets, there is a fractional Poincaré inequality for functions vanishing outside the domain, and on balls $K$4 there is a Poincaré–Wirtinger inequality

$K$5

The proofs use ultrametric volume estimates, Fourier series on compact additive groups, and the symbol $K$6 (Kochubei, 2022).

Weighted positivity also appears in a form specific to the non-Archimedean Riesz kernel $K$7: $K$8 This places the operator simultaneously in the frameworks of unweighted and weighted coercivity (Kochubei, 2022).

On $K$9-spaces, the Riesz potential $|\cdot|_K$0 provides a right-inverse in a limiting sense beyond compactly supported test functions. For $|\cdot|_K$1, $|\cdot|_K$2, and $|\cdot|_K$3, if $|\cdot|_K$4, then the truncated operators $|\cdot|_K$5 satisfy

$|\cdot|_K$6

The key identity is that $|\cdot|_K$7 acts as an averaging operator with a positive compactly supported kernel $|\cdot|_K$8 of unit mass. The multidimensional Taibleson case on $|\cdot|_K$9 follows by passage to an unramified extension $q$0 (Kochubei, 2021).

4. Dirichlet and Neumann boundary problems

The operator supports both Dirichlet and Neumann theories, with the latter requiring a genuinely non-Archimedean boundary operator on the exterior domain. For the Dirichlet problem on a ball $q$1, the weak problem

$q$2

admits a unique solution in the Hilbert space

$q$3

by the Lax–Milgram theorem. For inhomogeneous exterior data $q$4, the solution is represented through the non-Archimedean Poisson kernel $q$5 and Green function $q$6: $q$7 If $q$8 in $q$9 and $1$0 in $1$1, the continuous solution satisfies $1$2 on all of $1$3, yielding a maximum/comparison principle (Kochubei, 2022).

The same Dirichlet theory extends to boundary regularity. In one dimension, if $1$4, $1$5 with $1$6, $1$7, $1$8, and $1$9 satisfies the shell-measure condition

$K^n$00

then the unique continuous solution satisfies a boundary Hölder estimate

$K^n$01

near the boundary point $K^n$02. The proof combines barrier functions, the Poisson-kernel representation, Green-function estimates, and ultrametric Sobolev and Poincaré inequalities (Kochubei, 2022).

For the Neumann problem, the exterior boundary operator is

$K^n$03

The decisive analytic input is a family of ultrametric Green identities. For bounded, locally constant $K^n$04, one has the symmetry identity on $K^n$05,

$K^n$06

the balance relation

$K^n$07

and the bilinear identity

$K^n$08

These formulas are the cornerstones of the weak and strong Neumann theories (Antoniouk et al., 28 Aug 2025).

The weak Neumann problem seeks $K^n$09 such that

$K^n$10

with $K^n$11, $K^n$12. Its natural bilinear form is

$K^n$13

and the weak formulation is

$K^n$14

Under the assumption that there exists a bounded locally constant $K^n$15 with $K^n$16 on $K^n$17, solvability is equivalent to the compatibility condition

$K^n$18

and the solution is unique up to an additive constant. The proof homogenizes the exterior datum, reduces the problem to $K^n$19 with $K^n$20 compact and self-adjoint, and then applies Fredholm theory (Antoniouk et al., 28 Aug 2025).

In the special case $K^n$21 and $K^n$22, one also has a strong solution theory. The decomposition

$K^n$23

together with the Neumann condition, which forces $K^n$24 for $K^n$25, leads to a Fredholm-type integral equation on $K^n$26. This equation is uniquely solvable in $K^n$27 under the same zero-average compatibility condition $K^n$28, and the resulting solution satisfies the pointwise formulas $K^n$29 on $K^n$30 and $K^n$31 on the exterior. Multidimensional balls are reduced to the one-dimensional case by passage to an unramified extension $K^n$32 (Antoniouk et al., 28 Aug 2025).

5. Heat kernels, semigroups, and stochastic interpretation

The Vladimirov–Taibleson operator generates the non-Archimedean heat equation

$K^n$33

whose fundamental solution on the full field is

$K^n$34

On a compact ball with Dirichlet exterior condition, the heat kernel can be expanded in Kozyrev’s wavelet basis: $K^n$35 Both the global and local kernels satisfy the semigroup property, normalization, and positivity. In particular,

$K^n$36

A specific recent result is monotonicity in the order $K^n$37: if $K^n$38, then for all $K^n$39 and $K^n$40,

$K^n$41

and likewise on balls $K^n$42 (Antoniouk et al., 21 Apr 2026).

The semigroup viewpoint has a direct probabilistic interpretation. On a finite-dimensional vector space $K^n$43 over $K^n$44, the operator $K^n$45 is the infinitesimal generator of a càdlàg Markov process with stationary independent increments, described there as non-Archimedean Brownian motion or an $K^n$46-stable process. The transition density is

$K^n$47

and it admits the explicit shell-sum expansion

$K^n$48

For each $K^n$49, $K^n$50, $K^n$51, and $K^n$52 (Pierce et al., 2024).

This process also arises as a scaling limit of discrete-time random walks on finer and finer lattices. In the formulation for $K^n$53, one uses steps on the finite quotient $K^n$54, with heavy-tailed step distribution

$K^n$55

together with space scale $K^n$56 and time scale $K^n$57. Tightness and convergence of finite-dimensional distributions then identify the scaling limit with the semigroup generated by $K^n$58 (Pierce et al., 2024).

A common misconception is that the operator is relevant only as an abstract pseudo-differential multiplier. The heat-kernel and scaling-limit results show that it is equally central in non-Archimedean stochastic analysis, where it serves as the generator of a Feller semigroup and of a pure-jump diffusion analogue on totally disconnected spaces (Antoniouk et al., 21 Apr 2026).

6. Radial calculus, functional calculus, and generalizations

When one restricts to radial functions $K^n$59, the operator reduces to a discrete-radius calculus. For $K^n$60, the action of $K^n$61 is expressible directly in terms of the sequence $K^n$62, and Kochubei constructed a right-inverse $K^n$63 that plays the role of a non-Archimedean Riemann–Liouville fractional integral. On radial functions, $K^n$64 is given by a kernel supported on the ball $K^n$65, and

$K^n$66

on the appropriate radial class. This converts equations involving $K^n$67 into Volterra-type integral equations on the radius variable, providing a non-Archimedean analogue of ordinary fractional differential equations (Kochubei, 2020).

The radial theory also supports an analogue of the Laplace transform. If $K^n$68 denotes the unique Bruhat–Schwartz radial eigenfunction of $K^n$69 with eigenvalue $K^n$70, then

$K^n$71

satisfies

$K^n$72

together with a discrete inversion formula. This places the radial Vladimirov operator in a particularly transparent spectral framework (Kochubei, 2020).

On $K^n$73, recent harmonic analysis has established a notably strong functional calculus. For every $K^n$74 and every $K^n$75, the closure of the Taibleson operator admits a bounded $K^n$76-calculus, and it also admits a bounded Hörmander functional calculus of order $K^n$77, with the order independent of the dimension $K^n$78. In the same framework, bounded $K^n$79-calculus of angle $K^n$80 implies maximal $K^n$81-regularity for evolution equations of the form

$K^n$82

The dimension-free order $K^n$83 is explicitly identified in the cited work as a phenomenon absent from the existing literature in related settings (Arhancet et al., 2024).

Another extension is the non-Archimedean Kelvin transform. Via an unramified extension $K^n$84 of degree $K^n$85, one defines an inversion map $K^n$86 on $K^n$87 and the transform

$K^n$88

For $K^n$89 and $K^n$90, the operator satisfies the conjugation formula

$K^n$91

equivalently,

$K^n$92

As a consequence, if $K^n$93 is $K^n$94-harmonic on a domain containing $K^n$95, then $K^n$96 is $K^n$97-harmonic on the inverted domain $K^n$98 (Antoniouk et al., 31 Oct 2025).

The influence of the Vladimirov–Taibleson construction also extends beyond local fields themselves. On $K^n$99-regular ultrametric Cantor sets, the Vladimirov–Pearson operator $D^\alpha$00 is constructed from a spectral triple and zeta function; under “equitising” and factorisation hypotheses it acquires an integral-kernel form

$D^\alpha$01

diagonalizes on ultrametric wavelets, generates a Markov semigroup, and in the special case $D^\alpha$02 recovers the classical Vladimirov–Taibleson operator up to the overall constant $D^\alpha$03, with parameter matching $D^\alpha$04 (Bradley, 29 Apr 2025).

Taken together, these developments show that the Vladimirov–Taibleson operator is not a narrow model confined to $D^\alpha$05-adic fractional differentiation. It is a central object in non-Archimedean analysis, linking pseudo-differential calculus, variational PDE, boundary regularity, spectral theory, semigroup methods, stochastic processes, and ultrametric geometric generalizations.