Complexity

Complexity / 2021 / Article

Research Article | Open Access

Volume 2021 |Article ID 6650413 | https://doi.org/10.1155/2021/6650413

Safa Al-Refai, Muhammed I. Syam, Mohammed Al-Refai, "Optimization of One-Step Block Method for Solving Second-Order Fuzzy Initial Value Problems", Complexity, vol. 2021, Article ID 6650413, 25 pages, 2021. https://doi.org/10.1155/2021/6650413

Optimization of One-Step Block Method for Solving Second-Order Fuzzy Initial Value Problems

Academic Editor: Ning Cai
Received24 Dec 2020
Revised29 Mar 2021
Accepted09 Apr 2021
Published29 Apr 2021

Abstract

In this article, we present a one-step hybrid block method for approximating the solutions of second-order fuzzy initial value problems. We prove the stability and convergence results of the method and present several examples to illustrate the efficiency and accuracy of the proposed method. The numerical results are compared with the existing ones in the literature.

1. Introduction

The second-order initial value problems (2IVPs) of the formwhere is a continuous function on , are interesting problems and they have many applications, particularly in engineering, physics, biology, and chemistry fields. In general, it is very difficult to find the exact solution to such problems especially when is a nonlinear function of , and . Therefore, numerical methods can be used to find their approximate solutions. There are several numerical methods to solve these problems such as the one-step block method [1, 2], Taylor series method [3], Adomian decomposition method [4], fourth-order and Butcher’s fifth-order Runge–Kutta methods [5], and the two-step hybrid block method [6]. In this paper, we are interested to study the 2IVPs of a fuzzy type. These problems consist of fuzzy differential equations (FDEs) with fuzzy initial conditions. The fuzzy initial value problems (FIVPs) are often incomplete or ambiguous. For instance, initial conditions or the values of fuzzy differential equations may not be known accurately. In this situation, FDEs appear as a natural way to model dynamical systems under possibilities of uncertainty. To solve these equations, we define the derivative by one of three different approaches (see [7]). The first approach is based on the Hukuhara derivative instituted by Puri-Ralescu in 1983. The second approach is known as Zadeh’s extension principle, and the last approach is strongly generalized differentiability which is presented by Bede and Gal in 2005. In this study, we focus on the Hukuhara derivative in order to define our differential equations. The FIVPs have several applications that have been highlighted in many research areas, such as civil engineering, physics, control theory, economics, population models, and modeling hydraulic [810]. Most problems in physics and engineering are modeled by initial value problems (IVPs). They have many applications such as Bagley–Torvik problem [11], Lane–Emden second-order equations [12], and delay IVP [13]. Since the exact solution for such problems is difficult to compute, several researchers use numerical methods to deal with this task. For example, Hossain et al. [5] used the Runge–Kutta method of order four, Ramos et al. [6] used the hybrid block method (HBM), and Jameel et al [14] used the homotopy analysis method (HAM) and the optimum homotopy analysis method (OHAM).

Second-order IVPs play an important role in several applications. Rufai et al. [12] solved the Lane–Emden second-order singular differential equations using three off-step points. They did not implement the second-order IVP. The block system they got is different from our block method. They combined the HBM with an appropriate algorithm which is applied to the first subinterval to circumvent the singular behavior at the left endpoint of the integration interval which made his accuracy depend on both methods. Also, they integrated part of the equation to deal with the singularity in his problem.

We consider the fuzzy second-order initial value problems of the formwhere and are fuzzy numbers and is the fuzzy function. Since the function and initial conditions are fuzzy, we apply the -level set operations to obtain the components of the problem which are as follows:

We then solve the above min-max problems directly. These kinds of problems might be difficult to solve directly and obtaining exact solutions is not always possible. Therefore, researchers were interested in obtaining numerical solutions by using different methods, such as the decomposition method [15], the homotopy analysis method [14, 16], the Runge–Kutta method [17, 18], the least-square method [19], the interactive and standard arithmetic [2022], the Fréchet derivative method [23], and solving delay fuzzy problems [24]. For more references, see [25, 26, 3336].

The decomposition method is investigated in many papers (see [15]). However, it does not work for all types of problems (see [15]). We use the direct method (min-max problem) to find the solution for the problems in [15], and it works for some of them. However, the direct method is sometimes very complicated and it may not be possible to apply it. Thus, we proposed a new method to find numerical solutions for these problems. Our method depends on the one-step hybrid block method. In this method, we try to optimize the local truncation errors in order to find the best choice of the step point. The main advantage of the proposed method is that it is self-starter where we do not need to use other methods to generate more initial starting conditions.

The HBM is easy to use and it gives accurate results. We implement it for the second-order fuzzy initial value problems and it shows that the method works accurately. We use only one off-step method and it gives better results than other methods such as HAM and OHAM. This will open a new door for the researchers to use this approach to solve such problems. Its computational cost is small compared to other methods in the literature review. The order of the proposed method is 3 and the method is stable and convergent.

