/ / Article
Special Issue

## Fractional Modelling of Transport Problems in Fluid Mechanics and Heat-mass Transfer

View this Special Issue

Research Article | Open Access

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

N. D. Phuong, Ho Duy Binh, Ho Thi Kim Van, Le Dinh Long, "Existence for Time-Fractional Semilinear Diffusion Equation on the Sphere", Advances in Mathematical Physics, vol. 2021, Article ID 6370636, 8 pages, 2021. https://doi.org/10.1155/2021/6370636

# Existence for Time-Fractional Semilinear Diffusion Equation on the Sphere

Accepted28 May 2021
Published24 Jun 2021

#### Abstract

Fractional diffusion on the sphere plays a large role in the study of physical phenomena customs and meteorology and geophysics. In this paper, we examine two types of the sphere problem: the initial value problem and the end value problem. We are interested in focus on the solution existence in a local or global form. In order to overcome difficult evaluations when evaluating, we need some new techniques. The main analytical tool is the use of the Banach fixed point theorem.

#### 1. Introduction

When examining many physical and geophysical phenomena, one encounters problems directly or indirectly related to the sphere. To describe and explain quantitatively these models, they will be simulated with mathematical equations on the sphere. That is also the reason why the spherical equations have attracted many scientists interested and studied them. We can give some examples as follows. The weather forecasting models and the currents of groundwater in the ocean bed were simulated by equations on the sphere. For the readers’ convenience, we have given a number of typical works that have had a great influence on the development of the analysis of PDEs on the sphere.

The qualitative and numerical methods have been considered by many authors, such as Thong et al. [1, 2]. Cauchy problems for elliptical queries on spheres have been studied in [3, 4]. The Navier-Stokes equation on the 2D unit sphere has been considered by the recent paper [5]. Recently, pseudo-parabolic equation on the sphere has been studied in [6]. Intuitively, we realize that the root structure of the differential equation on the sphere can be complex, so studying the types of partial derivative equations on the sphere requires mathematical tools with many new techniques.

According to the development of the mathematics disciplines, especially calculus, in the last few decades, fractional analysis has been one of the most influential disciplines in mathematics. Most of the problems related to it often have applications in modeling real-world problems. Fraction analysis has many applications in mechanics, physics, engineering science, etc. We would like to share many published works on these issues such as Karapinar et al. [714] and Inc and his group [1519].

The main goal of this paper is to investigate the existence of the following equation with the initial Cauchy condition or the terminal value condition

where called the Riemann-Liouville fractional derivative of order , . Here, is a sphere on the . It is given by is the Riemann-Liouville fractional derivative of order given by

and if . The functions in (1) are defined later. The operator is called Laplace-Beltrami which is introduced in more detail in Section 2. To the best of our knowledge, there are not any results on problem (1). Our main goal in this paper is to study two goals. Our first goal is to consider Cauchy initial problem (1)–(2). We get the global solution in a suitable space. Our second goal is to consider the Cauchy terminal problem (1)–(2). In this case, we get only local solutions in space . For both of the above purposes, we use Banach fixed point theorem together with the evaluation of the sphere. In addition, to overcome the difficulties of proofing, we also cleverly make use of subtle evaluations of the Mittag-Leffler functions. The two main difficulties shown are as follows: (i)First, we deal with spherical harmonics on the sphere and require complex calculations(ii)Second, we must make sharp judgments for the Mittag-Leffler functions to achieve our goal

This paper is structured as follows. In Section 2, we introduce some preliminaries on Mittag-Leffler functions and their properties, Sobolev space on the sphere, and some other spaces. In Section 3, we focus on the initial value problem for problem (1)–(2). Section 4 provides the local well-posed result for terminal value problem (1)–(3).

#### 2. Preliminaries

Mittag-Leffler is a function represented as the following form

, for and . We call to mind the following lemmas (see for example [20]). We have the following lemma which is useful for next proof.

Lemma 1. Let . Then, the function satisfies the following property where and are the two positive constants.
Spherical harmonics are polynomials which satisfy (where is the Laplacian operator in ) and are restricted to the surface of the Euclidean sphere . The eigenvalues for in are and the eigenfunctions corresponding to are the spherical harmonics of order , i.e., The space of all spherical harmonics of degree on , denoted by , has an orthonormal basis where Let any function , so it is expressed by the expansion of spherical harmonics where is the surface measure of the unit sphere. The Sobolev space is defined by with the following norm The space is defined by with corresponding norm as follows

