Semilinear Parabolic Equations Research Articles

An adaptive certified space-time reduced basis method for nonsmooth parabolic partial differential equations

In this paper, a nonsmooth semilinear parabolic partial differential equation (PDE) is considered. For a reduced basis (RB) approach, a space-time formulation is used to develop a certified a-posteriori error estimator. This error estimator is adopted to the presence of the discrete empirical interpolation method (DEIM) as approximation technique for the nonsmoothness. The separability of the estimated error into an RB and a DEIM part then guides the development of an adaptive RB-DEIM algorithm, combining both offline phases into one. Numerical experiments show the capabilities of this novel approach in comparison with classical RB and RB-DEIM approaches.

Stochastic Runge-Kutta Methods for Preserving Maximum Bound Principle of Semilinear Parabolic Equations. Part I: Gaussian Quadrature Rule

Stochastic Runge-Kutta Methods for Preserving Maximum Bound Principle of Semilinear Parabolic Equations. Part I: Gaussian Quadrature Rule

Solvability of the Cauchy problem for fractional semilinear parabolic equations in critical and doubly critical cases

Solvability of the Cauchy problem for fractional semilinear parabolic equations in critical and doubly critical cases

Nonsmooth data error estimates for fully discrete finite element approximations of semilinear parabolic equations in Banach space

Implicit–explicit (IMEX) Euler formula together with finite element methods is proposed to solve numerically rather general semilinear parabolic differential equations with initial data in Banach space Xα, 0<α≤1. The time-space regularity of solutions to this class of equations is first investigated. Stability and error estimates are provided for this fully discrete scheme by discrete semigroup method. In the special case when X is the Hilbert space L2(Ω), these error estimates bridge the gap between the existing results on this scheme for semilinear parabolic problems with initial data in L2(Ω) and in H1(Ω) under general nonlinearity. Numerical experiments for nonlinear Allen–Cahn equations verify and complement our theoretical results.

On the regularity of multipliers and second-order optimality conditions of KKT-type for semilinear parabolic control problems

A class of optimal control problems governed by semilinear parabolic equations with mixed constraints and a box constraint for control variable is considered. We show that if the so-called generalized separation condition is satisfied, then both optimality conditions of KKT-type and regularity of multipliers are fulfilled. Moreover, we show that if the initial value is good enough and boundary ∂Ω has a property of positive geometric density, then multipliers and optimal solutions are Hölder continuous.

Minimal periods for semilinear parabolic equations

We show that, if -A\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$-A$$\\end{document} generates a bounded holomorphic semigroup in a Banach space X, α∈[0,1)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\alpha \\in [0,1)$$\\end{document}, and f:D(A)→X\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$f:D(A)\\rightarrow X$$\\end{document} satisfies ‖f(x)-f(y)‖≤L‖Aα(x-y)‖\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Vert f(x)-f(y)\\Vert \\le L\\Vert A^\\alpha (x-y)\\Vert $$\\end{document}, then a non-constant T-periodic solution of the equation u˙+Au=f(u)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\dot{u}}+Au=f(u)$$\\end{document} satisfies LT1-α≥Kα\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$LT^{1-\\alpha }\\ge K_\\alpha $$\\end{document} where Kα>0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$K_\\alpha >0$$\\end{document} is a constant depending on α\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\alpha $$\\end{document} and the semigroup. This extends results by Robinson and Vidal-Lopez, which have been shown for self-adjoint operators A≥0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$A\\ge 0$$\\end{document} in a Hilbert space. For the latter case, we obtain - with a conceptually new proof - the optimal constant Kα\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$K_\\alpha $$\\end{document}, which only depends on α\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\alpha $$\\end{document}, and we also include the case α=1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\alpha =1$$\\end{document}. In Hilbert spaces H and for α=0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\alpha =0$$\\end{document}, we present a similar result with optimal constant where Au in the equation is replaced by a possibly unbounded gradient term ∇HE(u)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ abla _H{\\mathscr {E}}(u)$$\\end{document}. This is inspired by applications with bounded gradient terms in a paper by Mawhin and Walter.

Semi-linear parabolic equations on homogenous Lie groups arising from mean field games

AbstractThe existence and the uniqueness of solutions to some semilinear parabolic equations on homogeneous Lie groups, namely, the Fokker–Planck equation and the Hamilton–Jacobi equation, are addressed. The anisotropic geometry of the state space plays a crucial role in our analysis and creates several issues that need to be overcome. Indeed, the ellipticity directions span, at any point, subspaces of dimension strictly less than the dimension of the state space. Finally, the above results are used to obtain the short-time existence of classical solutions to the mean field games system defined on an homogenous Lie group.

