An equation for complex fractional diffusion created by the Struve function with a T-symmetric univalent solution

Rabha W. Ibrahim; Dumitru Baleanu

doi:10.1515/dema-2023-0116

Open Access Published by De Gruyter Open Access April 1, 2024

An equation for complex fractional diffusion created by the Struve function with a T-symmetric univalent solution

Rabha W. Ibrahim and Dumitru Baleanu

From the journal Demonstratio Mathematica

https://doi.org/10.1515/dema-2023-0116

Abstract

A T -symmetric univalent function is a complex valued function that is conformally mapping the unit disk onto itself and satisfies the symmetry condition ϕ [ T ] ( ζ ) = [ ϕ ( ζ T ) ] 1 ∕ T for all ζ in the unit disk. In other words, it is a complex function that preserves the unit disk’s shape and orientation and is symmetric about the unit circle. They are used in the study of geometric function theory and the theory of univalent functions. In recent effort, we extend the class of fractional anomalous diffusion equations in a symmetric complex domain. we aim to present the analytic univalent solution for such a class using special functions technique. Our analysis and comparative findings are further supported by the geometric simulations for the univalent solution such as the convexity and starlikeness of the diffusion. As a consequence of illustration of a list of conditions yielding the univalent solutions (normalize analytic function in the open unit disk), the normalization of diffusion shape is achieved.

Keywords: fractional calculus; subordination and superordination; analytic function; inequalities; univalent function; open unit disk; fractional differential equation

MSC 2010: 30C55; 30C45

1 Introduction

Many physical processes, including electron transfer in semiconductors, nuclear proliferation, and pollutant transport across porous surfaces, have been reported to exhibit anomalous diffusion in recent decades [1–3]. Chemistry, biology, environmental science, and even economics all place a premium on the research of anomalous diffusion [4]. In the case of normal diffusion, the mean square displacement can be expressed as proportional to τ . Nevertheless, it has also been discovered that in the case of anomalous diffusion, the mean square displacement may be expressed as proportional to τ β , β ≠ 1 . The anomalous diffusion procedures have been demonstrated to display the traits of long-range correlation and history dependency through experimental statement and hypothetical analysis [5]. Expending fractional derivatives, these anomalous diffusion events are often described and predicted [6]. Complex diffusion demonstrating as yet has certain puzzling unresolved open investigation questions, such as the diffusion processes that alter with time evolution, 3-D position, or system factors, the diffusion processes in the in-homogeneous intermediate, the multi-scale diffusion process, the anomalous diffusion processes under an oscillating exterior field, etc. [7–9]. Investigators have derived to the conclusion that the fractional differential equation model is inadequate to represent these intricate anomalous diffusion processes [10]. Anomalous behavior of univalent diffusion has many applications in physics and chemical processes, especially in melts and magmas [11], composite nanochannels [12], high magnetic fields’ effects on biologically active molecules’ diffusion [13], thermal diffusion [14], and molecularly imprinted impedimetric sensor [15]. Other applications can be located in [16]–[18]. The complex fractional diffusion equation, is a type of partial differential equation that describes the diffusion of a substance in a medium with a fractional order of differentiation. The equation typically has the form:

∂ u ( ζ , τ ) ∕ ∂ τ = − ( − Δ ) α u ( ζ , τ ) ,

where u ( ζ , τ ) is the concentration of the substance at position ζ and time τ , Δ is the Laplacian operator, and α is the fractional order of differentiation. The fractional order can be any value between 0 and 2, with α = 1 corresponding to the standard diffusion equation. The CFDE can be used to model a wide range of phenomena, including anomalous diffusion in complex systems. In diffusion equations, the outcome of being univalent is significant. Since the solutions to the diffusion equations are known to be incorrect for infinite layers as they are not univalent functions, the diffusion peaks must unavoidably move faster than the troughs and eventually reach these levels.

In this study, we suggest a class of CFDEs in the open unit disk. We aim to deliver the analytic solutions for the class using the concept of special functions (generalized Struve-H function) and the geometric function theory. The diffusion shape is recognized for the univalent solution, specifically the convex and starlike solutions. Inequalities of differential subordination are illustrated. Differential subordination is a concept in complex analysis that deals with the relationship between analytic functions. It is a method of comparing the growth rates of two analytic functions using their derivatives. The concept of differential subordination is used to compare the growth rates of different analytic functions and to find bounds on their coefficients and other properties.

We organize the effort as follows: Section 2 imposes the techniques that will be used, Section 3 contains the outcomes of the main conditions that yield the analytic solutions with the diffusion shape, and Section 4 deals with the main conclusions and discoveries in this work.

2 Convoluted fractional integral operator

This section covers many concepts that will be used in the conclusion.

2.1 Struve function

The Struve function is a mathematical function that is used to solve a variety of scientific and technical issues, specifically in the areas of sounds, diffraction theory, and electromagnetic. H ρ ( ζ ) , where ρ is the function’s order and ζ is the complex argument, is the symbol used to represent it. The differential equation’s answer, or the Struve function, is explained as follows:

ζ 2 d 2 H ρ ∕ d ζ 2 + ζ d H ρ ∕ d ζ + ( ζ 2 − ρ 2 ) H ρ = 2 π i .

The complex ρ -indexed functions with the same name, developed and introduced by Hermann Struve in 1882, Struve functions, denoted by H ρ ( ζ ) , and have the power series form (Figure 1):

H ρ ( ζ ) = ∑ n = 0 ∞ ( − 1 ) n Γ n + 3 2 Γ n + ρ + 3 2 ζ 2 2 n + ρ + 1 ,

where

H 0 ( ζ ) = 2 ζ π − 2 ζ 3 9 π + 2 ζ 5 225 π − 2 ζ 7 11,025 π + 2 ζ 9 893,025 π + O ( ζ 11 ) .

The generalization formula of the aforementioned series is given by:

H 0 ( log [ 1 + ζ ] ) = 2 ζ π − ζ 2 π + 4 ζ 3 9 π − ζ 4 6 π + ζ 5 50 π + 11 ζ 6 180 π − 3,541 ζ 7 33,075 π + 5,029 ζ 8 37,800 π + 525,769 ζ 9 35,72,100 π + O ( ζ 11 ) ,

where the normalized formula is specified by:

H 0 ( ζ ) ≔ π 2 H 0 ( log [ 1 + ζ ] ) = ζ − ζ 2 2 + ⋯ = ζ + ∑ n = 2 h n ζ n .

In this place, we note that the Struve function is used to determine the analytic solution of different classes of fractional differential equations. For example, it is involved in the fractional kinetic equation, fractional heat equation, and fractional integro-differential equation.

