Hostname: page-component-77c89778f8-gq7q9 Total loading time: 0 Render date: 2024-07-19T17:09:53.066Z Has data issue: false hasContentIssue false

Existence of solutions to weak parabolic equations for measures

Published online by Cambridge University Press:  14 April 2004

Vladimir I. Bogachev
Affiliation:
Department of Mechanics and Mathematics, Moscow State University, 119899 Moscow, Russia. E-mail: vbogach@mech.math.msu.su
Giuseppe Da Prato
Affiliation:
Scuola Normale Superiore di Pisa, Piazza dei Cavalieri 7, I–56126 Pisa, Italy. E-mail: daprato@sns.it
Michael Röckner
Affiliation:
Fakultät für Mathematik, Universität Bielefeld, D–33501 Bielefeld, Germany. E-mail: roeckner@mathematik.uni-bielefeld.de
Get access

Abstract

Let $A = (a^{ij})$ be a Borel mapping on $[0, 1] \times \mathbb{R}^d$ with values in the space of non-negative operators on $\mathbb{R}^d$ and let $b = (b^i)$ be a Borel mapping on $[0, 1] \times \mathbb{R}^d$ with values in $\mathbb{R}^d$. Let

\[Lu(t, x) = \partial_{t} u(t, x) + a^{ij}(t, x)\partial_{x_i}\partial_{x_j}u(t, x) + b^i(t, x)\partial_{x_i}u(t, x), \quad u \in C_0^\infty((0, 1)\times \mathbb{R}^d).\]

Under broad assumptions on $A$ and $b$, we construct a family $\mu = (\mu_t)_{t \in [0, 1)}$ of probability measures $\mu_t$ on $\mathbb{R}^d$ which solves the Cauchy problem $L^{*}\mu = 0$ with initial condition $\mu_0 = \nu$, where $\nu$ is a probability measure on $\mathbb{R}^d$, in the following weak sense:

$$\[ \int_0^1\int_{\mathbb{R}^d} Lu(t, x)\, \mu_t(dx)\, dt=0, \quad u \in C_0^\infty((0, 1) \times \mathbb{R}^d), \] $$

and

$$\[ \lim\limits_{t \to 0} \int_{\mathbb{R}^d} \zeta(x)\, \mu_t(dx) = \int_{\mathbb{R}^d} \zeta(x)\, \nu(dx), \quad \zeta \in C_0^\infty(\mathbb{R}^d). \] $$

Such an equation is satisfied by transition probabilities of a diffusion process associated with $A$ and $b$ provided such a process exists. However, we do not assume the existence of a process and allow quite singular coefficients, in particular, $b$ may be locally unbounded or $A$ may be degenerate. An infinite-dimensional analogue is discussed as well. Main methods are $L^p$-analysis with respect to suitably chosen measures and reduction to the elliptic case (studied previously) by piecewise constant approximations in time.

Type
Research Article
Copyright
2004 London Mathematical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)