Medical, Pharma, Engineering, Science, Technology and Business

**Yin-Wei Lin ^{*} and Tzon-Tzer Lu**

Department of Applied Mathematics, National Sun Yat-sen University, Kaohsiung, Taiwan 80424, R.O.C

- *Corresponding Author:
- Yin-Wei Lin

Department of Applied Mathematics

National Sun Yat-sen University, Kaohsiung, Taiwan 80424, R.O.C

**E-mail:**panguapig@yahoo.com.tw

**Received Date:** July 18, 2013; **Accepted Date:** October 15, 2013; **Published Date:** October 22, 2013

**Citation:** Lin YW, Lu TT (2013) Qualitative Behavior of a State-dependent Functional Differential Equation. J Appl Computat Math 2:144. doi: 10.4172/2168-9679.1000144

**Copyright:** © 2013 Lin YW, et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

**Visit for more related articles at** Journal of Applied & Computational Mathematics

This paper deals with the state-dependent functional differential equations x(x(t)). We give the strict proof of qualitative properties that Eder’s case and the solution of the state-dependent differential equation is not unique. In some conditions, we also extend Eder’s case.

State-dependent; Analytic solution; Fixed point; Qualitative behavior

Functional differential equations with delay have long been studied due to their practical applications [1]. For example, early in 1967 Cooke [2] mentioned that some population models and infection models obey the equation

x′(t)+ax(t − r(x(t)))=0. (1)

Stephan [3] studied the equation

x′(t)+ax(t − h(t, x(t)))=F(t), (2)

for some population and infection models. Such type of differential equations with state dependent delay unavoidable contains certain composition of unknown function. In literature they are called the state-dependent delay differential equations (SDDE).

There are many research directions on these equations. For instance, Liu and Keiji et al. [4,5] found the analytic solutions of many such iterative functional differential equations. The existence and uniqueness of solution is one of the major problems. For examples, Dunkel [6] worked on x′(t)=f(x(h(x(t)))), and Fiagbedzi and Gebeily [7] on

by using Banach or Schauder fixed point theorem. Also great attention had been paid to the qualitative properties of these SDDE. For example, Stanek [8] proved every solution of x'(t)=x(x(t))+x(t), either vanishes identically or is strictly monotonic. Fusco and Guglielmi [9] discussed a regularization for discontinuous of SDDE. Hu and Wu [10] developed global Hopf bifurcation theory and got periodic solutions of SDDE. Eder [11] classified all the solutions of x'(t)=x(x(t)) as four types. In this paper, more detailed analysis on Eder’s work. In fact, two types of the increasing solutions are identical. In some situations, we had surprising non-uniqueness of the solutions.

This paper is organized as follows. We survey Eder’s results and list some basic formulas in Section 2. Some new qualitative behaviors are given in Section 3. These two sections contain some rigorous proofs not mentioned in reference [11]. The final section addresses the conclusion and some open problems.

**Definition 1:** A solution of the functional differential equation

x′(t)=x(x(t)) (3)

is a C^{1} function x : A → R from an interval A ⊂ R.

**Remark 1: **x(x(t)) is not well-defined, since x: A → R.

**Theorem 1:** If x(t) is a solution of state-dependent differential equation x′(t)=x(x(t)), then x(t) is monotonic increasing or decreasing.

**Proof:** This is a special case of [12] i.e. x(t) ≥ 0 or x(t) ≤ 0 for x ∈ A.

**Theorem 2:** For x(t) is a solution of state-dependent differential equation of (3) and x(a)=a if

1. x′(a)>0, then there is no c<a such that x′(c)=0 i.e. the solution x(t) is strictly increasing;

2. x′(a)<0, then there is no d>a such that x′(d)=0 i.e. the solution x(t) is strictly decreasing.

**Proof:** See Eder [11].

**Corollary 3:** (Eder, Monotonicity of Solutions)

Let x(t) be a solution of (3) in an interval A. Then one and only one of the following statements is true:

1. x′(t)=0, ∀t ∈ A;

2. x′(t)>0, ∀t ∈ A;

3. x′(t)<0, ∀t ∈ A.

**Remark 2:** We give the Theorem 1 and 2 because Eder’s proof (Lemma 2 [11]) is not strict enough. The lemma 2 has no initial value condition. Theorem 1 only guarantee monotonic x(t) ≥ 0 or x(t) ≤ 0 for x ∈ A. But Theorem 2 guarantee “strictly” monotonic; Theorem 1 has no initial value x(a)=a condition but Theorem 2 has the initial value condition. Add the initial value condition x(a)=a in Corollary 3, then we have Corollary 4.

**Corollary 4:** For the initial value problem

1. If s>0, then x(t) is strictly increasing;

2. If s<0, then x(t) is strictly decreasing;

3. If s=0, then x(t) is a trivial solution for ∀t ∈ R.

**Proof:** It is easy to prove theorem by using Theorem 2 as x(a)=a.

