Search

We investigate the strict positivity and the compact support property of solutions to the one-dimensional nonlinear stochastic heat equation: $$\partial_t u(t,x) = \frac{1}{2}\partial^2_x u(t,x) + \sigma(u(t,x))\dot{W}(t,x), \quad (t,x)\in \mathbf{R}_+\times\mathbf{R},$$ with nonnegative and compactly supported initial data $u_0$, where $\dot{W}$ is the space-time white noise and $\sigma:\mathbf{R} \to \mathbf{R} $ is a continuous function with $\sigma(0)=0$. We prove that (i) if $v/ \sigma(v)$ is sufficiently large near $v=0$, then the solution $u(t,\cdot)$ is strictly positive for all $t>0$, and (ii) if $v/\sigma(v)$ is sufficiently small near $v= 0$, then the solution $u(t,\cdot)$ has compact support for all $t>0$. These findings extend previous results concerning the strict positivity and the compact support property, which were analyzed only for the case $\sigma(u)\approx u^\gamma$ for $\gamma>0$. Additionally, we establish the uniqueness of a solution and the weak comparison principle in case (i)., Comment: 31 pages. Revision in Proposition 4.1 and the proof of Theorem 1.3 (ii)

This article investigates the existence, uniqueness, and regularity of solutions to nonlinear stochastic reaction-diffusion-advection equations (SRDAEs) with spatially homogeneous colored noises and variable-order nonlocal operators in mixed norm $L_q(L_p)$-spaces. We introduce a new condition (strongly reinforced Dalang's condition) on colored noise, which facilitates a deeper understanding of the complicated relation between nonlinearities and stochastic forces. Additionally, we establish the space-time H\"older type regularity of solutions., Comment: 47 pages

We study the existence, uniqueness, and regularity of the solution to the stochastic reaction-diffusion equation (SRDE) with colored noise $\dot{F}$: $$ \partial_t u = a^{ij}u_{x^ix^j} + b^i u_{x^i} + cu - \bar{b} u^{1+\beta} + \xi u^{1+\gamma}\dot F,\quad (t,x)\in \mathbb{R}_+\times\mathbb{R}^d; \quad u(0,\cdot) = u_0, $$ where $a^{ij},b^i,c, \bar{b}$ and $\xi$ are $C^2$ or $L_\infty$ bounded random coefficients. Here $\beta>0$ denotes the degree of the strong dissipativity and $\gamma>0$ represents the degree of stochastic force. Under the reinforced Dalang's condition on $\dot{F}$, we show the well-posedness of the SRDE provided $\gamma < \frac{\kappa(\beta +1)}{d+2}$ where $\kappa>0$ is the constant related to $\dot F$. Our result assures that strong dissipativity prevents the solution from blowing up. Moreover, we provide the maximal H\"older regularity of the solution in time and space., Comment: 21 pages

We present the $L_p$-solvability for stochastic time fractional Burgers' equations driven by multiplicative space-time white noise: $$ \partial_t^\alpha u = a^{ij}u_{x^ix^j} + b^{i}u_{x^i} + cu + \bar b^i u u_{x^i} + \partial_t^\beta\int_0^t \sigma(u)dW_t,\,t>0;\,\,u(0,\cdot) = u_0, $$ where $\alpha\in(0,1)$, $\beta < 3\alpha/4+1/2$, and $d< 4 - 2(2\beta-1)_+/\alpha$. The operators $\partial_t^\alpha$ and $\partial_t^\beta$ are the Caputo fractional derivatives of order $\alpha$ and $\beta$, respectively. The process $W_t$ is an $L_2(\mathbb{R}^d)$-valued cylindrical Wiener process, and the coefficients $a^{ij}, b^i, c$ and $\sigma(u)$ are random. In addition to the existence and uniqueness of a solution, we also suggest the H\"older regularity of the solution. For example, for any constant $T<\infty$, small $\varepsilon>0$, and almost sure $\omega\in\Omega$, we have $$ \sup_{x\in\mathbb{R}^d}|u(\omega,\cdot,x)|_{C^{[ \frac{\alpha}{2}( ( 2-(2\beta-1)_+/\alpha-d/2 )\wedge1 )+\frac{(2\beta-1)_{-}}{2} ]\wedge 1-\varepsilon}([0,T])}<\infty \quad\text{and}\quad \sup_{t\leq T}|u(\omega,t,\cdot)|_{C^{( 2-(2\beta-1)_+/\alpha-d/2 )\wedge1 - \varepsilon}(\mathbb{R}^d)} < \infty. $$ The H\"older regularity of the solution in time changes behavior at $\beta = 1/2$. Furthermore, if $\beta\geq1/2$, then the H\"older regularity of the solution in time is $\alpha/2$ times the one in space., Comment: 41 pages, typo corrected, conditions on initial data is changed, results of the H\"older embedding theorems and the H\"older continuity of solutions are improved

We study the compact support property for solutions of the following stochastic partial differential equations: $$\partial_t u = a^{ij}u_{x^ix^j}(t,x)+b^{i}u_{x^i}(t,x)+cu+h(t,x,u(t,x))\dot{F}(t,x),\quad (t,x)\in (0,\infty)\times{\bf{R}}^d,$$ where $\dot{F}$ is a spatially homogeneous Gaussian noise that is white in time and colored in space, and $h(t, x, u)$ satisfies $K^{-1}|u|^{\lambda}\leq h(t, x, u)\leq K(1+|u|)$ for $\lambda\in(0,1)$ and $K\geq 1$. We show that if the initial data $u_0\geq 0$ has a compact support, then, under the reinforced Dalang's condition on $\dot{F}$ (which guarantees the existence and the H\"older continuity of a weak solution), all nonnegative weak solutions $u(t, \cdot)$ have the compact support for all $t>0$ with probability 1. Our results extend the works by Mueller-Perkins [Probab. Theory Relat. Fields, 93(3):325--358, 1992] and Krylov [Probab. Theory Relat. Fields, 108(4):543--557, 1997], in which they show the compact support property only for the one-dimensional SPDEs driven by space-time white noise on $(0, \infty)\times \bf{R}$., Comment: 39pages. In v3 we have corrected some errors from v1. We mainly fixed Theorem 3.1 and Lemma 3.1 with a modification of the solution space (the equation (2.10) in v3). We added additional comments from v2 where the manuscript is the same as in v3

We introduce the uniqueness, existence, $L_p$-regularity, and maximal H\"older regularity of the solution to semilinear stochastic partial differential equation driven by a multiplicative space-time white noise: $$ u_t = au_{xx} + bu_{x} + cu + \bar b|u|^\lambda u_{x} + \sigma(u)\dot W,\quad (t,x)\in(0,\infty)\times\mathbb{R}; \quad u(0,\cdot) = u_0, $$ where $\lambda > 0$. The function $\sigma(u)$ is either bounded Lipschitz or super-linear in $u$. The noise $\dot W$ is a space-time white noise. The coefficients $a,b,c$ depend on $(\omega,t,x)$, and $\bar b$ depends on $(\omega,t)$. The coefficients $a,b,c,\bar{b}$ are uniformly bounded, and $a$ satisfies ellipticity condition. The random initial data $u_0 = u_0(\omega,x)$ is nonnegative. We have the maximal H\"older regularity by employing the H\"older embedding theorem. For example, if $\lambda \in(0,1]$ and $\sigma(u)$ has Lipschitz continuity, linear growth, and boundedness in $u$, for $T<\infty$ and $\varepsilon>0$, $$u \in C^{1/4 - \varepsilon,1/2 - \varepsilon}_{t,x}([0,T]\times\mathbb{R})\quad(a.s.). $$ On the other hand, if $\lambda\in(0,1)$ and $\sigma(u) = |u|^{1+\lambda_0}$ with $\lambda_0\in[0,1/2)$, for $T<\infty$ and $\varepsilon>0$, $$u \in C^{\frac{1/2-(\lambda -1/2) \vee \lambda_0}{2} - \varepsilon,1/2-(\lambda -1/2) \vee \lambda_0 - \varepsilon}_{t,x}([0,T]\times\mathbb{R})\quad (a.s.).$$ It should be noted that if $\sigma(u)$ is bounded Lipschitz in $u$, the H\"older regularity of the solution is independent of $\lambda$. However, if $\sigma(u)$ is super-linear in $u$, the H\"older regularities of the solution are affected by nonlinearities, $\lambda$ and $\lambda_0.$, Comment: 33 pages. arXiv admin note: text overlap with arXiv:2111.03302

We establish the $L_p$-regularity theory for a semilinear stochastic partial differential equation with multiplicative white noise: $$ du = (a^{ij}u_{x^ix^j} + b^{i}u_{x^i} + cu + \bar b^{i}|u|^\lambda u_{x^i})dt + \sigma^k(u)dw_t^k,\quad (t,x)\in(0,\infty)\times\bR^d; \quad u(0,\cdot) = u_0, $$ where $\lambda>0$, the set $\{ w_t^k,k=1,2,\dots \}$ is a set of one-dimensional independent Wiener processes, and the function $u_0 = u_0(\omega,x)$ is a nonnegative random initial data. The coefficients $a^{ij},b^i,c$ depend on $(\omega,t,x)$, and $\bar b^i$ depends on $(\omega,t,x^1,\dots,x^{i-1},x^{i+1},\dots,x^d)$. The coefficients $a^{ij},b^i,c,\bar{b}^i$ are uniformly bounded and twice continuous differentiable. The leading coefficient $a$ satisfies ellipticity condition. Depending on the diffusion coefficient $\sigma^k(u)$, we consider two different cases; (i) $\lambda\in(0,\infty)$ and $\sigma^k(u)$ has Lipschitz continuity and linear growth in $u$, (ii) $\lambda,\lambda_0\in(0,1/d)$ and $\sigma^k(u) = \mu^k |u|^{1+\lambda_0}$ ($\sigma^k(u)$ is super-linear). Each case has different regularity results. For example, in the case of $(i)$, for $\varepsilon>0$ $$u \in C^{1/2 - \varepsilon,1 - \varepsilon}_{t,x}([0,T]\times\bR^d)\quad \forall T<\infty, $$ almost surely. On the other hand, in the case of $(ii)$, if $\lambda,\lambda_0\in(0,1/d)$, for $\varepsilon>0$ $$ u \in C^{\frac{1-(\lambda d) \vee (\lambda_0 d)}{2} - \varepsilon,1-(\lambda d) \vee (\lambda_0 d) - \varepsilon}_{t,x}([0,T]\times\bR^d)\quad \forall T<\infty $$ almost surely. It should be noted that $\lambda$ can be any positive number and the solution regularity is independent of nonlinear terms in case $(i)$. In case $(ii)$, however, $\lambda,\lambda_0$ should satisfy $\lambda,\lambda_0\in(0,1/d)$ and the regularities of the solution are affected by $\lambda,\lambda_0$ and $d$., Comment: 28 pages

Existence, uniqueness, and regularity of a strong solution are obtained for stochastic PDEs with a colored noise $F$ and its super-linear diffusion coefficient: $$ du=(a^{ij}u_{x^ix^j}+b^iu_{x^i}+cu)dt+\xi|u|^{1+\lambda}dF, \quad (t,x)\in(0,\infty)\times\mathbb{R}^d, $$ where $\lambda \geq 0$ and the coefficients depend on $(\omega,t,x)$. The strategy of handling nonlinearity of the diffusion coefficient is to find a sharp estimation for a general Lipschitz case, and apply it to the super-linear case. Moreover, investigation for the estimate provides a range of $\lambda$, a sufficient condition for the unique solvability, where the range depends on the spatial covariance of $F$ and the spatial dimension $d$., Comment: 27 pages

We present a weighted $L_{q}(L_{p})$-theory ($p,q\in(1,\infty)$) with Muckenhoupt weights for the equation $$ \partial_{t}^{\alpha}u(t,x)=\Delta u(t,x) +f(t,x), \quad t>0, x\in \mathbb{R}^d. $$ Here, $\alpha\in (0,2)$ and $\partial_{t}^{\alpha}$ is the Caputo fractional derivative of order $\alpha$. In particular we prove that for any $p,q\in (1,\infty)$, $w_{1}(x)\in A_p$ and $w_{2}(t)\in A_q$, $$ \int^{\infty}_0\left(\int_{\mathbb{R}^d} |u_{xx}|^p \,w_{1} dx \right)^{q/p}\,w_{2}dt \leq N \int^{\infty}_0\left(\int_{\mathbb{R}^d} |f|^p \,w_{1} dx \right)^{q/p}\,w_{2}dt, $$ where $A_p$ is the class of Muckenhoupt $A_p$ weights. Our approach is based on the sharp function estimates of the derivatives of solutions.

We present uniqueness and existence in weighted Sobolev spaces of the equation $$ u_t=(au_{xx}+bu_x+cu)+ \xi |u|^{1+\lambda} {\dot{B}}, \quad\,\, t>0, \, x\in (0,1) $$ with initial data $u(0,\cdot)=u_0$ and zero boundary data. Here $\lambda\in [0,1/2)$, $\dot{B}$ is a space-time white noise, and the coefficients $a,b,c$ and the function $\xi$ depend on $(\omega,t,x)$ and the initial data $u_0$ depends on $(\omega,x)$. More importantly, we obtain various interior H\"older regularities and boundary behaviors of the solution. For instance, if the initial data is in appropriate $L_p$ spaces, then for any small $\varepsilon>0$ and $T<\infty$, almost surely $$ \rho^{-1/2-\kappa}u \in C^{\frac{1}{4}-\frac{\kappa}{2}-\varepsilon, \frac{1}{2}-\kappa-\varepsilon}_{t,x}([0,T]\times (0,1)), \quad \forall\, \kappa\in (\lambda, 1/2), $$ where $\rho(x)$ is the distance from $x$ to the boundary. Taking $\kappa \downarrow \lambda$, one gets the the maximal H\"older exponents in time and space, which are $1/4-\lambda/2-\varepsilon$ and $1/2-\lambda-\varepsilon $ respectively. Also, letting $\kappa \uparrow 1/2$, one gets better decay or behavior near the boundary., Comment: 29 pages