ABSTRACT Ordinary differential equations, both first and second order, are essential in the modeling of many physical systems. A system of simultaneous differential equations results from more complicated modeling involving more than one dependent variables with respect to a single independent variable. There are several methods in solving a system of simultaneous linear differential equations including variable substitution, Laplace transform and using the D-operator. Proposed in this paper is a simplified method of solving a set of two non-homogeneous linear first-order simultaneous ordinary differential equations with constant coefficients that falls into a certain form. An algebraic formula is developed to compute the solution to the said differential equations provided a certain necessary condition is satisfied. Four different forms of the functions of the independent variable on the right side of the equations, namely constants, linear functions, natural exponential functions and sinusoidal functions, are considered. For each case, an algebraic formula to calculate the dependent variable as well as its derivative are developed. Moreover, these simple algebraic formulae can be easily programmed into spreadsheet where one just has to enter the values of the constants and coefficients from the original equations and instantly obtain the correct answers. Key words: Simultaneous differential equations; Non-homogeneous differential equations; Cramer’s rule. IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 1 Algebraic Solution to Simultaneous Linear First-Order Non- Homogeneous Differential Equations with Constant Coefficients Seng Chu Chow INTI International College Subang, Malaysia 1. Introduction Ordinary Differential Equations (ODE) play a crucial role in understanding and modeling various physical phenomena across many fields such as engineering, sciences and economics. Among the numerous applications of first-order differential equations are solutions mixing, population change, heating or cooling, free-falling body, fluid dynamics, resistive-capacitive (RC) and resistive-inductive (RL) circuits. Second-order differential equations find its applications in spring-mass vibration, RLC circuits, wave propagations, etc. By solving a differential equation using its known initial conditions, which is known as Initial Value Problem (IVP), we can anticipate the behavior of the physical system over time. [7] Simultaneous differential equations is a system of at least two differential equations with two or more dependent variables but share a single common independent variable. These equations govern the inter-relationship between the rate of change of the dependent variables with respect to the independent variable. [8] The general form of an nth-order linear Ordinary Differential Equation is: π‘Žπ‘›(π‘₯) 𝑑𝑛𝑦 𝑑π‘₯𝑛 + π‘Žπ‘›βˆ’1(π‘₯) π‘‘π‘›βˆ’1𝑦 𝑑π‘₯π‘›βˆ’1 + β‹― + π‘Ž1(π‘₯) 𝑑𝑦 𝑑π‘₯ + π‘Ž0(π‘₯)𝑦 = 𝐹(π‘₯) (1) Since this paper only consider 1st-order ODE, equation (1) reduces to π‘Ž1(π‘₯) 𝑑𝑦 𝑑π‘₯ + π‘Ž0(π‘₯)𝑦 = 𝐹(π‘₯) (2) where π‘Ž1(π‘₯), π‘Ž2(π‘₯) and 𝐹(π‘₯) are functions of x only, and there is no restriction on the nature of these x-dependencies. [5, 6] IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 2 2 Example of a System of Simultaneous 1st-order ODE 2.1 Double Mixing Problem Figure 1 below shows a brine solution with concentration 𝐡1(π‘˜π‘”/𝑙) flows at a constant rate of 𝐹1(𝑙/𝑠) into Tank 1 that initially contains 𝑉1(𝑙) of the same brine. The solution in the tank is kept well stirred and flows out of Tank 1 at a rate of 𝐹2 with concentration 𝐡2 directly into Tank 2 with volume 𝑉2. The solution in Tank 2 is also well mixed and flows out at a rate of 𝐹3 with concentration 𝐡3 . The mass of salt in Tank 1 and Tank 2 are π‘š1(𝑑) and π‘š2(𝑑) respectively. The IVP for this problem is given by: π‘‘π‘š1 𝑑𝑑 = 𝐡1𝐹1 βˆ’ π‘š1 𝑉1+(𝐹1βˆ’πΉ2)βˆ™π‘‘ 𝐹2 , π‘š1(0) = π‘Ž (3a) π‘‘π‘š2 𝑑𝑑 = π‘š1 𝑉1+(𝐹1βˆ’πΉ2)βˆ™π‘‘ 𝐹2 βˆ’ π‘š2 𝑉2+(𝐹2βˆ’πΉ3)βˆ™π‘‘ 𝐹3 , π‘š2(0) = 𝑏 (3b) where a and b are the initial mass of salt in Tank 1 and Tank 2, respectively. 2.2 Simplifying IVP In most applications, 𝐹1, 𝐹2 and 𝐹3 are constant and equal, otherwise the volume of liquid in the two tanks would be changing with time. If the two volumes are assumed to be equal, that is 𝑉1 = 𝑉2 = 𝑉, then the IVP in equation (3) is simplified to π‘š1 β€² = 𝐴 βˆ’ πΎπ‘š1 (4a) π‘š2 β€² = πΎπ‘š1 βˆ’ πΎπ‘š2 (4b) where Figure 1: Double Mixing Problem IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 3 𝐴 = 𝐡1𝐹, 𝐾 = 𝐹 𝑉 and 𝐹1 = 𝐹2 = 𝐹3 = 𝐹. (4c) Putting equation (4) in matrix form, we have [ π‘š1 β€² π‘š2 β€² ] = [ βˆ’πΎ 0 𝐾 βˆ’πΎ ] [ π‘š1 π‘š2 ] + [ 𝐴 0 ] (5) If the input concentration can be continuously adjusted to be in direct proportional to the varying mass of salt in Tank 1, that is 𝐡1 ∝ π‘š1, then 𝐴 = π‘π‘š1𝐹 = 𝐢 βˆ™ π‘š1 (6) where p is the constant of proportionality between 𝐡1 and π‘š1 , and the constant c is the product of p and F. With this assumption, equation (5) can be simplified to [ π‘š1 β€² π‘š2 β€² ] = [ βˆ’πΎ + 𝐢 0 𝐾 βˆ’πΎ ] [ π‘š1 π‘š2 ] (7) 2.3 De-coupling of the System The eigenvalues of equation (7) can be found by solving the characteristic polynomial | πœ† + 𝐾 βˆ’ 𝐢 0 βˆ’πΎ πœ† + 𝐾 | = 0 (8) which yields πœ†1 = βˆ’πΎ and πœ†2 = βˆ’(𝐾 βˆ’ 𝐢) (9) with the corresponding eigenvectors 𝛼1 = π‘Ÿ [ 0 1 ] and 𝛼2 = 𝑠 [ 𝐢 𝐾 1 ] , π‘Ÿ, 𝑠 ∈ 𝑅. (10) The transition matrix P and its inverse is given by 𝑃 = [ 0 𝐢 𝐾 1 1 ] , π‘ƒβˆ’1 = 1 βˆ’ 𝐢 𝐾 [ 1 βˆ’ 𝐢 𝐾 βˆ’1 0 ] (11) As expected, IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 4 1 βˆ’ 𝐢 𝐾 [ 1 βˆ’ 𝐢 𝐾 βˆ’1 0 ] [ βˆ’πΎ + 𝐢 0 𝐾 βˆ’πΎ ] [ 0 𝐢 𝐾 1 1 ] = [ πœ†1 0 0 πœ†2 ] (12) Let’s define π‘š = 𝑃π‘₯ and π‘šβ€² = 𝑃π‘₯β€² (13) where π‘₯ = [ π‘₯1(𝑑) π‘₯2(𝑑) ] is a dummy function. Substitute (13) into (7) yields 𝑃π‘₯β€² = [ βˆ’πΎ + 𝐢 0 𝐾 βˆ’πΎ ] 𝑃π‘₯ (14) Multiply (14) by π‘ƒβˆ’1 gives π‘ƒβˆ’1𝑃π‘₯β€² = π‘ƒβˆ’1 [ βˆ’πΎ + 𝐢 0 𝐾 βˆ’πΎ ] 𝑃π‘₯ (15) Incorporate equations (9), (11) and (12) into (15), we have [ π‘₯1 β€² (𝑑) π‘₯2 β€² (𝑑) ] = [ πœ†1 0 0 πœ†2 ] [ π‘₯1(𝑑) π‘₯2(𝑑) ] (16a) which gives π‘₯1 β€² = πœ†1π‘₯1 (16b) π‘₯2 β€² = πœ†2π‘₯2 (16c) The system is now decoupled [9, 10]. 2.4 Solution to example The solutions to equation (16) are easily obtained using separation of variables method as π‘₯1(𝑑) = 𝐷1π‘’βˆ’πΎπ‘‘ (17a) π‘₯2(𝑑) = 𝐷2π‘’βˆ’(πΎβˆ’πΆ)𝑑 (17b) IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 5 Since π‘š = 𝑃π‘₯, we have [ π‘š1 π‘š2 ] = [ 0 𝐢 𝐾 1 1 ] [ 𝐷1π‘’βˆ’πΎπ‘‘ 𝐷2π‘’βˆ’(πΎβˆ’πΆ)𝑑 ] . (18) With the initial conditions π‘š1(0) = π‘Ž and π‘š2(0) = 𝑏, it is easy to verify that the solutions to the IVP in (3) are π‘š1(𝑑) = π‘Žπ‘’βˆ’(πΎβˆ’πΆ)𝑑 (19a) π‘š2(𝑑) = (𝑏 βˆ’ πΎπ‘Ž 𝐢 ) π‘’βˆ’πΎπ‘‘ + πΎπ‘Ž 𝐢 π‘’βˆ’(πΎβˆ’πΆ)𝑑 (19b) 3 Existing Solution Methods There are several methods to solve simultaneous differential equations, each has it own restrictions on the form of the equations. [11, 12, 13, 14, 15, 16] These methods are: (i) Substitution (ii) Elimination (iii) D-Operator (iv) Laplace transform (v) Numerical recursive calculations (vi) Software package IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 6 4. Proposed Algebraic Solutions A special case of simultaneous differential equations is focused here, where only one dependent variable y, and one independent variable x, are involved. However, the solution must satisfy two non-homogeneous differential equations simultaneously. The main result of this paper is stated as a theorem below. Theorem 1 The solutions to the set of non-homogeneous linear first-order simultaneous ordinary differential equations with constant coefficients in the form of π‘Ž1𝑦′ + π‘Ž0𝑦 = 𝑓(π‘₯) (20a) 𝑏1𝑦′ + 𝑏0𝑦 = 𝑔(π‘₯) (20b) are given by 𝑦(π‘₯) = 𝑔(π‘₯)π‘Ž1βˆ’π‘“(π‘₯)𝑏1 π‘Ž1𝑏0βˆ’π‘Ž0𝑏1 (21a) 𝑦′(π‘₯) = 𝑓(π‘₯)𝑏0βˆ’π‘”(π‘₯)π‘Ž0 π‘Ž1𝑏0βˆ’π‘Ž0𝑏1 (21b) with the necessary condition π‘Ž1𝑔′(π‘₯) βˆ’ 𝑏1𝑓′(π‘₯) = 𝑏0𝑓(π‘₯) βˆ’ π‘Ž0𝑔(π‘₯). (21c) Proof Write the given equations in matric form as [ π‘Ž1 π‘Ž0 𝑏1 𝑏0 ] [ 𝑦′ 𝑦 ] = [ 𝑓(π‘₯) 𝑔(π‘₯) ] (22) Define the following three determinants |𝐴| = | π‘Ž1 π‘Ž0 𝑏1 𝑏0 | = π‘Ž1𝑏0 βˆ’ π‘Ž0𝑏1 (23a) |𝐴1| = | 𝑓(π‘₯) π‘Ž0 𝑔(π‘₯) 𝑏0 | = 𝑏0𝑓(π‘₯) βˆ’ π‘Ž0𝑔(π‘₯) (23b) |𝐴2| = | π‘Ž1 𝑓(π‘₯) 𝑏1 𝑔(π‘₯) | = π‘Ž1𝑔(π‘₯) βˆ’ 𝑏1𝑓(π‘₯) (23c) Using Cramer’s Rule, the solutions are 𝑦′(π‘₯) = 𝑏0𝑓(π‘₯)βˆ’π‘Ž0𝑔(π‘₯) π‘Ž1𝑏0βˆ’π‘Ž0𝑏1 and 𝑦(π‘₯) = π‘Ž1𝑔(π‘₯)βˆ’π‘1𝑓(π‘₯) π‘Ž1𝑏0βˆ’π‘Ž0𝑏1 (24) However, since 𝑦(π‘₯) and 𝑦′(π‘₯) are not constants and 𝑦′(π‘₯) is obtained by differentiating 𝑦(π‘₯) with respect to x, the following necessary condition must be satisfied: π‘Ž1𝑔′(π‘₯) βˆ’ 𝑏1𝑓′(π‘₯) = 𝑏0𝑓(π‘₯) βˆ’ π‘Ž0𝑔(π‘₯) ∎ (25) Note that the solution 𝑦(π‘₯) can be obtained using simple algebraic computation. Now let’s look at the four common functions for 𝑓(π‘₯) and 𝑔(π‘₯). 4.1 Case 1: 𝒇(𝒙) 𝐚𝐧𝐝 π’ˆ(𝒙) are constants. IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 7 𝑓(π‘₯) = 𝑓 and 𝑔(π‘₯) = 𝑔, where f and g are scalar constants. The necessary condition becomes 0 = 𝑏0𝑓 βˆ’ π‘Ž0𝑔 (26) and the solutions are 𝑦′(π‘₯) = 𝑏0π‘“βˆ’π‘Ž0𝑔 𝛼 = 0 (27a) 𝑦(π‘₯) = π‘Ž1π‘”βˆ’π‘1𝑓 𝛼 (27b) where the constant 𝛼 is defined as 𝛼 = π‘Ž1𝑏0 βˆ’ π‘Ž0𝑏1 (28) Numerical Example 1 2𝑦′ + 3𝑦 = 6 5𝑦′ βˆ’ 𝑦 = βˆ’2 π‘Ž1 = 2, π‘Ž0 = 3, 𝑏1 = 5, 𝑏0 = βˆ’1, 𝑓 = 6 and 𝑔 = βˆ’2. 𝑏0𝑓 βˆ’ π‘Ž0𝑔 = (βˆ’1)(6) βˆ’ (3)(βˆ’2) = βˆ’6 + 6 = 0 𝛼 = (2)(βˆ’1) βˆ’ (3)(5) = βˆ’17 So, 𝑦′(π‘₯) = (βˆ’1)(6)βˆ’(3)(βˆ’2) βˆ’17 = 0 𝑦(π‘₯) = (2)(βˆ’2)βˆ’(5)(6) βˆ’17 = βˆ’34 βˆ’17 = 2 (29) IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 8 Check: Eq 1: 2𝑦′ + 3𝑦 = 2(0) + 3(2) = 6 √ Eq 2: 5𝑦′ βˆ’ 𝑦 = 5(0) βˆ’ (2) = βˆ’2 √ 4.2 Case 2: 𝒇(𝒙) 𝐚𝐧𝐝 π’ˆ(𝒙) are linear functions of x. 𝑓(π‘₯) = π‘š1π‘₯ + π‘š0 and 𝑔(π‘₯) = 𝑛1π‘₯ + 𝑛0. The necessary condition becomes π‘Ž1𝑛1 βˆ’ 𝑏1π‘š1 = 𝑏0(π‘š1π‘₯ + π‘š0) βˆ’ π‘Ž0(𝑛1π‘₯ + 𝑛0) = 𝑏0π‘š1π‘₯ + 𝑏0π‘š0 βˆ’ π‘Ž0𝑛1π‘₯ βˆ’ π‘Ž0𝑛0 = (𝑏0π‘š1 βˆ’ π‘Ž0𝑛1)π‘₯ + (𝑏0π‘š0 βˆ’ π‘Ž0𝑛0) (30) Equating coefficients of like powers yield the following two necessary conditions. 𝑏0π‘š1 βˆ’ π‘Ž0𝑛1 = 0 (31a) π‘Ž1𝑛1 βˆ’ 𝑏1π‘š1 = 𝑏0π‘š0 βˆ’ π‘Ž0𝑛0 (31b) The solutions are 𝑦(π‘₯) = (𝑛1π‘₯+𝑛0)π‘Ž1βˆ’(π‘š1π‘₯+π‘š0)𝑏1 𝛼 = (π‘Ž1𝑛1βˆ’π‘1π‘š1)π‘₯+(π‘Ž1𝑛0βˆ’π‘1π‘š0) 𝛼 (32a) 𝑦′(π‘₯) = (π‘š1π‘₯+π‘š0)𝑏0βˆ’(𝑛1π‘₯+𝑛0)π‘Ž0 𝛼 = (𝑏0π‘š1βˆ’π‘Ž0𝑛1)π‘₯+(𝑏0π‘š0βˆ’π‘Ž0𝑛0) 𝛼 (32b) Numerical Example 2 𝑦′ + 3𝑦 = 6π‘₯ + 2 βˆ’3𝑦′ + 4𝑦 = 8π‘₯ βˆ’ 6 π‘Ž1 = 1, π‘Ž0 = 3, 𝑏1 = βˆ’3, 𝑏0 = 4, π‘š1 = 6, π‘š0 = 2, 𝑛1 = 8 , 𝑛0 = βˆ’6 Condition 1: 𝑏0π‘š1 βˆ’ π‘Ž0𝑛1 = (4)(6) βˆ’ (3)(8) = 0 => Satisfied Condition 2: π‘Ž1𝑛1 βˆ’ 𝑏1π‘š1 = 𝑏0π‘š0 βˆ’ π‘Ž0𝑛0 (1)(8) βˆ’ (βˆ’3)(6) = (4)(2) βˆ’ (3)(βˆ’6) 8 + 18 = 8 + 18 => Satisfied 𝛼 = (1)(4) βˆ’ (3)(βˆ’3) = 13 𝑦(π‘₯) = [(1)(8)βˆ’(βˆ’3)(6)]π‘₯+[(1)(βˆ’6)βˆ’(βˆ’3)(2)] 13 = 2π‘₯ 𝑦′(π‘₯) = [(4)(6)βˆ’(3)(8)]π‘₯+[(4)(2)βˆ’(3)(βˆ’6)] 13 = 2 Check: Eq 1: 𝑦′ + 3𝑦 = 2 + 3(2π‘₯) = 6π‘₯ + 2 √ IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 9 Eq 2: βˆ’3(2) + 4(2π‘₯) = 8π‘₯ βˆ’ 6 √ 4.3 Case 3: 𝒇(𝒙) 𝐚𝐧𝐝 π’ˆ(𝒙) are exponential functions 𝑓(π‘₯) = π‘π‘’π‘˜π‘₯ and 𝑔(π‘₯) = π‘žπ‘’π‘˜π‘₯ , 𝑝, π‘ž, π‘˜ = constant. (33) The necessary condition is π‘Ž1π‘žπ‘˜π‘’π‘˜π‘₯ βˆ’ 𝑏1π‘π‘˜π‘’π‘˜π‘₯ = 𝑏0π‘π‘’π‘˜π‘₯ βˆ’ π‘Ž0π‘žπ‘’π‘˜π‘₯ (34) which simplifies to π‘˜(π‘Ž1π‘ž βˆ’ 𝑏1𝑝) = (𝑏0𝑝 βˆ’ π‘Ž0π‘ž). (35) Using the above theorem, the solution is given by 𝑦(π‘₯) = π‘Ž1π‘žπ‘’π‘˜π‘₯βˆ’π‘1π‘π‘’π‘˜ π‘Ž1𝑏0βˆ’π‘Ž0𝑏1 = π‘Ž1π‘žβˆ’π‘1𝑝 𝛼 βˆ™ π‘’π‘˜π‘₯ (36a) 𝑦′(π‘₯) = 𝑏0π‘π‘’π‘˜π‘₯βˆ’π‘Ž0π‘žπ‘’π‘˜π‘₯ π‘Ž1𝑏0βˆ’π‘Ž0𝑏1 = 𝑏0π‘βˆ’π‘Ž0π‘ž 𝛼 βˆ™ π‘’π‘˜π‘₯ (36b) 𝛼 = π‘Ž1𝑏0 βˆ’ π‘Ž0𝑏1 (36c) Numerical Example 3 2𝑦′ + 3𝑦 = 3𝑒3π‘₯ 𝑦′ βˆ’ 2𝑦 = 1 3 𝑒3π‘₯ π‘Ž1 = 2, π‘Ž0 = 3, 𝑏1 = 1, 𝑏0 = βˆ’2, 𝑝 = 3, π‘ž = 1 3 , π‘˜ = 3 π‘˜(π‘Ž1π‘ž βˆ’ 𝑏1𝑝) = 3 ( 2 3 βˆ’ 3) = βˆ’7 ; 𝑏0𝑝 βˆ’ π‘Ž0π‘ž = βˆ’6 βˆ’ 1 = βˆ’7 => Condition satisfied 𝛼 = (2)(βˆ’2) βˆ’ (3)(1) = βˆ’7 𝑦(π‘₯) = (2)( 1 3 )βˆ’(1)(3) βˆ’7 βˆ™ 𝑒3π‘₯ = 1 3 βˆ™ 𝑒3π‘₯ 𝑦′(π‘₯) = (βˆ’2)(3)βˆ’(3)( 1 3 ) βˆ’7 βˆ™ 𝑒3π‘₯ = 𝑒3π‘₯ Check: Eq 1: 2𝑦′ + 3𝑦 = 2(𝑒3π‘₯) + 3 ( 1 3 𝑒3π‘₯) = 3𝑒3π‘₯ √ Eq 2: 𝑦′ βˆ’ 2𝑦 = (𝑒3π‘₯) βˆ’ 2 ( 1 3 𝑒3π‘₯) = 1 3 𝑒3π‘₯ √ IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 10 These calculations are programmed into an Excel spreadsheet as shown below Figure 2. One just have to enter the corresponding constants and coefficients to obtain the correct answer instantly. The necessary condition is also checked and the solution is verified automatically. 4.4 Case4: 𝒇(𝒙) 𝐚𝐧𝐝 π’ˆ(𝒙) are sine and cosine functions 𝑓(π‘₯) = π‘š sin π‘₯ + 𝑛 cos π‘₯ and 𝑔(π‘₯) = 𝑝 sin π‘₯ + π‘ž cos π‘₯ (37) The necessary condition is π‘Ž1(𝑝 cos π‘₯ βˆ’ π‘ž sin π‘₯) βˆ’ 𝑏1(π‘š cos π‘₯ βˆ’ 𝑛 sin π‘₯) = 𝑏0(π‘š sin π‘₯ + 𝑛 cos π‘₯) βˆ’ π‘Ž0(𝑝 sin π‘₯ + π‘ž cos π‘₯) sin π‘₯ (βˆ’π‘Ž1π‘ž + 𝑏1𝑛 βˆ’ 𝑏0π‘š + π‘Ž0𝑝) + cos π‘₯ (π‘Ž1𝑝 βˆ’ 𝑏1π‘š βˆ’ 𝑏0𝑛 + π‘Ž0π‘ž) = 0 (38) which gives π‘Ž1π‘ž βˆ’ π‘Ž0𝑝 = 𝑏1𝑛 βˆ’ 𝑏0π‘š (39a) π‘Ž1𝑝 + π‘Ž0π‘ž = 𝑏1π‘š + 𝑏0𝑛 (39b) The solution is given by 𝑦(π‘₯) = (π‘Ž1π‘βˆ’π‘1π‘š) sin π‘₯+(π‘Ž1π‘žβˆ’π‘1𝑛) cos π‘₯ 𝛼 (40a) 𝑦′(π‘₯) = (𝑏0π‘šβˆ’π‘Ž0𝑝) sin π‘₯+(𝑏0π‘›βˆ’π‘Ž0π‘ž) cos π‘₯ 𝛼 (40b) Figure 2: Spread sheet for Numerical Example 3 IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 11 Numerical Example 4 116𝑦′ βˆ’ 58𝑦 = βˆ’7 sin π‘₯ + 55 cos π‘₯ 35𝑦′ + 15𝑦 = 11 sin π‘₯ + 12 cos π‘₯ π‘Ž1 = 116, π‘Ž0 = βˆ’58, 𝑏1 = 35, 𝑏0 = 15, π‘š = βˆ’7, 𝑛 = 55, 𝑝 = 11, π‘ž = 12 𝛼 = π‘Ž1𝑏0 βˆ’ π‘Ž0𝑏1 = 3770 Necessary conditions: (1): π‘Ž1π‘ž βˆ’ π‘Ž0𝑝 = 𝑏1𝑛 βˆ’ 𝑏0π‘š (116)(12) βˆ’ (βˆ’58)(11) = (35)(55) βˆ’ (15)(βˆ’7) 2030 = 2030 => Condition satisfied (2): π‘Ž1𝑝 + π‘Ž0π‘ž = 𝑏1π‘š + 𝑏0𝑛 (116)(11) + (βˆ’58)(12) = (35)(βˆ’7) + (15)(55) 580 = 580 => Condition satisfied 𝑦(π‘₯) = [(116)(11)βˆ’(35)(βˆ’7)] sin π‘₯+[(116)(12)βˆ’(35)(55)] cos π‘₯ 3770 = 0.403 sin π‘₯ βˆ’ 0.141 cos π‘₯ 𝑦′(π‘₯) = [(15)(βˆ’7)βˆ’(βˆ’58)(11)] sin π‘₯+[(15)(55)βˆ’(βˆ’58)(12)] cos π‘₯ 3770 = 0.141 sin π‘₯ + 0.403 cos π‘₯ Check: Eq 1: 116𝑦′ βˆ’ 58𝑦 = (16.356 sin π‘₯ + 46.748 cos π‘₯) βˆ’ (23.374 sin π‘₯ βˆ’ 8.178 cos π‘₯) = βˆ’7.018 sin π‘₯ + 54.926 cos π‘₯ √ Eq 2: 35𝑦′ + 15𝑦 = (4.935 sin π‘₯ + 14.105 cos π‘₯) + (6.045 sin π‘₯ βˆ’ 2.115 cos π‘₯) = 10.980 sin π‘₯ + 11.990 cos π‘₯ √ 5. Conclusion A set of two non-homogeneous linear first-order simultaneous ordinary differential equations with constant coefficients of a certain form are studied. Four different types of the forcing functions, namely constants, linear functions, natural exponential functions and sinusoidal functions, have been investigated. For each type, an algebraic equation to determine the solution and its derivative as well as the required necessary conditions are derived. Moreover, these simple algebraic formulae can be easily programmed into a spreadsheet which can automatically compute the solution, check the necessary condition and verify the answer. IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 12 6. Discussion The theorem and formulae derived are applicable only to one special form of non- homogeneous linear first-order simultaneous ordinary differential equations with constant coefficients. This is indeed restrictive. Moreover, this method only works for the stated four cases of the forcing function and a stringent necessary condition must be satisfied. However, most of the existing methods have their restrictions too and cannot be used to solve any form of simultaneous differential equations with different combinations of the independent and dependent variables and their derivatives. Despite its limitations, the proposed theorem and the resulting formulae have the advantage that they are algebraic and can be easily programmed into a spreadsheet that can perform repeated computations with different constants and coefficients effortlessly. The spreadsheet can also be programmed to check the necessary condition and verify the solution. The investigation employing this technique to different forms of simultaneous ODE and with different forcing functions would be an interesting endeavor. IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 13 References 1. Andrilli, S. & Hecker, D. (2019). Elementary Linear Algebra (5th edn). Harcourt Academic Press, San Diego. 2. Kolman, B. & Hill, D. (2007). Elementary Linear Algebra (9th edn). MacMillan Publishing Company, New York. 3. Boyce, W.E. (2017). Elementary Differential Equations and Boundary Value Problems (11th edn). Wiley. 4. Edwards, H. & Penney, D. (2019). Elementary Differential Equations with Boundary Value Problems (6th edn). Pearson. 5. Kohler, W.E. & Johnson L.W. (2017). Elementary Differential Equations with Boundary Value Problems (2nd edn). Pearson. 6. Zill, D.G. (2018). A First Course in Differential Equations with Modeling Applications (11th edn). Cengage. 7. Differential equations: https://en.wikipedia.org/wiki/Differential_equation 8. Simultaneous DE: https://www.astro.uvic.ca/~tatum/integrals/integrals06.pdf 9. Decoupling of Systems of differential equations: Decoupling | Differential Equations | Mathematics | MIT OpenCourseWare 10. Decoupling: ls4.pdf (mit.edu) 11. Substitution method: https://web.uvic.ca/~kumara/econ251/schap24.pdf 12. Elimination method: Ch. 4.8 Solving Systems of D.E.s by Elimination (youtube.com) 13. D-operator: Microsoft Word - int6 sim eqs.doc (uvic.ca) 14. How to solve Simultaneous Differential Equations using Laplace Transform: Bing Videos 15. Recursive calculations: 2 Solving Sets of Equations (求解聯立方程硄) (uotechnology.edu.iq) 16. Solving System of Simultaneous Differential Equations using Matlab: https://www.mathworks.com/help/symbolic/solve-a-system-of-differential-equations.html IJO - INTERNATIONAL JOURNAL OF MATHEMATICS (ISSN: 2992-4421 ) IJO JOURNALS Volume 07 | Issue 07 | July 2024 | https://ijojournals.com/index.php/m/index 14 https://en.wikipedia.org/wiki/Differential_equation https://ocw.mit.edu/courses/18-03sc-differential-equations-fall-2011/resources/decoupling/ https://ocw.mit.edu/courses/18-03sc-differential-equations-fall-2011/resources/decoupling/ https://math.mit.edu/~jorloff/suppnotes/suppnotes03/ls4.pdf https://web.uvic.ca/~kumara/econ251/schap24.pdf https://www.youtube.com/watch?v=nwfh7_J0FBw https://www.astro.uvic.ca/~tatum/integrals/integrals06.pdf https://www.bing.com/videos/riverview/relatedvideo?q=methods+to+solve+simultaneous+Differential+equations&mid=4DC227894AE2630800E64DC227894AE2630800E6&FORM=VIRE https://uotechnology.edu.iq/dep-chem-eng/LECTURE%202014-2015/3Y/numerical/Lecture%209%20Solving%20Simulataneous%20Ordinary%20Differential%20%20%20Equations.pdf https://www.mathworks.com/help/symbolic/solve-a-system-of-differential-equations.html