The current paper is organized as follows. In Section 2, preliminaries of fuzzy concepts and theorems will be presented. In Sections 3 and 4, we present the optimized one-step hybrid block method and some theoretical results. In Section 5, we apply the proposed method to the fuzzy initial value problems of second order, and we present some numerical results in Section 6 to show the efficiency of the proposed method. Finally, in Section 7, the results will be discussed and some conclusions will be presented.

2. Preliminaries

In this section, some preliminaries will be presented to be used in this paper.

Definition 1. (see [27]). A fuzzy number is a function that satisfies the following:(1)There exists such that (2) for all and (3)The set is a closed subset of for all (4)The closure of is a compact setThe set of all fuzzy numbers is denoted by . If and , the -level set is given byand the -level set is given byIt is easy to see that we can write , where it holds that(1) if (2)If the sequence is an increasing sequence in converging to , then (3)For any ,

Example 1. Let be a triangular fuzzy number. Then,and . The graph of the symmetric fuzzy triangle is given in Figure 1.

Definition 2. (see [27]). Let , , and where and . Then,(1)(2)(3)(4)If there exists such that , then is the -difference of and (5)The Hausdorff matrix is defined byand is a matrix space.

Definition 3. (see [7]). The fuzzy-valued function is a function , where be a real vector space and be the set of fuzzy numbers. The function can be written as for all and any . The functions and are called -cut functions of the fuzzy-valued function .

Definition 4. (see [7]). Let be a fuzzy function and . If there exists such thatthen is called Hukuhara differentiable at and the Hukuhara derivative of at is .

Theorem 1. (see [28]). Let and be differentiable at . Let be a fuzzy function defined by . If , then is Hukuhara differentiable at and the Hukuhara derivative of at is .

Example 2. Let and be a fuzzy function defined by . Then, . If , thenUsing Theorem 1, we have is Hukuhara differentiable on and the Hukuhara derivative of is . For , but close to 0, and , we havewhere . Sincethen does not exist. Thus, is not Hukuhara differentiable on . For , but close to , and , we havewhich implies that is not Hukuhara differentiable at .

3. One-Step Hybrid Block Method with One Off-Step Point

In this section, we drive a numerical method based on the one-step hybrid block method with one off-step point (HBM1), with , to solve the following differential equation of the form

To derive HBM1, we assume that where is the step size. Since we are planning to use one-step hybrid method with one off-step point, we need to interpolate the solution and its first derivative at and to collocate the IVP at and . Then, we solve these equations for the coefficients of the approximate solution. Thus, we have five equations. To able to get a unique solution, we assume that the solution has five coefficients. For this reason, we approximate the solution by polynomial of degree four. If we increase the order of the polynomial, we should take more off-step points. We approximate the solution of problem (13)–(15) by a polynomial of degree 4 as follows:and its first derivative byand its second derivative by

Interpolate equations (16) and (17) at the point and collocate equation (18) at the points , and to get the following system:where , , and . Solving system (19) after substituting to getwhere , and are functions of . We then evaluate the approximation of and at and 1, to getwhere , and

In the literature review, researchers used a uniform partition to the interval [0, 1] which makes the method of order 2. However, in this paper, we will choose the partition which makes the method have the largest possible order. To do that, we leave as a parameter and we choose it so that the proposed method has the largest possible order. To maximize the order of the implicit block method (21) when , we minimize the local truncation errors in the formula for ,

To maximize the order, we solve the following equation for where

Hence,and the local truncation errors for , and are

Then the order of HBM1 is and the error constant is . Therefore, the HBM1 is given as follows:

4. Analysis of the Proposed Method

In this section, we study the main properties of the proposed method such as consistency, stability, and convergence. Let us write system (28) in the form

Then, we can rewrite system (29) in the matrix form aswhere

Following Fatunla’s approach [29], the characteristic equation of HBM1 iswhich implies that and . Then, the multiplicity of the nonzero roots of the characteristic equation is 2 which does not exceed the order of the differential equation. Hence, it is zero stable.

From Section 3, we see that the local truncation error of system (28) iswhere and .

Thus, system (28) has order . For simplicity, we write the order as 3. Since the order of system (28) is , then it is consistent. The consistency and the zero stability of system (28) imply that it is convergent [11, 13].

To find the region of absolute stability, we consider the following test problem where , then

Substitute in the following matrix form:whereto get

Let , thenwhere . The eigenvalue of is

Let by where . The region of absolute stability will be all such that . This region is given in Figure 2 and the interval of stability is .

5. Fuzzy Initial Value Problem

In this section, we will apply HBM1 on the fuzzy initial value problem. We will present two new theorems. Consider the following fuzzy initial value problem

Let the -level of the solution and the function be given by

Following the technique described in previous sections, the fuzzy HBM1 is given bywhere

Theorem 2. Let be increasing function in and . Then the following are true.(i)If and , then(ii)If and , then(iii)If and , then(iv)If and , then

The proof of the theorem follows straight forward. We can generate the functions for and for the decreasing case in similar way as in Theorem 2.

Theorem 3. Let be a fuzzy number, be a real number and . Then the fuzzy system of HBM1 becomes(1)If and , thenfor and , where(2)If and , thenwhere(3)If and , thenwhere