# The Liouville theorem and linear operators satisfying the maximum principle

## TL;DR

This paper characterizes translation invariant linear operators satisfying the Liouville theorem, linking PDE, probability, and group theory to identify when bounded solutions are constant.

## Contribution

It provides a complete characterization of such operators that satisfy the Liouville property, extending previous maximum principle results.

## Key findings

- Operators satisfying the Liouville theorem are fully characterized.
- The Liouville property follows from a periodicity result for solutions.
- The proofs are concise, combining PDE and group theory techniques.

## Abstract

A result by Courr\`ege says that linear translation invariant operators satisfy the maximum principle if and only if they are of the form $\mathcal{L}=\mathcal{L}^{\sigma,b}+\mathcal{L}^\mu$ where $$ \mathcal{L}^{\sigma,b}[u](x)=\text{tr}(\sigma \sigma^{\texttt{T}} D^2u(x))+b\cdot Du(x) $$ and $$ \mathcal{L}^\mu[u](x)=\int \big(u(x+z)-u-z\cdot Du(x) \mathbf{1}_{|z| \leq 1}\big) \,\mathrm{d} \mu(z). $$ This class of operators coincides with the infinitesimal generators of L\'evy processes in probability theory. In this paper we give a complete characterization of the translation invariant operators of this form that satisfy the Liouville theorem: Bounded solutions $u$ of $\mathcal{L}[u]=0$ in $\mathbb{R}^d$ are constant. The Liouville property is obtained as a consequence of a periodicity result that completely characterizes bounded distributional solutions of $\mathcal{L}[u]=0$ in $\mathbb{R}^d$. The proofs combine arguments from PDE and group theories. They are simple and short.