$Figure 1 Upper graphs are for H 2 ( ζ ) {{\bf{H}}}_{2}\left(\zeta ) and H 2 ( log [ 1 + ζ ] ) {{\bf{H}}}_{2}\left(\log \left[1+\zeta ]) in the open unit disk Δ \Delta , ∣ ζ ∣ < 1 | \zeta | \lt 1 , respectively. The lower graphs are for H 0 ( ζ ) , {{\bf{H}}}_{0}\left(\zeta ), and H 0 ( log [ 1 + ζ ] ) {{\bf{H}}}_{0}\left(\log \left[1+\zeta ]) in Δ \Delta , respectively.$

Figure 1

Upper graphs are for H 2 ( ζ ) and H 2 ( log [ 1 + ζ ] ) in the open unit disk Δ , ∣ ζ ∣ < 1 , respectively. The lower graphs are for H 0 ( ζ ) , and H 0 ( log [ 1 + ζ ] ) in Δ , respectively.

For this function, generalization happens because of unique situations and constraints: We can learn more about the Struve function’s special situations and constraining characteristics by investigating its generalization. Knowing how the function behaves in particular circumstances can provide us important details about the underlying physical events. Additionally, it enhanced convergence and accuracy: utilizing the normalized and generalized forms of the Struve function in numerical computations may result in higher accuracy and quicker convergence rates. Particularly in computations and modeling on computers, this is important.

2.2 Fractional integration

Using the complex classical fractional integral [19]:

L β φ ( ζ ) = 1 Γ ( β ) ∫ 0 ζ φ ( ξ ) ( ζ − ξ ) β − 1 d ξ ,

where

L β ζ k = Γ ( 1 + k ) Γ ( 1 + k + β ) ζ k + β ,

we obtain the fractional integral series:

L β H 0 ( ζ ) = L β ( ζ ) + ∑ n = 2 h n L β ( ζ n ) = 1 Γ ( 2 + β ) ζ β + 1 + ∑ n = 2 h n Γ ( n + 1 ) Γ ( n + 1 + β ) ζ β + n .

A normalization implies that

(2.1) H 0 β ( ζ ) ≔ Γ ( 2 + β ) ζ − β L β H 0 ( ζ ) = ζ + ∑ n = 2 h n Γ ( 2 + β ) Γ ( n + 1 ) Γ ( n + 1 + β ) ζ n .

The fractional normalized function H 0 β ( ζ ) will be the solution of the fractional complex diffusion equation. Our aim is to illustrate a list of conditions that gives the univalency of H 0 β ( ζ ) . In this place, we note that the Struve function has many applications in optics studies describing the optical diffraction and diffusion processes [20–22].

In general, the normalized H ρ ( ζ ) can be realized using the transformation operator:

ℋ ρ ( ζ ) = 2 ρ π Γ ρ + 3 2 ζ − ( ρ + 1 ) ∕ 2 H ρ ( ζ ) = ∑ n = 0 ∞ ( − 1 ∕ 4 ) n ( 3 ∕ 2 ) n ρ + 3 3 n ζ n ,

where ( c ) n = Γ ( c + n ) ∕ Γ ( c ) . The fractional integral form is structured as follows:

L β ( ℋ ρ ( ζ ) ) = ∑ n = 0 ∞ ( − 1 ∕ 4 ) n ( 3 ∕ 2 ) n ρ + 3 3 n L β ( ζ n ) = ∑ n = 0 ∞ ( − 1 ∕ 4 ) n 3 2 n ρ + 3 2 n Γ ( n + 1 ) Γ ( n + 1 + β ) ζ n + β = ∑ n = 0 ∞ ( − 1 ∕ 4 ) n Γ 3 2 Γ ρ + 3 2 Γ 3 2 + n Γ ρ + 3 2 + n Γ ( n + 1 ) Γ ( n + 1 + β ) ζ n + β .

Introducing the fractional integral transform:

ℋ ρ β ( ζ ) ≔ ζ 1 − β Γ ( 1 + β ) L β ( ℋ ρ ( ζ ) ) = ∑ n = 0 ∞ ( − 1 ∕ 4 ) n Γ ( 1 + β ) Γ 3 2 Γ ρ + 3 2 Γ 3 2 + n Γ ρ + 3 2 + n Γ ( n + 1 ) Γ ( n + 1 + β ) ζ n + 1 = ζ + ∑ n = 1 ∞ ( − 1 ∕ 4 ) n Γ ( 1 + β ) Γ 3 2 Γ ρ + 3 2 Γ 3 2 + n Γ ρ + 3 2 + n Γ ( n + 1 ) Γ ( n + 1 + β ) ζ n + 1 = ζ + ∑ n = 2 ∞ ( − 1 ∕ 4 ) n − 1 Γ ( 1 + β ) Γ 3 2 Γ ρ + 3 2 Γ 3 2 + ( n − 1 ) Γ ( ρ + 3 2 + ( n − 1 ) ) Γ ( n ) Γ ( n + β ) ζ n = ζ + ∑ n = 2 ∞ ( − 1 ∕ 4 ) n − 1 Γ ( 1 + β ) Γ 3 2 Γ ρ + 3 2 Γ 1 2 + n Γ ( ρ + 1 2 + n ) Γ ( n ) Γ ( n + β ) ζ n ,

we obtain the normalized fractional Struve function:

(2.2) ℋ ρ β ( ζ ) = ζ + ∑ n = 2 ∞ ℏ n ( β , ρ ) ζ n ,

where (Figure 2)

ℏ n ( β , ρ ) ≔ ( − 1 ∕ 4 ) n − 1 Γ ( 1 + β ) Γ 3 2 Γ ρ + 3 2 Γ 1 2 + n Γ ( ρ + 1 2 + n ) Γ ( n ) Γ ( n + β ) = π ( − 1 ) n − 1 2 1 − 2 n Γ ( β + 1 ) Γ ( n ) Γ ( ρ + 3 ∕ 2 ) Γ ( n + 1 ∕ 2 ) Γ ( β + n ) Γ ( n + ρ + 1 ∕ 2 ) .

For example, when β = 1 and ρ = 0 , we have the next limit of the connections when n → ∞ ,

lim n → ∞ ( ( − 1 ) − 1 + n 4 − n π Γ ( n ) ) ( Γ ( 1 ∕ 2 + n ) 2 Γ ( 1 + n ) ) = 0 .

