An extension of Matkowski’s and Wardowski’s fixed point theorems with applications to functional equations

Aequationes mathematicae - In this paper, we prove a fixed point theorem for a system of maps on the finite product of metric spaces. Our result generalizes the result of Matkowski (Bull Acad Pol...     

Liouville theorems for the Navier–Stokes equations and applications

We study bounded ancient solutions of the Navier–Stokes equations. These are solutions with bounded velocity defined in R ⁿ × (−1, 0). In two space dimensions we prove that such solutions are either constant or of the form u(x, t) = b(t), depending on the exact definition of admissible solutions. The general 3-dimensional problem seems to be out of reach of existing techniques, but partial results can be obtained in the case of axisymmetric solutions. We apply these results to some scenarios of potential singularity formation for axi-symmetric solutions, and obtain extensions of results in a recent paper by Chen, Strain, Tsai and Yau [4].     

Zeros of semilinear systems with applications to nonlinear partial difference equations on graphs†

Let Q be a m × m real matrix and f _j  : ? → ?, j = 1, …, m, be some given functions. If x and f(x) are column vectors whose j-coordinates are x _j and f _j (x _j ), respectively, then we apply the finite dimensional version of the mountain pass theorem to provide conditions for the existence of solutions of the semilinear system Qx = f(x) for Q symmetric and positive semi-definite. The arguments we use are a simple adaptation of the ones used by Neuberger. An application of the above concerns partial difference equations on a finite, connected simple graph. A derivation of a graph 𝒢 is just any linear operator D:C ⁰(𝒢) → C ⁰(𝒢), where C ⁰(𝒢) is the real vector space of real maps defined on the vertex set V of the graph. Given a derivation D and a function F:V × ? → ?, one has associated a partial difference equation Dμ = F(v,μ), and one searches for solutions μ ∈ C ⁰(𝒢). Sufficient conditions in order to have non-trivial solutions of partial difference equations on any finite, connected simple graph for D symmetric and positive semi-definite derivation are provided. A metric (or weighted) graph is a pair (𝒢, d), where 𝒢 is a connected finite degree simple graph and d is a positive function on the set of edges of the graph. The metric d permits to consider some classical derivations, such as the Laplacian operator ?₂. In (Neuberger, Elliptic partial difference equations on graphs, Experiment. Math. 15 (2006), pp. 91–107) was considered the nonlinear elliptic partial difference equations ?₂ u = F(u), for the metric d = 1.     

A generalized h-fractional Gronwall's inequality and its applications for nonlinear h-fractional difference systems with ‘maxima’

ABSTRACT

This paper gives a generalized h-fractional Gronwall's inequality. Applying this result, we prove the uniqueness and give bounds on solutions for a nonlinear h-fractional difference system with ‘maxima’. Finally, we give an example to illustrate one of our main results.     

q-Borel-Laplace summation for q–difference equations with two slopes

In this paper, we consider linear q-difference systems with coefficients that are germs of meromorphic functions, with Newton polygon that has two slopes. Then, we explain how to compute similar meromorphic gauge transformations than those appearing in the work of Bugeaud, using a q-analogue of the Borel–Laplace summation.     

Phragmen-Lindelöf theorems for second-order semilinear equations with nonnegative characteristic form

This article considers the qualitative properties of generalized (in the sense of an integral identity) solutions of equations of the form Lu = f(x, y), where L is a second-order linear homogeneous divergence operator with nonnegative characteristic form and bounded measurable coefficients, while f(x, u) is a locally bounded (inR ⁿ⁺¹) function such that f(x,0)=0, uj(x,u)a¦u¦^l+p, a>0, q0, n2. The results of the article are a characterization of the behavior of solutions to the Dirichlet problem for the equation Lu = f(x, u) in unbounded domains as a function of the geometric properties of the domains and the quantity 0q<–1. The apparatus of capacity characteristics plays a fundamental role in the approach used here.Translated from Matematicheskie Zametki, Vol. 52, No. 1, pp. 62–66, July, 1992.The author would like to thank E. M. Landis for helpful discussion of his work.     

Inclusion problems via subsolution–supersolution method with applications to hemivariational inequalities

Abstract

Existence and location of solutions to a Dirichlet problem driven by (p, q)-Laplacian and containing a (convection) multivalued term fully depending on the solution and its gradient are established through the method of subsolution–supersolution. This result extends preceding works, in particular improving the growth condition for the lower order terms and allowing multivalued nonlinearities. A criterion for the existence of positive solutions with a priori estimates is obtained. Finally, an application to hemivariational inequalities is given.     

Approximation theorems for total quasi-?-asymptotically nonexpansive mappings with applications

The purpose of this article is to prove some approximation theorems of common fixed points for countable families of total quasi-?-asymptotically nonexpansive mappings which contain several kinds of mappings as its special cases in Banach spaces. In order to get the approximation theorems, the hybrid algorithms are presented and are used to approximate the common fixed points. Using this result, we also discuss the problem of strong convergence concerning the maximal monotone operators in a Banach space. The results of this article extend and improve the results of Matsushita and Takahashi [S. Matsushita, W. Takahashi, A strong convergence theorem for relatively nonexpansive mappings in Banach spaces, J. Approx. Theor. 134 (2005) 257-266], Plubtieng and Ungchittrakool [S. Plubtieng, K. Ungchittrakool, Hybrid iterative methods for convex feasibility problems and fixed point problems of relatively nonexpansive mappings in Banach spaces, J. Approx. Theor. 149 (2007) 103-115], Li, Su [H. Y. Li, Y. F. Su, Strong convergence theorems by a new hybrid for equilibrium problems and variational inequality problems, Nonlinear Anal. 72(2) (2010) 847-855], Su, Xu and Zhang [Y.F. Su, H.K. Xu, X. Zhang, Strong convergence theorems for two countable families of weak relatively nonexpansive mappings and applications, Nonlinear Anal. 73 (2010) 3890-3960], Wang et al. [Z.M. Wang, Y.F. Su, D.X. Wang, Y.C. Dong, A modified Halpern-type iteration algorithm for a family of hemi-relative nonexpansive mappings and systems of equilibrium problems in Banach spaces, J. Comput. Appl. Math. 235 (2011) 2364-2371], Chang et al. [S.S. Chang, H.W. Joseph Lee, Chi Kin Chan, A new hybrid method for solving a generalized equilibrium problem solving a variational inequality problem and obtaining common fixed points in Banach spaces with applications, Nonlinear Anal. 73 (2010) 2260-2270], Chang et al. [S.S. Chang, C.K. Chan, H.W. Joseph Lee, Modified block iterative algorithm for quasi-?-asymptotically nonexpansive mappings and equilibrium problem in Banach spaces, Appl. Math. Comput. 217 (2011) 7520-7530], Ofoedu and Malonza [E.U. Ofoedu, D.M. Malonza, Hybrid approximation of solutions of nonlinear operator equations and application to equation of Hammerstein-type, Appl. Math. Comput. 217 (2011) 6019-6030] and Yao et al. [Y.H. Yao, Y.C. Liou, S.M. Kang, Strong convergence of an iterative algorithm on an infinite countable family of nonexpansive mappings, Appl. Math. Comput. 208 (2009) 211-218].     

Strict stability in terms of two measures for impulsive differential equations with ‘supremum’

Strict stability for a nonlinear system of impulsive differential equations with ‘supremum’ is defined and studied. Razhumikhin method with piecewise continuous scalar Lyapunov functions and comparison results for scalar impulsive differential equations are the bases of the main proofs. To unify a variety of stability concepts and to offer a general framework for the investigation of the stability theory, the notion of stability in terms of two measures has been applied. An example illustrating the usefulness of the obtained sufficient conditions is also included.     

The Hermite–Krichever Ansatz for Fuchsian equations with applications to the sixth Painlevé equation and to finite-gap potentials

Several results including integral representation of solutions and Hermite– Krichever Ansatz on Heun’s equation are generalized to a certain class of Fuchsian differential equations, and they are applied to equations which are related with physics. We investigate linear differential equations that produce Painlevé equation by monodromy preserving deformation and obtain solutions of the sixth Painlevé equation which include Hitchin’s solution. The relationship with finite-gap potential is also discussed. We find new finite-gap potentials. Namely, we show that the potential which is written as the sum of the Treibich–Verdier potential and additional apparent singularities of exponents − 1 and 2 is finite-gap, which extends the result obtained previously by Treibich. We also investigate the eigenfunctions and their monodromy of the Schr?dinger operator on our potential.     

Monotone-iterative method for mixed boundary value problems for generalized difference equations with “maxima”

In this paper the authors investigate special type of difference equations which involve both delays and the maximum value of the unknown function over a past time interval. This type of equations is used to model a real process which present state depends significantly on its maximal value over a past time interval. An appropriate mixed boundary value problem for the given nonlinear difference equation is set up. An algorithm, namely, the monotone iterative technique is suggested to solve this problem approximately. An important feature of our algorithm is that each successive approximation of the unknown solution is equal to the unique solution of an appropriately constructed initial value problem for a linear difference equation with “maxima”, and a formula for its explicit form is given. Also, each approximation is a lower/upper solution of the given nonlinear boundary value problem. Several numerical examples are considered to illustrate the practical application of the suggested algorithm.     

IIM-based ADI finite difference scheme for nonlinear convection–diffusion equations with interfaces

Based on Li’s immersed interface method (IIM), an ADI-type finite difference scheme is proposed for solving two-dimensional nonlinear convection–diffusion interface problems on a fixed cartesian grid, which is unconditionally stable and converges with two-order accuracy in both time and space in maximum norm. Correction terms are added to the right-hand side of standard ADI scheme at irregular points. The nonlinear convection terms are treated by Adams–Bashforth method, without affecting the stability of difference schemes. A new method for computing the correction terms is developed, in which the Adams–Bashforth method is employed. Thus we can get an explicit approximation for the computation of corrections, when the jump condition is solution-dependent. Three numerical experiments are displayed and analyzed. The numerical results show good agreement with the exact solutions and confirm the convergence order.     

Integral manifolds for uncertain impulsive differential–difference equations with variable impulsive perturbations

In the present paper sufficient conditions for the existence of integral manifolds of uncertain impulsive differential–difference equations with variable impulsive perturbations are obtained. The investigations are carried out by means the concepts of uniformly positive definite matrix functions, Hamilton–Jacobi–Riccati inequalities and piecewise continuous Lyapunov’s functions.     

Weak convergence of approximate solutions of stochastic equations with applications to random differential and integral equations ∗

In this paper, we considerably extend our earlier result about convergence in distribution of approximate solutions: of random operator equations, where the stochastic inputs and the underlying deterministic equation are simultaneously approximated. As a by-product, we obtain convergence results for approximate solutions of equations between spaces of probability measures. We apply our results to random Fredholm integral equations of the second kind and to a random [nbar]onlinear elliptic boundary value problem.