# On the Dirichlet problem in cylindrical domains for evolution Ole\v{\i}nik--Radkevi\v{c} PDE's: a Tikhonov-type theorem

## TL;DR

This paper establishes a Tikhonov-type theorem linking boundary regularity of solutions for certain evolution PDEs in cylindrical domains to the regularity of their spatial parts, with applications to degenerate Ornstein-Uhlenbeck operators.

## Contribution

It proves a new boundary regularity criterion for evolution PDEs with hypoelliptic spatial operators, extending classical results to degenerate and hypoelliptic cases.

## Key findings

- Boundary regularity in cylindrical domains is characterized by the spatial boundary regularity.
- The theorem applies to PDEs with nonnegative characteristic form and hypoellipticity conditions.
- A new criterion for boundary regularity of degenerate Ornstein-Uhlenbeck operators is derived.

## Abstract

We consider the linear second order PDO's $$ \mathscr{L} = \mathscr{L}_0 - \partial_t : = \sum_{i,j =1}^N \partial_{x_i}(a_{i,j} \partial_{x_j} ) - \sum_{j=i}^N b_j \partial_{x_j} - \partial _t,$$and assume that $\mathscr{L}_0$ has nonnegative characteristic form and satisfies the Ole\v{\i}nik--Radkevi\v{c} rank hypoellipticity condition. These hypotheses allow the construction of Perron-Wiener solutions of the Dirichlet problems for $\mathscr{L}$ and $\mathscr{L}_0$ on bounded open subsets of $\mathbb R^{N+1}$ and of $\mathbb R^{N}$, respectively. Our main result is the following Tikhonov-type theorem: Let $\mathcal{O}:= \Omega \times ]0, T[$ be a bounded cylindrical domain of $\mathbb R^{N+1}$, $\Omega \subset \mathbb R^{N},$ $x_0 \in \partial \Omega$ and $0 < t_0 < T.$ Then $z_0 = (x_0, t_0) \in \partial \mathcal{O}$ is $\mathscr{L}$-regular for $\mathcal{O}$ if and only if $x_0$ is $\mathscr{L}_0$-regular for $\Omega$. As an application, we derive a boundary regularity criterion for degenerate Ornstein--Uhlenbeck operators.