Elliptic Pseudo-Differential Operators

• Elliptic pseudo-differential operators are a class of linear operators defined by precise symbolic conditions and robust regularity properties in non-archimedean settings.
• They generalize elliptic differential and convolution operators, underpinning the construction of explicit p-adic heat kernels and driving Feller semigroup dynamics.
• Their Lévy–Khinchine decomposition connects analytic operator theory with stochastic process generators, informing research in ultrametric diffusion and p-adic stochastic analysis.

Elliptic pseudo-differential operators comprise a broad class of linear operators that generalize both elliptic differential operators and convolution operators, characterized by precise symbolic conditions, robust regularity properties, and fundamental roles in analysis, geometry, and probability. In the non-archimedean context, they are pivotal in the study of p-adic analysis, Feller semigroups, and the symbolic characterization of Lévy processes. The generalization to systems, parameter-dependent cases, and singular analytic settings further underscores their analytic and geometric flexibility.

1. Definition and Symbolic Characterization

An elliptic pseudo-differential operator over a non-archimedean local field, such as $\mathbb{Q}_p^n$, is defined via its action on Bruhat–Schwartz space $\mathcal{D}(\mathbb{Q}_p^n)$ by

$$(A\varphi)(x) = \mathcal{F}^{-1}\left( |f(\xi)|_p^\beta \,\mathcal{F}\varphi(\xi)\right)(x),$$

where $f(\xi)\in\mathbb{Q}_p[\xi_1,\ldots,\xi_n]$ is an elliptic polynomial of degree $d$, and $\beta > 0$ is fixed. Ellipticity of $f$ requires

• Homogeneity: $f(t\xi) = t^d f(\xi)$ for $t\in\mathbb{Q}_p^\times$,
• Non-degeneracy: $f(\xi)=0$ iff $\xi=0$.

There exist constants $C_0, C_1>0$ such that

$$C_0 \|\xi\|_p^d \le |f(\xi)|_p \le C_1 \|\xi\|_p^d,$$

so the symbol $\sigma(\xi) = |f(\xi)|_p^\beta$ vanishes only at $\xi = 0$ and grows like $\|\xi\|_p^{d\beta}$ for large $\|\xi\|_p$ (García et al., 2018).

A real-valued continuous negative definite function $\sigma: \mathbb{Q}_p^n \to \mathbb{R}$ satisfies

$$\sum_{i,j=1}^m (\sigma(\xi_i) + \sigma(\xi_j) - \sigma(\xi_i-\xi_j)) a_i\overline{a_j} \ge 0,$$

for all $m\in\mathbb{N}$, $\xi_i\in\mathbb{Q}_p^n$, $a_i\in\mathbb{C}$ with $\sum a_i=0$. For elliptic symbols, this property is verified in [(García et al., 2018), Thm 3], and general structure theory yields a Lévy–Khinchine decomposition:

$\sigma(\xi) = a + \ell(\xi) + q(\xi),$

where $a\ge0$, $\ell$ is a continuous homomorphism, and $q$ is a continuous non-negative quadratic form.

2. Heat Kernel, Feller Semigroups, and Markov Processes

Given the negative definite symbol $\sigma$, the associated heat kernel is

$$Z_t(x) = \mathcal{F}^{-1}(e^{-t \sigma(\xi)})(x),\quad t > 0,$$

which satisfies:

• $Z_t(x)\ge 0$ (positivity),
• $\int_{\mathbb{Q}_p^n} Z_t(x)\,dx = 1$ (mass-one property),
• $Z_{t+s}(x) = \int Z_t(x-y) Z_s(y) dy$ (semigroup/Chapman–Kolmogorov).

The corresponding Feller semigroup $(T_t)_{t\ge 0}$ on $C_0(\mathbb{Q}_p^n)$ is given by

$T_t f(x) = \int_{\mathbb{Q}_p^n} Z_t(x-y)f(y)\,dy,$

and preserves positivity and the unit. The transition function

$P_t(x,E) = \int_E Z_t(x-y) dy$

is a uniformly stochastically continuous $C_0$-transition function, supporting a strong Markov process $X_t$ with state space $\mathbb{Q}_p^n$ [(García et al., 2018), Thm 2, Thm 1].

3. Lévy–Khinchine Structure and Symbol Decomposition

The negative definite symbol $\sigma(\xi)$ admits a full Lévy–Khinchine decomposition on the locally compact abelian group $\mathbb{Q}_p^n$:

$\sigma(\xi) = a + \ell(\xi) + q(\xi),$

with $a\ge 0$, $\ell:\mathbb{Q}_p^n \to \mathbb{R}$ a continuous homomorphism, and $q$ a non-negative, continuous quadratic form. In the case where $\sigma(\xi)$ is even and real, the homomorphism vanishes ($\ell\equiv 0$), so the symbol is purely of the form $a + q(\xi)$ [(García et al., 2018), Thm 4].

4. Analytic and Probabilistic Consequences

The correspondence between Feller semigroups and negative definite symbols provides a direct link between the analytic structure of non-archimedean elliptic pseudo-differential operators and the generator theory for strong Markov processes. The heat kernel and its symbolic description yield explicit transition probabilities and stochastic continuity properties for Markov processes in p-adic analysis. The convolution semigroup structure of the heat kernel is mirrored by the negative definite nature of the symbol, and the full semigroup and its infinitesimal generator are entirely governed by the symbol's Lévy–Khinchine representation.

This structure enables the explicit treatment of p-adic analogues of classical heat kernels, subordinated processes (via more general negative definite symbols), and the study of stochastic dynamics on non-archimedean state spaces (García et al., 2018).

5. Extensions and Research Directions

Potential extensions of the theory and applications include:

• Allowing more general negative definite symbols, including mixtures and time-dependent (non-stationary) evolutions,
• Formulating boundary value problems on compact p-adic domains,
• Developing the spectral theory in $L^2(\mathbb{Q}_p^n)$ and Sobolev-type spaces,
• Constructing vector- or matrix-valued non-archimedean pseudo-differential operators,
• Studying ultrametric random walks and p-adic stochastic differential equations,
• Exploring connections with Feller semigroups, subordinate semigroups, and stochastic process theory in ultra-discrete settings (García et al., 2018).

These directions mirror the role played by classical elliptic pseudo-differential operators as generators of Feller processes in real analysis, thereby positioning their p-adic analogues as central to non-archimedean probability and analysis.

6. Significance and Contemporary Impact

The non-archimedean theory of elliptic pseudo-differential operators provides explicit heat kernels and Markov transition functions on $\mathbb{Q}_p^n$, enabling strong connections between analytic and probabilistic frameworks. The explicit Lévy–Khinchine structure of the symbol not only characterizes generator domains but also underpins stochastic representation, regularity, and semigroup theory. These operators provide the foundation for explicit models of p-adic heat propagation, ultrametric diffusion processes, and serve as a bridge to broader non-local diffusion and subordinate process constructions in the context of $p$-adic and ultrametric spaces (García et al., 2018).