Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 1s (2025) 45 https://internationalpubls.com Formulation of Impulsive Differential Equations with Time-Dependent Continuous Delay Venkatachalapathi Uday1, Dr. Gautam Kumar Rajput2 1Research Scholar, Department of Mathematics, Sunrise university, Alwar, Rajasthan 2Associate professor, Department of Mathematics, Sunrise University, Alwar, Rajasthan Article History: Received: 06-08-2024 Revised: 25-09-2024 Accepted: 08-10-2024 Abstract: Research in impulsive delay differential equations has been undergoing some exciting growth in recent times. This to a large extent can be attributed to the quest by mathematicians in particular and the science community as a whole to unveil nature the way it truly is. The realization that differential equations, in general, and indeed impulsive delay differential equations are very important models for describing the true state of several real-life processes/phenomena may have been the tunic. One can attest that in most human processes or natural phenomena, the present state is most often affected significantly by their past state and those that were thought of as continuous may indeed undergo abrupt change at several points or even be stochastic. In this study, a special strictly ascending continuous delay is constructed for a class of system of impulsive differential equations. It is demonstrated that even though the dynamics of the system and the delay have ideal continuity properties, the right side may not even have limits at some points due to the impact of past impulses in the present. The integral equivalence of the formulated system of equations is also obtained via a scheme similar to that of Perron by making use of certain assumptions. Keywords: Impulsive, Differential Equation, Continuous Delay, Integral Equivalence 1. Introduction and Statement of Problem The theory of impulsive delay differential equations (IDE) is based on the behaviour of processes or phenomena which undergo abrupt changes in their state and past events affect the current behaviour (delay). These kinds of processes are best described by coupled systems of differential equations, either starting with delay differential equations and adding impulses or starting with impulsive differential equations and adding delay arguments. Whichever is the case, a coupled problem is obtained and the structure is radically changed. Several of the properties of solutions in ordinary, delay, or impulsive differential equations are no longer sustained. The theory of impulsive delay differential equations has been relatively less developed because of significant technical and theoretical difficulties, and as such only a few pieces of literature are available. However, interest is on the increase largely due to the fact that a lot of everyday phenomena in Sciences, Economics, Engineering, Space sciences, and control systems are modeled by impulsive delay differential equations. In particular, Ballinger's Ph.D thesis and his subsequent work provide a good working tool for further research work in this area, especially, as it relates to existence, uniqueness, boundedness, continuation, and stability of solutions of Impulsive Delay Differential Equations (IDDE). This happens to be a fusion of two areas - Delay Differential Equations, and Impulsive Differential Equations. Several evolution processes in Sciences, Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 1s (2025) 46 https://internationalpubls.com Engineering, Technology, Economics, etc., are modeled by impulsive differential equations with delays. In ordinary or delay differential equations, the solutions are continuously differentiable, at least once or more, whereas impulsive differential equations possess non-continuous (piecewise continuous) solutions. Intuitively, it is expected that the coupled problems of impulsive delay differential equations should possess piecewise continuously differentiable solutions. To some extent, our intuition may be true if the delays are discrete. When continuous delays interplay with impulses, the story may become significantly different. This surge in the number of discontinuous points creates several problems as it pertains to existence, stability/instability of solutions, just to mention a few. Since the continuity properties of the solutions play fundamental roles in the analysis of their behaviors, the techniques used to handle the solutions of impulsive delay differential equations are basically different from those of Ordinary Differential Equations, Impulsive Differential Equations and Delay Differential Equations. However, some basic concepts are still valid. In this study, a system of first-order impulsive differential equations with continuous time-dependent delays and fixed moments of impulse is formulated. Some recent results in impulsive delay differential equations with constant impulsive jumps. Preliminaries The theory of impulsive systems was developed not long ago as an independent area of mathematical analysis. The development arose out of curiosity to develop a mathematical framework that truly describes physical and biological processes as they occur in nature. Prior to this noble development, scientists had often made an underlying assumption that the behaviors of physical and biological systems described by ordinary differential equations is continuous and integrable in some sense. It was observed that the state of a system is susceptible to changes, and in some processes, these changes are often characterized by short time perturbations (impulses) whose durations are negligible when compared with the total duration of their entry time evolution. IDEs are adequate mathematical models for the description of evolution processes characterized by the combination of continuous and jump changes of their state. For the continuous change of such processes, ordinary differential equations are used, while the moments and the magnitude of the jumps are given by the jump conditions. Impulsive systems are systems whose states are characterized by small perturbations (impulses) in the form of jumps. IDEs are usually defined by a pair of equations - an ordinary differential equation to be satisfied during the continuous portion of the evolution, and difference equations defining the change of state at the discrete impulsive points. This is the main formulation of early scholars such as Bainov, Simeonov, Lakshminkatham, Gopalsamy, Zhang, among others. Solutions are usually considered to be piecewise continuously differentiable functions with discontinuities occurring at the impulsive times. Impulsive differential equations with fixed moments of impulsive effects have the form: { π‘₯ β€²(𝑑)= 𝑓(𝑑, π‘₯(𝑑)), β¬šβˆ€π‘‘ ∈ 𝑇 βˆ– 𝑆 Ξ”π‘₯(π‘‘π‘˜)= 𝑓(π‘‘π‘˜, π‘₯(π‘‘π‘˜)), β¬šβˆ€π‘‘π‘˜ ∈ 𝑆 where 𝑇 βŠ‚ 𝑅, (𝑑, π‘₯) ∈ Ξ© βŠ‚ 𝑅 Γ— 𝑅𝑛 and the real numerical sequence 𝑆 = {π‘‘π‘˜}π‘˜=1 ∞ increases and has no finite accumulation point. In the case of unfixed moments of impulsive effects, the impulse points may be time and state dependent. That is, π‘‘π‘˜: = π‘‘π‘˜(𝑑, π‘₯(𝑑)). When the function π‘‘π‘˜ depends on the state of the given system, it is said to have impulses at variable times. This is reflected in the fact that different solutions will tend to undergo impulses at different times. However, if the functions π‘‘π‘˜ are Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 1s (2025) 47 https://internationalpubls.com all constants, the system is said to have impulses at fixed times which implies that all solutions undergo impulse actions at the same time. It is observed that the question of the existence of solutions of the system is non-trivial when impulses occur at variable times. The precise notion of what a solution is must be carefully stated. It is fairly clear that solutions should be piecewise continuous and in fact piecewise continuously differentiable (or piecewise absolutely differentiable when considering generalized types of solutions). A solution will undergo simple jump discontinuity when it intersects impulse hyper- surfaces. Even after focusing on a particular class of relations 𝑑(𝑠, π‘₯(𝑠)) = 0 given by impulse hyper- surfaces, impulsive differential equations still exhibit some unusual behaviour [3]. In this study, focus will be placed only on those equations with fixed moments of impulse effects. Be as it may, to obtain or discuss the solution of an impulsive differential equation, certain peculiarities of the model must be taken into cognizance. It assume that for 𝑑 ∈ 𝑇 βˆ– 𝑆, the solution π‘₯(𝑑) of the earlier stated equation is determined by the ordinary differential equation π‘₯ β€²(𝑑) = 𝑓(𝑑, π‘₯(𝑑)). For 𝑑 ∈ 𝑆, a change by jump of the solution π‘₯(𝑑) occurs so that π‘₯(π‘‘π‘˜ βˆ’) = π‘₯(π‘‘π‘˜) and π‘₯(π‘‘π‘˜ +) = π‘₯(π‘‘π‘˜) + Ξ”π‘₯(π‘‘π‘˜) = π‘₯(π‘‘π‘˜) + 𝑓(π‘‘π‘˜, π‘₯(π‘‘π‘˜)). After the jump, at the moment 𝑑 = π‘‘π‘˜, the solution π‘₯(𝑑) of the system coincides with the solution 𝑦(𝑑) of the initial value problem [15]: { 𝑦 β€²(𝑑) = 𝑓(𝑑, 𝑦(𝑑)),π‘‘π‘˜ < 𝑑 β‰€π‘˜+1 Δ𝑦(π‘‘π‘˜) = π‘₯(π‘‘π‘˜ +),𝑑 = π‘‘π‘˜ ∈ 𝑆 This simply means that after the jump at 𝑑 = π‘‘π‘˜, a new function 𝑦(𝑑) takes over control from π‘₯(𝑑). Let 𝑇 βŠ‚ 𝑅 be a set of time points and let our processes take place in 𝑅𝑛. Also, let these processes be described by π‘₯: 𝑇 β†’ 𝑅𝑛 state functions, assuming that they may be influenced by past events defined by delay functions β„Žπ‘—: 𝑇 β†’ 𝑅+. The properties of these functions will be specified later as progress is made. Now, let 𝑔‾: = (𝑔1, 𝑔2, … , π‘”π‘š), οΏ½Μ‚οΏ½: = (𝑔, 𝑔, … , 𝑔) ∈ π‘…π‘š and 𝑓 ∘ π‘₯β€Ύ: = (𝑓(π‘₯1), 𝑓(π‘₯2), … , 𝑓(π‘₯π‘š)) it then follows that: 𝑓(𝑑, π‘₯(𝑑), π‘₯(𝑑 βˆ’ β„Žπ‘™(𝑑)), π‘₯(𝑑 βˆ’ β„Ž2(𝑑)), … … , π‘₯(𝑑 βˆ’ β„Žπ‘š(𝑑))) = 𝑓 (𝑑, π‘₯(𝑑), οΏ½Μ‚οΏ½ ∘ (οΏ½Μ‚οΏ½ βˆ’ β„Žβ€Ύ ∘ οΏ½Μ‚οΏ½)) (1) In the course of this work, it shall be assumed that (π‘Ž, 𝑏): = 𝑇 βŠ‚ 𝑅 is a non-empty open subset of 𝑅. For asymptotic investigation, at least 𝑏 = ∞ is assumed. Let 𝑆: = {π‘‘π‘˜}π‘˜=1 ∞ or 𝑆: = {π‘‘π‘˜}π‘˜=βˆ’βˆž ∞ be an increasing sequence of numbers (to be referred to as impulse times or points) with at most two condensation points. Let π·βˆ—: = 𝑆 Γ— 𝑅𝑛 and 𝐷: = 𝑇 Γ— 𝑅(π‘š+𝑙)×𝑛. Also, let 𝑓: 𝐷 β†’ 𝑅𝑛 and π‘“βˆ—: π·βˆ— β†’ 𝑅𝑛 be continuous functions fulfilling Lipschitz condition in π‘₯ ∈ 𝐷 and π‘₯ ∈ π·βˆ—, respectively, at each fixed 𝑑 ∈ 𝑇. Let β„Žπ‘–: 𝑇 β†’ 𝑅+ be continuous ascending delay function such that β„Žπ‘–(𝑑) ≀ 𝑑 βˆ’ π‘Ž, βˆ€π‘‘ ∈ 𝑇, β¬šβˆ€π‘™ ≀ 𝑖 ≀ π‘š. Then from the notation in equation (1), a system of first-order impulsive differential equations with continuous delay is of the form: { π‘₯ β€²(𝑑) = 𝑓(𝑑, π‘₯(𝑑), π‘₯(𝑑 βˆ’ β„Žπ‘™(𝑑)), … , π‘₯(𝑑 βˆ’ β„Žπ‘š(𝑑))), βˆ€π‘‘ ∈ 𝑇 βˆ– 𝑆 Ξ”π‘₯(π‘‘π‘˜) = π‘₯(π‘‘π‘˜ + 0) βˆ’ π‘₯(π‘‘π‘˜ βˆ’ 0) = π‘“βˆ—(π‘‘π‘˜, π‘₯(π‘‘π‘˜)), βˆ€π‘‘π‘˜ ∈ 𝑆 (2) From the notation in (1), it can be written in a more compact form as: { π‘₯ β€²(𝑑) = 𝑓(𝑑, π‘₯(𝑑), π‘₯ ∘ (οΏ½Μ‚οΏ½ βˆ’ β„Žβ€Ύ ∘ οΏ½Μ‚οΏ½)), β¬šβˆ€π‘‘ ∈ 𝑇 βˆ– 𝑆 Ξ”π‘₯(π‘‘π‘˜) = π‘“βˆ—(π‘‘π‘˜, π‘₯(π‘‘π‘˜)), β¬šβˆ€π‘‘π‘˜ ∈ 𝑆 (3) Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 1s (2025) 48 https://internationalpubls.com Let 𝑓:Ξ© β†’ 𝑅𝑛,Ξ© βŠ‚ 𝑇 Γ— 𝑅𝑛 be continuous and π‘₯ at least once differentiable. Let β„Žπ‘— ∈ 𝐢(𝑑) be continuous delay functions, 𝑙 ≀ 𝑗 ≀ π‘š and β„Žβ€Ύ ∘ οΏ½Μ‚οΏ½ = (β„Žπ‘™(𝑑), β„Ž2(𝑑), … , β„Žπ‘š(𝑑)) be a continuous delay vector, then π‘Ÿ = sup π‘‘βˆˆ(π‘Ž,𝑏) β€Šmax1≀𝑗≀𝑛 β€Š{β„Žπ‘—(𝑑)} is called the delay constant (where the delays are discrete, that is, = max1≀𝑗≀𝑛 β€Š{β„Žπ‘—} ). Let equation (2) or equation (3) be given subject to the initial or history function π‘₯(𝑑) = πœ™(𝑑), 𝑑0 βˆ’ π‘Ÿ ≀ 𝑑 ≀ 𝑑0 (4) where π‘₯(π‘‘π‘˜) = π‘₯(π‘‘π‘˜ βˆ’ 0) and π‘“βˆ—(π‘‘π‘˜, π‘₯(π‘‘π‘˜)) prescribes the jump at each impulse point π‘‘π‘˜ ∈ 𝑆, then equation (2) or (3) is called a first-order impulsive delayed differential equation with continuous delays. Subject to equation (4) it is called an initial value or function problem. Let 𝐴 and 𝐡 be real 𝑛 by 𝑛 matrix functions with components in 𝐢(π‘Ž, 𝑏); let οΏ½βƒ—οΏ½ be a vector with 𝑛 components in 𝐢(π‘Ž, 𝑏) and οΏ½ΜƒοΏ½π‘˜ be an 𝑛 by 𝑛 matrix function on 𝑆, then a system of linear impulsive differential equation with continuous delays is defined as: { π‘₯ β€²(𝑑) = 𝐴(𝑑) + 𝐡(𝑑)οΏ½Μ‚οΏ½ ∘ (οΏ½Μ‚οΏ½ βˆ’ β„Žβ€ΎοΏ½Μ‚οΏ½) + οΏ½βƒ—οΏ½, βˆ€π‘‘ ∈ 𝑇 βˆ– 𝑆 Ξ”π‘₯(π‘‘π‘˜) = οΏ½ΜƒοΏ½π‘˜π‘₯(π‘‘π‘˜), βˆ€π‘‘π‘˜ ∈ 𝑆 (5) If οΏ½βƒ—οΏ½ is identically zero, equation (5) is called a homogeneous equation and is given by: { π‘₯ β€²(𝑑) = 𝐴(𝑑)π‘₯(𝑑) + 𝐡(𝑑)οΏ½Μ‚οΏ½ ∘ (οΏ½Μ‚οΏ½ βˆ’ β„Žβ€ΎοΏ½Μ‚οΏ½), βˆ€π‘‘ ∈ 𝑇 βˆ– 𝑆 Ξ”π‘₯(π‘‘π‘˜) = οΏ½ΜƒοΏ½π‘˜π‘₯(π‘‘π‘˜), βˆ€π‘‘π‘˜ ∈ 𝑆 (6) Main Results Consider the system of equations given by { π‘₯ β€²(𝑑) = 𝑓(𝑑, π‘₯(𝑑), π‘₯(𝑑 βˆ’ β„Ž(𝑑))), βˆ€π‘‘ ∈ 𝑇 βˆ– 𝑆 Ξ”π‘₯(π‘‘π‘˜) = π‘“βˆ—(π‘‘π‘˜, π‘₯(π‘‘π‘˜)), βˆ€π‘‘π‘˜ ∈ 𝑆 (7) which is similar to the system (6). This system assumes that for 𝑑 ∈ 𝑇 βˆ– 𝑆, the solution π‘₯(𝑑) is determined by the delay differential equation π‘₯ β€²(𝑑) = 𝑓(𝑑, π‘₯(𝑑), π‘₯(οΏ½Μ‚οΏ½ βˆ’ β„Žβ€Ύ ∘ (οΏ½Μ‚οΏ½))) and for 𝑑 ∈ 𝑆, a change by jump of the solution π‘₯(𝑑) occurs so that π‘₯(π‘‘π‘˜ βˆ’) = π‘₯(π‘‘π‘˜) andπ‘₯(π‘‘π‘˜ +) = π‘₯(π‘‘π‘˜) + π‘“βˆ—(π‘‘π‘˜, π‘₯(π‘‘π‘˜))[1 βˆ’ 5]. Here, a special strictly ascending continuous delay for the system of equations in (6) is constructed. The construction will take several steps as shown below: Step 0: Let 𝜌 ∈ (π‘‘π‘˜, π‘‘π‘˜ + 1) for a fixed π‘˜ ∈ 𝑍. It is assumed here that (π‘‘π‘˜, π‘‘π‘˜+1) βŠ‚ (𝜌 βˆ’ πœ‹, 𝜌 + πœ‹), otherwise, (π‘‘π‘˜, π‘‘π‘˜+1) will be replaced by (π›Όπ‘˜, π›Όπ‘˜+1) = (π‘‘π‘˜, π‘‘π‘˜+1) ∩ (𝜌 βˆ’ πœ‹, 𝜌 + πœ‹). Moreover, let 𝑑𝑠 ∈ 𝑆, 𝑑𝑠 < π‘‘π‘˜ be an impulse point in the past. Step 1: Let πœ™0: (π‘‘π‘˜, π‘‘π‘˜+1) β†’ 𝑅+be defined by βˆ…0(𝑑): = { πœŒπœ–(π‘‘π‘˜, π‘‘π‘˜+1), βˆ…0(𝜌𝜌) ≔ 𝑠𝑖𝑛 1 |π‘‘βˆ’πœŒ| βˆ€π‘‘ β‰  𝜌 0 π‘œπ‘‘β„Žπ‘’π‘Ÿπ‘€π‘–π‘ π‘’ Remark 3.1. πœ™0 has roots at 𝑑 = 𝜌 Β± 1 π‘˜πœ‹ , π‘˜ ∈ 𝑁. Step 2: Let πœ™π‘™(𝑑): =∣ 𝑑 βˆ’ 𝜌3πœ™0(𝑑), βˆ€π‘‘, 𝜌 ∈ (π‘‘π‘˜, π‘‘π‘˜+1). Then its derivative is: Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 1s (2025) 49 https://internationalpubls.com π‘‘πœ™π‘™(𝑑) 𝑑𝑑 = { 3|𝑑 βˆ’ 𝜌|2πœ™0(𝑑) βˆ’ |𝑑 βˆ’ 𝜌|cos 1 |𝑑 βˆ’ 𝜌| , 𝑑 β‰  𝜌 0 otherwise βˆ€π‘‘, 𝜌 ∈ (π‘‘π‘˜, π‘‘π‘˜+1), which is bounded by 3(π‘‘π‘˜+1 βˆ’ π‘‘π‘˜)2. Remark 3.2 In addition to Remark 3.1, 1 is continuously differentiable in (π‘‘π‘˜, π‘‘π‘˜+1). Step 3: Let us consider another function: 𝝓2(𝑑) = (𝑑 βˆ’ π‘‘π‘˜)2(𝑑 βˆ’ π‘‘π‘˜+1)2𝝓𝑙(𝑑), βˆ€π‘‘ ∈ (π‘‘π‘˜, π‘‘π‘˜+1) This is continuously differentiable in (π‘‘π‘˜, π‘‘π‘˜+1), its derivative is 0 at π‘‘π‘˜ and π‘‘π‘˜+𝑙, and hence, it has a continuously differentiable extension to 𝑇. Remark 3.3 In addition to Remark 3.2, πœ™2(𝑑) fulfils πœ™2(π‘‘π‘˜) = πœ™ 2β€² (π‘‘π‘˜) = πœ™2(π‘‘π‘˜+1) = πœ™ 2β€² (π‘‘π‘˜+1) = 0. Hence πœ™(𝑑) = { πœ™2(𝑑), 𝑑 ∈ (π‘‘π‘˜, π‘‘π‘˜+1) 0, otherwise β„Žπœ€(𝑑) = 1 βˆ’ πœ™πœ€(𝑑) = 𝑑 βˆ’ (𝑑𝑠 + πœ€ 𝑀 + 1 (𝑑 βˆ’ π‘‘π‘˜)2(𝑑 βˆ’ π‘‘π‘˜+1)2|𝑑 βˆ’ 𝜌|3πœ™0(𝑑)) , βˆ€π‘‘ ∈ (π‘‘π‘˜, π‘‘π‘˜+1) and 𝑑𝑠 ∈ 𝑆; then the following can be asserted: Remark 3.5 Based on Remark 3.4, β„Žπœ€(𝑑) is continuously differentiable in [π‘‘π‘˜, π‘‘π‘˜+1] and its derivative is greater than 1 βˆ’ πœ€ > 0, hence it is strictly ascending. Theorem 3.1 The delay β„Žπœ€(𝑑) ≀ 𝑑 is a continuous strictly ascending function such that the composite function 𝑓(𝑑, π‘₯(𝑑), π‘₯(𝑑 βˆ’ β„Žπœ€(𝑑))) has no limit at 𝜌 for 𝑑𝑠 < π‘‘π‘˜ < 𝑑 < π‘‘π‘˜+1. Proof: Note that 𝑑 βˆ’ β„Žπœ€(𝑑) = πœ™πœ€(𝑑) and πœ™πœ€(𝑑) passes 𝑑𝑠 at 𝑑 = 𝜌 Β± 1 π‘˜πœ‹ , 0 < π‘˜ < ∞. Hence π‘₯(𝑑 βˆ’ β„Žπœ€(𝑑)) has a jump of the size of π‘“βˆ—(𝑑𝑠, π‘₯(𝑑𝑠)) at each 𝑑 = 𝜌 Β± 1 π‘˜πœ‹ , 0 < π‘˜ < ∞. Thus 𝑓(𝑑, π‘₯(𝑑), π‘₯(𝑑 βˆ’ β„Žπœ€(𝑑))) has no limit at 𝜌 ∈ (π‘‘π‘˜, π‘‘π‘˜+1). Discussion 3.1 By using continuous delays, the continuity of 𝑓(𝑑, π‘₯(𝑑)π‘₯(𝑑 βˆ’ β„Ž(𝑑))) can no longer be relied on as it is currently assumed in the literature since the delay maps the discontinuity of x at 𝑑𝑠 into the interval (π‘‘π‘˜, π‘‘π‘˜+1) as an impact of the event at 𝑑𝑠 on the dynamics of 𝑓(𝑑, π‘₯(𝑑)π‘₯(𝑑 βˆ’ β„Ž(𝑑))) at present. In other words, positive increasing continuous functions as delays can be found such that 𝑓(𝑑, π‘₯(𝑑)π‘₯(𝑑 βˆ’ β„Ž(𝑑))) is discontinuous/has no limit at some point(s) in (π‘‘π‘˜, π‘‘π‘˜+1). Furthermore, in this study, the integral equivalence of the formulated system of impulsive delay differential equations is to be obtained for the purpose of analysis of its qualitative properties. In order to achieve this, the following underlying assumptions are employed: Assumtion 3.1 β€’ When 𝑑 βˆ‰ 𝑆, equation (2) reduces to a delay differential equation and solution is obtained from π‘₯ β€²(𝑑) = 𝑓(𝑑, π‘₯(𝑑), οΏ½Μ‚οΏ½ ∘ (𝑑 βˆ’ β„Žβ€Ύ ∘ οΏ½Μ‚οΏ½)), 𝑑 ∈ 𝑇 βˆ– 𝑆; β€’ 𝑓 is continuous in Ξ© - an open subset of 𝑇 Γ— 𝑅(π‘š+𝑙)×𝑛; β€’ For each π‘‘π‘˜ ∈ 𝑆, π‘₯ is left continuous at π‘‘π‘˜, i.e. π‘₯(π‘‘π‘˜ βˆ’) = π‘₯(π‘‘π‘˜), and there is a jump change at each of these impulse points given by is a continuously differentiable extension of πœ™2(𝑑) from (π‘‘π‘˜, π‘‘π‘˜+1) to 𝑅. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 1s (2025) 50 https://internationalpubls.com Step 4: Let us define yet another function by πœ™πœ€(𝑑) = 𝑑𝑠 + πœ€ 𝑀+1 πœ™2(𝑑)βˆ€π‘‘ ∈ (π‘‘π‘˜, π‘‘π‘˜+1)⬚ and β¬šπ‘‘π‘  ∈ 𝑆, where 𝑀 = maxπ‘‘βˆˆπ‘‘π‘˜,π‘‘π‘˜+1𝐽 β€Šmax{|πœ™2(𝑑)|, |πœ™2 β€²(𝑑)|}. Remark 3.4 In addition to Remark 3.3, π“πœ€ fulfils thecondition that max π‘‘βˆˆ[π‘‘π‘˜,π‘‘π‘˜+1] β€Šmaxβ€Š{πœ™πœ€(𝑑)|, |πœ™πœ€β¬šβ€²(𝑑) ∣} < πœ€ Step 5: Let 0.5>Ξ΅>0. π‘₯(π‘‘π‘˜ +) = π‘₯(π‘‘π‘˜) + Ξ”π‘₯(π‘‘π‘˜) = π‘₯(π‘‘π‘˜) + π‘“βˆ—(π‘‘π‘˜, π‘₯(π‘‘π‘˜)) (8) iv) After the jump at the moments 𝑑 = π‘‘π‘˜, π‘˜ = 0,1,2, …, the solution π‘₯(𝑑) of equation (2) coincides with the solution 𝑦(𝑑) of the initial function problem 𝑦 β€²(𝑑) = 𝑓(𝑑, 𝑦(𝑑), οΏ½Μ‚οΏ½ ∘ (𝑑 βˆ’ β„Žβ€Ύ ∘ οΏ½Μ‚οΏ½)), π‘‘π‘˜ < 𝑑 ≀ π‘‘π‘˜+1 𝑦(𝑑) = π‘₯(𝑑), 𝑑 < π‘‘π‘˜ and 𝑦(π‘‘π‘˜) = π‘₯(π‘‘π‘˜) + π‘“βˆ—(π‘‘π‘˜, π‘₯(π‘‘π‘˜)) (9) v) The function 𝑓(𝑑, π‘₯(𝑑)π‘₯(𝑑 βˆ’ β„Ž(𝑑))) is continuous in π‘₯ for each fixed 𝑑 in (π‘‘π‘˜, π‘‘π‘˜+1) and measurable in 𝑑 for each fixed π‘₯. To enable us follow the content of this work smoothly, it is necessary to define some basic terms, concepts, notations and lemmas that may be used in the sequel. Definition 3.1 Let 𝐴 βŠ‚ 𝐡 be non-empty and 𝑓: 𝐡 β†’ 𝑅, then 𝑓|𝐴(π‘₯) = 𝑓(π‘₯), βˆ€π‘₯ ∈ 𝐴 is called the restriction of 𝑓 to 𝐴. Definition 3.2 PC [T, Rn] = 𝑓 | 𝑓 ∢ 𝑇 β†’ Rn, 𝑓 | [𝑑𝑗,𝑑𝑗+1] βŠ‚πΆ[(𝑑𝑗 , 𝑑𝑗+1], 𝑅𝑛] β‡’ βˆƒπ‘“(𝑑𝑗 + 0) ∈ π‘…βˆ€ βˆ’ ∞ < 𝑗 < ∞. That is, 𝑓 restricted to (𝑑𝑗 , 𝑑𝑗+1) is continuous. Definition 3.3𝑃𝐢[[π‘Ž, 𝑏], 𝑅𝑛] = π‘“βŒŠβ¬šπ‘Ž,𝑏]: 𝑓 ∈ 𝑃𝐢[𝑇, 𝑅𝑛], where [π‘Ž, 𝑏] βŠ‚ 𝑇. Notation 3.1 Let i) [π‘Ž, 𝑏] = [π‘Ž, π‘‘π‘—π‘Ž ] βˆͺ [π‘‘π‘—π‘Ž , 𝑑𝑗] βˆͺ [𝑑𝑗 , 𝑑𝑗+1] βˆͺ [𝑑𝑗+1, 𝑑𝑗+2] β‹― … βˆͺ [π‘‘π‘—π‘βˆ’1, 𝑑𝑗𝑏 ] βˆͺ [𝑑𝑗𝑏 , 𝑏]; ii) π΄π‘—π‘Žβˆ’1 = [π‘Ž, π‘‘π‘—π‘Ž ], 𝐴𝑗 = [𝑑𝑗, 𝑑𝑗+1], βˆ€π‘—π‘Ž ≀ 𝑗 < π‘—π‘β¬š and 𝐴𝑗𝑏 = [𝑑𝑗𝑏 , 𝑏]. iii) 𝐢[𝐴𝑗 , 𝑅𝑛] denote the set of continuous 𝑅𝑛-valued functions on the closed and bounded interval 𝐴𝑗, where π‘—π‘Ž βˆ’ 𝑙 ≀ 𝑗 ≀ 𝑗𝑏. Lemma 3.1 If 𝑓 ∈ 𝑃𝐢[𝑇, 𝑅𝑛] and [π‘Ž, 𝑏] βŠ‚ 𝑇, then‖𝑓‖[π‘Ž,𝑏] = sup π‘₯∈[π‘Ž,𝑏] β€Šβ€–π‘“(π‘₯)β€– is a norm and the ordered pair, {𝑃𝐢([π‘Ž, 𝑏], 𝑅𝑛), β€– βˆ— β€–[π‘Ž,𝑏]} is a Banach space. Proof: i) Since [π‘Ž, 𝑏] βŠ‚ 𝑇 is a closed and bounded interval such that 𝑠0 < π‘Ž < 𝑏 < 𝑠1, 𝑆[π‘Ž,𝑏] = [π‘Ž, 𝑏] ∩ 𝑆 is a finite set since S has no condensation point in [a, b]. Let 𝑆[π‘Ž,𝑏] = [π‘Ž, 𝑏] ∩ 𝑆 = {𝑑𝑗} 𝑗=π‘—π‘Žβˆ’1 𝑗𝑏 βŠ‚ [π‘Ž, 𝑏] βŠ‚ π‘‡β¬š, then ii) If π‘Ž, 𝑏 ∈ 𝑆, then π‘Ž = π‘‘π‘—π‘Ž and 𝑏 = 𝑑𝑗𝑏 . Hence, [π‘Ž, π‘‘π‘—π‘Ž ] = {π‘‘π‘—π‘Ž } βŠ‚ [π‘‘π‘—π‘Ž , π‘‘π‘—π‘Ž+1]⬚ and ⬚[𝑑𝑗𝑏 , 𝑏] = {𝑑𝑗𝑏 } βŠ‚ [π‘‘π‘—π‘βˆ’1, 𝑑𝑗𝑏 ]. Otherwise, if π‘Ž βˆ‰ 𝑆, then [π‘Ž, π‘‘π‘—π‘Ž ] is a closed bounded interval and ‖𝑓().β€–isacontinuousfunctiononit. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 1s (2025) 51 https://internationalpubls.com If 𝑏 βˆ‰ 𝑆, then [𝑑𝑗𝑏 , 𝑏] is a closed and bounded interval and ‖𝑓().β€–hasacontinuousextensiononitbytheexistingright limit 𝑓(𝑑𝑗𝑏 + 0). Finally, ‖𝑓().β€–hasacontinuousextension from (𝑑𝑗 , 𝑑𝑗+1] to [𝑑𝑗, 𝑑𝑗+1] by the existence of the right limit 𝑓(𝑑𝑗 + 0), βˆ€π‘—π‘Ž ≀ 𝑗 < 𝑗𝑏. Thus iii) β€–π‘“β€–π‘—π‘Žβˆ’1 = sup π‘₯∈[π‘Ž,π‘‘π‘—π‘Ž] β€Šβ€–π‘“(π‘₯)β€– (10) and ‖𝑓‖𝑗𝑏 = sup π‘₯∈[𝑑𝑗𝑏 ,𝑏] β€Šβ€–π‘“(π‘₯)β€– (11) are finite by condition (ii). Again, ‖𝑓‖[π‘Ž,𝑏] = sup π‘₯∈[π‘Ž,𝑏] β€Šβ€–π‘“(π‘₯)β€– = max π‘—π‘Žβˆ’<𝑗<𝑗𝑏 β€Šβ€–π‘“β€–π‘— (12) iv) Since 𝑃𝐢[[π‘Ž, 𝑏], 𝑅𝑛] βŠ‚ 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛]⬚ and 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛] is a Banach space with essential sup norm, It follows that β€– β‹… β€–[π‘Ž,𝑏] is a norm, where 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛] is called a Banach space. 𝑓 ∈ 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛] with β€–π‘“β€–βˆž = 0 β‡’ 𝑓 = 0 almost everywhere and not everywhere. Hence the real Banach space is the factor space 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛] with {𝑓 ∣ 𝑓 ∈ 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛], β€–π‘“β€–βˆž = 0} (13) However, 𝑃𝐢[[π‘Ž, 𝑏], 𝑅𝑛] ∩ {𝑓 ∣ 𝑓 ∈ 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛], β€–π‘“β€–βˆž = 0} = {0}hence, the supremum so defined gives a norm on 𝑃𝐢[[π‘Ž, 𝑏], 𝑅𝑛] which is a closed linear subspace of 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛]. Now, let the sequence {𝑓𝑗} 𝑗=1 ∞ βŠ‚ 𝑃𝐢[[π‘Ž, 𝑏], 𝑅𝑛] βŠ‚ 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛] be convergent to 𝑓 ∈ 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛]. Then ⬚ from β¬šβ€–β„Žβ€–[π‘Ž,𝑏] = sup π‘₯βˆˆπ‘Ž,𝑏] β€Šβ€–β„Ž(π‘₯)β€– = maxπ‘—π‘Žβ‰€π‘—β‰€π‘—π‘ β€Šβ€–β„Žβ€–π‘— β‰₯ β€–β„Žβ€–π‘˜, βˆ€π‘—π‘Ž βˆ’ 𝑙 ≀ π‘˜ ≀ π‘—π‘β¬š, ⬚ it follows that 𝑓𝑗 β†’ 𝑓 ∈ 𝐿∞[[π‘Ž, 𝑏], 𝑅𝑛] for 𝑗 β†’ ∞ in β€– β‹… β€–[π‘Ž,𝑏] β‡’ 𝑓𝑗 β†’ 𝑓 ∈ πΆπ‘˜[[π‘Ž, 𝑏], 𝑅𝑛] in β€– β‹… β€–π‘˜βˆ€π‘—π‘Ž βˆ’ 𝑙 ≀ π‘˜ ≀ 𝑗𝑏 Hence the sequence of functions in 𝑃𝐢[[π‘Ž, 𝑏], 𝑅𝑛] is continuous and convergent to f uniformly in each interval π΄π‘˜, and this proves that f is continuous on these intervals βˆ€π‘—π‘Ž βˆ’ 𝑙 ≀ π‘˜ ≀ 𝑗𝑏. Thus 𝑓 ∈ 𝑃𝐢[[π‘Ž, 𝑏], 𝑅𝑛]. Lemma 3.2 Let f ∈ 𝑃𝐢𝑙[𝑇, 𝑅𝑛]. Then 𝑓|[𝑑𝑗,𝑑𝑗+1] βŠ‚ 𝐢𝑙 ((𝑑𝑗 , 𝑑𝑗+1], 𝑅𝑛) and 𝑓|[𝑑𝑗,𝑑𝑗+1](𝑑) = 𝑓(𝑑𝑗 + 0) + ∫ β€Š 𝑑 𝑑𝑗 β€Šπ‘“ β€²(𝑠)π‘‘π‘ βˆ€π‘‘ ∈ (𝑑𝑗 , 𝑑𝑗+1], βˆ’βˆž < 𝑗 < ∞(14)Proof: This follows from properties of indefinite integrals. Now, to establish the qualitative properties of equations (2) and (4) such as the existence of solution of the initial function problem, the continuous dependence of the solutions on the initial function (4) and stability of the solutions, the integral equivalence of the problem is adopted. Using Lemma 3.2 and notation (1.1) equation (2) is re-written as: π‘₯β€Ύ ∘ οΏ½Μ‚οΏ½ = π‘₯(π‘‘π‘˜) + ∫ β€Š 𝑑 π‘‘π‘˜ β€Šπ‘“(𝑠, π‘₯(𝑠), οΏ½Μ‚οΏ½ ∘ (οΏ½Μ‚οΏ½ βˆ’ β„Žβ€Ύ ∘ οΏ½Μ‚οΏ½))𝑑𝑠 + βˆ‘ β€Š π‘‘π‘šβ‰€π‘‘π‘˜<𝑑 β€Šπ‘“βˆ—(π‘‘π‘š, π‘₯(π‘‘π‘š)) (15) Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 1s (2025) 52 https://internationalpubls.com where π‘“βˆ—(π‘‘π‘š, π‘₯(π‘‘π‘š)) = π‘₯(π‘‘π‘š + ) βˆ’ π‘₯(π‘‘π‘š) is the prescribed jump at the impulse point π‘‘π‘š ∈ 𝑆, βˆ€π‘˜ = 1,2,3, … and 𝑑 > π‘‘π‘˜. With the formulation (15) above, some conditions are imposed on 𝑓 and π‘₯ to ensure the existence and uniqueness of solutions and the continuous dependence of solutions on the initial function. To obtain the stability of solutions, the problem is re-formulated slightly by separating the linear components of 𝑓 from the non-linear component as follows: (16) where 𝑓 and π‘“βˆ— are respectively the linear and non-linear components of 𝑓. This formulation enables us to develop a scheme for stability of solutions similar to that of Perron. In his work [27], Perron discussed the stability and asymptotic stability of solutions of π‘₯ β€²(𝑑) = 𝑓(𝑑, π‘₯(𝑑)) + π‘“βˆ—(𝑑, π‘₯(𝑑)) (17) with respect to the stability and asymptotic stability of the solution of the homogeneous linear system 𝑦 β€²(𝑑) = 𝑓(𝑑, 𝑦(𝑑)) (18) In line with Perron's formulation, in place of relation (16), the system { 𝑦 β€²(𝑑) = 𝑓(𝑑, 𝑦(𝑑), οΏ½Μ‚οΏ½ ∘ (οΏ½Μ‚οΏ½ βˆ’ β„Žβ€Ύ ∘ οΏ½Μ‚οΏ½))βˆ€π‘‘ ∈ 𝑇 βˆ– 𝑆 Δ𝑦(π‘‘π‘˜) = π‘“βˆ—(π‘‘π‘˜, 𝑦(π‘‘π‘˜))βˆ€π‘‘ ∈ 𝑆 (19) will be examined subject to the initial condition in equation (4), where π‘“βˆ—(π‘‘π‘˜, 𝑦(π‘‘π‘˜)) prescribes the jump at π‘‘π‘˜. Therefore, the integral equivalence of this is: 𝑦‾ ∘ οΏ½Μ‚οΏ½ = 𝑦(π‘‘π‘˜) + ∫ β€Š 𝑑 π‘‘π‘˜ β€Šπ‘“(𝑠, 𝑦(𝑠), οΏ½Μ‚οΏ½ ∘ (οΏ½Μ‚οΏ½ βˆ’ β„Žβ€Ύ ∘ οΏ½Μ‚οΏ½))𝑑𝑠 + βˆ‘ β€Š π‘‘π‘šβŠ΄π‘˜< β€Šπ‘“βˆ—(π‘‘π‘š, 𝑦(π‘‘π‘š)) (20) Conclusion The solutions of impulsive differential equations with the general concept of delays are, however, fundamentally different from those of ordinary differential equations. It is observed that the derivative of the solutions become discontinuous even at non-impulse points and so ceases to be differentiable. Also, the forcing function has no limit even when the delays are strictly ascending and continuously differentiable functions. Here, it has been shown that it is possible to define a continuous ascending delay function whose derivative exists everywhere on an interval πΌπ‘˜ extendible to 𝑇, whereas the right-hand side of equation (2) does not have limits at certain other points which are not even impulse points. The integral equivalence of the formulated system of impulsive delay differential equations has also been obtained. References [1] Abasiekwere, U. A., Esuabana, I. M., Isaac, I. O., Lipcsey, Z, Classification of Non-Oscillatory Solutions of Nonlinear Neutral Delay Impulsive Differential Equations, Global Journal of Science Frontier Research: Mathematics and Decision Sciences (USA), Volume 18, Issue 1, 49-63, 2018, doi:10.17406/GJSFR. [2] Abasiekwere, U. A., Esuabana, I. M., Asymptotic behaviour of nonoscillating solutions of neutral delay differential equations of the second order with impulses, Journal of Mathematical and Computational Science, Vol 8, No 5 (2018), 620-629, doi: 10.28919/jmcs/3765. [3] Arino, O. and Pituk, M. (2001), More on linear differential systems with small delays, Journal of Differential Equations, Vol 17, pp. 381-407. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 1s (2025) 53 https://internationalpubls.com [4] Bastinec, J., Diblik, J. and Smarda, Z. (2000), Convergence tests for one scalar differential equation with vanishing delay, Arch. Math. (Brno), 36, pp. 405-414. CDDE Issue. [5] Bainov, D. D. and Simeonov, P. S. (1995), Impulsive Differential Equations - Asymptotic Properties of the Solutions, World Scientific Pub. Coy. Pte. Ltd, Singapore. [6] Bereketoglu, H. and Karakoc, F. (2008). Asymptotic, constancy for impulsive delay differential equations. Dynamic Systems and Applications, 17, pp. 71-84. [7] Bainov, D. D. and Simeonov, P. S. (1989), Systems with Impulse Effects, Stability, Theory and Applications, Ellis Horwood Series in Mathematics and its Applications. [8] Coddington, A. E. and Levinson, N. (1955), Theory of Ordinary Differential Equations, McGraw-Hill Book Company, New York. [9] Dubeau, F. and Karrakchou, J. (2002). State-dependent impulsive delay differential equations, Applied Mathematics Letters, 15, pp. 333-338. [10] Esuabana, I. M. and Abasiekwere, U. A., On stability of first order linear impulsive differential equations, International Journal of Statistics and Applied, Mathematics, Volume 3, Issue 3C, 231-236, 2018. [11] Gopalsamy, K. (1992), Stability and Oscillation in Delay Differential Equations of Population Dynamics, Kluwer Academics, Dordrecht. [12] Liu, X. and Ballinger, G. (2002). Existence and continuability of solutions for differential equations with delays and statedependent impulses, Nonlinear Analysis TMA, 51, pp. 633-647. [13] Lakshmikantham, V., Bainov, D. D. and Simeonov, P. S. (1989), Theory of Impulsive Differential Equations, World Scientific Publishing Company Limited, Singapore. [14] Oyelami, B. O. (1999), On military model for impulsive reinforcement functions using exclusion and marginalization techniques, Nonlinear Analysis, Vol 35, pp. 947-958. [15] Oyelami, B., Ale, S. O., Ogidi, J. A., and Onumanyi, P. (2003), Impulsive hiv - 1 model in the presence of antiretroval drugs using b transform method, Proceedings of African Mathematical Union, 1, pp. 62-76. [16] Simeonov, P. S. and Bainov, D. D. (1988). Differentiability of solutions of systems with impulse effects with respect to initial data and parameters, Proceedings of Edinburgh Maths Society, 31, pp. 353-368. [17] Samaoilenko, A. M. and Perestyuk, J. J. J. (1995), Impulsive Differential Equations, World Scientific, New York. [18] UgbohJ. A., EsuabanaI. M., Existence and Uniqueness Result for a Class of Impulsive Delay Differential Equations, International Journal of Chemistry, Mathematics and Physics, Vol. 2 (4), 27-32, 2018, doi:10.22161/ijcmp.2.4.1. [19] Yan, J. (2004), Oscillation properties of a second order impulsive delay differential equation, Comp. and Math. with Applications, 47, pp. 253-258.