#### 3. Global Existence for Mild Solution to Initial Value Problem

Theorem 2. Assume that such that Let satisfies the condition where is a positive constant and and satisfy that Then, problem (1)–(2) has a global existence in for enough large.

Proof. As we know from [2] that is the Laplace-Beltrami on the sphere . Any function can be described by the terms of spherical harmonics where is the surface measure of the unit sphere. Let us first give an expression of the mild solution. So, we get that the following equality Set the following function Setting the function Noting that for any , and , the first term is bounded by which allows us to get that for any . This gives immediately that if then belongs to the space . Let us take two functions and belong to the space . Then, from (21), we have Using Parseval’s equality and Hölder inequality, one has Let us review that , we note that the following inequality for . Noting that we get that the following inequality Since the assumption and , we can deduce that Here, is beta function. Let us choose ; we see that satisfies . Combining (26) and (28), we provide that where we set Thanks to Lipschitz property of , we find that for any Due to the condition we know that the following estimate This implies immediately that The right hand side of (34) is independent of , so we can deduce that the following estimate By choose enough large such that , we find that is a contraction in . Based on the Banach fixed point theorem, we have immediately concluded that problem (1)–(2) has a global existence in .

#### 4. Terminal Value Problem: Local Existence

In this section, we devoted the following problem with terminal condition

where is defined later. The purpose of this section is to study the existence and uniqueness of solution of problem (1)–(3).

Theorem 3. Let us assume that such that Let the function . Let satisfies the condition for any . Then, problem (1)–(3) has a local existence in .

Proof. Let us assume that . Then, we have Set into the above equation, we get that This implies that After some simple calculation, we have that So, we get that the following equality In order to apply Banach fixed point theorem, we need to set the following function First, let us look at the expression as above and give an evaluation for for any . First, noting that we get that This implies immediately that where we have used Hölder inequality. Using (46), we have that Hence, we can deduce that Lipschitz property of as in (38) gives that Combining (49) and (50), we find that which allows us to get that The term to the right of above expression is independent of , so we get that By a similar argument as above, we deduce that where in the last inequality, we have used Hölder inequality. Let us repeat that(14)and , and thanks to that, we immediately have the following two estimations Combining (54) and (55), we arrive at The right hand side of (56) is independent of ; we have the following conclusion immediately From these two assertions (44), (53), and (57) and using the triangle inequality, we have the following affirmation By choose enough small, we can conclude that is a contraction. Next, we need to check that . Indeed, we get for any Using Banach fixed point theorem, we can conclude that has a fixed point in . Hence, we get the desired result. ☐

#### 5. Conclusion

In this paper, this is one of our first results about fractional diffusion on the sphere. In this article, we are interested in the existing existence in local form and global format with the main tool is the Banach fixed point theorem. In the future, we study the ill-posedness of this problem and show the convergent rate between the sought solution and the regularized solution.

#### Data Availability

No data were used to support this study.

#### Conflicts of Interest

The authors declare that they have no competing interests.

#### Authors’ Contributions

Both authors contributed equally and significantly in writing this paper. Four authors read and approved the final manuscript.

#### Acknowledgments

This research is supported by the Industrial University of Ho Chi Minh City (IUH) under grant number 66/HD-DHCN.

#### References

