Some generalizations for the Schwarz-Pick lemma and boundary Schwarz lemma

Fangming Cai; Jie Rui; Deguang Zhong; Fangming Cai; Jie Rui; Deguang Zhong

doi:10.3934/math.20231586

AIMS Mathematics

2023, Volume 8, Issue 12: 30992-31007. doi: 10.3934/math.20231586

Previous Article Next Article

Research article

Some generalizations for the Schwarz-Pick lemma and boundary Schwarz lemma

1.
School of Mathematics, Hunan University, Changsha 410082, China
2.
Department of Applied Statistics, Guangdong University of Finance, Guangzhou 510521, China
3.
Institute of Applied Mathematics, Shenzhen Polytechnic University, Shenzhen 518055, China

Received: 19 August 2023 Revised: 27 October 2023 Accepted: 31 October 2023 Published: 20 November 2023
MSC : 30C80, 31A30

In this paper, we first obtain a Schwarz-Pick type lemma for the holomorphic self-mapping of the unit disk with respect to the $q$ -distance. Second, we establish the general Schwarz-Pick lemma for the self-mapping of the unit disk satisfying the Poisson differential inequality. As an application, it is proven that this mapping is Lipschitz continuous with respect to the $q$ -distance under certain conditions. Moreover, the corresponding explicit Lipschitz constant is given. Third, it is proved that there exists a self-mapping of the unit disk satisfying the Poisson differential inequality, which does not meet conditions of the boundary Schwarz lemma. Finally, with some additional conditions, a boundary Schwarz lemma for the self-mapping of the unit disk satisfying the Poisson differential inequality is established.

Keywords:

Citation: Fangming Cai, Jie Rui, Deguang Zhong. Some generalizations for the Schwarz-Pick lemma and boundary Schwarz lemma[J]. AIMS Mathematics, 2023, 8(12): 30992-31007. doi: 10.3934/math.20231586

Related Papers:

[1]	Myeongmin Kang, Miyoun Jung . Nonconvex fractional order total variation based image denoising model under mixed stripe and Gaussian noise. AIMS Mathematics, 2024, 9(8): 21094-21124. doi: 10.3934/math.20241025
[2]	Donghong Zhao, Ruiying Huang, Li Feng . Proximity algorithms for the ${\mathit{L}}^{1}{\mathit{L}}^{2}/{\mathit{T}\mathit{V}}^{\mathit{\alpha }}$ image denoising model. AIMS Mathematics, 2024, 9(6): 16643-16665. doi: 10.3934/math.2024807
[3]	Abdelilah Hakim, Anouar Ben-Loghfyry . A total variable-order variation model for image denoising. AIMS Mathematics, 2019, 4(5): 1320-1335. doi: 10.3934/math.2019.5.1320
[4]	Lufeng Bai . A new approach for Cauchy noise removal. AIMS Mathematics, 2021, 6(9): 10296-10312. doi: 10.3934/math.2021596
[5]	Miyoun Jung . Group sparse representation and saturation-value total variation based color image denoising under multiplicative noise. AIMS Mathematics, 2024, 9(3): 6013-6040. doi: 10.3934/math.2024294
[6]	Yating Zhu, Zixun Zeng, Zhong Chen, Deqiang Zhou, Jian Zou . Performance analysis of the convex non-convex total variation denoising model. AIMS Mathematics, 2024, 9(10): 29031-29052. doi: 10.3934/math.20241409
[7]	Ming Shi, Ibrar Hussain . Improved region-based active contour segmentation through divergence and convolution techniques. AIMS Mathematics, 2025, 10(1): 654-671. doi: 10.3934/math.2025029
[8]	Mingying Pan, Xiangchu Feng . Application of Fisher information to CMOS noise estimation. AIMS Mathematics, 2023, 8(6): 14522-14540. doi: 10.3934/math.2023742
[9]	Yuzi Jin, Soobin Kwak, Seokjun Ham, Junseok Kim . A fast and efficient numerical algorithm for image segmentation and denoising. AIMS Mathematics, 2024, 9(2): 5015-5027. doi: 10.3934/math.2024243
[10]	Misbah Iram Bloach, Muhammad Aslam Noor . Perturbed mixed variational-like inequalities. AIMS Mathematics, 2020, 5(3): 2153-2162. doi: 10.3934/math.2020143

Abstract

1. Introduction

Fractional calculus (FC) is a study of derivatives and integration of arbitrary order. At the initial phases of its development, it was considered an abstract mathematical idea with nearly no applications. But, now the situation is entirely different with FC and is considered to be the most useful and important topic among the scientific community. The various important phenomena of science and engineering have been well described with the use of fractional derivatives, including, partial bed-load transport, diffusion model, dynamics of earthquakes, viscoelastic systems, biological systems, chaos, and wave propagation, (see ^{[1,2,3,7,8,9,10,41,42]}) and references therein. The nonlocal property of the fractional operators makes them more efficient for modeling the various problems of physics, fluid dynamics and their related disciplines, (see ^{[17,18,43,44]}).

Most of the classical (integer order) and FDEs are not possible to solve analytically, therefore, some reliable numerical methods and semi-analytical methods have been developed to solve them. Some of them are presented as follows: In ^[34], the authors extended the study of ^[45] to solve numerically the Caputo type tempered fractional integro-differential equations. In ^[36], the authors solved the various kind of Riemann problems by developing a mixed-method, namely, the characteristic Adomian decomposition method (CADM) which is the improved form of ADM. In ^[38], the authors constructed the power series solution of the time-fractional Majda-Biello system by applying the Lie group analysis. For more information on Lie group analysis and its applications, (see ^[35]). In ^[39], the authors investigated the behaviour of cavitation models together with thermodynamic effects by developing a compressible, two-phase, one-fluid Navier-Stokes solver. In ^[40], the authors presented the analytical and computational study of the drift-flux two-phase flow model. The analytical solution of the model is based on the analytical solution of the Riemann problem which consists of two different nonlinear algebraic equations in velocity equilibrium and pressure nonequilibrium between the two-phase systems. The numerical solution is obtained by using the finite volume methods. In ^[37], the authors implemented a void ratio transport-equation model in a one-fluid two-phase compressible software by proposing a various numerical techniques which are based on a finite volume approach, including, HLLC, Rusanov, VF Roe, Jameson-Schmidt-Turkel and AUSM. For more detail on transport-equation and its applications, (see ^[33]). In ^[43], the authors proposed the fully discretized finite element approximations to solve the time-fractional diffusion equations of variable-order.