**Lemma 5: **(Eder, The interval of right hand side is finite)

Let A=[a, b] be the domain of x(t) in case 1 as the above, then b<∞.

**Proof:** Suppose not, for x″(t)=x′(x(t))x′(t)>0, ∃t1>0 such that x(t)>t+1 for t ≥ t1. So we have x(x(t))>x(t+1) and x(t+1)=x(t)+x′(t)+1/2x′(ξ) ≥ x′(t)=x(x(t))>x(t+1) contradiction.

**Remark 3:** Lemma 5 is a part of Eder’s case 2 in Theorem 2. The proof of Eder is not clear. We rewrite the statement and the proof.

**Theorem 6** (Eder, Local Existence and Uniqueness)

Given any a ∈ (−1, 1), there is a unique real-valued solution x(t) of (3), x(a)=a on an open neighborhood of |t−a|<∈ for small ∈>0.

**Proof: **See reference [11].

**Theorem 7:** (Eder, Classification)

Let x: [a, b] → R be an non-extendable solution of x′(t)=x(x(t)). Then one and only one of the following statements is true.

1. x(t)=0, ∀t ∈ R : a=−∞, b=∞.

2. x′(t)>0: 0<b<∞ and x(b)=b,

(a) 0<a<1<b and x(a)=a: x has two fixed points;

(b) a=−∞, −∞<x(−∞)<0 and x(x(−∞))=0.

3. x′(t)<0 ∀t :

(a) −∞<a<−1<b<0: x(a)=b : x(b)=a are 2-period point;

(b) a=−∞ and b=∞ : x(−∞)=∞, −∞<x(∞)<0 and x(x(∞))=0.

**Remark 5: **(1) 2(a) are not exist uniqueness because the solution can be extend from left hand side of the fixed point a to −∞, then the solution 2(a) becomes the solution 2(b).

(2) If its fixed point of x(s)=s<−1, then case 3a and 3b can be combined. If -1<s<0, case 3a does not exist.

Because Eder’s paper did not tell us how to get these results. We need some Lemmas to prove the theorem in the next section.

We can discuss the qualitative properties of state-dependent differential equations.

**Lemma 8:** Suppose x(t) is a solution of (3) for all t ∈ (−∞, b] and x(a)=a>0, then we have

(i) lim_{t→−∞} x(t)=−A for some fixed number A;

(ii) lim_{t→−∞} x′(t)=0;

(iii) A>0.

**Proof:** (i) Since x(t) is increasing, we have only two cases. Either lim_{t→−∞} x(t)=−∞ or lim_{t→−∞} x(t)=−A. Assume lim_{t→−∞} x(t)=−∞, then we have lim_{t→−∞} x′(t)=lim_{t→−∞} x(x(t))=x(−∞)=−∞<0 contradicts to x(t) has increasing properties in Lemma 1.

(ii) Because lims→−∞ x(s)=−A, we have for given ε>0, let s<min

(4)

By (4) and (5), then we have and t ∈ (s, a)

(iii) For x(t) is increasing, we have . So we have

**Lemma 9** Suppose x(t) is a solution of (3) for all t ∈ (−∞, ∞) and x(s)=s<0, then we have

(i) x′(t)<0 and x′(t)>0;

(ii) lim_{t→−∞} x(t)=∞;

(iii) lim_{t→∞} x(t)=B for some bounded number B;

(iv) lim_{t→∞} x′(t)=0.

**Proof:** (i) x(t)<0 because Lemma 2 in Section 2 and x″(t)<0 because x″(t)=x′(x(t))x′(t)>0.

(ii) For x′(t) is nonnegative, we have x(t) ≥ x(p)+x′(p)(t − p). Let p<s.

Because x(t) is increasing, we have x′(p)<x′(s)=s ⇒ x′(p)(−1)>−s; Similarly we have

x′(p−1)(−1)>−s, x′(p−n)(−1)>−s.

For t=p − 1, p − 2,…, p−n, we have

x(p−1)>x(p)+x′(p)(p−1−p)=x(p)+(−s),

x(p−2)>(p−1)+x′(p−1)(p−2−p+1)=x(p−1)−s>x(p)+(−2s),

x(p−n)>x(p)+(−ns) → ∞ as n → ∞ for s<0.

(iii) For (ii) and x(s)=s<0, ∃ ? such that x(e)=0 by I.V.T. Because t<e and x(t) is decreasing, we have x(t) ≥ x(e)=0. If x(t) is not bounded, then we have N>0 and p<e such that x(t)=p as t ≥ N. For x(t) is decreasing, we have x′(t)=x(x(t))=x(p) ≥ x(e)=0 for t ≥ N. This is impossible because x′(t)<0.

(iv) Let N=max . Because lim_{t→∞} x(t)=B, we have for given ε>0 as h ≥ N ≥ s+1. For h − s ≥ 1 and , we have