$Figure 2 Behaviour of the coefficients of the operator [ ℋ 0 β * ψ ] , \left[{{\mathcal{ {\mathcal H} }}}_{0}^{\beta }* \psi ], when ψ \psi is the Koebe function. The right plot is for β = 1 ∕ 2 \beta =1/2 and 3/4, respectively.$

Figure 2

Behaviour of the coefficients of the operator [ ℋ 0 β * ψ ] , when ψ is the Koebe function. The right plot is for β = 1 ∕ 2 and 3/4, respectively.

Structure (2.2) is a fractional normalization of the Struve function. Normalization is a popular procedure in mathematics, particularly in the study of functions, to ensure consistency. Dimensionless numbers produced by normalizing the Struve function can facilitate comparison and analysis of outcomes from various physical settings. As a consequence, one can investigate the geometric properties of the fractional integral operator associated with a special function in the complex domain.

This fractional function plays an important role to describe the analytic solution of the CFDE (Figure 3). Moreover, Formula (2.2) indicates that the generalized function ℋ ρ β ( ζ ) belongs to the class of normalized functions in the open unit disk denoted by Λ and having the general structure:

(2.3) ψ ( ζ ) = ζ + ∑ n = 2 ∞ ψ n ζ n ,

where ψ ( 0 ) = 0 and ψ ′ ( 0 ) = 1 . A convolution product implies that

[ ℋ ρ β * ψ ] ( ζ ) = ζ + ∑ n = 2 ∞ ℏ n ( β , ρ ) ψ n ζ n ∈ Λ .

$Figure 3 Upper graphs are ℋ 0 1 ∕ 2 ( ζ ) {{\mathcal{ {\mathcal H} }}}_{0}^{1/2}\left(\zeta ) and ℋ 0 1 ∕ 4 ( ζ ) {{\mathcal{ {\mathcal H} }}}_{0}^{1/4}\left(\zeta ) , respectively. Lower graphs are π 2 ℋ 0 1 ∕ 2 ( log [ 1 + ζ ] ) \frac{\pi }{2}{{\mathcal{ {\mathcal H} }}}_{0}^{1/2}\left(\log \left[1+\zeta ]) and π 2 ℋ 0 1 ∕ 4 ( log [ 1 + ζ ] ) \frac{\pi }{2}{{\mathcal{ {\mathcal H} }}}_{0}^{1/4}\left(\log \left[1+\zeta ]) , respectively.$

Figure 3

Upper graphs are ℋ 0 1 ∕ 2 ( ζ ) and ℋ 0 1 ∕ 4 ( ζ ) , respectively. Lower graphs are π 2 ℋ 0 1 ∕ 2 ( log [ 1 + ζ ] ) and π 2 ℋ 0 1 ∕ 4 ( log [ 1 + ζ ] ) , respectively.

Therefore, we can proceed to study its geometric behaviors. Some properties of [ ℋ ρ β * ψ ] ( ζ ) are given in the next outcomes.

Proposition 2.1

Consider the operator [ ℋ ρ β * ψ ] ( ζ ) . If it satisfies the inequality:

∑ n = 2 ∞ n ( n − ( 1 − 6 ) ) ∣ ℏ n ( β , ρ ) ∣ ∣ ψ n ∣ < 6 ,

then [ ℋ ρ β * ψ ] ( ζ ) is univalent in Δ .

Proof

A computation yields

[ ℋ ρ β * ψ ] ″ ( ζ ) [ ℋ ρ β * ψ ] ′ ( ζ ) = ∑ n = 2 ∞ n ( n − 1 ) ℏ n ( β , ρ ) ψ n ζ n − 2 1 + ∑ n = 2 ∞ n ℏ n ( β , ρ ) ψ n ζ n − 1 ≤ ∑ n = 2 ∞ n ( n − 1 ) ∣ ℏ n ( β , ρ ) ∣ ∣ ψ n ∣ 1 − ∑ n = 2 ∞ n ∣ ℏ n ( β , ρ ) ∣ ∣ ψ n ∣ < 6 .

To prove that [ ℋ ρ β * ψ ] is univalent, by the condition, inequality of the result yields that

[ ℋ ρ β * ψ ] ″ ( ζ ) [ ℋ ρ β * ψ ] ′ ( ζ ) < 6 .

Then, in virtue of the Umezawa lemma [23], we obtain the univalency of the operator [ ℋ ρ β * ψ ] .□

Note that since the Koebe function is an extreme function for univalency function, then we shall discuss some important properties of a special case of [ ℋ ρ β * ψ ] when ψ is the Koebe function.

Proposition 2.2

Consider the operator [ ℋ ρ β * ψ ] ( ζ ) . If it satisfies the inequality:

ζ 2 [ ℋ ρ β * ψ ] ( 3 ) [ ℋ ρ β * ψ ] ′ ( ζ ) − ζ [ ℋ ρ β * ψ ] ″ ( ζ ) [ ℋ ρ β * ψ ] ′ ( ζ ) 2 + ( 2 ζ [ ℋ ρ β * ψ ] ″ ( ζ ) ) ( [ ℋ ρ β * ψ ] ′ ( ζ ) ) + 1 ≺ χ + ( 1 − χ ) 1 + ζ 1 − ζ 3 ∕ 2 , χ ∈ [ 0 , 1 ) ,

then [ ℋ ρ β * ψ ] is convex of order χ .

Proof

Let

Φ ( ζ ) = 1 + ζ [ ℋ ρ β * ψ ] ″ ( ζ ) [ ℋ ρ β * ψ ] ′ ( ζ ) .

And let

Ψ ( ζ ) = Φ ( ζ ) − χ 1 − χ .

Obviously, Ψ ( 0 ) = 1 and

ζ Ψ ′ ( ζ ) = ζ Φ ′ ( ζ ) 1 − χ .

Then, in view of Miller and Mocanu lemma [24], we have that the inequality

Ψ ( ζ ) + ζ Ψ ′ ( ζ ) ≺ 1 + ζ 1 − ζ 3 ∕ 2

gives the inequality:

Ψ ( ζ ) ≺ 1 + ζ 1 − ζ .

But

Φ ( ζ ) + ζ Φ ′ ( ζ ) = ζ 2 [ ℋ ρ β * ψ ] ( 3 ) [ ℋ ρ β * ψ ] ′ ( ζ ) − ζ [ ℋ ρ β * ψ ] ″ ( ζ ) [ ℋ ρ β * ψ ] ′ ( ζ ) 2 + ( 2 ζ [ ℋ ρ β * ψ ] ″ ( ζ ) ) ( [ ℋ ρ β * ψ ] ′ ( ζ ) ) + 1

≺ χ + ( 1 − χ ) 1 + ζ 1 − ζ 3 ∕ 2 , χ ∈ [ 0 , 1 )