Orthogonal polynomials coupled with operational matrices of fractional derivatives operators defined with singular or nonsingular kernels have played a significant role in the development of the spectral methods. The most commonly used methods are Spectral tau methods, and Spectral collocation methods. These methods have been successfully used to find the approximate solution of a large class of multi-order ordinary and partial FDEs. Some of them are presented as follows: In ^[13], the authors solved the multi-order (MOFDEs) by combining the technique of operational matrices with Spectral tau and Spectral collocation methods. In ^[14], the authors solved the MOFDEs by using the Chebyshev operational matrix (COM) together with Spectral tau and Spectral collocation methods. In ^[15], the authors solved the MOFDEs by reducing them into a system of FDEs, then combining the COM with Spectral tau and Spectral collocation methods. In ^[19], the authors derived the derivative operational matrix in Caputo sense of FLFVs which then applied with Spectral tau method to solve MOFDEs. In ^[20], the authors derived the integral COM in Riemann-Liouville sense which then applied with Spectral tau method to solve numerically the MOFDEs. In ^[22], the author derived the Jacobi integral operational matrix in Riemann-Liouville sense which then applied with Spectral tau method to solve MOFDEs. However, these methods have certain numerical difficulties in applying: in spectral tau methods, the residual function must be expanded as a series of orthogonal polynomials and then the initial or boundary conditions are applied as constraints; whereas in spectral collocation methods, the requirement of the choice of the suitable collocation points are necessary and FDEs must be satisfied exactly at these points.

In this article, we propose a numerical method which is completely based on the fractional derivative and integral operational matrices of FLFVs. The proposed method is independent of the choice of the suitable collocation points and expansion of the residual function as a series of orthogonal polynomials. Consequently, the proposed method produces high efficient numerical results as compared to the Spectral tau method ^[13], Bessel collocation method ^[6], Taylor matrix method ^[5], function approximation theory ^[21], and stochastic technique ^[4]. The other novel aspect of our article is the development of new integral and derivative operational matrices in Riemann-Liouville and Caputo senses respectively. As an applications of the proposed method, we solve various MOFDEs corresponding to initial conditions. Our approach has ability to reduce the MOFDEs into a system of Sylvester types matrix equations which can be solved using MATLAB built in function lyap(.). The rest of the article is organized as follows:

In Section 2, some preliminaries definitions of FC are recalled. In Section 3, the analytical expressions and some useful properties of CSLPs are reviewed. Moreover, in the same section some important properties of FLFVs and its analytical expression are recalled. In Section 4, the new generalized integral operational matrix and derivative operational matrix of FLFVs in the senses of Riemann-Liouville and Caputo are derived. In Section 5, based on the results of Section 4, a numerical method is proposed which is an excellent tool to solve numerically the MOFDEs corresponding to initial conditions. In Section 6, the validity and the efficiency of the proposed numerical method is tested by solving various examples and comparing the results with other methods in the literature. Some concluding remarks and future directions are given in Section 7.

2. Preliminary remarks on FC

Some important definitions and results are recalled in this section which are indispensable to construct the proposed numerical algorithm.

Definition 1. The (left-hand side) Riemann-Liouville integral of order $\Omega > 0$ is given as (see ^[12]):

$\begin{eqnarray} _{RL}J^{\Omega}u(x) = \frac{1}{\Gamma(\Omega)}\int_{0}^{x}(x-t)^{\Omega-1}u(t)dt, \; \; x > 0. \end{eqnarray}$

(2.1)

Definition 2. The (left-hand side) Caputo derivative of order $\Omega > 0$ is given as (see ^[12]):

$\begin{equation} _{C} \mathcal{D}^\Omega u(x) = \begin{cases} \frac{d^{n}u(x)}{dx^{n}}, \quad \Omega = n\in \mathbb{N}, \\ _{RL}J^{n-\Omega}u^{(n)}(x), \quad n-1 < \Omega < n \ , \, n\in\mathbb{N}, \end{cases} \end{equation}$

(2.2)

where $n$ is an integer, $x > 0$ , and $u(x)\in C^{n}[0, 1]$ .

For the Caputo derivative, we have the following observations:

$\begin{equation} \begin{split} _C \mathcal{D}^\Omega K& = 0, \; \; \; \; \; \; \; \; \; \; \; K\; \text{is a constant. } \end{split} \end{equation}$

(2.3)

$\begin{equation} _C \mathcal{D}^{\Omega} x^{\mu} = \begin{cases} 0, \quad \text{for}\; \; \mu\in \mathbb{R_{+}}, \; \text{and} \quad \mu < \lceil\Omega\rceil, \\ \frac{\Gamma(\mu+1)}{\Gamma(\mu+1-\Omega)}x^{\mu-\Omega}, \text{for}\; \; \mu\in \mathbb{R_{+}}, \; \text{and} \quad \mu\geq\lceil\Omega\rceil. \end{cases} \end{equation}$

(2.4)

3. FLFVs and its properties

Many approximate techniques are available in the literature to solve numerically the FDEs but the most frequent used approach is the approximation of the solutions via series expansion of the type, $\sum_{k = 0}^{M}d_{k}t^{k\Omega}$ . Thus the choice of the appropriate orthogonal function of the type $\Psi(t) = \sum_{k = 0}^{M}d_{k}t^{k\Omega}$ is very important to get the good approximate results.

In recent, the authors in ^[23] worked on the development of the fractional representation of the classical Legendre polynomials using the well-known Rodrigues formula. However, it is difficult to solve FDEs with this proposed fractional extension due to complexity involved in these functions, so in order to obtain the solution of FDEs, in a much simpler and efficient manner, Kazem and coauthors generated the orthogonal FLFVs based on the orthogonal CSLPs to find the approximate solutions of linear and nonlinear FDEs (see ^[19]). In this section, the definition and some useful properties of orthogonal CSLPs and its fractional extension are reviewed.

3.1. Classical Shifted Legendre Polynomials (CSLPs)

The following recurrence formulae is used to evaluate the orthogonal Legendre polynomials (LPs) on the interval of orthogonality $[-1, 1]$ (see ^[11]):

$\begin{eqnarray} &&R_{j+1}(x) = \frac{2j+1}{j+1}x R_{j}(x)-\frac{j}{j+1}R_{j-1}(x), \; \; j = 1, 2, \cdots, \\ &&\text{where}\\ &&R_0(x) = 1, \; \; R_1(x) = x. \end{eqnarray}$

(3.1)

Now by setting, $x = 2t-1$ in (3.1), the CSLPs on the interval of orthogonality $[0, 1]$ can be expressed as following, (see ^[11])

$\begin{eqnarray} &&R_{j}(t) = \frac{(2j+1)(2t-1)}{j+1} R_{j}(t)-\frac{j}{j+1}R_{j-1}(t), \; \; j = 1, 2, \cdots, \\ &&\text{where}\\ &&R_0(t) = 1, \; \; R_1(t) = 2t-1. \end{eqnarray}$

(3.2)

The analytical expression of (3.2) is as following

$\begin{eqnarray} &&R_{j}(t) = \sum\limits_{r = 0}^{j}a_{r, j}t^r, \\ &&\text{where}\\ &&a_{r, j} = (-1)^{r+j}\frac{\Gamma(1+r+j)}{\Gamma(1-r+j)(\Gamma(1+r))^{2}}. \end{eqnarray}$

(3.3)

The orthogonality conditions of CSLPs can be expressed as

$\begin{eqnarray} \int_{0}^{1}R_{j}(t)R_{i}(t) = \begin{cases}\frac{1}{2j+1}, \quad \text{for}\; j = i, \\ 0, \quad \text{for}\; j\neq i. \end{cases} \end{eqnarray}$

(3.4)

3.2. Analytical expression and properties of FLFVs

The orthogonal FLFVs is defined in the following relation by changing the variable, $t$ with $z^{\Omega}, \; \Omega\in\mathbb{R^{+}}$ in orthogonal CSLPs defined in (3.2). For our convenience, we use the notation $FR^{\Omega}_{j}(z)$ to represent the FLFVs ( $R_{j}(z^{\Omega})$ ).