**Theorem 10:** For x(t) is a solution of , 0<a ≤ 1 and z(t) is a solution of 0<a′ ≤ 1. If a ≠ a′, then it is impossible for x(t) intersect z(t) for max{a, a′}, i.e. the solution of , is unique for t>max{a, a′}.

**Proof:** Without losing generosity, let a<a′. If x(t) intersect z(t) for the first time at (c, p), then we have x(c)=z(c)=p<c and x(t)<z(t) for t<c. We claim the following statements.

(i) x′(c) ≥ z′(c);

(ii) x(p)<z(p), then substituting state-dependent differential equation, we have x′(c)=x(x(c))=x(p)<z(p)=z(z(c))=z(z(c))=z′(c) contradict to (i).

Back to the proof of i) For x(t) and z(t) are increasing and concave up, we have x(c+h)>z(c+h) and x(c−h)<z(c−h). Then we have

(ii) If x(t) intersect z(t) for the first time at (c, p), then we have x(c)=z(c)=p<c and x(p)<z(p) for p<c.

**Theorem 11: **For these state-dependent differential equations and x(t) must intersect y(t) for t<min{a, b}, i.e. the solution of is not unique for t<min{a, b}.

**Proof:** Suppose lim_{t→−∞} x(t)=−A and lim_{t→−∞} y(t)=−B. By the Lemma 1(ii) in Section 3, we have

**Lemma 12:** Similarly y(−B)=0. For A ≤ B, x(t) must intersect y(t). Suppose A>B, x(t) is not intersect with y(t), then we have y(t)<x(t) for all t<a. So we have −B=limlim_{t→−∞} y(t)<limlim_{t→−∞} x(t)=−A contradiction.

**Remark 6:** Suppose (α, β) is the intersection point of is the intersection point of x(t) and y(t), then the solution of the initial value problem x′(t)=x(x(t)), with x(α)=β is not unique for α ≠ β, but the solution is unique as α=β.

For the decreasing solution of (3), the proof of case 3 in (Eder, Classification) has not been finished. Maybe we need some other techniques or tools to finished it. And we suppose the solution of (3) exists throughout this paper. Actually, we need to establish the global existence and uniqueness theorem for all the cases. Furthermore, we hope these techniques can be used to extend other cases of statedependent differential equations.

- Hale JK (1987) Theory of Functional Differential Equations. Spring-Verlag, New York.
- Cooke KL (1967) Functional differential system: some models and perturbation problems. International Symposium on Differential Equations and Dynamical Systems, held in puerto Rico, Academic Press, New York 167-183.
- Stephan BH (1969) On the existence of periodic solutions of z’(t)=-az(t - r+kμ(t, z(t)))+F(t). J Differ Equ 6: 408-419.
- Liu T, Li H (2008) Local analytic solution of a second-order functional differential equation with a state derivative dependent delay. Appl Math Comput 197: 158-166.
- Keiji W (1984) Control of systems with time-delay in the state variables. III. Functional-analytic approaches. (Japanese) Special issue on control of time delay systems. Systems and Control 28: 309-317.
- Dunkel GM (1970) On nested functional differential equations. SIAM J Appl Math 18: 514-525.
- Fiagbedzi YA, El-Gebeily MA (2000) Existence and uniqueness of the solution of a class of nonlinear functional differential equations. Ann of Diff Eqs 16: 381-390.
- Stanek S (1995) On global properties of solutions of functional differential equation x’(t)=x(x(t))+x(t), Dynamic Sys Appl 4 263-278.
- Fusco G, Guglielmi N (2011) A regularization for discontinuous differential equations with application to state-dependent delay differential equations of neutral type. J Differential Equations 250: 3230-3279.
- Hu QW, Wu JH (2010) Global continua of rapidly oscillating periodic solutions of state-dependent delay differential equations. J Dynam Differential Equations 22: 253-284.
- Eder E (1984) The functional differential equation x’(t)=x(x(t)). J Differ Equ 54: 390-400.
- Wu H (1999) On existences and asymptotic behaviors of strong solutions of equation x’(t)=f(x(x(t)). Ann of Diff Eqs 9: 336-351.

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Hamilton Mechanics
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Physical Mathematics
- Quantum Mechanics
- Quantum electrodynamics
- Quasilinear Hyperbolic Systems
- Regressions
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topology
- mirror symmetry
- vector bundle

- Total views:
**11341** - [From(publication date):

December-2013 - Dec 04, 2016] - Breakdown by view type
- HTML page views :
**7603** - PDF downloads :
**3738**

OMICS International Journals

- Clinical Research
- Radiology
- Toxicology
- Nephrology
- Haematology
- Ophthalmology
- Anesthesiology
- Gasteroenterology

- Nursing
- Health Care
- Alternative Medicine
- Medicine
- Oncology
- Neurology
- Diabetes & Endocrinology
- Psychiatry

OMICS International Conferences 2016-17