Then,

Φ ( ζ ) ≺ 1 + ( 1 − 2 χ ) ζ 1 − ζ

or ℜ ( Φ ( ζ ) ) > χ , which yields that [ ℋ ρ β * ψ ] is convex of order χ . □

3 Special case of [ ℋ ρ β * ψ ] ( ζ )

The T-symmetric Koebe function is formulated as follows:

κ [ T ] ( ζ ) = ζ ( 1 − ζ T ) 2 ∕ T , ζ ∈ Δ .

It maps Δ into the set ∪ m = 1 T { r exp ( i π ( 2 m − 1 ) ∕ T ) } . The integral of this function is given by the hypergeometric function:

∫ κ [ T ] ( ζ ) d ζ = 1 2 ζ 2 2 F 1 2 T , 2 T , ( T + 2 ) T , ζ T + c .

Moreover, the parametric T-symmetric Koebe function is suggested as follows:

κ ϑ [ T ] ( ζ ) = ζ ( 1 − e i ϑ ζ T ) 2 ∕ T , ζ ∈ Δ .

We propose using the parametric 1-symmetric Koebe function in the development of the wave equation. A member of the family of convex univalent functions, the Koebe function, is an extreme function. In order to translate Δ onto the complex plane, the Koebe function

κ ( ζ ) = ζ ( 1 − ζ ) 2 , ζ ∈ Δ ,

stretches a slit along the ray from the point with radius 1/4 to the point ζ = 0 . We will use the structure’s rotate Koebe function in our most recent endeavor:

κ ϑ ( ζ ) = ζ ( 1 − e i ϑ ζ ) 2 = ζ + ∑ n = 2 ∞ n e i ( n − 1 ) ϑ ζ n , ζ ∈ Δ .

The α -fractional integral formula can be realized as follows:

L α κ ϑ ( ζ ) = Γ ( 2 ) Γ ( 2 + α ) ζ 1 + α + ∑ n = 2 ∞ Γ ( n + 1 ) Γ ( n + 1 + α ) n e i ( n − 1 ) ϑ ζ n + α , ζ ∈ Δ .

Therefore, the normalized expression is as follows:

κ ϑ α ( ζ ) ≔ Γ ( 2 + α ) ζ − α L α κ ϑ ( ζ ) = ζ + ∑ n = 2 ∞ Γ ( 2 + α ) Γ ( n + 1 ) Γ ( n + 1 + α ) n e i ( n − 1 ) ϑ ζ n ≔ ζ + ∑ n = 2 ∞ κ n ( α , ϑ ) ζ n , ζ ∈ Δ .

Clearly, κ ϑ α ∈ Λ . The fractional convoluted operator combining ℋ ρ β and κ ϑ α can be realized as follows:

(3.1) ℋ ρ β * κ ϑ α ( ζ ; ϑ ) = ζ + ∑ n = 2 ∞ ℏ n ( β , ρ ) κ n ( α , ϑ ) ζ n , ζ ∈ Δ .

We next continue to formulate the CFDE using the operator (3.1) (Figure 4). The formula can be expressed, as follows:

(3.2) ∂ α ∂ ϑ α ℋ ρ β * κ ϑ α ( ζ ; ϑ ) − ω ∂ 2 β ∂ ζ 2 β ℋ ρ β * κ ϑ α ( ζ ; ϑ ) = F ( ζ ) , α , β ∈ ( 0 , 1 ] ,

where ∂ α and ∂ β are the classic fractional differential operators ℋ ρ β * κ ϑ α ( ζ ; ϑ ) indicates the concentration of interest, ω is the generalized diffusion coefficient and F is known as the nonlinear functional of the diffusion under consideration owing to F ( 0 ) = 0 and F ′ ( 0 ) = 1 (normalized function in Δ ). We aim to illustrate a list of sufficient conditions on ℋ ρ β * κ ϑ α ( ζ ; ϑ ) and F to be the univalent solution. The next section discusses the fundamental prerequisite for obtaining an analytically univalent solution satisfying the inequality:

ℜ ( ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ) > 0 , ′ = d ∕ d ζ .

The aforementioned inequality represents the class of bounded turning functions. This class has a connection with the symmetry property. A bounded turning function with the symmetric property is a mathematical function that satisfies the following properties:

Boundedness: The function is limited to a certain range of values and does not go beyond that range. Turning: The function changes direction at certain points, meaning that it increases or decreases in value at certain intervals.
Symmetry: The function is symmetric with respect to a certain point or axis, meaning that if you reflect the function over that point or axis, the result is identical to the original function.

Examples of functions that have these properties would be sin ( ζ ) and cos ( ζ ) functions.

$Figure 4 Graph of ℋ 0 1 ∕ 2 * κ ϑ 1 ∕ 2 ( ζ ; ϑ ) \left[\phantom{\rule[-0.45em]{}{0ex}}{{\mathcal{ {\mathcal H} }}}_{0}^{1/2}* {\kappa }_{{\vartheta }}^{1/2}\right]\left(\zeta ;\hspace{0.33em}{\vartheta }) when ϑ = 0 , 1 , π {\vartheta }=0,1,\pi , and 2 π 2\pi , respectively.$

Figure 4

Graph of ℋ 0 1 ∕ 2 * κ ϑ 1 ∕ 2 ( ζ ; ϑ ) when ϑ = 0 , 1 , π , and 2 π , respectively.

Our results for the univalent solution of equation (3.2) for various assumptions regarding F are presented in this section.

Proposition 3.1

Suppose that the solution of equation (3.2) satisfies the real inequality:

(3.3) ℜ ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) − ℋ ρ β * κ ϑ α ( − ζ ; ϑ ) > 0 ,

then [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) is univalent in Δ .

Proof

Obviously, the solution ℋ ρ β * κ ϑ α ( ζ ; ϑ ) fulfills ℋ ρ β * κ ϑ α ( 0 ; ϑ ) = 0 and ℋ ρ β * κ ϑ α ( 0 ; ϑ ) ′ = 1 . Switching − ζ by ζ in (3.3), this implies that

(3.4) ℜ ζ ℋ ρ β * κ ϑ α ( − ζ ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) − ℋ ρ β * κ ϑ α ( − ζ ; ϑ ) > 0 .

Correlating the aforementioned real inequalities yields

(3.5) ℜ ζ ( ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ − ℋ ρ β * κ ϑ α ( − ζ ; ϑ ) ′ ) ℋ ρ β * κ ϑ α ( ζ ; ϑ ) − ℋ ρ β * κ ϑ α ( − ζ ; ϑ ) > 0 .

