TOPOLOGICAL METHODS IN NONLINEAR ANALYSIS

 Vol. 46, No. 2           December 2015

Title and Author(s) Page
Coincidence of maps on torus fiber bundles over the circle
João Peres Vieira
 ABSTRACT. The main purpose of this work is to study coincidences of fibre-preserving self-maps over the circle $S^1$ for spaces which are fibre bundles over $S^1$ and the fibre is the torus $T$. We classify all pairs of self-maps over $S^1$ which can be deformed fibrewise to a pair of coincidence free maps.
507
Periodic solutions for second order singular differential systems with parameters
Fanglei Wang, Jifeng Chu and Stefan Siegmund
 ABSTRACT. In this paper we consider the existence of periodic solutions of one-parameter and two-parameter families of second order singular differential equations.
549
Strongly damped wave equation and its Yosida approximations
Matheus C. Bortolan and Alexandre N. Carvalho
 ABSTRACT. In this work we study the continuity for the family of global attractors of the equations $u_{tt}-\Delta u-\Delta u_t-\varepsilon \Delta u_{tt}=f(u)$ at $\varepsilon=0$ when $\Omega$ is a bounded smooth domain of $\mathbb{R}^n$, with $n\geq 3$, and the nonlinearity $f$ satisfies a subcritical growth condition. Also, we obtain an uniform bound for the fractal dimension of these global attractors.
563
The trivial homotopy class of maps from two-complexes into the real projective plane
Marcio Colombo Fenille
 ABSTRACT. We study reasons related to two-dimensional CW-complexes which prevent an extension of the Hopf--Whitney Classification Theorem for maps from those complexes into the real projective plane, even in the simpler situation in which the complex has trivial second integer cohomology group. We conclude that for such a two-complex $K$, the following assertions are equivalent: (1) Every based map from $K$ into the real projective plane is based homotopic to a constant map; (2) The skeleton pair $(K,K^1)$ is homotopy equivalent to that of a model two-complex induced by a balanced group presentation; (3) The number of two-dimensional cells of $K$ is equal to the first Betti number of its one-skeleton; (4) $K$ is acyclic; (5) Every based map from $K$ into the circle $S^1$ is based homotopic to a~constant map.
603
Existence of solutions for a Kirchhoff type fractional differential equations via minimal principle and Morse theory
 ABSTRACT. In this paper by using the minimal principle and Morse theory, we prove the existence of solutions to the following Kirchhoff type fractional differential equation: \begin{equation*} \begin{cases} M (\int_{\mathbb{R}} (|{}_{- \infty} D_t^\alpha u (t)|^2 + b (t) |u(t)|^2 )\, d t) \cdot ({}_tD_\infty^{\alpha} ({}_{- \infty} D_t^\alpha u (t) ) + b(t) u (t)) = f (t, u (t)), t \in \mathbb{R}, u \in H^\alpha (\mathbb{R}), \end{cases} \end{equation*} where $\alpha \in ({1}/{2},1)$, ${}_tD_\infty^{\alpha}$ and ${}_{- \infty} D_t^\alpha$ are the right and left inverse operators of the corresponding Liouville--Weyl fractional integrals of order $\alpha$ respectively, $H^\alpha$ is the classical fractional Sobolev Space, $u \in \mathbb{R}$, $b \colon \mathbb{R} \to \mathbb{R}$, $\inf\limits_{t \in \mathbb{R}} b (t) \ge 0$, $f \colon \mathbb{R}\times \mathbb{R} \to \mathbb{R}$ Caratheodory function and $M\colon \mathbb{R}^+ \to \mathbb{R}^+$ is a~function that satisfy some suitable conditions.
