1. Introduction
The path integral formulation of quantum mechanics is a description of quantum theory that generalizes the action principle of classical mechanics. It replaces the classical notion of a single, unique classical trajectory for a system with a sum, or functional integral over the canonical phase space. The basic idea of the path integral formulation can be traced back by [1] who introduced the Wiener integral for solving problems in diffusion and Brownian motion. This idea was extended to the use of the Lagrangian in quantum mechanics [2] . The complete method was developed by [3] .
The canonical formalism for investigating singular systems was developed by [4] [5] [6] . In this formalism, the equations of motion are obtained as total differential equations. Depending on this method, the path integral quantization of constrained Lagrangian systems has been investigated by [7] [8] [9] [10] . Moreover, the quantization of constrained systems has been studied using the WKB approximation [11] [12] [13] . Recently, the quantization of dissipative systems has been studied using the WKB approximation and path integral method which depending on Hamiltonian mechanics [14] [15] . More recently, regular Lagrangian is quantized using path integral method in [16] .
This paper is mainly concerned with nonconservative systems which are characterized by irregular Lagrangian using canonical approach and the quantization of these systems using the canonical path integral method.
Our present work is organized as follows. In Section 2, the principal function formulation and path integral formulation of nonconservative systems for irregular Lagrangian are discussed. In Section 3, the definition of the wave function for irregular Lagrangian is explained. In Section 4, illustrative example is examined in detail. The work closes with some concluding remarks in Section 5.
2. The Canonical Path Integral Formalism for Nonconservative Systems
The Euler Lagrange equation for conservative systems is given by [17]
(1)
In this work we would like to find the principal function for nonconservative systems using Euler Lagrange equation. We Start with the Lagrangian
[18] , where
stands for the Lagrangian of the corresponding conservative system. Because the Euler Lagrange equations are second order equations, we find the equations of motion from the corresponding Lagrangian in terms of the generalized coordinates and their derivatives. Then, we substitute the solutions of these equations in the given Lagrangian. Finally, the evolution of this Lagrangian between two instants of time
and
gives the principal function S as a function of time.
(2)
where H is the Hamiltonian function and p is the canonical momentum.
The path integral representation by using Hamiltonian and Lagrangian mechanics may be written as
(3)
3. Wave Function Definition for Irregular Lagrangian
In the semi classical expansion (WKB) of the Hamilton Jacobi function of regular systems has been studied [11] . This expansion leads to the following wave function [19] :
(4)
where
is the amplitude of the wave function, which is defined as
. (5)
We use the principal function to formulate the wave function.
4. Example
Let us consider one-dimensional Lagrangian of a free particle of mass m in the presence of damping [15] .
The Lagrangian is
(6)
From Euler Lagrange equation
(7)
The equation of motion is
(8)
and the solution of Equation (8) is
(9)
where C is the constant of integration.
Integrating Equation (9) and choosing
this gives
(10)
Taking the first time derivative of Equation (10)
(11)
and
(12)
Substituting Equation (12) into Equation (6) we get
(13)
Using Equation (2)
(14)
Thus, the principal function takes the following form
(15)
Also, the conjugate momentum is
(16)
So that using Equations (15) and (16) the principal function can be written in the final form as following
(17)
Using Equation (5), we obtain the amplitude of the wave function as
(18)
Making use of Equation (4) the wave function can be written as
(19)
Finally, the path integral representation may be written as
(20)
5. Conclusion
This paper is mainly concerned with path integral quantization of nonconservative systems. Nonconservative systems were studied within framework of Euler Lagrange equation. The corresponding complete integral, or principal function S, was determined using the method of time integral of the given Lagrangian. The momentum p was calculated from S in the usual manner. The appropriate wave function was then determined. The path integral for the nonconservative systems is obtained as an integration over the canonical phase space coordinates. One illustrative example is considered to demonstrate the application of our formalism.
Conflicts of Interest
The authors declare no conflicts of interest regarding the publication of this paper.