This brings the fact that ℋ ρ β * κ ϑ α ( ζ ; ϑ ) − ℋ ρ β * κ ϑ α ( − ζ ; ϑ ) is univalent in Δ . Thus, the Kaplan theorem [25] shows that ℋ ρ β * κ ϑ α ( ζ ; ϑ ) is the univalent solution of equation (3.2).□

The following results depend on various criteria for the solution of equation (3.2) to be univalent solvable.

Proposition 3.2

Assume that ϕ is an analytic function in Δ with a non-negative real part. Moreover, suppose that the solution of equation (3.2) satisfies the real inequality:

(3.6) ℜ ( ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ + ϕ ( ζ ) ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ″ ) > 0 .

Then, [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) is the univalent solution in Δ .

Proof

Consider the real inequality (3.6). Define the admissible function Ψ : C 2 → C by the form:

Ψ ( f , g ) = f ( ζ ) + ϕ ( ζ ) g ( ζ ) .

By substituting

f ( ζ ) ≔ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ , g ( ζ ) ≔ ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ″ ,

we obtain

ℜ ( Ψ ( ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ , ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ″ ) ) > 0 .

In virtue of [26]-Theorem 5, we have

ℜ ( ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ) > 0 ,

which implies that [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) is the univalent solution in Δ . □

We proceed to show the univalency of the solution [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) in Δ .

Proposition 3.3

Let F ( ζ ) be a bounded function in Δ such that

inf ℜ F ( ζ 1 ) − F ( ζ 2 ) ζ 1 − ζ 2 > 0 , ζ 1 , ζ 2 ∈ Δ .

Then,

ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) − ζ F ( ζ ) ≤ 2 inf ℜ F ( ζ 1 ) − F ( ζ 2 ) ζ 1 − ζ 2 [ sup ζ ∈ Δ ( F ( ζ ) ) ] 2 ,

which implies that [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) is univalent in Δ .

Proof

Assume that [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) = ζ + ∑ n = 2 ∞ a n ζ n and F ( ζ ) = ζ + ∑ n = 2 ∞ b n ξ n . Define a function G : Δ → Δ , by:

G ( ζ ) = ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) − ζ F ( ζ ) ″ .

Obviously, G is analytic in Δ . Integration yields

ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) − ζ F ( ζ ) ′ = b 2 − a 2 + ∫ 0 ζ G ( t ) d t .

A computation gives

ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) − ζ F ( ζ ) = ( b 2 − a 2 ) ζ + ∫ 0 ζ d s ∫ 0 s G ( t ) d t .

Consequently, we obtain

ℋ ρ β * κ ϑ α ( ζ ; ϑ ) = F ( ζ ) 1 + ( b 2 − a 2 ) F ( ζ ) + F ( ζ ) ( σ ( ζ ) ∕ ζ ) ,

where

σ ( ζ ) = ∫ 0 ζ d s ∫ 0 s G ( t ) d t ,

which leads to

σ ( ζ ) ζ ′ = 1 ζ 2 ∫ 0 ζ t σ ″ ( t ) d t = 1 ζ 2 ∫ 0 ζ t G ( t ) d t .

The hypotheses of the proposition produce that

σ ( ζ 2 ) ζ 2 − σ ( ζ 1 ) ζ 1 = ∫ ζ 1 ζ 2 σ ( ζ ) ζ ′ d ζ ≤ 2 inf ℜ F ( ζ 1 ) − F ( ζ 2 ) ζ 1 − ζ 2 [ sup ζ ∈ Δ ( F ( ζ ) ) ] 2 ∣ ζ 2 − ζ 1 ∣ 2 ,

where ζ 1 ≠ ζ 2 . Finally, we show that ℋ ρ β * κ ϑ α ( ζ 1 ; ϑ ) ≠ ℋ ρ β * κ ϑ α ( ζ 2 ; ϑ ) or

∣ ℋ ρ β * κ ϑ α ( ζ 1 ; ϑ ) − ℋ ρ β * κ ϑ α ( ζ 2 ; ϑ ) ∣ > 0 , ζ 1 ≠ ζ 2 ,

∣ ℋ ρ β * κ ϑ α ( ζ 1 ; ϑ ) − ℋ ρ β * κ ϑ α ( ζ 2 ; ϑ ) ∣ = F ( ζ 1 ) − F ( ζ 2 ) + F ( ζ 2 ) F ( ζ 1 ) σ ( ζ 2 ) ζ 2 − σ ( ζ 1 ) ζ 1 1 + ( b 2 − a 2 ) F ( ζ 1 ) + F ( ζ 1 ) σ ( ζ 1 ) ζ 1 1 + ( b 2 − a 2 ) F ( ζ 2 ) + F ( ζ 2 ) σ ( ζ 2 ) ζ 2 > ∣ F ( ζ 1 ) − F ( ζ 2 ) ∣ − inf ℜ F ( ζ 1 ) − F ( ζ 2 ) ζ 1 − ζ 2 ( ζ 2 − ζ 1 ) 1 + ( b 2 − a 2 ) F ( ζ 1 ) + F ( ζ 1 ) σ ( ζ 1 ) ζ 1 1 + ( b 2 − a 2 ) F ( ζ 2 ) + F ( ζ 2 ) σ ( ζ 2 ) ζ 2 ≥ 0 .

Hence, [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) is the univalent solution in Δ . □

Proposition 3.4

One of the following inequalities implies that [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) is univalent in Δ :

( 1 − ∣ ζ ∣ 2 ) ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ″ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ≤ 1 ;
ζ 2 ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) 2 − 1 ≤ 1 ;
( 1 − ∣ ζ ∣ 2 ε ) ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ″ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ + 1 − ε ≤ ε , ε > 1 ∕ 2 ;
1 + ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ″ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ < 7 .

Proof

In view of the Becker theorem [27]-Corollary 4.1, we have that [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) is univalent in Δ . The second assumption implies that

ℜ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) 2 ζ 2 ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ≥ 1 ∕ 2 .

Then, in view of [28]-Theorem 2, we obtain the univalency of [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) . The third inequality satisfies [29]-Corollary 3, when

g ( ζ ) ≔ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ζ 2

and

h ( ζ ) ≔ 1 ζ − ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ζ 2 .

Consider the fourth inequality to be true. Define a function:

Ξ ( ζ ) = 1 + ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ″ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ,

where Π ( ζ ) = Ξ 2 ( ζ ) such that Π ( ζ ) = 7 . A computation yields