$\begin{eqnarray} &&FR^{\Omega}_{j}(z) = \frac{(2j+1)(2z^{\Omega}-1)}{j+1} FR^{\Omega}_{j}(z)-\frac{j}{j+1}FR^{\Omega}_{j-1}(z), \; \; j = 1, 2, \cdots, \\ &&\text{where}\\ &&FR^{\Omega}_0(z) = 1, \; \; FR^{\Omega}_1(z) = 2z^{\Omega}-1. \end{eqnarray}$

(3.5)

The analytical representation of (3.5) is as following

$\begin{eqnarray} &&FR^{\Omega}_{j}(z) = \sum\limits_{q = 0}^{j}a'_{q, j}z^{q\Omega}, \\ &&\text{where}\\ &&a'_{q, j} = (-1)^{q+j}\frac{\Gamma(1+q+j)}{\Gamma(1-q+j)(\Gamma(1+q))^{2}}. \end{eqnarray}$

(3.6)

The orthogonality conditions of FLFVs can be expressed as

$\begin{eqnarray} \int_{0}^{1}FR^{\Omega}_{j}(z)FR^{\Omega}_{i}(z)w(z)dz = \begin{cases}\frac{1}{\Omega(2j+1)}, \quad \text{for}\; j = i, \\ 0, \quad \text{for}\; j\neq i, \end{cases} \end{eqnarray}$

(3.7)

where $w(z) = z^{\Omega-1}$ is a weight function.

3.3. Functions approximation using FLFVs

If $u(z)\in L^2[0, 1]$ , then it can be demonstrated as a series expansion of orthogonal FLFVs, as

$\begin{eqnarray} u(z) = \sum\limits_{j = 0}^{\infty}e_jFR^{\Omega}_{j}(z). \end{eqnarray}$

(3.8)

Using (3.7), the coefficients $e_j$ can be determined as

$\begin{eqnarray} e_j = \Omega(2j+1)\int_{0}^{1}u(z)FR^{\Omega}_{j}(z)w(z)dz, \; \; j = 0, 1, 2, \cdots. \end{eqnarray}$

(3.9)

For the practicality, considering the first $n+1$ -terms of (3.8), we have

$\begin{eqnarray} u(z)\simeq &\sum\limits_{j = 0}^{n} e_jFR^{\Omega}_{j}(z), \\ = &(\Lambda)^T\Psi(z), \end{eqnarray}$

(3.10)

where

$\begin{eqnarray*} \label{coefcntvector} (\Lambda)^T = [e_0, e_1, \cdots, e_n], \end{eqnarray*}$

and

$\begin{eqnarray} \Psi(z) = [FR^{\Omega}_{0}(z), FR^{\Omega}_{1}(z), FR^{\Omega}_{2}(z), \cdots, FR^{\Omega}_{n}(z)]^{T}. \end{eqnarray}$

(3.11)

For $n = 4, \Omega = 1/2$ , we have

$\begin{eqnarray*} \Psi(z) = \left(\begin{array}{c} 1\\ 2\, \sqrt{z} - 1\\ 6\, z - 6\, \sqrt{z} + 1\\ 12\, \sqrt{z} - 30\, z + 20\, z^{\frac{3}{2}} - 1\\ 90\, z + 70\, z^2 - 20\, \sqrt{z} - 140\, z^{\frac{3}{2}} + 1 \end{array}\right), \end{eqnarray*}$

and for $u(z) = 1+z$ , we have

$\begin{eqnarray*} (\Lambda)^T = \left(\begin{array}{ccccc} \frac{4}{3} & \frac{1}{2} & \frac{1}{6} & 0 & 0 \end{array}\right). \end{eqnarray*}$

4. Operational matrices of FLFVs

Operational matrices approach together with Spectral Tau approach is among of the approaches that has been frequently used to solve numerically the ordinary and partial FDEs (see ^{[13,14,15,19,20,21,22,24,25,26]}) and references therein. Under this approach, the numerical solutions are obtained by reducing the under study FDEs both ordinary and partial to an equivalent system of algebraic equations. The solution of the algebraic equations leads to the solution of the original FDEs. In recent, the authors in ^[19] extended the study of the generalized derivative operational matrix of CSLPs ^[13] to the generalized derivative operational matrix of orthogonal FLFVs in Caputo sense to solve numerically the multi-order FDEs. In this section, based on the study in ^[13,19], we develop the new generalized integral operational matrix of orthogonal FLFVs in Riemann-Liouville sense.

Lemma 4.1. The Caputo derivative of order $\beta > 0$ of FLFVs can be expressed as

$\begin{eqnarray} _{C} \mathcal{D}^\beta FR^{\Omega}_{j}(z) = \sum\limits_{q = 0}^{j}a''_{(q, j)}\frac{\Gamma(q\Omega+1)}{\Gamma(q\Omega-\beta+1)}z^{q\Omega-\beta}, \end{eqnarray}$

(4.1)

where $a''_{(q, j)} = 0$ when $q\Omega\in\mathbb{R_{+}}$ and $q\Omega < \beta$ . For other cases, $a''_{(q, j)} = a'_{(q, j)}$ .

Proof. For the proof (see ^[19]).

Lemma 4.2. The Riemann Liouville integral of order $\alpha > 0$ of FLFVs can be expressed as

$\begin{eqnarray} _{RL}J^{\alpha}FR^{\Omega}_{j}(z) = \sum\limits_{q = 0}^{j}a'_{(q, j)}\frac{\Gamma(q\Omega+1)}{\Gamma(q\Omega+\alpha+1)}z^{q\Omega+\alpha}. \end{eqnarray}$

(4.2)

Proof. Using linearity property and Eq (3.5), we have

$\begin{eqnarray} _{RL}J^{\alpha}FR^{\Omega}_{j}(z) = \sum\limits_{q = 0}^{j}a'_{(q, j)} {RL}J^{\alpha} z^{q\Omega} \end{eqnarray}$

(4.3)

Now the lemma can be proved easily using (^[27], Eq (22)).

Lemma 4.3. Suppose, $\Omega\in\mathbb{R_{+}}$ , and $\alpha > 0$ , then

$\begin{eqnarray} &&z^{\alpha+q\Omega} = \sum\limits_{i = 0}^{n}c'_{(r, i)}FR^{\Omega}_{i}(z), \\ &&\mathit{{where}}\\ &&c'_{(r, i)} = \Omega\left(2i+1\right)\sum\limits_{r = 0}^{i}\frac{(-1)^{(i+r)}\Gamma(i+r+1)}{\Gamma(i-r+1)(\Gamma(r+1))^{2}\Omega\left(q+1+r\right)+\alpha}, \; i = 0, 1, \cdots, n.\\ \end{eqnarray}$

(4.4)

Proof. Using $(n+1)$ orthogonal FLFVs, we may approximate $z^{\beta+q\Omega}$ , as

$\begin{eqnarray} z^{\alpha+q\Omega}\approx\sum\limits_{i = 0}^{n}c'_{(r, i)}FR^{\Omega}_{i}(z). \end{eqnarray}$

(4.5)

