# The fundamental theorem of simple harmonic functions

By Safwan R. Arekat

## Abstract

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.

## 1. Introduction

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.

## 3. Properties of the $\operatorname {\mathit{cine}}$ 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.

### 3.4. Periodicity

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 $\operatorname {\mathit{cin}}^2(x)$ and $\operatorname {\mathit{cin}}'^2(x)$ 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