Volume 2021, Issue 1 5203939
Research Article
Open Access

A New Type of Sturm-Liouville Equation in the Non-Newtonian Calculus

Sertac Goktas

Corresponding Author

Sertac Goktas

Department of Mathematics, Faculty of Science and Letters, Mersin University, Mersin, Turkey mersin.edu.tr

Search for more papers by this author
First published: 31 October 2021
Citations: 6
Academic Editor: Muhammed Cinar

Abstract

In mathematical physics (such as the one-dimensional time-independent Schrödinger equation), Sturm-Liouville problems occur very frequently. We construct, with a different perspective, a Sturm-Liouville problem in multiplicative calculus by some algebraic structures. Then, some asymptotic estimates for eigenfunctions of the multiplicative Sturm-Liouville problem are obtained by some techniques. Finally, some basic spectral properties of this multiplicative problem are examined in detail.

1. Introduction

In the 1960’s, Grossman and Katz [1, 2] constructed a comprehensive family of calculus that includes classical calculus as well an infinite subbranches of non-Newtonian calculus. Arithmetics, a complete ordered field on A, are of great importance in the construction of non-Newtonian calculus. The real number system is a classical arithmetic. Every arithmetic produces one generator, which is one to one on the domain and range of A. Conversely, every generator produces one arithmetic. For instance, I, exp and σ(x) = (ex − 1)/(ex + 1) are generators. So, I generates usual arithmetic, exp produces geometric arithmetic, and the function σ(x) generates sigmoidal arithmetic mathematically describing the sigmoidal curves that occur in the study of population and biological growth.

Non-Newtonian calculus is divided into many subbranches as geometric, anageometric, biogeometric, quadratic, and harmonic calculus. Geometric calculus, which is one of these, is also defined as multiplicative calculus. Changes of arguments and values of a function are measured by differences and ratios in multiplicative calculus, respectively, while they are measured by differences in the classical case. Multiplicative calculus is especially useful in situations where products and ratios provide the natural methods of combining and comparing magnitudes. There are actually many reasons to study multiplicative calculus. It improves the work of additive calculations indirectly. Problems that are difficult to solve in the usual case can be solved with incredible ease in here.

Many events such as the levels of sound signals, the acidities of chemicals, and the magnitudes of earthquakes change exponentially. For this reason, examining these problems in nature using multiplicative calculus offers great convenience and benefits. It allows the physical properties of the events dealt with physically to be examined from different angles. The problems encountered in the study of these physical properties can be expressed with multiplicative differential equations [35]. It has applications in many areas required by mathematical modeling, especially in applied mathematics [611], engineering [3], economics [12, 13], business [14], and medicine [15] (see also [1622]). Different alternative analyses have been developed to solve the problems that arise while working with these problems and to achieve better results in solving the problems. For example, the analytical solution of a differential equation that is very difficult in classical calculus can be obtained more easily in multiplicative calculus. Moreover, one of the importance of this theory is to find positive solutions of nonlinear differential equations. The investigation of various properties of positive solutions has an important place in the spectral theory of differential operators (see [23, 24]). This theory has few applications to spectral analysis. For this reason, we think that the results we will obtain will have very significant reflections in spectral theory and will open new fields.

The concepts and methods developed during the study of the Sturm-Liouville (SL) equation led to the development of many important directions of mathematics and physics. In kindred areas of analysis and the SL theory that studies some properties such as asymptotic behavior of eigenvalues and eigenfunctions, these are a source of new problems and ideas [25]. It is a very important equation used to explain many phenomena in nature. The one-dimensional time-independent Schrödinger equation in quantum mechanics can be given as an example of SL equation. Significant results have been obtained by many mathematicians over the years regarding the SL equation (see [2536]). This equation has not yet been addressed in multiplicative calculus. The results we will obtain will make important contributions to mathematical physics. Therefore, we examine the multiplicative SL problem other than the Newtonian calculus. Multiplicative analysis techniques can also be applied to different operators that have a significant impact on spectral theory.

2. Preliminaries

In this section, we will express the notions and theorems in multiplicative analysis, which are extremely important in solving the problem and examining its properties. There are many other features of this new theory that are available, other than the ones below. However, expressing the properties of the multiplicative derivative and integral is especially important for the rest of our study. This derivative and integral are structurally quite different from classical derivative and integral. In fact, it makes a great difference in logic. These concepts will make a great difference in physics, biology, spectral theory, and economics.