Using Eq (3.9), and after doing some lengthy calculations, we have

$\begin{eqnarray} c'_{(r, i)} = \Omega\left(2i+1\right)\sum\limits_{r = 0}^{i}\frac{(-1)^{(i+r)}\Gamma(i+r+1)}{\Gamma(i-r+1)(\Gamma(r+1))^{2}\Omega\left(q+1+r\right)+\alpha}. \end{eqnarray}$

(4.6)

Now using the Eqs (4.5) and (4.6), we can obtain the required result.

Lemma 4.4. Suppose, $\Omega\in\mathbb{R_{+}}$ , and $\beta > 0$ , then

$\begin{eqnarray} &&z^{q\Omega-\beta} = \sum\limits_{i = 0}^{n}c''_{(r, i)}FR^{\Omega}_{i}(z), \\ &&\mathit{{where}}\\ &&c''_{(i)} = \Omega\left(2i+1\right)\sum\limits_{r = 0}^{i}\frac{(-1)^{(i+r)}\Gamma(i+r+1)}{\Gamma(i-r+1)(\Gamma(r+1))^{2}\Omega\left(q+1+r\right)-\beta}, \; i = 0, 1, \cdots, n.\\ \end{eqnarray}$

(4.7)

Proof. Using $(n+1)$ orthogonal FLFVs, we may approximate $z^{q\Omega-\beta}$ , as

$\begin{eqnarray} z^{q\Omega-\beta}\approx\sum\limits_{i = 0}^{n}c''_{(r, i)}FR^{\Omega}_{i}(z). \end{eqnarray}$

(4.8)

Using Eq (3.9), and after doing some lengthy calculations, we have

$\begin{eqnarray} c''_{(i)} = \Omega\left(2i+1\right)\sum\limits_{r = 0}^{i}\frac{(-1)^{(i+r)}\Gamma(i+r+1)}{\Gamma(i-r+1)(\Gamma(r+1))^{2}\Omega\left(q+1+r\right)-\beta}. \end{eqnarray}$

(4.9)

Now using the Eqs (4.8) and (4.9), we can obtain the required result.

4.1. The fractional integral and derivative operational matrices of FLFVs

In this section, the generalized operational matrices of fractional integral and fractional derivative for FLFVs in Riemann Liouville and Caputo senses are studied respectively.

Theorem 4.5. Suppose $\Psi(z)$ be the orthogonal FLFVs as defined in $(3.11)$ , and $\alpha > 0$ be the order of the integral consider in Riemann-Liouville sense, then

$\begin{eqnarray} _{RL}J^{\alpha}\Psi(z)\approx \mathbf{D}^{\alpha}_{(n+1, n+1)}\Psi(z), \end{eqnarray}$

(4.10)

where $\mathbf{D}^{\alpha}$ is the $(n+1)\times(n+1)$ operational matrix which can be computed as

$\begin{eqnarray} \mathbf{D}^{\alpha}_{(n+1, n+1)} = \sum\limits_{q = 0}^{j}\frac{a'_{(q, j)c'_{(r, i)}}\Gamma(q\Omega+1)}{(q\Omega+\alpha+1)}, \; j = 0, 1, \cdots, n. \end{eqnarray}$

(4.11)

Proof. Using (3.11) and linearity of Riemann-Liouville fractional integral, we have

$\begin{eqnarray} _{RL}J^{\alpha}\Psi(z) = \sum\limits_{q = 0}^{j}a'_{(q, j)} {_{RL}}J^{\alpha}(z^{q\Omega}) \end{eqnarray}$

(4.12)

Using lemma (4.2), Eq (4.11) can be expressed as

$\begin{eqnarray} _{RL}J^{\alpha}\Psi(z) = \sum\limits_{q = 0}^{j}a'_{(q, j)}\frac{\Gamma(q\Omega+1)}{\Gamma(q\Omega+\alpha+1)}z^{\alpha+q\Omega}. \end{eqnarray}$

(4.13)

Now Eq (4.13) and Lemma 4.3 proves the required result.

Remark 4.6. The operational matrix of integration for CSLPs studied by Khan and Khalil ^[24] is a special case of Theorem 4.5 for $\Omega = 1$ .

Theorem 4.7. Suppose $\Psi(z)$ be the orthogonal FLFVs as defined in $(3.11)$ , and $\beta > 0$ be the order of the derivative consider in Caputo sense, then

$\begin{eqnarray} _{C}\mathcal{D}^{\beta}\Psi(z)\approx \mathbf{Q}^{\beta}_{(n+1, n+1)}\Psi(z), \end{eqnarray}$

(4.14)

where $\mathbf{Q}^{\beta}$ is the $(n+1)\times(n+1)$ operational matrix which can be computed as

