1. Introduction
Perhaps, Cornelis Simon Meijer (1936) was the first to introduce the G-function in mathematics. This very general function intended to include most of the known special functions as particular cases; and for a long time, many studies have been done involving this type of functions. These functions have a lot of practical applications in the fields of mathematical physics, theoretical physics, mathematical analysis, etc.
Meijer’s G-functions are defined as Mellin-Barnes contour integrals which have been in existence for over 60 years [1-5]. Meijer’s G-function satisfies the linear ordinary differential equation (LODE) of the generalised hypergeometric type whose order is equal to [6-8]. This fact triggered us to verify the equality conditions between Meijer’s G-function’s LODE and some partial differential equations governing physical phenomena. In physics, we have many ordinary and partial differential equations, in which their solutions are elementary functions, special functions or a combination of both of them. Thus, Meijer’s G-functions can be the solution for many physical problems if the equality requirement between Meijer’s G-function’s LODE and those differential equations are verified. As such, we seek to deduce the solution of physical problems explicitly in terms of Meijer’s G-functions.
Our previous works had focused on the introduction of the Modified separation of variables method (MSV), and applying it to solve partial differential equation related to the Reaction-Diffusion process [9], Laplace’s diffusion and Schrödinger equations [10-12] which led to representing its solution in terms of Meijer’s Gfunctions. The Cartesian coordinate system is used to derive their solutions. However, in this paper, we obtain G-function solutions for the same problem related to Schrödinger equation, solved by “separation of variables (SV)” in [13], by using modified separation of variables (MSV) method and cylindrical coordinates system as follows.
2. Meijer’s G-Function
We begin with the definition of Meijer’s G-function as the following:
Definition 1 A definition of the Meijer’s G-function is given by the following path integral in the complex plane, called Mellin-Barnes type integral:
(1.1)
Here, the integers are called “orders” of the G-function, or the components of the order; and are called “parameters” and in general, they are complex numbers. The definition holds under the following assumptions: and, where and are integer numbers. Subtracting parameters for and imply that no pole of any coincides with any pole of any.
Exercise 1 Using (1.1), wo obtain the follows see [14]
(1.2)
(1.3)
(1.4)
The Meijer’s G-function satisfies the linear ordinary differential equation of the generalised hypergeometric type
(1.5)
whose order is equal to.
Choosing appropriate values for orders of G-functions, Equation (1.5) can be changed to complex first and second order linear differential equations. The following section discusses the properties of the solutions of complex first and second order differential equations, and then studies the properties of coefficient functions of these differential equations in the complex plane.
We start with using Modified separation of variables method (MSV) in cylindrical coordinates system as follows:
3. The G-Function Solutions for the Schrödinger Equation
When the geometry of the boundaries is cylindrical, the appropriate coordinate system is the cylindrical one. Separation of variables leads to ODEs in which certain constants (eigenvalues) appear. Different choices of signs for these constants can lead to different functional forms of the general solution. Thus general form of the solution is indeterminate. However, once the boundary conditions are imposed, the unique solutions will emerge regardless of the initial functional form of the solutions. Writing as a product of three functions, and a separation of variables transforms Laplace’s equation, , into three ODEs:
where in anticipation of the correct BCs, we have written the constants as and with an integer.
is a combination of two independent solutions deduced by “separation of variables method” or
is a combination of two independent solutions deduced by “modified separation of variables method”. Similarly
is a combination of two independent solutions deduced by “separation of variables method” or
is a combination of two independent solutions deduced by “modified separation of variables method”.
1) For, (1.5) reduces to
By changing, we have
By multiplying both sides of the equation by −4, we have
On the other hand, let Bessel equation
The conditions for equivalence or these two differential equations are
and its solutions is
4. Quantum Particle in a Cylindrical Can
Exercise 2 Considering a quantum particle in a cylindrical can, for an atomic particle of mass μ confined in a cylindrical can of length L and radius a, the relevant Schrödinger equation is
Let us solve this equation subject to the BCs that vanishes at the sides of the can by using MSV method.
Here is the steps: A separation of variables,
leads to the following ODEs:
(1.6)
(1.7)
The second DE, the equation, along with its BCs, constitutes an S-L system with G-function solutions.
Since the extra condition of periodicity is usually imposed on the potential for variable, the third DE, in terms of Meijer’s G-functions, has the general solution.
If we let, then the solution of the last equation that is well-behaved is at and is From the last BC, R(a) = 0, we obtain the quantisation condition for
Then, the energy eigenvalues are
component: for, (1.5) is reduced to:
On the other hand, with changing variable.
The condition for the equivalence of these two differential equations is given by the solution of t-component. Thus, the general solution can be written as
(1.8)
&