Definition 1 (see [37].)Let f : A+.  Derivative of f is expressed by

(1)
if the above limit exists and is positive. Indeed,  derivative is also called as the multiplicative (or geometric) derivative. Moreover, f is usual differentiable at x, and then,
(2)

Theorem 2 (see [37].)Let f, g be  differentiable and h be classical differentiable at x.

The following equalities hold for  derivative.

(3)
where c is a positive constant.

Definition 3 (see [37].)Let f+ be bounded on [a, b]. Consider the partition of [a, b] and the numbers ξ1, ξ2, ⋯, ξn associated with the partition f is said to be  integrable if there exists a number P having the following property: for every ε > 0, there exists a partition of [a, b] such that for every refinement of independently on the selection of the numbers associated with the partition where

(4)

Then, symbol is called  integral of f on [a, b].

Considering this definition, if f+ is integrable on [a, b], it is  integrable on [a, b],

(5)

Conversely,  integrability of f on [a, b] implies

(6)

Indeed,  integral is also called as multiplicative integral.

Theorem 4 (see [37].)Let f, g+ be bounded and  integrable and h+ be usual differentiable on [a, b]. Then, the following expression holds

(7)
where k is a constant and c ∈ [a, b]. The expression v is known as  integration by parts formula.

3. Multiplicative SL Equation

In this section, the multiplicative SL equation will be established by using some algebraic structures and the eigenfunctions of the constructed problem will be obtained.

Firstly, let us express some concepts that form the basis of the SL equation in the multiplicative case. nth-order multiplicative linear differential expression is in the form of
(8)
where sn(x), sn−1(x), ⋯, s0(x) are the continuous exponents on [a, b]. Let
(9)
be the linear form when ya and yb are the values of y at end points of [a, b]. If such forms uν(y) have been specified for and the conditions uν(y) = 1 are imposed into y(x) ∈ C∗(n), it must satisfy these boundary conditions, where C∗(n) shows the set of the functions which are nth-order multiplicative differentiable and continuous. Let us consider a certain multiplicative differential expression l(y) with uν(y) = 1 on DC∗(n). Assume that u = l(y) is a function where y(x) ∈ D. This relation is denoted by L whose domain is D. The operator L is called multiplicative differential operator generated by l(y) = ω(x) and uν(y) = 1. The problem of determination y(x) ∈ C∗(n) which satisfies the conditions l(y) = 1 and uν(y) = 1 is called the homogeneous multiplicative boundary value problem.

Definition 5. Let Ly = yλ. y ≠ 1 is called multiplicative eigenfunction ( eigenfunction) of the operator L. Here, λ is a multiplicative eigenvalue ( eigenvalue) of L. That is, the  eigenvalues of an operator L are the values of λ when the multiplicative boundary value problem

(10)
has nontrivial solutions.

We will soon construct the multiplicative SL problem. That way, let us express multiplicative algebraic structures that we will encounter while establishing and solving the multiplicative SL equation. Arithmetic operations created with exponential functions are called multiplicative algebraic operations. Let us show some properties of these operations with a multiplicative arithmetic table for f, g+ [37].
(11)

These operations create some algebraic structures. If ⊕:A × AA is an operation where A and A+, the algebraic structure (A, ⊕) is called a multiplicative group. Similarly, (A, ⊕, ⊙) is a multiplicative ring. This situation gives us the opportunity to use these processes easily and define different structures.

Consider the following multiplicative SL equation for x ∈ [a, b]
(12)
with the conditions
(13)
where q is real valued on [a, b] and α, β arbitrary real numbers. If we expand and simplify this problem by using the properties of multiplicative calculus, the multiplicative SL problem
(14)
is obtained.
In usual case, (12) is equivalent to the following nonlinear equation
(15)

The solutions of this nonlinear equation coincide with the solutions of multiplicative equation (12). This shows how important the multiplicative calculus is.

We assume that a = 0, b = π throughout this study without the loss of generality. In fact, [a, b] is mapped to [0, π] by the substitution .

By setting cotα = −h and cotβ = H, the boundary conditions in (13) are converted to
(16)
Let us denote the solutions of (12) by u(x, λ) and v(x, λ) which satisfies
(17)
(18)