617
Periodic bifurcation problems for fully nonlinear neutral functional differential equations via an integral operator approach: the multidimensional degeneration case
Jean-Francois Couchouron, Mikhail Kamenskii, Boris Mikhaylenko and Paolo Nistri
 ABSTRACT. We consider a $T$-periodically perturbed autonomous functional differential equation of neutral type. We assume the existence of a $T$-periodic limit cycle $x_0$ for the unperturbed autonomous system. We also assume that the linearized unperturbed equation around the limit cycle has the characteristic multiplier $1$ of geometric multiplicity $1$ and algebraic multiplicity greater than~$1$. The paper deals with the existence of a branch of $T$-periodic solutions emanating from the limit cycle. The problem of finding such a branch is converted into the problem of finding a branch of zeros of a~suitably defined bifurcation equation \hbox{$P(x,\varepsilon) +\varepsilon Q(x, \varepsilon)=0$.} The main task of the paper is to define a novel equivalent integral operator having the property that the $T$-periodic adjoint Floquet solutions of the unperturbed linearized operator correspond to those of the equation $P'(x_0(\theta),0)=0$, $\theta\in[0,T]$. Once this is done it is possible to express the condition for the existence of a branch of zeros for the bifurcation equation in terms of a multidimensional Malkin bifurcation function.
