-
Invariance and Strict Invariance for Nonlinear Evolution Problems with Applications
Authors:
Aleksander Ćwiszewski,
Grzegorz Gabor,
Wojciech Kryszewski
Abstract:
Sufficient conditions for the invariance of evolution problems governed by perturbations of (possibly nonlinear) $m$-accretive operators are provided. The conditions for the invariance with respect to sublevel sets of a constraint functional are expressed in terms of the Dini derivative of that functional, outside the considered sublevel set in directions determined by the governing $m$-accretive…
▽ More
Sufficient conditions for the invariance of evolution problems governed by perturbations of (possibly nonlinear) $m$-accretive operators are provided. The conditions for the invariance with respect to sublevel sets of a constraint functional are expressed in terms of the Dini derivative of that functional, outside the considered sublevel set in directions determined by the governing $m$-accretive operator. An approach for non-reflexive Banach spaces is developed and some result improving a recent paper [P. Cannarsa, G. Da Prato, H. Frankowska, Invariance of quasi-dissipative systems in Banach spaces. J. Math. Anal. App. 457 (2018), 1173-1187] is presented. Applications to nonlinear obstacle problems and age-structured population models are presented in spaces of continuous functions where advantages of that approach are taken. Moreover, some new abstract criteria for the so-called strict invariance are derived and their direct applications to problems with barriers are shown.
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
Degree for weakly upper semicontinuous perturbations of quasi-$m$-accretive operators
Authors:
Wojciech Kryszewski,
Mateusz Maciejewski
Abstract:
In the paper we provide the construction of a coincidence degree being a homotopy invariant detecting the existence of solutions of equations or inclusions of the form $Ax\in F(x)$, $x\in U$, where $A\colon D(A)\multimap
E$ is an $m$-accretive operator in a Banach space $ E$, $F\colon K\multimap E$ is a weakly upper semicontinuous set-valued map constrained to an open subset $U$ of a closed set…
▽ More
In the paper we provide the construction of a coincidence degree being a homotopy invariant detecting the existence of solutions of equations or inclusions of the form $Ax\in F(x)$, $x\in U$, where $A\colon D(A)\multimap
E$ is an $m$-accretive operator in a Banach space $ E$, $F\colon K\multimap E$ is a weakly upper semicontinuous set-valued map constrained to an open subset $U$ of a closed set $K\subset E$. Two different approaches will be presented. The theory is applied to show the existence of nontrivial positive solutions of some nonlinear second order partial differential equations with discontinuities.
△ Less
Submitted 14 August, 2020;
originally announced August 2020.
-
Constrained Semilinear Elliptic Systems on $\mathbb{R}^N$
Authors:
Wojciech Kryszewski,
Jakub Siemianowski
Abstract:
We prove the existence of solutions $u$ in $H^1(\mathbb{R}^N,\mathbb{R}^M)$ of the following strongly coupled semilinear system of second order elliptic PDEs on $\mathbb{R}^N$ \[ \mathcal{P}[u] = f(x,u,\nabla u), \quad x\in \mathbb{R}^N, \] whith pointwise constraints. We present the construction of the suitable topoligical degree which allows us to solve the above system on bounded domains. The k…
▽ More
We prove the existence of solutions $u$ in $H^1(\mathbb{R}^N,\mathbb{R}^M)$ of the following strongly coupled semilinear system of second order elliptic PDEs on $\mathbb{R}^N$ \[ \mathcal{P}[u] = f(x,u,\nabla u), \quad x\in \mathbb{R}^N, \] whith pointwise constraints. We present the construction of the suitable topoligical degree which allows us to solve the above system on bounded domains. The key step in the proof consists of showing that the sequence of solutions of the truncated system is compact in $H^1$ by the use of the so-called tail estimates.
△ Less
Submitted 16 March, 2020; v1 submitted 20 January, 2020;
originally announced January 2020.
-
Bifurcation from infinity for elliptic problems on $R^N$
Authors:
Aleksander Ćwiszewski,
Wojciech Kryszewski
Abstract:
In the paper the asymptotic bifurcation of solutions to a parameterized stationary semilinear Schrödinger equation involving a potential of the Kato-Rellich type is studied. It is shown that the bifurcation from infinity occurs if the parameter is an eigenvalue of the hamiltonian lying below the asymptotic bottom of the bounded part of the potential. Thus the bifurcating solution are related to bo…
▽ More
In the paper the asymptotic bifurcation of solutions to a parameterized stationary semilinear Schrödinger equation involving a potential of the Kato-Rellich type is studied. It is shown that the bifurcation from infinity occurs if the parameter is an eigenvalue of the hamiltonian lying below the asymptotic bottom of the bounded part of the potential. Thus the bifurcating solution are related to bound states of the corresponding Schrödinger equation. The argument relies on the use of the (generalized) Conley index due to Rybakowski and resonance assumptions of the Landesman-Lazer or sign-condition type.
△ Less
Submitted 8 June, 2018;
originally announced June 2018.
-
The Bolzano mean-value theorem and partial differential equations
Authors:
Wojciech Kryszewski,
Jakub Siemianowski
Abstract:
We study the existence of solutions to abstract equations of the form $0 = Au + F(u)$, $u\in K\subset E$, where A is an abstract differential operator acting in a Banach space $E$, $K$ is a closed convex set of constraints being invariant with respect to resolvents of A and perturbations are subject to different tangency condition. Such problems are closely related to the so-called Poicaré- Mirand…
▽ More
We study the existence of solutions to abstract equations of the form $0 = Au + F(u)$, $u\in K\subset E$, where A is an abstract differential operator acting in a Banach space $E$, $K$ is a closed convex set of constraints being invariant with respect to resolvents of A and perturbations are subject to different tangency condition. Such problems are closely related to the so-called Poicaré- Miranda theorem, being the multi-dimensional counterpart of the celebrated Bolzano intermediate value theorem. In fact our main results can and should be regarded as infinite-dimensional variants of Bolzano and Miranda-Poincaré theorems. Along with single-valued problems we deal with set-valued ones, yielding the existence of the so-called constrained equilibria of set-valued maps. The abstract results are applied to show existence of (strong) steady state solutions to some weakly coupled systems of drift reaction-diffusion equations or differential inclusions of this type. In particular we get the existence of strong solutions to the Dirichlet, Neumann and periodic boundary problems for elliptic partial differential inclusions under the presence of state constraints of different type. Certain aspects of the Bernstein theory for bvp for second order ODE are studied, too. No assumptions concerning structural coupling (monotonicity, cooperativity) are undertaken.
△ Less
Submitted 5 November, 2016;
originally announced November 2016.
-
Generalized Nehari manifold and semilinear Schrödinger equation with weak monotonicity condition on the nonlinear term
Authors:
Francisco Odair de Paiva,
Wojciech Kryszewski,
Andrzej Szulkin
Abstract:
We study the Schrödinger equations $-Δu + V(x)u = f(x,u)$ in $\mathbb{R}^N$ and $-Δu - λu = f(x,u)$ in a bounded domain $Ω\subset\mathbb{R}^N$. We assume that $f$ is superlinear but of subcritical growth and $u\mapsto f(x,u)/|u|$ is nondecreasing. In $\mathbb{R}^N$ we also assume that $V$ and $f$ are periodic in $x_1,\ldots,x_N$. We show that these equations have a ground state and that there exis…
▽ More
We study the Schrödinger equations $-Δu + V(x)u = f(x,u)$ in $\mathbb{R}^N$ and $-Δu - λu = f(x,u)$ in a bounded domain $Ω\subset\mathbb{R}^N$. We assume that $f$ is superlinear but of subcritical growth and $u\mapsto f(x,u)/|u|$ is nondecreasing. In $\mathbb{R}^N$ we also assume that $V$ and $f$ are periodic in $x_1,\ldots,x_N$. We show that these equations have a ground state and that there exist infinitely many solutions if $f$ is odd in $u$. Our results generalize those in \cite{sw1} where $u\mapsto f(x,u)/|u|$ was assumed to be strictly increasing. This seemingly small change forces us to go beyond methods of smooth analysis.
△ Less
Submitted 15 September, 2016;
originally announced September 2016.
-
The Constrained Krasnosel'skii Formula for Parabolic Differential Inclusions
Authors:
Wojciech Kryszewski,
Jakub Siemianowski
Abstract:
We consider a constrained evolution inclusions of parabolic type \eqref{inkluzja-rozn} involving an $m$-dissipative linear operator and the source term of multivalued type in a Banach space and topological properties of the solution map. We show a relation between the constrained fixed point index of the Krasnosel'skii--Poincaré operator of translation along trajectories associated with \eqref{ink…
▽ More
We consider a constrained evolution inclusions of parabolic type \eqref{inkluzja-rozn} involving an $m$-dissipative linear operator and the source term of multivalued type in a Banach space and topological properties of the solution map. We show a relation between the constrained fixed point index of the Krasnosel'skii--Poincaré operator of translation along trajectories associated with \eqref{inkluzja-rozn} and the appropriately defined constrained degree of $A + F\le 0 , \cdot \pr $ of the right-hand side in \eqref{inkluzja-rozn}. Our results extend those of \cite{cw} and \cite{gab-krysz}.
△ Less
Submitted 11 April, 2015;
originally announced April 2015.
-
Bifurcation from infinity for an asymptotically linear Schrödinger equation
Authors:
Wojciech Kryszewski,
Andrzej Szulkin
Abstract:
We consider an asymptotically linear Schrödinger equation $-Δu + V(x)u = λu + f(x,u), \ x\in R^N$, and show that if $λ_0$ is an isolated eigenvalue for the linearization at infinity, then under some additional conditions there exists a sequence $(u_n,λ_n)$ of solutions such that $\|u_n\|\to\infty$ and $λ_n\toλ_0$. Our results extend some recent work by Stuart. We use degree theory if the multiplic…
▽ More
We consider an asymptotically linear Schrödinger equation $-Δu + V(x)u = λu + f(x,u), \ x\in R^N$, and show that if $λ_0$ is an isolated eigenvalue for the linearization at infinity, then under some additional conditions there exists a sequence $(u_n,λ_n)$ of solutions such that $\|u_n\|\to\infty$ and $λ_n\toλ_0$. Our results extend some recent work by Stuart. We use degree theory if the multiplicity of $λ_0$ is odd and Morse theory (or more specifically, Gromoll-Meyer theory) if it is not.
△ Less
Submitted 3 December, 2014;
originally announced December 2014.
