A New Type of Sturm-Liouville Equation in the Non-Newtonian Calculus
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 [3–5]. It has applications in many areas required by mathematical modeling, especially in applied mathematics [6–11], engineering [3], economics [12, 13], business [14], and medicine [15] (see also [16–22]). 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 [25–36]). 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
Theorem 2 (see [37].)Let f, g be ∗differentiable and h be classical differentiable at x.
The following equalities hold for ∗derivative.
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
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],
Conversely, ∗integrability of f on [a, b] implies
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
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.
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
These operations create some algebraic structures. If ⊕:A × A⟶A 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.
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 .
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, z ∈ X:
- (i)
<f, f>∗ ≥ 1
- (ii)
<f, f>∗ = 1 if f = 1
- (iii)
<f ⊕ g, 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
Proof. Using the properties of the multiplicative inner product and the definition of the given space, it can be easily proved.
Proof. The first estimate will only be proved because the other can be proved similarly. Since u(x, λ) satisfies (12), we get
If the ∗integration by parts method is applied to the first multiplicative integral on the right twice in a row, we get
Then, by considering the conditions in (17) in (21) with above relation,
It completes the proof.☐
Remark 9. The more general 2nd-order multiplicative differential equation
Example 10. Consider the nonlinear eigenvalue problem in a usual case:
Example 11. Now let us consider the periodic nonlinear eigenvalue problem in the usual case:
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 :
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
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
Lemma 13 (see [10].)The multiplicative Laplace transform is multiplicatively linear. Namely,
Definition 14 (see [10].)Let f, f∗, f∗∗, ⋯, f∗(n − 1) be continuous and f∗(n) be piece-wise continuous on 0 ≤ t ≤ A. Also, assume that there exists positive real numbers K, α, and t0 such that
Furthermore, exists and can be calculated by
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
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.
If the multiplicative Laplace transform is applied to both sides of the obtained equation (8) and necessary adjustments are made, we get
Finally, using the multiplicative inverse Laplace transform, the solution of (39) is
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
Using ∗integration by the parts formula two times for the first factor of the right side,
It completes the proof of self-adjointness.☐
Lemma 18. The ∗eigenfunctions φ(x, λ) and ψ(x, μ) related to distinct eigenvalues λ and μ are orthogonal, i.e.,
Proof. By the self-adjointness of the SL operator L, we get
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
By definition of the multiplicative integral,
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.☐
Proof. Let y1(x, λ), y2(x, λ) be eigenfunctions of (12) and (13) corresponding to λ. Therefore, both of these eigenfunctions satisfy the given equation.
After some straightforward operations,
By using multiplicative integral from a to x,
Since y1(x, λ), y2(x, λ) satisfy the given conditions,
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.
Open Research
Data Availability
No data were used to support this study.