The fundamental theorem of simple harmonic functions
The defining relation for a one-dimensional real-valued simple harmonic function designated as (pronounced “scene” and symbolized is introduced as ) It is theorized that this definition of the derivative as the function itself translated on the real line by a certain positive number . is a sufficient condition for proving that also satisfies the one-dimensional oscillator equation A proof of this hypothesis is provided by establishing the continuity, differential, and boundedness properties of . and all of its higher-order derivatives and antiderivatives, while relying critically on Roe’s characterization of the sine function. The function enables the adoption of independent non-circular definitions of the trigonometric functions sine and cosine. The properties of are investigated, and trigonometric symmetries and identities are derived directly from the defining relation and its corollaries. A formulation for the unique solution of the function is proposed. Several useful operational theorems are stated and proved. The function is applied to solve problems in trigonometry and physics.
The importance of oscillations in science and technology cannot be overestimated. Indeed, the subject is so familiar to mathematicians, physicists, and engineers that it needs little introduction. While their origin extends back to antiquity in describing triangles and geometry, the sine and cosine functions have evolved in concept, definition, and usage. They constitute the simplest mathematical description of spatial and temporal periodic oscillations, namely the simple harmonic function. It was Leonhard Euler who first recognized that the simple harmonic motion of a forced mechanical oscillator could be described by transcendental functions of time which he defined analytically to be the sine and the cosine functions Reference 1. The properties and the identities of these functions were not necessarily determined from line segments, circles, or triangles any longer, but from the defining differential equations Reference 2. This ushered in the mathematical techniques of analytical trigonometry. The consistency between the analytically obtained and the geometrically obtained properties was convincing of the validity of the new functions, and very satisfying as well. Later, Euler advanced the functions further by establishing their close and useful relationship with the complex exponential function. Powerful techniques based on analytical trigonometry, the Fourier theorems in particular, found immense applicability in mathematics and scientific fields. The sine and the cosine functions have become deeply rooted central paradigms in mathematics.
The history of mathematics is characterized by an incremental evolution in methods and concepts. Even in recent times, the characterization of the trigonometric functions continues to advance toward completeness. A few decades ago, Roe Reference 3 had arguably provided the most important contribution to advancing our understanding of trigonometric functions in a very long time. Roe’s characterization can be summarized as follows. Any function on the real line with the property that all its derivatives and antiderivatives are uniformly bounded must be a solution to the one-dimensional oscillator equation
which is necessarily satisfied by simple harmonic oscillations with period This striking argument for characterization by boundedness was hypothesized and proved by Roe and expanded by other studies. Most notably, Strichartz .Reference 4 generalized it for higher dimensions and Howard Reference 5 made it encompass complex functions. We quote Roe’s theory below because it is critically important for our own theory. In his paper Reference 3, Roe proves the following.
The present paper continues the effort toward a completeness of our understanding of trigonometric functions. Herein, the concepts of sine and cosine functions are re-evaluated through the fine-tuning of their defining relations. We show that one of the properties of the sine and cosine functions, namely their translational symmetry, can be promoted to a fundamental defining relation. In order to avoid confusion with the longstanding notions of sine and cosine, we define a new primary function (pronounced “scene” and symbolized The sine and cosine functions can then be re-defined as translations of this function. ).
The main aim in the present paper is to prove that the real-valued function with the property
satisfies the conditions in Roe’s theorem to qualify as a solution to the oscillator equation Equation 1.1. We use a slightly different formulation from that used by Roe, but eventually we recast it into Roe’s notation for comparison. We investigate the numerical and symmetry properties of the simple harmonic function, relating it to the trigonometric functions sine and cosine, and we derive trigonometric identities and properties relying only on the fundamental relation and its development, without resorting to geometry, power series expansions, or complex exponential functions. We then propose a formulation for that is suitable for practical calculations, apply it to two selected problems, and discuss the advantages of using this new function.
2. The theorem
3. Properties of the function
In the following discussion, we will interchangeably use the notation and the prime notation to indicate differtiation. However, the prime notation is used to represent differentiation with respect to the argument of a function. For example, and where , is a function of the variables , etc. Also, for brevity we continue to use the symbol , instead of .
3.1. Simple harmonic first-order differential equations
The simple harmonic function is defined to satisfy
Together with the second-order oscillator equation,
must also satisfy the first-order equations
3.2. Relation to trigonometric functions
is a general solution to the second-order oscillator equation and is similar to which is a linear combination of , and Our hypothesis allows . to be defined by a single statement, whereas two statements are needed to define the trigonometric functions sine and cosine. The function is the root function for both, and there seems to be an unnecessary redundancy in the need for two defining statements. Traditionally, sine and cosine are defined as satisfying the coupled first-order equations
with boundary conditions (BC’s) 0 and .
The equations are decoupled in second order such that and each satisfy the second-order differential equation. Novel definitions for and are introduced by comparing the first-order equations Equation 3.1 and Equation 3.3 to the standard statements for and above, respectively. By inspection, the trigonometric functions can be restated as
with BC’s and What is novel here is that both . and can now be defined independently of each other, in a direct non-circular fashion, in terms of a single function whose argument is translated by between them. Furthermore, according to this development, one could eliminate and altogether and replace them with only functions. However, it is one thing to demonstrate unified theoretical definitions of the trigonometric functions, but advocating a reformulation is a different matter altogether. The trigonometric functions have become enormously rooted mathematical paradigms, and only overwhelming analytical, algorithmic, or numerical advantage might make such a reformulation conceivable. In this paper, the function itself is the object of investigation, so it is given precedence over the trigonometric functions.
Having the foresight of conventional trigonometric functions and their properties will guide the derivation of the properties and symmetries of However, this will be pursued from the defining differential equations and the properties that are established along the way, without the direct use of trigonometric properties, whether geometric, power series or complex exponential relations. .
3.3. Boundary conditions
The existence and uniqueness theorem guarantees unique solutions to linear second-order ordinary differential equations. These are determined by specifying the value of the function and its first derivative at a given point. Since the first derivative of is the function itself shifted by finding the unique solution for , depends on specifying the values of at any two points on the real line that are separated by The expression for the . function written as does not possess the free parameters necessary to specify unique solutions. For now, it is instructive from a theoretical standpoint to refrain from the numerical assignment of the BC’s. Greater generality in deriving the properties and symmetries of may be achieved by recognizing the need for some definite (but unspecified) BC’s. A suitable choice for the BC points could be and in which case we give the BC’s symbolically as , and This contrasts the conventional approach of needing numerical assignments for the BC’s for the . and in order to deduce their properties.
As derived above, is a periodic function with period namely ,
3.5. Translational antisymmetry
is antisymmetric for a translation of its argument by By differentiating . twice, we find that
3.6. Equidistant extrema and zero crossings
Let the points , and , be a sequence of three points for an extremum, a zero crossing, and an extremum of respectively. By repeated differentiation with respect to its argument, we find that ,
In other words, the argument increases by a uniform value of along the sequence.
3.7. Linear independence
The functions and constitute a pair of linearly independent functions on the real line. To show this, assume that they are linearly related by a constant such that Differentiating this gives . giving , thereby contradicting the assumption that , is real.
3.8. The sum of and is constant
Taking the first derivative, of the sum of squares, we obtain
3.9. Arbitrary solutions to the simple harmonic differential equations
Any arbitrary function that satisfies the second-order equation is a linear combination of and written as ,
where and are any real numbers.
3.10. The central theorem of trigonometry (the sum angle relation)
The relation is the generalization of the sum of angles for the trigonometric functions, being the central theorem of trigonometry Reference 2. Here and are two independent real variables. Using linear independence, and assuming the existence of differentiable functions and we write the expression as ,
Taking the first and second partial derivatives of this expression with respect to and gives