Smooth extensions for inertial manifolds of semilinear parabolic equations

Smooth extensions for inertial manifolds of semilinear parabolic equations

An efficient two-grid high-order compact difference scheme with variable-step BDF2 method for the semilinear parabolic equation

Due to the lack of corresponding analysis on appropriate mapping operator between two grids, high-order two-grid difference algorithms are rarely studied. In this paper, we firstly discuss the boundedness of a local bi-cubic Lagrange interpolation operator. And then, taking the semilinear parabolic equation as an example, we first construct a variable-step high-order nonlinear difference algorithm using compact difference technique in space and the second-order backward differentiation formula with variable temporal stepsize in time. With the help of discrete orthogonal convolution kernels, temporal-spatial error splitting idea and a cut-off numerical technique, the unique solvability, maximum-norm stability and corresponding error estimate of the high-order nonlinear difference scheme are established under assumption that the temporal stepsize ratio satisfies rk := τk/τk−1 &lt; 4.8645. Then, an efficient two-grid high-order difference algorithm is developed by combining a small-scale variable-step high-order nonlinear difference algorithm on the coarse grid and a large-scale variable-step high-order linearized difference algorithm on the fine grid, in which the constructed piecewise bi-cubic Lagrange interpolation mapping operator is adopted to project the coarse-grid solution to the fine grid. Under the same temporal stepsize ratio restriction rk &lt; 4.8645 on the variable temporal stepsize, unconditional and optimal fourth-order in space and second-order in time maximum-norm error estimates of the two-grid difference scheme is established. Finally, several numerical experiments are carried out to demonstrate the effectiveness and efficiency of the proposed scheme.

New second order sufficient optimality conditions for state constrained parabolic control problems

We study a control problem governed by a semilinear parabolic equation with pointwise control and state constraints imposed at every point of the space-time cylinder. We obtain second order sufficient optimality conditions for local optimality in the sense of L 2 ( Q ) . Our results are valid for spatial domains of dimension less than or equal to three.

Weak Convergence of the Rosenbrock Semi-implicit Method for Semilinear Parabolic SPDEs Driven by Additive Noise

Abstract This paper aims to investigate the weak convergence of the Rosenbrock semi-implicit method for semilinear parabolic stochastic partial differential equations (SPDEs) driven by additive noise. We are interested in SPDEs where the nonlinear part is stronger than the linear part, also called stochastic reaction dominated transport equations. For such SPDEs, many standard numerical schemes lose their stability properties. Exponential Rosenbrock and Rosenbrock-type methods were proved to be efficient for such SPDEs, but only their strong convergence were recently analyzed. Here, we investigate the weak convergence of the Rosenbrock semi-implicit method. We obtain a weak convergence rate which is twice the rate of the strong convergence. Our error analysis does not rely on Malliavin calculus, but rather only uses the Kolmogorov equation and the smoothing properties of the resolvent operator resulting from the Rosenbrock semi-implicit approximation.

A necessary and sufficient condition for the existence of global solutions to reaction-diffusion equations on bounded domains

AbstractThe purpose of this paper is to give a necessary and sufficient condition for the existence and non-existence of global solutions of the following semilinear parabolic equations $$ u_{t}=\Delta u+\psi (t)f(u),\quad \text{in }\Omega \times (0,\infty ), $$ u t = Δ u + ψ ( t ) f ( u ) , in Ω × ( 0 , ∞ ) , under the mixed boundary condition on a bounded domain Ω. In fact, this has remained an open problem for a few decades, even for the case $f(u)=u^{p}$ f ( u ) = u p . As a matter of fact, we prove: $$ \begin{aligned} &amp; \text{there is no global solution for any initial data if and only if } \\ &amp; \int _{0}^{\infty}\psi (t) \frac{f (\lVert S(t)u_{0}\rVert _{\infty} )}{\lVert S(t)u_{0}\rVert _{\infty}}\,dt= \infty \\ &amp;\text{for every nonnegative nontrivial initial data } u_{0}\in C_{0}( \Omega ). \end{aligned} $$ there is no global solution for any initial data if and only if ∫ 0 ∞ ψ ( t ) f ( ∥ S ( t ) u 0 ∥ ∞ ) ∥ S ( t ) u 0 ∥ ∞ d t = ∞ for every nonnegative nontrivial initial data u 0 ∈ C 0 ( Ω ) . Here, $(S(t))_{t\geq 0}$ ( S ( t ) ) t ≥ 0 is the heat semigroup with the mixed boundary condition.

