# Necessary Condition for an Euler-Lagrange Equation on Time Scales

Authors: Monika Dryl; Delfim F. M. Torres
Journal: Abstract and Applied Analysis
 (2014)

---

## Abstract

We prove a necessary condition for a dynamic integrodifferential equation
to be an Euler-Lagrange equation. New and interesting results for the discrete
and quantum calculus are obtained as particular cases. An example of a second
order dynamic equation, which is not an Euler-Lagrange equation
on an arbitrary time scale, is given.


---

## Body

## 1. Introduction

The time-scale calculus is a unification of the theories of difference and differential equations, unifying integral and differential calculus with the calculus of finite differences and offering a formalism for studying hybrid discrete-continuous dynamical systems [1, 2]. It has applications in any field that requires simultaneous modeling of discrete and continuous data [3–5].The study of optimal control problems on arbitrary time scales is a subject under strong current research [6, 7]. This is particularly true for the particular, but rich, case of the calculus of variations on time scales [8–10]. Compared with the direct problem, that establishes dynamic equations of Euler-Lagrange type to the time-scale variational problems, the inverse problem has not yet been studied in the framework of time scales. It turns out that there is a simple explanation for the absence of such an inverse general theory for the time-scale variational calculus: the classical approach relies on the use of the chain rule, which is not valid in the general context of time scales [2]. To address the problem, a different approach to the subject is needed.In this paper we introduce a completely different approach to the inverse problem of the calculus of variations, using an integral perspective instead of the classical differential point of view [11, 12]. The differential form of equations is often related to dynamics via the time derivative. The integral form has proved to be successful for proving the existence and uniqueness of solutions, to study analytical properties of solutions, and to prove coherence of variational embeddings [13]. Here we show its usefulness with respect to the inverse problem of the calculus of variations. We prove a necessary condition for an integrodifferential equation on an arbitrary time scale 𝕋 to be an Euler-Lagrange equation, related to a property of self-adjointness (Definition 12) of the equation of variation (Definition 13) of the given dynamic integrodifferential equation.The text is organized as follows. Section2 provides all the necessary definitions and results of the delta calculus on time scales, which will be used throughout the text. The main results are proved in Section 3. We present a sufficient condition of self-adjointness for an integrodifferential equation (Lemma 15). Using this property, we prove a necessary condition for a general (nonclassical) inverse problem of the calculus of variations on an arbitrary time scale (Theorem 16). As a result, we obtain a useful tool to identify integrodifferential equations which are not Euler-Lagrange equations (Remark 17). To illustrate the method, we give a second order dynamic equation on time scales which is not an Euler-Lagrange equation (Example 19). Next we apply Theorem 16 to the particular cases of time scales 𝕋
∈
{
ℝ
,
h
ℤ
,
q
ℤ
¯
}, h
>
0, q
>
1 (Corollaries 20, 21, and 22). In Section 4 some final remarks are presented. We begin by proving the equivalence between an integrodifferential equation and a second order dynamic equation (Proposition 23). Then we show that, due to lack of a chain rule on an arbitrary time scale, it is impossible to obtain an equivalence between equations of variation in integral and differential forms. This is in contrast with the classical case 𝕋
=
ℝ, where such equivalence holds (Proposition 24).


## 2. Preliminaries