631
Existence of solutions in the sense of distributions of anisotropic nonlinear elliptic equations with variable exponent
Mohamed Badr Benboubker, Houssam Chrayteh, Hassane Hjiaj and Chihab Yazough
 ABSTRACT. The aim of this paper is to study the existence of solutions in the sense of distributions for a~strongly nonlinear elliptic problem where the second term of the equation $f$ is in $W^{-1,\overrightarrow{p}'(\,\cdot\,)}(\Omega)$ which is the dual space of the anisotropic Sobolev $W_{0}^{1,\overrightarrow{p}(\,\cdot\,)}(\Omega)$ and later $f$ will be in~$L^{1}(\Omega)$.
665
Functions and Vector Fields on C(CP^n)-singular manifolds
Alice Kimie Miwa Libardi and Vladimir V. Sharko
 ABSTRACT. In this paper we study functions and vector fields with isolated singularities on a $C(\mathbb{C}P^n)$-singular manifold. In general, a$C(\mathbb{C}P^n)$-singular manifold is obtained from a smooth $(2n+1)$-manifold with boundary which is a disjoint union of complex projective spaces $\mathbb{C}P^n \cup\ldots \cup\mathbb{C}P^n$ and subsequent capture of the cone over each component $\mathbb{C}P^n$ of the boundary. We calculate the Euler characteristic of a compact $C(\mathbb{C}P^n)$-singular manifold $M^{2n+1}$ with finite isolated singular points. We also prove a version of the Poincare-Hopf Index Theorem for an almost smooth vector field with finite number of zeros on a~$C(\mathbb{C}P^n)$-singular manifold.
697
On a power-type coupled system of Monge-Ampère equations
Zhitao Zhang and Zexin Qi
 ABSTRACT. We study an elliptic system coupled by Monge--Amp\{e}re equations: $$\begin{cases} \det D^{2}u_{1}={(-u_{2})}^\alpha & \hbox{in \Omega,} \\ \det D^{2}u_{2}={(-u_{1})}^\beta & \hbox{in \Omega,} \\ u_{1}<0,\ u_{2}<0& \hbox{in \Omega,}\\ u_{1}=u_{2}=0 & \hbox{on  \partial \Omega,} \end{cases}$$% here $\Omega$~is a smooth, bounded and strictly convex domain in~$\mathbb{R}^{N}$, $N\geq2$, $\alpha >0$, $\beta >0$. When $\Omega$ is the unit ball in $\mathbb{R}^{N}$, we use index theory of fixed points for completely continuous operators to get existence, uniqueness results and nonexistence of radial convex solutions under some corresponding assumptions on $\alpha$, $\beta$. When $\alpha>0$, $\beta>0$ and $\alpha\beta=N^2$ we also study a~corresponding eigenvalue problem in more general domains.
717
Positive solutions to p-Laplace reaction-diffusion systems with nonpositive right-hand side
Mateusz Maciejewski
 ABSTRACT. The aim of the paper is to show the existence of positive solutions to the elliptic system of partial differential equations involving the $p$-Laplace operator $\begin{cases} -\Delta_p u_i(x) = f_i(u_1 (x),u_2(x),\ldots,u_m(x)), & x\in \Omega,\ 1\leq i\leq m, \\ u_i(x)\geq 0, & x\in \Omega,\ 1\leq i\leq m,\\ u(x) = 0, & x\in \partial \Omega. \end{cases}$ We consider the case of nonpositive right-hand side $f_i$, $i=1,\ldots,m$. The sufficient conditions entails spectral bounds of the matrices associated with $f=(f_1,\ldots,f_m)$. We employ the degree theory from \cite{CwMac} for tangent perturbations of maximal monotone operators in Banach spaces.
731
Solutions to a nonlinear Schrödinger equation with periodic potential and zero on the boundary of the spectrum
Jarosław Mederski
 ABSTRACT. We study the following nonlinear Schrodinger equation \begin{equation*} \begin{cases} -\Delta u + V(x) u = g(x,u) & \hbox{for } x\in\R^N,\\ u(x)\to 0 & \hbox{as } |x|\to\infty, \end{cases} \end{equation*} where $V\colon \R^N\to\R$ and $g\colon \R^N\times\R\to\R$ are periodic in $x$. We assume that $0$ is a right boundary point of the essential spectrum of $-\Delta+V$. The superlinear and subcritical term g satisfies a Nehari type monotonicity condition. We employ a Nehari manifold type technique in a strongly indefitnite setting and obtain the existence of a ground state solution. Moreover, we get infinitely many geometrically distinct solutions provided that $g$ is odd.
755
The R_\infty property for abelian groups
Daciberg Gonçalves and Karel Dekimpe
 ABSTRACT. It is well known there is no finitely generated abelian group which has the $R_\infty$ property. We will show that also many non-finitely generated abelian groups do not have the $R_\infty$ property, but this does not hold for all of them! In fact we construct an uncountable number of infinite countable abelian groups which do have the $R_{\infty}$ property. We also construct an abelian group such that the cardinality of the Reidemeister classes is uncountable for any automorphism of that group.
773
Ground state solutions for a class of nonlinear Maxwell-Dirac system
Xianhua Tang, Jian Zhang and Wen Zhang
 ABSTRACT. This paper is concerned with the following nonlinear Maxwell-Dirac system \begin{equation*} \begin{cases} \displaystyle -i\sum^{3}_{k=1}\alpha_{k}\partial_{k}u + a\beta u + \omega u-\phi u =F_{u}(x,u), \\ -\Delta \phi=4\pi|u|^{2,\\ \end{cases} \end{equation*} for $x\in\R^{3}$. The Dirac operator is unbounded from below and above, so the associated energy functional is strongly indefinite. We use the linking and concentration compactness arguments to establish the existence of ground state solutions for this system with asymptotically quadratic nonlinearity.
785
Subshifts, rotations and the specification property
Marcin Mazur and Piotr Oprocha
 ABSTRACT. Let $X=\Sigma_2$ and let $F\colon X\times \mathbb{S}^1\to X\times \mathbb{S}^1$ be a map given by $F(x,t)=(\sigma(x),R_{x_0}(t)),$ where $(\Sigma_2,\sigma)$ denotes the full shift over the alphabet $\{0,1\}$ while $R_0$, $R_1$ are the rotations of the unit circle $\mathbb{S}^1$ by the angles $r_0$ and $r_1$, respectivelly. It was recently proved by X.~Wu and G.~Chen that if $r_0$ and $r_1$ are irrational, then the system $(X\times \mathbb{S}^1,F)$ has an uncountable distributionally $\delta$-scrambled set $S_\delta$ for every positive $\delta\leq \textrm{diam } X\times \mathbb{S}^1=1$. Moreover, each point in $S_\delta$ is recurrent but not weakly almost periodic (this answeres a question from [Wang et al., Ann. Polon. Math. \textbf{82} (2003), 265--272]). We generalize the above result by proving that if $r_0-r_1\in \R\setminus \Q$ and $X\subset \Sigma_2$ is a nontrivial subshift with the specification property, then the system $(X\times \mathbb{S}^1,F)$ also has the specification property. As a consequence, there exist a constant $\delta\ge 0$ and a dense Mycielski distributionally $\delta$-scrambled set for $(X\times \mathbb{S}^1,F)$, in which each point is recurrent but not weakly almost periodic
799
Equation with positive coefficient in the quasilinear term and vanishing potential
Jose Aires and Marco Souto
 ABSTRACT. In this paper we study the existence of nontrivial classical solution for the quasilinear Schr\"odinger equation: $$- \Delta u +V(x)u+\frac{\kappa}{2}\Delta (u^{2})u= f(u),$$% in $\mathbb{R}^N$, where $N\geq 3$, $f$ has subcritical growth and $V$ is a nonnegative potential. For this purpose, we use variational methods combined with perturbation arguments, penalization technics of Del Pino and Felmer and Moser iteration. As a main novelty with respect to some previous results, in our work we are able to deal with the case $\kappa > 0$ and the potential can vanish at infinity.
813
On Nonhomogeneous Boundary Value Problem for the Steady Navier-Stokes System in Domain with Paraboloidal and Layer Type Outlets to Infinity
Kristina Kaulakyte
 ABSTRACT. The nonhomogeneous boundary value problem for the steady Navier-Stokes system is studied in a domain $\Omega$ with two layer type and one paraboloidal outlets to infinity. The boundary $\partial\Omega$ is multiply connected and consists of the outer boundary $S$ and the inner boundary $\Gamma$. The boundary value ${a}$ is assumed to have a compact support. The flux of ${a}$ over the inner boundary $\Gamma$ is supposed to be sufficiently small. We do not impose any restrictions on fluxes of ${a}$ over the unbounded components of the outer boundary $S$. The existence of at least one weak solution is proved.
835
Existence and nonexistence of least energy nodal solution for a class of elliptic problem in R2
Claudianor Alves and Denilson Pereira
 ABSTRACT. In this work, we prove the existence of least energy nodal solutions for a class of elliptic problem in both cases, bounded and unbounded domain, when the nonlinearity has exponential critical growth in $\mathbb{R}^2$. Moreover, we also prove a nonexistence result of least energy nodal solution for the autonomous case in whole $\mathbb{R}^{2}$.
867
Attractors for second order nonautonomous lattice system with dispersive term
Xiaolin Xiang and Shengfan Zhou
 ABSTRACT. In this paper, we prove the existence of pullback attractor, pullback exponential attractor and uniform attractor for second order non-autonomous lattice system with dispersive term and time-dependent forces. Then we prove the existence of uniform exponential attractor for the system driven by quasi-periodic external forces.
893
A General Class of Impulsive Evolution Equations
Michal Feckan and JinRong Wang
 ABSTRACT. One of the novelty of this paper is the study of a general class of impulsive differential equations, which is more reasonable to show dynamics of evolution processes in Pharmacotherapy. This fact reduces many difficulties in applying analysis methods and techniques in Bielecki's normed Banach spaces and thus makes the study of existence and uniqueness theorems interesting. The other novelties of this paper are new concepts of Ulam's type stability and Ulam-Hyers-Rassias stability results on compact and unbounded intervals.
915
Dynamics of non-autonomous reaction-diffusion equations in locally uniform spaces
Gaocheng Yue and Chengkui Zhong
 ABSTRACT. In this paper, we first prove the well-posedness for the non-autonomous reaction-diffusion equations on the entire space $\R^N$ in the setting of locally uniform spaces with singular initial data. Then we study the asymptotic behavior of solutions of such equation and show the existence of $(H^1,q_U(\R^N),H^1,q_\phi(\R^N))$-uniform(w.r.t. $g\in\mcH_L^q_U(\R^N)(g_0)$) attractor $\mcA_\mcH_L^q_U(\R^N)(g_0)$ with locally uniform external forces being translation uniform bounded but not translation compact in $L_b^p(\R;L^q_U(\R^N))$. We also obtain the uniform attracting property in the stronger topology.
935
Existence and multiplicity of positive solutions for a Schrodinger-Poisson system with a perturbation
Juntao Sun and Tsung-fang Wu
 ABSTRACT. In this paper we study the nonlinear Schrodinger-Poisson system with a perturbation: \begin{equation*} \begin{cases} -\Delta u+u+K( x) \phi u=\vert u\vert ^{p-2}u+\lambda f(x)\vert u\vert ^{q-2}u \text{in }\mathbb{R}^{3}, -\Delta \phi =K( x) u^{2} \text{in }\mathbb{R}^{3}, \end{cases} \end{equation*}% where $K$ and $f$ are nonnegative functions, $2 967 Local strong solutions of the nonhomogeneous Navier-Stokes system with control of the interval of existence Reinhard Farwig, Hermann Sohr and Werner Varnhorn  ABSTRACT. Consider a bounded domain$\varOmega\subseteq \mathbb R^3$with smooth boundary$\partial\varOmega$, a time interval$[0,T)$,$0
999
Topological and measure properties of some self-similar sets
Taras Banakh, Artur Bartoszewicz, Małgorzata Filipczak and Emilia Szymonik
 ABSTRACT. Given a finite subset $\Sigma \subset \mathbbR$ and a positive real number $q<1$ we study topological and measure-theoretic properties of the self-similar set $K(\Sigma ;q)=\bigg\\sum\limits_n=0^\infty a_nq^n:(a_n)_n\in \omega \in \Sigma ^\omega \bigg\$, which is the unique compact solution of the equation $K=\Sigma +qK$. The obtained results are applied to studying partial sumsets $E(x)=\bigg\\sum\limits_n=0^\infty x_n\varepsilon _n:(\varepsilon _n)_n\in \omega \in \0,1\^\omega % \bigg\$ of multigeometric sequences $x=(x_n)_n\in \omega$. Such sets were investigated by Ferens, Mor\'an, Jones and others. The aim of the paper is to unify and deepen existing piecemeal results.
1013
Contractive function systems, their attractors and metrization
Taras Banakh, Wiesław Kubiś, Natalia Novosad, Magdalena Nowak and Filip Strobin
 ABSTRACT.
1029
On abstract differential equations with non instantaneous impulses
Eduardo Hernandez, Michelle Pierri and Donal O'Regan
 ABSTRACT. We introduce a class of abstract differential equation with non instantaneous impulses which extend and generalize some recent models considered in the literature. We study the existence of mild and classical solution and present some applications involving partial differential equations with non-instantaneous impulses.
1067
A homotopical property of attractors
Rafael Ortega and Jaime J. Sánchez-Gabites
 ABSTRACT. We construct a 2-dimensional torus T ⊆ R3 having the property that it cannot be an attractor for any homeomorphism of R3. To this end we show that the fundamental group of the complement of an attractor has certain finite generation property that the complement of T does not have.
1086
Multiplicity of solutions of asymptotically linear Dirichlet problems associated to second order equations in R^{2n+1}
Alessandro Margheri and Carlota Rebelo
 ABSTRACT. We present a result about multiplicity of solutions of asymptotically linear Dirichlet problems associated to second order equations in R2n+1, n 1. Under an additional technical condition, the number of solutions obtained is given by the gap between the Morse indexes of the linearizations at zero and in nity. The additional condition is stable with respect to small perturbations of the vector eld. We show with a simple example that in some cases the size of the perturbation can be explicitly estimated.
1107
Multiple solutions to the Bahri-Coron problem in the complement of a thin tubular neighbourhood of a manifold
Mónica Clapp and Juan Carlos Fernández
 ABSTRACT. We show that the critical problem% $-\Delta u=|u|^{{{4}}/({{N-2}})}u\quad \text{in }\Omega,\qquad\ u=0\quad \text{on }\partial\Omega,$ has at least% $\max\{\text{cat}(\Theta,\Theta\setminus B_{r}M),\text{cupl}(\Theta ,\Theta\setminus B_{r}M)+1\}\geq2$ pairs of nontrivial solutions in every domain $\Omega$ obtained by deleting from a~given bounded smooth domain $\Theta\subset\mathbb{R}^{N}$ a thin enough tubular neighborhood $B_{r}M$ of a closed smooth submanifold $M$ of $\Theta$ of dimension $\leq N-2$, where cat'' is the Lusternik-Schnirelmann category and `cupl'' is the cup-length of the pair.
1119