We obtain a lower bound for the period of periodic solutions of semilinear evolution equations for the full range of nonlinear terms for which standard local existence theory applies. This lower bound depends on the Lipschitz constant of the nonlinear term as an operator acting on the domain of a fractional power of the linear operator into the base space.
In this paper we study viscosity solutions of semilinear parabolic equations in the Heisenberg group. We show uniqueness of viscosity solutions with exponential growth at space infinity. We also study Lipschitz and horizontal convexity preserving properties under appropriate assumptions. Counterexamples show that in general such properties that are well-known for semilinear and fully nonlinear parabolic equations in the Euclidean spaces do not hold in the Heisenberg group.
In this paper, we consider the pointwise boundary Lipschitz regularity of solutions for the semilinear elliptic equations in divergence form mainly under some weaker assumptions on nonhomogeneous term and the boundary. If the domain satisfies C^{1,\text{Dini}} condition at a boundary point, and the nonhomogeneous term satisfies Dini continuous condition and Lipschitz Newtonian potential condition, then the solution is Lipschitz continuous at this point. Furthermore, we generalize this result to Reifenberg C^{1,\text{Dini}} domains.
In this paper, we study the nonhomogeneous Dirichlet problem concerning general semilinear elliptic equations in divergence form. We establish that the boundary Lipschitz regularity of solutions under some more weaker conditions on the coefficients, the boundary, the boundary function and the nonhomogeneous term. In particular, we assume that the nonhomogeneous term satisfies Dini continuity condition and Lipschitz Newtonian potential condition, which will be the optimal conditions to obtain the boundary Lipschitz regularity of solutions.
We prove that flat ground state solutions ($i.e.$ minimizing the energy and with gradient vanishing on the boundary of the domain) of the Dirichlet problem associated to some semilinear autonomous elliptic equations with a strong absorption term given by a non-Lipschitz function are unstable for dimensions $N=1,2$ and they can be stable for $N\geq 3$ for suitable values of the involved exponents.
We present an existence result for a partial differential inclusion with linear parabolic principal part and relaxed one-sided Lipschitz multivalued nonlinearity in the framework of Gelfand triples. Our study uses discretizations of the differential inclusion by a Galerkin scheme, which is compatible with a conforming finite element method, and we analyze convergence properties of the discrete solution sets.
On the Optimal Control Problem of Stochastic Semilinear Partial Differential Equations with Non-Globally Lipschitz Coefficients
Taras Shevchenko National University of Kyiv(基辅塔拉斯舍甫琴科国立大学);Yuriy Fedkovych Chernivtsi National University(切尔诺夫策尤里·费多科维奇国立大学);Virginia Commonwealth University(弗吉尼亚联邦大学)
We prove the exact multiplicity of flat and compact support stable solutions of an autonomous non-Lipschitz semilinear elliptic equation of eigenvalue type according to the dimension N and the two exponents, $0<α<β<1$, of the involved nonlinearites. Suitable assumptions are made on the spatial domain $Ω$ where the problem is formulated in order to avoid a possible continuum of those solutions and, on the contrary, to ensure the exact number of solutions according to the nature of the domain $Ω$. Our results also clarify some previous works in the literature. The main techniques of proof are a …
We study the generalized boundary value problem for nonnegative solutions of of $-Δu+g(u)=0$ in a bounded Lipschitz domain $Ω$, when $g$ is continuous and nondecreasing. Using the harmonic measure of $Ω$, we define a trace in the class of outer regular Borel measures. We amphasize the case where $g(u)=|u|^{q-1}u$, $q>1$. When $Ω$ is (locally) a cone with vertex $y$, we prove sharp results of removability and characterization of singular behavior. In the general case, assuming that $Ω$ possesses a tangent cone at every boundary point and $q$ is subcritical, we prove an existence and uniqueness …
We study the generalized boundary value problem for nonnegative solutions of $-Δu+g(u)=0$ in a bounded Lipschitz domain $\Gw$, when $g$ is continuous and nondecreasing. Using the harmonic measure of $\Gw$, we define a trace in the class of outer regular Borel measures. We amphasize the case where $g(u)=|u|^{q-1}u$, $q>1$. When $\Gw$ is (locally) a cone with vertex $y$, we prove sharp results of removability and characterization of singular behavior. In the general case, assuming that $\Gw$ possesses a tangent cone at every boundary point and $q$ is subcritical, we prove an existence and unique…
The purpose of this paper is to study the mixed Dirichlet-Neumann boundary value problem for the semilinear Darcy-Forchheimer-Brinkman system in $L_p$-based Besov spaces on a bounded Lipschitz domain in ${\mathbb R}^3$, with $p$ in a neighborhood of $2$. This system is obtained by adding the semilinear term $|{\bf u}|{\bf u}$ to the linear Brinkman equation. {First, we provide some results about} equivalence between the Gagliardo and non-tangential traces, as well as between the weak canonical conormal derivatives and the non-tangential conormal derivatives. Various mapping and invertibility p…
We discuss the existence and non-existence of periodic in one variable and compactly supported in the other variables least energy solutions for equations with non-Lipschitz nonlinearity of the form: $-Δu=λu^p - u^q$ in $\mathbb{R}^{N+1}$, where $ 0< q < p \leq 1$, $λ\in \mathbb{R}$. The approach is based on the Nehari manifold method supplemented by a one-sided constraint given through the functional of the suitable Pohozaev identity. The limit value of the parameter $λ$, where the approach is applicable, corresponds to the existence of periodic in one variable and compactly supported in the …
In this paper, we investigate abstract time-fractional evolution equations with nonlinear perturbations. We construct solutions of Lipschitz perturbation problems in arbitrary large time interval independent of the Lipschitz constants. We will extend well-known results for standard evolution equations such as the blow-up alternative, to the time-fractional evolution equations. We also prove the differentiability with respect to time of the solution when the perturbation is sufficiently smooth. The differentiability enables us to use the maximum principle. The theory on general Banach spaces en…
In this paper we deal with semilinear problems at resonance. We present a sufficient condition for the existence of a weak solution in terms of the asymptotic properties of nonlinearity. Our condition generalizes the classical Landesman-Lazer condition but it also covers the cases of vanishing and oscillating nonlinearities.
We study the Cauchy problem for the semilinear fractional heat equation $u_{t}=\triangle^{α/2}u+f(u)$ with non-negative initial value $u_{0}\in L^{q}(\mathbb{R}^{n})$ and locally Lipschitz, non-negative source term $f$. For $f$ satisfying the Osgood-type condition $\int_{1}^{\infty}\frac{ds}{f(s)}=\infty$, we show that there exist initial conditions such that the equation has no local solution in $L^{1}_{loc}(\mathbb{R}^{n})$.
The paper gives sharp spectral gap conditions for existence of inertial manifolds for abstract semilinear parabolic equations with non-self-adjoint leading part. Main attention is paid to the case where this leading part have Jordan cells which appear after applying the so-called Kwak transform to various important equations such as 2D Navier-Stokes equations, reaction-diffusion-advection systems, etc. The different forms of Kwak transforms and relations between them are also discussed.
We show the David-Jerison construction of big pieces of Lipschitz graphs inside a corkscrew domain does not require its surface measure be upper Ahlfors regular. Thus we can study absolute continuity of harmonic measure and surface measure on NTA domains of locally finite perimeter using Lipschitz approximations. A partial analogue of the F. and M. Riesz Theorem for simply connected planar domains is obtained for NTA domains in space. As a consequence every Wolff snowflake has infinite surface measure.
We investigate the monotonicity method for fractional semilinear elliptic equations with power type nonlinearities. We prove that if-and-only-if monotonicity relations between coefficients and the derivative of the Dirichlet-to-Neumann map hold. Based on the strong monotonicity relations, we study a constructive global uniqueness for coefficients and inclusion detection for the fractional Calderón type inverse problem. Meanwhile, we can also derive the Lipschitz stability with finitely many measurements. The results hold for any $n\geq 1$.
In this paper, we analyze a semilinear damped second order evolution equation with time-dependent time delay and time-dependent delay feedback coefficient. The nonlinear term satisfies a local Lipschitz continuity assumption. Under appropriate conditions, we prove well-posedness and exponential stability of our model for small initial data. Our arguments combine a Lyapunov functional approach with some continuity arguments. Moreover, as an application of our abstract results, the damped wave equation with a source term and delay feedback is analyzed.
We present a new method of establishing the finite-dimensionality of limit dynamics (in terms of bi-Lipschitz Mane projectors) for semilinear parabolic systems with cross diffusion terms and illustrate it on the model example of 3D complex Ginzburg-Landau equation with periodic boundary conditions. The method combines the so-called spatial-averaging principle invented by Sell and Mallet-Paret with temporal averaging of rapid oscillations which come from cross-diffusion terms.
Let $n\geq2$ and $ Ω\subset \mathbb{R}^{n+1}$ be a Lipschitz wedge- like domain . We construct positive weak solutions of the problem $$Δu + u^p = 0 \quad\hbox{in}\, Ω,$$ which vanish in a suitable trace sense on $\partialΩ,$ but which are singular at prescribed "edge" of $Ω$ if $p$ is equal or slightly above a certain exponent $p_0>1$ which depends on $Ω.$ Moreover, in the case which $Ω$ is unbounded, the solutions have fast decay at infinity.
In this work we consider the boundary blow-up problem $$ \left\{ \begin{array}{ll} Δu = f(u) & \hbox{in } B\\ \ \ u=+\infty & \hbox{on }\partial B \end{array} \right. $$ where $B$ stands for the unit ball of $\mathbb{R}^N$ and $f$ is a locally Lipschitz function which is positive for large values and verifies the Keller-Osserman condition. Under an additional hypothesis on the asymptotic behavior of $f$ we show that all solutions of the above problem are radially symmetric and radially increasing. Our condition is sharp enough to generalize several results in previous literature.
The paper gives a comprehensive study of inertial manifolds for semilinear parabolic equations and their smoothness using the spatial averaging method suggested by G. Sell and J. Mallet-Paret. We present a universal approach which covers the most part of known results obtained via this method as well as gives a number of new ones. Among our applications are reaction-diffusion equations, various types of generalized Cahn-Hilliard equations, including fractional and 6th order Cahn-Hilliard equations and several classes of modified Navier-Stokes equations including the Leray-$α$ regularization, h…
A free boundary problem modeling a microelectromechanical system (MEMS) consisting of a fixed ground plate and a deformable top plate is considered, the plates being held at different electrostatic potentials. It couples a second order semilinear parabolic equation for the deformation of the top plate to a Laplace equation for the electrostatic potential in the device. The validity of the model is expected to break down in finite time when the applied voltage exceeds a certain value, a finite time singularity occurring then. This result, already known for non-positive initial configurations of…
In this paper we consider the semilinear Cauchy problem for the heat equation with power nonlinearity in the Heisenberg group $\mathbf{H}_n$. The heat operator is given in this case by $\partial_t-Δ_H$, where $Δ_H$ is the so-called sub-Laplacian on $\mathbf{H}_n$. We prove that the Fujita exponent $1 + 2/Q$ is critical, where $Q = 2n + 2$ is the homogeneous dimension of $\mathbf{H}_n$. Furthermore, we prove sharp lifespan estimates for local in time solutions in the subcritical case and in the critical case. In order to get the upper bound estimate for the lifespan (especially, in the critical…
We give a simple proof of a lower bound for the Dirichlet heat kernel in terms of the Gaussian heat kernel. Using this we establish a non-existence result for semilinear heat equations with zero Dirichlet boundary conditions and initial data in $L^q(Ω)$ when the source term $f$ is non-decreasing and $\limsup_{s\to\infty}s^{-γ}f(s)=\infty$ for some $γ>q(1+2/n)$. This allows us to construct a locally Lipschitz $f$ satisfying the Osgood condition $\int_{1}^{\infty}1/f(s)\ \,\d s =\infty$, which ensures global existence for bounded initial data, such that for every $q$ with $1\le q<\infty$ there i…
Motivated by its relation to models of flame propagation, we study globally Lipschitz solutions of $Δu=f(u)$ in $\mathbb{R}^n$, where $f$ is smooth, non-negative, with support in the interval $[0,1]$. In such setting, any "blow-down" of the solution $u$ will converge to a global solution to the classical one-phase free boundary problem of Alt-Caffarelli. In analogy to a famous theorem of Savin for the Allen-Cahn equation, we study here the 1D symmetry of solutions $u$ that are energy minimizers. Our main result establishes that, in dimensions $n<6$, if $u$ is axially symmetric and stable then …
We prove existence and uniqueness of solutions to a class of stochastic semilinear evolution equations with a monotone nonlinear drift term and multiplicative noise, considerably extending corresponding results obtained in previous work of ours. In particular, we assume the initial datum to be only measurable and we allow the diffusion coefficient to be locally Lipschitz-continuous. Moreover, we show, in a quantitative fashion, how the finiteness of the $p$-th moment of solutions depends on the integrability of the initial datum, in the whole range $p \in ]0,\infty[$. Lipschitz continuity of t…
In this paper, we prove the small-time global null-controllability of forward (resp. backward) semilinear stochastic parabolic equations with globally Lipschitz nonlinearities in the drift and diffusion terms (resp. in the drift term). In particular, we solve the open question posed by S. Tang and X. Zhang, in 2009. We propose a new twist on a classical strategy for controlling linear stochastic systems. By employing a new refined Carleman estimate, we obtain a controllability result in a weighted space for a linear system with source terms. The main novelty here is that the Carleman parameter…
This note deals with Bounded-Input-Bounded-Output (BIBO) stability for semilinear infinite-dimensional dynamical systems allowing for boundary control and boundary observation. We give sufficient conditions that guarantee BIBO stability based on Lipschitz conditions with respect to interpolation spaces. Our results can be applied to guarantee feasibility of funnel control for coupled ODE-PDE systems, as shown by means of an example from chemical engineering.
We consider the inverse problem of determining some class of nonlinear terms appearing in an elliptic equation from boundary measurements. More precisely, we study the stability issue for this class of inverse problems. Under suitable assumptions, we prove a Lipschitz and a Hölder stability estimate associated with the determination of quasilinear and semilinear terms appearing in this class of elliptic equations from measurements restricted to an arbitrary parts of the boundary of the domain. Besides their mathematical interest, our stability estimates can be useful for improving numerical re…
We prove that even irregular convergence of semigroups of operators implies similar convergence of mild solutions of the related semi-linear equations with Lipschitz continuous nonlinearity. This result is then applied to three models originating from mathematical biology: shadow systems, diffusions on thin layers, and dynamics of neurotransmitters
This paper deals with the spatial and temporal regularity of the unique Hilbert space valued mild solution to a semilinear stochastic partial differential equation with nonlinear terms that satisfy global Lipschitz conditions. It is shown that the mild solution has the same optimal regularity properties as the stochastic convolution. The proof is elementary and makes use of existing results on the regularity of the solution, in particular, the Hölder continuity with a non-optimal exponent.
We consider a class of semilinear stochastic evolution equations driven by an additive cylindrical stable noise.We investigate structural properties of the solutions like Markov, irreducibility, stochastic continuity, Feller and strong Feller properties, and study integrability of trajectories. The obtained results can be applied to semilinear stochastic heat equations with Dirichlet boundary conditions and bounded and Lipschitz nonlinearities.
We prove that deep neural networks are capable of approximating solutions of semilinear Kolmogorov PDE in the case of gradient-independent, Lipschitz-continuous nonlinearities, while the required number of parameters in the networks grow at most polynomially in both dimension $d \in \mathbb{N}$ and prescribed reciprocal accuracy $\varepsilon$. Previously, this has only been proven in the case of semilinear heat equations.
We study diffusion processes corresponding to infinite dimensional semilinear stochastic differential equations with local Lipschitz drift term and an arbitrary Lipschitz diffusion coefficient. We prove tightness and the Feller property of the solution to show existence of an invariant measure. As an application we discuss stochastic reaction diffusion equations.
We prove that the mild solution to a semilinear stochastic evolution equation on a Hilbert space, driven by either a square integrable martingale or a Poisson random measure, is (jointly) continuous, in a suitable topology, with respect to the initial datum and all coefficients. In particular, if the leading linear operators are maximal (quasi-)monotone and converge in the strong resolvent sense, the drift and diffusion coefficients are uniformly Lipschitz continuous and converge pointwise, and the initial data converge, then the solutions converge.
For a long time it is well-known that high-dimensional linear parabolic partial differential equations (PDEs) can be approximated by Monte Carlo methods with a computational effort which grows polynomially both in the dimension and in the reciprocal of the prescribed accuracy. In other words, linear PDEs do not suffer from the curse of dimensionality. For general semilinear PDEs with Lipschitz coefficients, however, it remained an open question whether these suffer from the curse of dimensionality. In this paper we partially solve this open problem. More precisely, we prove in the case of semi…
Assume that $f(s) = F'(s)$ where $F$ is a double-well potential. Under certain conditions on the Lipschitz constant of $f$ on $[-1,1]$, we prove that arbitrary bounded global solutions of the semilinear equation $Δu = f(u)$ on hyperbolic space $\HH^n$ must reduce to functions of one variable provided they admit asymptotic boundary values on the infinite boundary of $\HH^n$ which are invariant under a cohomogeneity one subgroup of the group of isometries of $\HH^n$. We also prove existence of these one-dimensional solutions.
In this paper we study the global exponential stability in the $L^{2}$ norm of semilinear $1$-$d$ hyperbolic systems on a bounded domain, when the source term and the nonlinear boundary conditions are Lipschitz. We exhibit two sufficient stability conditions: an internal condition and a boundary condition. This result holds also when the source term is nonlocal. Finally, we show its robustness by extending it to global Input-to State Stability in the $L^{2}$ norm with respect to both interior and boundary disturbances.
We obtain estimates on the first-order Malliavin derivative of mild solutions, evaluated at fixed points in time and space, to a class of parabolic dissipative stochastic PDEs on bounded domain of $\mathbb{R}^d$. In particular, such equations are driven by multiplicative Wiener noise and the nonlinear drift term is the superposition operator associated to a locally Lipschitz continuous function satisfying suitable polynomial growth bounds. The main arguments rely on the well-posedness theory in the mild sense for stochastic evolution equations in Banach spaces, monotonicity, and a comparison p…
We show how gradient estimates for transition semigroups can be used to establish exponential mixing for a class of Markov processes in infinite dimensions. We concentrate on semilinear systems driven by cylindrical $α$-stable noises, $α\in (0,2)$, introduced in Priola-Zabczyk "Structural properties of semilinear SPDEs driven by cylindrical stable processes" (PTRF to appear). We first prove that if the nonlinearity is bounded, then the system is ergodic and strong mixing. Then we show that the system is exponentially mixing provided that the nonlinearity, or its Lipschitz constant, are suffici…
We establish non-existence results for the Cauchy problem of some semilinear heat equations with non-negative initial data and locally Lipschitz, nonnegative source term $f$. Global (in time) solutions of the scalar ODE $\dot v=f(v)$ exist for $v(0)>0$ if and only if the Osgood-type condition $\int_{1}^{\infty}\frac{\dee s}{f(s)} =\infty$ holds; by comparison this ensures the existence of global classical solutions of $u_t=Δu+f(u)$ for bounded initial data $u_0\in L^{\infty}(\R^n)$. It is natural to ask whether the Osgood condition is sufficient to ensure that the problem still admits global s…
In many practical applications of control theory some constraints on the state and/or on the control need to be imposed. In this paper, we prove controllability results for semilinear parabolic equations under positivity constraints on the control, when the time horizon is long enough. As we shall see, in fact, the minimal controllability time turns out to be strictly positive. More precisely, we prove a global steady state constrained controllability result for a semilinear parabolic equation with $C^1$ nonlinearity, without sign or globally Lipschitz assumptions on the nonlinear term. Then, …
We consider a semilinear elliptic equation with a nonsmooth, locally \hbox{Lipschitz} potential function (hemivariational inequality). Our hypotheses permit double resonance at infinity and at zero (double-double resonance situation). Our approach is based on the nonsmooth critical point theory for locally Lipschitz functionals and uses an abstract multiplicity result under local linking and an extension of the Castro--Lazer--Thews reduction method to a nonsmooth setting, which we develop here using tools from nonsmooth analysis.
Several results about positive solutions -in a Lipschitz domain- of a nonlinear elliptic equation in a general form $ Δu(x)-g(x,u(x))=0$ are proved, extending thus some known facts in the case of $ g(x,t)=t^q$, $q>1$, and a smooth domain. Our results include a characterization -in terms of a natural capacity- of a (conditional) removability property, a characterization of moderate solutions and of their boundary trace and a property relating arbitrary positive solutions to moderate solutions. The proofs combine techniques of non-linear p.d.e.\ with potential theoretic methods with respect to l…
Multilevel Picard approximations overcome the curse of dimensionality when approximating semilinear heat equations with gradient-dependent nonlinearities in $L^p$-sense