∫ ∣ ζ ∣ = r < 1 ℜ ( Ξ ( ϱ ) ) 2 d ϱ = 1 4 ∫ ∣ ζ ∣ = r < 1 ( Π ( ζ ) + 2 ∣ Π ( ζ ) ∣ + Π ( ζ ) ¯ ) d ϱ < 7 π + 1 4 ∫ ∣ ζ ∣ = r < 1 ( Π ( ζ ) + Π ( ζ ) ¯ ) d ϱ = 8 π .

Schwarz’s inequality implies that

∫ ∣ ζ ∣ = r < 1 ℜ ∣ Ξ ( ϱ ) ∣ d ϱ ≤ ∫ ∣ ζ ∣ = r < 1 d ϱ 1 ∕ 2 ∫ ∣ ζ ∣ = r < 1 ℜ ( Ξ ( ϱ ) ) 2 d ϱ 1 ∕ 2 < 4 π .

Hence, according to [30]-Theorem 2(iii), page 197, the operator [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) is univalent and convex in Δ .□

Proposition 3.5

Suppose that

min ∣ ζ ∣ = r < 1 ℜ ( ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ) = min ∣ ζ ∣ = r < 1 ∣ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ∣ ,

and there is a constant c ∈ ( 0 , 1 ∕ 2 ] such that

ℜ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ + ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ″ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ > 2 c − 1 .

Then, [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) is the univalent solution.

Proof

Let ζ 0 ∈ Δ , with

ℜ ( ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ ) = c .

By the condition of the result, we have

ℜ ( ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ ) = ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ = c .

Then, in view of [31]-Theorem 3.1, we have

ζ 0 ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ″ ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ ≤ c − 1 .

Consequently, we obtain

ℜ ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ + ζ 0 ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ″ ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ ≤ 2 c − 1 ,

which is a contradiction; therefore, we have

ℜ ( ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ) > c > 0 .

Hence, [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) is univalent in Δ . □

The next result shows that the univalent solution is diffused in a starlikeness shape. Note that the normalized function h is called starlike if it satisfies the real inequality:

ℜ ζ h ′ ( ζ ) h ( ζ ) > 0 .

Proposition 3.6

Suppose that

min ∣ ζ ∣ = r < 1 ℜ ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) = min ∣ ζ ∣ = r < 1 ∣ ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ∣ ,

and there is a constant c > 0 such that

ℜ 1 + ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ″ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ > c .

Then, the univalent solution ℋ ρ β * κ ϑ α ( ζ ; ϑ ) admits a starlike shape.

Proof

Let ζ 0 ∈ Δ , with

ℜ ζ 0 ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) = c .

By the condition of the result, we have

ℜ ζ 0 ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) = ζ 0 ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) = c .

But

1 + ζ 0 ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ″ ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ = ζ 0 ζ 0 ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ + ζ 0 ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) 2 ζ 0 ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ 0 ; ϑ ) = c

Consequently, we obtain

ℜ 1 + ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ″ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ = c ,

which is a contradiction. Hence,

ℜ ζ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ′ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) > c ,

which implies that ℋ ρ β * κ ϑ α ( ζ ; ϑ ) admits a starlike shape.□

The next lemma can be found in [32].

Lemma 3.7

For every univalent function ϕ ( ζ ) in the open unit disk, there is a sequence of univalent polynomials P k ( ζ ) in the open unit disk, with normalization P k ( 0 ) = ϕ ( 0 ) satisfying the inclusion:

P k ( ζ ) ⊂ ϕ ( ζ ) .

The next proposition is a direct application of Lemma 3.7. The proposition shows that the univalent function ℋ ρ β * κ ϑ α includes a finite sequence of univalent solutions.

Proposition 3.8

Let the functional ℋ ρ β * κ ϑ α be univalent (Proposition 3.1–3.5). Then, for every finite sequence of univalent solutions of CFDE, P k ( ζ ) fulfilled the inequality relation:

P k ( ζ ) ≺ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ,

where [ ℋ ρ β * κ ϑ α ] ( 0 ) = P k ( 0 ) = 0 . Moreover, the univalent polynomial of order m , [ ℋ ρ β * κ ϑ α ] m ( ζ ; ϑ ) , generated by the operator [ ℋ ρ β * κ ϑ α ] ( ζ ; ϑ ) , satisfies the upper and lower bounds:

− cot π 2 ( n + 1 ) 2 ℋ ρ β * κ ϑ α m ( 1 ; ϑ ) ≤ ℋ ρ β * κ ϑ α m ( − 1 ; ϑ ) ≤ − tan π 2 ( n + 1 ) 2 ℋ ρ β * κ ϑ α m ( 1 ; ϑ ) .

Proof

In view of Lemma 3.7, we have

P k ( ζ ) ⊂ ℋ ρ β * κ ϑ α ( ζ ; ϑ ) ,

where [ ℋ ρ β * κ ϑ α ] ( 0 ) = P k ( 0 ) = 0 . Then, by the definition of the subordination, if ψ is subordinate to φ when φ is univalent, the subordination ψ ≺ φ is equivalent to the fact that ψ ( 0 ) = φ ( 0 ) and ψ ( Δ ) ⊂ φ ( Δ ) occur. Thus, we obtain the first result.

For the second part, we have

ℋ ρ β * κ ϑ α m ( 1 ; ϑ ) = 1 + ℏ 2 ( β , ρ ) κ 2 ( α , ϑ ) + ℏ 3 ( β , ρ ) κ 3 ( α , ϑ ) + ⋯ + ℏ m ( β , ρ ) κ m ( α , ϑ ) ≔ A 0 + A 1 .

Similarly, we have

ℋ ρ β * κ ϑ α m ( − 1 ; ϑ ) = − 1 + ℏ 2 ( β , ρ ) κ 2 ( α , ϑ ) − ℏ 3 ( β , ρ ) κ 3 ( α , ϑ ) + ⋯ + ( − 1 ) m ℏ m ( β , ρ ) κ m ( α , ϑ ) = − A 0 + A 1 .

Therefore, a computation implies that

[ ℋ ρ β * κ ϑ α ] m ( − 1 ; ϑ ) [ ℋ ρ β * κ ϑ α ] m ( 1 ; ϑ ) = − A 0 + A 1 A 0 + A 1 = A 1 ∕ A 0 − 1 A 1 ∕ A 0 + 1 .

In view of the Fejer inequality [33], we obtain

− cot π 2 ( n + 1 ) 2 ≤ A 1 ∕ A 0 − 1 A 1 ∕ A 0 + 1 ≤ − tan π 2 ( n + 1 ) 2 .

This completes the proof.□

Example 3.9

For example, consider the operator [ ℋ 0 β * κ ϑ α ] . Then, when n = 2 , we obtain