$\begin{eqnarray} \mathbf{Q}^{\beta}_{(n+1, n+1)} = \sum\limits_{q = \frac{\lceil\beta\rceil}{\Omega}}^{j}\frac{a'_{(q, j)c''_{(r, i)}}\Gamma(q\Omega+1)}{(q\Omega-\beta+1)}, \; j = \frac{\lceil\beta\rceil}{\Omega}, \frac{\lceil\beta\rceil}{\Omega}+1, \cdots. \end{eqnarray}$

(4.15)

Proof. Using (3.11) and linearity of Caputo fractional derivative, we have

$\begin{eqnarray} _{C}\mathcal{D}^{\beta}\Psi(z) = \sum\limits_{q = 0}^{j}a'_{(q, j)}{C}\mathcal{D}^{\beta}(z^{q\Omega}) \end{eqnarray}$

(4.16)

Using lemma (4.1), Eq (4.16) can be expressed as

$\begin{eqnarray} _{C}\mathcal{D}^{\beta}\Psi(z) = \sum\limits_{q = \frac{\lceil\beta\rceil}{\Omega}}^{j}a'_{(q, j)}\frac{\Gamma(q\Omega+1)}{\Gamma(q\Omega-\beta+1)}z^{q\Omega-\beta}. \end{eqnarray}$

(4.17)

Now Eq (4.17) and lemma (4.4) proves the required result.

Remark 4.8. The operational matrix of derivatives for CSLPs studied by Saadatmandi and Dehghan ^[13] is a special case of Theorem 4.7 for $\Omega = 1$ .

5. Solution of multi-order FDEs

In this section, we are interested in the development of the computational algorithm to solve numerically the following generalized multi-order FDEs

$\begin{align} _{C}\mathcal{D}^{\alpha}u(z)& = g\big(z, u(z), _{C}\mathcal{D}^{\beta_{1}}u(z), _{C}\mathcal{D}^{\beta_{2}}u(z), \dots, \; _{C}\mathcal{D}^{\beta_{n}}u(z)\big), \\ \; \; &u^{(s)}(0) = h_{s}, \; s = 0, 1, \dots, n. \end{align}$

(5.1)

where $n-1 < \alpha \leq n$ , $0 < \beta_{1} < \beta_{2} < \dots < \beta_{n} < \alpha$ , and $_{C}\mathcal{D}^{\alpha}$ is a Caputo derivative of order $\alpha$ defined in (2.2).

We are interested to approximate the solution in terms of orthogonal FLFVs, such that

$\begin{eqnarray} _{C}\mathcal{D}^{\alpha}u(z) = \Lambda^{T}\Psi(z). \end{eqnarray}$

(5.2)

Now integrating (5.2) in Riemann-Liouville sense and using the initial conditions $u^{(s)}(0) = h_{s}, \; s = 0, 1, \dots, n$ , we have

$\begin{eqnarray} u(z) = \Lambda^{T}J^{\alpha}\Psi(z)+\sum\limits_{s = 0}^{n}h_{s}z^{s}. \end{eqnarray}$

(5.3)

Using Theorem 4.5, Eq (5.3) can also be written as

$\begin{eqnarray} u(z) = \Lambda^{T}\mathbf{D}^{\alpha}_{(n+1, n+1)}\Psi(z)+\sum\limits_{s = 0}^{n}h_{s}z^{s}. \end{eqnarray}$

(5.4)

The terms in $\sum_{s = 0}^{n}h_{s}z^{s}$ can also be approximated using FLFVs. So, Eq (5.4) can also be written as

$\begin{eqnarray} u(z) = \Lambda^{T}\mathbf{D}^{\alpha}_{(n+1, n+1)}\Psi(z)+H^{T}\Psi(z). \end{eqnarray}$

(5.5)

Now using Theorem 4.7 and Eq (5.5), the right hand side terms of Eq (5.1) can be approximated as

$\begin{eqnarray} \begin{cases} _{C}\mathcal{D}^{\beta_{0}}u(z) = \Lambda^{T}\mathbf{D}^{\alpha}_{(n+1, n+1)}\mathbf{Q}^{\beta_{0}}_{(n+1, n+1)}\Psi(z)+H^{T}\mathbf{Q}^{\beta_{0}}_{(n+1, n+1)}\Psi(z), \\ _{C}\mathcal{D}^{\beta_{1}}u(z) = \Lambda^{T}\mathbf{D}^{\alpha}_{(n+1, n+1)}\mathbf{Q}^{\beta_{1}}_{(n+1, n+1)}\Psi(z)+H^{T}\mathbf{Q}^{\beta_{1}}_{(n+1, n+1)}\Psi(z), \\ \vdots \quad \vdots \quad \vdots\\ _{C}\mathcal{D}^{\beta_{n}}u(z) = \Lambda^{T}\mathbf{D}^{\alpha}_{(n+1, n+1)}\mathbf{Q}^{\beta_{n}}_{(n+1, n+1)}\Psi(z)+H^{T}\mathbf{Q}^{\beta_{n}}_{(n+1, n+1)}\Psi(z), \\ \text{and}\\ g(z) = G^{T}\Psi(z). \end{cases} \end{eqnarray}$

(5.6)

Now inserting (5.2) and (5.6) in (5.1), we have

$\begin{eqnarray*} \label{multii7} \Lambda^{T}\Psi(z)& = &\Lambda^{T}\mathbf{D}^{\alpha}_{(n+1, n+1)}\left(\mathbf{Q}^{\beta_{0}}_{(n+1, n+1)}+\mathbf{Q}^{\beta_{1}}_{(n+1, n+1)}+\cdots+\mathbf{Q}^{\beta_{n}}_{(n+1, n+1)}\right)\Psi(z)\nonumber\\ &+&H^{T}\left(\mathbf{Q}^{\beta_{0}}_{(n+1, n+1)}+\mathbf{Q}^{\beta_{1}}_{(n+1, n+1)}+\cdots+\mathbf{Q}^{\beta_{n}}_{(n+1, n+1)}\right)\Psi(z)+G^{T}\Psi(z). \end{eqnarray*}$

After simplification, we have

$\begin{eqnarray} \Lambda^{T}-\Lambda^{T}\mathbf{D}^{\alpha}_{(n+1, n+1)}\widehat{Q}-H^{T}\widehat{Q}-G^{T}, \end{eqnarray}$

(5.7)

where $\widehat{Q} = \left(\mathbf{Q}^{\beta_{0}}_{(n+1, n+1)}+\mathbf{Q}^{\beta_{1}}_{(n+1, n+1)}+\cdots+\mathbf{Q}^{\beta_{n}}_{(n+1, n+1)}\right)$ .

Equation (5.7) is a matrix equation of Sylvester type that can be easily solved for the unknown $\Lambda^{T}$ using any computational software. By inserting the values of $\Lambda^{T}$ in Eq (5.5), we get the approximate solution of (5.1).

6. Test Examples

In this section, the applicability of the method is studied by solving various examples and comparing their analytical solutions with the approximate solutions obtained using our developed computational numerical algorithm.

Example 1. We consider the following non-homogeneous Bagley-Torvik equation ^[13,19,28]

$\begin{eqnarray} _{C}\mathcal{D}^{2}u(z)+_{C}\mathcal{D}^{\frac{3}{2}}u(z)+u(z) = 1+z, \end{eqnarray}$

(6.1)

subject to the following initial conditions

$\begin{eqnarray} u(0) = 1 = u'(0). \end{eqnarray}$

(6.2)

The exact solution is given as under

$\begin{eqnarray} u(z) = 1+z. \end{eqnarray}$

(6.3)

Here, we have

$\begin{eqnarray} G^{T} = \left[\frac{3}{2}, \frac{1}{2}, 0\right], \; \; H^{T} = \left[\frac{3}{2}, \frac{1}{2}, 0\right], \; \; \Lambda^{T} = \left[0, 0, 0\right]. \end{eqnarray}$

(6.4)

and

$\begin{eqnarray} \mathbf{Q}^{\frac{3}{2}} = \begin{bmatrix} 0 & 0 & 0\\ 0 & 0 & 0\\ 9.0270 & 5.4162 & -1.2896 \end{bmatrix} , \mathbf{D}^{2} = \begin{bmatrix} 0.1667 & 0.2500 & 0.0833\\ -0.0833 & -0.1000 & 0\\ 0.0167 & 0 & -0.0238 \end{bmatrix}.\\ \end{eqnarray}$

(6.5)

Using (6.4) and (6.5) in (5.5), we get the exact solution of the problem (6.1)-(6.2).

Remark 6.1. The results of Example 1 at various values of $n$ obtained by using our method are compared with the results obtained by using the method ^[4] at $n = 10$ in Tables 1- and . We observe that at various values of $n$ (the number of terms of FLFVs), the exact solution and the approximate solution obtained by using our method coincide, (see Table 2 and Figure 5). However, the results obtained by using the method in ^[4] yield less accurate results, (see Table 2-4 and Figure 5).

Table 1. Comparison of the approximate solution (AS) for Example 1 obtained by using our proposed method (PM) with the AS obtained by using the method (^[4], Example 2).

$z$	Exact Solution	AS using PM at $n=2$	AS in ^[4] at $n=10$ (number of neurons)

$0$	$1.00$	$1.00$	$1.024862$
$0.1$	$1.10$	$1.10$	$1.121206$
$0.2$	$1.20$	$1.20$	$1.220821$
$0.3$	$1.30$	$1.30$	$1.323041$
$0.4$	$1.40$	$1.40$	$1.426952$
$0.5$	$1.50$	$1.50$	$1.531330$
$0.6$	$1.60$	$1.60$	$1.634569$
$0.7$	$1.70$	$1.70$	$1.734591$
$0.8$	$1.80$	$1.80$	$1.828738$
$0.9$	$1.90$	$1.90$	$1.913640$
$1.0$	$2.00$	$2.00$	$1.985057$

| Show Table

DownLoad: CSV

Table 2. Comparison of the Absolute errors for Example 1 obtained by using our proposed method (PM) at

$n = 2$ (number of terms of FLFVs) with the absolute errors obtained by using the method (^[4], Example 2) at

$n = 10$ (number of neurons).

$z$	Absolute error using ^[4]	Absolute error using PM

$0$	$2.30e-2$	$0$
$0.1$	$2.69e-2$	$0$
$0.2$	$3.13e-2$	$0$
$0.3$	$3.45e-2$	$0$
$0.4$	$3.45e-2$	$0$
$0.5$	$2.87e-2$	$0$
$0.6$	$1.36e-2$	$0$
$0.7$	$1.49e-2$	$0$
$0.8$	$2.30e-2$	$0$
$0.9$	$2.69e-2$	$0$
$1.0$	$3.13e-2$	$0$

| Show Table

DownLoad: CSV

Table 3. Comparison of the Absolute errors for Example 1 obtained by using our proposed method (PM) at

$n = 8$ (number of terms of FLFVs) with the absolute errors obtained by using the method (^[4], Example 2) at

$n = 10$ (number of neurons).

$z$	Absolute error using ^[4]	Absolute error using PM
$0$	$2.30e-2$	$0$
$0.1$	$2.69e-2$	$0$
$0.2$	$3.13e-2$	$0$
$0.3$	$3.45e-2$	$0$
$0.4$	$3.45e-2$	$0$
$0.5$	$2.87e-2$	$0$
$0.6$	$1.36e-2$	$0$
$0.7$	$1.49e-2$	$0$
$0.8$	$2.30e-2$	$0$
$0.9$	$2.69e-2$	$0$
$1.0$	$3.13e-2$	$0$

| Show Table

DownLoad: CSV

Table 4. Comparison of the Absolute errors for Example 1 obtained by using our proposed method (PM) at

$n = 10$ (number of terms of FLFVs) with the absolute errors obtained by using the method (^[4], Example 2) at

$n = 10$ (number of neurons).

$z$	Absolute error using ^[4]	Absolute error using PM
$0$	$2.30e-2$	$0$
$0.1$	$2.69e-2$	$0$
$0.2$	$3.13e-2$	$0$
$0.3$	$3.45e-2$	$0$
$0.4$	$3.45e-2$	$0$
$0.5$	$2.87e-2$	$0$
$0.6$	$1.36e-2$	$0$
$0.7$	$1.49e-2$	$0$
$0.8$	$2.30e-2$	$0$
$0.9$	$2.69e-2$	$0$
$1.0$	$3.13e-2$	$0$

| Show Table

DownLoad: CSV

Figure 1. FLFVs are plotted for

$\Omega = 1/2$ and for various choices of

$n$ .

$z$	Exact solution	AS using PM at $n=2$	AS in ^[5] at $n=6$ (number of terms of Taylor series)

$0$	$1.00$	$1.00$	$1.00$
$0.1$	$1.10$	$1.10$	$1.10$
$0.2$	$1.20$	$1.20$	$1.20$
$0.3$	$1.30$	$1.30$	$1.30$
$0.4$	$1.40$	$1.40$	$1.40$
$0.5$	$1.50$	$1.50$	$1.50$
$0.6$	$1.60$	$1.60$	$1.60$
$0.7$	$1.70$	$1.70$	$1.70$
$0.8$	$1.80$	$1.80$	$1.80$
$0.9$	$1.90$	$1.90$	$1.90$
$1.0$	$2.00$	$2.00$	$2.00$

$z$	Exact solution	AS using PM at $n=2$	AS in ^[6] at $n=6$ (number of terms of Bessel series)

$0$	$1.00$	$1.00$	$1.00$
$0.1$	$1.10$	$1.10$	$1.10$
$0.2$	$1.20$	$1.20$	$1.20$
$0.3$	$1.30$	$1.30$	$1.30$
$0.4$	$1.40$	$1.40$	$1.40$
$0.5$	$1.50$	$1.50$	$1.50$
$0.6$	$1.60$	$1.60$	$1.60$
$0.7$	$1.70$	$1.70$	$1.70$
$0.8$	$1.80$	$1.80$	$1.80$
$0.9$	$1.90$	$1.90$	$1.90$
$1.0$	$2.00$	$2.00$	$2.00$

$z$	$n=4$ ^[21]	$n=4$ PM	$n=6$ ^[21]	$n=6$ PM	$n=7$ ^[21]	$n=7$ PM

$0.2$	0.0844	0.0132	0.0044	0.00003	2.81025203108243e-15	0
$0.4$	0.3501	0.0105	0.0079	0.00035	6.63358257213531e-15	0
$0.6$	0.6734	0.0349	0.0143	0.00034	3.27515792264421e-15	0
$0.8$	1.0234	0.0387	0.0214	0.00069	4.25770529943748e-14	0
$1$	1.6700	0.0780	0.0280	0.00103	2.43819897540083e-13	0

$z$	Exact solution	$n=2$ ^[21]	$n=2$ PM	$n=3$ ^[21]	$n=3$ PM

$0.2$	0.0080	0.0614	0.0291	2.55004350968591e-16	0
$0.4$	0.0640	0.1541	0.0885	2.77555756156289e-16	0
$0.6$	0.2160	0.3339	0.1239	3.33066907387547e-16	0
$0.8$	0.5120	0.6488	0.0875	4.44089209850063e-16	0
$1$	1.0000	1.1468	0.0689	6.66133814775094e-16	0

$z$	$\Omega=\alpha=\frac{3}{4}$	$\Omega=\alpha=\frac{1}{2}$	$\Omega=\alpha=\frac{2}{3}$

$0.2$	4.273327e-11	5.870078e-07	9.236112e-10
$0.4$	8.335039e-09	2.999352e-05	1.401714e-07
$0.6$	2.455070e-07	3.010034e-04	2.873981e-06
$0.8$	2.731391e-06	1.568348e-03	2.478263e-05
$1$	1.782081e-05	5.703710e-03	1.328454e-04

$\alpha$	$z=0.1$	$z=0.1 PM$	$z=0.3$	$z=0.3 PM$	$z=0.5$	$z=0.5 PM$	$z=0.7$	$z=0.7 PM$	$z=0.9$	$z=0.9 PM$

$1.2$	3.1e-03	2.2e-05	2.8e-03	1.9e-05	4.5e-03	1.2e-05	3.6e-03	1.6e-05	1.8e-03	2.0e-05
$1.4$	1.0e-03	1.6e-05	7.0e-04	1.4e-05	1.3e-03	7.9e-06	1.1e-03	1.1e-05	2.4e-04	1.4e-05
$1.6$	3.0e-04	7.5e-06	1.3e-04	6.3e-06	3.1e-04	3.4e-06	3.0e-04	4.9e-06	6.2e-07	6.1e-06
$1.8$	6.1e-05	2.2e-06	1.4e-05	1.8e-06	4.9e-05	9.2e-07	5.3e-05	1.4e-06	8.8e-06	1.7e-06

$0.2$	2.9e-01	2.3e-03	4.5e-01	1.9e-02	7.4e-01	5.3e-02	3.7e-01	1.0e-01	2.0e-01	1.8e-01
$0.4$	3.9e-01	7.0e-04	5.1e-01	1.0e-03	7.3e-01	1.5e-03	3.3e-01	2.4e-03	2.2e-01	8.2e-03
$0.6$	6.7e-03	3.8e-04	2.0e-05	4.4e-04	5.2e-03	3.32e-04	4.4e-03	3.42e-04	4.6e-03	3.41e-04
$0.8$	1.1e-03	1.1e-04	2.1e-04	1.14e-04	8.4e-04	7.8e-05	8.7e-04	9.5e-05	5.8e-04	1.2e-04

[1]	L. V. Ahlfors, An extension of Schwarz's lemma, T. Am. Math. Soc., 43 (1938), 359–364. https://doi.org/10.2307/1990065 doi: 10.2307/1990065
[2]	G. D. Anderson, M. K. Vamanamurthy, M. Vuorinen, Monotonicity rules in calculus, Am. Math. Mon., 113 (2006), 805–816. https://doi.org/10.2307/27642062 doi: 10.2307/27642062
[3]	K. Astala, V. Manojlović, On Pavlović theorem in space, Potential Anal., 43 (2015), 361–370. https://doi.org/10.1007/s11118-015-9475-4 doi: 10.1007/s11118-015-9475-4
[4]	S. Bernstein, Sur la généralisation du problé de Dirichlet, Math. Ann., 62 (1906), 253–271. https://doi.org/10.1007/BF01449980 doi: 10.1007/BF01449980
[5]	M. Bonk, On Bloch's constant, P. Am. Math. Soc., 110 (1990), 889–894. https://doi.org/10.2307/2047734 doi: 10.2307/2047734
[6]	K. Broder, The Schwarz lemma: an odyssey, Rocky Mountain J. Math., 52 (2022), 1141–1155. https://doi.org/10.1216/rmj.2022.52.1141 doi: 10.1216/rmj.2022.52.1141
[7]	D. M. Burns, S. G. Krantz, Rigidity of holomorphic mappings and a new Schwarz lemma at the boundary, J. Am. Math. Soc., 7 (1994), 661–676. https://doi.org/10.1090/S0894-0347-1994-1242454-2 doi: 10.1090/S0894-0347-1994-1242454-2
[8]	S. L. Chen, D. Kalaj, The Schwarz type lemmas and the Landau type theorem of mappings satisfying Poisson's equations, Complex Anal. Oper. Theory, 13 (2019), 2049–2068. https://doi.org/10.1007/s11785-019-00911-4 doi: 10.1007/s11785-019-00911-4
[9]	Z. H. Chen, Y. Liu, Y. F. Pan, A Schwarz lemma at the boundary of Hilbert balls, Chin. Ann. Math. Ser. B, 39 (2018), 695–704. https://doi.org/10.1007/s11401-018-0090-8 doi: 10.1007/s11401-018-0090-8
[10]	J. L. Chen, P. J. Li, S. K. Sahoo, X. T. Wang, On the Lipschitz continuity of certain quasiregular mappings between smooth Jordan domains, Isr. J. Math., 220 (2017), 453–478. https://doi.org/10.1007/s11856-017-1522-y doi: 10.1007/s11856-017-1522-y
[11]	X. Chen, J. Wang, X. Tang, Boundary Schwarz lemma of the unit ball in $\mathbb{R}^{n}$ satisfying Poisson's equation, Acta Mathematica Sinica, Chinese Series, 66 (2023), 717–726. https://doi.org/10.12386/b20210679 doi: 10.12386/b20210679
[12]	P. Duren, Harmonic mappings in the plane, Cambridge: Cambridge University Press, 2004.
[13]	M. Elin, F. Jacobzon, M. Levenshtein, D. Shoikhet, The Schwarz lemma: rigidity and dynamics, In: Harmonic and complex analysis and its applications, Cham: Birkhäuser, 2014,135–230. https://doi.org/10.1007/978-3-319-01806-5_3
[14]	J. B. Garnett, Bounded analytic functions, New York: Academic Press, 1981.
[15]	I. Graham, H. Hamada, G. Kohr, A Schwarz lemma at the boundary on complex Hilbert balls and applications to starlike mappings, J. Anal. Math., 140 (2020), 31–53. https://doi.org/10.1007/s11854-020-0080-0 doi: 10.1007/s11854-020-0080-0
[16]	H. Hamada, A Schwarz lemma at the boundary using the Julia-Wolff-Carathéodory type condition on finite dimensional irreducible bounded symmetric domains, J. Math. Anal. Appl., 465 (2018), 196–210. https://doi.org/10.1016/j.jmaa.2018.04.076 doi: 10.1016/j.jmaa.2018.04.076
[17]	H. Hamada, G. Kohr, A boundary Schwarz lemma for mappings from the unit polydisc to irreducible bounded symmetric domains, Math. Nachr., 293 (2020), 1345–1351. https://doi.org/10.1002/mana.201900493 doi: 10.1002/mana.201900493
[18]	E. Heinz, On certain nonlinear elliptic differential equations and univalent mappings, J. Anal. Math., 5 (1956), 197–272. https://doi.org/10.1007/BF02937346 doi: 10.1007/BF02937346
[19]	H. W. Hethcote, Schwarz lemma analogues for harmonic functions, Int. J. Math. Educ. Sci., 8 (1977), 65–67. https://doi.org/10.1080/0020739770080109 doi: 10.1080/0020739770080109
[20]	E. Hopf, Ueber den funktionalen, insbesondere den analytischen Charakter der Loesungen elliptischer Differentialgleichungen zweiter Ordnung, Math. Z., 34 (1932), 194–233. https://doi.org/10.1007/BF01180586 doi: 10.1007/BF01180586
[21]	D. Kalaj, A priori estimate of gradient of a solution to certain differential inequality and quasiconformal mappings, J. Anal. Math., 119 (2013), 63–88. https://doi.org/10.1007/s11854-013-0002-5 doi: 10.1007/s11854-013-0002-5
[22]	D. Kalaj, M. Mateljević, On certain nonlinear elliptic PDE and quasiconfomal mapps between euclidean surfaces, Potential Anal., 34 (2011), 13–22. https://doi.org/10.1007/s11118-010-9177-x doi: 10.1007/s11118-010-9177-x
[23]	D. Kalaj, On quasi-conformal harmonic maps between surfaces, Int. Math. Res. Notices, 2015 (2015), 355–380. https://doi.org/10.1093/imrn/rnt203 doi: 10.1093/imrn/rnt203
[24]	H. Li, M. Mateljević, Boundary Schwarz lemma for harmonic and pluriharmonic mappings in the unit ball, J. Math. Inequal., 16 (2022), 477–498. https://doi.org/10.7153/jmi-2022-16-35 doi: 10.7153/jmi-2022-16-35
[25]	T. Liu, X. Tang, A new boundary rigidity theorem for holomorphic self-mappings of the unit ball in $\mathbb{C}^{n}$ , Pure Appl. Math. Q., 11 (2015), 115–130. https://doi.org/10.4310/PAMQ.2015.v11.n1.a5 doi: 10.4310/PAMQ.2015.v11.n1.a5
[26]	T. Liu, J. Wang, X. Tang, Schwarz lemma at the boundary of the unit ball in $\mathbb{C}^{n}$ and its applications, J. Geom. Anal., 25 (2015), 1890–1914. https://doi.org/10.1007/s12220-014-9497-y doi: 10.1007/s12220-014-9497-y
[27]	T. Liu, X. Tang, A boundary Schwarz lemma on the classical domain of type Ⅰ, Sci. China Math., 60 (2017), 1239–1258. https://doi.org/10.1007/s11425-015-0225-7 doi: 10.1007/s11425-015-0225-7
[28]	T. Liu, X. Tang, Schwarz lemma at the boundary of strongly pseudoconvex domain in $\mathbb{C}^{n}$ , Math. Ann., 366 (2016), 655–666. https://doi.org/10.1007/s00208-015-1341-6 doi: 10.1007/s00208-015-1341-6
[29]	T. Liu, X. Tang, W. Zhang, Schwarz lemma at the boundary on the classical domain of type Ⅲ, Chin. Ann. Math. Ser. B, 41 (2020), 335–360. https://doi.org/10.1007/s11401-020-0202-0 doi: 10.1007/s11401-020-0202-0
[30]	M. Mateljević, Distortion of harmonic functions and harmonic quasiconformal quasi-isometry, Rev. Roumaine Math. Pures Appl., 51 (2006), 711–722.
[31]	M. Mateljević, M. Vuorinen, On harmonic quasiconformal quasi-isometries, J. Inequal. Appl., 2010 (2010), 178732. https://doi.org/10.1155/2010/178732 doi: 10.1155/2010/178732
[32]	M. Mateljević, Schwarz lemma and distortion for harmonic functions via length and area, Potential Anal., 53 (2020), 1165–1190. https://doi.org/10.1007/s11118-019-09802-x doi: 10.1007/s11118-019-09802-x
[33]	M. Mateljević, Boundary behaviour of partial derivatives for solutions to certain Laplacian-gradient inequalities and spatial QC maps, In: Operator theory and harmonic analysis, Cham: Springer, 2021,393–418. https://doi.org/10.1007/978-3-030-77493-6_23
[34]	M. Mateljević, A. Khalfallah, On some Schwarz type inequalities, J. Inequal. Appl., 2020 (2020), 164. https://doi.org/10.1186/s13660-020-02433-6 doi: 10.1186/s13660-020-02433-6
[35]	M. Mateljević, M. Svetlik, Hyperbolic metric on the strip and the Schwarz lemma for HQR mappings, Appl. Anal. Discr. Math., 14 (2020), 150–168. https://doi.org/10.2298/AADM200104001M doi: 10.2298/AADM200104001M
[36]	M. Mateljević, N. Mutavdžić, The boundary Schwarz lemma for harmonic and pluriharmonic mappings and some generalizations, Bull. Malays. Math. Sci. Soc., 45 (2022), 3177–3195. https://doi.org/10.1007/s40840-022-01371-4 doi: 10.1007/s40840-022-01371-4
[37]	M. R. Mohapatra, X. T. Wang, J. F. Zhu, Boundary Schwarz lemma for solutions to nonhomogeneous biharmonic equations, B. Aust. Math. Soc., 100 (2019), 470–478. https://doi.org/10.1017/S0004972719000947 doi: 10.1017/S0004972719000947
[38]	M. R. Mohapatra, Schwarz-type lemma at the boundary for mappings satisfying non-homogeneous polyharmonic equations, Monatsh. Math., 192 (2020), 409–418. https://doi.org/10.1007/s00605-020-01402-x doi: 10.1007/s00605-020-01402-x
[39]	R. Osserman, A new variant of the Schwarz-Pick-Ahlfors lemma, Manuscripta Math., 100 (1999), 123–129. https://doi.org/10.1007/s002290050231 doi: 10.1007/s002290050231
[40]	G. Ren, Z. Xu, Schwarz's lemma for slice Clifford analysis, Adv. Appl. Clifford Algebras, 25 (2015), 965–976. https://doi.org/10.1007/s00006-015-0534-00 doi: 10.1007/s00006-015-0534-0
[41]	S. Ruscheweyh, Two remarks on bounded analytic functions, Serdica, 11 (1985), 200–202.
[42]	J. Schauder, Ueber lineate elliptische Differentialgleichungen zweiter Ordnung, Math. Z., 38 (1934), 257–282. https://doi.org/10.1007/BF01170635 doi: 10.1007/BF01170635
[43]	X. Tang, T. Liu, J. Zhang, Schwarz lemma at the boundary and rigidity property for holomorphic mappings on the unit ball of $\mathbb{C}^{n}$ , P. Am. Math. Soc., 145 (2017), 1709–1716. https://doi.org/10.1090/proc/13378 doi: 10.1090/proc/13378
[44]	X. Tang, T. Liu, W. Zhang, Schwarz lemma at the boundary on the classical domain of type Ⅱ, J. Geom. Anal., 28 (2018), 1610–1634. https://doi.org/10.1007/s12220-017-9880-6 doi: 10.1007/s12220-017-9880-6
[45]	H. Werner, Das problem von Douglas fuer flaechen konstanter mittlerer Kruemmung, Math. Ann., 133 (1957), 303–319. https://doi.org/10.1007/BF01342884 doi: 10.1007/BF01342884
[46]	S. T. Yau, A general Schwarz lemma for Kähler manifolds, Am. J. Math., 100 (1978), 197–203. https://doi.org/10.2307/2373880 doi: 10.2307/2373880
[47]	D. G. Zhong, F. N. Meng, W. J. Yuan, On Schwarz-Pick inequality mappings satisfying Poisson differential inequality, Acta Math. Sci., 41 (2021), 959–967. https://doi.org/10.1007/s10473-021-0320-0 doi: 10.1007/s10473-021-0320-0
[48]	D. G. Zhong, M. L. Huang, D. P. Wei, Some inequalities for self-mappings of unit ball satisfying the invariant Laplacians, in press.
[49]	J. F. Zhu, Schwarz lemma and boundary Schwarz lemma for pluriharmonic mappings, Filomat, 32 (2018), 5385–5402. https://doi.org/10.2298/FIL1815385Z doi: 10.2298/FIL1815385Z
[50]	J. F. Zhu, X. T. Wang, Boundary Schwarz lemma for solutions to Poisson's equation, J. Math. Anal. Appl., 463 (2018), 623–633. https://doi.org/10.1016/j.jmaa.2018.03.043 doi: 10.1016/j.jmaa.2018.03.043

AIMS Mathematics

Some generalizations for the Schwarz-Pick lemma and boundary Schwarz lemma

Related Papers:

Abstract

1. Introduction

2. Preliminary remarks on FC

3. FLFVs and its properties

3.1. Classical Shifted Legendre Polynomials (CSLPs)

3.2. Analytical expression and properties of FLFVs

3.3. Functions approximation using FLFVs

4. Operational matrices of FLFVs

4.1. The fractional integral and derivative operational matrices of FLFVs

5. Solution of multi-order FDEs

6. Test Examples

7. Conclusions

Acknowledgments

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog