On a pseudoparabolic regularization of a forward-backward-forward equation

DOI10.1016/J.NA.2015.09.005MaRDI QIDQ893310zbMATH OpenOpenAlexFDO

Authors Flavia Smarrazzo, Michiel Bertsch, Alberto Tesei

Publication date 13 November 2015

Published in Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.na.2015.09.005

zbMATH Keywords

disappearance of singularities finite Radon measures forward-backward parabolic equations forward-backward-forward parabolic equations pseudoparabolic regularization

Mathematics Subject Classification ID

Spaces of measures, convergence of measures (28A33) Integration and disintegration of measures (28A50) Singular perturbations in context of PDEs (35B25) Generalized solutions to partial differential equations (35D99) Nonlinear parabolic equations (35K55) Nonlinear initial, boundary and initial-boundary value problems for nonlinear parabolic equations (35K61) Ultraparabolic equations, pseudoparabolic equations, etc. (35K70) Ill-posed problems for PDEs (35R25)

Review text

The authors consider an initial boundary value problem for the degenerate pseudoparabolic equation (P) \[ \begin{aligned} u_t = [\phi(u)]_{xx} + \epsilon [\psi(u)]_{txx}, & \text{ in } Q: = \Omega \times (0, T) \\ \phi(u) + \epsilon [\psi(u)]_t = \gamma^*, & \text{on \;} \partial \Omega \times (0, T) \\ u(\cdot, 0) = u_0\end{aligned} \] where \(\epsilon, T, \gamma^*\) are positive constants, \(\Omega = (a,b) \subseteq R\), and \(u_0\) is a nonnegative Radon measure on \(\Omega\). The function \(\phi\) is nonmonotonic; there exists \(0 < \alpha < \beta < \infty\) such that \(\phi^{\prime} >0\) on \([0, \alpha), \phi^{\prime} < 0\) on \((\alpha, \beta)\), and \(\phi^{\prime} >0\) on \((\beta, \infty)\). Moreover, \(\phi(0) = 0, 0 \leq \phi(u) \leq \gamma^*, \phi(u) \to \gamma^*\), as \(u \to \infty\). This is a quasilinear forward-backward-forward parabolic equation with regularizing term \(\epsilon \left[ \psi(u) \right]_{txx}\). It is closely related to the forward-backward problem (FB) \[ \begin{aligned} z_t = [\chi(z)]_{xx} + \epsilon [\psi(z)]_{txx}, & \text{\;in \;} Q \\ \chi(z) + \epsilon [\psi(z)]_t = 0, & \text{\;\;on \;} \partial \Omega \times (0, T) \\ z(\cdot, 0) = z_0 , \end{aligned} \] where the function \(\chi\) is nonmonotonic; there exists \(0 < \omega < \infty\) such that \(\chi^{\prime} >0\) on \([0, \omega), \chi^{\prime} < 0\) on \((\omega, \infty)\). Moreover, \(\chi(0) = 0, 0 \leq \chi(z) \leq \chi^* = \chi(\omega), \chi(z) \to 0\), as \( z \to \infty\). The solution of problem (FB) can have spontaneous appearance of singularities; there are solutions with smooth initial data which become singular Radon measure valued solutions in time. If you change variables, \( s = T - t\) (reverse time) the related equation has solutions with spontaneous disappearance of singularities. The authors prove the existence of suitably defined Radon measure valued solutions of problem (P) and several monotonicity properties of these solutions in time. The singular part of the measure valued solution is nonincreasing in time. They discuss the extinction in finite time of the singular part, examining how a Dirac mass can have its singular part extinguished in finite time. They remark that the uniqueness of solutions of (P) remains an open problem, but recently examples of nonuniqueness have been given for problem (FB). The nonuniqueness is related to the forward-backward nature of the problem. They finally observe that the forward-backward-forward problem (P) is considerably simpler than the forward-backward problem (FB), but that they will in future papers use the techniques in this paper to give results for problem (FB). These results will necessarily be more complicated.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: On a pseudoparabolic regularization of a forward-backward-forward equation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q893310)