We consider a simple reaction-diffusion system exhibiting Turing's diffusion driven instability if supplemented with classical homogeneous mixed boundary conditions. We consider the case when the Neumann boundary condition is replaced by a unilateral condition of Signorini type on a part of the boundary and show the existence and location of bifurcation of stationary spatially non-homogeneous solutions. The nonsymmetric problem is reformulated as a single variational inequality with a potential...

Given a reaction-diffusion system which exhibits Turing's diffusion-driven instability, the influence of unilateral obstacles of opposite sign (source and sink) on bifurcation and critical points is studied. In particular, in some cases it is shown that spatially nonhomogeneous stationary solutions (spatial patterns) bifurcate from a basic spatially homogeneous steady state for an arbitrarily small ratio of diffusions of inhibitor and activator, while a sufficiently large ratio is necessary in the...

We establish some sufficient conditions in order that a given locally closed subset of a separable Banach space be a viable domain for a semilinear functional differential inclusion, using a tangency condition involving a semigroup generated by a linear operator.

We consider a mathematical model which describes the equilibrium between a viscoelastic body in frictionless contact with an obstacle. The contact is modelled with normal compliance, associated with Signorini's conditions and adhesion. The adhesion is modelled with a surface variable, the bonding field, whose evolution is described by a first-order differential equation. We establish a variational formulation of the mechanical problem and prove the existence and uniqueness of the weak solution....

In this paper, we study the strong convergence of the proximal gradient algorithm with inertial extrapolation term for solving classical minimization problem and finding the fixed points of $\delta$-demimetric mapping in a real Hilbert space. Our algorithm is inspired by the inertial proximal point algorithm and the viscosity approximation method of Moudafi. A strong convergence result is achieved in our result without necessarily imposing the summation condition ${\sum }_{n=1}^{\infty }{\beta }_n\parallel x_{n-1}-x_n\parallel <+\infty$ on the inertial term. Finally, we provide...

The Fourier expansion in eigenfunctions of a positive operator is studied with the help of abstract functions of this operator. The rate of convergence is estimated in terms of its eigenvalues, especially for uniform and absolute convergence. Some particular results are obtained for elliptic operators and hyperbolic equations.

The Newton-Mysovskikh theorem provides sufficient conditions for the semilocal convergence of Newton's method to a locally unique solution of an equation in a Banach space setting. It turns out that under weaker hypotheses and a more precise error analysis than before, weaker sufficient conditions can be obtained for the local as well as semilocal convergence of Newton's method. Error bounds on the distances involved as well as a larger radius of convergence are obtained. Some numerical examples...

The existence of at least one non-decreasing sequence of positive eigenvalues for the problem driven by both $p(·)$-Harmonic and $p(·)$-biharmonic operators $$\begin{array}{c}{\Delta }_{p\left(x\right)}^{2}u-{\Delta }_{p\left(x\right)}u=\lambda w\left(x\right){\left|u\right|}^{q\left(x\right)-2}u\text{in}\Omega ,\\ u\in W^{2,p(·)}\left(\Omega \right)\cap W_0^{1,p(·)}\left(\Omega \right),\end{array}$$ is proved by applying a local minimization and the theory of the generalized Lebesgue-Sobolev spaces $L^{p(·)}\left(\Omega \right)$ and $W^{m,p(·)}\left(\Omega \right)$.

Let $u$ be a weight on $(0,\infty )$. Assume that $u$ is continuous on $(0,\infty )$. Let the operator $S_u$ be given at measurable non-negative function $\varphi$ on $(0,\infty )$ by $$S_u\varphi \left(t\right)=\underset{0<\tau \le t}{sup}u\left(\tau \right)\varphi \left(\tau \right).$$ We characterize weights $v,w$ on $(0,\infty )$ for which there exists a positive constant $C$ such that the inequality $${\left({\int }_0^{\infty }{\left[S_u\varphi \left(t\right)\right]}^{q}w\left(t\right)dt\right)}^{\frac{1}{q}}\lesssim {\left({\int }_0^{\infty }{\left[\varphi \left(t\right)\right]}^{p}v\left(t\right)dt\right)}^{\frac{1}{p}}$$ holds for every $0<p,q<\infty$. Such inequalities have been used in the study of optimal Sobolev embeddings and boundedness of certain operators on classical Lorenz spaces.

In the theory of elliptic equations, the technique of Schwarz symmetrization is one of the tools used to obtain a priori bounds for classical and weak solutions in terms of general information on the data. A basic result says that, in the absence of lower-order terms, the symmetric rearrangement of the solution $u$ of an elliptic equation, that we write $u^{*}$, can be compared pointwise with the solution of the symmetrized problem. The main question we address here is the modification of the method to...