A Higher-Order Non-autonomous Semilinear Parabolic Equation

A Higher-Order Non-autonomous Semilinear Parabolic Equation

Persistence of smooth manifolds for a non-autonomous coupled system under small random perturbations

We consider a non-autonomous coupled system (x,y), whose x coordinate satisfies a semilinear parabolic equation, and y coordinate satisfies a differential equation whose solutions do not converge too rapidly. Our aim is to study the persistence of dynamical behavior for such coupled system under a small random perturbation driven by stationary multipilcative noise. We show that for the perturbed system there exists a C1 invariant manifold S(t,ω)={(x,y)∈X×Y|x=σ(t,y,ω)} under the condition that the linear part of x equation satisfies the exponential dichotomy. Meanwhile, we observe that typically if the linear part of x equation is uniformly attracting or uniformly expanding, then the corresponding invariant manifold shares the same qualitative properties. In the end, as the perturbation tends to 0, we show that the invariant manifold and its derivative in y are approaching to those of the original system, suggesting that such structure is persistent under the small random perturbation.

On anisotropic parabolic equation with nonstandard growth order

ABSTRACT In this paper, the existence and the uniqueness of an evolutionary anisotropic p i ( x ) -Laplacian equation with a damping term are studied. If the damping term is with a subcritical index, by the Di Giorgi iteration technique, the L ∞ -estimate of the weak solutions can be obtained. The existence of weak solution is proved by the renormalized solution method, and how the anisotropic characteristic of the considered equation affect the L ∞ -estimate of the weak solutions is revealed. The uniqueness is true strongly depending on subcritical index of the damping term, and this result goes beyond previous efforts in the literature (Bertsch M, Dal Passo R, Ughi M: Discontinuous viscosity solutions of a degenerate parabolic equation. Trans Amer Math Soc. 1990;320:779–798; Li Z, Yan B, Gao W. Existence of solutions to a parabolic p ( x ) − Laplace equation with convection term via L ∞ − Estimates. Electron J Differ Equ. 2015;46:1–21; Zhang Q, Shi P. Global solutions and self-similar solutions of semilinear parabolic equations with nonlinear gradient terms. Nonlinear Anal. 2010;72:2744–2752; Zhou W, Cai S. The continuity of the viscosity of the Cauchy problem of a degenerate parabolic equation not in divergence form. J Jilin University (Natural Sci.). 2004;42:341–345), etc.

Hierarchical control for the semilinear parabolic equations with interior degeneracy

This paper concerns with the hierarchical control of the semilinear parabolic equations with interior degeneracy. By a Stackelberg-Nash strategy, we consider the linear and semilinear system with one leader and two followers. First, for any given leader, we analyze a Nash equilibrium corresponding to a bi-objective optimal control problem. The existence and uniqueness of the Nash equilibrium is proved, and its characterization is given. Then, we find a leader satisfying the null controllability problem. The key is to establish a new Carleman estimate for a coupled degenerate parabolic system with interior degeneracy.

Asymptotic behavior of semilinear parabolic equations with combined nonlinearities

Asymptotic behavior of semilinear parabolic equations with combined nonlinearities

Blowup for semilinear parabolic equation with logarithmic nonlinearity

Blowup for semilinear parabolic equation with logarithmic nonlinearity

On determining and breaking the gauge class in inverse problems for reaction-diffusion equations

Abstract We investigate an inverse boundary value problem of determination of a nonlinear law for reaction-diffusion processes, which are modeled by general form semilinear parabolic equations. We do not assume that any solutions to these equations are known a priori, in which case the problem has a well-known gauge symmetry. We determine, under additional assumptions, the semilinear term up to this symmetry in a time-dependent anisotropic case modeled on Riemannian manifolds, and for partial data measurements on ${\mathbb R}^n$ . Moreover, we present cases where it is possible to exploit the nonlinear interaction to break the gauge symmetry. This leads to full determination results of the nonlinear term. As an application, we show that it is possible to give a full resolution to classes of inverse source problems of determining a source term and nonlinear terms simultaneously. This is in strict contrast to inverse source problems for corresponding linear equations, which always have the gauge symmetry. We also consider a Carleman estimate with boundary terms based on intrinsic properties of parabolic equations.

Numerical Approximations of a One-Dimensional Time-Fractional Semilinear Parabolic Equation

Numerical Approximations of a One-Dimensional Time-Fractional Semilinear Parabolic Equation