In order to avoid any difficulties in expressing the main parts of the study, the multiplicative inner product will be defined and the spaces used throughout the study will be given in the multiplicative case.

Definition 6. Let S ≠ ∅ and <, > : S × S+ be a mapping such that the following axioms hold for each x, y, zX:

  • (i)

    <f, f> ≥ 1

  • (ii)

    <f, f> = 1 if f = 1

  • (iii)

    <fg, h> = <f, h> ⊕ <g, h>

  • (iv)

    <eαf, g> = eα⊙<f, g>, α

  • (v)

    <f, g> = <g, f>

Here, (S, <, >) is called the  inner product space and <, > is the  inner product on S.

Lemma 7. The space is an  inner product space with

(19)
where are positive functions.

Proof. Using the properties of the multiplicative inner product and the definition of the given space, it can be easily proved.

Theorem 8. Let λ = μ2. The asymptotic formulas of  eigenfunction of problems (12) and (13) are

(20)

Proof. The first estimate will only be proved because the other can be proved similarly. Since u(x, λ) satisfies (12), we get

(21)

If the  integration by parts method is applied to the first multiplicative integral on the right twice in a row, we get

(22)

Then, by considering the conditions in (17) in (21) with above relation,

(23)

It completes the proof.☐

Remark 9. The more general 2nd-order multiplicative differential equation

(24)
can be transformed into the following multiplicative SL equation
(25)
where . If the multiplicative Liouville transform is used here, the multiplicative differential equation above turns to the following multiplicative SL equation:
(26)
where q(x) = r(x) − (1/4)(2p(x) + p2(x)).

Example 10. Consider the nonlinear eigenvalue problem in a usual case:

(27)

It is quite difficult to solve this problem in the usual case. For this reason, we will obtain the eigenvalues and eigenfunctions of the problem by using multiplicative calculus techniques. By the relation , (27) turns into the multiplicative linear eigenvalue problem
(28)
If λ ≤ 0, the trivial eigenfunction y(x, λ) = 1 is obtained. Suppose that λ > 0. Then, the solution of (28) is
(29)
where n = 1, 2, 3, ⋯, and αn are constants. This solution is also the solution to nonlinear eigenvalue problem (27). This situation shows how effective multiplicative calculus can be in mathematical physics.

Example 11. Now let us consider the periodic nonlinear eigenvalue problem in the usual case:

(30)

This problem is very important in mathematical physics and its solution is extremely difficult in the usual case. Now, let us turn this problem into an equation that is more solvable in multiplicative calculus by relation :

(31)

This problem is a multiplicative periodic linear eigenvalue problem. Here, we get y(x, λ) = 1 and y(x, λ) = e when λ < 0 and λ = 0, respectively. Assume that λ > 0. If the similar operations to the above solution are performed and periodic conditions are taken into account, we get

(32)
where an are constants.

Now, we will establish the above equation with new conditions and examine its solutions with another method. For this solution, the multiplicative Laplace transform will be expressed and all the necessary properties will be given. Then, the multiplicative SL problem will be solved using this multiplicative transformation. The flawless operation of this transformation in multiplicative analysis is important in terms of carrying many concepts and theorems present in the classical case to this field. We can guess from this situation that transformations used for different purposes in mathematical physics can also be carried. This is important in terms of considering many theories in mathematical physics from a different perspective and obtaining different results.

Definition 12 (see [10].)Let f(t) ∈ + on [0, ∞). Multiplicative Laplace transform for f is expressed by

(33)
where denotes usual Laplace transform.

Lemma 13 (see [10].)The multiplicative Laplace transform is multiplicatively linear. Namely,

(34)
where c1, c2 are arbitrary exponents.

Definition 14 (see [10].)Let f, f, f∗∗, ⋯, f∗(n − 1) be continuous and f∗(n) be piece-wise continuous on 0 ≤ tA. Also, assume that there exists positive real numbers K, α, and t0 such that

(35)

Furthermore, exists and can be calculated by

(36)

Definition 15 (see [10].)Let F(s) be a multiplicative Laplace transform of continuous function f, i.e., And is called the inverse multiplicative Laplace transform. Here, we have the following relation

(37)

Now, let us solve a nonlinear initial value problem in the usual case by the multiplicative Laplace transform.

Example 16. Consider the below nonlinear IVP.