In this section we introduce basic definitions and theorems that will be useful in the sequel. For more results concerning the theory of time scales we refer the reader to the books [2, 4].Definition 1 (e.g., Section 2.1 of [14]).
A time scale𝕋 is an arbitrary nonempty closed subset of ℝ. Given a time scale 𝕋, the forward jump operator σ
:
𝕋
→
𝕋 is defined by σ
(
t
)
:
=
inf
⁡
{
s
∈
𝕋
:
s
>
t
} for t
≠
sup
⁡
𝕋 and σ
(
sup
⁡
𝕋
)
:
=
sup
⁡
𝕋 if sup
⁡
𝕋
<
+
∞. Similarly, the backward jump operator ρ
:
𝕋
→
𝕋 is defined by ρ
(
t
)
:
=
sup
⁡
{
s
∈
𝕋
:
s
<
t
} for t
≠
inf
⁡
𝕋 and ρ
(
inf
⁡
𝕋
)
=
inf
⁡
𝕋 if inf
⁡
𝕋
>
-
∞.
A pointt
∈
𝕋 is called right-dense, right-scattered, left-dense, or left-scattered if σ
(
t
)
=
t, σ
(
t
)
>
t, ρ
(
t
)
=
t, and ρ
(
t
)
<
t, respectively. The forward graininess function μ
:
𝕋
→
[
0
,
∞
) is defined by μ
(
t
)
:
=
σ
(
t
)
-
t. To simplify the notation, one usually uses f
σ
(
t
)
:
=
f
(
σ
(
t
)
).
The delta derivative is defined for points from the set(1)
𝕋
κ
:
=
{
𝕋
∖
{
sup
⁡
𝕋
}
if
ρ
(
sup
⁡
𝕋
)
<
sup
⁡
𝕋
<
∞
,
𝕋
otherwise.Definition 2 (Section 1.1 of [2]).
Letf
:
𝕋
→
ℝ and t
∈
𝕋
κ. One defines f
Δ
(
t
) to be the number (provided it exists) with the property that, given any ε
>
0, there is a neighborhood U of t such that
(2)
|
f
σ
(
t
)
-
f
(
s
)
-
f
Δ
(
t
)
(
σ
(
t
)
-
s
)
|
≤
ε
|
σ
(
t
)
-
s
|
∀
s
∈
U
.
We call f
Δ
(
t
) the delta derivative of f at t. Function f is delta differentiable on 𝕋
κ provided f
Δ
(
t
) exists for all t
∈
𝕋
κ. Then, f
Δ
:
𝕋
κ
→
ℝ is called the delta derivative of f on 𝕋
κ.Theorem 3 (Theorem 1.16 of [2]).
Letf
:
𝕋
→
ℝ and t
∈
𝕋
κ. If f is continuous at t and t is right-scattered, then f is delta differentiable at t with
(3)
f
Δ
(
t
)
=
f
σ
(
t
)
-
f
(
t
)
μ
(
t
)
.Theorem 4 (Theorem 1.20 of [2]).
Letf
,
g
:
𝕋
→
ℝ be delta differentiable at t
∈
𝕋
κ. Then, (1)
the sumf
+
g
:
𝕋
→
ℝ is delta differentiable at t with
(4)
(
f
+
g
)
Δ
(
t
)
=
f
Δ
(
t
)
+
g
Δ
(
t
)
;
(2)
for any real constantα, α
f
:
𝕋
→
ℝ is delta differentiable at t with
(5)
(
α
f
)
Δ
(
t
)
=
α
f
Δ
(
t
)
;
(3)
the productf
g
:
𝕋
→
ℝ is delta differentiable at t with
(6)
(
f
g
)
Δ
(
t
)
=
f
Δ
(
t
)
g
(
t
)
+
f
σ
(
t
)
g
Δ
(
t
)
=
f
(
t
)
g
Δ
(
t
)
+
f
Δ
(
t
)
g
σ
(
t
)
.Theorem 5 (Theorem 1.16 of [2]).
Iff
:
𝕋
→
ℝ is a delta differentiable function at t, t
∈
𝕋
κ, then
(7)
f
σ
(
t
)
=
f
(
t
)
+
μ
(
t
)
f
Δ
(
t
)
.Definition 6 (Definition 1.58 of [2]).
A functionf
:
𝕋
→
ℝ is called rd-continuous provided it is continuous at right-dense points in 𝕋 and its left-sided limits exist (finite) at all left-dense points in 𝕋.
The set of all rd-continuous functionsf
:
𝕋
→
ℝ is denoted by C
rd
⁡
=
C
rd
⁡
(
𝕋
)
=
C
rd
⁡
(
𝕋
,
ℝ
). The set of functions f
:
𝕋
→
ℝ that are delta differentiable and whose derivative is rd-continuous is denoted by C
rd
⁡
1
=
C
rd
⁡
1
(
𝕋
)
=
C
rd
⁡
1
(
𝕋
,
ℝ
).Definition 7 (Definition 1.71 of [2]).
A functionF
:
𝕋
→
ℝ is called an antiderivative of f
:
𝕋
→
ℝ provided F
Δ
(
t
)
=
f
(
t
) for all t
∈
𝕋
κ.Definition 8.
Let𝕋 be a time scale and a
,
b
∈
𝕋. If f
:
𝕋
κ
→
ℝ is a rd-continuous function and F
:
𝕋
→
ℝ is an antiderivative of f, then the delta integral is defined by
(8)
∫
a
b
f
(
t
)
Δ
t
:
=
F
(
b
)
-
F
(
a
)
.Theorem 9 (Theorem 1.74 of [2]).
Every rd-continuous functionf has an antiderivative F. In particular, if t
0
∈
𝕋, then F defined by
(9)
F
(
t
)
:
=
∫
t
0
t
f
(
τ
)
Δ
τ
,
t
∈
𝕋
,
is an antiderivative of f.Example 10.
Leta
,
b
∈
𝕋 and f
:
𝕋
→
ℝ be rd-continuous. If 𝕋
=
ℝ, then
(10)
∫
a
b
f
(
t
)
Δ
t
=
∫
a
b
f
(
t
)
d
t
,
where the integral on the right side is the usual Riemann integral. If 𝕋
=
h
ℤ, h
>
0, then
(11)
∫
a
b
f
(
t
)
Δ
t
=
{
∑
k
=
a
/
h
(
b
/
h
)
-
1
‍
f
(
k
h
)
h
,
if
a
<
b
,
0
,
if
a
=
b
,
-
∑
k
=
(
b
/
h
)
(
a
/
h
)
-
1
‍
f
(
k
h
)
h
,
if
a
>
b
.
If 𝕋
=
q
ℤ
¯, q
>
1, and a
<
b, then
(12)
∫
a
b
f
(
t
)
Δ
t
=
(
q
-
1
)
∑
t
∈
[
a
,
b
)
∩
𝕋
‍
t
f
(
t
)
.Theorem 11 (Theorem 1.77 of [2]).
Ifa
,
b
,
c
∈
𝕋
,
α
∈
ℝ, and f
,
g
∈
C
r
d
(
𝕋
), then (1)
∫
a
b
[
f
(
t
)
+
g
(
t
)
]
Δ
t
=
∫
a
b
f
(
t
)
Δ
t
+
∫
a
b
g
(
t
)
Δ
t;
(2)
∫
a
b
(
α
f
)
(
t
)
Δ
t
=
α
∫
a
b
f
(
t
)
Δ
t;
(3)
∫
a
b
f
(
t
)
g
Δ
(
t
)
Δ
t
=
(
f
g
)
(
b
)
-
(
f
g
)
(
a
)
-
∫
a
b
f
Δ
(
t
)
g
σ
(
t
)
Δ
t;
(4)
∫
a
b
f
σ
(
t
)
g
Δ
(
t
)
Δ
t
=
(
f
g
)
(
b
)
-
(
f
g
)
(
a
)
-
∫
a
b
f
Δ
(
t
)
g
(
t
)
Δ
t.For more properties of the delta derivative and delta integral we refer the reader to [2, 4].


## 3. Main Results

Our main result (Theorem16) provides a necessary condition for an integrodifferential equation on an arbitrary time scale to be an Euler-Lagrange equation. For that the notions of self-adjointness (Definition 12) and equation of variation (Definition 13) are essential. These definitions, in integrodifferential form, are new (cf. the notion of self-adjointness for a dynamic time-scale equation of second order in [2, Section 4.1] and the notion of equation of variation for a second order differential equation in [12]).Definition 12 (first order self-adjoint integrodifferential equation).
A first order integrodifferential dynamic equation is said to beself-adjoint if it has the form
(13)
L
u
(
t
)
=
const
,
where
L
u
(
t
)
=
p
(
t
)
u
Δ
(
t
)
+
∫
t
0
t
[
q
(
s
)
u
σ
(
s
)
]
Δ
s
,
with p
,
q
∈
C
rd
⁡, p
≠
0 for all t
∈
𝕋, and t
0
∈
𝕋.
Let𝔻 be the set of all functions y
:
𝕋
→
ℝ such that y
Δ
:
𝕋
κ
→
ℝ is continuous. A function y
∈
𝔻 is said to be a solution of (13) provided L
y
(
t
)
=
const holds for all t
∈
𝕋
κ. Along the text we use the operators [
·
]
𝕋 and 〈
·
〉
𝕋 defined by
(14)
[
y
]
𝕋
(
t
)
:
=
(
t
,
y
σ
(
t
)
,
y
Δ
(
t
)
)
,
〈
y
〉
𝕋
(
t
)
:
=
(
t
,
y
σ
(
t
)
,
y
Δ
(
t
)
,
y
Δ
Δ
(
t
)
)
.Definition 13 (equation of variation).
Let(15)
H
[
y
]
𝕋
(
t
)
+
∫
t
0
t
G
[
y
]
𝕋
(
s
)
Δ
s
=
const
be an integrodifferential equation on time scales with ∂
3
H
≠
0 and t
→
∂
2
F
[
y
]
𝕋
(
t
), t
→
∂
3
F
[
y
]
𝕋
(
t
)
∈
C
rd
⁡ along every curve y, where F
∈
{
G
,
H
}. Theequation of variation associated with (15) is given by
(16)
∂
2
H
[
u
]
𝕋
(
t
)
u
σ
(
t
)
+
∂
3
H
[
u
]
𝕋
(
t
)
u
Δ
(
t
)
+
∫
t
0
t
∂
2
G
[
u
]
𝕋
(
s
)
u
σ
(
s
)
+
∂
3
G
[
u
]
𝕋
(
s
)
u
Δ
(
s
)
Δ
s
=
0
.Remark 14.
The equation of variation (16) can be interpreted in the following way. Assuming y
=
y
(
t
,
b
), b
∈
ℝ, is a one-parameter solution of a given integrodifferential equation (15), then
(17)
H
(
t
,
y
σ
(
t
,
b
)
,
y
Δ
(
t
,
b
)
)
+
∫
t
0
t
G
(
s
,
y
σ
(
s
,
b
)
,
y
Δ
(
s
,
b
)
)
Δ
s
=
const.
Let u
(
t
) be a particular solution; that is, u
(
t
)
=
y
(
t
,
b
¯
) for a certain b
¯. Differentiating (17) with respect to the parameter b and then putting b
=
b
¯, we obtain (16).Lemma 15 (sufficient condition of self-adjointness).
Let (15) be a given integrodifferential equation. If
(18)
∂
2
H
[
y
]
𝕋
(
t
)
+
∂
3
G
[
y
]
𝕋
(
t
)
=
0
,
then its equation of variation (16) is self-adjoint.Proof.
Let us consider a given equation of variation (16). Using Theorem 5 and third item of Theorem 11, we expand the two components of the given equation:
(19)
∂
2
H
[
u
]
𝕋
(
t
)
u
σ
(
t
)
=
∂
2
H
[
u
]
𝕋
(
t
)
(
u
(
t
)
+
μ
(
t
)
u
Δ
(
t
)
)
,
∫
t
0
t
∂
3
G
[
u
]
𝕋
(
s
)
u
Δ
(
s
)
Δ
s
=
∂
3
G
[
u
]
𝕋
(
t
)
u
(
t
)
-
∂
3
G
[
u
]
𝕋
(
t
0
)
u
(
t
0
)
-
∫
t
0
t
[
∂
3
G
[
u
]
𝕋
(
s
)
]
Δ
u
σ
(
s
)
Δ
s
.
Hence, equation of variation (16) can be written in the form
(20)
∂
3
G
[
u
]
𝕋
(
t
0
)
u
(
t
0
)
=
u
Δ
(
t
)
[
μ
(
t
)
∂
2
H
[
u
]
𝕋
(
t
)
+
∂
3
H
[
u
]
𝕋
(
t
)
]
+
∫
t
0
t
u
σ
(
s
)
[
∂
2
G
[
u
]
𝕋
(
s
)
-
(
∂
3
G
[
u
]
𝕋
(
s
)
)
Δ
]
Δ
s
iiiiiiiiiiiiii
iiii
+
u
(
t
)
(
∂
2
H
[
u
]
𝕋
(
t
)
+
∂
3
G
[
u
]
𝕋
(
t
)
)
.
If (18) holds, then (20) is a particular case of (13) with
(21)
p
(
t
)
=
μ
(
t
)
∂
2
H
[
u
]
𝕋
(
t
)
+
∂
3
H
[
u
]
𝕋
(
t
)
,
q
(
s
)
=
∂
2
G
[
u
]
𝕋
(
s
)
-
(
∂
3
G
[
u
]
𝕋
(
s
)
)
Δ
,
∂
3
G
[
u
]
𝕋
(
t
0
)
u
(
t
0
)
=
const.
This concludes the proof.Theorem 16 (necessary condition for an Euler-Lagrange equation in integral form).
Let𝕋 be an arbitrary time scale and let
(22)
H
(
t
,
y
σ
(
t
)
,
y
Δ
(
t
)
)
+
∫
t
0
t
G
(
s
,
y
σ
(
s
)
,
y
Δ
(
s
)
)
Δ
s
=
c
o
n
s
t
be a given integrodifferential equation. If (22) is to be an Euler-Lagrange equation, then its equation of variation (16) is self-adjoint, in the sense of Definition 12.Proof.
Assume (22) is the Euler-Lagrange equation of the variational functional
(23)
ℐ
(
y
)
=
∫
t
0
t
1
L
(
t
,
y
σ
(
t
)
,
y
Δ
(
t
)
)
Δ
t
,
where L
∈
C
2. Since the Euler-Lagrange equation in integral form of (23) is given by
(24)
∂
3
L
[
y
]
𝕋
(
t
)
+
∫
t
0
t
-
∂
2
L
[
y
]
𝕋
(
s
)
Δ
s
=
const
(cf. [13, 15, 16]), we conclude that H
[
y
]
𝕋
(
t
)
=
∂
3
L
[
y
]
𝕋
(
t
) and G
[
y
]
𝕋
(
s
)
=
-
∂
2
L
[
y
]
𝕋
(
s
). Having in mind that (i)
∂
2
H
=
∂
2
(
∂
3
L
),  ∂
3
H
=
∂
3
(
∂
3
L
)
=
∂
3
2
L,
(ii)
∂
2
G
=
∂
2
(
-
∂
2
L
)
=
-
∂
2
2
L,  ∂
3
G
=
∂
3
(
-
∂
2
L
)
=
-
∂
3
∂
2
L,
it follows from Schwarz’s theorem,∂
2
∂
3
L
=
∂
3
∂
2
L, that
(25)
∂
2
H
[
y
]
𝕋
(
t
)
+
∂
3
G
[
y
]
𝕋
(
t
)
=
0
.
We conclude from Lemma15 that the equation of variation (22) is self-adjoint.Remark 17.
In practical terms, Theorem16 is useful to identify equations which are not Euler-Lagrange equations: if the equation of variation (16) of a given dynamic equation (15) is not self-adjoint, then we conclude that (15) is not an Euler-Lagrange equation.Remark 18 (self-adjointness for a second order differential equation).
Letp be delta differentiable in Definition 12 and u
∈
C
rd
⁡
2. Then, by differentiating (13), one obtains a second order self-adjoint dynamic equation
(26)
p
σ
(
t
)
u
Δ
Δ
(
t
)
+
p
Δ
(
t
)
u
Δ
(
t
)
+
q
(
t
)
u
σ
(
t
)
=
0
or
(27)
p
(
t
)
u
Δ
Δ
(
t
)
+
p
Δ
(
t
)
u
Δ
σ
(
t
)
+
q
(
t
)
u
σ
(
t
)
=
0
with q
∈
C
rd
⁡ and p
∈
C
rd
⁡
1 and p
≠
0 for all t
∈
𝕋.
Now we present an example of a second order differential equation on time scales which is not an Euler-Lagrange equation.Example 19.
Let us consider the following second order dynamic equation on an arbitrary time scale𝕋:
(28)
y
Δ
Δ
(
t
)
+
y
Δ
(
t
)
-
t
=
0
.
We may write (28) in integrodifferential form (15):
(29)
y
Δ
(
t
)
+
∫
t
0
t
(
y
Δ
(
s
)
-
s
)
Δ
s
=
const
,
where H
[
y
]
𝕋
(
t
)
=
y
Δ
(
t
) and G
[
y
]
𝕋
(
t
)
=
y
Δ
(
t
)
-
t. Because
(30)
∂
2
H
[
y
]
𝕋
(
t
)
=
∂
2
G
[
y
]
𝕋
(
t
)
=
0
,
∂
3
H
[
y
]
𝕋
(
t
)
=
∂
3
G
[
y
]
𝕋
(
t
)
=
1
,
the equation of variation associated with (29) is given by
(31)
u
Δ
(
t
)
+
∫
t
0
t
u
Δ
(
s
)
Δ
s
=
0
⟺
u
Δ
(
t
)
+
u
(
t
)
=
u
(
t
0
)
.
We may notice that equation (31) cannot be written in form (13); hence, it is not self-adjoint. Indeed, notice that (31) is a first order dynamic equation while from Remark 18 one obtains a second order dynamic equation. Following Theorem 16 (see Remark 17), we conclude that (28) is not an Euler-Lagrange equation.
Now we consider the particular case of Theorem16 when 𝕋
=
ℝ and y
∈
C
2
(
[
t
0
,
t
1
]
;
ℝ
). In this case our operator [
·
]
𝕋 of (14) has the form [
y
]
ℝ
(
t
)
=
(
t
,
y
(
t
)
,
y
′
(
t
)
), while condition (13) can be written as
(32)
p
(
t
)
u
′
(
t
)
+
∫
t
0
t
q
(
s
)
u
(
s
)
d
s
=
const
.Corollary 20.
If a given integrodifferential equation(33)
H
(
t
,
y
(
t
)
,
y
′
(
t
)
)
+
∫
t
0
t
G
(
s
,
y
(
s
)
,
y
′
(
s
)
)
d
s
=
c
o
n
s
t
is to be the Euler-Lagrange equation of a variational problem
(34)
ℐ
(
y
)
=
∫
t
0
t
1
L
(
t
,
y
(
t
)
,
y
′
(
t
)
)
d
t
(cf., e.g., [17]), then its equation of variation
(35)
∂
2
H
[
u
]
ℝ
(
t
)
u
(
t
)
+
∂
3
H
[
u
]
ℝ
(
t
)
u
′
(
t
)
+
∫
t
0
t
∂
2
G
[
u
]
ℝ
(
s
)
u
(
s
)
+
∂
3
G
[
u
]
ℝ
(
s
)
u
′
(
s
)
d
s
=
0
must be self-adjoint, in the sense of Definition 12 with (13) given by (32).Proof.
The proof follows from Theorem16 with 𝕋
=
ℝ.Now we consider the particular case of Theorem16 when 𝕋
=
h
ℤ, h
>
0. In this case our operator [
·
]
𝕋 of (14) has the form
(36)
[
y
]
h
ℤ
(
t
)
=
(
t
,
y
(
t
+
h
)
,
Δ
h
y
(
t
)
)
=
:
[
y
]
h
(
t
)
,
where
(37)
Δ
h
y
(
t
)
=
y
(
t
+
h
)
-
y
(
t
)
h
.
For 𝕋
=
h
ℤ, h
>
0, condition (13) can be written as
(38)
p
(
t
)
Δ
h
u
(
t
)
+
∑
k
=
(
t
0
/
h
)
(
t
/
h
)
-
1
‍
h
q
(
k
h
)
u
(
k
h
+
h
)
=
const.Corollary 21.
If a given difference equation(39)
H
(
t
,
y
(
t
+
h
)
,
Δ
h
y
(
t
)
)
+
∑
k
=
(
t
0
/
h
)
(
t
/
h
)
-
1
‍
h
G
(
k
h
,
y
(
k
h
+
h
)
,
Δ
h
y
(
k
h
)
)
=
c
o
n
s
t
is to be the Euler-Lagrange equation of a discrete variational problem
(40)
ℐ
(
y
)
=
∑
k
=
(
t
0
/
h
)
(
t
1
/
h
)
-
1
‍
h
L
(
k
h
,
y
(
k
h
+
h
)
,
Δ
h
y
(
k
h
)
)
(cf., e.g., [18]), then its equation of variation
(41)
∂
2
H
[
u
]
h
(
t
)
u
(
t
+
h
)
+
∂
3
H
[
u
]
h
(
t
)
Δ
h
u
(
t
)
+
h
∑
k
=
(
t
0
/
h
)
(
t
/
h
)
-
1
‍
(
{
+
∂
3
G
[
u
]
h
(
k
h
)
Δ
h
u
(
k
h
)
}
∂
2
G
[
u
]
h
(
k
h
)
u
(
k
h
+
h
)
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
+
∂
3
G
[
u
]
h
(
k
h
)
Δ
h
u
(
k
h
)
)
=
0
is self-adjoint, in the sense of Definition12 with (13) given by (38).Proof.
The proof follows from Theorem16 with 𝕋
=
h
ℤ.Finally, let us consider the particular case of Theorem16 when 𝕋
=
q
ℤ
¯
=
q
ℤ
∪
{
0
}, where q
ℤ
=
{
q
k
:
k
∈
ℤ
,
q
>
1
}. In this case operator [
·
]
𝕋 of (14) has the form [
y
]
q
ℤ
¯
(
t
)
=
(
t
,
y
(
q
t
)
,
Δ
q
y
(
t
)
)
=
:
[
y
]
q
(
t
), where
(42)
Δ
q
y
(
t
)
=
y
(
q
t
)
-
y
(
t
)
(
q
-
1
)
t
.
For 𝕋
=
q
ℤ
¯, q
>
1, condition (13) can be written as
(43)
p
(
t
)
Δ
q
u
(
t
)
+
(
q
-
1
)
∑
s
∈
[
t
0
,
t
)
∩
𝕋
‍
s
r
(
s
)
u
(
q
s
)
=
const
(cf., e.g., [19]), where we use notation r
(
t
) instead of q
(
t
) in order to avoid confusion between the q
=
const that defines the time scale and function q
(
t
) of (13).Corollary 22.
If a givenq-equation
(44)
H
(
t
,
y
(
q
t
)
,
Δ
q
y
(
t
)
)
+
(
q
-
1
)
∑
s
∈
[
t
0
,
t
)
∩
𝕋
‍
s
G
(
s
,
y
(
q
s
)
,
Δ
q
y
(
s
)
)
=
c
o
n
s
t
,
q
>
1, is to be the Euler-Lagrange equation of a variational problem
(45)
ℐ
(
y
)
=
(
q
-
1
)
∑
t
∈
[
t
0
,
t
1
)
∩
𝕋
‍
t
L
(
t
,
y
(
q
t
)
,
Δ
q
y
(
t
)
)
,
t
0
,
t
1
∈
q
ℤ
¯, then its equation of variation
(46)
∂
2
H
[
u
]
q
(
t
)
u
(
q
t
)
+
∂
3
H
[
u
]
q
(
t
)
Δ
q
u
(
t
)
+
(
q
-
1
)
∑
s
∈
[
t
0
,
t
)
∩
𝕋
‍
s
(
∂
2
G
[
u
]
q
(
s
)
u
(
q
s
)
iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii
+
∂
3
G
[
u
]
q
(
s
)
Δ
q
u
(
s
)
)
=
0
is self-adjoint, in the sense of Definition 12 with (13) given by (43).Proof.
Choose𝕋
=
q
ℤ
¯ in Theorem 16.The reader interested in the study of Euler-Lagrange equations for problems of theq-variational calculus is referred to [16, 20, 21] and references therein.


## 4. Discussion

On an arbitrary time scale𝕋, it is easy to show equivalence between the integrodifferential equation (15) and the second order differential equation (47) below (Proposition 23). However, when we consider equations of variations of them, we notice that it is impossible to prove an equivalence between them on an arbitrary time scale. This impossibility is true even in the discrete time scale ℤ. The main reason is the lack of chain rule on time scales ([2], Example 1.85). However, in 𝕋
=
ℝ we can present this equivalence (Proposition 24).Proposition 23.
The integrodifferential equation (15) is equivalent to a second order delta differential equation
(47)
W
(
t
,
y
σ
(
t
)
,
y
Δ
(
t
)
,
y
Δ
Δ
(
t
)
)
=
0
.Proof.
Let (47) be a given second order differential equation. We may write it as a sum of two components
(48)
W
〈
y
〉
𝕋
(
t
)
=
F
〈
y
〉
𝕋
(
t
)
+
G
[
y
]
𝕋
(
t
)
=
0
.
Let F
〈
y
〉
𝕋
=
H
Δ
[
y
]
𝕋. Then,
(49)
H
Δ
(
t
,
y
σ
(
t
)
,
y
Δ
(
t
)
)
+
G
(
t
,
y
σ
(
t
)
,
y
Δ
(
t
)
)
=
0
.
Integrating both sides of (49) from t
0 to t, we obtain the integrodifferential equation (15).Let𝕋 be a time scale such that μ is delta differentiable. The equation of variation of a second order differential equation (47) is given by
(50)
∂
4
W
〈
u
〉
𝕋
(
t
)
u
Δ
Δ
(
t
)
+
∂
3
W
〈
u
〉
𝕋
(
t
)
u
Δ
(
t
)
+
∂
2
W
〈
u
〉
𝕋
(
t
)
u
σ
(
t
)
=
0
.
Equation (50) is obtained by using the method presented in Remark 14.On an arbitrary time scale it is impossible to prove the equivalence between the equation of variation (16) and (50). Indeed, after differentiating both sides of (16) and using the product rule given by Theorem 4, we have
(51)
∂
2
H
[
u
]
𝕋
(
t
)
u
σ
Δ
(
t
)
+
∂
2
H
Δ
[
u
]
𝕋
(
t
)
u
σ
σ
(
t
)
+
∂
3
H
[
u
]
𝕋
(
t
)
u
Δ
Δ
(
t
)
+
∂
3
H
Δ
[
u
]
𝕋
(
t
)
u
Δ
σ
(
t
)
+
∂
2
G
[
u
]
𝕋
(
t
)
u
σ
(
t
)
+
∂
3
G
[
u
]
𝕋
(
t
)
u
Δ
(
t
)
=
0
.
The direct calculations (i)
∂
2
H
[
u
]
𝕋
(
t
)
u
σ
Δ
(
t
)
=
∂
2
H
[
u
]
𝕋
(
t
)
(
u
Δ
(
t
)
+
μ
Δ
(
t
)
u
Δ
(
t
)
+
μ
σ
(
t
)
u
Δ
Δ
(
t
)
),
(ii)
∂
2
H
Δ
[
u
]
𝕋
(
t
)
u
σ
σ
(
t
)
=
∂
2
H
Δ
[
u
]
𝕋
(
t
)
(
u
σ
(
t
)
+
μ
σ
(
t
)
u
Δ
(
t
)
+
μ
(
t
)
μ
σ
(
t
)
u
Δ
Δ
(
t
)
),
(iii)
∂
3
H
Δ
[
u
]
𝕋
(
t
)
u
Δ
σ
(
t
)
=
∂
3
H
Δ
[
u
]
𝕋
(
t
)
(
u
Δ
(
t
)
+
μ
(
t
)
u
Δ
Δ
(
t
)
) allow us to write (51) in form
(52)
[
μ
σ
(
t
)
∂
2
H
[
u
]
𝕋
(
t
)
+
μ
(
t
)
μ
σ
(
t
)
∂
2
H
Δ
[
u
]
𝕋
(
t
)
i
+
∂
3
H
[
u
]
𝕋
(
t
)
+
μ
(
t
)
∂
3
H
Δ
[
u
]
𝕋
(
t
)
]
u
Δ
Δ
(
t
)
+
[
∂
2
H
[
u
]
𝕋
(
t
)
+
(
μ
(
t
)
∂
2
H
[
u
]
𝕋
(
t
)
)
Δ
iiiiiii
+
∂
3
H
Δ
[
u
]
𝕋
(
t
)
+
∂
3
G
[
u
]
𝕋
(
t
)
]
u
Δ
(
t
)
+
[
∂
2
H
Δ
[
u
]
𝕋
(
t
)
+
∂
2
G
[
u
]
𝕋
]
u
σ
(
t
)
=
0
;
that is, using Theorem 5,
(53)
u
Δ
Δ
(
t
)
[
μ
(
t
)
∂
2
H
[
u
]
𝕋
(
t
)
+
∂
3
H
[
u
]
𝕋
(
t
)
]
σ
+
u
Δ
(
t
)
[
∂
2
H
[
u
]
𝕋
(
t
)
+
(
μ
(
t
)
∂
2
H
[
u
]
𝕋
(
t
)
)
Δ
iiiiiiiiiiiiiiii
+
∂
3
H
Δ
[
u
]
𝕋
(
t
)
+
∂
3
G
[
u
]
𝕋
(
t
)
(
μ
(
t
)
∂
2
H
[
u
]
𝕋
(
t
)
)
Δ
]
+
u
σ
(
t
)
[
∂
2
H
Δ
[
u
]
𝕋
(
t
)
+
∂
2
G
[
u
]
𝕋
(
t
)
]
=
0
.
We are not able to prove that the coefficients of (53) are the same as in (50), respectively. This is due to the fact that we cannot find the partial derivatives of (47), that is, ∂
4
W
〈
u
〉
𝕋
(
t
), ∂
3
W
〈
u
〉
𝕋
(
t
), and ∂
2
W
〈
u
〉
𝕋
(
t
), from (49) because of lack of chain rule on an arbitrary time scale. The equivalence, however, is true for 𝕋
=
ℝ.Proposition 24.
The equation of variation(54)
∂
2
H
[
u
]
ℝ
(
t
)
u
(
t
)
+
∂
3
H
[
u
]
ℝ
(
t
)
u
′
(
t
)
+
∫
t
0
t
∂
2
G
[
u
]
ℝ
(
s
)
u
(
s
)
+
∂
3
G
[
u
]
ℝ
(
s
)
u
′
(
s
)
d
s
=
0
is equivalent to the second order differential equation(55)
∂
4
W
〈
u
〉
ℝ
(
t
)
u
′′
(
t
)
+
∂
3
W
〈
u
〉
ℝ
(
t
)
u
′
(
t
)
+
∂
2
W
〈
u
〉
ℝ
(
t
)
u
(
t
)
=
0
.Proof.
We show that coefficients of (54) and (55) are the same, respectively. Let 𝕋
=
ℝ. From (48) and relation F
〈
u
〉
ℝ
=
(
d
/
d
t
)
H
[
u
]
ℝ we have
(56)
W
(
t
,
u
(
t
)
,
u
′
(
t
)
,
u
′′
(
t
)
)
=
d
d
t
H
(
t
,
u
(
t
)
,
u
′
(
t
)
)
+
G
(
t
,
u
(
t
)
,
u
′
(
t
)
)
.
Using notation (14) and chain rule (which is only valid for 𝕋
=
ℝ) we can calculate the following partial derivatives: (i)
∂
2
W
〈
u
〉
ℝ
(
t
)
=
(
d
/
d
t
)
∂
2
H
[
u
]
ℝ
(
t
)
+
∂
2
G
[
u
]
ℝ
(
t
),
(ii)
∂
3
W
〈
u
〉
ℝ
(
t
)
=
∂
2
H
[
u
]
ℝ
(
t
)
+
(
d
/
d
t
)
∂
3
H
[
u
]
ℝ
(
t
)
+
∂
3
G
[
u
]
ℝ
(
t
),
(iii)
∂
4
W
〈
u
〉
ℝ
(
t
)
=
∂
3
H
[
u
]
ℝ
(
t
). After differentiation of both sides of (54) we obtain
(57)
∂
3
H
[
u
]
ℝ
(
t
)
u
′′
(
t
)




+
(
∂
2
H
[
u
]
ℝ
(
t
)
+
d
d
t
∂
3
H
[
u
]
ℝ
(
t
)
+
∂
3
G
[
u
]
ℝ
(
t
)
)
u
′
(
t
)




+
(
d
d
t
∂
2
H
[
u
]
ℝ
(
t
)
+
∂
2
G
[
u
]
ℝ
(
t
)
)
u
(
t
)
=
0
.
Hence, the intended equivalence is proved.Proposition24 allows us to obtain the classical result of [12, Theorem II] as a corollary of our Theorem 16. The absence of a chain rule on time scales (even for 𝕋
=
ℤ) implies that the classical approach of [12] fails on time scales. This is the reason why here we introduced a completely different approach to the subject based on the integrodifferential form. The case 𝕋
=
ℤ was recently investigated in [11]. However, similar to [12], the approach of [11] is based on the differential form and cannot be extended to general time scales.



---

*Source: 631281-2014-04-07.xml*