Existence of mild solutions for fractional evolution equations with mixed monotone nonlocal conditions

In this paper, we are concerned with nonlocal problem for fractional evolution equations with mixed monotone nonlocal term of the form $$\left\{\begin{array}{ll}^CD^{q}_tu(t) + Au(t) = f(t, u(t), u(t)),\quad t \in J = [0, a],\\u(0) = g(u, u),\end{array}\right.$$ where E is an infinite-dimensional Banach space, \({^CD^{q}_t}\) is the Caputo fractional derivative of order \({q\in (0, 1)}\) , A : D(A) ? E → E is a closed linear operator and ?A generates a uniformly bounded C ₀-semigroup T(t) (t ≥  0) in E, \({f \in C(J\times E \times E, E)}\) , and g is appropriate continuous function so that it constitutes a nonlocal condition. Under a new concept of coupled lower and upper mild L-quasi-solutions, we construct a new monotone iterative method for nonlocal problem of fractional evolution equations with mixed monotone nonlocal term and obtain the existence of coupled extremal mild L-quasi-solutions and the mild solution between them. The results obtained generalize the recent conclusions on this topic. Finally, we present two applications to illustrate the feasibility of our abstract results.     

Absolutely continuous operators on function spaces and vector measures

Let (Ω, Σ, μ) be a finite atomless measure space, and let E be an ideal of L ⁰(μ) such that ${L^\infty(\mu) \subset E \subset L^1(\mu)}$ . We study absolutely continuous linear operators from E to a locally convex Hausdorff space ${(X, \xi)}$ . Moreover, we examine the relationships between μ-absolutely continuous vector measures m : Σ → X and the corresponding integration operators T _m : L ^∞(μ) → X. In particular, we characterize relatively compact sets ${\mathcal{M}}$ in ca _μ (Σ, X) (= the space of all μ-absolutely continuous measures m : Σ → X) for the topology ${\mathcal{T}_s}$ of simple convergence in terms of the topological properties of the corresponding set ${\{T_m : m \in \mathcal{M}\}}$ of absolutely continuous operators. We derive a generalized Vitali–Hahn–Saks type theorem for absolutely continuous operators T : L ^∞(μ) → X.     

Spatially monotone homoclinic orbits in nonlinear parabolic equations of super-fast diffusion type

This work deals with positive classical solutions of the degenerate parabolic equation $$u_t=u^p u_{xx} \quad \quad (\star)$$ when p > 2, which via the substitution v = u ^1?p transforms into the super-fast diffusion equation ${v_t=(v^{m-1}v_x)_x}$ with ${m=-\frac{1}{p-1} \in (-1,0)}$ . It is shown that ( ${\star}$ ) possesses some entire positive classical solutions, defined for all ${t \in \mathbb {R}}$ and ${x \in \mathbb {R}}$ , which connect the trivial equilibrium to itself in the sense that u(x, t) → 0 both as t → ?∞ and as t → + ∞, locally uniformly with respect to ${x \in \mathbb {R}}$ . Moreover, these solutions have quite a simple structure in that they are monotone increasing in space. The approach is based on the construction of two types of wave-like solutions, one of them being used for ?∞ < t ≤  0 and the other one for 0 < t <  + ∞. Both types exhibit wave speeds that vary with time and tend to zero as t → ?∞ and t → + ∞, respectively. The solutions thereby obtained decay as x → ?∞, uniformly with respect to ${t \in \mathbb {R}}$ , but they are unbounded as x → + ∞. It is finally shown that within the class of functions having such a behavior as x → ?∞, there does not exist any bounded homoclinic orbit.     

Nonexistence and multiplicity of solutions to elliptic problems with supercritical exponents

We consider the supercritical problem $$\begin{array}{l}{-}\Delta u=\left\vert u\right\vert ^{p-2}u \; {\rm in} \; \Omega,\quad u=0 \; {\rm on} \; \partial \Omega, \end{array}$$ where Ω is a bounded smooth domain in ${\mathbb{R}^{N}}$ , N ≥ 3, and ${p\geq2^{\ast}:=\frac{2N}{N-2}}$ . Bahri and Coron showed that if Ω has nontrivial homology this problem has a positive solution for p = 2^*. However, this is not enough to guarantee existence in the supercritical case. For ${p\geq\frac{2(N-1)}{N-3}}$ Passaseo exhibited domains carrying one nontrivial homology class in which no nontrivial solution exists. Here we give examples of domains whose homology becomes richer as p increases. More precisely, we show that for ${p>\frac{2(N-k)}{N-k-2}}$ with 1 ≤ k ≤ N?3 there are bounded smooth domains in ${\mathbb{R}^{N}}$ whose cup-length is k + 1 in which this problem does not have a nontrivial solution. For N = 4,8,16 we show that there are many domains, arising from the Hopf fibrations, in which the problem has a prescribed number of solutions for some particular supercritical exponents.     

Multiple critical points for non-differentiable parametrized functionals and applications to differential inclusions

In this paper we deal with a class of non-differentiable functionals defined on a real reflexive Banach space X and depending on a real parameter of the form ${\mathcal{E}_\lambda(u)=L(u)-(J_1\circ T)(u)-\lambda (J_2\circ S)(u)}$ , where ${L:X \rightarrow \mathbb R}$ is a sequentially weakly lower semicontinuous C ¹ functional, ${J_1:Y\rightarrow\mathbb R, J_2:Z\rightarrow \mathbb R}$ (Y, Z Banach spaces) are two locally Lipschitz functionals, T : X → Y, S : X → Z are linear and compact operators and λ > 0 is a real parameter. We prove that this kind of functionals posses at least three nonsmooth critical points for each λ > 0 and there exists λ* > 0 such that the functional ${\mathcal{E}_{\lambda^\ast}}$ possesses at least four nonsmooth critical points. As an application, we study a nonhomogeneous differential inclusion involving the p(x)-Laplace operator whose weak solutions are exactly the nonsmooth critical points of some “energy functional” which satisfies the conditions required in our main result.     

C∞ functions in infinite dimension and linear partial differential difference equations with constant coefficients

This work is closed to [2] where a dense linear subspace \(\mathbb{E}\) (E) of the space ?(E) of the Silva C ^∞ functions on E is defined; the dual of \(\mathbb{E}\) (E) is described via the Fourier transform by a Paley-Wiener-Schwartz theorem which is formulated exactly in the same way as in the finite dimensional case. Here we prove existence and approximation result for solutions of linear partial differential difference equations in \(\mathbb{E}\) (E) with constant coefficients. We also obtain a Hahn-Banach type extension theorem for some C^∞ functions defined on a closed subspace of a DFN space, which is analogous to a Boland’s result in the holomorphic case [1].     

Orthogonality and Additivity Modulo Z

Let E be a real inner product space of dimension at least 2. Suppose ? : E → ? satisfies If there exist a neighbourhood U of the origin and γ ∈ (0, 1/4) such that ?(U) ? (?γ,γ) + ?, then there exist a real constant c and a continuous linear functional g : E → ? such that Suppose Φ : E → ? satisfies If there exist a neighbourhood U of the origin and β ∈ (0, +∞) such that ¦Φ(x)¦ ≤ β?(Φ(x)) for every x ∈ U, then either Φ vanishes on E? {0} or there exist additive functions a : ? → ? and A : E → ?, a real constant c and a continuous linear functional g : E → ? such that      

Relative minimizers of energy are relative minimizers of area

Let Γ be a closed, regular Jordan curve in ${{\mathbb R}^3}$ which is of class C ^1,μ , 0 <  μ <  1, and denote by ${{\mathcal C}(\Gamma)}$ the class of the disk-type surfaces ${X : B \to {\mathbb R}^3}$ with continuous, monotonic boundary values, mapping ${\partial B}$ onto Γ. One easily sees that any minimal surface ${X \in {\mathcal C}(\Gamma)}$ is a relative minimizer of energy, i.e. of Dirichlet’s integral D, if it is a relative minimizer of the area functional A. Here we prove conversely: If an immersed ${X \in {\mathcal C}(\Gamma)}$ is a C ¹-relative minimizer of D in ${{\mathcal C}(\Gamma)}$ , then it also is a C ^1,μ -relative minimizer of A in ${{\mathcal C}(\Gamma)}$ .     

A residual existence theorem for linear equations

A residual existence theorem for linear equations is proved: if ${A \in \mathbb{R}^{m\times n}}$ , ${b \in \mathbb{R}^{m}}$ and if X is a finite subset of ${\mathbb{R}^{n}}$ satisfying ${{\rm max}_{x \in X}p^T(Ax-b) \geq 0}$ for each ${p \in \mathbb{R}^{m}}$ , then the system of linear equations Ax = b has a solution in the convex hull of X. An application of this result to unique solvability of the absolute value equation Ax + B|x| = b is given.     

On quasimöbius maps in real Banach spaces

Suppose that E and E′ denote real Banach spaces with dimension at least 2, that D $ \subseteq $ E and D′ $ \subseteq $ E′ are domains, that f: D → D′ is an (M,C)-CQH homeomorphism, and that D is uniform. The aim of this paper is to prove that D′ is a uniform domain if and only if f extends to a homeomorphism $\overline f :\overline D \to {\overline D ^\prime }$ and $\overline f $ is η-QM relative to ?D. This result shows that the answer to one of the open problems raised by Väisälä from 1991 is affirmative.     

The Signed k-Submatchings in Graphs

A signed k-submatching of a graph G is a function f : E(G) → {?1,1} satisfying f (E _G (v)) ≤ 1 for at least k vertices ${v \in V(G)}$ . The maximum of the values of f (E(G)), taken over all signed k-submatchings f, is called the signed k-submatching number and is denoted by ${\beta_S^{k}(G)}$ . In this paper, sharp bounds on ${\beta_S^{k}(G)}$ for general graphs are presented. Exact values of ${\beta_S^{k}(G)}$ for several classes of graphs are found.     

A Representation of a Point Symmetric 2-Structure by a Quasi-Domain

In a symmetric 2-structure ${\Sigma =(P,\mathfrak{G}_1,\mathfrak{G}_2,\mathfrak{K})}$ we fix a chain ${E \in \mathfrak{K}}$ and define on E two binary operations “+” and “·”. Then (E,+) is a K-loop and for ${E^* := E {\setminus}\{o\}}$ , (E ^*,·) is a Bol loop. If ${\Sigma}$ is even point symmetric then (E,+ ,·) is a quasidomain and one has the set ${Aff(E,+,\cdot) := \{a^+\circ b^\bullet | a \in E, b \in E^*\}}$ of affine permutations. From Aff(E, +, ·) one can reproduce via a “chain derivation” the point symmetric 2-structure ${\Sigma}$ .     

The Lower Weyl Spectrum of a Positive Operator

For the lower Weyl spectrum $$\sigma_{\rm w}^-(T) = \bigcap_{0 \le K \in \mathcal{K}(E) \le T} \sigma(T - K),$$ where T is a positive operator on a Banach lattice E, the conditions for which the equality ${\sigma_{\rm w}^-(T) = \sigma_{\rm w}^-(T^*)}$ holds, are established. In particular, it is true if E has order continuous norm. An example of a weakly compact positive operator T on ? _∞ such that the spectral radius ${r(T) \in \sigma_{\rm w}^-(T) {\setminus} (\sigma_{\rm f}(T) \cup \sigma_{\rm w}^-(T^*))}$ , where σ _f(T) is the Fredholm spectrum, is given. The conditions which guarantee the order continuity of the residue T _?1 of the resolvent R(., T) of an order continuous operator T ≥ 0 at ${r(T) \notin \sigma_{\rm f}(T)}$ , are discussed. For example, it is true if T is o-weakly compact. It follows from the proven results that a Banach lattice E admitting an order continuous operator T ≥ 0, ${r(T) \notin \sigma_{\rm f}(T)}$ , can not have the trivial band ${E_n^\sim}$ of order continuous functionals in general. It is obtained that a non-zero order continuous operator T : E → F can not be approximated in the r-norm by the operators from ${E_\sigma^\sim \otimes F}$ , where F is a Banach lattice, ${E_\sigma^\sim}$ is a disjoint complement of the band ${E_n^\sim}$ of E*.     

Local behaviour of singular solutions for nonlinear elliptic equations in divergence form

We consider the following class of nonlinear elliptic equations $$\begin{array}{ll}{-}{\rm div}(\mathcal{A}(|x|)\nabla u) +u^q=0\quad {\rm in}\; B_1(0)\setminus\{0\}, \end{array}$$ where q > 1 and ${\mathcal{A}}$ is a positive C ¹(0,1] function which is regularly varying at zero with index ${\vartheta}$ in (2?N,2). We prove that all isolated singularities at zero for the positive solutions are removable if and only if ${\Phi\not\in L^q(B_1(0))}$ , where ${\Phi}$ denotes the fundamental solution of ${-{\rm div}(\mathcal{A}(|x|)\nabla u)=\delta_0}$ in ${\mathcal D'(B_1(0))}$ and δ₀ is the Dirac mass at 0. Moreover, we give a complete classification of the behaviour near zero of all positive solutions in the more delicate case that ${\Phi\in L^q(B_1(0))}$ . We also establish the existence of positive solutions in all the categories of such a classification. Our results apply in particular to the model case ${\mathcal{A}(|x|)=|x|^\vartheta}$ with ${\vartheta\in (2-N,2)}$ .     

On the Schröder equation and iterative sequences of C r diffeomorphisms in {\mathbb{R}^{N}} space

Let ${U \subset \mathbb{R}^{N}}$ be a neighbourhood of the origin and a function ${F:U\rightarrow U}$ be of class C ^r , r ≥ 2, F(0) = 0. Denote by F ⁿ the n-th iterate of F and let ${0<|s_1|\leq \cdots \leq|s_N| <1 }$ , where ${s_1, \ldots , s_N}$ are the eigenvalues of dF(0). Assume that the Schröder equation ${\varphi(F(x))=S\varphi(x)}$ , where S: = dF(0) has a C ² solution φ such that dφ(0) = id. If ${\frac{log|s_1|}{log|s_N|} <2 }$ then the sequence {S ^?n F ⁿ (x)} converges for every point x from the basin of attraction of F to a C ² solution φ of (1). If ${2\leq\frac{log|s_1|}{log|s_N|} }$ then this sequence can be diverging. In this case we give some sufficient conditions for the convergence and divergence of the sequence {S ^?n F ⁿ (x)}. Moreover, we show that if F is of class C ^r and ${r>\big[\frac{log|s_1|}{log|s_N|} \big ]:=p \geq 2}$ then every C ^r solution of the Schröder equation such that dφ(0) = id is given by the formula $$\begin{array}{ll}\varphi (x)={\lim\limits_{n \rightarrow \infty}} (S^{-n}F^n(x) + {\sum\limits _{k=2}^{p}} S^{-n}L_k (F^n(x))),\end{array}$$ where ${L_k:\mathbb{R}^{N} \rightarrow \mathbb{R}^{N}}$ are some homogeneous polynomials of degree k, which are determined by the differentials d ^(j) F(0) for 1 < j ≤  p.     

The polynomial multidimensional Szemerédi Theorem along shifted primes

If $\vec q_1 ,...,\vec q_m $ : ? → ? ^? are polynomials with zero constant terms and E ? ? ^? has positive upper Banach density, then we show that the set E ∩ (E ? $\vec q_1 $ (p ? 1)) ∩ … ∩ (E ? $\vec q_m $ (p ? 1)) is nonempty for some prime p. We also prove mean convergence for the associated averages along the prime numbers, conditional to analogous convergence results along the full integers. This generalizes earlier results of the authors, of Wooley and Ziegler, and of Bergelson, Leibman and Ziegler.     

Almost periodic solutions for nonlinear delay evolutions with nonlocal initial conditions

We consider the nonlinear delay differential evolution equation $$\left\{\begin{array}{ll} u'(t) \in Au(t) + f(t, u_t), \quad \quad t \in \mathbb{R}_+,\\ u(t) = g(u)(t),\qquad \qquad \quad t \in [-\tau, 0], \end{array} \right.$$ u ′ ( t ) ∈ A u ( t ) + f ( t , u t ) , t ∈ R + , u ( t ) = g ( u ) ( t ) , t ∈ [ - τ , 0 ] , where τ ≥ 0, X is a real Banach space, A is the infinitesimal generator of a nonlinear semigroup of contractions whose Lipschitz seminorm decays exponentially as ${t \mapsto {\rm{e}}^{-\omega t}}$ t ? e - ω t when ${t \to + \infty}$ t → + ∞ and ${f : {\mathbb{R}}_+ \times C([-\tau, 0]; \overline{D(A)}) \to X}$ f : R + × C ( [ - τ , 0 ] ; D ( A ) ¯ ) → X is jointly continuous. We prove that if f Lipschitz with respect to its second argument and its Lipschitz constant ? satisfies the condition ${\ell{\rm{e}}^{\omega\tau} < \omega, g : C_b([-\tau, +\infty); \overline{D(A)}) \to C([-\tau, 0]; \overline{D(A)})}$ ? e ω τ < ω , g : C b ( [ - τ , + ∞ ) ; D ( A ) ¯ ) → C ( [ - τ , 0 ] ; D ( A ) ¯ ) is nonexpansive and (I – A)^?1 is compact, then the unique C ⁰-solution of the problem above is almost periodic.     

On multiplicative (generalized)-derivations in prime and semiprime rings

Let R be a ring. A map ${F : R \rightarrow R}$ F : R → R is called a multiplicative (generalized)-derivation if F(xy) = F(x)y + xg(y) is fulfilled for all ${x, y \in R}$ x , y ∈ R where ${g : R \rightarrow R}$ g : R → R is any map (not necessarily derivation). The main objective of the present paper is to study the following situations: (i) ${F(xy) \pm xy \in Z}$ F ( xy ) ± xy ∈ Z , (ii) ${F(xy) \pm yx \in Z}$ F ( xy ) ± yx ∈ Z , (iii) ${F(x)F(y) \pm xy \in Z}$ F ( x ) F ( y ) ± xy ∈ Z and (iv) ${F(x)F(y) \pm yx \in Z}$ F ( x ) F ( y ) ± yx ∈ Z for all x, y in some appropriate subset of R. Moreover, some examples are also given.     

Two-step projection methods for a system of variational inequality problems in Banach spaces

Let C be a nonempty closed convex subset of a uniformly convex and 2-uniformly smooth Banach space E and let Π _C be a sunny nonexpansive retraction from E onto C. Let the mappings ${T, S: C \to E}$ be γ ₁-strongly accretive, μ ₁-Lipschitz continuous and γ ₂-strongly accretive, μ ₂-Lipschitz continuous, respectively. For arbitrarily chosen initial point ${x^0 \in C}$ , compute the sequences {x ^k } and {y ^k } such that ${\begin{array}{ll} \quad y^k = \Pi_C[x^k-\eta S(x^k)],\ x^{k+1} = (1-\alpha^k)x^k+\alpha^k\Pi_C[y^k-\rho T(y^k)],\quad k\geq 0, \end{array}}$ where {α ^k } is a sequence in [0,1] and ρ, η are two positive constants. Under some mild conditions, we prove that the sequences {x ^k } and {y ^k } converge to x* and y*, respectively, where (x*, y*) is a solution of the following system of variational inequality problems in Banach spaces: ${\left\{\begin{array}{l}\langle \rho T(y^*)+x^*-y^*,j(x-x^*)\rangle\geq 0, \quad\forall x \in C,\\langle \eta S(x^*)+y^*-x^*,j(x-y^*)\rangle\geq 0,\quad\forall x \in C.\end{array}\right.}$ Our results extend the main results in Verma (Appl Math Lett 18:1286–1292, 2005) from Hilbert spaces to Banach spaces. We also obtain some corollaries which include some results in the literature as special cases.     

Multiplicity of solutions to a nonlinear elliptic problem with nonlinear boundary conditions

We study the problem $$\left\{\begin{array}{ll}\Delta_p u = |u|^{q-2}u, & \quad x \in \Omega ,\\ |\nabla u|^{p-2} \frac{\partial u}{\partial \nu}= \lambda |u|^{p-2}u, &\quad x \in \partial \Omega, \end{array}\right.$$ where \({\Omega \subset \mathbb{R}^N}\) is a bounded smooth domain, \({\nu}\) is the outward unit normal at \({\partial \Omega}\) and \({\lambda > 0}\) is regarded as a bifurcation parameter. When p = 2 and in the superlinear regime q > 2, we show existence of n nontrivial solutions for all \({\lambda > \lambda_n}\) , \({\lambda_n}\) being the n-th Steklov eigenvalue. It is proved in addition that bifurcation from the trivial solution takes place at all \({\lambda_n}\) ’s. Similar results are obtained in the sublinear case 1 < q < 2. In this case, bifurcation from infinity takes place in those \({\lambda_n}\) with odd multiplicity. Partial extensions of these features are shown in the nonlinear diffusion case \({p \neq 2}\) and related problems under spatially heterogeneous reactions are also addressed.