### Abstract

It is frequently the case that a white-noise-driven parabolic and/or hyperbolic stochastic partial differential equation (SPDE) can have randomfield solutions only in spatial dimension one. Here we show that in many cases, where the "spatial operator" is the L^{2}-generator of a Lévy process X, a linear SPDE has a random-field solution if and only if the symmetrization of X possesses local times. This result gives a probabilistic reason for the lack of existence of random-field solutions in dimensions strictly larger than one. In addition, we prove that the solution to the SPDE is [Ḧolder] continuous in its spatial variable if and only if the said local time is [Ḧolder] continuous in its spatial variable. We also produce examples where the random-field solution exists, but is almost surely unbounded in every open subset of space-time. Our results are based on first establishing a quasi-isometry between the linear L^{2}- space of the weak solutions of a family of linear SPDEs, on one hand, and the Dirichlet space generated by the symmetrization of X, on the other hand. We mainly study linear equations in order to present the local-time correspondence at a modest technical level. However, some of our work has consequences for nonlinear SPDEs as well. We demonstrate this assertion by studying a family of parabolic SPDEs that have additive nonlinearities. For those equations we prove that if the linearized problem has a randomfield solution, then so does the nonlinear SPDE. Moreover, the solution to the linearized equation is [Ḧolder] continuous if and only if the solution to the nonlinear equation is, and the solutions are bounded and unbounded together as well. Finally, we prove that in the cases where the solutions are unbounded, they almost surely blow up at exactly the same points.

Language | English |
---|---|

Pages | 2481-2515 |

Number of pages | 35 |

Journal | Transactions of the American Mathematical Society |

Volume | 363 |

Issue number | 5 |

Early online date | 3 Dec 2010 |

DOIs | |

Publication status | Published - 31 May 2011 |

### Fingerprint

### Keywords

- stochastic partial differential equation
- linear equations
- local-time correspondance

### Cite this

*Transactions of the American Mathematical Society*,

*363*(5), 2481-2515. https://doi.org/10.1090/S0002-9947-2010-05017-2

}

*Transactions of the American Mathematical Society*, vol. 363, no. 5, pp. 2481-2515. https://doi.org/10.1090/S0002-9947-2010-05017-2

**A local-time correspondence for stochastic partial differential equations.** / Foondun, Mohammud; Khoshnevisan, Davar; Nualart, Eulalia.

Research output: Contribution to journal › Article

TY - JOUR

T1 - A local-time correspondence for stochastic partial differential equations

AU - Foondun, Mohammud

AU - Khoshnevisan, Davar

AU - Nualart, Eulalia

PY - 2011/5/31

Y1 - 2011/5/31

N2 - It is frequently the case that a white-noise-driven parabolic and/or hyperbolic stochastic partial differential equation (SPDE) can have randomfield solutions only in spatial dimension one. Here we show that in many cases, where the "spatial operator" is the L2-generator of a Lévy process X, a linear SPDE has a random-field solution if and only if the symmetrization of X possesses local times. This result gives a probabilistic reason for the lack of existence of random-field solutions in dimensions strictly larger than one. In addition, we prove that the solution to the SPDE is [Ḧolder] continuous in its spatial variable if and only if the said local time is [Ḧolder] continuous in its spatial variable. We also produce examples where the random-field solution exists, but is almost surely unbounded in every open subset of space-time. Our results are based on first establishing a quasi-isometry between the linear L2- space of the weak solutions of a family of linear SPDEs, on one hand, and the Dirichlet space generated by the symmetrization of X, on the other hand. We mainly study linear equations in order to present the local-time correspondence at a modest technical level. However, some of our work has consequences for nonlinear SPDEs as well. We demonstrate this assertion by studying a family of parabolic SPDEs that have additive nonlinearities. For those equations we prove that if the linearized problem has a randomfield solution, then so does the nonlinear SPDE. Moreover, the solution to the linearized equation is [Ḧolder] continuous if and only if the solution to the nonlinear equation is, and the solutions are bounded and unbounded together as well. Finally, we prove that in the cases where the solutions are unbounded, they almost surely blow up at exactly the same points.

AB - It is frequently the case that a white-noise-driven parabolic and/or hyperbolic stochastic partial differential equation (SPDE) can have randomfield solutions only in spatial dimension one. Here we show that in many cases, where the "spatial operator" is the L2-generator of a Lévy process X, a linear SPDE has a random-field solution if and only if the symmetrization of X possesses local times. This result gives a probabilistic reason for the lack of existence of random-field solutions in dimensions strictly larger than one. In addition, we prove that the solution to the SPDE is [Ḧolder] continuous in its spatial variable if and only if the said local time is [Ḧolder] continuous in its spatial variable. We also produce examples where the random-field solution exists, but is almost surely unbounded in every open subset of space-time. Our results are based on first establishing a quasi-isometry between the linear L2- space of the weak solutions of a family of linear SPDEs, on one hand, and the Dirichlet space generated by the symmetrization of X, on the other hand. We mainly study linear equations in order to present the local-time correspondence at a modest technical level. However, some of our work has consequences for nonlinear SPDEs as well. We demonstrate this assertion by studying a family of parabolic SPDEs that have additive nonlinearities. For those equations we prove that if the linearized problem has a randomfield solution, then so does the nonlinear SPDE. Moreover, the solution to the linearized equation is [Ḧolder] continuous if and only if the solution to the nonlinear equation is, and the solutions are bounded and unbounded together as well. Finally, we prove that in the cases where the solutions are unbounded, they almost surely blow up at exactly the same points.

KW - stochastic partial differential equation

KW - linear equations

KW - local-time correspondance

UR - http://www.scopus.com/inward/record.url?scp=79951821957&partnerID=8YFLogxK

UR - http://www.ams.org/publications/journals/journalsframework/tran

U2 - 10.1090/S0002-9947-2010-05017-2

DO - 10.1090/S0002-9947-2010-05017-2

M3 - Article

VL - 363

SP - 2481

EP - 2515

JO - Transactions of the American Mathematical Society

T2 - Transactions of the American Mathematical Society

JF - Transactions of the American Mathematical Society

SN - 0002-9947

IS - 5

ER -