• 대한수학회보
• /
• 제55권6호
• /
• pp.1639-1657
• /
• 2018

In this paper, we initiate the study of boundary value problems involving Hilfer fractional derivatives. Several new existence and uniqueness results are obtained by using a variety of fixed point theorems. Examples illustrating our results are also presented.

• 한국수학사학회지
• /
• 제23권1호
• /
• pp.79-88
• /
• 2010

괴델에 의하면, 모든 긍정성을 가진 존재를 신으로 정의할 때 신의 존재에 대한 수학적 증명은 가능하다. 신의 정의를 만족하는 대상이 존재가능하다면, 그 대상은 필연적으로 존재한다. 이를 위해서 그는 세 개의 정의와 다섯 개의 공리와 두개의 정리를 남겼고, 2차 양상논리 시스템 $S_5$과 공리 ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$를 사용했다.

• Korean Journal of Mathematics
• /
• 제23권1호
• /
• pp.205-230
• /
• 2015

A class of periodic type boundary value problems of coupled impulsive fractional differential equations are proposed. Sufficient conditions are given for the existence of solutions of these problems. We allow the nonlinearities p(t)f(t, x, y) and q(t)g(t, x, y) in fractional differential equations to be singular at t = 0, 1 and be involved a sup-multiplicative-like function. So both f and g may be super-linear and sub-linear. The analysis relies on a well known fixed point theorem. An example is given to illustrate the efficiency of the theorems.

• 대한수학회지
• /
• 제47권1호
• /
• pp.135-163
• /
• 2010

Motivated by [Science in China (Ser. A Mathematics) 36 (2006), no. 7, 721?732], this article deals with the following discrete type BVP $\LARGE\left\{{{\;{\Delta}[{\phi}({\Delta}x(n))]\;+\;f(n,\;x(n\;+\;1),{\Delta}x(n),{\Delta}x(n + 1))\;=\;0,\;n\;{\in}\;[0,N],}}\\{\;{x(0)-{\sum}^m_{i=1}{\alpha}_ix(n_i) = A,}}\\{\;{x(N+2)-\;{\sum}^m_{i=1}{\beta}_ix(n_i)\;=\;B.}}\right.$ The sufficient conditions to guarantee the existence of at least three positive solutions of the above multi-point boundary value problem are established by using a new fixed point theorem obtained in [5]. An example is presented to illustrate the main result. It is the purpose of this paper to show that the approach to get positive solutions of BVPs by using multifixed-point theorems can be extended to treat nonhomogeneous BVPs. The emphasis is put on the nonlinear term f involved with the first order delta operator ${\Delta}$x(n).

• 대한수학회지
• /
• 제45권5호
• /
• pp.1323-1339
• /
• 2008

In this paper, a new class of $(h,{\eta})$-proximal for proper functionals in Hilbert spaces is introduced. The existence and Lip-schitz continuity of the $(h,{\eta})$-proximal mappings for proper functionals are proved. A class of generalized nonlinear quasi-variational-like inclusions in Hilbert spaces is introduced. A perturbed three-step iterative algorithm with errors for the generalized nonlinear quasi-variational-like inclusion is suggested. The existence and uniqueness theorems of solution for the generalized nonlinear quasi-variational-like inclusion are established. The convergence and stability results of iterative sequence generated by the perturbed three-step iterative algorithm with errors are discussed.

• Journal of applied mathematics & informatics
• /
• 제24권1_2호
• /
• pp.231-243
• /
• 2007

The existence of solutions of a class of two-point boundary value problems for higher order differential equations is studied. Sufficient conditions for the existence of at least one solution are established. It is of interest that the nonlinearity f in the equation depends on all lower derivatives, and the growth conditions imposed on f are allowed to be super-linear (the degrees of phases variables are allowed to be greater than 1 if it is a polynomial). The results are different from known ones since we don't apply the Green's functions of the corresponding problem and the method to obtain a priori bound of solutions are different enough from known ones. Examples that can not be solved by known results are given to illustrate our theorems.

• Journal of applied mathematics & informatics
• /
• 제23권1_2호
• /
• pp.167-182
• /
• 2007

The existence of solutions of the following multi-point boundary value problem $${x^{(n)}(t)=f(t,\;x(t),\;x'(t),{\cdots}, x^{(n-2)}(t))+r(t),\;0 is studied. Sufficient conditions for the existence of at least one solution of BVP(*) are established. It is of interest that the growth conditions imposed on f are allowed to be super-linear (the degrees of phases variables are allowed to be greater than 1 if it is a polynomial). The results are different from known ones since we don't apply the Green's functions of the corresponding problem and the method to obtain a priori bounds of solutions are different enough from known ones. Examples that can not be solved by known results are given to illustrate our theorems.

• 충청수학회지
• /
• 제24권4호
• /
• pp.639-663
• /
• 2011

Motivated by Agarwal and O'Regan ( Boundary value problems for general discrete systems on infinite intervals, Comput. Math. Appl. 33(1997)85-99), this article deals with the discrete type BVP of the infinite difference equations. The sufficient conditions to guarantee the existence of at least three positive solutions are established. An example is presented to illustrate the main results. It is the purpose of this paper to show that the approach to get positive solutions of BVPs by using multi-fixed-point theorems can be extended to treat BVPs for infinite difference equations. The strong Caratheodory (S-Caratheodory) function is defined in this paper.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제25권4호
• /
• pp.279-295
• /
• 2018

We study the existence and uniqueness of fixed point for isotone mappings of any number of arguments under Geraghty-type contraction on a complete metric space endowed with a partial order. As an application of our result we study the existence and uniqueness of the solution to a nonlinear Fredholm integral equation. Our results generalize, extend and unify several classical and very recent related results in the literature in metric spaces.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제30권3호
• /
• pp.309-336
• /
• 2023

We establish some common fixed point theorems satisfying weak ψ - ϕ contraction on partially ordered non-Archimedean fuzzy metric spaces. By using this results we show the existence of fixed point on the domain of words and apply this approach to deduce the existence of solution for some recurrence equations associated to the analysis of Quicksort algorithms and divide and Conquer algorithms, respectively and also give an example to show the usefulness of our hypothesis. Our results generalize, extend and improve several well-known results of the existing literature in fixed point theory.