1. Q. T. L. Gia, N. H. Tuan, and T. Tran, “Solving the backward heat equation on the unit sphere,” ANZIAM Journal, vol. 56, pp. C262–C278, 2016. View at: Google Scholar
2. Q. T. Le Gia, “Approximation of parabolic PDEs on spheres using spherical basis functions,” Advances in Computational Mathematics, vol. 22, no. 4, pp. 377–397, 2005. View at: Publisher Site | Google Scholar
3. Q. T. Le Gia, “Galerkin approximation for elliptic PDEs on spheres,” Journal of Approximation Theory, vol. 130, no. 2, pp. 125–149, 2004. View at: Publisher Site | Google Scholar
4. Q. T. Le Gia, I. H. Sloan, and T. Tran, “Overlapping additive Schwarz preconditioners for elliptic PDEs on the unit sphere,” Mathematics of Computation, vol. 78, no. 265, pp. 79–101, 2009. View at: Publisher Site | Google Scholar
5. Z. Brzeźniak, B. Goldys, and Q. T. Le Gia, “Random attractors for the stochastic Navier-Stokes equations on the 2D unit sphere,” Journal of Mathematical Fluid Mechanics, vol. 20, no. 1, pp. 227–253, 2018. View at: Google Scholar
6. N. D. Phuong and N. H. Luc, “Note on a nonlocal pseudo-parabolic equation on the unit sphere,” Dynamic Systems and Applications, vol. 30, no. 2, pp. 295–304, 2019. View at: Google Scholar
7. R. S. Adiguzel, U. Aksoy, and E. Karapinar, “New anisotropic models from isotropic solutions,” Mathematical Methods in the Applied Sciences, vol. 29, no. 1, pp. 67–83, 2006. View at: Publisher Site | Google Scholar
8. H. Afshari and E. Karapnar, “A discussion on the existence of positive solutions of the boundary value problems via-Hilfer fractional derivative on b-metric spaces,” Advances in Difference Equations, vol. 2020, no. 1, 11 pages, 2020. View at: Google Scholar
9. H. Afshari, S. Kalantari, and E. Karapinar, “Solution of fractional differential equations via coupled fixed point,” Electronic Journal of Differential Equations, vol. 2015, no. 1, pp. 1–12, 2015. View at: Google Scholar
10. B. Alqahtani, H. Aydi, E. Karapnar, and V. Rakocevic, “A solution for Volterra fractional integral equations by hybrid contractions,” Mathematics, vol. 7, no. 8, p. 694, 2019. View at: Publisher Site | Google Scholar
11. E. Karapinar, A. Fulga, M. Rashid, L. Shahid, and H. Aydi, “Large contractions on quasi-metric spaces with an application to nonlinear fractional differential-equations,” Mathematics, vol. 7, no. 5, p. 444, 2019. View at: Publisher Site | Google Scholar
12. A. Salim, B. Benchohra, E. Karapinar, and J. E. Lazreg, “Existence and Ulam stability for impulsive generalized Hilfer-type fractional differential equations,” Advances in Difference Equations, vol. 2020, 21 pages, 2020. View at: Google Scholar
13. E. Karapinar, T. Abdeljawad, and F. Jarad, “Applying new fixed point theorems on fractional and ordinary differential equations,” Advances in Difference Equations, vol. 2019, 25 pages, 2019. View at: Google Scholar
14. A. Abdeljawad, R. P. Agarwal, E. Karapinar, and P. S. Kumari, “Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space,” Symmetry, vol. 11, no. 5, p. 686, 2019. View at: Publisher Site | Google Scholar
15. A. Yusuf, B. Acay, U. T. Mustapha, M. Inc, and D. Baleanu, “Mathematical modeling of pine wilt disease with Caputo fractional operator,” Chaos, Solitons and Fractals, vol. 143, p. 110569, 2021. View at: Google Scholar
16. B. Acay and M. Inc, “Fractional modeling of temperature dynamics of a building with singular kernels,” Chaos, Solitons and Fractals, vol. 142, p. 110482, 2021. View at: Publisher Site | Google Scholar
17. Z. Korpinar, M. Inc, and M. Bayram, “Theory and application for the system of fractional Burger equations with Mittag leffler kernel,” Applied Mathematics and Computation, vol. 367, p. 124781, 2020. View at: Publisher Site | Google Scholar
18. X. J. Yang, Y. Y. Feng, C. Cattani, and M. Inc, “Fundamental solutions of anomalous diffusion equations with the decay exponential kernel,” Mathematicsl Methods in the Applied Sciences, vol. 42, no. 11, pp. 4054–4060, 2019. View at: Publisher Site | Google Scholar
19. M. S. Hashemi, E. Darvishi, and M. Inc, “A geometric numerical integration method for solving the Volterra integro-differential equations,” International Journal of Computer Mathematics, vol. 95, no. 8, pp. 1654–1665, 2018. View at: Publisher Site | Google Scholar
20. I. Podlubny, Fractional Differential Equations, Academic Press, London, 1999.

Copyright © 2021 N. D. Phuong et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.