(38)
where q(x) = c and c is a constant. By substitution , (38) turns into the following multiplicative IVP.
(39)

If the multiplicative Laplace transform is applied to both sides of the obtained equation (8) and necessary adjustments are made, we get

(40)

Finally, using the multiplicative inverse Laplace transform, the solution of (39) is

(41)

4. Some Spectral Properties of the Multiplicative SL Problem

We examine some properties of the multiplicative SL operator as self-adjointness, orthogonality, reality, and simplicity in this section. Especially, the concepts of operator self-adjointness and simplicity of eigenvalues have a very important place in physics. The self-adjointness of an operator provides a great advantage in explaining the problem and event. In addition, the simplicity of the eigenvalues is useful in resolving complex physical structures. Orthogonality of eigenfunctions and realism of eigenvalues also have different and important meanings physically. For all these reasons, these features will be examined mathematically.

Lemma 17. The multiplicative Sturm-Liouville operator L in (12) is formally self-adjoint on .

Proof. Let us use the notion of the multiplicative inner product on It gives

(42)

Using  integration by the parts formula two times for the first factor of the right side,

(43)
where Setting this result in (42) implies that
(44)
whereWm{u, v}(x) = (uv) ⊖ (vu). It follows by the conditions in (13) that Wm{u, v}(0) = Wm{u, v}(π) = 1. Therefore, we get
(45)

It completes the proof of self-adjointness.☐

Lemma 18. The  eigenfunctions φ(x, λ) and ψ(x, μ) related to distinct eigenvalues λ and μ are orthogonal, i.e.,

(46)

Proof. By the self-adjointness of the SL operator L, we get

(47)
where u(x) = φ(x, λ), v(x) = ψ(x, μ). Since λμ and the right-side multiplicative integral is positive, it gives orthogonality of the  eigenfunctions.☐

Lemma 19. All eigenvalues of multiplicative SL problems (12) and (13) are real.

Proof. Let λ = u + iv be a complex eigenvalue for the given problem. is also an eigenvalue for (12) and (13) corresponding to . By previous the lemma, we acquire

(48)

By definition of the multiplicative integral,

(49)

This is a contradiction. It is due to our assumption. So, the chosen eigenvalue is real. Since this eigenvalue is arbitrary, all eigenvalues of the problem are real.

Now, let us examine another important spectral property of this problem. The simplicity of eigenvalues is a very important feature in mathematical physics, and there are many proof techniques for simplicity. The algebraic multiplicity of an eigenvalue is the number of times it repeats as a root of the characteristic polynomial. If the algebraic multiplicity of an eigenvalue is 1, that eigenvalue is called a simple eigenvalue.☐

Lemma 20. All eigenvalues of multiplicative SL equations (12) and (13) are simple.

Proof. Let y1(x, λ), y2(x, λ) be eigenfunctions of (12) and (13) corresponding to λ. Therefore, both of these eigenfunctions satisfy the given equation.

(50)

After some straightforward operations,

(51)

By using multiplicative integral from a to x,

(52)

Since y1(x, λ), y2(x, λ) satisfy the given conditions,

(53)

If we use this result in (52), it yields Wm{y1, y2}(a) = 1. It gives that y1 and y2 are linearly dependent on [a, b]. It completes the proof.☐

5. Conclusion

In this study, we have constructed the multiplicative SL problem and obtained  eigenfunctions of that problem by using some techniques. Later, this problem was investigated in terms of spectral theory in the multiplicative case. This study shows that multiplicative calculus methods can be applied to problems in spectral analysis and give solutions more effectively. This situation will make great contributions to the theory if many important theorems and problems in spectral theory are dealt with in multiplicative calculus. The foundations of multiplicative analysis in spectral theory established with this study can then be applied to different topics of mathematical physics. For example, inverse problems in spectral theory can be identified in this analysis and quality results can be obtained for applications of inverse problems in engineering and medicine. Problems that are difficult to solve in medicine and engineering and situations that cause time loss during application can be reduced by using multiplicative analysis. The current methods and techniques in medicine and engineering can be developed by multiplicative analysis. These developments can be made in many application areas other than reverse problems. Some numerical computation techniques used in spectral analysis can be reestablished in this new theory, and different evaluations can be made.

Conflicts of Interest

The author declares that he has no competing interests.

Data Availability

No data were used to support this study.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.