在本节中,我们将介绍一些基本的定义和结果,这些定义和结果来自于时间尺度上的微积分和下文所要求的时间尺度上Sobolev空间。我们首先简要回顾了有关时间尺度的一些基本定义和结果。
定义2.1([[15],定义1.1])
让是一个时间刻度,用于,向前跳跃运算符由定义
而向后跳跃操作符由定义
(由补充和,其中∅表示空集)。A分称为右散射,左散射,如果,分别保持。同时右散射和左散射的点称为孤立点。此外,如果和,然后t吨称为右旋,如果和,然后t吨称为左旋。同时具有右感和左感的点称为稠密点。这套是从时间刻度导出的如下:如果具有左向散射最大值米,然后; 否则,.
什么时候?,,我们表示间隔,和在里面通过
分别是。请注意如果b条保持稠密如果b条是左散射的。我们定义,因此如果b条是左义的,并且如果b条是左散射的。
定义2.2([[15],定义1.10])
假设是一个函数,并且让然后我们定义为给定任何,有一个街区U型属于t吨(即,对一些人来说)这样的话
我们打电话给δ(或Hilger)导数(f)在t吨.功能(f)上的delta(或Hilger)可微假如对所有人都存在.功能称为的δ导数(f)在.
定义2.3([[三],定义2.3])
假设是一个函数,然后让然后我们定义(前提是它存在)。我们打电话给δ(或Hilger)导数(f)在t吨.功能(f)是否提供了delta(或Hilger)微分对所有人都存在.功能称为的δ导数(f)在.
定义2.4([[15],定义2.7])
对于函数,我们将讨论二阶导数假如在上可区分用导数.
定义2.5([[三],定义2.5])
对于函数,我们将讨论二阶导数假如在上可区分用导数.
Δ-测量Δ积分定义为[32].
定义2.6([[三],定义2.7])
假设是一个函数,,然后让A类是的Δ-可测子集.(f)在上是可积的A类当且仅当()在上是可积的A类,以及.
定义2.7([[33],定义2.3])
让.B类称为Δ-null集,如果比如说一个属性P(P)将Δ-几乎处处(Δ-a.e.)保持在B类,或对于Δ-几乎所有(Δ-a.a.)如果有Δ-空集这样的话P(P)为所有人保留.
对于,,我们设置了空间
符合规范
我们有以下定理。
定理2.1([[三],定理2.1])
让 是这样的 .然后是空间 是Banach空间和规范 .此外, 是一个Hilbert空间以及为每个 通过
哪里 表示中的内积 .
定义2.8([[三],定义2.11])
一个函数,。我们这么说(f)在上绝对连续(即,)如果每个,存在如果是有限的两两不相交的子区间族令人满意的,然后.
现在,我们回忆起索波列夫太空在定义于[三]. 为了方便起见,在续集中,我们让.
定义2.9([[三],定义2.12])
让是这样的和。我们这么说当且仅当并且存在这样的话和
(2.1)
对于,,我们表示
以下是中备注2.2的内容[三]那个
对每个人来说都是正确的具有。这两个集合作为一类函数是等价的。它是在就功能而言也是。这就是下面的定理。
定理2.2([[三],定理2.5])
假设 对一些人来说 具有 ,还有那个(2.1)等待 .然后存在一个独特的功能 这样的平等
(2.2)
感到满意并且
(2.3)
通过识别具有绝对连续的代表性如果(2.2)成立,则集合可以赋予巴拿赫空间的结构。也就是下面的定理。
定理2.3([[24],定理2.21])
假设 和 .这套 是一个Banach空间,其范数定义为
(2.4)
此外,套装 是Hilbert空间和内积
类似于一般的Banach空间,是一个自反的一致凸Banach空间。
巴纳赫空间具有一些重要的属性。
定理2.4([[24],定理2.23])
存在 这样的不平等 为所有人保留 ,哪里 .此外,如果 ,然后 .
定理2.5([[24],定理2.25])
如果序列 弱收敛到 u个 在里面 ,然后 强烈收敛于 到 u个.
备注2.1([[24],备注2.26])
沉浸结构紧凑。
定理2.6([[24],定理2.27])
让 , 成为勒贝格Δ-可测量单位 t吨 对于每个 并在中连续可微 对于每个 .如果存在 ,, 和 ()以便Δ-几乎 以及每个 ,一个有
哪里 ,那么函数 ,定义为
在上连续可微
和
为了证明我们的主要结果,我们需要以下定义和定理。
定理2.7([[18],引理2.7])
让 成为 T型-周期时间刻度,然后 为所有人 .
定义2.10([[4],P81])
让X(X)成为一个真正的巴纳赫空间,和.我据说可以满足-条件为X(X)如果序列的存在,因此和作为,意味着c是的临界值我.
定义2.11([[4],P81])
让X(X)成为一个真正的巴拿赫空间.我据说满足P.S.条件X(X)如果有序列,其中有界且作为,在中具有收敛子序列X(X).
备注2.2很明显,P.S.条件意味着-每个条件.
定理2.8([[4],定理4.7])
让 X(X) 成为巴拿赫空间,让 .假设 X(X) 分裂为闭子空间的直接和 具有
哪里 .让
和
然后,如果Φ满足 -条件,c 是的临界值Φ.
如所示[34],可以用较弱的条件(C)代替通常的P.S.条件来证明变形引理,并证明鞍点定理(定理2.7)在条件(C)下成立。