권호 표지

Journal of applied mathematics & informatics

한국전산응용수학회 (The Korean Society for Computational and Applied Mathematics)

  • 연3회간
  • /
  • 2734-1194(pISSN)
  • /
  • 2234-8417(eISSN)

과학기술표준분류

  • 수학 ＞ 응용수학

Aim & Scope

This is a broad based journal covering all branches of computational or applied mathematics with special encouragement to researchers in theoretical computer science and mathematical Informatics. Thus, the major areas, such as Numerical Analysis, Discrete Optimization, Linear and Nonlinear Programming, Theory of Computation(Computational Complexity, Automata and Formal Languages), Control Theory, Theory of Algorithms, Computational Logic, Applied Combinatorics (including graphs, codes, and designs), Coding Theory, Cryptographics, Big data, AI, Fuzzy Theory with applications, Differential Equations with applications, etc., are all included. A large variety of scientific problems also necessarily involve Algebra, Analysis, Geometry, Probability and Statistics, and so on. The journal welcomes research papers in all branches of mathematics which have some bearing on the application to scientific problems, including papers in the areas of Actuarial Science, Mathematical Biology, Mathematical Economics and Finance.

KSCI KCI SCOPUS

제27권5_6호

  1. Gu, Nengzhu;Zhao, Yan 981
    PDF
    This paper considers asset liability management problems when their deterministic equivalent formulations are general nonlinear optimization problems. The presented approach uses a nonmonotone trust region strategy for solving a sequence of unconstrained subproblems parameterized by a scalar parameter. The objective function of each unconstrained subproblem is an augmented penalty-barrier function that involves both primal and dual variables. Each subproblem is solved approximately. The algorithm does not restrict a monotonic decrease of the objective function value at each iteration. If a trial step is not accepted, the algorithm performs a non monotone line search to find a new acceptable point instead of resolving the subproblem. We prove that the algorithm globally converges to a point satisfying the second-order necessary optimality conditions.
  2. Priyadharshini, R.Mythili;Ramanujam, N.;Tamilselvan, A. 1001
    PDF
    In this paper, two hybrid difference schemes on the Shishkin mesh are constructed for solving a weakly coupled system of two singularly perturbed convection-diffusion second order ordinary differential equations with a small parameter multiplying the highest derivative. We prove that the schemes are almost second order convergence in the supremum norm independent of the diffusion parameter. Error bounds for the numerical solution and its derivative are established. Numerical results are provided to illustrate the theoretical results.
  3. Martha, S.C.;Bora, S.N.;Chakrabarti, A. 1017
    PDF
    The problem of interaction of surface water waves by small undulation at the bottom of a laterally unbounded sea is treated on the basis of linear water wave theory for both normal and oblique incidences. Perturbation analysis is employed to obtain the first order corrections to the reflection and transmission coefficients in terms of integrals involving the shape function c(x) representing the bottom undulation. Fourier transform method and residue theorem are applied to obtain these coefficients. As an example, a patch of sinusoidal ripples is considered in both the cases as the shape function. The principal conclusion is that the reflection coefficient is oscillatory in the ratio of twice the surface wave number to the wave number of the ripples. In particular, there is a Bragg resonance between the surface waves and the ripples, which is associated with high reflection of incident wave energy. The theoretical observations are validated computationally.
  4. Yu, Wen-Guang 1033
    PDF
    In this paper, we consider a m-type risk model with Markov-modulated premium rate. A integral equation for the conditional ruin probability is obtained. A recursive inequality for the ruin probability with the stationary initial distribution and the upper bound for the ruin probability with no initial reserve are given. A system of Laplace transforms of non-ruin probabilities, given the initial environment state, is established from a system of integro-differential equations. In the two-state model, explicit formulas for non-ruin probabilities are obtained when the initial reserve is zero or when both claim size distributions belong to the $K_n$-family, n $\in$ $N^+$ One example is given with claim sizes that have exponential distributions.
  5. Hong, Dug-Hun 1049
    PDF
    Continuous t-norm based shape preserving additions of LR-fuzzy intervals with unbounded support is studied. The case for bounded support, which was a conjecture suggested by Mesiar in 1997, was proved by the author in 2002 and 2008. In this paper, we give a necessary and sufficient conditions for a continuous t-norm T that induces DR-shape preserving addition of LR-fuzzy intervals with unbounded support. Some of the results can be deduced from the results given in the paper of Mesiar in 1997. But, we give direct proofs of the results.
  6. Liang, Mao-Lin;Dai, Li-Fang;Wang, San-Fu 1061
    PDF
    For real generalized reflexive matrices R, S, i.e., $R^T$ = R, $R^2$ = I, $S^T$ = S, $S^2$ = I, we say that real matrix X is (R,S)-symmetric, if RXS = X. In this paper, an iterative algorithm is proposed to solve the least-squares problem of matrix equation AXB = C with (R,S)-symmetric X. Furthermore, the optimal approximation solution to given matrix $X_0$ is also derived by this iterative algorithm. Finally, given numerical example and its convergent curve show that this method is feasible and efficient.
  7. Jianqi, Yang;Qingxian, Xiao;Haifeng, Yan 1073
    PDF
    This paper considers the problems of martingale measures and risk-minimizing hedging strategies in the market with restricted information. By constructing a general restricted information market model, the explicit relation of arbitrage and the minimal martingale measure between two different information markets are discussed. Also a link among all equivalent martingale measures under restricted information market is given. As an example of restricted information markets, this paper constitutes a jump-diffusion process model and presents a risk minimizing problem under different information. Through $It\hat{o}$ formula and projection results in Schweizer[13], the explicit optimal strategy for different market information are given.
  8. Yoon, Jung-Ho 1087
    PDF
    In this paper, we study approximation method from scattered data to the derivatives of a function f by a radial basis function $\phi$. For a given function f, we define a nearly interpolating function and discuss its accuracy. In particular, we are interested in using smooth functions $\phi$ which are (conditionally) positive definite. We estimate accuracy of approximation for the Sobolev space while the classical radial basis function interpolation applies to the so-called native space. We observe that our approximant provides spectral convergence order, as the density of the given data is getting smaller.
  9. Zhang, Shuwen;Tan, Dejun 1097
    PDF
    In this paper, three species stage-structured predator-prey model with time delayed and periodic constant impulsive perturbations of predator at fixed times is proposed and investigated. We show that the conditions for the global attractivity of prey(pest)-extinction periodic solution and permanence of the system. Our model exhibits a new modelling method which is applied to investigate impulsive delay differential equations. Our results give some reasonable suggestions for pest management.
  10. Zhao, Junfang;Ge, Weigao 1109
    PDF
    In this paper, we are concerned with the following four point boundary value problem with one-dimensional p-Laplacian, $\{({\phi}_p(x'(t)))'+h(t)f(t,x(t),|x'(t)|)=0$, 0< t<1, $x'(0)-{\delta}x(\xi)=0,\;x'(1)+{\delta}x(\eta)=0$, where $\phi_p$ (s) = |s|$^{p-2}$, p > $\delta$ > 0, 1 > $\eta$ > $\xi$ > 0, ${\xi}+{\eta}$ = 1. By using a fixed point theorem in a cone, we obtain the existence of at least three symmetric positive solutions. The interesting point is that the boundary condition is a new Sturm-Liouville-like boundary condition, which has rarely been treated up to now.
  11. Wu, Mingzhu;Yang, Zuodong 1119
    PDF
    In this paper, we consider the quasilinear elliptic system $\\div(|{\nabla}u|^{p-2}{\nabla}u)=u(a_1u^{m1}+b_1(x)u^m+{\delta}_1v^n),\;\\div(|{\nabla}_v|^{q-2}{\nabla}v)=v(a_2v^{r1}+b_2(x)v^r+{\delta}_2u^s)$, in $\Omega$ where m > $m_1$ > p-2, r > $r_1$ > q-, p, q $\geq$ 2, and ${\Omega}{\subset}R^N$ is a smooth bounded domain. By constructing certain super and subsolutions, we show the existence of positive blow-up solutions and give a global estimate.
  12. Abazari, Reza 1133
    PDF
    In this work, we successfully extended dimensional differential transform method (DTM), by presenting and proving some new theorems, to solve the non-linear matrix differential Riccati equations(first and second kind of Riccati matrix differential equations). This technique provides a sequence of matrix functions which converges to the exact solution of the problem. Examples show that the method is effective.
  13. Ahn, Young-Chel;Kim, Hae-Won;Park, Dong-Gun 1145
    PDF
    In this paper, we consider the existence, uniqueness of the solutions and controllability for the neutral functional integro-differential equations with delay terms by Sadovskii's fixed point theorem.
  14. Liu, Hongxia;Liu, Guizhen 1157
    PDF
    Let G be a graph with vertex set V(G) and let f be a nonnegative integer-valued function defined on V(G). A spanning subgraph F of G is called a fractional f-factor if $d^h_G$(x)=f(x) for all x $\in$ for all x $\in$ V (G), where $d^h_G$ (x) = ${\Sigma}_{e{\in}E_x}$ h(e) is the fractional degree of x $\in$ V(F) with $E_x$ = {e : e = xy $\in$ E|G|}. In this paper it is proved that if ${\delta}(G){\geq}{\frac{b^2(k-1)}{a}},\;n>\frac{(a+b)(k(a+b)-2)}{a}$ and $|N_G(x_1){\cup}N_G(x_2){\cup}{\cdots}{\cup}N_G(x_k)|{\geq}\frac{bn}{a+b}$ for any independent subset ${x_1,x_2,...,x_k}$ of V(G), then G has a fractional f-factor. Where k $\geq$ 2 be a positive integer not larger than the independence number of G, a and b are integers such that 1 $\leq$ a $\leq$ f(x) $\leq$ b for every x $\in$ V(G). Furthermore, we show that the result is best possible in some sense.
  15. Zhang, Cun-Hua 1165
    PDF
    This paper is concerned with the interval oscillation of the second order nonlinear ordinary differential equation (r(t)|y'(t)|$^{{\alpha}-1}$ y'(t))'+p(t)|y'(t)|$^{{\alpha}-1}$ y'(t)+q(t)f(y(t))g(y'(t))=0. By constructing ageneralized Riccati transformation and using the method of averaging techniques, we establish some interval oscillation criteria when f(y) is not differetiable but satisfies the condition $\frac{f(y)}{|y|^{{\alpha}-1}y}$ ${\geq}{\mu}_0$ > 0 for $y{\neq}0$.
  16. Najati, Abbas;Moradlou, Fridoun 1177
    PDF
    In this paper we establish the general solution of the functional equation f(2x+y)+f(x-2y)=2f(x+y)+2f(x-y)+f(-x)+f(-y) and investigate the Hyers-Ulam-Rassias stability of this equation in quasi-Banach spaces. The concept of Hyers-Ulam-Rassias stability originated from Th. M. Rassias' stability theorem that appeared in his paper: On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978), 297-300.
  17. Noor, Muhammad Aslam;Waseem, Muhammad 1195
    PDF
    In this paper, we point out some errors in a recent paper by Cordero and Torregrosa [7]. We prove the convergence of the variants of Newton's method for solving the system of nonlinear equations using two different approaches. Several examples are given, which illustrate the cubic convergence of these methods and verify the theoretical results.
  18. Zhang, Youfeng;Zhang, Zhiyu;Zhang, Fengqin 1211
    PDF
    In this paper, we consider the multipoint boundary value problem for the one-dimensional p-Laplacian $({\phi}_p(u'))'$(t)+q(t)f(t,u(t),u'(t))=0, t $\in$ (0, 1), subject to the boundary conditions: $u(0)=\sum\limits_{i=1}^{n-2}{\alpha}_iu({\xi}_i),\;u(1)=\sum\limits_{i=1}^{n-2}{\beta}_iu({\xi}_i)$ where $\phi_p$(s) = $|s|^{n-2}s$, p > 1, $\xi_i$ $\in$ (0, 1) with 0 < $\xi_1$ < $\xi_2$ < $\cdots$ < $\xi{n-2}$ < 1 and ${\alpha}_i,\beta_i{\in}[0,1)$, 0< $\sum{\array}{{n=2}\\{i=1}}{\alpha}_i,\sum{\array}{{n=2}\\{i=1}}{\beta}_i$<1. Using a fixed point theorem due to Bai and Ge, we study the existence of at least three positive solutions to the above boundary value problem. The important point is that the nonlinear term f explicitly involves a first-order derivative.
  19. Ohm, M.R.;Shin, J.Y.;Lee, H.Y. 1221
    PDF
    In this paper, we construct fully discrete discontinuous Galerkin approximations to the solution of linear Sobolev equations. We apply a symmetric interior penalty method which has an interior penalty term to compensate the continuity on the edges of interelements. The optimal convergence of the fully discrete discontinuous Galerkin approximations in ${\ell}^{\infty}(L^2)$ norm is proved.
  20. Chang, Y.K.;Anguraj, A.;Karthikeyan, K. 1235
    PDF
    In this paper, we prove existence results for first order impulsive evolution differential inclusions with nonlocal condition by using a fixed point theorem for condensing multi-valued maps. An example is also given to illustrate the obtained results.
  21. Choo, S.M. 1247
    PDF
    Finite difference schemes are considered for a nonlinear $Ca^{2+}$ diffusion equations with stationary and mobile buffers. The scheme inherits mass conservation as for the classical solution. Stability and $L^{\infty}$ error estimates of approximate solutions for the corresponding schemes are obtained. using the extended Lax-Richtmyer equivalence theorem.
  22. Zhang, Huixing;Liu, Wenbin;Zhang, Jianjun;Chen, Taiyong 1257
    PDF
    In this paper, we study the existence of solutions for three-point boundary value problem at resonance by using the continuation theorem of Mawhin. Some known results are improved.
  23. Noor, Muhammad Aslam;Noor, Khalida Inayat;Mohyud-Din, Syed Tauseef;Shaikh, Noor Ahmed 1265
    PDF
    In this paper, we apply a new decomposition method for solving initial and boundary value problems, which is due to Noor and Noor [18]. The analytical results are calculated in terms of convergent series with easily computable components. The diagonal Pade approximants are applied to make the work more concise and for the better understanding of the solution behavior. The proposed technique is tested on boundary layer problem; Thomas-Fermi, Blasius and sixth-order singularly perturbed Boussinesq equations. Numerical results reveal the complete reliability of the suggested scheme. This new decomposition method can be viewed as an alternative of Adomian decomposition method and homotopy perturbation methods.
  24. Tamilselvan, A.;Ramanujam, N. 1279
    PDF
    In this paper, a numerical method that uses standard finite difference scheme defined on Shishkin mesh for a weakly coupled system of two singularly perturbed convection-diffusion second order ordinary differential equations with a discontinuous source term is presented. An error estimate is derived to show that the method is uniformly convergent with respect to the singular perturbation parameter. Numerical results are presented to illustrate the theoretical results.
  25. Jun, Young-Bae;Lee, Kyoung-Ja;Ozturk, Mehmet Ali 1293
    PDF
    Molodtsov [D. Molodtsov, Soft set theory First results, Comput. Math. Appl. 37 (1999) 19-31] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to the theory of BCC-algebras. The notion of (trivial, whole) soft BCC-algebras and soft BCC-subalgebras are introduced, and several examples are provided. Relations between a fuzzy subalgebra and a soft BCC-algebra are given, and the characterization of soft BCC-algebras is established.
  26. Jung, Hwan-Ok 1307
    PDF
    An infinite locally finite plane graph is an LV-graph if it is 3-connected and VAP-free. In this paper, as a preparatory work for solving the problem concerning the existence of a spanning 3-tree in an LV-graph, we investigate the existence of a spanning 3-forest in a bridge of type 0,1 or 2 of a tight semi ring in an LV-graph satisfying certain conditions.
  27. Liu, Qingbing 1319
    PDF
    In [2] A.Hadjidimos proposed the generalized accelerated over-relaxation (GAOR) methods which generalize the basic iterative method for the solution of linear systems. In this paper we consider the convergence of the two parallel accelerated generalized AOR iterative methods and obtain some convergence theorems for the case when the coefficient matrix A is a block diagonally dominant matrix or a generalized block diagonally dominant matrix.
  28. Choi, Un-Sook;Cho, Sung-Jin 1331
    PDF
    In this paper, we analyze the behavior of the state transition of nongroup CA with a single attractor over GF($2^p$)(p > 1), and propose the algorithm for the construction of the state transition diagram of a Single Attractor CA(SACA) over GF($2^p$) which is very different from the construction algorithm for the state transition diagram of GF(2) SACA.
  29. Noor, Muhammad Aslam;Mohyud-Din, Syed Tauseef 1343
    PDF
    In this paper, we implement a relatively new analytical technique by combining the traditional variational iteration method and the decomposition method which is called as the variational decomposition method (VDM) for solving the sixth-order boundary value problems. The proposed technique is in fact the modification of variatioanal iteration method by coupling it with the so-called Adomian's polynomials. The analytical results of the equations have been obtained in terms of convergent series with easily computable components. Comparisons are made to verify the reliability and accuracy of the proposed algorithm. Several examples are given to check the efficiency of the proposed algorithm. We have also considered an example where the VDM is not reliable.
  30. Li, Jiemei 1361
    PDF
    In this paper, we consider singular fourth-order two point boundary value problems $u^{(4)}$ (t) = f(t, u), 0 < t < 1, u(0) = u(l) = u'(0) = u'(l) = 0, where $f:(0,1){\times}(0,+{\infty}){\rightarrow}[0,+{\infty})$ may be singular at t = 0, 1 and u = 0. By using the upper and lower solution method, we obtained the existence of positive solutions to the above boundary value problems. An example is also given to illustrate the obtained theorems.
  31. Lee, Byung-Soo;Khan, Mohd. Firdosh;Salahuddin, Salahuddin 1371
    PDF
    In this paper, we introduce a relaxed hybrid-type$\eta$-f-${\alpha}$-pseudomo-notonicity. By using the KKM-technique, we establish some existence results for set-valued variational-like inequalities with $\eta-f-\alpha$-pseudomonotone, relaxed $\eta-f-\alpha$-pseudomonotone, Fan-KKM Theorem.
  32. Husain, I.;Ahmed, A.;Masoodi, Mashoob 1381
    PDF
    Mixed type second order dual to the non-differentiable problem containing support functions is formulated and duality theorems are proved under generalized second order convexity conditions. It is pointed out that the mixed type duality results already reported in the literature are the special cases of our results.
  33. Ryoo, Cheon-Seoung 1397
    PDF
    It is the aim of this paper to consider the reflection symmetries of the Genocchi polynomials $G^*_n(x)$. We display the shape of Genocchi polynomials $G^*_n(x)$. Finally, we investigate the roots of the Genocchi poly-nomials $G^*_n(x)$.
  34. Pirzada, S.;Samee, U. 1405
    PDF
    A tripartite $\gamma$-digraph is an orientation of a tripartite multigraph that is without loops and contains at most $\gamma$ edges between any pair of vertices from distinct parts. In this paper, we obtain necessary and sufficient conditions for sequences of non-negative integers in non-decreasing order to be the sequences of numbers, called marks (or $\gamma$-scores), attached to the vertices of a tripartite $\gamma$-digraph.
  35. Kar, T.K.;Chattopadhyay, S.K.;Pati, Chandan Kr. 1411
    PDF
    We propose a model based on Lotka-Volterra dynamics with two competing spices which are affected not only by harvesting but also by the presence of a predator, the third species. Hyperbolic and linear response functions are considered. We derive the conditions for global stability of the system using Lyapunov function. The optimal harvest policy is studied and the solution is derived in the interior equilibrium case using Pontryagin's maximal principle. Finally, some numerical examples are discussed. The nature of variations in the two prey species and one predator species is studied extensively through graphical illustrations.
  36. Kim, Myung-Geun 1429
    PDF
    The likelihood distance for the joint distribution of two multivariate normal distributions with common covariance matrix is explicitly derived. It is useful for identifying outliers which do not follow the joint multivariate normal distribution with common covariance matrix. The likelihood distance derived here is a good ground for the use of a generalized Wilks statistic in influence analysis of two multivariate normal data.
  37. Peng, Congming;Yang, Zuodong 1435
    PDF
    In this paper we investigate the blow up properties of the positive solutions to a semi linear parabolic system with coupled nonlocal sources $u_t={\Delta}u+k_1{\int}_{\Omega}u^{\alpha}(y,t)v^p(y,t)dy,\;v_t={\Delta}_v+k_2{\int}_{\Omega}u^q(y,t)v^{\beta}(y,t)dy$ with non local Dirichlet boundary conditions. We establish the conditions for global and non-global solutions respectively and obtain its blow up set.
  38. Shabir, Muhammad;Khan, A. 1447
    PDF
    In this paper we define intuitionistic fuzzy interior ideals in ordered semigroups. We prove that in regular(resp. intra-regular and semisimple) ordered semigroups the concepts of intuitionistic fuzzy interior ideals and intuitionistic fuzzy ideals coincide. We prove that an ordered semi group is intuitionistic fuzzy simple if and only if every intutionistic fuzzy interior ideal is a constant function. We characterize intra-regular ordered semi groups in terms of interior (resp. intuitionistic fuzzy interior) ideals.
  39. Hong, Dug-Hun 1459
    PDF
    Recently, Zhao et.al [European Journal of Operational Research 169 (2006) 189-201] discussed a random fuzzy renewal process based on random fuzzy theory. They considered the rate of the random fuzzy renewal process and presented a random fuzzy elementary renewal theorem. They also established Blackwell's theorem in random fuzzy sense. But all these results are invalid. We give a counter example in this note.
  40. Gao, Yongxin;Wang, Renfei 1465
    PDF
    In This paper we shall study the existence of solutions of nonlinear two point boundary value problems for nonlinear 2nth-order differential equation $y^{(2n)}=f(t,y,y',{\cdots},y^{(2n-1)})$ with the boundary conditions $g_0(y(a),y'(a),{\cdots},y^{2n-3}(a))=0,g_1(y^{(2n-2)}(a),y^{(2n-1)}(a))=0$, $h_o(y(c),y'(c))=0,h_i(y^{(i)}(c),y^{(i+1)}(c))=0(i=2,3,{\cdots},2n-2)$.
  41. Chung, Bo-Hyun 1473
    PDF
    We introduce the resistant length and examine its properties. We also consider the geometric applications of resistant length to the boundary behavior of analytic functions, conformal mappings and derive the theorem in connection with the fundamental sequences, purely geometric problems. The method of resistant length leads a simple proofs of theorems. So it shows us the usefulness of the method of resistant length.
  42. Xu, Wenyan;Gao, You 1481
    PDF
    A construction of Cartesian authentication codes over unitary geometry is presented and its size parameters are computed. Assuming that the encoding rules are chosen according to a uniform probability distribution, the probabilities of success for different types of attacks are also computed.
  43. Lee, Woo 1489
    PDF
    Nagata[3] and Higman[1] showed that nil-algebra of the nilindex n is nilpotent of finite index. In this paper we show that the bounded degree of the nilpotency is less than or equal to $2^n-1$. Our proof needs only some elementary fact about Vandermonde determinant, which is much simpler than Nagata's or Higman's proof.
  44. Yao, Hongmei;Sun, Yanling;Xu, Chuang;Bu, Changjiang 1493
    PDF
    Let $A_1$ and $A_2$ be nonzero complex idempotent and tripotent matrix, respectively. Denote a linear combination of the two matrices by A = $c_1A_1$ + $c_2A_2$, where $c_1,\;c_2$ are nonzero complex scalars. In this paper, under an assumption of $A_1A_2$ = $A_2A_1$, we characterize all situations in which the linear combination is tripotent. A statistical interpretation of this tripotent problem is also pointed out. Moreover, In [2], Baksalary characterized all situations in which the above linear combination is idem-potent by using the property of decomposition of a tripotent matrix, i.e. if $A_2$ is tripotent, then $A_2$ = $B_1-B_2$, where $B^2_i=B_i$, i = 1, 2 and $B_1B_2=B_2B_1=0$. While in this paper, by utilizing a method different from the one used by Baksalary in [2], we prove the theorem 1 in [2] again.