A 0 = 1 , A 1 = − 4 ( 9 ( α + 2 ) ( β + 1 ) ) .

Consequently, under one of the following conditions:

− 26 ∕ 9 < α < − 2 , 0 < β ≤ ( − 9 α − 26 ) ( 9 ( α + 2 ) )
− 26 ∕ 9 < α < − 2 , β ≥ ( − 9 α − 26 ) ( 9 ( α + 2 ) ) > 0 ,

and in view of Proposition 3.8, every univalent polynomial of order m generated by [ ℋ 0 β * κ ϑ α ] satisfies the upper and lower bounds (Figure 5)

− cot π 2 ( n + 1 ) 2 ≤ A 1 ∕ A 0 − 1 A 1 ∕ A 0 + 1 ≤ − tan π 2 ( n + 1 ) 2 ⇒ − 3 ≤ − 8 ( 9 ( α + 2 ) β + 9 α + 14 ) − 1 ≤ − 1 3 .

$Figure 5 Relation between α \alpha and β \beta of the suggested operator [ ℋ 0 β * κ ϑ α ] \left[{{\mathcal{ {\mathcal H} }}}_{0}^{\beta }* {\kappa }_{{\vartheta }}^{\alpha }] in Example 3.9.$

Figure 5

Relation between α and β of the suggested operator [ ℋ 0 β * κ ϑ α ] in Example 3.9.

4 Conclusion

A generalization and normalization of the Struve function is presented in this study to investigate univalent solutions of a class of CFDEs in the open unit disk (Propositions 3.3, 3.4, and 3.5). On the theory of the diffusion equation of a complex variable, the univalent solution is a particularly delicate property. Based on the theory of geometric functions, this characteristic leads to several geometric presentations for the solution. We have shown under some conditions, the univalent solution has a starlike diffusion behave (Proposition 3.6) and convex diffusion shape (Proposition 3.4-(d)). The computational and graphical presentations are given using the software MATHEMATICA 13.3.

As efforts for the future, one can make a generalization for the suggested operator [ ℋ ρ β * κ ϑ α ] in view of different fractional calculus, including the ABC in a complex domain [34,35], the K-symbol fractional calculus, and the quantum calculus. The process of scaling a geometric function’s values to fit inside a predetermined range or to have a uniform representation is known as normalization. This procedure is frequently used to simplify computations or analyses or to increase the function’s comparability. It is crucial to select the normalization technique that best satisfies your unique data and analysis goals. Understanding the properties of your geometric function and the repercussions of the desired normalization technique is essential since different methods may have varied effects on the distribution and interpretation of the data.

Funding information: This work is not funded.
Author contributions: All authors contributed equally and significantly to writing this article. All authors read and agreed to the published version of the manuscript.
Conflict of interest: The authors declare no conflict of interest.
Data availability statement: Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

References

[1] V. Venkataramani, Y. Yang, M. C. Schubert, E. Reyhan, S. K. Tetzlaff, N. Wibmann, et al., Glioblastoma hijacks neuronal mechanisms for brain invasion, Cell 185 (2022), no. 16, 2899–2917. 10.1016/j.cell.2022.06.054Search in Google Scholar PubMed

[2] S. Yan, Y. Liang, and W. Xu. Characterization of chloride ions diffusion in concrete using fractional Brownian motion run with power-law clock, Fractals 30 (2022), no. 9, 2250177.10.1142/S0218348X22501778Search in Google Scholar

[3] M. D’Elia and C. Glusa, A fractional model for anomalous diffusion with increased variability: Analysis, algorithms and applications to interface problems, Numer. Methods Partial Differential Equations 38 (2022), no. 6, 2084–2103. 10.1002/num.22865Search in Google Scholar

[4] F. Sabzikar, J. Kabala, and K. Burnecki, Tempered fractionally integrated process with stable noise as a transient anomalous diffusion model, J. Phys. A Math. Theoretic. 55 (2022), no. 17, 174002. 10.1088/1751-8121/ac5b92Search in Google Scholar

[5] F. J. Martinez-Farias, A. Alvarado-Sanchez, E. Rangel-Cortes, and A. Hernandez-Hernandez, Bi-dimensional crime model based on anomalous diffusion with law enforcement effect, Math. Model. Numer. Simulat. Appl. 2 (2022), no. 1, 26–40. 10.53391/mmnsa.2022.01.003Search in Google Scholar

[6] H. K. Khudhair, Y. Zhang, and N. Fukawa, Pattern selection in the Schnakenberg equations: From normal to anomalous diffusion, Numer. Methods Partial Differential Equations 38 (2022), no. 6, 1843–1860. 10.1002/num.22842Search in Google Scholar

[7] S. Vitali, V. Sposini, O. Sliusarenko, P. Paradisi, G. Castellani, and G. Pagnini, Langevin equation in complex media and anomalous diffusion, J. R. Soc. Interface 15 (2018), no. 145, 20180282. 10.1098/rsif.2018.0282Search in Google Scholar PubMed PubMed Central

[8] E. C. de Oliveira, S. Jarosz, and J. Vaz, Jr., Fractional calculus via Laplace transform and its application in relaxation processes, Commun. Nonlinear Sci. Numer. Simulat. 69 (2019), 58–72. 10.1016/j.cnsns.2018.09.013Search in Google Scholar

[9] H. W. Zhou, S. Yang, and S. Q. Zhang, Conformable derivative approach to anomalous diffusion, Phys. A Stat. Mech. Appl. 491 (2018), 1001–1013. 10.1016/j.physa.2017.09.101Search in Google Scholar

[10] D. N. D. Hai, Filter regularization method for a nonlinear Riesz-Feller space-fractional backward diffusion problem with temporally dependent thermal conductivity, Fract. Calculus Appl. Anal. 24 (2021), no. 4, 1112–1129. 10.1515/fca-2021-0048Search in Google Scholar

[11] Y. Zhang and T. Gan, Diffusion in melts and magmas, Rev. Mineral. Geochem. 87 (2022), no. 1, 283–337. 10.2138/rmg.2022.87.07Search in Google Scholar

[12] K. Zhou and Z. Xu, Ion permeability and selectivity in composite nanochannels: Engineering through the end effects, J. Phys. Chem. C 124 (2020), no. 8, 4890–4898. 10.1021/acs.jpcc.9b11750Search in Google Scholar

[13] V. Zablotskii, T. Polyakova, and A. Dejneka, Effects of high magnetic fields on the diffusion of biologically active molecules, Cells 11 (2021), no. 1, 81. 10.3390/cells11010081Search in Google Scholar PubMed PubMed Central

