In this work, we establish sufficient conditions for the existence of solutions for a three point boundary value problem generated by a third order differential equation. We give sufficient conditions that allow us to obtain the existence of a nontrivial solution. Then by using the Leray Schauder nonlinear alternative we prove the existence of at least one solution of the posed problem. As an a...

We study the problem of building structure-aware SAT-solvers based on resolution. In this study, we use the idea of treating a resolution proof as a process of Boundary Point Elimination (BPE). We identify two problems of using SAT-algorithms with Conflict Driven Clause Learning (CDCL) for structure-aware SAT-solving. We introduce a template of resolution based SAT-solvers called BPE-SAT that i...

We study the existence of solutions for a class of fractional differential inclusions with anti-periodic boundary conditions. The main result of the paper is based on Bohnenblust-Karlins fixed point theorem. Some applications of the main result are also discussed.

A one dimensional stochastic differential equation of the form dX = AXdt+ 1 2 (−A) ∂ξ[((−A)X)]dt+ ∂ξdW (t), X(0) = x is considered, where A = 1 2∂ 2 ξ . The equation is equipped with periodic boundary conditions. When α = 0 this equation arises in the Kardar–Parisi–Zhang model. For α 6= 0, this equation conserves two important properties of the Kardar–Parisi–Zhang model: it contains a quadratic...

We study a two-point free boundary problem for a quasilinear parabolic equation. This problem arises in the model of flame propagation in combustion theory. It also arises in the study of the motion of interface moving with curvature in which the studied problem is confined in the conical region bounded by two straight lines and the interface has prescribed touching angles with these two straig...

We establish the existence of positive solutions to twin time-scale problems given by the dynamic equation −u∆∇(t) = ηa(t)f(u(t)), t ∈ (t1, tn) ⊂ T with boundary conditions u(t1) = n−1 ∑ i=2 αiu(ti), u(tn) = 0, or u(t1) = 0, u(tn) = n−1 ∑ i=2 αiu(ti), using a functional-type cone expansion-compression fixed point theorem.

This paper studies a boundary value problem of nonlinear fractional differential equations of order q ∈ 1, 2 with three-point integral boundary conditions. Some new existence and uniqueness results are obtained by using standard fixed point theorems and Leray-Schauder degree theory. Our results are new in the sense that the nonlocal parameter in three-point integral boundary conditions appears ...