[14] D. Raskhodchikov, I. Reshetov, P. Brunkov, V. Kaasik, A. Lipovskii, and D. Tagantsev, Mechanism of thermal charge relaxation in poled silicate glasses in a wide temperature range (From liquid nitrogen to glass melting temperature), J. Phys. Chem. B 124 (2020), no. 36, 7948–7956. 10.1021/acs.jpcb.0c04537Search in Google Scholar PubMed

[15] A.-E. Radi, A. Eissa, and T. Wahdan, Molecularly imprinted impedimetric sensor for determination of Mycotoxin zearalenone, Electroanalysis 32 (2020), no. 8, 1788–1794. 10.1002/elan.201900528Search in Google Scholar

[16] S. Salahshour, A. Ahmadian, N. Senu, D. Baleanu, and P. Agarwal, On analytical solutions of the fractional differential equation with uncertainty: application to the Basset problem, Entropy 17 (2015), no. 2, 885–902. 10.3390/e17020885Search in Google Scholar

[17] V. F. Morales-Delgado, J. F. Gomez-Aguilar, K. M. Saad, M. Altaf Khan, and P. Agarwal, Analytic solution for oxygen diffusion from capillary to tissues involving external force effects: a fractional calculus approach, Phys. A Stat. Mech. Appl. 523 (2019), 48–65. 10.1016/j.physa.2019.02.018Search in Google Scholar

[18] S. Rashid, K. T. Kubra, S. Sultana, P. Agarwal, and M. S. Osman, An approximate analytical view of physical and biological models in the setting of Caputo operator via Elzaki transform decomposition method, J. Comput. Appl. Math. 413 (2022), 114378. 10.1016/j.cam.2022.114378Search in Google Scholar

[19] K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, John Wiley & Sons, 1993, ISBN 978-0-471-58884-9. Search in Google Scholar

[20] S. N. Malik, N. Shahzadi, M. Raza, W. Ul Haq, and S. Zainab, On starlikeness and uniform convexity of certain integral operators defined by Struve functions, Maejo Int. J. Sci. Technol. 13 (2019), no. 2, 82–95. Search in Google Scholar

[21] S. Noreen, M. Raza, E. Deniz, and S. Kazimoglu, On the Janowski class of generalized Struve functions, Afrika Matematika 30 (2019), no. 1, 23–35. 10.1007/s13370-018-0625-xSearch in Google Scholar

[22] S. Mahmood, S. Mahroz, A. Rafiq, S. N. Malik, and M. Raza, Convexity of certain integral operators defined by Struve functions, J. Funct. Spaces 2018 (2018), 1–7. 10.1155/2018/6327132Search in Google Scholar

[23] T. Umezawa, On the theory of univalent functions, Tohoku Math. J. Second Series 7 (1955), no. 3, 212–228. 10.2748/tmj/1178245060Search in Google Scholar

[24] S. S. Miller and P. T. Mocanu, Differential Subordinations: Theory and Applications, CRC Press, Boca Raton, 2000. 10.1201/9781482289817Search in Google Scholar

[25] W. Kaplan, Close-to-convex Schlicht functions, Michigan Math. J. 1 (1952), no. 2, 169–185. 10.1307/mmj/1028988895Search in Google Scholar

[26] S. S. Miller and P. T. Mocanu. Second order differential inequalities in the complex plane, J. Math. Anal. Appl. 65 (1978), no. 2, 289–305. 10.1016/0022-247X(78)90181-6Search in Google Scholar

[27] J. Becker, Lownersche Differentialgleichung und quasikonform fortsetzbare schlichte Funktionen, J. Reine Angew. Math. 255 (1972), 23–43. 10.1515/crll.1972.255.23Search in Google Scholar

[28] S. Ozaki and M. Nunokawa, The Schwarzian derivative and univalent functions, Proc. Am. Math. Soc. 33 (1972), 392–394. 10.1090/S0002-9939-1972-0299773-3Search in Google Scholar

[29] H. Tudor, A sufficient condition for univalence, General Math. 17 (2009), 89–94. Search in Google Scholar

[30] T. Umezawa, Analytic functions convex in one direction, J. Math. Soc. Japan 4 (1952), no. 2, 194–202. 10.2969/jmsj/00420194Search in Google Scholar

[31] J. Sokol and M. Nunokawa, On some sufficient conditions for univalence and starlikeness, J. Inequalit. Appl. 2012 (2012), no. 1, 1–11. 10.1186/1029-242X-2012-282Search in Google Scholar

[32] D. Dmitrishin, A. Smorodin, A. Stokolos, and M. Tohaneanu, Symmetrization of Suffridge polynomials and approximation of T-symmetric Koebe functions, J. Math. Anal. Appl. 503 (2021), no. 2, 125350. 10.1016/j.jmaa.2021.125350Search in Google Scholar

[33] L. Fejer, Uber trigonometrische polynome, Journal für die reine und angewandte Mathematik 1916 (1916), no. 146, 53–82. 10.1515/crll.1916.146.53Search in Google Scholar

[34] R. W. Ibrahim and D. Baleanu, Modified Atangana-Baleanu fractional differential operators, Proceedings of the Institute of Mathematics and Mechanics, National Academy of Sciences of Azerbaijan, vol. 48, 2022, pp. 56–67, DOI: https://doi.org/10.30546/2409-4994.48.2022.5667. 10.30546/2409-4994.48.2022.5667Search in Google Scholar

[35] S. Momani, D. Baleanu, and R. W. Ibrahim, K-Symbol Atangana-Baleanu fractional operators in a complex domain, In: 2023 International Conference on Fractional Differentiation and Its Applications (ICFDA), IEEE, 2023, pp. 1–4. 10.1109/ICFDA58234.2023.10153370Search in Google Scholar

Received: 2023-02-19

Revised: 2023-07-20

Accepted: 2023-09-08

Published Online: 2024-04-01

This work is licensed under the Creative Commons Attribution 4.0 International License.

An equation for complex fractional diffusion created by the Struve function with a T-symmetric univalent solution

Abstract

1 Introduction

2 Convoluted fractional integral operator

2.1 Struve function

2.2 Fractional integration

Proposition 2.1

Proof

Proposition 2.2

Proof

3 Special case of [ ℋ ρ β * ψ ] ( ζ )

Proposition 3.1

Proof

Proposition 3.2

Proof

Proposition 3.3

Proof

Proposition 3.4

Proof

Proposition 3.5

Proof

Proposition 3.6

Proof

Lemma 3.7

Proposition 3.8

Proof

Example 3.9

4 Conclusion

References

Journal and Issue

Articles in the same Issue